Giả sử đường thẳng EF cắt đường thẳng A’B’ tại I và cắt đường thẳng A’D’ tại J. AI cắt BB’ tại L, AJ cắt DD’ tại M. Gọi V0 là thể tích khối tứ diện AA’IJ. V là thể tích khối hộp ABCD.A’B’C’D’
Vì EB’ = EC’ và B’I // C’F
nên IB′ = FC′ =
Do đó
Để ý rằng BE’ // A’J , B’L // AA’
Ta có
Từ đó suy ra:
Do đó
Tương tự
Gọi AB = a, BC = b , đường cao hạ từ A xuống (A’B’C’D’) là h thì
V = V ABCD . A ' B ' C ' D ' = h a b . sin ∠ BAD
Vậy