For an oriented parametrized surface ,
For a regular implicit surface with , the implicit function theorem gives a local graph . Its upward vector area element is . Differentiating yields , , proving the formula. Division by makes the final component positive independently of the sign of the original gradient. At a point where , another projection or parametrization is needed.
The vector area of an oriented surface is the integral of its unit normal vector times its area element. If its oriented boundary is a closed curve , Stokes theorem gives
Consequently it depends only on the oriented boundary, not on the spanning surface. For a planar surface it is signed area times a unit normal vector. A current loop has magnetic dipole moment ; the scalar area of a nonplanar spanning surface is not interchangeable with this vector.
For the faces of a closed polyhedron, take outward unit normal vectors. Applying the divergence theorem to an arbitrary constant vector field gives
Since is arbitrary, the vector areas sum to zero. This is an oriented statement; the positive scalar surface areas do not cancel. The same proof works for every piecewise smooth closed boundary to which the divergence theorem applies.
For an oriented closed polygon, triangulate with a common vertex . Its total vector area is ; the terms involving telescope, giving the displayed boundary-only formula. Its signed projected area along a unit vector is . The maximum is , in direction if nonzero, and zero projections have directions perpendicular to . If , every direction has zero signed projection despite possible nonzero unsigned surface area.

Ancestors (7)

  1. Area element of a surface
  2. First fundamental form
  3. Differential geometry
  4. Geometry and topology
  5. Area of mathematics
  6. Mathematics
  7. Home

Synonyms (1)

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.