Math 2.0

definition

Tangent plane and normal vector of a surface

Definition

Let r ⁣:D→R3r \colon D \to \mathbb{R}^3 be a parametrised surface that is regular at the point (u0,v0)(u_0, v_0) of DD, and let p=r(u0,v0)p = r(u_0, v_0). The tangent plane at pp is the plane {p+s ru(u0,v0)+t rv(u0,v0):s,t∈R}\{ p + s \, r_u(u_0, v_0) + t \, r_v(u_0, v_0) : s, t \in \mathbb{R} \}. The vector N(u0,v0)=ru(u0,v0)×rv(u0,v0)N(u_0, v_0) = r_u(u_0, v_0) \times r_v(u_0, v_0) is the normal vector of rr at (u0,v0)(u_0, v_0), and n=N/∥N∥n = N / \|N\| is the unit normal vector.

Remarks

The vector NN is perpendicular to rur_u and rvr_v, so it is perpendicular to the tangent plane. The other unit normal at pp is −n-n. For the graph z=f(x,y)z = f(x, y), the normal is (−fx,−fy,1)(-f_x, -f_y, 1), which points upward. If the surface is the level set g(x,y,z)=cg(x, y, z) = c of a C1C^1 function gg with ∇g(p)≠0\nabla g(p) \ne 0, then the gradient ∇g(p)\nabla g(p) is a normal vector at pp. For the unit sphere with r(φ,θ)=(sin⁡φcos⁡θ,sin⁡φsin⁡θ,cos⁡φ)r(\varphi, \theta) = (\sin \varphi \cos \theta, \sin \varphi \sin \theta, \cos \varphi), one gets rφ×rθ=sin⁡φ r(φ,θ)r_\varphi \times r_\theta = \sin \varphi \, r(\varphi, \theta), which points outward for 0<φ<π0 < \varphi < \pi.

Explanations

L1 human

The tangent plane is the flat plane that touches the surface at a point, and the normal vector sticks straight out of it. The cross product of the two coordinate tangent vectors gives a normal at once.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 18 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Fréchet derivative definition
  4. Function of several variables concept
  5. Vector-valued function concept
  6. Limit of a function of several variables concept
  7. Partial derivative concept
  8. Continuity in R^n definition
  9. Differentiable function of several variables definition
  10. Partial derivative definition
  11. Gradient definition
  12. Differentiable on an open set definition
  13. Higher partial derivatives definition
  14. Iterated derivative definition
  15. C^k function characterised by continuous derivatives statement
  16. Parametrised curve definition
  17. Parametrised surface definition
  18. Tangent plane and normal vector of a surface definition

What depends on this

11 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Parametric_surface, Tangent plane and normal vector
  2. Web https://en.wikipedia.org/wiki/Normal_(geometry), Normal to general surfaces in 3D space
  3. Web https://en.wikipedia.org/wiki/Normal_(geometry), Orientation