1689

Prove the red line is a symmedian of the blue triangle.