ставишь ножку циркуля в точку С и произвольным радиусом (желательно который меньше стороны СВ) проводишь дугу так, чтобы она пересекла СВ, тем же радиусом циркуля делаешь тоже самое из точки В. Потом соединяешь точку А с точкой пересечения этих дуг, это и будет биссектриса.
Есть одна формула:
h^2 = a*b, где h - высота, проведенная из прямого угла, a и b - отрезки гипотенузы, на которые делит их высота.
12^2 = x * (x+7)
144 = x^2 + 7x
x^2 + 7x - 144 = 0
D = 49 + 576 = 625
x1 = (-7+25)\2 = 9
x2 = (-7-25)\2 = -16 - посторонний корень.
9 - это один из отрезков.
9+7 = 16 - второй отрезок.
Гипотенуза равна 9 + 16 = 25
∠ECA=∠FEC как внутренние накрестлежащие,.
∠FEC=∠FAC как вписанные углы, опирающиеся на общую дугу.
Значит ∠ECA=∠FAC, т.е. FA=EC (т.к. ∠CEA=90° и треугольники ECA и FAC равны). Поэтому ∠GAC=∠ECA=∠ABC=α. Т.е. треугольники BCA и ACG подобны. Значит tg(α)=2√3/(3GC)=GC/(2√3) (т.к. BC=3GC), т.е. GC=2 и tg(α)=1/√3, т.е. α=30°, значит AG=4 и EC=FA=AC*cos(30)=3. Значит GF=AG-FA=4-3=1.