Interessante que a fórmula dr Moivre vale para todo complexo z, embora
tenha mais importância para z real.

Em qua, 29 de ago de 2018 19:37, Claudio Buffara <claudio.buff...@gmail.com>
escreveu:

> Eu acho que dá pra deduzir a fórmula de DeMoivre com base na definição da
> exponencial complexa via a extensão da série de Taylor pro domínio complexo:
> e^z = 1 + z + z^2/2! + z^3/3! + ...
> Com z = ix (x real) e as séries de Taylor (em R) de sen e cos você acha
> e^(ix) = cos(x) + i*sen(x).
> (e todas as manipulações com séries são válidas já que elas convergem
> absolutamente e uniformemente em compactos)
> Com a ajuda do teorema do binômio, você prova que e^(z+w) = e^z*e^w e,
> portanto (usando indução), que e^(nz) = (e^z)^n.
> Finalmente, pondo z = ix (x real), você chega à fórmula de DeMoivre.
>
> De resto, concordo com o Antonio Carlos: o princípio da indução está na
> base da matemática. É a propriedade essencial do conjunto dos números
> naturais. Assim, o não-uso deliberado de indução não me parece produtivo.
> Além disso, a capacidade de raciocinar recursivamente é importante pra
> quem quer resolver problemas matemáticos (por exemplo, em combinatória e
> teoria dos grafos) e tecnológicos (especialmente em computação).
>
> Dito isso, estou curioso pra ver uma demonstração não indutiva da fórmula
> de DeMoivre.
>
> []s,
> Claudio.
>
>
> On Wed, Aug 29, 2018 at 6:49 PM Antonio Carlos <ac6945...@gmail.com>
> wrote:
>
>> Usando a fórmula de Euler para z = r(cosx + i senx), temos z = re^(ix) e
>> pela propriedade de multiplicação de exponenciais complexas z^n =
>> r^ne^(inx).
>>
>> Para r = 1, temos z^n = (cosx + i senx)^n = e^(inx) = cos(nx) + i
>> sen(nx), que é a fórmula de Moivre.
>>
>> Uma ressalva: a terceira igualdade que exibi se prova indutivamente
>> utilizando a propriedade mencionada de exponenciais complexas. Eu não
>> conheço outra prova disto sem usar indução e certamente uma prova
>> alternativa deve usar implicitamente resultados provados indutivamente. Mas
>> o argumento indutivo está implícito em praticamente toda teoria matemática
>> (a única exceção "clássica" é a teoria axiomática de conjuntos, da qual
>> derivamos o teorema da indução). A igualdade que usei apenas permite deixar
>> o argumento indutivo implícito na demonstração da formula de Moivre.
>>
>> Abraços!
>>
>> On Wed, Aug 29, 2018, 18:09 Marcelo de Moura Costa <mat.mo...@gmail.com>
>> wrote:
>>
>>> Gostaria de ver sua solução.
>>>
>>> Em qua, 29 de ago de 2018 16:54, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
>>>> Alguém ai conhece uma forma de se provar a fórmula de moivre sem usar
>>>> derivadas, limites, integrais ou indução?Eu tenho uma, mas não sei se a
>>>> forma que eu fiz realmente é a mais elegante.
>>>>
>>>> --
>>>> Israel Meireles Chrisostomo
>>>>
>>>> --
>>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>>> acredita-se estar livre de perigo.
>>>
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

Reply via email to