How do you prove that the hypotenuse of the longest side in every right triangle a2+b2>a2?