2042

The blue triangle is isosceles. Prove the red lines are perpendicular.