АВСД, А1В1С1Д1 - квадраты (призма правильная) пускай О - пункт пересечения диагоналей АС и ВД квадрата АВСД, раз точки E и F- середины рёбер AD и DC соответственно, то EF - средняя линия тр. АДС ⇒ АС ll EF ВО = ОД (О - пункт пересечения диагоналей) проведем в плоскости ВДВ1 прямую ОК, так, что ОК ll B1Д тр. АКВ = тр. СКВ (по двум катетам) ⇒ АК = КС
дальше рассматриваем треугольник АКС, АО = ОС (О - пункт пересечения диагоналей) ⇒ КО - медиана тр. АКС равнобедренный ⇒ КО - высота ⇒ КО _l_ AC а раз KO ll B1D и AC ll EF ⇒ B1D _l_ EF
