Cho hình hộp ABCD.A’B’C’D’. Chứng minh rằng hai lăng trụ ABD.A’B’D’ và BCD.B’C’D’ bằng nhau

Ta chia hình lập phương thành sáu khối tứ diện bằng nhau như sau:

+ Chia khối lập phương ABCD.A’B’C’D’ thành hai khối lăng trụ tam giác bằng nhau: ABD.A’B’D’ và BCD.B’C’D’.

+ Tiếp đó, lần lượt chia khối lăng trụ ABD.A’B’D’ và BCD.B’C’D’ thành ba tứ diện: DABB’, DAA’B’ và DCBB’, DCC’B’, DD’C’B’.

+ Ta chứng minh được các khối tứ diện này bằng nhau như sau:

- Hai khối tứ diện DABB’ và DAA’B’ bằng nhau vì chúng đối xứng nhau qua mặt phẳng (DAB’) (1)

- Hai khối tứ diện DAA’B’ và DD’A’B’ bằng nhau vì chúng đối xứng nhau qua mặt phẳng (B’A’D) (2)

Từ (1) và (2) suy ra ba khối tứ diện DABB’, DAA’B’ và DD’A’B’ bằng nhau.

- Tương tự, ba khối tứ diện DCBB’, DCC’B’, DD’C’B’ cũng bằng nhau.

Vậy khối lập phương ABCD.A’B’C’D’ được chia thành sáu khối tứ diện bằng nhau.

Trong hình bên, ta có thể chia thành năm khối tứ diện là A’ABD; C’CBD; DA’D’C’; BB’A’C’ (4 góc của hình lập phương) và DBA’C’ (tứ diện tô màu).