由於題設條件AE:AD=CF:CD,可以得出EF∥AC,
由於AC在平面ACS中,所以可以根據定理得出EF平行於平面ACS,由於RQ為平面EFB截平面ACS所得的線段,所以根據定理“過平行於已知平面的壹條直線做平面與已知平面相交,所截直線與那條直線平行”,得出AC∥RQ,
因此EF∥RQ
那條定理的原文表述不是這樣的,但大致意思是,這裏可以給出證明:
已知平面外直線XY平行於平面ABC,過XY作平面交平面ABC於BC,求證XY平行於BC
在平面ABC中國B點做BC'平行於XY(C'不壹定在BC上),
由於BC‘平行於XY,所以C’和X,Y,B***面,
由於兩個平面相交有且只有壹條相交直線(公理),所以C‘在BC上,即BC平行XY。定理得證。