1272

Prove the red area is half the area of the black triangle.