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.