La geometr´ıa de dos fórmulas de Euler

Miscelánea Matemática 45 (2007) 105–130
SMM
La geometrı́a de dos fórmulas de Euler*
Raúl Quiroga-Barranco
Centro de Investigación en Matemáticas–CIMAT
Apartado Postal 402
36000 Guanajuato, Gto.
México
quiroga@cimat.mx
1.
Introducción
Leonhard Euler es uno de los matemáticos de la Historia con mayor
reconocimiento. Esto se debe tanto a la gran cantidad de trabajos que
escribió como a la importancia de los mismos. Sus contribuciones a la
Geometrı́a en diferentes niveles y con diversos grados de profundidad
son en particular notables. Serı́a imposible en un breve trabajo como
éste poder hacer recuento de sus ideas dentro de la Geometrı́a. En lugar
de ello, trataremos de resaltar la relevancia de sus ideas y hacer ver que
su trabajo trasciende a su tiempo.
Tomaremos como punto de partida dos fórmulas de Euler. La primera es bastante famosa y de hecho es muchas veces referida simplemente
como la Fórmula de Euler; ésta relaciona la exponencial de números
complejos con el seno y el coseno. La segunda es conocida como la
fórmula de las sumas de cuatro cuadrados de Euler. Ambas resultan
tener un contenido geométrico que en los tiempos de Euler no fue
reconocido en plenitud. Discutiremos pues este contenido mostrando
ası́ como las ideas de Euler van más allá de lo que podrı́amos creer.
En este sentido, uno de nuestros objetivos es mostrar que el trabajo de
Euler sigue vigente y tan vivo como cuando lo escribió.
*
Supported by SNI-México and Conacyt Grant 44620.
Key words and phrases. Euler, geometry
105
106
2.
R. Quiroga-Barranco
La fórmula de Euler y las rotaciones en el plano
Una de las herramientas más útiles que se han desarrollado en
las matemáticas es dada por los números complejos. El uso de estos
números tiene impacto en el Álgebra, el Análisis y la Geometrı́a.
En el Álgebra, los números complejos pueden considerarse como un
mecanismo para resolver ecuaciones algebraicas que no poseen solución
de otra forma. Por ejemplo, la ecuación:
x2 + 1 = 0 ,
no puede tener solución dada por un número real pues el cuadrado de
un número real nunca es negativo. Se introduce pues un nuevo número
i, llamado la unidad imaginaria, con la propiedad de que i2 = −1. Es
decir, i es justamente una solución de la ecuación anterior.
Los números complejos son entonces números de la forma:
z = a + bi ,
(2.1)
con a y b números reales. Luego tales números se suman y se multiplican
entre sı́ usando las reglas de asociatividad y distributividad junto con
la relación básica i2 = −1. De este modo se encuentra que:
(a + bi) + (c + di) = (a + c) + (b + d)i
(a + bi) · (c + di) = (ac − bd) + (ad + bc)i .
(2.2)
A la colección de todos los números complejos con estas operaciones la
denotaremos con el sı́mbolo C.
Es posible dar una interpretación geométrica a estos números basada en la expresión (2.1). Tal ecuación nos muestra que los números
complejos no son sino pares de números reales. Por otro lado, las coordenadas cartesianas en el plano nos permiten identificar los puntos en
él con pares de números reales y ası́ con los números complejos. En la
Figura 1 mostramos tal identificación. Debido a esto, frecuentemente
se habla del plano complejo pensando en los números complejos que
describimos arriba y su interpretación geométrica.
Una componente importante en la geometrı́a del plano es la distancia entre puntos, la cual es posible relacionar con las operaciones de
números complejos. Para ver esto, en primer lugar introducimos el concepto de conjugación de números complejos. Si z = a + bi es un número
complejo, su conjugado es z = a − bi, y con esta definición realizamos
el siguiente cálculo:
z · z = (a + bi) · (a − bi) = a2 + b2 ,
(2.3)
La geometrı́a de dos fórmulas de Euler
107
Figura 1: Puntos en el plano complejo.
es decir, el producto √
z ·z es el cuadrado de la distancia de z al origen. Se
acostumbra denotar zz por |z|, el cual es llamado el módulo o la norma
del número complejo z y mide su magnitud. Por lo que acabamos de
ver, la norma de un número complejo es también su distancia al origen.
Figura 2: Suma de números en el plano complejo.
Nos podemos preguntar ahora por la interpretación geométrica de
las operaciones de números complejos dadas en las ecuaciones (2.2). La
suma de números en el plano complejo es la que se conoce como suma
de vectores y que se muestra en la Figura 2. En base a esto, tenemos
108
R. Quiroga-Barranco
una interpretación más de los números complejos como el conjunto de
vectores en el plano que parten del origen. Por otro lado, de la interpretación geométrica de la suma de números complejos encontramos
que para dos tales números z y w, la distancia entre ellos es dada por
|z − w|.
El producto de números complejos se puede entender más fácilmente
utilizando coordenadas polares. En tales coordenadas, cada punto en
el plano se localiza mediante dos valores: su distancia r al origen y el
ángulo θ que forma con el eje horizontal el segmento que va del origen al
punto, como muestra la Figura 3. Las coordenadas polares de un punto
(x, y) como en la Figura 3 son el par de valores (r, θ) ası́ obtenidos.
Usando trigonometrı́a es posible relacionar tales coordenadas polares
con las coordenadas cartesianas en la siguiente fórmula (ver la Figura
3):
(x, y) = (r cos(θ), r sin(θ)),
que, con nuestra interpretación geométrica del plano complejo, corresponde al punto r cos(θ)+r sin(θ)i. También son conocidas las siguientes
ecuaciones que permiten obtener las coordenadas polares a partir de las
cartesianas:
y
p
.
r = x2 + y 2 , θ = arctan
x
Figura 3: Coordenadas polares.
Podemos ahora plantearnos la siguiente pregunta. ¿Qué pasa cuando multiplicamos a un número a + bi en el plano complejo por otro
de la forma r cos(θ) + r sin(θ)i? Es decir, ¿qué tipo de transformación
La geometrı́a de dos fórmulas de Euler
109
geométrica obtenemos al realizar tal producto? De la ecuación (2.2)
encontramos que:
(r cos(θ)+r sin(θ)i)·(a+bi) = r(cos(θ)a−sin(θ)b)+r(sin(θ)a+cos(θ)b)i.
Recurrimos ahora de nuevo a la interpretación de los números complejos como pares de números reales. Podemos entonces ver que la expresión anterior es una función lineal de los valores a y b de una forma
tal que podemos escribir la representación matricial correspondiente. Es
decir, usando matrices, el producto de números complejos que acabamos
de calcular se reescribe como la asignación:
a
cos(θ) − sin(θ)
a
7→ r
·
.
b
sin(θ)
cos(θ)
b
De esta forma si multiplicamos al número complejo z 0 = a + bi por
el número complejo z = r cos(θ) + r sin(θ)i geométricamente estamos
rotando a z 0 por un ángulo θ y estirándolo (o contrayéndolo) por un
factor de r. La Figura 4 esquematiza esta interpretación. La transformación geométrica que corresponde a la multiplicación por un factor
r real en la norma de un número complejo se llama homotecia por un
factor r.
Figura 4: Interpretación geométrica del producto de números complejos.
Si bien la interpretación anterior es correcta, ha tenido que pasar
por el álgebra lineal y sus matrices, lo cual conlleva el cambio a un
contexto en el fondo más complicado que los números complejos. Serı́a
interesante contar con una interpretación conceptualmente más simple.
110
R. Quiroga-Barranco
Es en este punto que el genio de Euler nos ayuda a ver un patrón que simplifica nuestro estudio de los objetos geométricos. Euler
probó en 1748 una fórmula considerada entre las más notables de toda
la Matemática y que relaciona tres de las funciones más importantes
del Análisis. Dos de tales funciones son el seno y el coseno que arriba
empleamos para relacionar las coordenadas polares con las coordenadas
cartesianas. La otra función es la exponencial de un número x que se
denota por ex y que posee la propiedad de transformar sumas en productos, es decir, satisface ex+y = ex ey . Esta función es definida y estudiada
en casi todo libro de Cálculo cuando el número x es real, pero es también posible considerar la exponencial de un número complejo. Es en
este contexto más general que Euler probó la relación que existe entre
el seno, el coseno y la exponencial. Ası́ tenemos la siguiente expresión
que es conocida como la fórmula de Euler.
eiθ = cos(θ) + i sin(θ).
(2.4)
Con esta fórmula a la mano podemos resolver nuestro problema
de la interpretación geométrica del producto de números en el plano
complejo de una manera mucho más simple. Como vimos arriba, si z y
z 0 son dos tales números, entonces podemos calcular sus coordenadas
polares digamos (r, θ) y (r0 , θ0 ), respectivamente, lo cual corresponde a
expresarlos como sigue:
z = r cos(θ) + ir sin(θ),
z 0 = r0 cos(θ0 ) + ir0 sin(θ0 ) ,
pero la fórmula de Euler simplifica esto a las expresiones:
z = reiθ ,
0
z 0 = r0 eiθ ,
con las cuales encontramos que:
0
0
z · z 0 = reiθ · r0 eiθ = rr0 ei(θ+θ ) .
De esta última expresión concluimos de nuevo que al multiplicar a un
número complejo z 0 por otro z con coordenadas polares (r, θ), rotamos
a z 0 por un ángulo θ y le aplicamos una homotecia por un factor r.
Ası́ pues, hemos visto que toda multiplicación por un número complejo es una rotación seguido de una homotecia. Pero más aún, nuestros
cálculos muestran que toda rotación alrededor del origen en el plano
proviene de una multiplicación por un número complejo. Esto ocurre
porque la rotación por un ángulo θ es dada por la multiplicación por
el número complejo eiθ . En otras palabras, el conjunto de todas las
La geometrı́a de dos fórmulas de Euler
111
rotaciones alrededor del origen se identifica con el conjunto de números
complejos cuya coordenada polar r = 1. El cambio de coordenadas polares a cartesianas nos dice que éste es el conjunto de números complejos
de módulo 1 que denotaremos por:
S 1 = {z ∈ C : |z| = 1} .
Este conjunto resulta ser simplemente el cı́rculo en el plano con centro
en el origen y radio 1.
La geometrı́a del plano estudia rectas, ángulos, polı́gonos, etc., y al
hacerlo encontramos que las propiedades de tales objetos geométricos
no cambian cuando rotamos, trasladamos o reflejamos los mismos. Por
esta razón se considera que la geometrı́a del plano es aquélla que estudia las propiedades de las figuras que son invariantes bajo estos tres
tipos de transformaciones. Resulta ası́ de lo que acabamos de ver que
uno de los tres tipos de transformaciones que definen la geometrı́a del
plano, las rotaciones alrededor del origen, se puede identificar con el
cı́rculo S 1 , que es él mismo un objeto geométrico del plano. Pero debido a la presencia del producto en el plano complejo, observamos que
el cı́rculo es más que un simple objeto geométrico pues el producto de
dos elementos en S 1 cae de nuevo en S 1 . Es decir:
z, w ∈ S 1 implica z · w ∈ S 1 .
(2.5)
Una forma de ver esto es escribiendo como arriba z = eiα y w = eiβ ,
de donde observamos que z · w = ei(α+β) , el cual pertenece de nuevo al
cı́rculo S 1 . Esta forma de probarlo es fundamental pues hace ver que
el producto en S 1 es de hecho la composición de las correspondientes
rotaciones.
De esta manera, hemos encontrado que el cı́rculo S 1 es un objeto
geométrico con una estructura algebraica, el producto de sus elementos,
en el cual queda codificada la geometrı́a del plano. Este hecho fundamental de la Geometrı́a está a su vez codificado en la fórmula de Euler
(2.4) que relaciona las funciones seno, coseno y exponencial. Tal es el caso, pues es esta fórmula de Euler la que de manera más natural sirvió de
base para interpretar geométricamente el producto de números complejos e identificar la estructura geométrica y algebraica del cı́rculo S 1 . En
conclusión, en la fórmula de Euler (2.4) está codificada la geometrı́a del
plano.
Veamos ahora otra forma de probar la implicación (2.5) que nos
ayudará a entender mejor otra contribución de Euler discutida en la
siguiente sección. Esta otra prueba se obtiene observando el resultado
112
R. Quiroga-Barranco
más general que establece la fórmula:
|z · w| = |z| · |w| ,
(2.6)
para cualesquiera números complejos z y w. Esta fórmula implica que el
producto de dos números complejos de módulo 1 es también un número
complejo de módulo 1. Esto es precisamente la implicación (2.5).
Probamos esta relación más general considerando su cuadrado y
aplicando el siguiente cálculo:
|z · w|2 = z · w · z · w = z · w · z · w = z · z · w · w = |z|2 · |w|2 ,
en el cual utilizamos la ecuación (2.3) y el hecho de que z · w = z · ·w.
Esta última relación se prueba directamente de la ecuación (2.2).
Para números complejos z = a + bi y w = c + di, el cuadrado de la
ecuación (2.6) queda escrito como:
(a2 + b2 ) · (c2 + d2 ) = (ac − bd)2 + (ad + bc)2 .
(2.7)
Esta fórmula resulta ser notable por varios hechos. En primer lugar,
su miembro derecho contiene de manera explicita las coordenadas del
producto de dos números complejos (ver la ecuación (2.2)). Por tanto,
el producto de números complejos está determinado por cualquiera de
las dos fórmulas equivalentes (2.6) o (2.7). Es decir, si por alguna razón
olvidásemos cómo multiplicar números complejos, nos bastarı́a mirar
tales ecuaciones para refrescar nuestra memoria. Por tanto, quienquiera
que conozca la ecuación (2.7) se puede decir que conoce ya los números
complejos. De aquı́ un segundo hecho notable: un matemático hindú del
siglo sexto de nombre Brahmagupta habı́a ya descubierto esta fórmula
y con ello la esencia de los números complejos. Esto ocurrió 10 siglos
antes de que Descartes formalizara el uso de los números complejos.
La fórmula de Brahmagupta resuelve un problema importante en
la Teorı́a de Números. Recordamos que un número se dice un cuadrado perfecto si es el cuadrado de un entero. El problema de Teorı́a de
Números al que nos referimos es, si n y m son ambos enteros que se
pueden ambos escribir como la suma dos cuadrados perfectos, ¿es el
número n · m la suma de dos cuadrados perfectos? La fórmula de Brahmagupta nos da una respuesta afirmativa pues con ella sabemos que si
n es la suma de los cuadrados de a y b, y m es la suma de los cuadrados
de c y d, entonces n · m es la suma de los cuadrados de ac − bd y ad + bc.
En otras palabras, la fórmula de Brahmagupta contiene la receta para
dar los números cuyos cuadrados suman n · m a partir de los números
La geometrı́a de dos fórmulas de Euler
113
cuyos cuadrados nos permiten obtener a n y a m. Es notable que tal
receta es de hecho el producto de números complejos y que, como vimos
arriba, contiene la información de la geometrı́a del plano codificada en
el cı́rculo S 1 .
3.
La fórmula de las sumas de cuatro cuadrados
de Euler y la geometrı́a en tres dimensiones
En la sección anterior hicimos ver que la geometrı́a del plano puede
en gran parte ser estudiada a través de un objeto geométrico, el cı́rculo S 1 , que lleva consigo una operación algebraica. La importancia de
tal operación yace en que nos permite estudiar las rotaciones del plano
sin tener que recurrir a las matrices sino utilizando tan solo al producto de los números complejos de la forma eiθ . En ello jugó un papel
fundamental la fórmula de Euler (2.4). Nos preguntamos ahora sobre
la posibilidad de extender este tipo de construcciones a otras dimensiones. Existen en realidad varias formas de atacar este problema, pero
nosotros lo haremos utilizando el trabajo de Euler.
Como mencionamos al final de la sección anterior, los números complejos estaban ya implı́citamente dados en la ecuación (2.7) de Brahmagupta. Pero más aún, como pudimos explicar, esta ecuación proporciona una manera alternativa de entender la estructura algebraica
del cı́rculo S 1 y por tanto contiene información sobre la geometrı́a del
plano. También se encontró que la ecuación de Brahmagupta resuelve
un problema de Teorı́a de Números.
Ocurre que Euler fue el primero en descubrir una ecuación similar a
la de Brahmagupta, pero que expresa ciertas relaciones en colecciones
no solo de dos variables sino de cuatro variables. Tal ecuación es dada
como sigue:
(x20 + x21 + x22 + x23 ) · (y02 + y12 + y22 + y32 )
= (x0 y0 − x1 y1 − x2 y2 − x3 y3 )2 + (x0 y1 + x1 y0 + x2 y3 − x3 y2 )2
+ (x0 y2 − x1 y3 + x2 y0 + x3 y1 )2 + (x0 y3 + x1 y2 − x2 y1 + x3 y0 )2 (3.1)
y se conoce como la fórmula de las sumas de cuatro cuadrados de Euler.
Veremos ahora cómo esta ecuación tiene un contenido geométrico no
trivial y muy importante.
Como la fórmula de Brahmagupta, esta ecuación de Euler proporciona la solución a un problema de Teorı́a de Números. Nos muestra que
si n y m son ambos la suma de cuatro cuadrados perfectos, entonces
114
R. Quiroga-Barranco
su producto n · m es también la suma de cuatro cuadrados perfectos.
Además, establece esta propiedad de los enteros dando, como en el caso
de la ecuación de Brahmagupta, una receta explı́cita para obtener los
cuatro enteros cuyos cuadrados suman n · m.
Como en el caso de la fórmula de Brahmagupta, la fórmula de las
sumas de cuatro cuadrados de Euler contiene de manera implı́cita una
regla para multiplicar colecciones ordenadas, en este caso de cuatro
números reales que llamaremos tétradas reales. La pregunta que queremos responder es, ¿cuál es el significado geométrico de tal producto
implı́cito en (3.1)? De manera explı́cita, el producto que se obtiene de
la ecuación (3.1) es dado por:
(x0 , x1 , x2 , x3 ) · (y0 , y1 , y2 , y3 )
= (x0 y0 − x1 y1 − x2 y2 − x3 y3 , x0 y1 + x1 y0 + x2 y3 − x3 y2 ,
x0 y2 − x1 y3 + x2 y0 + x3 y1 , x0 y3 + x1 y2 − x2 y1 + x3 y0 ) . (3.2)
Tal producto es un tanto complicado, pero es posible analizar algunas de sus propiedades caso por caso y entenderlas hasta cierto punto.
Para ello es útil simplificar nuestra notación. El conjunto de tétradas
reales que venimos considerando se denota por R4 y constituye un espacio vectorial de dimensión 4. La base natural de este espacio es dada
por:
e0 = (1, 0, 0, 0),
e2 = (0, 0, 1, 0),
e1 = (0, 1, 0, 0)
e3 = (0, 0, 0, 1) .
Una de las expresiones más simples para el producto (3.2) se obtiene
tomando uno de los miembros de este producto como e0 . Es fácil verificar que:
e0 · (x0 , x1 , x2 , x3 ) = (x0 , x1 , x2 , x3 ),
(x0 , x1 , x2 , x3 ) · e0 = (x0 , x1 , x2 , x3 ) ,
es decir, el vector e0 se comporta como una unidad.
Por otro lado, si tomamos xα = yα = 0 para α = 1, 2, 3, observamos que el lado derecho de la ecuación (3.2) tiene sólo la primera
componente no nula y se reduce a:
(x0 e0 ) · (y0 e0 ) = (x0 y0 )e0 ,
que de hecho define el producto usual de los números reales. En otras
palabras, si denotamos con Re0 la lı́nea generada por e0 , entonces el
La geometrı́a de dos fórmulas de Euler
115
producto en esta lı́nea lo convierte en una copia de los números reales.
Bajo estas identificaciones podemos entonces escribir e0 = 1 y Re0 = R.
Si ahora tomamos xα = yα = 0 para α = 2, 3, es decir si trabajamos
en el plano Re0 ⊕ Re1 = R ⊕ Re1 , entonces ahora la ecuación (3.2) se
reduce a:
(x0 + x1 e1 ) · (y0 + y1 e1 ) = (x0 y0 − x1 y1 ) + (x0 y1 + x1 y0 )e1
donde hemos ya aplicado nuestra identificación e0 = 1. Esta última
expresión es en realidad otra forma de escribir el producto de números
complejos, donde ahora simplemente hemos escrito e1 en vez del sı́mbolo usual i para la unidad imaginaria. En otras palabras, R ⊕ Re1 es una
copia de los números complejos. Por tanto, la fórmula de Euler que
estamos considerando contiene la información sobre el producto de los
números complejos. Esto también se puede deducir del hecho de que si
tomamos xα = yα = 0 para α = 2, 3 en la ecuación (3.1), obtenemos
la ecuación de Brahmagupta. Tenemos pues los ya conocidos números
complejos y podemos entonces recuperar la geometrı́a del plano junto con la fórmula de Euler (3.1) por lo que discutimos en la sección
anterior.
Veamos ahora algunos casos no triviales más interesantes. Lo siguiente más simple es considerar los vectores e2 y e3 . Aplicando la
ecuación (3.2) encontramos los siguientes valores:
e2 · e2 = −e0 = −1,
e3 · e3 = −e0 = −1,
e2 · e3 = e1 = −e3 · e2 .
Aparece ahora cierto comportamiento no trivial. En primer lugar, encontramos que e2 y e3 son dos nuevas unidades imaginarias, es decir,
soluciones de la ecuación x2 + 1 = 0. Además, los vectores e2 y e3 anticonmutan, y como consecuencia el producto definido en la ecuación
(3.2) no puede ser conmutativo. Hemos obtenido entonces tres unidades
imaginarias e1 , e2 y e3 , y completando los posibles productos entre ellas
de acuerdo a la ecuación (3.2) encontramos los siguientes valores:
e1 · e2 = e3 = −e2 · e1
e2 · e3 = e1 = −e3 · e2
e3 · e1 = e2 = −e1 · e3 .
Si miramos con cuidado estas relaciones, nos daremos cuenta que son
precisamente las relaciones que definen el producto cruz de los vectores
básicos canónicos en R3 . Quizás esto sea más fácil de apreciar si denotamos e1 = i, e2 = j y e3 = k, lo cual corresponde a la notación
116
R. Quiroga-Barranco
usual del análisis vectorial básico. Las anteriores relaciones se reducen
entonces a las siguientes más familiares:
i · j = k = −j · i
j · k = i = −k · j
k · i = j = −i · k .
Por otro lado, el producto de la ecuación (3.2) restringido a Re1 ⊕
Re2 ⊕ Re3 se convierte en:
(x1 e1 + x2 e2 + x3 ) · (y1 e1 + y2 e2 + y3 e3 ) = −(x1 y1 + x2 y2 + x3 y3 )
+ (x2 y3 − x3 y2 )e1 + (−x1 y3 + x3 y1 )e2 + (x1 y2 − x2 y1 )e3 . (3.3)
De esto se observa que el producto de elementos en Re1 ⊕ Re2 ⊕ Re3
no cae necesariamente de nuevo en este espacio. Sin embargo consta de
dos componentes, la que cae en Re1 ⊕ Re2 ⊕ Re3 dada por:
(x2 y3 − x3 y2 )e1 + (−x1 y3 + x3 y1 )e2 + (x1 y2 − x2 y1 )e3
que es precisamente el producto cruz de los vectores que multiplicamos
originalmente, y la componente en R = Re0 que, salvo por un signo es
dada por:
x1 y1 + x2 y2 + x3 y3 ,
y que corresponde al producto interno de los vectores. Encontramos
ası́ que la fórmula de las sumas de cuatro cuadrados de Euler restringida
al espacio Re1 ⊕ Re2 ⊕ Re3 proporciona las dos principales operaciones
vectoriales, el producto cruz y el producto interno. Recordemos que en
base a estas operaciones se construye la geometrı́a del espacio de tres
dimensiones, usualmente denotado por R3 . Debido a ello, en el resto
de este escrito identificaremos a Re1 ⊕ Re2 ⊕ Re3 con R3 , de modo que
cuando hablemos de elementos en este último nos estaremos refiriendo
también a los del primero.
Por otro lado, en R3 el producto cruz de dos vectores u y v se suele
escribir como u × v. Además, en el espacio vectorial Rn , de colecciones
ordenadas de n números reales, el producto interno de dos vectores u
y v se denota por hu, vi. De modo que la norma de un vector u en Rn
es dada por:
q
p
kuk = hu, ui = x21 + · · · + x2n
donde la representación en coordenadas de u es (x1 , . . . , xn ). Si bien esta
notación es válida con tal generalidad, nosotros tendremos la oportunidad de aplicarla sólo para R3 y R4 . Con esta notación encontramos
La geometrı́a de dos fórmulas de Euler
117
que el producto de dos elementos u y v en R3 = Re1 ⊕ Re2 ⊕ Re3 de
acuerdo a la fórmula (3.2) se escribe como:
u · v = − hu, vi + u × v .
(3.4)
De aquı́ observamos otra caracterı́stica especial de este producto. Como
u × u = 0 para cualquier vector en u de R3 se tiene que:
u · u = − hu, ui = −kuk2
el cual es negativo a menos que u = 0. Más aún, si consideramos la
esfera centrada en el origen en R3 = Re1 ⊕ Re2 ⊕ Re3 de radio 1 dada
por:
S 2 = {u ∈ R3 : kuk = 1} ,
entonces lo anterior nos dice que para el producto de (3.2) tenemos
u · u = −1 para todo vector u que pertenece a S 2 . Es decir, la esfera S 2
consta de unidades imaginarias todas distintas entre sı́.
En base a esto, toda tétrada real (x0 , x1 , x2 , x3 ) se puede descomponer en las partes x0 y (x1 , x2 , x3 ) distinguidas según su naturaleza
respecto del producto (3.2). La primera parte x0 se multiplica como lo
hacen usualmente los reales y la segunda parte (x1 , x2 , x3 ) posee, como
acabamos de ver, un carácter imaginario. Siguiendo estas observaciones,
cada vector x en R4 lo podemos escribir como una suma
x = a + u,
donde a es la primera componente, llamada la parte real de x, y u
es el vector en R3 obtenido de las tres últimas componentes y que
es llamado la parte imaginaria de x. Cuando un vector en R4 tenga
su primera componente nula lo llamaremos imaginario puro y cuando
las tres últimas sean todas nulas diremos que el vector es un número
real. Esto último es congruente con nuestras observaciones anteriores,
en las cuales mostramos que el producto de (3.2) restringido al primer
sumando en R4 define el producto de números reales.
Finalmente, encontramos que el producto definido por la ecuación
(3.2) se puede escribir de manera completa con la fórmula:
(a + u) · (b + v) = (ab − hu, vi) + (av + bu + u × v) ,
(3.5)
que expresa las partes real e imaginaria del producto de dos vectores
a + u y b + v, de los cuales a, b son las partes reales y u, v son las
partes imaginarias. En realidad, ya hemos verificado gran parte de esta
identidad. Sólo nos resta calcular el producto, según la ecuación (3.2),
118
R. Quiroga-Barranco
de un número real y de un vector imaginario puro. Dejamos al lector
este último cálculo.
Es bastante notable el hecho de que la ecuación (3.5) consta exactamente de las operaciones con las que estudiamos el espacio de tres
dimensiones. Como ya habiamos visto mediante (3.4), contiene al producto interno y al producto cruz. Pero ahora además observamos que
(3.5) contiene la suma de vectores y la multiplicación de estos por escalares, ası́ como la multiplicación misma de números reales.
En la sección anterior observamos que la conjugación de números
complejos nos permite relacionar el producto de estos con la norma
de vectores en el plano. Este hecho quedó establecido en la ecuación
(2.3). Utilizando la descomposición de una tétrada real en su parte real
y su parte imaginaria es posible definir también una conjugación. El
conjugado de una tétrada real x es definido por:
x = a + u = a − u,
en donde hemos tomado x = a + u como la descomposición de x en
su parte real a y su parte imaginaria u. Usando tal descomposición,
encontramos entonces que se cumple:
x · x = (a + u) · (a − u)
= (a2 − hu, −ui) + (au − au + u × (−u))
= a2 + hu, ui = kxk2
(3.6)
que es el cuadrado de la norma de x. Por otro lado, en la sección anterior
vimos que para los números complejos el módulo de un producto es el
producto de los módulos, como se puede ver más explicitamente en la
ecuación (2.6). ¿Ocurre esto también para las tétradas reales con su
producto y norma como lo hemos visto en esta sección? Es decir, nos
preguntamos por la validez de la ecuación:
kx · yk = kxk · kyk ,
(3.7)
para cualesquiera x y y vectores en R4 . La respuesta es afirmativa. De
hecho la fórmula de las sumas de cuatro cuadrados de Euler que ha
servido de base para la discusión en esta sección es precisamente la
ecuación (3.7), como puede fácilmente verificar el lector partiendo de
la fórmula (3.2).
Deduciremos un par de propiedades más del producto que venimos
considerando. En primer lugar, observamos que tal producto es asociativo, es decir, satisface x · (y · z) = (x · y) · z. Esto se puede ver
La geometrı́a de dos fórmulas de Euler
119
directamente de la ecuación (3.2), o de la fórmula más explı́cita (3.5)
que contiene productos con propiedades e identidades bien conocidas.
Si bien la tarea es un tanto engorrosa, se puede simplificar tomando
cada una de las tétradas reales x, y, z como un número real o un vector
imaginario puro con todas sus posibles combinaciones.
Por otro lado, de nuevo de cualquiera de las ecuaciones (3.2) o (3.5),
se observa que los números reales conmutan con todas las tétradas. Es
decir, se cumple que a·x = x·a si a es real y x es cualquier tétrada real.
En particular, podemos escribir xa para cualquier tétrada real x y a un
número real no nulo sin preocuparnos por sus dos posibles significados:
a−1 · x o x · a−1 .
Las propiedades anteriores nos permiten descubrir con facilidad otra
propiedad más que es muy interesante. De lo anterior y de la ecuación
(3.6) encontramos que:
x
= 1,
(3.8)
x·
kxk2
siempre y cuando x sea una tétrada real distinta de cero. En otras
palabras, todo elemento de R4 posee un inverso multiplicativo.
Por otro lado, la ecuación (3.7) elevada al cuadrado junto con la
ecuación (3.6) nos permiten realizar el siguiente cálculo:
x · y · x · y = kx · yk2 = kxk2 · kyk2
= x · x · kyk2 = x · kyk2 · x
= x · y · y · x.
En estas identidades hemos utilizado que los números reales conmutan
con las tétradas respecto del producto (3.2). Si ahora suponemos x y y
distintos de cero y multiplicamos por la izquierda primero por el inverso
de x y luego por el inverso de y concluimos la ecuación:
x · y = y · x.
(3.9)
De hecho el razonamiento anterior se puede invertir para probar que,
dados el producto y la conjugación que hemos considerado, la ecuación
(3.9) es equivalente a la fórmula de las sumas de cuatro cuadrados de
Euler.
Finalmente, enunciaremos sin mayor discusión la interpretación geométrica del producto cruz de vectores en R3 . Sin embargo, observamos
que es posible deducir estas últimas afirmaciones de esta sección de la
misma forma en que lo hemos venido haciendo.
120
R. Quiroga-Barranco
Si u, v son vectores en R3 , entonces u × v es un vector perpendicular
a ambos u y v. Además, la norma de u × v es kuk · kvk sen(θ), donde θ
es el ángulo entre u y v. Es decir, u × v satisface las condiciones:
ku × vk = kuk · kvk sen(θ)
u × v ⊥ u, v .
De hecho, estas propiedades determinan a u × v salvo por un signo.
4.
Las fórmulas de Euler y las rotaciones en tres
dimensiones
En la sección anterior construimos sobre R4 , a partir de la fórmula de
las sumas de cuatro cuadrados de Euler, una serie de operaciones que lo
asemejan casi totalmente a los números complejos. La única excepción
es la no conmutatividad del producto en R4 . Veremos ahora cómo tales
construcciones nos permiten estudiar la geometrı́a del espacio de tres
dimensiones de manera similar a la forma en que los números complejos
nos permitieron estudiar la geometrı́a del plano.
La clave para usar la sección anterior en el estudio de la geometrı́a
del espacio de tres dimensiones es la fórmula (3.7). De tal fórmula vemos
que si x, y son elementos de R4 y kxk = 1, entonces al mutiplicar a y
por la izquierda por x la norma de este último no cambia, es decir:
kx · yk = kyk .
Se cumple también una afirmación similar al multiplicar por la derecha
por un tal x de norma 1. Concluimos de aquı́ que las multiplicaciones
por la izquierda y por la derecha por tétradas reales de norma 1 son
transformaciones rı́gidas para la geometrı́a euclidiana. Es decir, son
transformaciones que definen movimientos rı́gidos de los objetos geométricos de la geometrı́a euclidiana en R4 .
Debido a lo anterior, es importante considerar un nuevo objeto geométrico, el conjunto de vectores de norma 1 en R4 :
S 3 = {x ∈ R4 : kxk = 1} .
Este conjunto se puede considerar como una generalización directa del
cı́rculo S 1 y de la esfera S 2 en el espacio de tres dimensiones. Por
esta razón, S 3 es conocida como la esfera tridimensional de radio 1 y
centrada en el origen en R4 .
La geometrı́a de dos fórmulas de Euler
121
Ası́ pues, hemos visto la posibilidad de generar con los elementos
en S 3 transformaciones de R4 que permiten estudiar la geometrı́a euclidiana de tal espacio. Sin embargo, nuestro interés se encuentra en el
estudio de la geometrı́a euclidiana del espacio de tres dimensiones. Respecto de ello, observamos una dificultad en el producto por la izquierda
por una tétrada real: tal transformación no necesariamente lleva vectores de R3 en vectores de R3 . Por ejemplo, tomemos x = a + u una
tétrada real, escrita en términos de sus partes real e imaginaria, y v
un vector en R3 , éste último imaginario puro. Entonces, por la fórmula
(3.5) tenemos:
(a + u) · v = − hu, vi + av + u × v ,
el cual posee parte real − hu, vi y por tanto no pertenece a R3 en general. Similarmente, la multiplicación por la derecha por un tal x da la
expresión:
v · (a + u) = − hv, ui + av + v × u ,
que de hecho posee la misma parte real, y por tanto no está en R3 en
general. Sin embargo, el hecho de que ambas multiplicaciones, por la
derecha y por la izquierda por x, dan lugar a tétradas con la misma
parte real nos permite resolver el problema. Si multiplicamos por la
derecha por x = a − u, es fácil ver que la parte real cambia de signo:
v · (a − u) = hv, ui + av − v × u .
Esto nos sugiere combinar la multiplicación por la izquierda por x con
la multiplicación por la derecha por x en la esperanza de poder obtener
una tétrada con parte real nula. Un cálculo directo usando la fórmula
(3.5) nos da como resultado:
(a + u) · v · (a − u) = (− hu, vi + av + u × v) · (a − u)
(4.1)
= (−a hu, vi + hav, ui + hu × v, ui)
+ (a2 v + au × v + hu, vi u − av × u − (u × v) × u)
= a2 v + 2au × v + hu, vi u − (u × v) × u.
Esta última expresión carece de parte real como deseábamos. Observamos que en este cálculo hemos utilizado el hecho de que u × v es
perpendicular a ambos u, v.
Ası́ pues, tal combinación especial de operaciones, multiplicación
por la izquierda por x y por la derecha por x, ahora sı́ lleva vectores
de R3 en vectores de R3 como deseábamos. Más aún, si la norma de x
122
R. Quiroga-Barranco
es 1, también lo es la de x, y entonces esta combinación de operaciones
no cambia la norma de los vectores, puesto que:
kx · v · xk = kxk · kvk · kxk = kvk ,
para cualquier v en R3 . Esta transformación es por tanto rı́gida respecto
de la geometrı́a euclidiana en R3 .
Por lo que hemos discutido, nos interesa tal expresión para x un
elemento en la esfera S 3 y en tal caso la ecuación (3.6) nos dice que
x = x−1 es el inverso multiplicativo de x. Por tanto, podemos reescribir
la ecuación (4.1) como:
x · v · x−1 = a2 v + 2au × v + hu, vi u − (u × v) × u ,
(4.2)
donde x es un elemento de S 3 con parte real a y parte imaginaria u. De
nuevo enfatizamos que tal transformación preserva todas las nociones
de la geometrı́a euclidiana en R3 .
Para poder continuar con nuestro estudio de la geometrı́a euclidiana
en el espacio de tres dimensiones necesitamos discutir algunas nociones
de álgebra lineal.
Figura 5: Una base ortonormal.
Cuando realizamos cálculos con coordenadas en el espacio de tres
dimensiones utilizamos un marco ortonormal dado por tres vectores
unitarios mutuamente perpendiculares; a un tal marco lo llamamos una
base ortonormal. En la Figura 5 se muestra una base ortonormal u, v, w.
La geometrı́a de dos fórmulas de Euler
123
Un ejemplo de una base ortonormal es dado por la base canónica formada por los tres vectores e1 , e2 , e3 . El orden de tal base es importante
pues ello nos da el orden de las coordenadas en R3 . Este orden lo podemos detectar hasta cierto punto con la ayuda del producto que hemos
venido considerado, pues de acuerdo a éste se cumple e1 ·e2 = e3 . Esto a
su vez se puede reescribir como la relación i · j = k que ya antes vimos.
Supongamos ahora que tenemos una base ortonormal u1 , u2 , u3 . Entonces, de acuerdo a la ecuación (3.5) se cumple:
u1 · u2 = − hu1 , u2 i + u1 × u2 = u1 × u2
debido a que u1 y u2 son perpendiculares. Por la interpretación geométrica del producto cruz este vector es unitario y perpendicular a ambos
u1 y u2 . Por tanto, se cumple:
u1 · u2 = u3 ,
o u1 · u2 = −u3 .
En el primer caso, tenemos la misma situación que con la base canónica.
Distinguimos a las bases que cumplen la primera condición llamándolas
bases ortonormales de orientación positiva. Si por otro lado se cumple
u1 · u2 = −u3 , basta intercambiar los dos primeros elementos para tener
una base ortonormal de orientación positiva.
Hemos definido las bases ortonormales con orientación positiva imponiendo restricciones sobre el producto de los dos primeros elementos.
Usando esto junto con la interpretación geométrica del producto cruz, es
posible ver que toda base ortonormal con orientación positiva u1 , u2 , u3
tiene la misma tabla de productos que la base canónica i, j, k. Dejamos
los detalles al lector.
En base a estas nociones podemos definir uno de los conceptos más
importantes de la geometrı́a euclidiana en R3 : las rotaciones. Una transformación lineal T sobre R3 se dice una rotación si la imagen de la base
canónica es una base ortonormal de orientación positiva, es decir, si los
vectores T (e1 ), T (e2 ), T (e3 ) forman, en ese orden, una base ortonormal
de orientación positiva.
Las rotaciones constituyen uno de los principales bloques de construcción de la geometrı́a euclidiana en tres dimensiones. Las otras transformaciones relevantes son las reflexiones respecto de planos que pasan
por el origen. Si bien no discutiremos estas últimas, por lo menos mencionamos que basta conocer una sola reflexión para reconstruir todas
las demás a partir de las rotaciones. Ésta es una de las razones para
restringir el resto de nuestra discusión a las rotaciones.
124
R. Quiroga-Barranco
Con la noción de rotación a la mano podemos ahora estudiar las
transformaciones de R3 dadas por la ecuación (4.2). En tal ecuación,
x = a + u pertenece a S 3 y tiene partes real e imaginaria a y u, respectivamente. Para facilitar nuestros cálculos denotaremos con Tx la
transformación que define la ecuación (4.2), es decir:
Tx : R3 → R3
v 7→ x · v · x−1 .
Tal transformación será considerada sólo cuando x sea un elemento en
S 3 . Podemos dar una primera observación sobre estas transformaciones:
el producto de dos de ellas es del mismo tipo. De manera más explı́cita,
tenemos:
Tx·y (v) = (x · y) · v · (x · y)−1
= (x · y) · v · (x · y)
= (x · y) · v · (y · x)
= x · (y · v · y) · x
= x · (y · v · y −1 ) · x−1
= Tx ◦ Ty (v) .
Es decir, Tx·y = Tx ◦ Ty . En este cálculo hemos usado diversas propiedades del producto de tétradas de números reales.
Comencemos pues a analizar estas transformaciones con un caso
particular. Supongamos que x es un elemento en S 3 de la forma a+be1 =
a + bi, es decir, su parte imaginaria es múltiplo del primer elemento de
la base canónica. En particular, x es de hecho un número complejo. La
condición kxk = 1 nos dice entonces que x es un elemento del cı́rculo
S 1 . Por tanto, x se puede escribir como:
x = cos(θ) + sin(θ)i = eiθ .
Para escribir explı́citamente la transformación Tx , ajustamos la expresión de los vectores en R3 como sigue. Dado que i · j = k, todo vector
v = (a, b, c) se puede escribir como:
v = ai + bj + ck = ai + (b + ci) · j .
Por tanto, el valor de Tx en tal vector v es dado por:
Tx (v) = x · v · x−1
= eiθ aie−iθ + eiθ · (b + ci) · j · e−iθ
= ai + (b + ci)eiθ · j · e−iθ ,
125
La geometrı́a de dos fórmulas de Euler
en donde hemos utilizado que el producto restringido a los números
complejos es conmutativo. Resta simplificar el factor eiθ · j · e−iθ . Mediante un cálculo directo encontramos que:
eiθ · j · e−iθ = (cos(θ) + sin(θ)i) · j · (cos(θ) − sin(θ)i)
= (cos(θ) + sin(θ)i) · (cos(θ)j − sin(θ)j · i)
= (cos(θ) + sin(θ)i) · (cos(θ)j + sin(θ)i · j)
= (cos(θ) + sin(θ)i) · (cos(θ) + sin(θ)i) · j
= eiθ eiθ · j
= e2iθ · j .
Reuniendo los últimos cálculos llegamos finalmente a la expresión:
Tx (ai + (b + ci) · j) = ai + e2iθ (b + ci) · j ,
(4.3)
en la cual x = eiθ . La interpretación es ahora posible: Para x = eiθ ,
la transformación Tx fija el eje generado por i mientras que rota plano
generado por j e i · j = k lo un ángulo 2θ. Aquı́ estamos utilizando que
los puntos (b + ci) · j forman precisamente el plano generado por j y
k. Es fácil ver que tal Tx es una rotación. Ilustramos tal rotación en la
Figura 6.
Figura 6: La rotación Tx cuando x = eiθ .
Resta considerar el análisis del comportamiento de Tx con x cualquier elemento de S 3 . Para un tal x arbitrario, todavı́a contamos con la
126
R. Quiroga-Barranco
expresión x = a + u que lo descompone en sus partes real e imaginaria.
El caso en que u = 0 es más bien trivial, pues tal condición obliga a que
a = ±1 (pues kxk = 1) y en tal caso Tx (v) = v es la transformación
identidad. Cuando u 6= 0, podemos considerar la unidad imaginaria
asociada a u dada por:
u
u1 =
,
kuk
y con ella podemos escribir x = a + kuku1 . El vector u1 es ciertamente
una unidad imaginaria pues satisface u1 · u1 = −1, como se puede verificar fácilmente con la fórmula (3.4). En otras palabras, hemos escrito
un elemento x de S 3 con parte imaginaria no nula como una especie
de número complejo en el cual u1 juega el papel de i. Para continuar
nuestro análisis veamos ahora que podemos completar u1 a una base
para obtener los elementos correspondientes a j y k respecto de u1 .
Dada nuestra unidad imaginaria u1 tomemos cualquier vector u2
unitario y perpendicular a ella. Entonces, el vector u3 = u1 · u2 es
unitario y perpendicular a ambos u1 , u2 . De hecho hemos construido
una base ortonormal con orientación positiva con primer elemento dado
por u1 . Pero entonces, como observamos antes, la base u1 , u2 , u3 tiene
la misma tabla de productos que i, j, k. En base a esto basta repetir
los argumentos que dimos arriba para probar que la transformación Tx
para el elemento x de S 3 que venimos discutiendo satisface:
Tx (au1 + (b + cu1 ) · u2 ) = au1 + (cos(2θ) + sin(2θ)u1 )(b + cu1 ) · u2 , (4.4)
en donde hemos expresado a los vectores en R3 en términos de la base
u1 , u2 , u3 como lo hicimos antes con la base canónica.
A partir de la ecuación (4.4) obtenemos la siguiente interpretación
general para las transformaciones Tx con x un elemento de S 3 con parte
u
es la unidad imaginaria asociada a
imaginaria u no nula: Si u1 = kuk
u, entonces Tx es la rotación que deja fijos a los puntos en la recta
generada por u1 y que rota al plano perpendicular a esta recta un
ángulo 2θ, donde θ es el ángulo tal que sin(θ) = kuk.
Hemos ası́ obtenido una gran cantidad de rotaciones mediante las
transformaciones Tx . Es importante hace notar que las hemos construido a partir del producto de tétradas que se deduce de la fórmula de las
sumas de cuatro cuadrados de Euler (3.1). La pregunta natural en este
punto es, ¿son éstas todas las posibles rotaciones? En otras palabras,
¿toda rotación en R3 se puede escribir como una transformación de la
forma Tx ? La respuesta resulta ser afirmativa. De hecho para ver que
éste es el caso utilizaremos una más de las herramientas de Euler.
La geometrı́a de dos fórmulas de Euler
127
Euler introdujo el uso de tres ángulos para estudiar las rotaciones
en el espacio de tres dimensiones. Una forma de describir tales ángulos
es mediante su uso para determinar la posición de un vector unitario de
R3 respecto de la base canónica. Veamos cómo hacer esto en la Figura
7, explicando cómo pasar del vector i al vector u. El vector i es parte
de la base canónica de R3 cuyos tres elementos aparecen identificados
como i, j, k. Apliquemos la rotación que deja fijo al vector k y rota un
ángulo α al plano que generan los vectores i y j; en este proceso el
vector i es llevado al vector N . El cı́rculo en el plano i, j nos sirve de
referencia para visualizar tanto el plano que generan los vectores i y
j, como la rotación de este plano. Notemos que esta rotación fija un
eje y gira el plano perpendicular a él y es por tanto de la forma Tx1
para algún x1 elemento de S 3 . Rotemos ahora un ángulo β alrededor
del vector N ; de nuevo se trata de una rotación de la forma Tx2 para
algún x2 elemento de S 3 , pues fija a la recta generada por el vector N
y gira a su plano perpendicular. En este paso, tanto el eje generado por
k como el plano generado por los vectores i y j se inclinan un ángulo β;
en particular, el vector k es llevado al vector w y el cı́rculo en el plano
i, j es llevado en el cı́rculo en el plano u, v. Finalmente, rotamos ahora
un ángulo γ alrededor del eje generado por el vector w. Esta rotación
gira el cı́rculo en el plano u, v alrededor de su centro hasta llevar el
vector N en el vector u. Esta última rotación es de nuevo de la forma
Tx3 donde x3 pertenece a S 3 .
Figura 7: Los ángulos de Euler.
Mediante las rotaciones ası́ descritas hemos llevado la base canónica,
denotada con los vectores i, j, k, en la base ortonormal dada por los
vectores u, v, w (ver la Figura 7). En esta situación decimos que α, β, γ
128
R. Quiroga-Barranco
son los ángulos de Euler de la base u, v, w respecto de la base i, j, k.
Este procedimiento se puede repetir para explicar cómo llevar la base
canónica en cualquier otra base ortonormal de orientación positiva.
Supongamos ahora que T es una rotación cualquiera del espacio de
tres dimensiones. Entonces sabemos que la base u, v, w que se obtiene
al aplicar T a la base canónica es una base ortonormal con orientación
positiva. Por lo que acabamos de explicar, están involucrados tres ángulos de Euler que nos permiten llevar la base canónica en la base u, v, w.
Pero más aún, por la forma en que los obtuvimos, hay tres elementos
x1 , x2 , x3 de S 3 tal que la composición de las rotaciones que definen
llevan la base canónica en u, v, w. Es decir:
Tx3 ◦ Tx2 ◦ Tx1 (e1 ) = u
Tx3 ◦ Tx2 ◦ Tx1 (e2 ) = v
Tx3 ◦ Tx2 ◦ Tx1 (e3 ) = w .
Por nuestra elección de u, v, w, esto nos dice que Tx1 ◦ Tx2 ◦ Tx3 y T
coinciden en la base canónica y por tanto coinciden en general. En
otras palabras:
Tx3 ◦ Tx2 ◦ Tx1 = T.
Pero vimos antes que Tx ◦ Ty = Tx·y y ası́ tenemos:
Tx3 ·x2 ·x1 = T .
Concluimos pues que toda rotación T es de la forma Tz para algún
z elemento de S 3 . En particular, nuestra discusión anterior dice que
toda rotación del espacio de tres dimensiones posee por tanto un eje
de rotación que deja fijo y alrededor del cual los demás puntos son
rotados. Esta afirmación es conocida como el teorema de Euler sobre
las rotaciones en el espacio de tres dimensiones, y es una de las bases
para estudiar la geometrı́a de este espacio.
5.
Comentarios finales y notas históricas
La fórmula de Euler eiθ = cos(θ) + sin(θ)i se puede considerar realmente una de las ecuaciones más grandes creadas por el ingenio humano. Una razón para considerarla ası́ es que cuando θ = π se reduce a:
eiπ + 1 = 0 ,
la cual es una relación entre cinco de los números más importantes: 0,
1, π, e, i. El fı́sico Richard Feynman la llamó “la fórmula más notable
de la Matemática”.
La geometrı́a de dos fórmulas de Euler
129
El “producto de tétradas reales” que hemos discutido en este trabajo
define lo que son conocidos como los cuaternios o números de Hamilton.
Sir William Rowan Hamilton fue un matemático del siglo XIX que es
reconocido como el descubridor de los cuaternios. La motivación que
lo llevó a tal descubrimiento es de hecho la que aquı́ hemos presentado: estudiar la geometrı́a del espacio de tres dimensiones por métodos
algebraicos similares al uso de los números complejos para el caso del
plano. Sin embargo, parece ser que Hamilton desconocı́a la fórmula de
las sumas de cuatro cuadrados de Euler; al menos desconocı́a que esta
fórmula de Euler contenı́a ya lo que él buscó por algunos años. Como
referencia histórica, señalamos que la fórmula de las sumas de cuatro
cuadrados de Euler fue comunicada por Euler en una carta a Goldbach
el 4 de mayo de 1748. Esto ocurrió casi 100 años antes de que en 1843
Hamilton descubriera los cuaternios. Nuestro trabajo podrı́a pensarse
entonces como una “reconstrucción” de lo que pudo ser la Historia al
obtener los cuaternios a partir del trabajo de Euler. De alguna forma estamos también atribuyendo los cuaternios a Euler. Esta idea no
es nueva: el notable algebrista Leonard Eugene Dickson hizo notar la
relación entre la fórmula de las sumas de cuatro cuadrados de Euler y
los cuaternios. Dickson publicó tales observaciones en su artı́culo “On
quaternions and their generalization and the history of the eight square
theorem” publicado en 1919 en la revista Annals of Mathematics.
Por otro lado, en este trabajo hemos hecho notar que el estudio de
las geometrı́as del plano y del espacio de tres dimensiones involucra el
considerar al cı́rculo S 1 , y a las esferas S 2 y S 3 de dos y tres dimensiones, respectivamente. En tales consideraciones fue clave el producto
de los números complejos y de los cuaternios. Más aún, tomando como punto de partida nuestro desarrollo es posible ver que, junto con
las traslaciones, el cı́rculo S 1 y la esfera S 3 determinan completamente
las geometrı́as del plano y del espacio de tres dimensiones, respectivamente. Enfatizamos de nuevo que en ello es fundamental que ambos
S 1 y S 3 sean dotados de los productos que provienen de los números
complejos y de los cuaternios.
En el lenguaje de la Matemática moderna, se dice que S 1 y S 3
poseen estructuras de grupo de Lie que determinan la geometrı́a del
plano y del espacio de tres dimensiones. A manera de aclaración, un
grupo de Lie es un tipo de espacio, probablemente “curvado”, en el
cual podemos hacer Cálculo Diferencial y multiplicar los elementos de
manera asociativa, con identidad y con inversos. Sophus Lie introdujo
de manera abstracta este tipo de objetos en 1873. Por su parte, Felix
Klein dio a conocer en 1872 su programa de Erlangen (ciudad en la que
130
R. Quiroga-Barranco
vivı́a) para estudiar la Geometrı́a a través de los grupos de Lie. En la
actualidad, los trabajos de Lie y de Klein son la base de todo tipo de
Geometrı́a moderna.
Con este trabajo hemos hecho notar que la semilla de la noción de
grupo de Lie, y por tanto la base de la Geometrı́a moderna, se encontraba ya en el trabajo de Euler. Tal semilla estaba presente más de 100
años antes de que los conceptos modernos fueran formulados. No podemos dejar de preguntarnos cuanto más avanzada serı́a la Matemática
de haberse puesto mayor atención al trabajo de Euler. Ciertamente
su trabajo ha recibido gran reconocimiento en todo el mundo, siendo
ası́ la base para el trabajo de otros y la fuente de inspiración para
muchos. Sin embargo, queda claro que el genio de Euler sobrepasó en
exceso a su tiempo. Esto tal vez nos ayude a entender la frase de PierreSimon Laplace “Lisez Euler, lisez Euler, c’ est notre maı̂tre à tous”, que
bien podemos traducir como: “Lean a Euler, lean a Euler, él es nuestro
maestro en todo”.