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
Measurement of a Circle two legs being "c" and "r". This proposition is proved by the method of exhaustion. Proposition two states: The area of a circle is to the square on its diameter as 11 to 14. This proposition could not have been placed by Archimedes, for it relies on the outcome of the third proposition. Proposition three states: The ratio of the circumference of any circle to its diameter is greater than formula_1 but less than formula_2. This approximates what we now call the mathematical constant π. He found these bounds on the value of π by inscribing and circumscribing a circle