The green circles are tangent to the yellow circle. Prove the red line bisects the blue side of the triangle.