Нужно доказать

[McQueen]

Как доказать, что cos (z1+z2) = cos z1 cos z2 - sin z1 sin z2  ?

[slaydev]

[fortpost]

Вот тут есть доказательство.
//текст доступен после регистрации//

[McQueen]

а как можно доказать через экспоненту?

[fortpost]

4cosx · cosy = (e^ix + e^-ix)(e^iy + e^-iy) = e^i(x+y) + e^i(x-y) + e^-i(x-y) + e^-i(x+y)
4sinx · siny = (e^ix - e^-ix)(e^iy - e^-iy)/i² = -e^i(x+y) + e^i(x-y) + e^-i(x-y) - e^-i(x+y)
4cosx · cosy - 4sinx · siny = e^i(x+y) + e^i(x-y) + e^-i(x-y) + e^-i(x+y) + e^i(x+y) - e^i(x-y) - e^-i(x-y) + e^-i(x+y) = 2e^i(x+y) + 2e^-i(x+y) = 4cos(x+y)

[McQueen]

Спасибо большое за помощь!