Area of a circle trigonometry, uses the coarea formula. Define a function formula_10 by formula_11. Note ρ is a Lipschitz function whose gradient is a unit vector formula_12 (almost everywhere). Let "D" be the disc formula_13 in formula_14. We will show that formula_15, where formula_16 is the two-dimensional Lebesgue measure in formula_14. We shall assume that the one-dimensional Hausdorff measure of the circle formula_18 is formula_19, the circumference of the circle of radius "r". (This can be taken as the definition of circumference.) Then, by the coarea formula, Similar to the onion proof outlined above, we could exploit calculus in a different way in
Planar straight-line graph PSLGs the primary interest is the topological properties. For some graphs, such as Delaunay triangulations, both metric and topological properties are of importance. Planar straight-line graph In computational geometry, a planar straight-line graph, in short "PSLG", (or "straight-line plane graph", or "plane straight-line graph") is a term used for an embedding of a planar graph in the plane such that its edges are mapped into straight line segments. Fáry's theorem (1948) states that every planar graph has this kind of embedding. In computational geometry, PSLGs have often been called planar subdivisions, with an assumption or assertion that subdivisions are polygonal.