1789

Prove the red line is tangent to the yellow circle.