Let the two tangent spheres be S1 and S2, and let O,O1,O2 and R,R1,R2 be the origins and radii of S,S1,S2 respectively. Then AO stands normal to the plane P through ΔABC. Because both spheres go through A, B, and C, the line O1O2 also stands normal to P, meaning AO and O1O2 are both coplanar and parallel. Therefore the problem can be flattened to the plane P′ through A, O, O1 and O2.
Let X,Y,Z,M,N be points on P′ such that X=S∩OO1,Y=S1∩S2=A,Z=S∩OO2,M=O1Y∩AO,N=O2Y∩AO
Let J be the three circles radical center, meaning JX and JZ are tangent segments to S and J∈AY.
Because Y∈P⟺∠NAY=∠YAM=90∘, we have that YN and YM are diameters.
This means that ∠OZN=∠ZNY=∠JZY and ∠MXO=∠YMX=∠YXJ.
And because ∠ZNO=180∘−∠AYZ=∠ZYJ and ∠OMX=180∘−∠XYA=∠JYX, we have that ΔJZY∼ΔOZN and ΔJYX∼ΔOMX.
We then conclude that OM=OXJXJY=OZJZJY=ON
Let a⊤b denote line a bisecting line segment b.
Since O1O2∣∣MN it follows that OY⊤MN⇒OY⊤O1O2.
Similarly we have that O1O2⊤YM⇒O1O2⊤OY.
And so O1OO2Y is a parallelogram because OY and O1O2 bisect each other, meaning R=OZ=OO2+O2Z=O1Y+R2=R1+R2
QuodEratDemonstrandum