Pythagorean theorem three sides in place of squares (squares are a special case, of course). The upper figure shows that for a scalene triangle, the area of the parallelogram on the longest side is the sum of the areas of the parallelograms on the other two sides, provided the parallelogram on the long side is constructed as indicated (the dimensions labeled with arrows are the same, and determine the sides of the bottom parallelogram). This replacement of squares with parallelograms bears a clear resemblance to the original Pythagoras's theorem, and was considered a generalization by Pappus of Alexandria in 4 AD The
Proofs of Fermat's theorem on sums of two squares has two involutions: an obvious one formula_213 whose fixed points formula_214 correspond to representations of formula_82 as a sum of two squares, and a more complicated one, which has exactly one fixed point formula_217. Two involutions over the same finite set must have sets of fixed points with the same parity, and since the second involution has an odd number of fixed points, so does the first. Zero is even, so the first involution has a nonzero number of fixed points, any one of which gives a representation of formula_82 as a sum of two squares. This proof, due to