(1)
(2)
(3)
(4)
Первая формула есть в справочниках. Доказывается по теореме
об отрезках касательных.4я формула просто подстановка из первой.
3я формула это применение первой формулы к розовому и синему треугольникам и затем сложение.
Со 2й формулой пришлось немного повозиться.
S=p*r
Сложим площади синего и розового треугольника, приравняем к площади тр-каABC
Пусть d=AD
r1*(b+h+d)/2 +r2*(a+h+c-d)/2= R(a+b+c)/2 (6)
Слагаемые очень похожи на формулу (1)
добавим и отнимем к первому слагаемому b/2, ко второму a/2, к правой части с/2.
Тогда (6) можно переписать:
r1*r1 + b*r1+ r2*r2+ a*r2=R*R +c*R
r1
2+r2
2+
a*r2+b*r1 =R^2+
c*R(2) верно если a*r2+b*r1 =c*R (5)
Предположим у нас была бы запись ah2/2+bh1/2=ch/2 (h1 и h2 это высоты синего и розового тр-ков, опущенные на гипотенузу)
Она верна так как это сложение площадей.
Но что если в большом треугольнике заменим h на R и соответственно в (h/R) изменим собственные высоты треугольников. Синий, розовый и большой треугольники подобны. Значит и соотношение высот к радиусу вписанной окружности одинаковое.
Тогда a*r2+b*r1 =c*R верно, а значит и (2) верно.
Кстати, ваш список формул (1),(2)(3),(4) можно было бы дополнить и (5)
