Пусть ad = a1d1 — равные биссектрисы, ∠a = ∠a1, ac = a1c1 — равные стороны. в δаdс = δa1d1c1: ∠dac = ∠d1a1c1 (т.к. ∠dac половина угла ∠bac ∠dac = ∠bac : 2 = ∠b1a1c1 : 2 = ∠d1a1c1). ad = a1d1, ас = а1с1. (по условию: ad = a1d1 — равные биссектрисы, aс = a1c1 — равные прилежащие стороны). таким образом, δadc = δа1d1c1 по 1-му признаку равенства треугольников, откуда ∠с = ∠с1 как лежащие против равных сторон в равных треугольниках) в δabcи δа1в1с1: ас = а1с1, ∠а = ∠а1 (по условию) ∠с = ∠с1. таким образом, δabc = δа1в1с1 по 1-му признаку равенства треугольников, что и требовалось доказать.
ВК=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.