Problem 7
The tetrahedron has the following property: there exist five spheres, each tangent to the edges , or to their extensions. (a) Prove that the tetrahedron is regular. (b) Prove conversely that for every regular tetrahedron five such spheres exist.
Step 3 of 6: Compare with the larger spheres on the three edges
Detailed analysis
For edge , the cross-section of the larger sphere tangent to and the extensions of belongs to the same sphere that is tangent to the extension of . Since this larger circle and the incircle share the tangent line , their tangency point on must be the same, giving . The identical argument on and gives the other two equalities.