Squaring the circle the circular arc b around O with radius , it results S'. Bisect the line segment in D and draw the semicircle b over D. Draw a straight line from O through C up to the semicircle b, it cuts b in E. The line segment is the mean proportional between and , also called geometric mean. Extend the line segment beyond O and transfer twice more, it results F and A, and thus the length of the line segment with the above described approximation value of formula_3, the half circumference of the circle. Bisect the line segment in G
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