Isosceles triangle the hypotenuse to the right-angled vertex) divides the right triangle into two isosceles triangles. This is because the midpoint of the hypotenuse is the center of the circumcircle of the right triangle, and each of the two triangles created by the partition has two equal radii as two of its sides. Similarly, an acute triangle can be partitioned into three isosceles triangles by segments from its circumcenter, but this method does not work for obtuse triangles, because the circumcenter lies outside the triangle. Generalizing the partition of an acute triangle, any cyclic polygon that contains the center of its circumscribed
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