1780

Prove the area of the red square equals the sum of the areas of the green and blue squares.