Area of a circle "ds" over the whole circle formula_33 is just the arc length, which is its circumference, so this shows that the area "A" enclosed by the circle is equal to formula_34 times the circumference of the circle. Note that the area of a semicircle of radius r can be computed by the integral formula_35. By trigonometric substitution, we substitute formula_36, hence formula_37 The last step follows since the trigonometric identity formula_42 implies that formula_43 and formula_44 have equal integrals over the interval formula_45, using integration by substitution. But on the other hand, since formula_46, the sum of the two integrals is
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