∠E₁ED₁ + ∠D₁EF = 90°
tg∠E₁ED₁ = 5/(3√5) = √5/3
tg∠O₁FE = (3√5)/9=√5/3
Отсюда ∠E₁ED₁ = ∠O₁FE, значит ∠O₁FE + ∠D₁EF = 90° и ∠EO₁F = 90°.
Так как E₁F ⟂ ED₁, а E₁F || H₁C, то H₁C ⟂ ED₁.
Имеем следующее: H₁C ⟂ ED₁ и H₁C ⟂ EA, отсюда H₁C ⟂ (AED₁B₁). Но H₁C ∈ (CE₁A₁), тогда (CE₁A₁) ⟂ (AED₁B₁) или (CE₁A₁) ⟂ (AED₁).
Ч. т. д.
б) Многогранник CAED₁B₁ - пирамида с вершиной C и основанием ED₁B₁A. Так как (CE₁A₁) ⟂ (AED₁), то CI - высота пирамиды CAED₁B₁.