163

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