a) Trong mp(Q), ta có: b // a
Mà b không nằm trong mp(P) và a nằm trong mp(P).
Do đó: b // mp(P).
b) Trong mp(Q) ta có: p // q
Mà đường thẳng p không thuộc mặt phẳng chứa sàn nhà và đường thẳng q nằm trong mặt phẳng chứa sàn nhà nên đường thẳng p song song với sàn nhà.