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 and the other is odd. Therefore, both formula_39 and formula_40 are even, one of which is divisible by 4. From these two numbers Fermat derives two more numbers formula_41 and formula_42, one of which is even by the previous sentence. Because formula_43 is a square, formula_44 and formula_45 are the legs of another primitive Pythagorean triangle whose area formula_46. Since formula_27 is itself a square and since formula_48 is even, formula_49 is a square. Thus, any Pythagorean triangle with square area leads to a smaller Pythagorean triangle with square area, completing the proof. Fermat's right triangle theorem Fermat's right triangle