1142

Prove the red area equals the blue area.