Apuntes de Historia de las Matemticas No. 1, Vol.

2, ENER0 2003
19


EL CLCULO SEGN EULER

Eduardo Tellechea Armenta

Calculaba sin esfuerzo aparente,
como otros hombres respiran o como
las guilas se sostienen en el aire...
Dominique Francois Arago
(1786-1853)

INTRODUCCIN AL ANLISIS INFINITESIMAL

Leonhard Euler naci en Brasilea, Suiza, el 15 de abril de 1707. En el ao de 1720 conoci
a Jean Bernoulli, quien debido a la muerte de Leibniz y el retiro de Newton de la actividad
cientfica, era considerado como el ms destacado matemtico del momento. A mediados
de 1722 se gradu de bachiller y dos aos despus obtuvo el grado de Maestro. En 1726
public su primer trabajo que titul Constructio linearum isochronarum in medio
quocunque resistente. Esta memoria contribuy a aumentar la gran admiracin de Johann
Bernoulli hacia l, ya que ah se muestra claramente el estilo que siempre lo acompa, el
cual es descrito con mucha claridad en la siguiente expresin de Nicols Caritat de
Condorcet (1743-1794), el famoso matemtico y revolucionario francs:

Cuando publicaba una memoria sobre un asunto nuevo, expona con sencillez el
camino que haba recorrido, haciendo observar sus dificultades y vericuetos, y
luego de hacer seguir a sus lectores la marcha de su espritu durante los primeros
ensayos, les enseaba cmo haba logrado encontrar el camino ms fcil, lo que
demuestra que prefera la instruccin de sus discpulos a la satisfaccin que
pudiera producirle el asombro de ellos, y crea no hacer bastante por la ciencia si
no agregaba a las verdades nuevas con que la enriqueca, la sincera exposicin
de las ideas que le haban conducido a su descubrimiento .

Este estilo no slo ensea que se puede ser un gran cientfico y a la vez escribir con mucha
claridad, sino que tambin muestra una serie de elementos positivos de su personalidad, ya
que lo que un hombre escribe es el mejor reflejo de los aspectos ms significativos de su
manera de ser.

En 1748, Euler public en Lausana, Suiza, el primero de sus tres grandes tratados sobre
clculo: Introductio in Analysi Infinitorum. Esta obra, una de las ms importantes en la
historia del clculo infinitesimal y de la geometra analtica, recoge resultados que haba
escrito en memorias anteriores, presenta nuevos aportes y desarrolla algunos de los
principales conceptos que sobre el tema haban obtenido sus predecesores, como Newton,
Leibniz y los Bernoulli. La obra est integrada por dos libros; fue traducida al francs en
Apuntes de Historia de las Matemticas No. 1, Vol. 2, ENER0 2003
20
1785 y al alemn en 1788. Actualmente existe una traduccin al ingls, editada por
Springer Verlag en 1988.


ALGUNOS RESULTADOS DE ESTA OBRA

1. En el captulo VI introdujo el concepto de logaritmo, diciendo que si a > 1, el
logaritmo de x en base a, es el exponente z tal que a
z
= x, siendo esta la primera vez
que se presentaba el logaritmo interpretado como un exponente.

2. A continuacin analizaremos algunos importantes resultados obtenidos por Euler,
en cuyos desarrollos podemos darnos cuenta de que no se preocupaba por
determinar para qu valores son o no convergentes las series que obtuvo.

En el captulo VII introduce el nmero e de la siguiente manera:
Como a
0
= 1, entonces para un valor infinitamente pequeo, escribe:
a

= 1 + k .
Si x es un nmero positivo,

x
es un nmero infinitamente grande; por tal razn lo
identifica con un nmero N de valor infinito y entonces como N
x
=

,
N N N x
k a a a ) 1 ( ) (

+ = = = .
Aplicando luego la serie binomial, obtiene
N x
N
kx
a ) 1 ( + =

... ) (
!
) 1 )...( 1 (
... ) (
2
) 1 (
) ( 1
2
+
+
+ +

+ + =
n
N
kx
n
n N N N
N
kx N N
N
kx
N

= ...
!
1
...
2 1
...
! 2
1
! 1
1
2
2
+
+
+

+ +
n
n
x
n
k
N
n N
N
N
N
N
x
k
N
N
x
k


Como N es infinitamente grande, considera que
N
m N
N
N
N
N
= =

= ...
2 1
1
y, por lo tanto,

...
!
...
! 2 ! 1
1
2
2
+ + + + + =
n
n
x
k
n
x
k
x
k
x
a

Luego sustituye x por 1 y define el valor de e como el valor de a para el cual k = 1;
es decir,
...
!
1
...
! 2
1
! 1
1
1 + + + + + =
n
e
-------------------------- (I)
- ------------ (II)
Apuntes de Historia de las Matemticas No. 1, Vol. 2, ENER0 2003
21
obteniendo as nuestra familiar representacin en serie del nmero e.

Remplazando en (I) se obtiene
N x
N
x
e ) 1 ( + = ,
en donde N es infinitamente grande. Esta ltima expresin actualmente la
interpretamos como la conocida frmula
n
n
x
n
x
e ) 1 ( lim + =


de donde obtenemos el nmero e expresado como
n
n
n
e )
1
1 ( lim + =

.
Tambin, si k = 1, la ecuacin (II) se transforma en

...
!
...
! 2 ! 1
1
2
+ + + + + =
n
x x x
e
n
x
,

lo que hace posible expresar al nmero e como una serie:

=
= + + + + + =
1
!
1
...
!
1
...
! 2
1
! 1
1
1
m
m n
e

3. En el Captulo VIII, Euler define y prueba algunas de las propiedades ms
conocidas de las funciones trigonomtricas, como

1 cos sin
2 2
= + x x y a b b a b a cos sin cos sin ) sin( + = + .

Tambin presenta la identidad de De Moivre, la cual expresamos modernamente en
la forma

u u u u n i n i
n
sin cos ) sin (cos = .

4. Su resultado ms conocido acerca del estudio de exponentes imaginarios es la
ecuacin
1 =
i
e
t
,

que relaciona las constantes ms importantes de la matemtica.

Aunque Newton ya haba encontrado el desarrollo en series de potencias de las
funciones seno y coseno, Euler las obtuvo por otro camino, vemoslo: Sea un
nmero infinitamente pequeo y N infinitamente grande (entero positivo); por la
identidad de De Moivre, tenemos que:
] ) (cos ) [(cos
2
1
cos
N N
isen isen N + + =
------------------------ (III)
Apuntes de Historia de las Matemticas No. 1, Vol. 2, ENER0 2003
22
y
] ) (cos ) [(cos
2
1
N N
isen isen
i
senN + = .
Utiliza a continuacin el desarrollo binomial para obtener:
... sin cos
! 2
) 1 (
cos cos
2 2
+

=


N N
N N
N y
... sin cos
! 3
) 2 )( 1 (
sin cos sin
3 3 1
+

=


N N
N N N
N N ;
y como es muy pequeo, identifica a cos con cero y a sen con ;
tambin, como N es muy grande, supone que N = N - 1 = N - 2 = .... Adems,
considera que = N y obtiene los hoy tan conocidos desarrollos en serie:

...
! 6 ! 4 ! 2
1 cos
6 4 2
+ + =
x x x
x , ...
! 7 ! 5 ! 3
sin
7 5 3
+ + =
x x x
x x

5. En este mismo captulo demuestra que
] 1 ) 1 [( lim ) 1 ln(
1
+ = +

m
n
x n x
y tambin que

=
+
= +
1
1
) 1 ( ) 1 ln(
n
n
n
n
y
y
La manera de hacerlo es la siguiente:

Tomando 1 =
x
a y , entonces
N N x
k a a y ) 1 ( 1

+ = = = +
de donde
N
y k
1
) 1 ( 1 + = +
k
y
N
1 ) 1 (
1
+
= N y
a
= + ) 1 ( log
y, por lo tanto,
] 1 ) 1 [( ) 1 ( log
1
+ = +
N
a
y
k
N
y ] 1 ) 1 [( ) 1 ln(
1
+ = +
N
y N y
Esta ltima expresin la identificamos ahora como:
] 1 ) 1 [( lim ) 1 ln(
1
+ = +

n
n
y n y
Claramente, si 1 + y = z, y m =1/n, la expresin anterior se transforma en
m
z
z
m
n
1
lim ln

=


y utilizando nuevamente la serie binomial, obtenemos:

...
! 3
) 2 / 1 )( 1 / 1 ( / 1
! 2
) 1 / 1 ( / 1 1
1 ) 1 (
3 2
1
+

+

+ + = + y
N N N
y
N N
y
N
y
N

, ------- (IV)
-------- (V)
Apuntes de Historia de las Matemticas No. 1, Vol. 2, ENER0 2003
23
pero como N es infinitamente grande, tomamos 1/N k = -k Z k e , y entonces
... ) 1 ( ...
3 2
] 1 ) 1 [(
1
3 2
/ 1
+ + + = +
+
n
y y y
y y N
n
n N

Finalmente, remplazando en (V), obtenemos:

=
+
= +
1
1
) 1 ( ) 1 ln(
n
n
n
n
y
y .

Como podemos apreciar, muchos de los pasos que acabamos de ver requieren de
una slida justificacin matemtica, pero aunque Euler reconoca la necesidad de ser
cauteloso al tratar con procesos infinitos, sacrific esa cautela en pro de resultados
prcticos. Algunas veces inclusive lleg a resultados falsos como, por ejemplo,
sustituir x = 2 en la serie geomtrica ... 1
1
1
2 2
+ + + + =
+
x x x
x
, obteniendo el
absurdo: 1 = 1 + 2 + 4 + 8 + 16 +...

Fue hasta principios del siglo XIX cuando Abel logr corregir muchos de los errores
cometidos por Euler en el manejo de las series, dndoles la solidez necesaria para la
adquisicin de rigurosidad cientfica.

6. En el captulo IV define lo que l entiende por funcin, de la siguiente manera:
Una funcin de cantidad variable es una expresin analtica formada de cualquier
manera por esta cantidad variable y por nmeros o cantidades constantes. Por
supuesto que esta definicin difiere de la que actualmente utilizamos; sin embargo,
en su poca tuvo un gran xito ya que la Introductio es el primer trabajo matemtico
que se escribi, en donde el concepto de funcin juega un papel central, y trajo
como consecuencia un tratamiento del clculo infinitesimal independiente de la
geometra. Siete aos despus, en el prlogo de sus Institutiones calculi
differentialis, logra dar una definicin de funcin que es similar a la que conocemos
actualmente. Al respecto escribi: Algunas cantidades en verdad dependen de
otras, si al ser combinadas las ltimas, las primeras tambin sufren cambio,
entonces las primeras se llaman funciones de las ltimas. Esta denominacin es
bastante natural y comprende cada mtodo mediante el cual una cantidad puede
ser determinada por otras. As, si x denota una cantidad variable, entonces todas
las cantidades que dependen de x en cualquier forma, estn determinadas por x y se
les llama funciones de x

7. Los captulos IV, XIII y XVII, estn destinados al estudio de algunas series, en
especial series de potencias, y sus relaciones con los productos infinitos; por
ejemplo, partiendo de la serie
...
! 7 ! 5 ! 3
sin
7 5 3
+ + =
x x x
x x
o su equivalente, para 0 = x ,

Apuntes de Historia de las Matemticas No. 1, Vol. 2, ENER0 2003
24
...
! 7 ! 5 ! 3
1
sin
6 4 2
+ + =
x x x
x
x
,
si z = x
2
, el lado derecho de esta ltima serie se transforma en
...
! 9 ! 7 ! 5 ! 3
1
4 3 2
z z z z
+ +
Cuando senx = 0, esta serie puede concebirse como un polinomio de grado infinito.
Sea P(z), como se describe abajo, el polinomio de grado n asociado a la serie
n
n
n
n
z a z a z a z a z P ) 1 ( ... 1 ) (
3
3
2
2 1
+ + + =
(

+ + + =

n
n
n
n n
n
n n
n
n
a
z
a
a
z
a
a
z a
1
) 1 ( ) 1 ( ... ) 1 (
1 1 1 1
;
haciendo un poco de teora de ecuaciones y utilizando el teorema de factorizacin
completa para polinomios, Euler demuestra que si
n
r r r r ... , , ,
3 2 1
son las races del
polinomio, se dan las siguientes relaciones entre los coeficientes y las races:

[
=
=
=
n
j j
n
i
i
n
n
n
r
r
a
a
1
1 1 1 1
) 1 ( ) 1 ( y
[
=
=
n
i
i
n
n
n
r
a
1
) 1 (
1
) 1 ( .
Estas dos ecuaciones se transforman en

=
=
n
j j
r
a
1
1
1
y
[
=
=
n
i
i
n
r
a
1
1
;
sustituyendo en la expresin para P
n
(z), obtenemos (sin desarrollo)
|
|
.
|

\
|

|
|
.
|

\
|

|
|
.
|

\
|
= + + +
n
n
n
n
r
z
r
z
r
z
z a z a z a 1 ... 1 1 ) 1 ( ... 1
2 1
2
2 1
.
Como las races de la ecuacin infinita
...
! 7 ! 5 ! 3
7 5 3
+ + =
x x x
x senx
son ... , 3 , 2 , t t t , las races de la ecuacin
...
! 7 ! 5 ! 3
1
6 4 2
+ + =
x x x
x
senx

(o bien, si tomamos z = x
2
, las races de
...
! 7 ! 5 ! 3
1
3 2
+ + =
z z z
z
z sen
)
sern ... , 16 , 9 , 4 ,
2 2 2 2
t t t t
Combinando los resultados anteriores se obtiene:
...
16
1
9
1
4
1 1
2
2
2
2
2
2
2
2
|
|
.
|

\
|

|
|
.
|

\
|

|
|
.
|

\
|

|
|
.
|

\
|
=
t t t
x x x x
x
senx

Apuntes de Historia de las Matemticas No. 1, Vol. 2, ENER0 2003
25
y si hacemos que n en la expresin

=
=
n
j j
r
a
1
1
1
, tomando en cuenta que
2
) ( t j r
j
= y
! 3
1
1
= a , se obtiene
...
16
1
9
1
4
1 1
) (
1
6
1
2 2 2 2
1
2
+ + + + = =

=
t t t t t
n
j
j
,
de donde
6
1
...
16
1
9
1
4
1
1
1
2
=
(

+ + + +
t
o
6
1 1 1
1
2 2
=

= n
n t
,
y finalmente se obtiene la ecuacin buscada

6
1
2
1
2
t
=

= n
n
.

Otros resultados obtenidos en forma similar por Euler, relativos a series numricas,
son:

4 1 2
) 1 (
1
t
=
+

= n
n
n
,
8 ) 1 2 (
1
2
1
2
t
=
+

= n
n
,
90
1
4
1
4
t
=

= n
n
.


UNA ANCDOTA

Euler fue un hombre de profundas convicciones religiosas, y lleg incluso a pensar en
poder encontrar una demostracin algebraica de la existencia de Dios. Era tal el prestigio de
que gozaba, que sus contemporneos pensaron que s la haba encontrado. En cierta
ocasin, aprovechando estos rumores, pudo salir airoso en un debate que sostuvo con el
famoso filsofo francs Denis Diderot (1713-1784), acerca de la existencia de Dios. La
ancdota es la siguiente:

Conocedor Euler del pensamiento de Diderot al respecto, as como tambin del
desconocimiento total que ste tena de las matemticas, resolvi retarlo para que refutara,
ante la presencia de la zarina Catalina II, una prueba que l dijo poseer referente a la
existencia de Dios. A ello, Diderot inocentemente accedi. La expectacin era enorme, ya
que se enfrentaban pblicamente dos titanes del pensamiento; de ah que no slo concurri
la nobleza, sino tambin lo ms granado de la Academia de San Petersburgo. El debate lo
inici Euler, acercndose a Diderot y dicindole en tono fuerte y convincente:

Seor, x
n
b a
n
=
+
, y por lo tanto, Dios existe. Replique.
Como es obvio, nada pudo responder Diderot, y el silencio en que permaneci slo vino a
romperse con la risa burlona de los que s entendan de matemticas. Diderot pidi permiso
Apuntes de Historia de las Matemticas No. 1, Vol. 2, ENER0 2003
26
a Catalina para retirarse y se march inmediatamente a Francia. Euler tom as desquite de
las burlas a que haba sido sometido en Berln, por el tambin filsofo francs Voltaire
(1694-1778).


EL MS PROLFICO EN LA HISTORIA DE LA MATEMTICA

Para tener una idea de la gran obra de Euler, diremos que desde 1911 se viene trabajando en
la publicacin de su obra completa, pero hasta la fecha no se vislumbra la posibilidad de
que puedan terminarla en breve tiempo. Hasta 1945, slo se haban publicado 72
volmenes, y desde 1967, las academias de Ciencias de Suiza y de la ex-URSS, unieron
esfuerzos para poder producir una obra con la correspondencia cientfica de Euler.

Los clculos ms pesimistas, afirman que public como mnimo 760 trabajos de
investigacin, y a su muerte dej inditos muchos de sus artculos. Aun en la actualidad no
se conocen cerca de 3000 pginas de sus escritos. El volumen de su creacin cientfica es
superior al de cualquier otro matemtico. La variedad y cantidad de algoritmos que cre, no
han podido ser superados por nadie, No hubo rama de la Matemtica de su poca en la que
no hubiera trabajado, y en la mayora de ellas dej su huella creadora. Por los motivos que
acabamos de mencionar, Leonhard Euler es considerado como el matemtico ms prolfico
de todos los tiempos.

Por cualquier camino que sigamos nos encontramos con l, ya sea en su produccin
cientfica o en las notaciones que introdujo. Recordemos que a l se debe la expresin f(x),
las notaciones senu, cosu, el smbolo i para designar la raz cuadrada de 1; el uso de la
letra t, de la letra e, la introduccin de los llamados diagramas de Euler-Venn, y la del
smbolo E.



REFERENCIAS

[1] Aguilar Quiroz, Gonzalo (2001). Un resultado de Leonhard Euler relativo a series
infinitas. Miscelnea Matemtica No.33, editada por la Sociedad Matemtica
Mexicana, Mxico.

[2] Castro Chadid, Ivan (1996). Leonhard Euler. Grupo Editorial Iberoamrica,
Mxico.

[3] Euler, Leonhard (1988). Introduction to Analysis of the Infinite. Book I. Translated
by John Blanton. Springer Verlag, New York.

[4] Euler, Leonhard (1990). Introduction to Analysis of the Infinite. Book II. Translated
by John Blanton. Springer Verlag, New York.