580

Prove the red lines are tangent to the blue circle.