Проведем АН - биссектрису угла А. Тогда
KH = DM, так как DKHM - прямоугольник. Тогда из треугольника ВКН:
КН=ВН*Sin(90-α) = BH*Cosα. (так как
Итак, DM= BH*Cosα. В треугольнике АВН по теореме синусов:
BH/Sin( AB=BH*Sin2α/Sinα.
Но по формуле двойного угла Sin2α = 2Sinα*Cosα =>
АВ=BH*2Sinα*Cosα/Sinα = BH*2*Cosα.
DM/AB=BH*Cosα/BH*2*Cosα =1/2. => DM=2AB, что и требовалось доказать.
