The theorem can be proved by equating the area of the square on the hypotenuse with the sum of the areas of the squares on the other two sides.