SEGUNDA PARTE

ALGEBRA
Comencemos esta parte de nuestras lecciones citando algunas. .
obras de Algebra para que el lector pueda orientarse en la copiosa literatura que sobre esta disciplina matemtica existe. Primeramente, debernos mencionar el Cours d'Algebre, de Serret, obra
de gran mrito, y que durante mucho tiempo ha sido de gran
utilidad. Hoy contarnos en Alemania con dos grandes obras,
muy conocidas: H. Weber, Lsehrncch. (ier Algebra (1) y E. Netto, Vorlesungen. ber Atgebr (2), compuestas cada una de dos
tomos; arribas encierran un gran nmero de cuestiones difciles.
y han sido escritas para servir de consulta, por la extensin y
detalle con que aparece expuesta la materia; si bien para las
exigencias de la preparacin de los aspirantes al magisterio Se
nos figuran demasiado voluminosas y tambin algo caras. Ms
apropiadas a este objeto son las Vorleeusige uber Algebra, de
E. Bauer (3), obra escrita, adems" con un estilo .eminenternente
didctico y en la que apenas se trata ms materia de la que el
maestro debiera dominar (4). Atendiendo al lado prctico de la
resolucin numrica de ecuaciones, podra completarse este libro
con el manual Praxis der Gleichungen, del profesor C. Runge
(coleccin Schubert, tomo xrv, Lepzig, 1900), digno de todo
encomio.
Antes de entrar de lleno en materia, debemos advertir que no
puede pretenderse dentro del cuadro de estas lecconesdar una
(1) 2. a ed. Braunschweig, 1898-99.
(2) Leipzig.: 1896-99.
(8) 2. a ed, Leipzig, 1910.
(4) Vase tambin Netto, E., Elemeniare A1gebra, Leipzig, 1913, y
H. Weber, Lehrbucb der Algebra, edicin reducida en un tomo, Braun.,
schweig, 1921.

125-

exposicin sistemtica del Algebra; antes, por el contrario, nuestro propsito es tratar solamente una seccinespecial de la misma, a nuestro entender poco apreciada, pero que es de suma
importancia por la relacin ntima que guarda con la enseanza
de las matemticas en la escuela. Todas mis-explicaciones girarn en torno de. este punto, a saber : la aplicacin de los mtodos
grficos y en general de los mtodos geometricamente intuiti
vos a la resolucin de las ecuaciones.
Bajo este ttulo se designa un captulo de extraordinaria amplitud y lleno de fecundas enseanzas, del cual slo entresacaremos una serie de las ms interesantes cuestiones que se relacio-.
nan con las distintas regiones de la matemtica, tratando de formar as un todo orgniccv.de modo que en adelante sigamos el
mtodo que antes hemos designado con el nombre 'de proceso B.
Trataremos, primero, de las ecuaciones entre magnitudes reales, y despus, seguiremos con las que contienen magnitudes
complejas.

1.

ECUACIONES DE COEFICIENTES Y RAICES REALES

Ecuaciones con un parmetra

1 .0,

Empecemos por el caso ms sencillo, el de una ecuacin que

un parmetro ; su tipo es:

co~tiene

(x, ),,)=0.

!I

--T-+-------~-x

I'iglllA 15 '

126

Para interpretarla geomtricamente del modo ms sencillo,

sustituyamos el parmetro A por una segunda' variable y; se tiene, entonces, ,la ecuacin:
(x, y)=O,
que es la de una curva en l plano xy'(fig. 15): Los puntos de
interseccin de esta curva con la recta y= 1, paralela al eje x, dan
las races reales de la ecuacin (x, A) =0; y si se ha dibujado la
curva aproximadamente, lo' cual es fcil cuando no se necesita
demasiada exactitud, se ve, que al trasladar dicha recta conser-

Figura' 16

vndose paralela al eje x, o sea al variar el parmetro A, el nmero de las races' reales cambia. Es digno de especial mencin'
el caso en que ex, A) es lineal en A, es decir, cuando la ecuacin
se presenta bajo la forma

pues entonces la curva y = p (x) es racional, y por consiguiente

$ (x)

>

se simplifica mucho su trazado. En estos casos se pueden aplicar

muchas veces con fruto los mtodos de resolucin numrica aproximada de ecuaciones.
Consideremos, por ejemplo, la ecuacin cuadrtica

127 - '

. Tenemos, entonces, una plJrbola y=x 2+ax (fig. 16), Y veamos ahora, para qu valores de 1 la ecuacin tiene 2, 1 o ninguna
races reales, que corresponden a las horizontales qu..: cortan a
a curva' en 2, 1 o ningn puntos. La realizacin de estas c'onstrucciones tan, sencillas e intuitivas resulta muy conveniente en
las clases superiores de la enseanza secundaria.
Como segundo ejemplo, tornemos la ecuacin cbica
x 3 +ax 2 + bX-1=O';

para ella, consideramos la 'parbola cbica y =x 3 +ax 2 + bx j que,

segn los valores de a y b, tiene formas diferentes. En la figura 17 se ha supuesto que la ecuacin x 3 + ax 2 -+ b == O tiene -races

I{

~{

.-t

:{
Figura 17

reales j se ve, entonces, Cmo las paralelas al eje x se dividen

en dos grupos: uno el de las que cortan a la curva en un punto j otro el formado 'Por las que la cortan en tres, separado uno
de otro por dos paralelas lmites, en las cuales aparece un punto
de interseccin equivalente a dos puntos' COmunes, que corresponde -a una raz doble.
o

2. Ecuaciones con dos parmetros

Q

Pasemos ahora al caso en que la ecuacin contiene ms de

un parmetro, comenzando por el caso de dos j su resolucin
grfica requiere entonces mayor habilidad j en cambio los resultados que se obtienen son de mayor inters y transcendencia.

12i --

Nos limitaremos en lo que sigue a la consideracin de ecuat;iones en que figuren linealmente los dos parmet-ros A y .tJ.; y
designaremoS por t la incgnita;' trtase, pues, ahora, de la determinacin de las races reales de la ecuacin

rp(t) + )'X(t) +"IJ!jJ(t) =

(1)

en la que p" X Y tJ expresan polinomios en. t.

Si x ey son. las' coordenadas cartesianas de los puntos de un,
plano, sabido es que toda recta del mismo est representada (figura 18) por una ecuacin

y+ux+v=O,

(2)

donde podernos mirar a 11 y V COmO coordenadas de la recta: --w

-es la tangente trigonomtrica del ngulo que forma la rect con

--,---,.~---'-+---------x

<igllla 18

.el eje x, y -'C; es el segmento que determina sobre el eje y.

Si, por razones cuya importancia veremos ms adelante, consideramos corno equivalentes el punto y la recta y en consecuen.ciaIas coordenadas de estos dos elementos geomtricos, podremas decir brevemente que la ecuacin y - ux +v =0, representa
la in:cidencia de 'la recta (u, v) y del punto (x, y), es decir, el
punto est sobre la recta y la recta pasa por el punto .
. Para poder interpretar geomtricamente la ecuacin (1) pongmosla en la forma (2), lo' cual puede realizarse de dos modos
,esencialmente distintos:

--129

.\J

Pongamos:

X(t)
x=-__-

(3 a)

v=p.

(3 b)

~(I)

A,

Las ecuaciones (3 a) representan con la variable tuna curua

racional, perfectamente determinada, del plano xy, la llamada
-curva normal de la ecuacin (1); .y puesto que cada uno de sus
puntos viene dado por un cierto valor de t, se puede considerar
marcada sobre la misma una escala de valores' de t. De la (3 a)
podemos deducir inmediatamente cuantos puntos 'queramos de
la curva y dibujar sta con su escala con la suficiente exactitud,
Para todo par de valores de los parmetros A y [J., las ecuaciones (3 b) representan una recta del plano, y la (1) significa,
segn 10. antes expuesto, que el punto t: de la curva normal se
halla sobre esta recta; obtenemos, por consiguiente, todas las
races reales de la (1) cuando consideramos todos los puntos de
interseccin de la curva nrmal con las rectas del p'lano, y leemos loe valores del parmetro t sobre la escala de la curca,
Obsrvese que la curva normal queda determinada de una
vez para todas por la ecuacin (1), sin que hayan de tenerse en
cuenta para nada los valores que puedan tomar los parmetros
A. y [J.. A cada ecuacin con valores determinados de A y [J. corresponde entonces una recta que, en cierto modo, los representa, y
al considerar todos los pares de valores de A y [J. aparecen todas
lasrectas del plano y no, como en el caso de un parmetro, slo
las paralelas al eje x,
Para aclarar bien esto, fijmonos en el caso de la ecuacin
cuadrtica.
f2+'At+IJ.=O
La curva normal es ahora
o sea
es decir, la parbola representada en la figura 19, en cuya escala
marcada se pueden leer inmediatamente las raicesireales de la
ecuacin como intersecciones con las rectas y + AX + [J. = O. As la
9

figura indica que las races de

Y entre -

130-

t2~t-1=O se hallan entre 2 y 2,.

3
y -1, respectivamente. La principal ventaja de

este mtodo, respecto del aplicado en el caso anterior, es que aqu.

Figura 19

con una.sola pardbola dibujada se pueden resolver todas las ecua~

cienes .cuadriicas posibles.
. Por consiguiente, cuando haya que resolver aproximadamente
diversas ecuaciones. cuadrticas, este procedimiento ser reco-.
mendable.
Anlogamente se pueden tratar todas las ecuaciones cbicas.
las cuales, como es bien conocido; se pueden llevar siempre, por'
una transformacin lineal, a la forma reducida:

Aqu aparece como curva normal la parbola cbica (fig. 20}

x=t

Tambin este mtodo me parece' muy a propsito para su erri;

pleo en la enseanza toda vez que los alumnos encuentran gusto'
en el dibujo de tales curvasB) El segundo mtodo de interpretacin de la ecuacin (1}
se deduce del primero aplica.ndoel Principio de d.ualidad, es
decir, permutando las coordenadas de puntos por las de rectas,

-131-

Para ello, escribamos la ecuacin (2) cambiando el orden de sus

trminos:
v+xu+y=O
e identifiqumosla con la (1), escribiendo:

cp (t)

V=--~ (t) "

x=A.
,
,

Xet)

u=--~ (t)

= t.

(45 a)
(45 b)

Las ecuaciones (4a) representan, considerando t como variable, un haz de rectas, que envuelve una curva bien determinada,
la curva normal de la ecuacin (1) en la nueva interpretacin;

Figura

20

es una curva racional, puesto que en coordenadas de rectas o

tangenciales est representada por funciones racionales de un
parmetro. Cada tangente y, por consiguiente, tambin su punto
de contacto corresponde a un determinado valor de i ; as que
de nuevo se obtiene una escala sobre la curva normal. Dibujando
un nmero suficientemente grande de tangentes, utilizando las
ecuaciones (4 a) se llega a obtener la curva y la escala con toda
la exactitud deseada.
Para un par de valores determinados de (A, J.), la ecuacin (1)
expresa que la tangente
la curva normal (4 a) pasa por el punto de coorde~adas (A,J.); por consiguiente, se obtienen todas las
races reales de la (1), leyendo los valores del par'metro t, corres-

ta

-132 -'--.

pondientes a todas las tangentes a la curva normal trazadas por

el punto (A, J.).
Para aclarar esto consideremos nuevamente los mismos ejemplos. A la ecuacin cuadrtica

corresponde como curva normal la envolvente del haz de rectas

y Se tiene de nuevo una parbola con el vrtice en el origen de

coordenadas (fig. 21).
La figura pone de manifiesto inmediatamente las races reales

Figura

21

que correspondan al par (A, J.), como parmetros de las tangentes

trazadas desde el punto CA, 'J.) a la parbola.
Para la ecuacio-n. cbica

la curva normal

es una curva de tercera clase que tiene un punto de retroceso en

el orig~n de coordenadas, corno indica la figura 22.
.

-133 -

Otro modo un poco diferente de exposicin de este mtodo,

es' el siguiente: consideremos la 'ecuacin trinomio

el haz tangencial que envuelve a' la curva normal est entonces

representado por la ecuacin

j(t)=tm+xt"+y=O
que contiene el parmetro t. Para hallar la.ecuacin de la curva
normal en coordenadas puntuales, bastar, como es sabido, eliminar el parmetro t entre esta ecuacin y la que se obtiene derivndolacon respecto al mismo; pues la curva normal, .como
envolvente del sistema de rectas, es lugar geomtrico de los pun-

Figura

22

tos de interseccin de cada dos rectas sucesivas (correspondientes a t y t +dt). En lugar de eliminar, resolvamos el sistema
constitudopor ambas ecuaciones respecto a x e y: se obtiene as

m
x = _ --tm.-",
n

m-- n
n t",

ecuaciones paramtricas de nuestra curva normal,

De este modo se obtienen para ecuaciones de las curvas nor-

134-

males en los ejemplos ya tratados de las ecuaciones cuadrtica y .

cbica, respectivamente, las
.
x ="--2 t,

y=t 2

y=2t3 ,
que, en efecto, corresponden, a las curvas dibujadas,
El profesor RLtnge ha mostrado en sus conferencias y ejercicios 10 prctico de estos mtodos, especialmente apropiados para
la solucin real de las ecuaciones. Tambin en la enseanza se

,
,~

Figura

~3

podr recomendar la consideracin de una u otra de estas figuras.

Comparando, ahora, los dos mtodos que acabamos de exponer, aparece el segundo mucho ms ventajoso que el primero
para este objeto concreto, pero muy importante : cuando se quie ...
re obtener una represeniacin. intuiti,va de todas las ecuaciones
de un tipo determiiuuioque tienen un nmero dado de ralees reales. Tales' conjuntos vienen representados en el primer mtodo
por sistemas de rectas; en el segundo, por regiones de puntos;
y stas, por el modo de ser de nuestra intuicin geomtrica o por
la costumbre, Se conciben ms fcilmente que aqullas.
Lo que erresre sentido puede lograrse, se advierte fijndose
en un caso concreto; por ejemplo, el de la ecuacin cuadrtica.
En l observamos que por ningn punto interior a la parbola
(fig. 23) se pueden trazar tangentes a la misma; en tanto que por

135 :-

los puntos exteriores Se le pueden trazar dos tangentes; as que

estas dos regiones relptresentan. los conjuntos de todas las ecua-

ciones cuadrticas con ninguna o con dos races reales, resbec:

iicamenie, Para todos los puntos de la parbola, hay slo una
tangente, la cual puede mirarse cmo dobl, resultando, pues,
la cu,rva normal como el lugar de los puntos para los cuales .las
dos races de' las ecuaciones correspondientes se confunden en
una, de tal ~modo que podramos llamar a la curva, curoo: dis.criminanie,
En la ecuacin cbica, por cada punto interior a la curva
normal pasan tres tangentes a la misma (fig. 24) ; pues para un

2,

- -/- --

Figura 24

punto del eje, por razn de simetra, es evidente, y cuando se

hace variar el punto sin atravesar la curva, este nmero no puede cambiar. Si el punto (x, y) llega a la curva, las dos races coinciden en una y cuando el punto pasa a ,la regin exterior a la
.curva, las dos races se hacen imaginarias y slo queda una raz
real.
Segn esto, la porcin de plano interio a la curva representa
todas las ecuaciones cbicas con tres races reales distintas; la
exterior, las ecuaciones qu,e slo tienen una raz real; Yi finalmente, los puntos de la crtrva, las ecuaciones con dos races reales, una sim!ple y otra doble. Por el punto de retroceso de la
-curva, slo pasa una tangente, que debe contarse como triple;
la ecuacin correspondiente (t" = O) slo tiene una raz triple real.

-136 -

La figura permite ver con una simple ojeada este agrupamiento.

Las figuras llegan a ser todava mucho ms sugestivas y reportan ms enseanza, cuando. corno eS corriente en el Algebra,
se introducen limitaciones p~ra las ralees; en particular, si se
trata de encontrar todas las races reales contenidas en uninterval o dado t 1-<t<'t2 Este problema est resuelto de modo general
por el, 'teorema de Sturm, como se sabe. Podernos completar fcilrnente las figuras construdas, para que den una solucin satisfactoria y clara a esta cuestin. Para ello agregarnos. a la curva
norma]; las tangentes corresponientes a los parmetros tI y t 2,
Y consideraremos las regiones en que dividen al plano.
Hagamos esto, primero, para la' ecuacin cuadrtica; viene,
entonces, a reducirse el problema a determinarel nmero d las
tangentes que tocan el arco de parbola comprendido entre los
p'untos t 1 y t 2 {fig. 25). En el tringulo formado por dicho arco-

/0

/
/

JO:

Figura

?.5

y las tangentes en los puntos tI y t 2 estn los puntos por 19s cua-,
les se puedan trazar dos tangentes a la parbola. Si atravesamos
una de las tangentes tI' i2 , se pierde una tangente, la que' toca a
la parbola fuera de aquel arco. Por cada punto de las regiones
limitadas por los arcos ilimitados de la parbola, a partir de tI
y t 2 , Y las prolongaciones de las tangentes en estos puntos, no
pasa ninguna tangente al arco (t 1 t 2 ) , y en el interior d la par-.
bola no hay tangentes reales. Los dos arcos de parbola t<t 1 y

137-

t>t 2 son intiles para la divisin del plano considerada; quedan, por lo tanto, solamente las lneas trazadas en la figura, las.
cuales nos dan, con los nmeros. marcados, una idea intu.ii'Va
exacta sobre los conjuntos de ecuaciones cuadrticas que tienen
dos, um o ninguna races reales domprendidas entre t 1 y t 2
Exactamente de la misma' manera se procede' con la ecuacin
cbica. Supongamos que t 1 >0, t2<0. Tracemos las tangentes en
los puntos correspondientes a estos valores delparmetro y con~
"sideremos la divisin del plano por estas rectas y el trozo de
curva comprendido entre los puntos ti y t 2 (fig., 26).
Por los puntos interiores al cuadriltero mixtilneo que tiene
un vrtice en el punto de retroceso de la curva, pasan tres tan-

b
l'
~

't'l. '
Figura 26

gentes reales, que tocan al arco comprendido entre tI y t2 ; pero

cuando se atraviesa cualquiera de las tangentes tI o t 2 se pierde
Una solucin, y.al atravesar la curva normal se pierden dos, corno
se aprecia inmediatamente en la figura. Resulta, pues,' la divisin
del plano indicada en la figura, en. las regiones que corresponden
.
a ecuaciones con tres, dos, una o ninguna races reales situadas:
entre tI y t 2
Para comprender bien la grandsima utilidad de los mtodos
grficos bastar intentar la clasificacin de las ecuaciones cbi,
CaS de un modo abstracto, sin apelar para nada a la intuicin
geomtrica; esto exige un ti~mpo relativamente desproporcio.

-138 -

nado. Aun la demostracin que aqu '. aparece clara sin ms que
contemplar la figura, resultara complicada.
En 10 que respecta a la relacin de estos mtodos geomtricos
,con los conocidos criterios algebraicos de Sturm, Descartes y

Biuian-Fourier, debemos solamente observar que para elcaso que

nos ocupa, el nitodo geomtrico comprende a todos aqullos.
Para ms detalles puede ~l lector consultar mi trabajo (1) GeorI1<e_
trisches zur Abziihlung: derWurz.el'n atgebraischer Gleichungen
en el Kaialog mathematischer 'Modelle, de W. Dycks (2). Es
digno de recomendar este catlogo, que fu confeccionado con
'Ocasin de la Exposicin organizada por la Sociedad Matemtica
Alemana en NIunich, en el ao 1893, y constituye todava hoy el
.mejor medio auxiliar para orientarse en la construccin de modelos matemticos.
3.

Ecuaciones

COn

tres par'metros

Para terminar el estudio que venimos haciendo, vamos a ver

cmo pueden aplicarse las mismas consideraciones a las ecuaciones con tres parmetros j la nica variacin ser que en lugar
del plano, habremos de utilizar el espacio tridimensional. Bastar para ello, fijarnos en la ecuacin. cuairinmica particular

tP +)..t"" + .d"'.+ '1 = O

(1)

y el procedimiento que para ella sigamos se aplica inmediatamente a cualquiera otra.

Adems de la ecuacin propuesta (1) deberemos tener en
'cuenta la condicin fundamental de la: Geometra del espacio
para que el punt (x, y, z) se halle sobre el'plano de coordenadas
tangenciales (u, v, w):
z'+ux+vy +'w=O

(2)

w:.+xu+yv +z;=O

(3)

'o

Identifiquemos esta ecuacin fundamental, puesta en una o

-en otra forma (2) o (3), con la (1), para obtener, exactamente
<COmO antes, dos interpretaciones mutuamente correlativas ..

139

Pongamos, en primer lugar,

(2 a)

'obtenemos entonces una Curva alabeada, determinada, la Curva

normal de la ecuacin cuairinomica, con urna escala de 'Valores'
de t. Si, adems, 'consideramos el plano determinado, por los valores
U=A,

.W='I,

(2b)

la ecuacin (1) nos dice que las races reales de la ecuacin propuesta son idnticas a los valores del parmetro de los puntos
reales de interseccin de la curva normal (2 a) con elp lana (2 b).
Procediendo, ahora, correlativamente, los valores

u= t"',

(3 a)

representan un sistema simplemente i'Y!!inito de planos, los cuales

pueden considerarse como osculadores de una curua alabeada
determinada, COn una escala de valores del parmetro t, que, atendida esta definicin mediante coordenadas tangenciales, podemos
llamarla curva normal tangencial, en oposicin a' la antes definida
.corno lugar de puntos, que la llamaremos curua normal puntual.
Considerando ahora, al mismo tiempo que la curva normal tangencial, el punto
X=A,

Z='I,

(3 b)

vemos que lasraices reales de (1) son idnticas a los parmetros

de los planos osculadores a la curva normal tangencial (3 a), que
paSan por el purnto (3 b).
.
Resulta interesante ver verificadas ambas inetrpretaciones intuitivamente por medio de ejern1>los concretos; en la coleccin
,del Seminario Matemtico de la Universidad de Gotinga, hay
-dos modelos que vamos a describir.
La primera representacin la ha utilizado el profesor Meh'mke,
-de Stuttgart, en la construccin de un aparato para la resolucin
numrica de ecuaciones,
Consiste en una plataforma circular de latn (fig. 27) sobre la
-eual se apoyan tres varillas verticales graduadas, equidistantes

-140 -

entre s, y en la que se coloca recortada la curva normal tipo ds,

las ecuaciones de tercero, cuarto o quinto grado .con cuatro trminos, Para la construccin y uso de este aparato, no se utilizan
ya las coordenadas cartesianas rectangulares, sino un sistema
coordenado en el que las coordenadas tangenciales, es decir, 'los

Figura 27

coeficientes (u., v, 'w) de lt ecuacin del plano puesta en la forma (2), son, precisamente, los nmero que corresponden a las
intersecciones del: plano en cuestin con las escalas de las, tres'
varillas v'ertiAcales, nmeros que se pueden leer en stas..
Para fijar la posicin de un plano determinado u=A, v=~,
w = v, .lleva la varilla anterior, '20, una alidada que se puede fijar'
en el punto v de la escala, mientras-se unen por 'un hilo que se'
mantiene tirante los puntosx y ~ de las escalas u y 'V. Los rayos
que pasan por la alidada dirigidos hacia este hilo forman nuestro'
plano y se puede observar inmediatamente por el ag~tjero de la
alidada las intersecciones del plan.o COn la curva normal, como
intersecciones aparentes del hilo can la curua. recortada los valores de sus parmetros son las races buscadas de la ecuacin,
los cuales se leen sim;ultneul1vente so-bre la escala grabada sobre
la curva normal recortada. En cuanto al valor realmente prctico
del aparato que queda descrito, depende, naturalmente, en {I1ti-

-141 -

mo trmino, del mayor o menor esmero de su construccin me-cnica.

Para el segundo mtodo, hay .un modelo construido por el

seor Hartenstein. y presentado como trabajo prctico en su exarnen de Estado. Este aparato se refiere a la llamada form'a reducida de la. ecuacin de cuarto grado:
(4)

.a la cual puede reducirse, como se sabe, todaecuacin bicuadrtica- Refirindonos a esta ecuacin vamos a exponer aquel mtodo, un poco modificado, como ya hicimos antes al tratar de la
ecuacin de tres parmetros (pg. 133).
Consideramos ahora un sistema simplemente infinito de planos, cuyas coordenadas tangenciales estn dadas por los valores (3 a); por consiguiente, sus ecuaciones puntuales sern en
este caso :

f(t)=t'1+xt2 +yt+z=O
La su,perficie envolvente de estos planos puede considerarse
formada por el conjunto de las rectas que cada plano f(t)=O
tiene comn con el infinitamente prximo f(t + 6.t) = O; es, pues,
la superficie desarrollable, cuya ecuacin se obtiene por eliminaciQn de t entre las ecuaciones f(t)=O y f(t)=O..
Pero, para obtener, ahora, la CUf'V'a normal, debemos considerar la del haz de planos, es decir, el lugar de todos los puntos
de concurso de cada tres planos consecutivos; la cual, corno se
sabe, es la arista de retroceso de la superficie desarrollable, C2(yos puntos tienen. COmo coordenadas las funciones de t que se
deducen. de las tres ecuaciones f(t) =0, f(t)=O,f"(t) =0. En nuestro Caso, estas ecuaciones son:

M.+xt2+yt+z=O,
4t3 + x . 2 t + y = O ,
12t 2 + x . 2

=0,

de las que resulta:

x=

~6t2,

z= -3 t 4

(5)

-142 -

ecuaciones puntuales poramtricas de- la cU'rva normal de la ecuacin dada; sus ecuaciones tangenciales, segn (3 a), sqn:
u=t2..

v=t.

(6}

Ambas representaciones son de, cuarto. grado en t; la curva

normal es, por consiguiente, de cuarto orden y cuarta clase.

Para formarnos ms clara idea de esta curva, consideremos,

algunas superficies que la contienen. Primeramente, las expre-,
siones (5) satisfacen idnticamente a la ecuacin:
'

x!

z+--'
=
12

'

esto 'es, la curva normal de que tratamos est contenida en la superficie del cilindro parablico de segundo orden representado
por esta ecuacin y cuyas generatrices son paralelas al eje y.
Igualmente satisfacen los valores de x, !'J a la ecuacin:

~2 + ~; = 0,
de modo que tambin este cilind-ro cbico, de generatr,ices paralelas al eje z, pasa por la curva normal, que es la intersec~iln
completa propia de ambos cilindros. Se puede fcilmentedibujar, segn esto, una perspectiva aproximada de la curva normal (fig'. 2G). Esta es alabeada, simtrica respecto del 'plano xz,
y con. 'WJ1, retroceso en el puntO' O.
.
'Tambin pasa por la curva la superficie de segundo grado:

xz_ 3y2 =
9
64

puesto que esta ecuacin se satisface por las (5) idnticamente

en t. De ella y de la del cilindro cbico se deduce por combinacin lineal esta otra:
XZ
y2'
x3
--------=0,

,16

216

'la cual representa una superficie de tercer orden que pasa por la
curva normal.

-143 -

Considedernos, ahora, la superficie desarrollable cuya arista

de retroceso es la curva normal; podemos definirla como el Conjunto de todas las tangentes de sta. Si su representacin paramtrica es:
x= q(t),
y = Mt),
z=x(t), .
las tangentes en el punto t estn dadas por las ecuaciones,
~=q(t}.+ pq'(t),

z= X(t) + PX'(t),

donde P es un parmetro, pues sus cosenos directores respecto de

los ejes son. como se sabe, proporcionales a las derivadas res-

!I

Figura 28

pecto a t de. las coordenadas de la curva. Considerando t como

variable, estas ecuaciones con los dos parmetros t, P representan la superficie desarrollable, Todo esto, como se ve, no son ms
que consideraciones bien sabidas de la Geometra del espacio.
En particular, en el caso de la curva (5) las ecuaciones de su
superficie tangencial, designando las coordenadas de sus puntos por X, Y, Zpara distinguirlas de las coordenadas de la
curva, son:

X= -6W+'2 pt),

y =8 W +3 pt 2 ) ,

Z= -3 (t4:.+4 pt3 ) .

(7)

Esta superfi'cie es la contenida en el modelo del ser Hartenstein, en el cual las generatrices rectilneas estn representadas por hilos tirantes (vase la figura 29, pg. 146).

~ 144~'

La representacin pararntrica es la que mayores ventajas

presenta para el estudio y la construccin material de la superfice. Realmente, lo' que ordinariamente hacemos al tratar de encontrar la ecuacin de la superfiJc.ie, es seguir la costumbre de
antiguo adquirida; se obtiene sin ms que eliminar t y P entre
las ecuaciones (7).
Indicaremos el procedimiento ms sencilla para ello, sin descender a grandes pormenores, pero fijndonos en la significacin
-de las diferentes operaciones necesarias para la. eliminacin. De
las ecuaciones (7)" se deducen estas otras:
X
+-=
12
2

12 'p2 t 2

'

-XZ
- - -P- ~ -X3- = 8 p3 t3
6

16

216

'

'que' se satisfacen por todos los puntos de la curv misma (p=O).

Poniendo O en lugar de los segundos miembros, se obtienen las
ecuaciones de dos superficies particulares, ya consideradas antes.
-que contienen la curva. Entre ambas ecuaciones se puede eiirninar fcilmente el producto pt, y se encuentra como ecuacin de
la superficie desarrollable:
.

X2 )3 Z+-12

'(

XZ
P
X3
27-'-~---,6

12

216

)2 =0

'

,que es, por consiguiente, una superficie de sexto orden, que se

descompone en una de quinto orden ms el plano del infinito.
Sobre la significacin de .esta frmula vamos a agregar todava las observaciones siguientes, que interesarn a los lectores
, ms familiarizados con este asunto. Las expresiones que se hallan
dentro de los dos parntesis no son otra cosa que les inva.riantes
de la ecuacin bicuadriica escrita en forma reducida.

los cuales desempean un papel muy importante en la teora de

'las funciones elpticas, en la cual se designan generalmente con
g2 yg3 El primer miembro de la ecuacin de la superficie
A.=g/-27 g/, es conocido con el nombre de discriminante de

~ 145~

la 'ecuacin bicuadriica y su anulacin indica la existencia de

una raz doble. Nuestra superficie desarrollable 11;0 es otra, p;or lo
tanto, que la superficie discrilmin{lnte, de la ecuacin bicuadrrtica,
es decir, el lugar de los puntos para los cuales la ecuacin tiene
una raz doble'
Despus d estas explicaciones tericas, la construccin de un
modelo filar de stos, como una superficie, no ofrece ninguna di~
ficultad de principio; se realiza determinando por medio de la representacin pararntrica los puntos en los cuales las tangentes que
se desea representar atraviesan ciertos planos fijos, representados
en el modelo por superficies de madera o cartn p. ej., y uniendo por medio de hilos bien tensos los puntos correspondientes.
Para lograr un modelo realmente bello y til, en, que se vea bien
representada la superficie con su arista de. retroceso, se necesitan
muchos ensayos y una gran habilidad. La figura 29 representa
la superficie con sus rectas; A O B es la arista de retroceso.
En el modelo se ve una curva doble (COD), a lo largo de la
cua] se atraV,iesanlas dos hiojas de la su.perficie; es simplemente
la parbola situada en el plano XZ:

Y=, '

X2 '

Z---'=O.
4

De esta parbola solamente aparece una parte (CO), para la

cual' es X<O, corno interseccin de las hojas reales; la otra mitad estara aislada en el espacio. Este fenmeno no sorprender
a quien est acostumbrado a utilizar representaciones geomtricas concretas en la Teora de las superficies algebraicas, puesto
que es cosa corriente que aparezcan ramas reales de curvas do
bles tanto como intersecciones de hojas reales como aisladas en
el espacio; en este caso' son intersecciones reales de hojas imaginarias de la superficie, lo cual corresponde a lo que acontece
en el plano, que al lado de los puntos dobles reales que aparecen
coma intersecciones de ramas reales de una curva, existen puntos dobles, aparentemente aislados, como intersecciones de partes imaginarias.
Veamos ahora qu enseanzas podemos sacar de la su,perficie
obtenida can su arista de retroceso, la curva normal. ImaginemOS esta curva provista de su escala. o mejor, escribamos en
10

-146 -

cada tangente representada por un hilo tirante el valor de su parmetro, t, que tambin rcorresponde a su punto de contacto;
Dada, entonces, una..ecuacir: bicuadriica con coeiicientes deierminados x, y, z, bastar trazar por el punto correspondiente
(x, y, z) los plaeurs osouladores a la curva normal, o, lo qu,e es
lo mismo, los planos tangentes a la superficie discriminante y
los parmetros de los p,untos, de' contacto con la cur'va o de las

Figura 29

tangentes respectivas dan las races reales de la ecuacin, Puesto

que los planos osculadores tocan y cortan a la curva, proyectando
sta desde el punto (x, y, z) considerado, todo punto de contacto'
de un plano osculador ser punto de inflexin aparente de la
curva, y recprocamente. Las races reales de la ecuaci bicuadrticll son, por lo tanto, en suma, los parmetros de los puntos
de inflexin aparentes de' la curva normal, vista desde el punto'
(x, y, z).

Claro es que a los no familiarizados con el estudio de las curvas alabeadas les es muy difcil reconocer con exactitud en un
modelo los planos osculadores y los puntos de inflexin aparentes j pero aun .stos apreciarn con toda claridad en el modelo el
siguiente importantsimo punto: la cTas7ficacin de todas las
ecuaciones bicuadrticas atendiendo al nmero de sus races reales. Veamos los casos que pueden presentarse:
Sean 1Z'~'I' e las cuatro races de la ecuacin bicuadrtica
3
real (4) j desde luego, par anularse el
. coeficiente de t , necesaria,
mente eSIZ+I~I.+:+,c=O. En cuanto a la realidad de estas races,
. evidentemente pueden ocurrir los tres casos principales si:..
guientes:
J. Cuatro races' reales.
1L. Dos races reales y dos imaginarias coniugadas,
lIJ. Dbs pares de races imaginarias conjugadas.
Si tenemos dos ecuaciones del tipo 1 con las races IZ, ~, '\" o Y
(J.',~', y', o', respectivamente. se puede hacer pasar de un modo
continuo del conjunto de valores' IZ, ~, A Y e a losa',p', )..' yo',
respectivamente, mediante sistemas de valores reales diferentes de
cero y de suma nula; en concordancia-con ese paso, se transforma una ecuacin en la otra 'mediante un sistema continuo de
ecuaciones del mismo tipo; es decir, todas las ecuaciones del
tipo 1 forman un continuo conexo; y lo mismo se dice para las
de los otros dos tipos. En nuestro modelo se muestra esto. descomponindose el espacio erb tres portes conexas, cuyos puntos
corresponden a las ecuaciones de cada uno de los tipos e1l1tnciados,
Consideremos ahora los casos lmites entre estos tres tipos:
.

Del tipo 1 se pasa al II por ecuaciones que tienen dos races

reales diferentes y una real contada como doble: (es decir, dos
racesconfnditias J. lo que expresaremos simblicamente por
21+(02). Entre los tipos II y III hay el caso lmite de una raz
real doble y dos races comPlejas, lo que puede indicarse por (2).
A ambos tipos deben corresponder en nuestra figura del espacio
trozos de la superficie discriminante, la cual representa, en ge-.
neral, todas las ecuaciones con races confundidas, y en efecto,
razonando como anteriormente, se ve que a cada uno de estos
tipos lmites corresponde un trozo simplemente conexo de la

14-8 -

superficie, De cada uno de estos dos grupos 2+(2) y (2) se

pasa al otro por el caso de dos races dobles reales ; simblicamente: (2) + (2). Los puntos para los cuales vienen l confundirse dos pares de races, tienen que pertenecer simultneamente
a dos hojas 'de, la superficie discriminante, y, por consiguiente,
a la rama no aislada de su cu,rva doble. Segn esto, la su,perficie
discriminante se com-pone de dos partes separadas por una rama
,de la curva doble, de las cuales una, 2:.+ (2), separa las regiones
del espacio 1 y l.I, y la otra, ( 2), las regiones JI y III.
Para ver ahora la posicin de la curva normal, observemos
que, por serarista de retroceso, en cada uno de sus pU4ttos h(ly
tres planos tangentes reales que coinciden en uno (el plano osculador), de modo que representan el caso de unaraiz triple y Una
simPle, ambas reales: 1 + (3); este caso solamente puede derivarse del 2'+(2), cuando una de las races simples' llega d ser igual
.a la ra~ doble, de donde se sigue que la arista de retroceso debe
estar contenida por entero en la prim,era parte; 21-!- (2), de la su'perficie. Slo en el punto de retroceso de la arista de retroceso
(O, 0, O), se da el caso de una raz cudruple real, el cual puede
-originarse por coincidencia de las dos races dobles reales del
caso (2) + (2). y en efecto, el punto (0,'0, O) de retroceso de la
arista de retroceso tambin est en la curv.a doble. Por ltimo,
en 10 que respecta a la rama aislada de la curva doble, est contenida completamente en -Ia parte del espacio III y se distingue
porque cada ds de las races complejas all existentes se Comprenden en una raz doble compleia : ambas races dobles son,
naturalmente, conjugadas.
El lector puede ver todos los casos posibles, aqu enumerados, realizados. exactamente. en nuestro modelo. En el dibujo (pgina 146) forma el interior de la superficie a la derecha de la curva doble la parte del espacio 1; el de la izquierda, la parte Ll l ;
y el exterior, la parte 11.
Segn esto, puede formarse el siguiente cuadro esquemtico,
en el" que aparecen el nmero y la multiplicidad de las races
reales que corresponden a los puntos de las diferentes partes del
espacio, de la superficie y de las curvas- En l, los nmeros no
encerrados en parntesis indican el nme;o de races reales sim-

149

ples, y el orden de multiplicidad. de una raz se representa por

un nmero entero e!1tre parntesis:
Regiones del espacio:

Races reales :

4 2 0

Superficie discriminante:

~~2)

III

~---~I

1+(3)~~

Curva normal:
Curva doble:

(2)

(~)

i'
(2 res. irnag, dobles)

----~ (.J)

Retroceso:

11.

TI

ECUACIONES EN EL CAMPO
COMPLEJOS

es LOS

NUMEROS

Prescindimos ahora de la restriccin de no considerar ms

'que magnitudes reales y vamos a ocuparnos en lo que sucede en
el campo ms amplio de las magnitudes complejas, limitndonos,
naturalmente, a hacer resaltar aquello que mejor puede verse intuitivamente mediante las representaciones geomtricas. Comen-'
zaremos por el teorema ms importante del Algebra:
A.

Teorema fundamental delAlgebrCl

Este teorema se enuncia diciendo que toda ecuacion. algebraica de grado n tiene, en general, n races,' 0, dicho con ms
precisin, que todo piolinomio en z de grado n puede desco+/1,ipOnerse en n factores lineales"
En el fondo, todas las demostraciones de este teorema utilizan
la interpretacin geomtrica de los nmeros complejos mediante
los puntos del plano. Vamos-a indicar aqu las lneas generales
de la primera demostracin d' Gouss, del. ao 1799, .a la cual se
le puede dar un ropaje geomtrico, aunque claro es que la primitiva exposicin de Gauss es muy diferente de sta.
Sea el polinomio
f(z) =z".+a1z n - 1+a 2zn - 2+... +a n :
que podemos escribir as:
f(x+iy)=u(x, )')+i~)(x, y),

-150-

donde u y v designan polinomios de las dos variables reales

x e y. El pensamiento fundamental de la demostracin de Gauss
estriba en el estudio de las dos curvas del plano xy:
v(x, y)~O

u(x, y)::;::O,

probando que tienen, por lo menos, un punto comn; para este

punto de interseccin (x, y) se tiene f(x+iy)=O, y con ello queda
demostrada la existencia de una raz de la ecuacin f(z)::;:: O. Para
tal estudio de las curvas se ve que es suficiente investigar cmo
se comportan en el infinito, es decir, a distancias tan grandes
como se quiera del punto origen.
Cuando el valor absoluto, r, de e, llega a ser muy grande, se
puede despreciar en fez) las potencias de z de orden inferior respecto a zn; pasando, entonces, de las coordenadas cartesianas,
x, y, a las polares, r y ep, es decir, poniendo
z=r (cos rp + i sen rp),
ser, segn la frmula' de Moivre,
Z" = r n (cos n rp'+i senn rp)
y esta frmula da el valor al cual se aproxima asintticamente
f(z);. y de l se deduce que u y v se aproximan asintticarnente
a las funciones
y

r n sen n rp, ,

respectivamente; y, por consiguiente, el conuportamienio de estas curvas u=O y v=O a distancia suficientemente grande del
punto cero est represeniado en una primera QJProxim'a:cin por
cosnrp=O

sen n rp ::;::0,

respectivamente.
Ahora bien, la Hnea sen n ep = O est constituda por las n rec.

'lt

2'lt

(n-l)'lt

tas que forman con el eje x los ngulos 0,- ,--, ...,-'---mientras que la lnea cos n rp = O est formada por las n bisec-

-- 151 -

trices de los ngulos que forman cada dos consecutivas de aqueHas rectas. (En la figura 30 est representado el caso de estas
dos lneas para n=3).
En la parte central de la figura, las verdaderas curvas u=O
y v = O pueden, naturalmente, diferir mucho de estas rectas; pero
siempre, a medida que las curvas van alejndose se aproximan
-cada vez ms a dichas rectas. Podemos representarnos esquem-

Figura

~o

ticamente 'la marcha de las curvas considerando que fuera de un

.circulo cwyo centro es el punto cero y de radio muy grande aquellas rectas estn fijas ya. ellas se unen las ramas infinitas de
.estas curvas.
Es completamente indiferente cmo sean tales curva~ dentro del
crculo; las ramas infinitas de u, v, tendrn que aparecer siempre
alternndose (fig. 31) al suponer recorrida la figura alrededor del
,origen de coordenadas; y, por consiguiente, es i'Yl<tuitivam.ente
evidente que en, eh interior de MCiho crculo ambas'cu,rvas tendrn
que cortarse una VB$ por lo, menos. Y, en efecto, se puede llegar
-con todo rigor a esta conc!usin-y en esto estriba precisamente
el contenido de la demostracin de Gauss-utilizando las propiedades relativas a la continuidad de las curvas, pero lo esencial
. -del procedimiento demostrativo est en 10 que acabamos de decir.
Una vez que se ha logrado as poner de manifiesto una raz, se

-152~

puede separar de f(z) un factor lineal y aplicar el teorema al polinomio de grado ti ~ 1 que resulta; y contin~ando de este modo,
se llega, .como queramos, a la descomposicin de f(z) en n factores lineales, o sea, a la demostracin de la existencia de. n races.

,,
"
\

,
V=O

.\
\

.........

'-.

Figura 31

Para aclarar bien lo que acabamos de expresar, consideremos.

un ejemplo particular muy sencillo. Sea

entonces es
1t

=- r tos 3 rp ~ 1,

v=r 3 Sen 3 rp,

as que v=O se COmpone de tres 'rectas (fig. 32) mientras u==O,

tiene tres ramas hiperblicas. Se ven, en efecto, en la figura las
tres intersecciones de estas curvas, las cuales corresponden a las
tres races de la ecuacin dada; Es muy recomendable la ejecucin de otros ejemplos ms COmplicados.
Corno. no se trata aqu de una exposicin sistemtica del Al-
gebra, ros limitamos en lo que respecta al teorema fundamental
a estas breves indicaciones, que terminarnos haciendo notar que
la importancia de losnm'eros comoleios en el Algebra estriba,
precisamente, en que dan un carcter de absoluta generalidad,
sin restriccin ninguna, al teorema fundamental; en cambio, si

~ 153~

nos concretsemos a los nmeros reales, slo podramos afirmar

que una ecuacin de grado n tiene n races, o menos" o ninguna.

,(t" -

IJo;--

.,

.,,

I
\

\
\

\.

" .....
"

. B.

Ecuaciones con Un pormetro complejo

En lo que resta del Algebra, vamos a ocuparnos en discutir

de un modo intuitivo todas las soluciones (incluso las complejas)
de las ecuaciones comjp'lejas', de modo anlogo a lo hecho con las
soluciones reales de las ecuaciones reales, concretndonos a las
ecuaciones COn un parmetro eorn;plejo,' y aun supondremos que
ste slo aparece. linealmente, y veremos cmo, en tal caso, se
obtiene el resultado apetecido esiudiano una sencilla representacin conforme.
Sean z=x+iy la incgnita y w~u+iv el parmetro; el tipa
de 'la ecuacin que vamos a estudiar ser, pues,

cp(z) -w

~(z)=O

(1)

siendo cp y tJi polinomios en z; designaremos por n el rn.ayor exponente de z que aparece en estos polinomios. Segn el teorema'
fundamental, para cada valor determinado de '10 la ecuacin tiene
n races, en general, distintas. Reclprcamente, de la (1) se deduce,
UJ=

~ (e)

~ le)

-154 -

es decir, w es una funcin racional de z que-siguiendo una locucin corriente-diremos que es de grado n. Si quisiramos emplear como equivalente geomtrico de la ecuacin (1) la representacin conforme que por medio de esta funcin se establece
entre los planos complejos de las z y de las se, se presentara
el inconveniente de la multiformidad .de z considerada como funcin de 'W ; evitaremos tal inconveniente procediendo como suele
hacerse en la teora de funciones: imaginaremos el plano w de n
hojas colocadas unas encima de otras y enlazadas entre s de modo conveniente por puntos de ramificacin, constituyendo as
una. SUPERFICIE DE RIEMANN de n hojas, como es sabido desde
las primeras nociones de la teora de las funciones algebraicas.
Entonces la funcin considerada establece una correspondencia
~tnvoca Iv conforme entre los puntos de la superficie de Riemann y los del plano w, por un aparte, y con los del plano liso
de las z, por otra.
Antes de pasar a un estudio completo de esta representacin
conviene establecer algunos .convenios que permitan eludir las
excepciones derivadas de la consideracin de valores infinitos
de w y de z y con ello enunciar todos los teoremas en forma que
sean vlidos sin excepcin. Mas, como estos iconvenios no se,
utilizan de un modo tan general como fuera de desear, vamos
a decir unas pocas palabras sobre ellos. No puede satisfaoernos
en este punto hablar sencillamente de Un punioindefinidamerite
lejano, del plano complejo, pues de esta manera se pierde cornpletarnente la representacin concreta y despus habra que ra~'
zonarpara cada caso particular con el fin de ver 10 que corresponde en un punto infinitamente lejano a una propiedad determinada de un punto a distancia finita; pero, en cambio, o btenemas et resultado apeteci.d,o si, de una 'Vez para siempre, Teem.,.
plazamos el plano de Gauss, como representante de los nmeros
complejos, por la esfera de Riemann'
Para. ello, consideramos una esfera de radio 1, tangente al
plano de Gauss en el punto cero, 8, que tomaremos como polo
Sur, y efectuamoslap'royeccin estereogrfica sobre el plano
desde el polo N arte, N (fig. 33). '
A cada punto Q(x, y) del plano corresponde unvocamente el
segundo punto de interseccin del rayo NQ con la esfera; y re>

-155

-clprocamente, a cada punto P de la esfera-con' excepcin del

N~corresponde un solo punto, Q, de coordenadas finitas (x, y) ;
podemos, plor lo tanto, considerar a P como imagen o representacin del nmero x+iy.
Si el punto P se mueve sobre la esfera tendiendo hacia N, el
punto Q se mueve en el plano complejo alejndose infinitamente,
y recprocamente.
Parece, pues, natural, considerar este punto N, que no corresponde a ningn nmero complejo finito, como represe1~tante nico de todas las magnitudes infinitas x + iy, es decir, como re;'
presentacin concreta del p1.,nto infinitamente lejano del plano
N

Figura 33

-de Gauss, introducido cOn carcter puramente simblico, y designarlo siempre COn el smbolo oc, Con esto se logra una re..
presentacin geomtrica en la que iodos los pu.ntos, pwpos o
impropios, desemipean. el' mismo papel, y, por tanto, no hay que
-distinguir unos de otros en los razonamientos.
Volviendo ahora a la interpretacin geomtrica de la ecuacin
algebraica [1] sustituiremos el plan.o w, por una esfera w; ental}ces , ~a funcin' [2] establece una representacin de la esfera
z sobre la esfera w ; y esta representacin, corno los de los planos z y w, es conformevpuesto que, segn se sabe, la proyeccin
estereogrfica del plano sobre la esfera tambin 10 es. En esta
representacin, a un punto de la esfera w correspondern, en
general, n diferentes puntos de la esfera z; para lograr una co-

156

rrespondenciaunvoc a, imaginaremos, anlogamente

lo hecho
en el plano, n esferas w superpuestas una sobre otra y enlazadas
entre s por los puntos de ram ificaci n, de manera que constituyan una su.perficie de Riemanw esfrica de n hojas.
Esta concepcin no tiene mayor dificultad que de la de una
superficie de Riemann sobre el plano. Con ella la ecuacin alge...
:l

braica [lJ representa. geomtricamente una correspondencia un'Vaca y conforme de la superficie de Riemann. sobre la esfera w
por una parte yde la esfera sencilla z por otra, y en esta inter-

pretacin estn evidentemente includos los 'valores infinitos de

z y W, ya se correspondan entre s O con valores finitos.

Para hacer uso de este recurso geomtrico auxiliar, hay que

realizar en el Algebra cosa anloga a la antes hecha. con el fin de
evitar las excepciones que la consideracin del infinito introduce
en las frmulas; esto se logra con la introduccin de las variables
homogneas, poniendo

y considerando

$1 y ,Z2 Como dos variables complejas inde-pen-:

dientes, que se conservan finitas y no pueden anularse simultneamente.

A todo valor. determinado de Z corresponde entonces un sistema de infinitos valores (c. zp C. Z2) en los que c es un factor
'constante .arbitrario : todos los sistemas de valores (C$I' CZ2) que'
slo difieren en un factor constante se consideran, por consiguiente, como un mismo punto en el Campo de las dos variables homogneas. Recprocamente, a cada uno de estos puntos
corresponde un valor determinado, e, con la sola excepcin del
punto en que zles arbitrario y $2 = 0, que no corresponde a ningn valor finito, $; sino que cuando otro punto tiende a confundirse con l, el valor correspondiente de z crece infinitamente.
Resulta,. pues, que este punto debe considerarse cama equioa:
lente arilmtic'o de Un punto del infinito del plano z, y, anlogo;
mente, del representado c.on el Smbolo oo en la esfera.
De la misma manera escribiremos, .naturalmenfe,
71l=

y estableceremos las ecuaciones homogneas)) entre las 'Variables

homogneas Zv Z2 Y W v w2 que corresponden a la ecuacin [2],
la cual, cuando se multiplican los trminos del quebrado por Z2 n
se transforma en esta otra:

W1
W2

donde cp(z~,
Si

Z2'

Z2)

= 3~:J..c-~l-.

Y lji(zv

(3)

9(Zl,2'2' '

Z2)

Son funciones racionales

ENTERAS

puesto que cp(z) y lji(z) contienen el quebrado z=

de

;; .

elevado, a lo sumo, a la n potencia; son, pues, polinomios homogneos (formas) de dim'Cnsl1n n," pues cada factor Zi de cp(z) y
de ~(z) se convierte. despus de la multiplicacin en el

de dimensin n,
Con esto podemos pasar ya, haciendo a'plicacin de los dos recursos: la representaic~n sobre la espera comfjJleja y las variables
homogneas, a estudiar: la dependencia funcional que la ecuacin
esiab lece entre Z y W, con todas sus particularidades. Tal problema quedar resuelto en cuanto podamos darnos una perfecta idea
de la representacin conforme entre la' esfera de las z y la supericie de Riernann sobre la esfera 'w.
.
Ante todo conviene ver la naturaleza y situacin de lo,puntos
de ramificacin de la superficie de Riemann ; recordaremos, para
ello, que un p'unto de ramificacin de orden {J" es un punto tal que
en l se unen {J,,'+ 1 hojas de d-icha. sltperfide. Puesto que 'W es
una funcin uniforme de z, conoceremos los puntos de ramificacin cuando conozcamOS los puntos correspondientes a ellos en
la esfera de las z, a los que, en adelante, llamaremos siempre
puntos notables (*) de la esfera z. Tambin a ellos cofresponde '
una cierta 111iUltiplicidad, igual a la del punto de ramificacin co(*) Traducimos as frecuenteme la denominacin merevordige o /Jemerhensnoerte Punlete, usada por el autor, en lugar de emplea!' la ms usual
de puntos singulares,

158

rrespondiente. Nos limitaremos a enunciar los teoremas que resuelven estas cuestiones sin exponer sus demostraciones completas; puesto que corresponden a propiedades elementales de la
tora de funciones ya familiares al lector, aun cuando no lo Sean
utilizando las variables homogneas que aqu preferimos. Todas
las consideraciones abstractas que ahora vamos a hacer, las apli- '
carernos ms tarde a una serie de ejemplos concretos, en los que
tendrn forma intuitiva concreta.
Empecemos por un pequeo clculo, 'para obtener 10 que co.:
rresp onde al cociente diferencial

dw en coordenadas homog-

dz

neas, Diferenciando la ecuacin [3] resulta:

W 2 dW l -

Wl

~dCf -Cfd~

dW 2

W 22

[3'1

~2

siendo
d <P

d~ =

<Pl ae,

-+- Cf2 dZ2

h dZl + ~2 dZ2

y representando, para abreviar.' por

~ Cf (Zl' Z2)

Cfl

Ifl

~ ~ (Z, 2'2)
= -'--"'-'-""--

de
dZI

Por otra parte, segn el teorema de Euler sobre las funciones

homogneas, tenernos
.

por consiguiente, el segundo miembro de la [3] se convierte en:

+ h dZ21
~1 Zl + ~2 Z2

~I dl l

que, segn el teorema de multiplicacin de determinantes, puede

escribirse:
dZ2 !.
'Z2

-159 -

La ecuacin [3'J se convierte, pues, en esta otra:

que es la fJr~ula fundam.ental de la teora,' homognea de la ecuacin [2J ; en la que interviene el determinante funcional de las
formas cp y ..p, expresin de uso muy frecuente, en lo que sigue.
Salvo este factor, el segundo miembro es ladiferencial de z=

ZI ,
"'2

el primer miembro la de

'lO

!!i j y puesto que para valores fini-

u'2 . .
'
.
dw
los puntos notables se deducen de - - = 0, resulta la

'...

tos de z y

'IV

dz

siguiente proposicin, en cuya demostracin no entramos: Todo

p'unto cera de orden IL del determinante funcional es un pu/Jito
notable de muUiplicidad J., es decir, a cada uno de estos puntos
corresoonde un punto de ramiiicacin. de orden J. de la slttiJerjicie
de Riempnn sobre la esfera w. La principal ventaja que se encuentra 'en la aplicacin de este teorema estriba en que no exige
distincin entre los valores finitos e infinitos de z Y "lO.
Tambin puede determinarse con toda precisin el nmero de
puntos notables: En efecto, si las cuatro derivadas de las formas cp y tJi son de dimensin n ~ 1, y, por lo tanto, el deterrninante funcional una forma de dimensin 2 n - 2, sta tendr
siempre '2 n - '2 puntos ceros, teniendo en cuenta su multiplicidad. Luego, si al' iZ2 ' iZa' , a; son los puntos notables de la
.

esfera z (es decir, si es (htJi2-'CP'~2=O para--:;- =a J,a 2 , a3 ,

,

,'.

,iZ r

Y ILI' IL2' IJ.:J' , llv ' sus rdenes respectivos de multiplicidad,

suma es:

los

82'

Su

La representacin conforme hace corresponder a estos puntos

v p unios de ramificacin

de la superficie de Riemann sobre la esfera '70, los cuales necesaramenteestn separados y alrededor de ellos se unen constituyendo un cicl0fLJ+' J'2+1' , f1 v+ I hojas, 'respectivamente:

.:-. 160 -

Es de observar, sin embargo, que puede ocurrir que distintos

de ramdfica6n ocupen el mismo punto en la esfera w,

~puntos

. puesto que la funcin 'w =

~ (z)
q.(z)

puede tomar un. mismo valor para

.

varios de los z = al' ((!J, , Qv' Cuando eso ocurre, sobre este
punto vienen a pasar diferentes series de hojas separadas unas
.de otras ,Y que se unen en l. A cada uno de estos puntos de la
". esferaw lo llamaremos de ramijicaaion. y lo designaremos por
A, B, C, ... ; su nmero puede ser menor que v, segn lo dicho.
Vamos ahora a precisar mejor el concepto de superficie de
Rieman, a fin de que la idea algo vaga que con lo expuesto
baya podido adquirir el lector, llegue a tomar una forma clara
e intuitiva. Para ello hacernos pasar por los pu'ntos de ramificacin A, B,' C, ... de la esfera, w', 'una curva cerrada, L, que no se
.corie a s misma, y de forma lo ms sencilla posible, distinguien~
do 1~na de otra las dos porciones en que la esfera qued dividida
por la lnea, -rayan.do una cuaiquiera de ellas (fig. 34). En todos

Figura 34

10s ejemplos de que tratemos los puntos A, B, e, '" sern rea-,

les; en cuyo caso tomaremos, naturalmente, como curva L el
crculo meridiano de los nm;eros reales, con la cual cada una
de aquellas porciones de la esfera ser un hemisferio.
Una vez trazada la lnea L, para continuar hablando en general, darnos un corte a cada dos hojas conexas de la superficie
d Riemann a lo largo del arco de unin dedos puntos de ramificacin ; como es sabido; ninguna variacin esencial se produce
.en la superficie de Riernann, de cualquier manera que se haga

161

este corte con tal que sus extremos se mantengan fijos, es decir,
que se pueden unir las mismas hojas a lo largo .de otras curvas que unan los mismos puntos de ramificacin. En esta variabilidad estriba la gran generalidad de esta superficie. pero' la
misma' variabilidad es origen, al mismo tiempo, de la mayor
dificultad de la idea de la superficie de Riemann, Para dar a
esta superficie una forma concreta que la haga ms asequible,
supondremos que todos los cortes que unen, puntos de ramificacin. estn dados a lo largo de la curua L que pasa por todos
ellos; de este modo, pueden darse' varios de, estos cortes a lo
largo del mismo arco de la curva L, y' en cambio haber otros
arcos que no se utilicen como cortes.
Cortemos, ahora; el conjunto de todas las hojas, es decir, cada
hoja sep asadamenie a lo largo de esta curva L; como antes. hemos trasladado a esta curva todos los cortes' de ramificacin, en
ella se cortan todas las hojas y, por consiguiente, nuestra s,perficie de Riemansi queda 'descomauesui en n semihoj<ls, com pletamente libres de puntos de .ramificacin, extendidas sobre cada
Uno de los casquetes esfricos separados por la curva L. Correspondiendo a la distincin antes hecha de los dos casquetes, distinguiremos tambin 11., semihojas rayadas y n sin rayar. Ahora
podemos ya ver bien CmO estaba formada la primitiva superficie
de. Riemann: Toda semihoia rayada est rodeada de semihojas
sin rayar a las' cuales se une a lo largo de los arcos A,B, AC, ...
de la c'urva L ; y del mismo modo, cada semih.o[a na rayada est
rodeada de otras rayadas a lo largo de tales arcos deL. Umicamente en un punto -de ramificacinpuden unorse m.s de 'dos
semihoias ; si el orden de multiplicidad de la ramificacin es [J., ,
se unen alternndose 1 + 1 semihojas rayadas e igual. nmero de ,
las sin rayar.
Puesto que la esfera z se representa unvocamente sobre la
superficie de Riemann de la, esferaw por medio de la funcin
w(z), podernos referir a aqulla cuanto acabamos de decir, y, tendremos: Por razn de la continuidad. a las '211., sernihojas de la
superficie, corresponden '211. recintos conexos en la esfera z-que
distinguiremos rayndolos O no, segn que lo estn 0 ;10 las
rnihojas-s-sepsrados unos de otros por las 11., lneas imgenes de
cada uno de los trozos AB, BC. ..,. de la curva L, determinados
pOI' la funcin n-forme z(w). Cada uno de los semirrecinios ra-

se-

11

162 '-

yads se unen a lo largo de tales lneas con los no rayados; y

cosa anloga sucede a coda recinto sin rayar reSpecto de' los ra'yados'; r~cam;ente por un punto singular de orden J. pasan 'ms
de dos semirreouuos 1 a saber, 'J. + 1 de los primeros e igual nmero de los Segundos.
Esta divisin en regiones de la esfera z permite seguir el
curso de la' funcin z(w) con' todas sus particularidades, como
veremos en algunos ejemplos sencillos y oaractei sticos. Empezaremos por el ms 'simple.
1.

La ecuacin pura

Con este nombre designamos laconocida ecuacin

[1]
cuya solucin formal se obtiene introduciendo el signo de la

r.:

dicacin.:

z=Vw,
pero con lo cual, naturalmente, nada se ha adelantado en el conacimiento de la dependencia funcional entre z y 'W. Para esrudiar 'esta dependencia seguiremos el" procedimiento genera. Haciendo uso de variables homogneas; ser ':

y el determinante funcional 'de los dos trminos de la ltima

fraccin "

se anula, evidentemente', para Zl =0 Y Z2 = O,de modo que, volviendo a las variables no homogneas, ZI = Y Z2 =00 son: ceros
de mu,ltpcidad de orden n -1, con 10 cual se conocen ya todos,
los puntos singulares, de multiplicidad total 2 n,- 2.
\
-Segn nuestro teorema g'eneral, para w::::: zn, los puntos CQ-'
rrespondientes a los valores w = O Y 'w ='(X\' son los ,nicos pun-

-163 -

tos de ramificacin de la sicperiicie de Riemnn. ~obre la esfera

w; y todos ellos tienen la mrultiplicidad. n ~ 1; de modo 'que en
cada uno se unen todas las n hojas. Como curua L marcamos,
ahora sobre la esfera 'W el. meridiano de los nmersreales y despus de trasladar convenientemente
las lneas , de uni6n de los
,
puntos de ramificacin, cortamos' todas. las hojas de la superficie
de Riemann a lo largo de este rneridiano ; d esta manera queda'
dividida la esfera en 2 n semiesferas, y rayamos cada vez la situada en el hemisferio p1osteror de la esfera, la que,' PO( consiguiente, corresponde a 'valores de 'W con parte imaginaria positiva;
y sobre .el meridiano distinguiremos siempre el semimeridiano
del de nmeros reales positivos de los negativos, marcando el
primero con linea llena y el segundo con lnea de trazos (fig. 35).
00

...
.........

............. ..

Figura'35

Ahora nos toca investigar las imgenes de esta curua meridiana L sobre la esfera z, que originan la divisin caracterstica
de la esfera en sernirrecintos, Sobre el sernimeridiario positivo
es w = r, donde r pasa por todos los valores reales y positivos,
desde O hasta oo; por 'consiguiente, segr; una conocida, frmula, s e r '
.
.

z=

V"r- =

2k1C
cos ----;;-.

1 "-./(

Vr

2kr.)
+ t. sen ---;;;-

(k

= 0,1,2, ;.. n.~ 1)

que, para los diferentes valores dek. recorre los semimerulianos

que forman con el de los' nmeros reales -posiiioos los ngulos,
0,

2(n.c-1)1C

-164

Estas curvas corresponden, .pues, al sernimeridiano I:.. marcado'

de lnea llena. Anlogamente, para elsemimeridiano negativo
de la esfera "ID hay que escribir 'w = ~ r = re i7t siendo corno antes
D~r~PO y resulta:
'

.e ='V w=

-1(

IVr

pos

(2 k

+
1) 11:
n

+ z sen (2 k+n'1) 'lt )

, (k=:=O, 1,"" n-,. 1);

. a este semimeridiano corresponden los n semimeridianos de la

.esfera z de longitudes geogrficas))
'lt

.f,'

--;n--, ... ,

(n-l)'lt

los cuales bisecan los ngulos de los anteriores. Segn esto, -.aparece de.sompuesta -la esfera z en 2n husos que tienen por oriices
10$ pql~s norte y sur. Esta divisin satisface plenamente a' la
teora general jen particular, vemos que .solamente en los puntos
notables (los dos polos) se juntan ms de dos recintos, en realidad2n, corno corresponde a la multiplicidad n-L
En 10 que concierne al rayado de los recintos, basta fijarse en
uno, puesto que los dems deben aparecer alternativamente rayados y sin rayar. Observemos ahora, .al considerar el hemis-'
frio rayado de la esfera n (por consiguiente, el situado detrs),
que la lnea llena del contorno est ala izquierda y la de trazos
a la derecha, y puesto que se trata de una representacin confor-
me, sin cambio de sentido en los ngulos, toda la regin rayada
de la esfera w debe tener esta misma relacin. de posicin: estar
limitada por una lnea llena a la izquierda y una de trazos a la
.derecha Con esto queda ya bien clara la divisin en regiones de
la esfera z; es de observar, adems, una diferencia caracterstica
en la distribucin de las regiones sobre ambas semiesferas z, se. gn que n sea par o impar, como se ve en las figuras 36 yH7,
para los primeros casos n=3, 4.
.
Se deja advertir claramente en lo dicho, cun necesario es el
paso a la esfera COmpleja para la completa comprensin del pro~
blema; en el plano cmplejo z hubiese aparecido descompuesto
ste en sectores por rayos que parten del punto cero y forman
ngulos iguales entre s, y no habra modo de ver intuitivamente'
que z =ICXJ como punto singular y 'W =ICXJ corno punto de ramifi,

...:..169 -

cacin tienen la misma significacin que los punto~ z=O y w=O,

respectivamente ..
Con esto tenemos ya base para llegar al conocimiento exacto.
de la dependencia funcional entre z y w; slo falta por estudiar
todava la representaoin conforme de cada uno de los 2n husos
esfricas sobre una .u. otra de-las semiesferas w, cuestin sobre la
que noes preciso entrar en pormenores, ya que para todo el que
se ha ocupado con la representacin' conforme, este caso es uno
ca

o
4-

n-::3

rt :

Figura 36

Figura Ji

de los ms sencillos e intuitivos. En cuanto a los mtodos para

elc1culo numrico de z trataremos, ms adelante (vase 5).
Vamos a examinar ahora una cuestin 'de gran inters, a saber: la dependencia mutua entre las regiones de la misma naturaleza en que ha qu,edadp descompuesta la esfera z; dicho con
ms precisin: 'w zn toma valores iguales en un punto de .cada
una de las n regionales rayadas. Existir alguna relacin sencilla entre los valores correspondientes de z que permita expresar
uno de ellos' en funcin del otro?
Para verlo, observamos que poniendo Z' = z . e, designando
por e una raz ensima cualquiera de laurtidad, es r/ n = zn, es
decir, w=zn toma en todos los puntos

2 v 11:

--1

z"=

z= e

(v = 0,1,2, "',

-n - 1)

el mismo valor. Estos n puntos z' se distribuyen, pues, en todos

los ti recintos rayados, cuando se toma z en un recinto rayado,

,~166-

y' al describir z este recinto, losz' describen simultneamente

cada uno de aqullos; y lo mismo se dice de los recintos no rayados.
.
Ahora bien, cada una de las sustituciones [2] 'est representada
.,. ' .

, ' , .. . . ,,-

'.

' 2 1t

geom.trIcamente por un glro de la esfera z de un' n.gulo

"

'.

'1---

alrededor del eje vertical (O, 00) ; puesto que, come) es sabidoven
2vi11:

el plano complejo, la multiplicacin de e. n '. representa un giro

de aquel ngulo alrededor del origen. Por, consiguiente, se pasa
de unos a otros de los puntos correspondientes de estas regiones,
lo mismo que de iI a otra de ellas, por aquellos n .giros alrededord'el eje mertical
As, pues, si previamente se hubiese determinado uno solo de
los recintos rayados, esta observacin permitira determinar todos
los recintos de la misma especie, utilizando-la propiedad de las
'sustituciones [2] de transformar la ec.uacion !1] en s misma (es
. decir, zn=,w en z'n='Y) Y de que su nmero es el gTado de la
eouaciqn. En los ejemplos que siguen 'podremos indicar siempre
deant~mano tales sustituciones lineales y con ello utilizar la
gran simplificacin que se logra en la determinacin de la distribucin de los 'recintos.
, . Partiendo, ahora, de este ejemplo, vamos a introducir un conoepto gerlceral mu,yirrnporunte, el de lairredubilidad para las
ecuaciones que contienen, Un panimetro racional w, caso ms general que el de las' ecuaciones de coeficientes numricos racionales, que, ocasionalmente, hemos considerado al tratar de la.construccin del eptgono regular. Una ecacin: f(z,w)=O '(en nuestro ejemplo, zn_,w=O) donde f(z, w) es Un polinomio en z cuyos
coejicienies son furvC'ones racionales de w,se llama reducible res'pecto alparm:etro w cuando f(z, w) Se puede descomponer en
un producto de dos p'olinomiosde la misma naiuraleza :

en caso contrario se llama' irreducible en w. La mayor generalidad de este concepto respecto del anterior estriba en que aqu se'
toma corno campo de racionalidad)} para operar y al cual perte'necen los coeficientes de los polinomios factores, en lugar del

conjunto de los nmeros racionales, el de todas las funciones racionales de) parmetro w ; es decir, que pasamos de. una concepcin puramente aritmtica a una terico-funcional-pura,
Si representamos intuitivamente cada ecuacin f(z, :70) ==0 por
su superficie de Riernann, podremos establecer Un. criterio sencillo para la re.ductibilidad en el sentido que acabamos de definir.'
Si' la ecuacin es reducible, cada par de valores (z, 'w) que la satisfaga debe, hacer que .sa Uz, w)=o, f 2 ('z , w)= O ;'y representadas ambas soluciones por sus respectivas superficies de Riernann, stas son completamente independientes entre s, y en
particular, no tienen conexin ninguna. Por lo tanto, la superficie
de Rlemansi correspondiente' a tina ecuaci6.n reducible f(z, w) =0
debe descomponerse, a lo menos, en dos porciones separadas.
Segn esto, se podr reconocer inmediatamente que la ecua~
cion. xn-w=,O es seguramente irreducibte en el seniulo tencofttncional; pues en su superficie de Riemann, que' conocemos
perfetamente.rtodas sus n hojas se.unen en ciclo en cadapunto
de ramificacin y, segn lo dicho, toda la superficie est representada en la esfera z conexa ysin 'cortes, de modo que no puede
. haber descomposicin alguna.
.Partiendo de estas ideas,podemos abordar no de los proble~
mas ms famosos y populares desde la antigedad, a saber: el de
la divisin de uJi ngulo cualquiera If en np'artes iguales; en
particular, para n == 3, el de .la triseccin del ngulo. 'El problema
es encontrar una construccin exacta, uiuieasulo nicam,ente la
regla' y el comps, que aplicada a un. ngulo' cualquiera If lo di.;.
. "Vida en tres partes iguales; para una serie de valores particulares
de 'jl es fcil de re~olver el problema.
Expondremos el proceso del razonamiento en la demostracin
de la imposibilidad de la triseccin del ngulo, en el sentido arriba indicado, siguiendo marcha anloga a la de' la: demostracin
que dimos de la imposibilidad de la construccin del eptgono
regular (pgina 73). Exactamente como all, ~e reduce la: cuestin
a resolver una ecuacion. cbica irreducible y ver que no es resoluble por una sucesin de radicales cuadrticos fslo que ahora
.se trata, de una ecuacin en que interviene 'Un; parm.etro, el ngulo If, en vez de ser nmeros enteros los coeficientes cerne en
el otro caso; y por esto es preciso introducir aqu, el concepto de
la irreducibilidad funcional, en lugar de la aritmtica.

. -168-

Para encontrar la ecuacin del problema mag'nemos en el

plano de las w; el ngulo cp contado a partir del semieje real positivo (fig.38); Su lado extremo cortar al crculo unidad en el
punto
'f

W = .8

= cos p

-+- t. sep. p

Nuestro problema se reduce a encontrar una construccin independiente del valor especial que pueda tomar cp, en la cual s610

se emplee un nmero finito de veces la regla y el comps y que

siempre nos d el punto de interseccin del crculo unidad con el
lado extremo del ngulo :
i'f

=. e ""3

s.

es decir, .el punto e

p -+- 1.sen
p
cos -_.
- ;

3 3

Este valor de z satisface a la ecuaci6n

Z8

= cos cp:.+ i sencp .

. [3]

y el equivalente analtico de nuestro problema geomtrico consiste, por tanto (pg. 73), en ver si esta ecuacin pueae resol, 'Verse por medio de una expresin comouesta de radicales cua- .
drticos superpuestos que .()per~n sobre funlciones racionales de
cos cp y sen cp ; pues estas magnitudes son las coordenadas del
punto 'W del cual se parte en nuestra construccin.
Tenemos que probar primero que la ecuacin [3J es irreduci-

-169 -

ble en~el sentido terico'funcional. Esta ecuacin no tiene exacta-

mente la forma indicada en la definicin del concepto de irreducibilidad ; pues en lugar de' entrar en sus coeficientes racional-
mente el parmetro complejo "LV, aparecen racionalmente las dos
funciones cos y sen del parmetro real re ; pero en' una genera-o
lizacin natural de nuestro concepto, diremos que el polinomio'
z - (cos ifI + i sen rp) es red-ucible cuando se puede descomponer
en polinomios en z cyos coeficientes sean fu-nciones racionales
de cos rp y sen ifI' con lo cual podremos adoptar para este caso er
mismo criterio que anteriormente. Hagamos en la ecuacin [3J
que rp tome todos los val,ores reales; entonces w=ei'? =cos rp +
+i sen rp recorre todo el crculo unidad del plano w, al cual corresponde en la-proyeccin estereogrfica sobre la esfera 'W, el
crculo ecuador '; la curva situada sobre este crculo en la super-o
ficie de Riemann de la ecuacin Z3 ='W que recorre sin' discontinuidad las tres hojas de esta superficie, est representada unvocamente. sobre el crculo unidad por la ecuacin [3J, y puede,
en cierto modo, designarse como su figura de Rieman-i unidi-.
mensiomalw, De la misma manera podernos asignar a toda ecuacin de la forma fez, cos rp, senrp) = O la correspondiente 'figura de
Riemann unidimensional, cuando tomamos tantos ejemplares del
crculo unidad con el arco de longitud ifI como races tiene la
ecuacin, y ligados entre s en la forma correspondiente a la conexin entre las races. Entonces prosiguiendo exactamente como
anteriormente, se ve que la ecuacion. [aJ slo puede ser reducible'
cuando su figura de Riemann 'unidimensional se descompone'
en partes completamente 'separadas, y como esto, evidentemente,
no se verifica en este caso, queda as ;p'rob'ada la irreducibilidad.
de nuestra ecuacin [3}.
Observemos, ahora, que la demostracin expuesta en otro
lugar (pgs. 73 y sig.) de que una ecuacin de coeficientes numricos racionales e~ reducible cuando puede resolverse por una
expresin compuesta de radicales cuadrticos es aplicable literalmente al presente caso de una ecuacin irreducible funcional, sin
ms que sustituir los nmeros racionales por funciones racionales de cos rp y sen rp)) ;po,r consiguiente, ,qu,eda completamente
demo~trada nuestra afirmacin de que la triseccin del ngulo
para cualquier valor de rp no puede ejecutarse empleando exclusivamente la regla y el comps un nmero finito de 'veces: los es-

-170-

fuerzos de, los trisectores resultarn, 'por lo tanto, siempre balos~

Pasemos, ahora, a la consideracin de un ejemplo un poco
ms complicado que el anterior..

2.

lo ecuacin dldrle

Se denomina as, . por razones .

que .
veremos
ms adelante, la
,-

ecuacin

"

1 ( zn
w=--

1)
+--..

[1]

2 ....l~ .

Su grado es 2n, como se deduce multiplicndola por Z'~.

Introduciendo las coordenadas homogneas, se convierte en :
~
W

Z1

2n

+ z 22 n

2 3 1n . 3 2n

'

en cuya expresin aparecen, en efecto, formas de 2'1'1 dimensiones en numerador y.renominador. El determinante funcional de estasformas es:
.

. que; desde luego, tiene Zl =0 Y Z2 =0, como ceros de -multiplicidad '1'1 -1; las 2'1'1 ralees restantes se deducen de la ecuaci6n ~
o sea

(z~z)n. =

1.

Utilizando adems de la raz ensima de la unidad antes con21:i

siderada s =;e

ti

In siguiente raz ensima de -1: "

i1C

e'

=e

~t

Ias 2n ultimas races sern :

~=( - '/
Z2

(v = O, 1, 2, ". n --; 1).

-171-

Los valores respectivos de

z=..:i tienen todos elrndulo 1 y,

22

por consiguiente; estn en el ecuadore la esfera z (que corresponde al crculo unidad del plano z), y separados cada dos consecutivos por, ngulos iguales a ~ ,
11,

Tenemos, por' 10 tanto, como puntos singulares sobre la esfera z:

:e;l polo sur z'= O Y el polo norte Z =00, con la multiplicidad
-comacn. n-1;,
Los 2n,plUrntos ecuatoriales z= e ", a' aY, todos ellos sl'l'Y1JPles.
La SUma de todos los rdenes de multiplicidad es
.2(11,-1) +211,=411,-2,
-conforrne a o dicho en el teorema general de la pgina 158. En

virtud de la ecuacin Ll] a los puntos singularesz =0, 'CXJ, de la

esfera z corresponde en la esfera w el w =00; a todos los puntos
.z=a el punto 'w= +1; Y por ltimo, a todos' los z= el

~=-1.

'

Existen, segn esto, solamente tres puntos de ramificacin

+ 1, .c,-1, sobre la esfera 'W; pero adems hay sobre
'w=!fX)'
dos pwniosrde ramificacin de m1,iltiplicidad n-1;
w= +1.
n puntos d ramificacin de multiplicidad 1;
'W = -:1
n puntos de ramificacin de .fn;ultipl'icida'd 1.
Las 2n hojas de la su'perficie de Riemann se agrup.an, .por
consiguiente, sobre el punto W=CXJ en dos series formadas cada
una por n hojas unidas en ciclo; en w= +1 y en w= -1, en n
series separadas, formada cada unap'or 2 hojas. Se aclarar intuitivamente el curso . de estas hojas, cuando consideremos la
correspondiente divisin de la esfera z en semirrecintos.
Para ello conviene, corno ya se ha hecho observar, que .estu-diernos, las sustituciones lineales que dejan' invariable la ecua-cin [1].
'.
.
Desde luego no vara, lo mismo que en el caso de la ecuacin
pura, con las 11, sustituciones

'00,

2i'lt

z'

aY Z

= 0, 1,2,

: .. ,

11,

~ 1)

de donde

a= e

TI

[2 a]

-172-

puesto que para stas es siempre

las 11, sustituciones
,

z-,n=zn.

Tampoco cambia por

'1

Z =Z

(\1

0.1,2,

'"

n - 1),

puesto que con ella se permutan entre s e" y

"""'"';i' Tenemos,

[2 b]
pues,

2n sustituciones lineales que tt;,ansforman en s misma la ecuacin [1] ; su nmero. es, como se ve, el grado de la ecuacin.
Si para cualquier valor de 'W se conoce Una raz, Zo' de la
ecuacin [L], inmediatamente Se conocen 2.1i valores, en generar
distintos
y

('1 = 0, 1, ". ,".

,n - 1)

es decir, se conocen todas las races de la ecuacin, una vez hallada la raz ensima de la unidad E.
Pasemos, ahora, a la investigacin de la divisin de la esfera z que corresponde a un corte de la superficie de Riem.ann soQ.re
la esfera w a lo largo del. meridiano real; para ello, anlogamen-'
te a lo hecho en el ejemplo, distinguiremos sobre el meridiano
real de la .esfera 'W (fig. 39) los arcos determinados por los tres
puntos de ramificacin desde + 1 hasta ('O (lnea llena); desde
oo hasta -1 (de puntos), y desde -1 hasta + 1 (de trazos). A
cada Utno de estos tres arcos corresp ondewen; la esfera z, 2n di[erenies porciones -de curva, que' se deduce,,{ de una cualquiera de
ellos por medio de las 2n sustituciones lineales [2] ; basta,por
consiguiente, en todos los casos determinar uno de ellos. Adems, estas lneas deberi unir los puntos singulares 03= 0, (X) , E'I
E' E '1, que marcamos previamente sobre la esfera z j su imagen,
exactamente corno en el caso anterior, es muy diferente,segn
que 1t sea par o impar. Bastar aqu que nos fijemos en un caso
particular, por ejemplo, en el de ser n = 6. La figura 39 representa en proyeccin ortogonal el hemisferio anterior de la esfera z
y en ell~ se ven: de Jos puntos E'I, distribuidos de izquierda l:
derecha sobre el ecuador, a distancias angulares de 60 entre s,
los e3 .= - 1, E \ E 5, E 6 = 1 ; Y de los E' .E'I, equidistantes de ellos.
sobre este mismo crculo, 'los E' E3, e'e 4 == -i Y E'E 5 ..

-173 -

Decimos ahora que el cuadrante + 1<z<00 del meridiano

reai de, la esfera z corresponde al arco lleno + 1<w<. + 00 del
meridiano real w. En efecto, pongamos z=r y supongamos que
r pasa por todos los valores reales desde 1 hasta oo : entonces

l(nz +-zn1')'
1)
= -l(n
- r +-. . 2
r"

W=-

toma valores tambin reales y crece constantemente desde 1 hasta 1Xi. De este cuadrante se deducen las n lneas llenas de la esfera z, aplicndole las n sustituciones lineales [2 a], las cuales,

.t i

1-/
I

.\
\

" -,

/ /

....... ....,.".."...--_ ....... /

()

Figura 39

segn dijmos en el ejemplo anterior, representan rotaciones de

la esfera alrededor del eje vertical (O, "O) de ngulos
--'

n '

..... ,

en - 1)
n

Te.

.'

as Se obtienen los n cuadrantes de meridiano que van del polo

norte lXJ a Zas puntos V del ecuador.
Otra curva llena se obtiene cuando se aplica la' sustitucin

z' = !;
z .se

pasa as del cuadrante

del meridiano que va desde
.
+ 1 hasta +K,X:J, al cuadrante real inferior desde + 1 hasta ~o. Si
efectuarnos tambin todas estas n rotaciones [2 a]-su composicin con la . tr~nsformacin s' = 1:..
z da todas las n sustituciones
[2 b]-:, aparecen los n cuadrantes .d~ meridiano que umen. el polo

174

sur con los puntos ;; ~ del ecuador, con 10 cual -tenemos ya las 21];
lirreas Ilenas pedidas, correspondientes al cuadrante del meridiano lleno. w. Para n = 6 estas lneas forman los tres meridianos
completos que se obtienen haciendo girar ~l meridiano real de
ngulos 01', 601' Y 1201'.
.

Observemos, adems, que el conjunto de los valores z == I;'r,

en quer torna todos los valores reales desde
1 hasta 00; corresponde al cuadrante punteado del meridiano real 'If..'; pues la
ecuacin [1] da para .esta lnea:

. 1('
" "+ 1)
1('
1)'
=---,
r" ' 2
r"
2
r"

w=== .

~-,-

lO?

lO'"

+"

y esta expresin demuestra que, en ~fecto"w decrece constantemente y pasa por todos los valores desde ~'i hasta -'OO. Ahora
bien, z=lO'r representa el cuadrante del meridiano .desde oo hasta
. elpu,nio. ecuatorial E'; Y aplicndole las sustituciones [2 a] y
[2 b], resulta, exactamente corno antes, que al cuadrante p'unteado del meridiano real w corresponden todos los cuadrantes
que unen los polos con los puntos ecuatoriales lO' ~ E ~, los cuales
bisecan los ngulos formados por los meridianos. antes obtenidos.
Falta hallar todava los 2n arcos que correspondewat semimeridiano de trazos ~ l<w< + 1; Y vamos a .probar que son
precisamente los arcos del ecuador de la esfera z determinados
por los p,untos E~ 'y E' .lO ". En efecto. el ecuador representa los
puntos de mdulo igual a 1 y viene" por lo tanto, determinado
pOI; Z = e i? ,donde tp es real y torna todos los valores de O a 2n
Por consiguiente, el valor correspondiente es ;
W

1 (

=== - - z"

2 '.

1 ) =1. (ei"roT + ei"roT) =

+ -z~'
2

cos '(n.tp)

'

que permanece siempre real y de valor absoluto < 1, ytorna precisamente una vez todo valor comprendido entre + 1 y :-:-1, CUando .~ recorre un arco de longitud 2..., pasando de uno cualquiera
n
,
de los mltiplos de -;: al 'inmediato. esdecir,cuando z describe'

uno de los arcos antedichos,

--175

Las' curvas as determinadas dividen a la esfera z en '2. 2n

semirrecinio de forma trangulr, limtadospor tres CU7'IJaS, una
de cada' clase, y cada semirrecinio corresponde a una semihoja -de
la superficie de Rfemann; slo en un punto singular se juntan
varios recintos y, segn lo .indicado por la- tabla de multiplicidades de la pgina 171, se unen en el polo norle y en el sur, 2n;
yen cada pur,to ..v y '.. s ~, 2.2.
t

Para fijar cules de estos recintoa deben rayarse, observemos

que el hemisferio posterior de' la esfera 'lO queda siempre a la
izquierda cuando se recorre su contorno siguiendo sucesivamente
un arcolleno, uno de trazos y uno de puntos ; luego, por ser con- .
.forme la representacin y no cambiar el sentido de los ngulos,
habr que rayar todos los semirrecintos en los cuales se suceden
las tres partes del contorno en el mismo sentido, y dejar sin
rayar todos los dems.
De este modo obtenemos la imagen geomtrica completa de
la dependencia establecida por nuestra ecuacin entre 'las aria-

Figura 40

bles z y w. Se podra an seguir su estudio, analizando ms'

circunstanciadamente la representacin conforme de cada uno

de los recintos triangulares de la esfera 'W, cosa de que, como
antes, prescindiremos por razn de brevedad, limitndonos solamente a exponer sumariamente el interesante casqpartic'ular de
n=:=6. La esfera queda entonces dividida en dooe tringulos rayados y otros doce sin rayar; en la figura 40 se ven -seis de cada
clase. En cada polo se renen seis de cada clase y en doce puntos equidistantes del ecuador dos de cada clase; cada recinto

-176 -

-queda representado conformee~ unasemihoja de igual clase de

la superficie de Riemann, y estas hojas se unen correspondiendo a la agrupacin de .los semirrecintoscada seis d una mism
clase en el punto de ramificacin 1iX), y cada dos de la misma
clase en los puntos de ramificacin lo
Se obtiene una imagen de la divisin de la .esfera cmoda
para su realizacin prctica y digna de m,~ncin P9r su analoga
.con lo que sigue, procediendo de este modo: Se unen 'por medio
de segmentos rectilneos cada dos puntos consecutivos del ecua-

-=-n (por ejemplo, todos los EV) y adems

9x

_ dar distantes entre s

' . '

cada uno de ellos con los polos. Se forma as una doble pirmide inscrita en la esfera, con n caras 'laterales; (en 1;1 fi~ 40, seis)
sobre cada hoja. Proyectando la divisin de la esfera, desde el ,
centro, sobre esta doble pirmide, aparece cada Cara lateral dividida por su altura en dos partes, una rayada y otra sin rayar.
Representando por esta doble pirmide la divisin' de la esfera
y, por consiguiente,' nuestra funcin, nos reporta un servicio semejante al de los p'oliedros regulares en los ejemplos que siguen.
Lograremos . una analogia conipleta COn stos suponiendo la doble pirmide aplastada sobre su base; resulta, -entonces, un
polgono regular de n lados, de dos caras, cada una de las cuales
aparece descompuesta por las rectas que unen su centro con los
vrtices y puntos medios de sus lados .en2n tringulos (fig. 41)
o

~,
.Siemore he asociado esta figura como diedro a los cinco poliedros regulares conocidos des de Platn. Cumple, en efecto, todas
las condiciones que ordinariamente definen un poliedro regular,
puesto que se COmpone de polgonos regulares congruentes (las
dos caras del polgono regular ~Ie n lados) y tiene aristas congruenteJ' (los lados del polgono) y anguJoides iguales (los ngulos de dicho polgono); la nica diferencia es que no limita ningln cuerpo propiamente. tal, sino que encierra un espado nulo.

-177 -

En este sentido, el teorema de Platn de que slo existen cinco

poliedros regulares, nicamente es cierto' cuando se incluye en
la definicin la condicin implcitamente utilizada en la demostracin de que encierre un cuerpo propiamente dicho.
Partiendo del diero, se ob.tiene ev.id'entem:ente nuestra. divisin de la esfera,. cuando, adems de sUS vrtices, se p'royectan
sobre la esfera los puntos medios de sus aristas- y los centros de
sus caras laterales, siendo los rayos proyectantes perPendiculares
al plano de] diedo ; 'phr lo tanto, el diedro puede considerarse
tambin como representacin de la "elacin funcional establecida
por nuestra ecuacion. entre vi y z ; de aqu que esta ecuacin puede ser Ilamada con propiedad ecuacin didrica.
Pasemos, ahora, a )as ecuaciones que-como hemos dichoestn ntimamente ligadas con los poliedros regulares de Platn;

3.

Ecuaciones tetradrica, octadrica e icosadrica

Las ecuaciones octadrica e icosadrica pudieran con igual

razn llamarse obica y dodecadrica, respectivamente, como luego veremos; de suerte que en los .tres ejemplos que examinaremos
en este artculo, estn comprendidos los cinco cuerpos regulares.
Seguiremos aqu el mismo camino que en los casos anteriores,
pero recorrido en sentido contrario: deduciremos, primero, partiendo de los poliedros regulares, la divisin de la esfera, y estableceremos deslp'rus la ecuacin algebraica correspondiente, que
encuentra su re,presentacin geomtrica e intuitiva en aquella figura. Habr, sin embargo, de limitarme con frecuencia a simples
indicaciones, por lo cual, ya desde ahora, remitimos al que desee,
ms amplias explicaciones a mi obra Vorlesueigen. iiber das
Ikosaeder und die Auflosung der Gleichungen van fnften Grade)} (*); en la cual se hace una exposicin completa y sistemtica de esta teora, as corno de sus numerosas relaciones con las
afines.
Vamos a tratar los tres casos paralelamente, comenzando con
la maneru. de efectuar la di'l),isin de la esfera en regiones; 1311 el
caso del tetraedro.
(*) Lelpzlg, 1884. En adelante, ser citada, abreviadamente, Icosaedro.
lil

-178 -

1. El tetraedro. (Fig. 42). Dividiremos cada una de las cua...

tro caras triangulares equilteras del tetraedro por sus alturas en
seis tringulos parciales, de los cuales cada tres que se suceden
alternativamente son congruentes, en tanto que cada dos consecutivos son simtricos respecto del lado comn. Obtenemos as una
divisin de toda la superficie del tetraedro en veinticuatro tri'ngulos, que forman dos grupos, cada uno de doce tringulos congruentes entre s, tales que dos tringulos de diferentes grupos
son. inversamente iguales; distinguiremos los tringulos de uno
de los grupos de los del otro rayndolos.
En cuanto a 'los vrtices de estos veinticuatro tringulos popemos distinguir : tres especies, de tal modo que cada .uno de
estos tringulos tiene un vrtice de cada especie:
a) Los cuatro vrtices del tetraedro, en 10.8 cuales ctnicurreti
cada tres 'tringulos rayados y cada tres sin rayar;
b) Los cuatro centros de las caras del tetraedro, los cuales

Figura 42

son; a su vez, vrtices de otro tetraedro regular (el tetraedro

conjugado); en cada uno de ellos concurren tambin tres tringulos de cada estP1ecie;
e) Los seis puntos medios de las aristas . los cuales son vrtices de un tetraedro regular, y en cada uno de los cuales concu...
rren dos tringulos de cada una de ambas especies.
Proyectando esta descomposicin de tringulos desde el centro del tetraedrro sobre la esfera circunscrita, aparece sta descompuesta en2. 12 tringulos, limitados por arcos de crculo
mximo, los cuales son alternativamente congruentes y simtricos. Alrededor de cada vrtice las clases a, b y c, hay 6, 6 Y 4
ngulos iguale.~, respectivamente, y puesto que la suma de los

179-

ngulos consecutivos formados sobr la esfera alrededor de cualquiera de sus puntos vale siempre 2r., tos tringulos esfricos
as formados tienen el ngulo ~ en Un 'Vrtice a o ti, y ~ en Un
3
2
vrtice c.
Una ,propiedad caracieristica de esta descomposicin dela esfera ~s que, como ocurre en el mismo tetraedro, puede llevrsela
. a coincidir consigo misma por UI/1, cierto l/1,mero de rotaciones
alrededor de Su centro, cosa que puede verse fcilmente construyendo un modelo de tetraedro con su divisin, como existe en
algunas colecciones de modelos de figuras geomtricas; aqu
bastar enumerar las rotaciones posibles (contando entre ellas el
reposo como rotacin idniica), Fijmonos en uno cualquiera
determinado de los vrtices del tetraedro de partida; por medio
de un giro podemos llevarlo a coincidir con otro cualquiera de
'los tres vrtices restantes (tambin consigo mismo), lo que da
cuatro posibilidades; mantenindolo fijo en una de estas posiciones, podemos llevar el tetraedro a coincidir consigo mismo de
tres modos diferentes, a saber: hacindole girar alrededor de la
recta que une el centro con dicho vrtice de ngulos iguales l'
O", 120" 240". Esto da, en total, 4.3=12 rotaciones, por cuyo
medio puede llevarse a coincidir consigo mismo el tetraedro, o
la descomposicin en tringulos esfricos correspondiente de la
esfera circunscrita; Con estos giros se puede llevar un tringulo
dado rayado (o no rayado) a coincidir con otro tringulo tambin
rayado (o no rayado); y cada giro particular queda determinado
cuando se fija este segundo tringulo.
,
Estas doce rotaciones [ormam, evidentemente,o que se llama
un Grupo G 1 2 de operaciones; es decir, que cuando se ejecutan
sucesivamente dos cualesquiera de estas rotaciones, resulta otra
vez una de las doce.
Cada una de estas doce rotaciones est representada, cuando
se considera la esfera como esfera de las z, por una transformacin lineal de las z, y las doce iransjormaciones bineale asl re:"
sultanies dejan invariable la ecuacin correspon-diente al tetraedro. Se reconoce fcilmente que las 2n sustituciones lineales de
la ecuacin del diedro pueden considerarse como el conjunto de
las 2n rotaciones que permiten llevar a coincidir el diedro consigo .11'Vsmo.

~-

180-

2. pe modo anlogo se procede en el caso del octaedro (figura ~3), por lo cual abreviaremos su exposicin; cada una de
las ocho caras triangulares equilteras queda dividida cama antes
en seis tringulos parciales, resultando as descompuesta toda la
superficie del octaedro en. 24 tringulos, congruentes entre s, rayados, y otros 24 tringulos tambin con.gruen.tes entre s, e

Figura 43

inver.samente iguales a los primeros,' y que no rayamos para diferenciar unos de otros. Tambin aqu Se pueden distinguir tres
'
, ,
.
clases de vrtices, a saber:
a) Los seis vrtices del octaedro, en. los cuales concurren cuairo tringulos de cada clase.
b) Los ocho centros de las caras del octaedro, los cuales son
-crtices de un rubo; en cada uno de ellos se juntan tres tringulos de cada clase.'
'e) Los doce puntos medios de las aristas, en cada uno de
los cuales se renen dos tringulos de cada clase.
Proyectando esta descomposicin del octaedro desde su centro sobre la esfera' circunscrita, se obtiene en sta una descomposicin en 2 . 24 trin.gulo~esfricos, doce de ellos congruentes
.e 'inversanrente iguales a los otros doce ; el ngulo en cada -orti . a, va,e --;
Te
,.
b,1t
'
,tce
en cad a tiriice
, y C1t cad
a rtice
e, -1t .
.

3 2

Puesto que los vrtices b forman un cubo, se ve fcilmente que

exactamente la misma descom'posicin se obtendria partiendo de

-181-

un cubo y proyectando los vrtices. los centros de sus caras y

los puntos medios de las aristas sobre la esfera 'desde su centro.
Por esta razn, no hace falta considerar especialmente el caso del
cubo.
Exactamente cama antes se ve que tanto el octaedro como
esta descomposicin de la esfera, pueden hacerse coincidir COnsigo mismos -por medio de 24 rotaciones, las cuales forman u.n
grupo G 2 4 Cada una de las rotaciones queda determinada como
en el caso anterior cuando se da el tringulo rayado con el que
ha de coincidir otro de la misma clase.
3) Pasemos, por ltimo, al ico~aedro (fig.44). Tambin aqu

Figura 44

se descompone cada una de las veinte caras triangulares en

tringulos parciales del mismo modo que en los casos anteriores,
obtenindose as 60 tringulos rayados' y 60 no rayados. Las
tres clases de oriices son:
a) Los doce vrtices del icosaedro, en cada uno de los CU0les concurren cinco tringulos de cada clase.

-182 -

b) Los veinte centros de las caras del icosaedro, que son

vrtices de un dodecaedro regular; en cada llno de ellos se juntan tres tringulos de cada clase.
c) Los treinta puntos medios de las aristas, en cada tIno de
los cuales concurren dos tringulos de cada clase.
Proyectada esta descomposicin de la superficie del icosaedro.
desde su centro, sobre la esfera, se obtiene una descomposicin
anloga en tringulos esfricos, cuyos ngulos en los 'Vrtices a,
11:
11:.
b Y e va 1en -11: , -.y -respectieamenie, De la propiedad de
5

los vrtices b, se puede tambin deducir, como en el caso ante. rior, que la misma descornJPlosicin de la esfera Se hubiera obtenido partiendo del dodecaedro regular.
Finalmente, pu"eden llevarse el icosaedro y la descomposicin
correspondiente de su esfera. cirCltnscrita a coinc:idir consigo mismo mediante rotaciones alrededor me su centro q'ue forman un
grupo G 6 0 , y 10 mismo estas rotaciones que las del octaedro
pueden comprobarse fcilmente construyendo un modelo apropiado.
.
Resumiendo algunos de los resultados obtenidos, podemos
formar la siguiente tabla de valores de los ngulos de los tringulos esfricos que resultan en los tres casos considerados, agregando los del diedro:
11:

, n

11:

11:

11:

11:

Diedro:..2:..-, 2
2
11:

Tetraedro: 3' Octaedro: -

11:

, -

3
11:

. 'lt'

11:

Icosaedro:- , -

11:

2
2
2

U n naturalista (al decir esto, repito, varindolo ligeramente,

un conocido chiste de Kumrner), deducira en seguida, que existen descomposiciones de la superficie esfrica de propiedades
'Jt

"

anlogas con ngulos, tales como - , 6

3'
o

11:

11:

2'

7'

'le

3'

11:

2 ".

-183 -

Un matemtico no' se atrevera, naturalmente, a aplicar tales

analogas, y su prudencia aparece aqu completamente justificada-; pues,' en efecto, la serie de las posibles descomposiciones
de la superficie esfrica de nuestra clase termina COn las enunciadas, cosa que simplemente depende de que no hay mas pol'ietiros regul'ares que los que hemos considerado, y cuya razn fundamental estriba en una propiedad de los nmeros enteros, que
,no permite una reduccin a otras ms sencillas. Se ve, en efecto,
que los ngulos de cada uno de nuestros tringulos tienen que
"
enteros d e
ser dirvrsores

'lt

'lt
'lt
como --,
--,
- 'lt , con 1a con d"'"
ICI n

r"

de que los denominadores satisfagan a la desigualdad:

1

1. 1

-+-+->1
m
n
r
'
la cual tiene la propiedad de que sus nicas soluciones enteras
son las contenidas en la tabla. La condicin que implica esta
desigualdad se comprende fcil~ente: expresa simplemente, que
la SUma de los ngulos esfricos es mayor que 'lt.
Agreguemos que existena ingeniosa generalizacin de esta
teora que rompe el marco aparentemente demasiado estrecho
en que la hemos expuesto; nos referimos a la teora de las funciones automorjas, que considera descomposiciones de la esfera
en un nmero infinito de tringulos, cuya SUma de ngulos es
menor que 'lt, o igual a te,
4.

Continuacin: Establecimiento de las ecuaciones normales

Pasemos, ahora, a la segunda parte de nuestro problema, o

sea a establecer ecuaciones de la forma
o

CfI (z)
W=--~ (e)

[1]

,que correspondan al cada una de las tres descomoosicionesiie la

superficie esfrica indicadas, tales, por consiguiente, que representan las dos semiesferas de la esfera-te sobre los 2.12, 2:.24 y,
2.60 tringulos esfricos de la esfera s, respectivamente. A cada
valor de 'W deben corresponder, pues, en general, 12, 246 60 .va-

184

-t-r-

lores de e, uno en cada uno de los tringulos parciales de la

especie correspondiente, 'y, por lo tanto, la ecuacin buscada en
los tres casos es de grado 12, 2.4 Y 60, respectivamente, grado
que designaremos de un modo general por N. Ahora bien, cada
recinto pacial concurre con otros, en tres puntos singulares, luego
deben presentarse en cada caso tres puntos de ramificacin sobre
la esfera 'w, y stos los tomamos, como es costumbre, COmo puntos w = O, 1, !OQ; corno curva L de COrte que pasa por estos tres
puntos y cuyos tres trozos deben corresponder a las lneas fronteras .de los tringulos z tomamos nuevamente el meridiano de
los nmeros reales.
Haremos adems (fig. 45) que, en cualquiera de jos tres caEstera w

,..
/

'"

I
I
I
\
\
\

\
'\

,.

' ": ...............

Figura 45

sos, al punto w=O correspondan los centros de las caras del poliedro (vrtices b en la: notacin del artculo anterior); al punto
w = 1 losp'Untos medios de las aristas (vrtices e), y al punto
w:;=!:)() lo wrtices del poliedro (vrtices a). Entonces los lados
del tringulo corresponden, en la forma que indica la: naturaleza <le las lneas de la figura, a los tres. segmentos del meridiano 'w; los tringulos rayados corresponden a la semiesfera
posterior, y los no rayados a la anterior. As establecida la correspondencia, la esfera z debe quedar representada unvocamente mediante.la ecuacin' [1] sobre una superficie de Riemann
de.N hojas con los puntos de ramificacin 0, 1 e oc, extendida
sobre la esfera w.
La existencia de esta ecuacin puede ser deducida Icilmen-

-185 -

te ,a priori de los teoremas generales de la teora de Iunciones;

sin embargo, mejor que suponer aqu los conocimientos que tal
. procedimiento entraa, preferimos, una construccin nus emp-"
rica de las ecuaciones en cuestin. la cual quiz nOS proporcione
una intuicin ms vivida del asunto.
Imaginemos escrita la ecuacin [1] en coordenadas horno.:.
gneas:
<P N (.z,

Z2)

qrN (Zl'

.2'2)

donde <P N y \}ioN 60n polinomios homogneos en 2 1 y Z2' de di-o

mansiones 1'1(1'1 = 12, 24 00). En este modo de escribir la ecua-'
. cin aparecen inmediatamente los puntosw 1 = 0 y w 2=0 (es decir, '1.0=0, oo) de la esferaee, pero no el tercer punto de ramificacinw= 1 (en homogneas, w 1 -''lt'2 =0) ; y puesto que, para nuestras consideraciones, -el mismo papel desempean los tres, c.on-"
viene tambin escribir la ecuacin bajo la siguiente forma:

n: U'2

W2

XN(z Z2)
'F'N(Z.2'2)

donde X N = <l>N - IV N es asimismo una forma de dimensin N.,

Ambos modos de escribir la ecuacin pueden condensarse en la
siguiente proporcin continua:

con lo cual la ecuacin tiene una forma homognea, en la que los.

tres puntos de ramificacin aparecen igualmente de manifiesto.
El problema que tratamos de resolver se reduce, pues, ahora,
a determinar las formas<p N' X N' q'N; Y para este fin vamos a relacionarlas con nuestra divisin de laesfera z. De la ecuacin l2]
se deduce inmediatamente que praw=O es (PjV (ZI' Z2)=0; es
decir, al punto w=O corresponden en la eSfera z los N ceros de'
la forma <P N' Por otra parte. segn los conventos establecidos,
al' punto de ramificacin w =::= O corresponden los centros de las
caras del poliedro (vrtices b de la descomposicin), de los cua-

-186 ,

~)

les en todos los casos hay ; , pero en cada punto de stos con'Curren tres tringulos de cada una de las dos cIases, representados simplemente sobre cada una de las semiesferas, luego dichos
puntos deben contarse como races triples de la ecuacin. Por
consiguiente, estos puntos con la multiplicidad 3 dan todos los
puntos w=O que les corresponden. y, por lo tanto, todos los ceros
de WN' Resulta, pues, que la forma <P N slo tiene races triples y
-en consecuencia, debe ser el cubo de Una forma q>(zl' Z2) de
grado

N
""3:
in
'JJ :1V

-[eo
(z z )]3.
- .a: l't~ : 3 .v 1 ' 2 . ,
1

de la misma manera se ve que al- puntow=l 'li'1--w 2 = O corresponden los ceros de X N=:O, y que stos son idnticos con los

N puntos medios de las aristas (vrtices e de nuestra descom-

posicin) del poliedro contados como dobles; por lo tanto, X,,:

tiene que ser un cuadrado perfecto de una forma de dimeno, N

:Slon -

Finalmente, al punto -w = oc corresponden los ceros de '11" .....

N'
,
'que deben coincidir con los vrtices del poliedro (vrtices a de la
-descornposicin) ; pero en stos se renen en los distintos C?SOs
3, 4 5 tringulos, luego ser:
donde

'1=

B,'l

5;

por consiguiente, la ecuacin ['2] debe tener,. necesariamente, la

forma:
W:

(w1 ~

1 2 ) : W 2 = 1f (2'1 Z2)3: X (ZI' Z2)2: 'f (2 1, z~)V

[3J

siendo los grados y exponentes-de q>, X, tj; Y los valores del grado

N de la ecuacin los que aparecen en la siguiente tabla:

Tetraedro:
Octaedro:
Icosaedro:

1f,3,
1'&3,

9,3; N = 12.

"1.62,

"1. 16

eo 20 3 ' 3X' 02 ,
1

h 4; N =
,1, 5.
'f12,

24.
N -- 60

187-

Vamos, ahora, a probar brevemente que tambin la ecuacin

.del diedro puede quedar zncluda en el esquema [3]. Recordemos
para ello, simplemente, que en el caso del diedro habamos colocado en la esfera 'W los tres puntos de ramificacin en los
puntos -1, +1, oc en lugar de hacerlo en los O + 1, 00 corno
ltimamente, de modo que para lograr una analoga completa,
deberemos poner la ecuacin del diedro bajo la forma:

Ahora bien, de la ecuacin del diedro antes considerada (pgina 170) :

~
W2

Z1

2n

+ Z2 2n

2zt zt

se deduce por una sencilla transformacin:

Wl

+ Z2 2n + 2 zt Z2 n): (Z12n+z22n : 2 zt zt =(zt + zt)2: (zt - z2"')2: 2 (Zl z2t;

+ w2 : Wl -

W2: W2

(Z1 2n

2 zt Z2 n) :

-por lo tanto, podemos, en efecto, agregar a la tabla de arriba:

Los puntos singulares que inmediatamente se deducen de

'esta forma de la ecuacin coinciden. as como sus respectivas
multiplicidades, con los anteriormente sealados (pg. 171).
Tratemos ahora, ya, de la obtencin de las [ormas , X' tJien
los tres nuevos casos, fijndonos ms detenidamente en el octae-dro, caso el ms sencilla, pero limitndonos, aun en l, a una
rpida ojeada, y a veces a simples indicaciones y a enunciar
los resultados finales, remitiendo al lector que quiera ms por-menores sobre este asunto a nuestro libro el icosaedro, fcilmente comprensible.
Iaginemos, para mayor sencillez, el octaedro inscrito en la
-esfera z, de modo que los seis vrtices estn (fig. 46) en

z=O, OO,i.+1, +i.

-i

i, -1.

Entonces las 24 sustituciones lineales de z que representan

-188-

las rotaciones del octaedro, es decir, que permutan entre s losseis puntos nombrados, Se obtienen con gran sencillez. Empece-mos por las cuatro en las cuales quedan fijos los vrtices O e oc :

z'=i'cz

(k=O, 1, '2, 3).

- Adems podemos llevar el punto

[4aJ

a coincidir con el oe por la

sustitucin z' =l, es decir, una rotacin de 1800 alrededor del

eje horizontal

0+ 1,

-1) que hace coincidir cada vrtice de]

-/

octaedro con otro, y aplicando nuevamente las cuatro rotaciones [4 a] se obtienen las cuatro nuevas sustituciones:
Z

-k

=Z

(/c

= 0, 1,2, al.

[4 b]

Asimismo podemos llevar sucesivamente a coincidir con el

punto oo cada uno de los cuatro vrtices z = 1,1, -1, - aplicando las sustituciones respectivas :

2'+1
Z -1 '

z+'i
z -- 1

z-l

z+l

t-i
z+i '

_ _ _ o

que evidentemente hacen tambin coincidir unos con otros los,

seis vrtices. del octaedro y aplicando -nuevamente en cada caso.

-189 -

las cuatro sustituciones L4 a] se obtienen otras 4.4= 16 sustitudones del octaedro:

e'

= i'c

'k

z+l
z-l
Z

+i

=~---.-.
~

z-

(k

,.

= 0,1,2,3).

.k z--t
--

Z'=2

[4 cl

z+i

Hemos encontrado as todas las 24 sustituciones buscadas, y

ahora' se puede confirmar tambin directamente por el clculo
que realmente llevan a coincidir el octaedro consigo mismo, y que
forman un grupo G2~' es decir, que efectuando sucesivamente
dos sustituciones cualesquiera de. ellas se obtiene nuevamente
una de las [4].
Vamos a formar ahora, primero, la forma h cuyos ceros, sim'ples, son los seis vrtices del octaedro: el punto z=O da el factor ZI' el punto z=iOO el factor Z2; los cuatro puntos 1 y i
son races simples de la' forma z / - Z2 4; por consiguiente, ser:
[5 a]

Ms difcil es la construccin de las formas Cfls Y X12 las cuales

tienen por ceros simples los centros de las caras y lospuntcis
medios de las aristas, respectivamente; sin tratar de deducirlas,
nos concretaremos a escribirlas (1)

[5 al
Quedan as determinadas las tres formas, salvo, naturalmente,
un factor constante arbitrario para cada una. Por consiguiente,
representando por Cfls 4J6 y Xl2 las .formas tales como aparecen en
las expresiones [5], habr que introducir en la ecuacin del octaedro [3] todava dos constante indeterminadas c I Y c2 Y podemos escribir :
.
11
. '1 "
.l ' 1 -

W 2''W' 2 -mBC
T8 1

(1) Vase Ihosaeder, pg. 54. .

X12Le
2 ,1.4
1'11

, - 190-

Queda aun por determinar los valores de las constantes c de'

manera que estas dos ecuaciones representen realmente una solaecuacin. entre z y W ; condicin necesaria y suficiente para ello
ser que se verifique idnticamente en Zu Z2 :

y en efecto, hay valores constantes determinados de c l Y C2 que

satisfacen esta condicin como es fcil comprobar: efectuando
las operaciones indicadas, se tiene la identidad:

de modo que la ecuacin [3] del octaedro ser la suma:

[61
Esta ecuacin representa los pu,ntos w = 0, 1, 00, respectiva~
mente, sobre los centros de las caras, los puntos medios die las
aristas y los vrtices del octaedro, con su correspondiente muUi-plicidad, puesto que las formas ip, x, tJ;, ha nsido determinadas j
adems no se alteran aplicando las 24 sustituciones [4}, puesto
que stas transforman los ceros de cada una de las formas <p, X,,-?,
en s mismos, y, por consiguiente. no introducen otra alteracin
en las formas que un factor, y el clculo muestra que estos factores desaparecen al formar los coeficientes que figuran en la ecuacin [6].
Queda por probar todava que la ecuacin [6] realmente representa de un modo conforme cada tringulo, rayado o no UI-yado, de la esfera z en el hemisferio. anterior o posterior, respec-tivamente, de la esiera w , Sabemos, ya que a los tres vrtices de
uno cualquiera de los tringulos corresponden los puntos 0, 1,00
del meridiano real Wj y adems, que la ecuacin tiene 24 races z, para cada valor de w. Como estas races z tienen que distribuirse entre los '24 tringulos de la misma especie, dentro de
cada tringulo no podr tomar 'W un mismo valor ms que una
vez, a lo ms. Si adems demostrsemos que w se conserva real
a lo largo de los tres lados del trin.gulo se podra deducir fcilmente que cada lado est representado unvocamente sobre un
segmento del meridiano real w, y adems, que iodo el: interior

-- 191 --

de cada tringulo est representado conforme, sin cambio de sentido en los ngulos, y unvocamente sobre el hemisferio correspondienie, El lector podr por s mismo deducir esta cadena de
conclusiones, haciendo uso de la continuidad y del carcter de
analtica que posee la funcin representativa 'w(z). Aqu nos concretarernos a la nica parte de la demostracin digna de ser motada: probar la realidad dew sobre los lados del tringulo .
. La manera ms cmoda 'de demostrar esta tesis es dndole
la siguiente forma: w es real en todos los crculos mximos resultantes de la desconuposicuni del octaedro. Estos son en primer
lugar los tres crculos, perpendiculares entre s, cada uno de los
cuales pasa por cuatro de los seis vrtices del octaedro, qe 00rresponden a sus aristas (crculos pririci.p'a les ,. en la figura 46 se
han dibujado de lnea llena) y adems los seis crculos que corresponden a las alturas de las Caras del octaedro, los cuales bisecan los ngulos formados por los crculos principales (c,rculos
secundarios, representados en la figura por lneas de trazos). Las
sustituciones del octaedro permiten transformar cada crculo principal en cada otro principal, y lo mismo acontece con los crculos
secundarios; basta, por consiguiente, probar que la funcin'w es
real en todos los puntos de un crculo principal y en todos los de
Un crculo secundario, puesto que en todos los dems debe entonces tornar aquellos mismos valores. Ahora bien, entre los
crculos principales se .encuentra el meridiano de los nmeros
reales z, y sobre l evidentemente 'es real el valor deducido de
la [6]

puesto que (jl y ~ son polinomios reales en SI y Z2' Entre los

crculos secundarios elegimos el que pasa por O y por O(); ste
forma con el meridano real un ngulo de 45<>, y, por consiguieni1C
4

te, sobre l torna z los valores z = e r, donde r pasa por todos

los valores reales desde -po hasta +00; sobre l es, pes, siemi'lt,r4=_r4
pre z4=e
real y puesto que, segn [5], en (jla Y en la
cuarta potencia de 1Ji6 s,610 entran las cuartas potencias de
tambin, segn esta ltima frmula, es w real.

ZI

YZ2'
.

-192 -

Con esto llegamos ya al final de nuestra demostracin: La

.ecuacin [6J representa, en efe Cito , de un modo. contorme los se~.
miplano de tu esfera w o de una swperficie de Riemanm. e~tendi~
d sobre ella, sobre la descom.:!posVclin triangidar de la esfera z<correspondiente al octaedro ; y, por consiguiente. recprocamente,
conocemos geomtricamente la dependencia entre z y w estable-cuia por esta ecuacin de ion. modo tan completo como en los
ej em:plos anteriores.
Los casos del tetraedro y del icosaedro se tratan siguiendo
"exactamente el mismo mtodo; damos aqu solamente los resultados, que se obtienen partiendo de la posicin ms sencilla po-sible de la divisirrde la esfera z: Se obtiene como ecuacin del
tetraedro (*):

: - 12 V- 3
: [2'4

-+- 2

[2'1

v- 3

z~ (Z 14 ~ Z~4)J2
Z2 z?-+- z2 4

J3

:y como ecuacin del icosaedro (*) :

W1 : W 1 : -

[(ZI

Jl)2: W 2

30

+ Z2

30

== [- (Z'120 + 2'220) + '228 (Z1 15 Z2 5 -l- 5'?2 (Z1 25 2'25

: 1 728 [Z1 Z2 (2'110

Z1 5 Z2

25)

2'152'215) .:.... 4942'1 10 Z2 10 ]3

10005 (ZI 20 Z2 10

+ 11 Z5 Z25 -

-+- ZI 10 Z2 20)J2

Z20)P

-es decir, estas ecuaciones representan de un modo conforme las

semiesferas 'w sobre los tringulo~. rayados y no rayados de las
desco'YrtiPosiciones de la esferaz correspondiente al tetraedro y al
icosaedro, respectivamente.

5.

Sobre la resolucin de las ecueclcnes normales

Vamos a decir algo acerca de las propiedade$ comunes de

'las ecuaciones que hasta ahora hemos considerado como ejemplos de la teora general desarrollada anteriormente, y que' de'signaremos en lo que sigue con la denominacin genrica d
.ecuacione normales, limitndonos, naturalmente, siempre a los
(*)

(*)

Ikosaeder, prrs. 51 y 60.

L. C., pgs. 56, 60.

-193-

<casos ms sencillos, y remitiendo al lector para ms pormenores

al libro. sobre el icosaedro.
Observemos ante todo que la naturaleza extremadamente sen..ciad de todas las ecuaciones normales estriba en que el nmero
de 'sustituciones lineales que las transjorman. en s mismas es'
precisanuente igual a su grado; es decir, .que todas sus races son
funciones lineales de una cualquiera de ellas, y que adems las
divisiones de la esfera ojrecen. una imagen geomtrica sumamente
intuitiva de todas las relaciones. que conviene considerar, El estudio de una cuestin derivada de la ecuacin del icosaedro va a
permitirnos apreciar la sencillez con que aqu aparecen cosas que
en otras ecuaciones de grado tan elevado presentan grandes complicaciones.
Sea .w.o un valor reai, dadoJ.situado, p. ej., en el cuadrante
(1,100) del meridiano real (fig. 47), Y tratemos de ave1'igua1' las
Esfera w

,
/
./

,
I
I

.".-

--

00

'"

.+

1
\

\
\

,
""

.'

'".... _--

.'

. ....

Figura 47

60 races de la ecuacin del icosaedro co-rrespondientes a w=w o'

. Nuestra teora de la representacin hace verinmediatamente que
cada una de ellas tiene que encontrarse en uno
los 60 lados de
los tringu.zos de la divisin de la esferaz (en la figura 45, los
representados con linea llena) correspondiente al icosaedro. Con
esto queda ya hecho lo' que en la teora de las ecuaciones se
llama separacin de las races,' cosa que en la mayora de los
casos representa un fatigoso trabajo que 'ha de preceder al clculo
de las races, y constituye el problema de determinar intervalos
distintos en cada uno de los cuales seguramente se encuentm una

de

1'1

-194 -

sola raz: Y no slo sto, sino que podemos decir tambin, cun~
tas de las 60 ralees-son. reales . "Para ello observemos que en la forma anteriormente indicada de la ecuacin del icosaedro, se imagi. na el icosaedro colocado en tal posicin respecto de -la esfera z,
que el meridiano real pasa por cada cuatro vrtices de cada clase'
a, b y e; luego (vase figs. 44 y 45) cuatro ladosde lnea llena
de los tringulos caen en el meridiano real, y, por lo tanto, hay
cuatro races reales. Lq jnismo ocurre si 'W est en uno de los
otros dos segmentos 'del meridiano real ; luego, siempre, cualquiera que sea el valor real atribudo a w diferente t 0,1, 00,
la ecuaci-: del. icosaedro tiene cuatro races reales y 56 imaginarias; y cuando esw = 0, 1, 00, hay tambin cuatro ralees reales
distintas, pero. mrltVples,
Vamof ahora a decir algo acerca delolculo efectivo de las
races de. la ecuacin normal, Ante todo debemos tener en cuenta
que slo necesitamos calcular una raz de la ecuacin; las dems,
se deducen de sta por las sustituciones lineales; conviene, ade,
.ms, hacer observar que el clculo numrico de una raz cons....
tituye un problema propio del Anlisis, no del Algebra, puesto
que exige .necesriamente la aplicacinde un proceso indefinido
si se quieren representarlos valores generalmente' irracionales
de dichas rafees con aproximacin dada.
Vamos a exponer con algn mayor detalle el ejemplo ms
sencillo que se puede poner, el de la ecuacion. bino-mica.:

con 10 cual nuevamente nos ponernos en contacto inmediato con

la matemtica elemental; pues tambin en ella se trata esta cuestin - el clculo de j-w- al menos para los primeros valores
de n y valores reales positivos de w = r, Los mtodos para el
clculo de la raz cuadrada y cbica son conocidos al lector desde la escuela; se fundan en lo siguiente: Se busca el lugar que
ocupa el radicando w = r en la serie. de los cuadrados. o de los
cubos de los nmeros naturales 1, 2, 3, oo.; recurriendo a la numeracin decimal se hace la misma operacin con las dcimas
.del intervalo considerado, despus con las centsimas, y as se
. contina, hasta lograr la exactitud pedida,

195-

Aplicaremos aqu U1L procedimiento racional, en el que n

puede tomar no slo valores enteros, sino cualquier ~'a~or c;ompiejo de w. Puesto que slo necesitamos determinar Una sol.ucin
de la ecuacin, buscaremos, en especial el valor

z:=;;-;; situado

dentro del ngtdo 2 it contado a partir del eje'l'ealp'ositi"vo. Corno

una generalizacin exacta del mtodo elemental antes indicado,

empezamos dividiendo dichos ngulos en un nmero '1, por ejem;
p 19, de partes iguales (en la fig. 48, '1 = 5); las rectas que lo di-

a
Figura ..8

viden cortan a los crculos de centro O y radios enteros z = 1, 2,

3, ... , en puntos que, una vez fijado '1, son los

z= re

2 i Ji:

k
(

= 0,1,2,

.. '.

z.v- 1)

r = 1,2,3, ...

a los cuales corresponden los valores de

"W

2iJ:10

= e"

= r"

que podemos sealar en seguida en el plano w, y son los vrtices de una red correspondiente (fig. 49), pero que cubre todo el
plano w, y se compone de los crculos de radios P, 2", 3n , ,
as corno de las rectas que forman con el eje real los ngulos
0,

41t

('1 ~ 1)21t

-v-o '

196

El valor dado, w, tiene que estar en el interior o en el contorno de alguna de las mallas de esta red; sea 'w o el vrtice de
esta malla ms prximo aw. Un valor

Zo

de

.corno vrtice' de la red primitiva del plano

.'; W o

es conocido

z; y el valor que

buscamos es:
10 -

100

100

Desarrollando la' potencia que fi'gura ~n este ltimo, miembro

parla frmula del binomio de Newton generalizado, que supo-

Figura 49

nemas conocida, pues de hecho estamos ya en el' campo del

Anlisis, tendremos:
w-

Wo

U'o

L convergencia de esta serie se ve en seguida considerndola

'como el desarrollo tayloriano de la funcin anaiitica ';:w y apli-.
<cando la propiedad de que este desarrollo slo es vlido en el

-197 -

crculo de centro

Wo

que pasa por el punto singular ms prxi-'

Jw

mo a este punto. Resulta, entonces, que como

no tiene
otros puntos singulares que O e 00, este desarrollo es convergente
siempre que 'w se halle en el interior, del' crculo de centro W o
que pasa por el punto cero .y' slo enionces ; y esto lo podemos
alcanzar siempre, partiendo de una red del plano z de mallas
suficientemente estrechas. Pero para que la conoergencia sea
realmente buena, es decir,' 'para que la serie sa prcticamente
aplicable"para el
,

cl'~ulo

numrico es preciso, adems, que

.

W-W
U'o

sea suficientemente pequeo,. lo que siempre se puede conseguir

f
.
'
sin ms que estrechar convehientemente las mallas de la red. Este
procedimiento es muy recomendable para la 'ejecucin prctica
del clculo numrico de una raz.
Es digno de notar que la resolucin numrica de las dems
ecuaciones normales de los poliedros regulares no present er el
fondo ninguna mayor dificultad' que la del caso expuesto. Se
aplica exactamente el mismo procedimiento arriba indicado .a
dichas ecuaciones, partiendo de la representacin sobre la esferw e dos tringulos contiguos, y aparecen entonces en lu.gar de la serie binmica otras series, tambin conocidas y de
, uso corriente en el Anlisis, a saber: las series hipergeomtricas.
En un trabajo mo publicado el' ao 1877 en el -torno XII de
Mathematische Annaten (<< Weitere Untersuchungen ber das Ikosaederw, pg. 575 y' sig.) se hace el estudio numrico de estas
Series (*).

6.

Uniformizacin de las ecuaciones normales por medio

de funciones -transcendentes

Vamos a tratar todava de otro mtodo para la resolucin de

las ecuaciones normales, que se caracteriza por el empleo sisiemtico de funciones transcendentes, En.l,en lugarde operar en:
cada caso particular con desarrollos en' serie en el entorno de
una solucin conocida, se re:p'resentan de una vez para siempre
los pares de valores w y z q~e satisfacen a ,la ecuacin; por medio
(*) Vase tambin : Klein, Gesasnmeite nuh.ematiscse A bhandlungen ,
tomo 11, pg. 331 Y. siguientes.

-- 198 -

de funciones analticas uniformes de unavariabl'e auxiliar,o, como

suele decirse, se unifqrmizan las irracionalidades definidas por la
ecuacin. Si as Se llega a funciones que se pueden tabular fcilmente o de las que ya se tienen construdas tablas numricas,
entonces puede obtenerse la solucin nuanrica de la ecuacin
sin nuevos trabajos calculatorios. Voy a tratar con tanto mayor
gusto de esta utilizacin de las funciones transcendentes cuanto
que en la enseanza secundaria s recurre a ellas en algunos
casos, pero de un modo poco claro. casi misterioso; la razn de
ello estriba en estar todava apegados a concepciones antiguas
e incompletas en cosas que' la moderna teora de funciones de
variable compleja hace tiempo que ha adaradototalmente.'
Vamos -a aplicar estas indicaciones generales, en primer trmino al caso de la ecuacin binmica, Ya en la segunda en.'~ean.
za la solucin positiva r = z", para r real y positivo, se calc,ula
]O~

-n-r-

logaritmicamenie ponindola bajo la forma. z = e

y tomando
para log r el valor principal positivo del logaritmo, Las tablas de
logaritmos nos dan este valor, y luego, inversamente, el valor
, , 'o anti'1 ogantmo
itrno r! e---,
l'ag r
d. e z como numero
11

SIi

bilen se emp 1ea

ordinariamente 10. como base en lugar .de e," Esta solucin se

generaliza inmediatamente a: valores complejos; la ecuacin:
zn=,w

se resuelve introduciendo x como logaritmo complejo g-eneral de

'W y expresando "w' y z corno funciones analticas uniformes de x ~
x

z=e

De este modo,' teniendo en cuenta la multiformidad de z==logw

(ms adelante hablaremos de modo ms preciso de esta funcin)
resultan, en efecto, para un mismo valor de 'W, n valores de s.
La variable x se denomina tiariable uniformizante.
Ahora bien, corno nuestras tablas slo contienen los logart~
mos reales de los nmeros reales, parece que no puede obtenerse
numricamente de un modo inmediato la solucin indicada; pero
con el anlisis de algunas sencillas propiedades de los logaritmos,

-199 -

puede reducirse el clculo al em.pleo de cualesquiera tablas trigo-nomtricas corrientes.

En efecto, poniendo

u + iv = IVu2+ v21[ 'u2 2 +

Vi] "
1 1 Vu + v !
IVu2+ v 1

w=

~l

primer factor, como nmeroreal y positivo; tiene un logaritmo

real; el segundo, como magnitud de valor absoluto 1, tiene un
logaritmo imaginario puro ir; (esto es, el segundo f-actor es e i'f)
.y r;se calcula por medio de las relaciones:

- - - . . = sen <p.

V u + v2
2

[a]
.

Resulta, pues,

x = lag w = lag I V u 2 + v2 1 + i <p;

y, por 10 tanto,como raz de la ecuacin:
z=e

x
n

~ logIV~'+v'I

~ i'f

,.

,es decir,

z=,u
V

+ W"

:=

1- Iog IVu'+ v'l

n

(<P
"
<p
cos n + ~ sen n

[b]

Puesto que <p est determinado, salvo un mltiplo de 2'lt", esta

frmula da tambin todos' los 11, valores de las races, y ahora ya
~se puede determinar con auxilio de las tablas de logaritmos naturales y trigonomtricas : primero r;, por medio de las frmulas (a), y despus :3, utilizando la frmula (b). Hemos obtenido
'esta solucin trigonomtrica de un' modo conipleiaonente naiurol, partiendo de los logaritmos de los nmeros complejos;
pero si se supone que n9 se conocen estos logaritmos y se quiere, sin embargo, deducir esta solucin trigonomtrica-e-que es lo
que suele hacerse en la enseanza secundaria-s-por fuerza tiene
'que aparecer tal solucin como algo completamente extrao e
incomprensible.

-200Ahora bien, hay un punto en la enseanza de la matemtica

elemental en que se presenta la necesidad de extraer races de
nmeros 'no reales: la llamada frmula cardnica de resolucin.
de las ecuaciones de tercer grad~; y sobre ella vamos a hacer al,gunas observaciones. Dada la ecuacin cbica en su forma reducida:
x 3+px - q =0,
[1]
la frmula de Cardan dice que sus tres r~ces
contenidas en la siguiente expresin :

Xl'

X2

Y X a estn

[2]
Puesto que cada uno de estos radicales cbicos. tiene tres va- .
lores, resultan para la expresin nueve valores diferentes, en general ; entre ellos se determinan Xl' IX2, xa'por la propiedad de ser
.ei prodsscto de los dos radicales cbicos que en cada uno de ellos

nterv'enen igual a ~ L. Ahora bien; si se sustituyen los coe" 3

ficientes de Ja ecuacin por' sus expresiones como funciones simtricas de Xl' X;l y X a y se tiene en' cuenta que el coeficiente
dex.;l es Xl +.x:~ + X a = 0, resulta:
'
"

es decir, el radicando del radVcal cuadrtico es, salvo Un factor,

n.egativo, igual al discriminante de la ecuacin; de donde se
deduce inmediatamente que dicho radicando es negativo, cuando las tres races son reales, y positivo cuando una raz es rea]
y las otras dios imaginarias conjugadas. Resulta, pues, queprecisarnente en el caso aparentemente ms sencillo de una ecuacin cbica, el de que las tres races sean reales, la. frmula de'
Cardan exige extraer una raz cuadrada de un nmero negativo, y despus una raz cbica de un nmero complejo.
Esta marcha a travs del cam po complejo tena que parecer a
los antiguos algebristas de aquel tiempo en que se estaba muy
lejos de la teora de los nmeros complejoS~j unos 250 aos an-

- 201. tes de que Gauss diese su interpretacin geomnica en el plano,

complejo !~algo completamente imposible.
Se hablaba del Casus irreducibilis de la ecuacin cbica y
sI( deca que en l la solucin dada por la frmula de Cardan
careca de sentido; y cuando ms tarde se descubri que prectsa-.
mente en este caso existe una relaci sencilla entre Iacuaciow
cbica y.la triseccin del ngulo y en sustitucin de la frmula
de Cardan, que haba cado en defecto, se obtuvo una solucin
trigonomltrica en el campo real, se crey haber encontrado algo
completamente nuevo que no guardaba la menor relacin conaquella frmula. En este lamentable estado hllase, pordesgracia,
todava hoy la enseanza elemental.
En contraposicin a esto debemos hacer notar sealadamente'
que la soluciontrigonomtric'a no esotra cosa que la aplicacin
del procedimiento algortmico general antes expuesto para el
clculo de las races de cantidades complejas; por esta razn re-.
su ita de un modo completamente natural cuando, al calcular, numricamente la frmula de Cardan, en el caso de ser complejo el
radicando del radical del tercer grado, se hace una transformacin
tan sencilla como la que en la enseanza elemental se emplea
cuando los radicandos son reales. En el caso que nos ocupa, seprocede del siguientemodo. Suponemos que es

.!L+L<'
4
27 . '
para lo cual, siendo q real, es necesario que sea p<'O. Poniendo
el primer radical cbico que aparece en [2J bajo la forma:
3

V~+iIV~~- ~; l'
se ve que su VEdar absoluto, como raz cbica positiva del valor
absoluto

IV

~;- del radicand~,

e,s

-3

I ;

:ero corno

SU"

producto por el segundo radical cbico debe ser igual a ~ ~', el

valor de este segundo radical tiene que ser siempre conjugado;

202-

del valor del primero, y la Suma de ambos, solucin de la ecua-cin cbica, es,' por lo tant?, sencillamente el doble de Su parte
real:

Apliquemos ahora exactamente el mismo procedimiento general de la pgina 1~J9. Esc-ribiremos el radicando, sacando factor
comn su mdulo, en la forma:

+i

IV-f-~ll
IV~~; I

.Y determinaremos un ngulo (( por las ecuaciones:

..!L
2
. ' cos 'P = '""--;--;:====-;-

sen 'P , .

111- ~; \

IV-- f~-fl
111 -~; 1

:y entonces la raz cbica buscada, teniendo en cuenta que la raz

-cbica positiva de

IV- ~; I

V~ ~ 1

es,

IV- ~ 1; ser:

(cos ;

+ i sen ~),

-obteniendo, por consiguiente, si se observa que rp est determinado, salvo un mltiplo de 2'1t :
(k

= 0,1,2)

-que es, exactamente, la forma usual de la solucin trigonomzrica.

Perrnitasenos con este motivo una breve 'digresin sobr la

203-

expresin Casus irredcioiiis: Se usa aqu el calificativo irreducibleeen un sentido completamente diferente al en que hoy
gen.eralm,ente Se emplea y frecuentemente hemos utilizado en, estas lecciones; se quiere expresar con l que la solucin de la
'ecuacin cbica no puede reducirse a radicales cbicos -de nm,erosreates, lo cual no tiene la menorrelaci6n con la moderna
significacin de este adjetivo. Se deja ver claramente cmo en
esta regin de la materntca, esta desgraciada denominacin as
como el temor tan generalizado que inspiran los nmeros complejos, dan -origen a la posibilidad, al menos, de equvocos e in-,
com,prensiones; vivamente deseo qlle estas observaciones mas
-contribuyan a evitar que tales errores subsistan y se propaguen.
Veamos, ahora, siquiera sea brevemente, cmo se llega a la
.uniformizadn d las otras ecuaciones normales, valindose de
lunoiones transcendentes.
Sea, en primer lugar, 'la ecuacin del diedro

. Poniendo w = cos cp, la aplicacin de la frmula de Moivre

hace ver que la ecuacin se satisface idnticamente por el valor

(J)

z=cos""";'-

'rp

+ isen -n

..

Corno todos los valores cp +2 k'lt' Y 2 k 'lt'-cp dan el mismo

valor w, esta frmula da, en efecto, para cada valor de 'W, 2 n
races z, que podemos escribir :

e = cos <p + 2 k

i sen <p

+2k
n

(le = O; 1,2,

n"':" 1).

Para las ecuaciones del octaedro, tetraedro e icosaedro, no bas,

tan ya estas. funciones transcendentes elementales, pero Se
obtiene una! solucin completamente anloga utilizando las fundones etpticas modulares.
Aunque esta solucin sale de los lm,ites de la matemtica
elemental, vamos a indicar, sin embargo, la frmula correspon-

204 -

-e

diente para el icosaedro, al menos (*). Estas frmulas guardan

una intima relacin con la resolucin general de l ecuacin. de
qusnio grado por medio de funciones elPtica.s, de la cual slo se
hacen ligersimas indicaciones en los libros y sobre la que ms
adelante aadiremos algunas palabras aclaratorias. La ecuacin
del icosaedro tena la forma (pg. 186)
W

<p~~ (Z)3

=----.-~12 (Z)5

Identificando ahora 'W con el invariante absoluto, J, de la teoria

de las funciones elpticas, y considerando ste como funcin del
cociente de perodos

(,F'"=
.

'OlJ(en la notacin de Jacob; ik') es

012

'.

decir, poniendo :

donde g2 Y ~ son ciertas formas transcendentes' de dimensiones

~4.y "':-12, respectivamente, en Wi Y W 2, que desempean un irnportante papel en la teora de las funciones elpticas. Introduciendo la notacin abreviada de Jacobi, de uso general,
-

q=e

ircOl

=e

k'

.1C---~

las racesz de la ecuacin del icosaedro vendrn expresadas por

el siguiente cociente de las funciones Ij de Jacobi
3

z= - q

fh (2 1t 0l1' q5)
61 (1t 0l1' q5)

Teniendo en cuenta, que la funcin w('lP) deducida de la primera ecuacin es infinitiforrne, se demuestra que esta frmula da
para un mismo valor de w precisamente todas las 60 races de la
ecuacin del icosaedro.
(*) Ma,them. Annalen , tomo XIV, pg. 111 Y siguientes. Klein,Gesammelie mathem, Abhandlungen, tomo III, pg 13 Y siguientes. lhosaeder,
pgina 131.
'

205-

7. ' Resolubilidad por radiales

, Hasta ahora nada hemos 'dicho de una interesante cuestin
de la teora de las ecuaciones normales, a saber:
AtjMrtan esta clase de ecuaciones algebraicas algo realmente
nuevo, o pueden reducirse a otras y, en particular, a una sucesin
de ecuaciones binrnicas? En otros trminos: N o se podr expre_
sar la solucin, z, de las ecuaciones, en funcin de w, por medio
de un nmero Hnito de radicales, superpuestos?
En lo 'que respecta a las ecuaciones del diedro, tetraedro y oc:
iaedro, la teora a,lgebraic"t permite reconocer fcilmente que, en.
efecto, pued,en reducirse a ecuaciones bin-micas, Fijndonos en el
caso de la ecuacin del diedro:
,

,1
e

zn+~=2w

basta poner
ZR=y-e

y la ecuacin se transforma en .Ia

de la cual se deduce inmediatamente:

e:

1/]

V w2

'y, por lo tanto,

z=

V-w---:lr/1=V2==-=1=,=-

con lo cual se obtiene la solucin buscada en funcin de radi,cales,

Por el contrario, para la ecuacum del icosaedro no es posible \
encontrar una solucin que sto dependa de radicales por consi"guiente, esta ecuacin define, una funcin algebraicl esencialmente nueva. U na demostracin mu,y intuitiva: original ma, publicada en el tomo 61 (1905) de Matliem. Annalen. C~') se basa
(*) Pgs, 69~:}71 : ,HBeweis fr die Nichtauflosbarkeit des Ikosaedergleichung durch Wurzelzeichen. Puede verse tambin en: Klein : Gesammelte
maihemaiische Abhandtungen, tomo l l , pg, 385.

206-

en la consideracin de la formacin tericofuncional ya explicada de la' funcin icosadrica z('w). Lo nico que se necesita
suponer conocido es el siguiente tema de Abel, cuya demostracin puede verse en cualquier Tratado de Algebra: Si 'una ecuacin se puede resolver por una sucesin finita ele radicales, todo
radical que en sta aparezca se pru,ede expresar C'Omo funcin racionalde las n races de la ecuacin dada.
Apliquemos ste al caso especial de la ecuacin del jcosaedro. Supuesto que su raz, z, venga expresada por na serie de
radicales que recaen sobre los coeficientes de la ecuacin, es decir,
sobre funcfones racionales de w (vamos a demostrar que esta:
hiptesis conduce l una contradiccin), todo radical que en la frmula aparece debera ser igual a una funcin racional de las 60
races
Como todas las races de la ecuacin del icosaedro se deducen de una de ellas por sustituciones lineales, podemos reemplazar esta ltima expresin sencillamente poi- Una funcin racional
R (z) de z solamente. Consideremos ahora esta R (z) como {uncin
de w, poniendo en lugar de z los' 60 valores de la funcin ic~
sadrica 'w (z). Puesto que tqdo circuito en el plano 'W, que haga
volver z a su valor del punto de partida, necesariamente hace
que tambin R (z) vuelva a tomar su valor primitivo, +R Ez 0w)J
slo podr tener puntos de ramificacin en los w = O, 1, IXJ en
que tambin los tiene z (w), y el nmero de las hojas de la superficie de Riemann que vienen a. reunirse en ciclo en cada uno
de estos puntos debe ser un divisor del nmero correspondiente
a z (w), el cual, como sabemos, es igual a 3, 2, 5, respectivamente. Toda funcin racional R(z) de una raz del icosaedro y,
por lo tanto, todo/radical que aparezca en 1/1 supuesta frmu,[a de
resolucin se puede mirar, por consiguiente. como funcin de w,
si slo tiene de ramificacin' los puntos w=O, w=l,w=(X); y
en este caso se renen en los puntos O, 1 e OO, tres; dos y cinco
hojas,respectiva'mente, de su superficie de Riemann, puesto que
3, 2" 5, no admiten ningn divisor comn fuera de la unidad.
Veamos, ahora, CmO puede encontrarse Una proposicin en
contradiccin con sta. Para ello consideremos el radical ms interior que figura en la expresin hipottica de z(w).

207-

El radicando correspondiente a este radical ser, pues, siempre una funcin racional PQw) y el ndice del radical, p, se p'uede suponer primo, puesto 'que cualquier radc~l puede con~ide
rarse como compuesto de' radicales superpuestos .de ndices primos. Adems, P(IW) no puede ser ninguna potencia p-sima deuna funcin racional p('w), pues de otro modo sera nuestro radical superfluo, y podramos aplicar nuestro razonamiento al si-o
guiente radical realmente necesario.
Veamos, ahora, qu clase de ramificaciones puede poseer
p

la funcin . P(w) ; opara ello, lo ms cmodo es escribirla en

coordenadas homogneas:
P(w) = g(w 1 w2 )
h (w1' w2)

siendo g, h ; formas de igual dimensin d las variables ha..

mogneas w p w 2 '

(w=:~

)..

Segn el teorema fundamental deE

Algebra podemos descomponer g y h. en factores lineales, y ser:

P(. w) =

l a. m ~ n T o "

o--~,----

r" m'~' n'T'

debiendo verificarse, por la igualdad de dimensiones del numerador y denominador:

a+'(3!+-r+ oo.=a' +13'+1,' +oo.

Ahora bien, todos los exponentes a,~,
a', :~', oo. no pueden
ser divisibles por p, puesto que entonces P sera una potencia per, fecta de grado p, y como adems la suma a + pI + o o., ~ a' ~I~' - o' ~s
igual a cero, y divisible, por lo tanto, por p, no podr ocurrir que
slo uno -deestos nmeros no sea divisible por p, sino que tendr
que haber dos, por lo menos, que tengan esta propiedad. Los:
ceros de Zo,s}aetores lineales correspondientes deben ser, por con- .
OO"

siguiente, los dos puntos de ramificacin de . P('w), en cada una

de los cuales hay p hojas que se unen en ciclo. Esta consecuencia
constituye la contradiccin buscada con la proposicin antes me np--'

donada tambin aplicable a

. P(w);

y, en efecto, habamos ya

208-

'enumerado todas' las ramificaciones posibles y entre ellas no hay

dos en las que se unan el mismo numero de hojas. Resulta, pues,
,que Ia hiptesis hecha es falsa y, por consiguiente, la ecuacin
del icosaedro s irresoluble por, radica les.
Esta demostracin se basa esencialmente en que los nmeros carocteristicosdel icosaedro, '3, 2, 5, son -primos entre s. Si tuvieran un divisor cornnvcomo ourre con los nmeros 3, 2 Y 4 del
octaedro, podra haber funciones racionales R [z ('.t,) ] que en dos
plintos presenten igual clase de ramificacin, por ejemplo, una
'funcin con' dos hojas que se unen en cada uno de los puntos
1 y 00, y stos pueden, entonces, expresarse realmente como
races de una funcin racional P ('w). Por esto, en el caso del
octaedro como en eltetraedro (con los nmeros 3, 2, 3) y en el del
,diedro (2, 2, n), su ecuacuin. es resoluble por medio .de radicales.
Estos resultados nos dan ocasin para formular, con carcter general, una observacin, a saber: la escasa relacin que el
tecnicismo, 'generalmente usado entre las gentes quese ocupan
.con la matemtica, guard~ con los 'progresos de la ciencia. Se
emplea hoy la palabra raz, casi generalmerlte, en nos sentidos diferentes: uno, para designar la solucin de cualquier ecuacin algebraica,
otro, ms particular, para la de una ecuacin
"binrnica, Este ltimo uso, aun procede, naturalmente, de ~na
poca en que no se consideraban otras ecuaciones que las binomias; pero el continuarlo hoy, si no precisamente ,perjudicial,
por lo menos es inconveniente,; vase, por ejemplo, lo que ocurre al decir: las races de una ecuacin no son expresablespor
radicales, Todava hav otra frase que ~e presta a mayores confusiones y que se repite desde los comienzos del A.1gebra,a saber: las ecuaciones .algebraicas que no se pueden resolver por medio de radicales, es decir, no reducibles a ecuaciones binny,icas,
no son olgebroicamenie resolubles. Esto se encuentra enla ms
flagrante contradiccin con fa moderna significacin del calificativo algebraico. Hoy se d,ebe decir que 'una ecuacin es resoluble aigebraicamenie, cuando Se puede reducir a ttna cadena de
,ecuaciones, lo ms sencillas posibles, en las cuales se pu,eda'ver
.de modo tan completo la dependencia funcional de sus saludon'es respecto de sus parmetros, con conexiones entre sus diferen.ies races, eie., como desde aniig uo ocurre en Las ecuaciones ibi-

ir

o!

. .

-209 -

nmicas, aunque no es pr,eciso que aqullas sean de esta misma

clase. En este sentido puede decirse que la ecuacin del icosaedro es resoluble alge.braicamente; pues las consideraciones hechas anteriormente, muestran con toda precisin que se Ruede
construir su teora de un modo que satisface plenamente a todas
las exigencias, El hecho de no ser resoluble por. medio de radicales hace ,que, por el contrario, tenga un especial inters, puesto'
que as aparece conto ecuacin normal apropiada, 'a la cual se
.tratar de reducir otras ecuaciones que tampoco son resolubles
algebraicamenie, segn. el concepto antiguo, para poder darnos
cuenta completamente de su solucin.
\
Esta observacin nos conduce ahora al examen, de esta cuestin, que constituir la ltima parte de este captulo.

8.

R,educcir de las ecuaciones generales a eeueeiones normeles .

Se demuestra que pueden r~ducirse: la ecuacin general de

tercer grado a la ecuacin del diedro para n = 3; la 'de cuarto
grado a In del tetraedro u octaedro; y la de quinto grado a la del
icosaedro: Este resultado es el triunfo ms reciente de los poliedros regulares, que desde el principio de la historia de las matemticas han desempeado siempre un importante papel y que
ahora han intervenido en los ms diversos campos de la moderna'
Matemtica .
. Para mejor fijar las ideas y hacer ms comprensible 'el senti. do de esta afirmacin general, vamos a fijarnos en el caso de la
ecu~cin de tercer grado, aunque sin pretender demostrarlas frmulas con todo detalle. Supondremos escrita la ecuacin cbica
en la forma reducida:
[1]
Sean ,xll x 2 Y %3 sus soluciones; tratemos de formar una funcin racional z de stas, talque al efectuar las seis permutaciones
entre ellas, la funcin experimente las seis sustituciones lineales
del diedro para n= 3, es decir, tome los valores

e,

e e,

E2

z '

Z "

(, donde

2iJ')

e--3-

14

210-

Se ve 'fcilmente que
12']

satisface a estas condiciones. La funcin didrica,

+ L3

de
e '
estas magnitudes debe quedar invariable para todas las permutaciones de las x, puesto que las seis sustituciones lineales de z la
dejan invariable; por consiguiente, en virtud' de un conocido teorema de Algebra, puede expresarse como funcin racional de los
coeficientes de la [1] ; y,' en efecto, el clculo da:
Z3

. 1.
q2
+
-= - 27 -- e3 .
p3

2.

Z3

[3]

Recprocamente, si se ha resuelto esta ecuacion del diedroy zes 'una de sus races,
la
relacin [2] junto con las
.
.

permite obtener los tres valores x p x 2 Y x 3 en funcin racional dez,p y q; se encuentra as:
3q
,dI + z)
x 1 -_--o
,
P
I + ,e3
X2

_ 3iL
=
P

xs=

_ 3q .
p

se 1 + s z)
1 + e3
~2 Z (1

1+

S2

e3

s)

[4]

Resuelta, pues, la ecuacuin del diedro [3], estas formulas dan

inmediatamente la solucin de la ecuaciw cbica [1].
De un modo completamente semejante, se opera la reduccin.
de .las ecuaciones generales de cuarto y quinto grado. Las ecuaciones resultantes tienen forma ms complicada, naturalmente,
pero en esencia no ms difciles; la nica diferencia est en que
el parmetro' w de la ecuacin normal, que antes se expresaba racionalmente en. funcin de los coeficientes de la ecua-

211-

cin (2'w= -27 L -2), ahora contiene radicales c;uadrt'icos.

p3
ElIector podr hallar esta teora para l,;t ecuacin de quinto grado en sus relaciones con el icosaedro, expuesta detalladamente
en la segunda parte de mis lecciones sobre el icosaedro, en la
cual no slo aparecen calculadas las frmulas, sino explicadas
con toda precisin las razones por las cuajes se logra llegar
las ecuaciones buscadas.
Permtasenos, por ltimo, una palabra sobre la relacin entre
estos desarrollos y la teora ordinaria de las ecuaciones de tercero, cuarto y quinto grado. En lo que se refiere a las soluciones
ordinarias de las ecuaciones cbicas y bicuadrticas, pueden
obtenerse de nuestras frmulas, con transformaciones apropia-,
das, util izandoJa solucin, por medio de radicales, de las ecuaciones del diedro, octaedro y tetraedro,
'
En cuanto a las ecuaciones de quinto grado, la mayor parte
de los libros se 'limitan, por desgracia, a establecer el resultado
negativo de que no pueden resolverse por Una serie de radicales,
y, cuando ms, agregan simplemente la obscura indicacin de
que es posible su solucin por medio de funciones elpticas (mejor dicho sera: funciones modulares elpticas). Es de lamentar
esta expresin que antes dificulta: 'que favorece la exacta cornprensin del problema. En efecto, resumiendo lo que hemos
visto en esta rpida ojeada, cuando distinguimos en el problema
la parte algebraica y la analtica podemos decir:

1:' La ecuacin general de quinto grado no pu.ede reducirse

a ecuaciones bin micas, pero siempre se logra, y ste es el proble
ma caracterstico de la solucin algebraica, su reduccin a la
ecuacin del icosaedro como la ms sencilla ecuacin normal.
2. La -ecuacion del icosaedro se puederesol'ver por inedia de
funciones modulares elpticas, resultando as un procedimiento de
c'lculo numrico anlogo a la solucin de las ecuaciones binmicas por medio de logaritmos.
, Con esto queda completa la solucin del problema de la ecua...
cin de quinto grado. Seve bien, con este ejemplo, que el matemtico, cuando siguiendo el 'camino ordinario no llega a la solucin del problema que le ocupa, no debe resignarse a establecer.
la imposibilidad, sino que debe llegar al punto en que radica el

212

fondo de la dificultad y tratar de superarla. El pensamiento matemtico, como tal, no tiene lmites ; as, cuando alguien opina que
en un cierto punto una cuestin sale del terreno. matemtico, es
seguro que all empieza 10 realmente interesante de la' solucin
del problema.
Sealaremos, por ltimo, que estas ,teoras no terminan con la
ecuacin de quinto grado, sino que pueden establecerse propiedades .en todo anlogas para las ecuaciones de sexto grado y grados superiores, con tal de 'que se recurra a las figuras anlogas a
los cuerpos regulares en espacios multidimensionales,
El lector que quiera informarse con ms' detalles sobre este
punto puede consultar mi Memoria: Uber die Auflosung der allgemeinen; Gleichung fiinften una' sechsten Grades (1) y los trabajos de P., Gordan
(2) y A. B. Cable (3), con ella relacionados.
.
En este ltimo, toda la exposicin aparece notablemente simpli.'

~~.

'

(1) [ournol fiir reine und angewandte Moihematite, tomo 129 (1905)
pg. 151 Y sig.; y MClIthema.tischen Annalen, tomo 61 (1905), pg. 50 Y siguientes. Tambin Klein, Gesammelte matliemasche Abha,ndlugen, tomo
II, pg. 502 Y 503.
' ,
"
'
(2) MCD.th. Ann., tomo 61 (1905), pg. 50 Y tomo 68 (1910), pg. 1.
(3) Ma,th. Ann., tomo 70 (1911), pg. 337,