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
Generalised circle Generalised circle A generalized circle, also referred to as a "cline" or "circline", is a straight line or a circle. The concept is mainly used in inversive geometry, because straight lines and circles have very similar properties in that geometry and are best treated together. Inversive plane geometry is formulated on the plane extended by one point at infinity. A straight line is then thought of as one of the circles that passes through the asymptotic point at infinity. The fundamental transformations in inversive geometry, the "inversions", have the property that they map generalized circles to generalized circles. Möbius transformations,