1642

Prove the red radii are perpendicular to the sides of the yellow triangle.