Разделим все на
tg(α+β)=sin(α+β)/cos(α+β)=(sinα*cosβ+cosα*sinβ)/(cosα*cosβ-sinα*sinβ)=
(sinα*cosβ/(cosα*cosβ)+(cosα*sinβ)/(cosα*cosβ))/(cosα*cosβ/(cosα*cosβ)-sinα*sinβ/(cosα*cosβ))=(tgα+tgβ)/(1-(tgα*+tgβ)) Доказано.
Разделим все на
tg(α+β)=sin(α+β)/cos(α+β)=(sinα*cosβ+cosα*sinβ)/(cosα*cosβ-sinα*sinβ)=
(sinα*cosβ/(cosα*cosβ)+(cosα*sinβ)/(cosα*cosβ))/(cosα*cosβ/(cosα*cosβ)-sinα*sinβ/(cosα*cosβ))=(tgα+tgβ)/(1-(tgα*+tgβ)) Доказано.