Special right triangle than 256: Isosceles right-angled triangles cannot have sides with integer values, because the ratio of the hypotenuse to either other side is , but cannot be expressed as a ratio of two integers. However, infinitely many "almost-isosceles" right triangles do exist. These are right-angled triangles with integral sides for which the lengths of the non-hypotenuse edges differ by one. Such almost-isosceles right-angled triangles can be obtained recursively, "a" is length of hypotenuse, "n" = 1, 2, 3, ... Equivalently, where {"x", "y"} are the solutions to the Pell equation , with the hypotenuse "y" being the odd terms of the
Triangle inequality angles satisfy: Therefore, and so, in particular, That means side opposite angle is shorter than side opposite the larger angle . But . Hence: A similar construction shows , establishing the theorem. An alternative proof (also based upon the triangle postulate) proceeds by considering three positions for point : (i) as depicted (which is to be proven), or (ii) coincident with (which would mean the isosceles triangle had two right angles as base angles plus the vertex angle , which would violate the triangle postulate), or lastly, (iii) interior to the right triangle between points and (in which case angle