Right triangle and "b" are the legs of the triangle. If the incircle is tangent to the hypotenuse AB at point P, then denoting the semi-perimeter as "s", we have and , and the area is given by This formula only applies to right triangles. If an altitude is drawn from the vertex with the right angle to the hypotenuse then the triangle is divided into two smaller triangles which are both similar to the original and therefore similar to each other. From this: In equations, where "a", "b", "c", "d", "e", "f" are as shown in the diagram. Thus Moreover, the
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