Distance from a point to a line the perpendicular "R". Draw the vertical line through "P" and label its intersection with the given line "S". At any point "T" on the line, draw a right triangle "TVU" whose sides are horizontal and vertical line segments with hypotenuse "TU" on the given line and horizontal side of length |"B"| (see diagram). The vertical side of ∆"TVU" will have length |"A"| since the line has slope -"A"/"B". ∆"PRS" and ∆"TVU" are similar triangles, since they are both right triangles and ∠"PSR" ≅ ∠"TUV" since they are corresponding angles of a transversal to the parallel lines "PS" and "UV" (both
Schwarz triangle function general method which works for all right angled triangles for which the two other angles are less than or equal to /4. The previous method for constructing "P", "P", ... is modified by adding an extra triangle each time an angle 3/2 arises at a vertex. The same reasoning applies to prove there is no overlapping and that the tiling covers the hyperbolic upper half plane. On the other hand, the given configuration gives rise to an arithmetic triangle group. These were first studied in . and have given rise to an extensive literature. In 1977 Takeuchi obtained a complete