, как диагонали равных квадратов, значит Δ
- равнобедренный, О - середина АС, значит 
- медиана, биссектриса и высота, то есть ⊥
⊥ 
, ⊥ 
, значит ⊥ 
, и перпендикулярна любой прямой этой плоскости, в том числе 
, значит ∠
, - проекция на плоскость АВС и ⊥, значит ⊥ и ∠
угол 1= углу 2 по 30 градусов, следовательно напротив угла в 30 градусов лежит катет равный половине гипотенузе.