Prove the red circles are congruent and their radius is the geometric mean of the radii of the blue circles.