1750

Prove the red line bisects the blue angle.