§ 3. Перпендикулярність у просторі » 9.15
Через вершину A прямокутного трикутника ABC (∠ACB = 90°) проведено пряму AF, перпендикулярну до площини ABC (рис. 9.23). Доведіть, що пряма BC перпендикулярна до площини AFC. Дано: ∆АВС; ∠С = 90°. AF ⊥ ABC. Довести: ВС ⊥ AFC. AF ⊥ ABC ⇒ AF ⊥ BC ⇒ BC ⊥ AFC. Що й треба було довести.