Euclidean 2Dhard
0:00.0

A circle C1C_1 with radius r1=4r_1 = 4 is externally tangent to a circle C2C_2 with radius r2=9r_2 = 9. What is the length of the external common tangent segment between these two circles?