Cho hình tứ diện đều ABCD, cạnh bằng a. Gọi E, F, I, J lần lượt là tâm của các mặt ABC, ABD, ACD, BCD (H.11).
Vì , nên \(\dfrac{EF}{CD}=\dfrac{1}{3}\)
Suy ra .
Tương tự, các cạnh khác của tứ diện EFIJ đều bằng .
Do đó tứ diện EFIJ là một tứ diện đều.