Если плоскость проходит через прямую, перпендикулярную другой плоскости, то эти плоскости перпендикулярны. ОК ⊥ пл. АВС ⇒ ОК⊥ВД , так как ВД ∈ пл. АВС пл. ВКД содержит ОК (то есть ОК ∈ ВКД ) пл. ВКД проходит через прямую ОК, перпендикулярную пл. АВС ⇒ пл. ВКД ⊥ пл. АВС
ОК ⊥ пл. АВС ⇒ ОК⊥ВД , так как ВД ∈ пл. АВС
пл. ВКД содержит ОК (то есть ОК ∈ ВКД )
пл. ВКД проходит через прямую ОК, перпендикулярную пл. АВС ⇒
пл. ВКД ⊥ пл. АВС