a) AD // BC; BC ⊂ (BCE) nên AD // (BCE)

AF // BE; BE ⊂ (BCE) nên AF // (BCE)

Mà AD, AF ⊂ (ADF)

Vậy (ADF) // (BCE)

b) Vì ABCD và ABEF là các hình vuông nên AC = BF. Ta có:

MM'∥CD⇒AM'AD=AMAC1NN'∥AB⇒AN'AF=BNBF2

So sánh (1) và (2) ta được:

AM'AD=AN'AF suy ra: M’N’ // DF

c) Từ chứng minh trên suy ra DF // (MM′N′N)

NN’ // AB nên NN’ // EF

Và NN’ ⊂ (MM’NN’) nên EF // (MM’NN’)

Mà DF, EF ⊂ (DEF) nên (DEF) // (MM′N′N)

Vì MN ⊂ (MM′N′N) và (MM′N′N) // (DEF) nên MN // (DEF).