Gọi mặt cầu S(O; R) tiếp xúc với các cạnh của hình tứ diện đã cho lần lượt tại M, N, P, Q ,R và S.
* Ta chứng minh: AM = AR = AQ.
Do mặt cầu tiếp xúc với ba cạnh AB, AC và AD lần lượt tại M; R và Q nên :
Xét ba tam giác OAM; OAR và OAQ có:
* Chứng minh tương tự ta có:
BM = BN = BS = b
CP = CN = CR = c.
DP = DQ = DS = d
Ta có:
Do đó, AB + CD = AC + BD = AD + BC.