Prove the red lines are perpendicular if and only if the radius of the large circle equals the sum of the radii of the two small circles.