The blue triangle is equilateral. Prove the length of the red line segment is the radius of the circle.