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.