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
Secant line Secant line In geometry, a secant of a curve is a line that intersects the curve in at least two (distinct) points. The word "secant" comes from the Latin word "secare", meaning "to cut". In the case of a circle, a secant will intersect the circle in exactly two points and a chord is the line segment determined by these two points, that is the interval on a secant whose endpoints are these points. A straight line can intersect a circle in two, one or zero points. A line intersecting in two points is called a "secant line", in one