Right triangle and the midpoint of the side opposite that vertex. This is because the right triangle's orthocenter, the intersection of its altitudes, falls on the right-angled vertex while its circumcenter, the intersection of its perpendicular bisectors of sides, falls on the midpoint of the hypotenuse. In any right triangle the diameter of the incircle is less than half the hypotenuse, and more strongly it is less than or equal to the hypotenuse times formula_44 In a right triangle with legs "a", "b" and hypotenuse "c", with equality only in the isosceles case. If the altitude from the hypotenuse is denoted "h",
Fermat's right triangle theorem of a right triangle with square area. By dividing by any common factors, one can assume that this triangle is primitive and from the known form of all primitive Pythagorean triples, one can set formula_23, formula_24, and formula_25, by which the problem is transformed into finding relatively prime integers formula_26 and formula_27 (one of which is even) such that formula_28 is square. The four linear factors formula_26, formula_27, formula_31, and formula_32 are relatively prime and therefore must themselves be squares; let formula_33 and formula_34. Both formula_35 and formula_36 must be odd since exactly one of formula_26 or formula_27 is even