a) \(BC ⊥ (ABB'A') \Rightarrow BC ⊥ AB'\);
Mà \(BA' ⊥ AB' \Rightarrow AB' ⊥ (BCD'A')\).
Ta có \(AB' ⊂ (AB'C'D) \Rightarrow (AB'C'D) ⊥ (BCD'A')\)
b) +) \(AA'\bot(ABCD) \Rightarrow AA'\bot BD\)
Mà \(BD\bot AC\Rightarrow BD\bot (ACC'A')\)
\(AC'\subset(ACC'A')\) nên suy ra \(BD\bot AC'\) (1)
+) \(AB\bot (ADD'A')\Rightarrow AB\bot A'D \)
Mà \(AD'\bot A'D\Rightarrow A'D\bot (ABC'D')\)
Ta có \(AC'\subset (ABC'D')\Rightarrow A'D\bot AC'\) (2)
Từ (1) và (2) suy ra: \(AC' ⊥ (A'BD)\).