Рассмотрим ∆ АВD и ∆ СВЕ
Оба прямоугольные и имеют общий острые угол АВС.
Если прямоугольные треугольники имеют равный острый угол, то такие треугольники подобны.
Из подобия следует отношение
ВЕ:ВD=ВС:АВ⇒ВD•ВС=ВЕ•АВ ⇒
ВЕ:ВС=ВD:АВ
Две стороны ∆ ВЕD пропорциональны двум сторонам треугольника АВС, и угол между ними общий.
2-й признак подобия треугольников:
Если две стороны одного треугольника пропорциональны двум сторонам другого треугольника и углы, образованные этими сторонами, равны, то треугольники подобны.
Следовательно, ∆АВС и ∆ ВЕD подобны, что и требовалось доказать.
Можно добавить. что коэффициент подобия равен косинусу общего угла, т.к. отношение катетов ∆ СВЕ и ∆ АВД к их гипотенузам соответственно равны косинусу угла В треугольника АВС.
ВК=BD*sin(BDA)
С другой стороны, AD = AC / 2 = BD / cos(BDA) => AC = 2 * BD / cos(BDA)
Площадь S треугольника АВС:
S = ВК*АС / 2 = ВК*АD = BD*sin(BDA) * BD / cos(BDA) = BD^2 * tg(BDA)
tg(BDA) = S / BD^2; 1 / cos(BDA) = корень (1 + tg^2(BDA)) = корень (1 + S^2 / BD^4)
Таким образом,
AC = 2 * BD / cos(BDA) = 2 * BD * корень (1 + S^2 / BD^4)
АС = 2 * 3 * корень (1 + 12^2 / 3^4) = 6 * корень (1 + 144 / 81) = 6 * корень (225 / 81) = 6 * 15 / 9 = 10.