The red line is the perpendicular bisector of the green line segment. Prove the red line is tangent to the blue circle.