BIOGRAFIA DE LEONHARD EULER.

(1707-1783)
Leonhard Euler fue un matemtico suizo, cuyos trabajos ms importantes se centraron en el campo de las matemticas puras, campo de estudio que ayud a fundar. Euler naci en Basilea en 1707 y estudi en la Universidad de Basilea con el matemtico suizo Johann Bernoulli, licencindose a los 16 aos. En 1727, por invitacin de la emperatriz de Rusia Catalina I, fue miembro del profesorado de la Academia de Ciencias de San Petersburgo. Fue nombrado catedrtico de fsica en 1730 y de matemticas en 1733. En 1741 fue profesor de matemticas en la Academia de Ciencias de Berln a peticin del rey de Prusia, Federico el Grande. Euler regres a San Petersburgo en 1766, donde permaneci hasta su muerte. Aunque obstaculizado por una prdida parcial de visin antes de cumplir 30 aos y por una ceguera casi total al final de su vida, Euler produjo numerosas obras matemticas importantes, as como reseas matemticas y cientficas. En su Introduccin al anlisis de los infinitos (1748), Euler realiz el primer tratamiento analtico completo del lgebra, la teora de ecuaciones, la trigonometra y la geometra analtica. En esta obra trat el desarrollo de series de funciones y formul la regla por la que slo las series convergentes infinitas pueden ser evaluadas adecuadamente. Tambin abord las superficies tridimensionales y demostr que las secciones cnicas se representan mediante la ecuacin general de segundo grado en dos dimensiones. Otras obras trataban del clculo (incluido el clculo de variaciones), la teora de nmeros, nmeros imaginarios y lgebra determinada e indeterminada.

Euler, aunque principalmente era matemtico, realiz tambin aportaciones a la astronoma, la mecnica, la ptica y la acstica. Entre sus obras se encuentran Instituciones del clculo diferencial (1755), Instituciones del clculo integral (1768-1770) e Introduccin al lgebra (1770). Euler tena una memoria prodigiosa; recordaba las potencias, hasta la sexta, de los 100 primeros nmeros primos, y la Eneida entera. Realizaba clculos mentalmente que otros matemticos realizaban con dificultad sobre el papel. La productividad matemtica de Euler fue extraordinaria. Nos encontramos su nombre en todas las ramas de las matemticas: Hay frmulas de Euler, polinomios de Euler, constantes de Euler, integrales eulerianas y lneas de Euler. A pesar de todo esto se cas y tuvo trece hijos, estando siempre atento al bienestar de familia; educ a sus hijos y nietos. Muri el 7 de septiembre de 1783.

FUNCIN DE EULER Antes de definir la funcin de Euler, vamos a repasar un concepto bsico, el de primos relativos, coprimos o primos entre s.

PRIMOS RELATIVOS. El mximo comn divisor de dos nmeros naturales m y n es el mayor entero positivo que divide simultneamente a m y n con residuo cero. Y de sta definicin se dice que dos nmeros naturales m y n se llaman primos relativos si el mximo comn divisor de ellos es 1, es decir, si mcd(m, n) = 1. Ejemplos: a-) Los nmeros 6 y 9 NO son primos relativos ya que los divisores de 6 son 1, 2, 3 y 6. Los divisores de 9 son 1, 3 y 9. Por lo tanto el mximo comn divisor es 3. b-) Los nmeros 9 y 14 son primos relativos ya que los divisores de 9 son 1, 3 y 9, mientras que los divisores de 14 son 1, 2, 7 y 14. Por lo tanto el mximo comn divisor es 1. La funcin de Euler, tambin conocida con el nombre de funcin indicatriz de Euler, es una funcin importante en teora de nmeros. El nmero de enteros positivos que son primos entre s a un entero positivo n, entre 1 y n, es dado mediante la funcin de Euler ( ).

DEFINICIN Si n es un nmero entero positivo, entonces (n) se define como el nmero de enteros positivos menores o iguales a n y coprimos con n, es decir, formalmente se puede definir como:

( )

|*

+|

En otras palabras, dado , se define ( ) como la cantidad de nmeros naturales menores o iguales que n y que son primos relativos con el propio n.

Ilustremos el concepto por medio del clculo manual de algunos valores de nmeros naturales, por ejemplo, los valores del 1 a 15. TABLA N1. Nmero: n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Nmeros m tales que m 1 1,2 1,2,3 1,2,3,4 1,2,3,4,5 1,2,3,4,5,6 1,2,3,4,5,6,7 1,2,3,4,5,6,7,8 1,2,3,4,5,6,7,8,9 1,2,3,4,5,6,7,8,9,10 1,2,3,4,5,6,7,8,9,10,11 1,2,3,4,5,6,7,8,9,10,11,12 1,2,3,4,5,6,7,8,9,10,11,12,13 1,2,3,4,5,6,7,8,9,10,11,12,13,14 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 Nmeros m talesl que m y mcd(m,n) = 1 1 1 1,2 1,3 1,2,3,4 1,5 1,2,3,4,5,6 1,3,5,7 1,2,4,5,7,8 1,3,7,9 1,2,3,4,5,6,7,8,9,10 1,5,7,11 1,2,3,4,5,6,7,8,9,10,11,12 1,3,5,9,11,13 1,2,4,7, 8,11,13,14

( )
1 1 2 2 4 2 6 4 6 4 10 4 12 6 8

De la definicin de la funcin de Euler, se deduce que ( ) relativo con 1 es 1.

, dado que el nico primo

Estos clculos manuales de la funcin de Euler resultan no muy prcticos cuando el valor de n corresponde a un nmero alto, para tan fin de pueden utilizar las siguientes propiedades. PROPIEDAD 1.

Si n es un nmero primo entonces

Demostracin.

( )

Si n es un nmero primo entonces todos los nmeros del conjunto * son primos relativos con n se tiene que ( ) Ejemplos: ( ) ( ) ( ( ) )

PROPIEDAD 2.

Si n es un nmero primo y k en un nmero natural entonces ( ) ( ) .

Demostracin.

1.

si p es primo y k es un nmero natural. Se demuestra con induccin: 2. es una funcin multiplicativa condicional: si m y n son primos entre s, entonces . La primera propiedad se demuestra fcilmente, porque un nmero primo es coprimo con todos sus anteriores. Y, por tanto, existen p-1 elementos coprimos con p. La segunda propiedad se demuestra por induccin, supongamos que k = 1. Entonces por la propiedad 1, de manera que se puede escribir como . Se debe demostrar que se cumple para . Reescribiendo la identidad, , luego

. Como es la cantidad de nmeros coprimos con , si multiplicamos dicha cantidad por p, el nmero que es coprimo con los dems debe aumentar p veces, con lo que .

Con esto, el valor de (n) puede calcularse empleando el teorema fundamental de la Aritmtica: si

donde los pj son nmeros primos distintos, entonces

Esta ltima frmula es un producto de Euler y a menudo se escribe como

donde los p son los distintos primos que dividen a n.

Ejemplo de clculo[editar]

Se puede comprobar manualmente que los nmeros coprimos con 36 (o sea, que no son divisibles por 2 ni por 3) son doce: 1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, y 35.

Algunos valores[editar]

Representacin grfica de los 100 primeros valores. Ntese que el lmite inferior marcado por la recta y = 4n/15 no es el lmite inferior de la funcin de manera global, sino para mltiplos de 30. Los 99 primeros valores de la funcin vienen escritos en la siguiente tabla, as como grficamente. +0 +1 +2 +3 +4 +5 +6 +7 +8 +9 1 1 2 2 4 2 6 4 6 0+ 10+ 4 10 4 12 6 8 8 16 6 18

20+ 30+ 40+ 50+ 60+ 70+ 80+ 90+

8 8 16 20 16 24 32 24

12 30 40 32 60 70 54 72

10 16 12 24 30 24 40 44

22 20 42 52 36 72 82 60

8 16 20 18 32 36 24 46

20 24 24 40 48 40 64 72

12 12 22 24 20 36 42 32

18 36 46 36 66 60 56 96

12 18 16 28 32 24 40 42

28 24 42 58 44 78 88 60

Propiedades[editar]

El valor de (n) es igual al orden del grupo de las unidades del anillo Z/nZ (vase aritmtica modular). Esto, junto con el teorema de Lagrange, proporciona una demostracin del teorema de Euler. (n) tambin es igual al nmero de generadores del grupo cclico Cn (y por ello tambin es igual al grado del polinomio ciclotmico n). Como cada elemento de Cn genera un subgrupo cclico y los subgrupos de Cn son de la forma Cd donde d divide a n (notacin: d|n), se tiene que

donde la suma es de todos los divisores positivos d de n. De esta manera, se puede emplear la frmula de inversin de Mbius para invertir esta suma y obtener otra frmula para (n):

donde es la usual funcin de Mbius definida sobre los enteros positivos.

La siguiente frmula es de una serie de Dirichlet que genera un grupo cclico (n):