Так как сумма углов в треугольнике равна , то вместо запишем .
Тогда
Вычислим отдельно тангенс.
Вычислим отдельно числитель и знаменатель
Числитель равен
Знаменатель равен
Значит
Подставим в исходную формулу (*)
По формуле синуса суммы
sin(x+y)=sinx*cosy+sinycosx
преобразуем числитель в скобках
Снова распишем котангенс по определению
Проведем сокращения
По формуле
преобразуем выражение далее
Распишем в числителе косинус суммы по формуле
cos(x+y)=cosxcosy-sinxsiny
После несложных преобразований и сокращения, получим нужное
В треугольнике : α+β+γ=π ⇒ γ=π-α-β=π-(α+β)
tgα/2*tgβ/2+tgβ/2*tgγ/2+tgγ/2*tgα/2=
=tgα/2*tgβ/2+tgβ/2*tg(π/2-(α+β)/2)+tg(π/2-(α+β)/2)*tgα/2=
=[ tg(π/2-a)=ctga по формулам приведения]=
=tgα/2*tgβ/2+ctg(α+β)/2 * (tgβ/2+tgα/2) = [формула tga+tgb=sin(a+b)/cosacosb ] =
sinα/2 * sinβ/2 α+β sin(α+β)/2 sinα/2 * sinβ/2 cos(α+β)/2
= + ctg * = + *
cosα/2 * cosβ/2 2 cosβ/2 * cosα/2 cosα/2 * cosβ/2 sin(α+β)/2
sin(α+β)/2 1/2[cos(α-β)/2-cos(α+β)/2] + cos(α+β)/2 1/2(cos(α-β)/2+cos(α+β)/2)
* == =
cosα/2 *cosβ/2 cosα/2 * cosβ/2 cosα/2 * cosβ/2
1/2 * 2 * (cosα/2 * cosβ/2)
= = 1
cosα/2 * cosβ/2
Так как сумма углов в треугольнике равна , то вместо запишем .
Тогда
Вычислим отдельно тангенс.
Вычислим отдельно числитель и знаменатель
Числитель равен
Знаменатель равен
Значит
Подставим в исходную формулу (*)
По формуле синуса суммы
sin(x+y)=sinx*cosy+sinycosx
преобразуем числитель в скобках
Снова распишем котангенс по определению
Проведем сокращения
По формуле
преобразуем выражение далее
Распишем в числителе косинус суммы по формуле
cos(x+y)=cosxcosy-sinxsiny
После несложных преобразований и сокращения, получим нужное
В треугольнике : α+β+γ=π ⇒ γ=π-α-β=π-(α+β)
tgα/2*tgβ/2+tgβ/2*tgγ/2+tgγ/2*tgα/2=
=tgα/2*tgβ/2+tgβ/2*tg(π/2-(α+β)/2)+tg(π/2-(α+β)/2)*tgα/2=
=[ tg(π/2-a)=ctga по формулам приведения]=
=tgα/2*tgβ/2+ctg(α+β)/2 * (tgβ/2+tgα/2) = [формула tga+tgb=sin(a+b)/cosacosb ] =
sinα/2 * sinβ/2 α+β sin(α+β)/2 sinα/2 * sinβ/2 cos(α+β)/2
= + ctg * = + *
cosα/2 * cosβ/2 2 cosβ/2 * cosα/2 cosα/2 * cosβ/2 sin(α+β)/2
sin(α+β)/2 1/2[cos(α-β)/2-cos(α+β)/2] + cos(α+β)/2 1/2(cos(α-β)/2+cos(α+β)/2)
* == =
cosα/2 *cosβ/2 cosα/2 * cosβ/2 cosα/2 * cosβ/2
1/2 * 2 * (cosα/2 * cosβ/2)
= = 1
cosα/2 * cosβ/2