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
Earth's circumference determine latitude at sea. He reasoned that the lines of latitude could be used as the basis for a unit of measurement for distance and proposed the nautical mile as one minute or one-sixtieth () of one degree of latitude. As one degree is of a circle, one minute of arc is of a circle – such that the polar circumference of the Earth would be exactly 21,600 miles. Gunter used Snell's circumference to define a nautical mile as 6,080 feet, the length of one minute of arc at 48 degrees latitude. In 1791, the French Academy of Sciences selected