1358

Prove the red line is tangent to the blue circles.