Cho tứ diện ABCD có

Ta có:\(\left\{ {\begin{array}{*{20}{c}}{M \in (\alpha ) \cap (ICD)}\\{CD\parallel (\alpha )}\\{CD \subset (ICD)}\end{array}} \right.\) suy ra giao tuyến của (α) và (ICD) là đường thẳng qua M  và song song với CD cắt IC tại L và cắt ID tại N.

Tương tự\(\left\{ {\begin{array}{*{20}{c}}{M \in (\alpha ) \cap (JAB)}\\{AB\parallel (\alpha )}\\{AB \subset (JAB)}\end{array}} \right.\) suy ra giao tuyến của (α) và (JAB) là đường thẳng qua M và song song AB cắt JA tại P và cắt JB tại Q.

Ta có:\(\left\{ {\begin{array}{*{20}{c}}{L \in (\alpha ) \cap (ABC)}\\{AB\parallel (\alpha )}\\{AB \subset (ABC)}\end{array}} \right.\) suy ra giao tuyến của (α) với (ABC) là đường thẳng qua L song song với AB cắt BC tại E và cắt AC  tại FF . Do đó  EF//AB (1)

Tương tự \(\left\{ {\begin{array}{*{20}{c}}{N \in (\alpha ) \cap (ABD)}\\{AB\parallel (\alpha )}\\{AB \subset (ABD)}\end{array}} \right.\) suy ra giao tuyến của (α) và (ABD)  là đường thẳng qua N  song song với AB  cắt BD tại H  và cắt AD  tại G .

Do đó HG//AB(2) .

Từ (1) và (2) suy ra EF // HG // AB (*)

Ta có:\(\left\{ {\begin{array}{*{20}{c}}{FG = (\alpha ) \cap (ACD)}\\{CD\parallel (\alpha )}\\{CD \subset (ACD)}\end{array}} \right. \Rightarrow FG\parallel CD(3)\)

Tương tự \(\left\{ {\begin{array}{*{20}{c}}{EH = (\alpha ) \cap (BCD)}\\{CD\parallel (\alpha )}\\{CD \subset (BCD)}\end{array}} \right. \Rightarrow EH\parallel CD(4)\)

Từ (*) và (**) suy ra EFGH là hình bình hành.

Mà \[AB \bot CD \Rightarrow EF \bot FG.\]  Vậy thiết diện EFGH là hình chữ nhật\[ \Rightarrow {S_{EFGH}} = EF.FG = PQ.LN.\]

Trong tam giác JAB, ta có\[\frac{{PQ}}{{AB}} = \frac{{JM}}{{JI}} = \frac{2}{3} \Rightarrow PQ = \frac{{2AB}}{3} = \frac{{2a}}{3}.\]

Trong tam giác ICD  ta có\[\frac{{LN}}{{CD}} = \frac{{IM}}{{IJ}} = \frac{1}{3} \Rightarrow LN = \frac{{CD}}{3} = \frac{b}{3}.\]

Vậy diện tích thiết diện là\[{S_{EFGH}} = \frac{{2a}}{3}.\frac{b}{3} = \frac{{2ab}}{9}.\]