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 The line through these two points is perpendicular to the original line, so Thus, formula_7 and by squaring this equation we obtain: Now consider, using the above squared equation. But we also have, since ("m", "n") is on "ax" + "by" + "c" = 0. Thus, and we obtain the length of the line segment determined by these two points, This proof is valid only if the line is not horizontal or vertical. Drop a perpendicular from the point "P" with coordinates ("x", "y") to the line with equation "Ax" + "By" + "C" = 0. Label the foot of