Cho tứ diện ABCD. Gọi hA, hB, hC, hD lần lượt là các đường cao của tứ diện xuất phát từ A, B, C, D và r là bán kính mặt cầu nội tiếp tứ diện. Chứng minh rằng: 1hA+1hB+1hC+1hD=1r