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
Distance from a point to a line formula_39 perpendicular to the line. The distance from the point to the line is then just the norm of that vector. This more general formula is not restricted to two dimensions. If the vector space is orthonormal and if the line ("l" ) goes through point A and has a direction vector formula_45, the distance between point P and line ("l") is where formula_47 is the cross product of the vectors formula_48 and formula_45 and where formula_50 is the vector norm of formula_45. Note that cross products only exist in dimensions 3 and 7. Distance from a point to a