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
Expansion of the universe long-haul airline flights where the distance between two points is measured based upon a great circle, rather than the straight line one might plot on a two-dimensional map of the Earth's surface. In general, such shortest-distance paths are called "geodesics". In Euclidean geometry, the geodesic is a straight line, while in non-Euclidean geometry such as on the Earth's surface, this is not the case. Indeed, even the shortest-distance great circle path is always longer than the Euclidean straight line path which passes through the interior of the Earth. The difference between the straight line path and the shortest-distance great circle