ABRAHAM DE MOIVRE

Abraham de Moivre (Naci el 26 de mayo de 1667 en Vite

Le Franois, Champagne Francia y muri en Londres el 27 de
noviembre de 1754.) fue un matemtico Francs, conocido
por la frmula de Moivre y por predecir el da de su muerte a
travs de un clculo matemtico.
Su
padre,
que
fue
cirujano,
le
envi
a
la
academia protestante de
Sedan
y
all
estudi
entre 1678 y 1682.
Despus
estudi
Lgica
en
Saumur durante los dos aos posteriores y en 1684 asisti al
Collge de Harcourt. Y, aunque no hay evidencias de que
obtuviera algn ttulo acadmico, lo cierto es que estudi
junto a Jacques Ozanam.
Conocido por la frmula de De Moivre y por su trabajo en
la distribucin normal y probabilidad, fue elegido miembro de
la Royal Society de Londres en 1697 y fue amigo de Isaac
Newton y Edmund Halley.
De Moivre public el libro de probabilidad The Doctrine of
Chances y, como era calvinista, tuvo que salir de su pas natal
despus de la revocacin del Edicto de Nantes por el de
Fontainebleau (1685). Pas el resto de su vida en Inglaterra.
Lo cierto es que toda su vida fue pobre y era cliente regular
del Slaughter's Coffee House, donde ganaba algo de dinero
jugando al ajedrez.
Muri en Londres, siendo enterrado en St Martin-in-the-Fields,
aunque ms tarde su cuerpo fue trasladado. Lo curioso es que
l predijo que morira el da que muri. Observ que cada da
dorma quince minutos ms que la noche anterior y calcul
que morira aquel da que durmiera veinticuatro horas. Cit
que seran 73 das despus: el 27 de noviembre de 1754.

FORMULA DE MOIVRE
La frmula de De Moivre nombrada as por Abraham de Moivre afirma que para
cualquier nmero complejo (y en particular, para cualquier nmero real) x y para
cualquier entero n se verifica que:

Esta frmula es importante porque conecta a los nmeros

complejos (i significa unidad imaginaria) con la trigonometra. La expresin
"cos x + i sen x" a veces se abrevia como cis x.
Al expandir la parte izquierda de la igualdad y comparando la parte real con la
imaginaria, es posible derivar expresiones muy tiles para cos(nx) y sen(nx) en
trminos de cos(x) y sen(x). Adems, esta frmula puede ser utilizada para
encontrar expresiones explcitas para la ensima raz de la unidad, eso es,
nmeros complejos z tal que zn = 1.
Abraham De Moivre fue amigo de Newton; en 1698 ste ltimo escribi que ya
conoca dicha frmula desde 1676.

La frmula de De Moivre puede ser obtenida de la frmula de Euler:

Aplicando leyes de la exponenciacin

Entonces, por la frmula de Euler,

.
Partiendo nuevamente de la frmula de Euler:

Si hacemos que

entonces tenemos la identidad de Euler:

Es decir:

Adems como tenemos estas dos igualdades:

podemos deducir lo siguiente:

Demostracin por induccin

Consideramos tres casos.
Para un entero n > 0, procedemos a travs de la induccin matemtica.
Cuando n = 1, el resultado es claramente cierto. Para nuestra hiptesis asumimos
que el resultado es verdadero para algn entero positivo k. Eso es que asumimos:

Ahora, considerando el caso n = k + 1:

Deducimos que el resultado es verdadero para n = k + 1 cuando es

verdadero para n = k. Por el principio de la induccin matemtica se

desprende que el resultado es verdadero para todos los enteros

positivos n1.
Cuando n = 0 la frmula es verdadera ya
que

, y (por convencin)

Cuando n < 0, consideramos un entero positivo m tal que n = m. Por lo

tanto:

Por lo tanto el teorema es verdadero para todos los valores enteros de n.