假设不共面:
a//b,ab共面α,b//c,bc共面β
A,B∈α,所以l∈α;B,C∈β,所以l∈β
所以l是α,β的交线,又因为α,β有交线b,则l与b是同一条直线,显然矛盾.
所以共面.
因为EF//CD1,所以共面
延长DA交D1F延长线与G,交CE延长线于G`
由中位线性质,知G,G`是同一个点(也可用反证法验证),即证.
假设不共面:
a//b,ab共面α,b//c,bc共面β
A,B∈α,所以l∈α;B,C∈β,所以l∈β
所以l是α,β的交线,又因为α,β有交线b,则l与b是同一条直线,显然矛盾.
所以共面.
因为EF//CD1,所以共面
延长DA交D1F延长线与G,交CE延长线于G`
由中位线性质,知G,G`是同一个点(也可用反证法验证),即证.