Giả sử tứ diện \(ABCD\) có mặt cầu tiếp xúc với cả \(6\) cạnh của tứ diện; tiếp xúc với \(AB, BC, CD,AD,AC,BD\) lần lượt tại \(M,N,P,Q,R,S\). Vì các đoạn thẳng kẻ từ một điểm đến tiếp điểm của các tiếp tuyến đó bằng nhau, nên ta có:
\( \left\{\begin{matrix} AM= AR = AQ\\ BM= BN= BS\\ CN= CP= CR\\ DP = DQ = DS\\ \end{matrix}\right.\)
Ta chứng minh: \(AB + CD = AC +BD = AD + BC\).
Ta có
\(AM + MB + CP + PD \)\(=AR+RC+BS+SD\)
\(= AQ + QD + BN + NC\)
Hay: \(AB + CD = AC +BD = AD + BC\).