[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Esta equação trigonométrica tem raízes não reais?

2018-05-24 Por tôpico Bernardo Freitas Paulo da Costa
2018-05-24 13:29 GMT-03:00 Artur Steiner : > Nâo tem mesmo nâo. Outra forma de ver isto é com a identidade sen(z) + > cos(z) = raiz(2) sen(z + pi/4), Isto nos leva a > > sen(z + pi/4) = raiz(2)/2, que é um real em [-1, 1]. Logo, z + pi/4, e > portanto z, são reais. >

[obm-l] Re: [obm-l] Re: [obm-l] Esta equação trigonométrica tem raízes não reais?

2018-05-24 Por tôpico Artur Steiner
Nâo tem mesmo nâo. Outra forma de ver isto é com a identidade sen(z) + cos(z) = raiz(2) sen(z + pi/4), Isto nos leva a sen(z + pi/4) = raiz(2)/2, que é um real em [-1, 1]. Logo, z + pi/4, e portanto z, são reais. Se sen(z) é um real em [-1, 1], então z é real. Condição similar vale para o