a) 

⇒ (α) ∩ (ABC) = MN và MN // AB

Ta có N ∈ (BCD) và 

Nên ⇒ (α) ∩ (BCD) = NP và NP // CD

Ta có P ∈ (ABD)

Và  nên ⇒ (α) ∩ (ABD) = PQ và PQ // AB

 nên ⇒ (α) ∩ (ACD) = MQ và MQ // CD

Do đó MN // PQ và NP // MQ, Vậy tứ giác MNPQ là hình bình hành.

b) Ta có: MP ∩ NQ = O. Gọi I là trung điểm của CD.

Trong tam giác ACD có : MQ // CD ⇒ AI cắt MQ tại trung điểm E của MQ.

Trong tam giác ACD có : NP // CD ⇒ BI cắt NP tại trung điểm F của NP.

Vì MNPQ là hình bình hành nên ta có

EF // MN ⇒ EF // AB

Trong ΔABI ta có EF // AB suy ra : IO cắt AB tại trung điểm J

⇒ I, O, J thẳng hàng

⇒ O ∈ IJ cố định.

Vì M di động trên đoạn AC nên Ochạy trong đoạn IJ .

Vậy tập hợp các điểm O là đoạn IJ.