DC=[i]l[/i]*cos ∠ 2
CC_(1)=[i]l[/i]*sin ∠ 2
Из прямоугольного треугольника DBB_(1)
BD=BB_(1)*ctg ∠ 1
BB_(1)=CC_(1)
BD=[i]l[/i]*sin ∠ 2 * ctg ∠ 1
По теореме Пифагора
AD^2=BD^2-AB^2=([i]l[/i]*sin ∠ 2 * ctg ∠ 1)^2-([i]l[/i]*cos ∠ 2)^2=
AB=DC