2026

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