MathLabs

Problem 7

The tetrahedron SABCSABC has the following property: there exist five spheres, each tangent to the edges SA,SB,SC,BC,CA,ABSA,SB,SC,BC,CA,AB, or to their extensions. (a) Prove that the tetrahedron SABCSABC 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
∣APAB∣=∣BPAB∣,∣BPBC∣=∣CPBC∣,∣CPCA∣=∣APCA∣|AP_{AB}|=|BP_{AB}|,\quad |BP_{BC}|=|CP_{BC}|,\quad |CP_{CA}|=|AP_{CA}|
Detailed analysis

For edge ABAB, the cross-section of the larger sphere tangent to ABAB and the extensions of CA,CBCA,CB belongs to the same sphere that is tangent to the extension of CSCS. Since this larger circle and the incircle share the tangent line ABAB, their tangency point on ABAB must be the same, giving ∣APAB∣=∣BPAB∣|AP_{AB}|=|BP_{AB}|. The identical argument on BCBC and CACA gives the other two equalities.