Осуществим параллельный перенос, тогда прямая DC₁ перейдёт в прямую AB₁ . Найти угол между прямыми BA₁ и DC₁ - это всё равно что найти угол между прямыми BA₁ и AB₁ . Но прямые BA₁ и AB₁ - это диагонали квадрата AA₁B₁B , а они как известно пересекаются под прямым углом. Значит угол между прямыми BA₁ и DC₁ равен 90° .