1814

Prove the red line is tangent to the green circle.