1188

Prove the green triangle is isosceles right with area $a^2/2$.