1714

The yellow and blue triangles are right isosceles. Prove the red shape is a square.