Чтобы найти угол между прямыми AD и A₁C, рассмотрим следующие факты:
Исходя из этих фактов, угол между AD и A₁C равен углу между BC и A₁C.
∠(BC, A₁C) = 45°