Caro Danilo,
Fazendo z=a+bi, queremos provar que
(e^a.cosb-1)^2+(e^a.senb)^2=(e^((a^2+b^2)^(1/2)-1)^2, o que equivale a
e^(2a)-2e^a.cosb=e^(2(a^2+b^2)^(1/2))-2e^((a^2+b^2)^(1/2)).
Vamos mostrar que 0=x=y implica e^(2y)-2e^y-(e^(2x)-2e^x=e^x(y^2-x^2).
Escrevendo y=x+h, isso equivale a e^(x+2h)-2e^h-e^x+2=h^2+2hx (após dividir
por e^x). Isso pode ser escrito como e^x(e^h-1)(e^h+1)-2(e^h-1)=h(h+2x), ou
seja, (e^h-1)(e^(x+h)+e^x-2)=h(h+2x), mas e^h-1=h,e^x-1=x e
e^(x+h)-1=x+h, donde e^(x+h)+e^x-2=2x+h e (e^h-1)(e^(x+h)+e^x-2)=h(h+2x).
Agora, usamos isso para y=(a^2+b^2)^(1/2) e x=a, obtendo
e^(2(a^2+b^2)^(1/2))-2e^((a^2+b^2)^(1/2))-(e^(2a)-2e^a)=e^a.b^2. Queremos
provar que o lado esquerdo e' =2e^a.(1-cosb), e logo (dividindo por e^a)
basta mostrar que b^2=2(1-cosb), mas 1-cosb=2(sen(b/2))^2=2.(b/2)^2=b^2/2,
donde b^2=2(1-cosb), cqd.
Abraços,
Gugu
Pessoal , alguem sabe fazer essa ?
prove que para todo numero complexo z , vale
|e^z-1| menor ou igual a e^|z|-1
Abs.
=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=
