Let $A,B,C$ be variable points on edges $OX,OY,OZ$ of a trihedral angle $OXYZ$, respectively. Let $OA = a, OB = b, OC = c$ and $R$ be the radius of the circumsphere $S$ of $OABC$. Prove that if points $A,B,C$ vary so that $a+b+c = R+l$, then the sphere $S$ remains tangent to a fixed sphere.
Problem
Source: Romania IMO TST 1989 2.4
Tags: sphere, fixed, tangent spheres, 3D geometry, trihedral angle, geometry