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 are vertical lines). Corresponding sides of these triangles are in the same ratio, so: If point "S" has coordinates ("x","m") then |"PS"| = |"y" - "m"| and the distance from "P" to the line is: Since "S" is on the line, we can find the value of m, and finally obtain: A variation of this proof is to place V at P and compute the area of the triangle ∆"UVT" two ways to obtain that formula_17 where D is the altitude of ∆"UVT" drawn to the hypoteneuse of ∆"UVT" from "P". The distance formula can then used to express formula_18,