Trước hết, ta xác định thiết diện của hình hộp ABCD.A’B’C’D’ khi cắt bởi mp (CEF). Mặt phẳng (CEF) chứa đường thẳng EF mà E là trung điểm của BB’, F là trung điểm của cơ nên EF chứa giao điểm O của các đường chéo hình hộp, do đó mặt phẳng (CEF) cùng chứa giao điểm O của các đường chéo và nó cũng chứa đường chéo A’C của hình hộp. Ta dễ dàng nhận xét rằng thiết diện chính là hình bình hành CEA’F. Qua EF ta dựng một mặt phẳng song song với đáy hình hộp, mặt phẳng này cắt AA’ ở p và cắt CC’ ở Q.
ta có thể tích của hình hộp ABCD.PEQF là: VABCD.PEQF =1/2 VABCD.A’B’C’D’ (1)
Ta cũng chứng minh được một cách dễ dàng: VCFQE = VA’FPE (2) (Hai hình chóp CFQE và A’FPE có chiều cao bằng nhau và diện tích đáy bằng nhau).
Xét khối đa diện ABCDE’F do mặt phẳng (CEF) chia ra trên hình hộp p ABCD.A’B’C’D ta có: VABCD.FA’EQ = VABCD.FPE +VA’FPE (3)
Từ (1), (2), (3) suy ra: VABCD.FA’EQ = 1/2 VABCD.A’B’C’D’ Vậy mặt phẳng (CEF) chia hình hộp thành hai khối đa diện có thể tích bằng nhau, tỉ số của chúng là 1. Chú ý: Có thể lí luận như sau: Giao điểm O của các đường chéo của hình hộp là tâm đối xứng của hình hộp, do đó mặt phẳng (CEF) chứa điểm o nên chia hình hộp thành hai hình đối xứng với nhau qua điểm o. Vậy hai hình này là hai hình bằng nhau và có thể tích bằng nhau.
