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 a side, and "h" is the perpendicular height from the opposite vertex. This proof is only valid if the line is neither vertical nor horizontal, that is, we assume that neither "a" nor "b" in the equation of the line is zero. The line with equation "ax" + "by" + "c" = 0 has slope -"a"/"b", so any line perpendicular to it will have slope "b"/"a" (the negative reciprocal). Let ("m", "n") be the point of intersection of the line "ax" + "by" + "c" = 0 and the line perpendicular to it which passes through the point ("x", "y").