APENDICE L—ART | m
Apéndice I
SOBRE LA IRRESOLUBILIDAD DE ALGUNOS PROBLEMAS
A lo largo de esta obra y especialmente en el tomo 1, hemos hecho refe-
rencia a algunos problemas irresolubles, como el de la cuadratura del circulo,
triseccién del angulo, duplicacién del cubo, etc Suponemos en el lector
estudioso la natural curiosidad por saber cémo es posible ofirmar su irreso-
ubilidad.
Los problemas de solucién negativa suclen ser los més arduos de la Mate-
matica. En todos ellos la evolucién ha sido la misma: Siglos.enteros de mtl-
tiples intentos para resolverlos; cuantos més fracasos acumulados més inten-
80 el estimulo y el afén de gloria por resolverlos. Con frecuencia, al impulso
de ese afan y al margen. del problema central estimulante han surgido teorias
enteras de fecundidad insospechada, premio acaso providencial a tanto es-
fuerzo mal dirigido. Hasta que al fin un genio ha sabido penetrar més profun-
damente en la esencia de la cuestién, descubriendo o demostrando la impo-
sibilidad de la solucién perseguida.
Nos ha parecido que el modo més sugestivo de epilogar la répida excur-
sién por el campo de la Geometria elemental contenida en esta obra, era
brindar, al lector curioso ¢ iniciado. algunas muestras de cémo el ingenio
de los matematicos ha logrado vencer tales dificultades, esforzindonos en
poner de relieve, en forma lo més clara posible, los puntos esenciales de sus
razonamientos.
Los’ conocimientos indispensables para entender este apéndice son los
cortientes en un primero y segundo curso universitario de Andlisis matemé-
tico, y. en especial: Los teoremas generales sobre divisibilidad de polino-
mios y las propiedades de las funciones simétricas de las rafces de una ecua-
cién algebraica (para los articulos 1.°, 2.° y 3.‘); la formula de Euler y algu-
nos conocimientos sobre series (para el artfculo 4.°).
Para su redaccién nos han servide de gufa provechosa las siguientes obras:
Rey Pastor: «Lecciones de Algebray.
Kew: uLecons sur certaines questions de Géométie élémentairen.
Enriques: «Questione riguardante le Matematiche elementarin. Tomo Il.
Déaries: «Triumph der Mathematik».28 apenpice L—art. —8§ 1. 2, 3 4
ArticuLo |.—GENERALIDADES SOBRE CAMPOS DE RACIONALIDAD
1. Campos de racionalidad— Llamase campo de ragionalidad a un
conjunto de ntimeros que contiene la suma, diferencia, producto y cociente de
dos cualesquiera de ellos. El campo de racionalidad més sencillo es el cons-
tituido por todos los niimeros racionales, y le designaremos por R. Cualquier
otro contiene a éste, puesto que contiene la unidad como cociente de dos
niimeros iguales. los enteros como suma o diferencia de unidades. y los racio-
nales como cocientes de enteros.
2. Ecuaciones reducibles e irreducibles en un campo—Una ecuacién
algebraica f(x)=0, de coeficientes pertenecientes a un cierto campo de racio-
nalidad C, se llamara reducible o irreducible en dicho campo segin que f(x)
se pueda 0 no descomponer en producto de polinomios de coeficientes per-
tenecientes al campo (*).
Toda ecuacién f(x)
reducible, es decir, de la forma f,(x), f(x), -» Aqlx)=0
se resolver mediante las de grado menor f,(x)=0, falx)=0, ....falx)=0. Los
problemas de resolubilidad de ecuaciones en ciertos campos se hallan, pues,
intimamente ligados a los de reducibilidad de sus primeros miembros en di-
chos campos, de aqui el interés que tiene el estudio de condiciones de redu-
cibilidad
3. Teorema de Abel.— Si una ecuacién Flx)=0 de coeficientes perte-
necientes a un cierto campo C, admite una raiz de otra ecuacidn f(x)=0, irre-
ducible en dicho campo (de coeficientes pertenecientes asimismo a él) admite
todas las demés raices. De otro modo: F(x) es divisible por f(x)
En efecto, por hipétesis. los polinomios F(x) y f(x) tendrén un maximo co-
min divisor de grado >I, el cual ha de coincidir (salvo factor constante) con
Ax), pues de lo contrario f(x) seria divisible por él, y ya no seria irreducible
la ecuacién f(x)=0
Corolarios:
|. Ninguna raiz de una ecuacién f(x)=0 irreducible en un campo C puede
satisfacer a otra de menor grado y de coeficientes en C. De otro modo:
UU. Si una raiz de la ecuacién, irreducible en C, £(x)=0 satisface a F(x)=0
de coeficientes en C y grado menor, F(x) es idénticamente nulo. Por anularse
para mas valores que indica su grado.
Ill Si dos ecuaciones f(x)=0 y F(x)=0, ambas irreducibles en C, tienca
una raiz comin, las tiene todas, es decir, son equivalentes.
4. Ampliacion de un campo de racionalidad.— Ampliar un campo C por
adjuncién de un cierto nimero @, no perteneciente a él, es formar otro
campo C,. combinando mediante las operaciones racionales los mimeros de
C con a. Le designaremos mas expresivamente por C, [C, a]
(°) La distincién de reducible 0 irreducible en un campo éélo se aplica a las ecuaciones
cuyos coeficientes pertenecen al mismo, pues si los coeficientes de uma ecuacién no pertenecen
8 un campo C es claro que no puede ser reducible en él, Al hablar, pues, de ecuaciones
wreducibles en un campo C daremos por sobreentendido que sus coeficientes pertenecen a C.APENDICE ART, 1.—§§ 5 ¥ 6 m9
Asi, por ejemplo, .combinando racionalmente todos los niimeros racionales
del campo R con la /2, se obtiene un nuevo campo R, [R, V2] al que pette-
necen, por ejemplo, los némeros
S-Via2Ve-sve, 3¥2ra. ,
V8-Vi0=2V2-5V8; Wa te.
Podemos ampliar ahora C, por adjuncién de un nuevo némero 8 mo perte-
necienté a él (y, por tanto, tampoco a C), dbteniéndose un campo que desig-
naremos por C, [C, a, 6]; y luego adjuntar y formando anélogamente
Cy IC. a, 8, y], y asf sucesivamente; pero recalquemos nuevamente que @ no
debe pertenecer a C, ni 8 a C,, ni + a C,, etc.; de otro modo la ampliacién
seria ilusoria.
Asi, por ejemplo, el campo R, [R, ¥2, 73] no se amplia por adjuncién
de ¥6-por sep ¥6=i/2- 4/3, es decir, funcién.racional de V2 y V3, y por
tanto perteneciente a R,.
5._ Irracionales cuadréticos.—Supongamos, como en el ejemplo anterior,
a= 1c, siendo c perteneciente a C; B= ¥/¢,, c, petteneciente a C,: y=,
perteneciente a C,, y asi sucesivamente. Resultan asf campos ampliados cada
uno de ellos con la raiz cuadrada de un numero perteneciente al campo ante-
rior (pero no perteneciente ella misma a dicho campo). Todos los ndmeros
pertenecientes a estos campos ampliados (y no al C) se Iamardn irracionales
cuadrdticos respecto a C. Cuando no se especifique el campo C de partida
se entender& que se trata de un irracional cuadrético con relacién al campo R
de los nimeros racionales.
Si queremos poner de manifiesto el mimero A de radicales agregados al
campo primitivo expresaremos el irracicnal cuadrético que los contenga por
GAC, Ve, Vey ..., Vex] y le Hamaremos irracional cuadratico de orden n.
Para indicar que ninguna raiz pertenece al campo de racionalidad de las pre-
cedentes diremos que dichas rafces son racionalmente independientes.
Todos Ios irracionales cuadrdticos respecto de C son, en definitiva, resul-
tados de combinar (en mimero finito de veces) los mimeros de C mediante
Jas cuatro operaciones racionales y la extraccién de la rafz cuadrada.
6. Campo obtenido por adjuncién de una raiz de ecuacién irreducible.
Adjuntemos a un campo C de racionalidad, una rafz @ de una ecuacién flx)=0
irreducible en dicho campo, es decir,
IDE + ax? +2? +... + aQ=Elx—a) fled;
por tanto, a no pértenece a C.
Todo niimero k del campo ampliado sera, pues, una funcién racional de «
de coeficientes pertenetientes a C, es decir, de fa forma a . Sustituyamos
a (a)
en los polinomios pla) y a(a) las potencias a", 2“, a, .... en funcién de les280 sPENpice 1 —aRT. 1 —§ 7
n—I| primeras potencias. cosa posible, ya que por ser z raiz de f(x)=0 se
tendré :
- a2
a" = —a, a" '~a, a? ~a,_, a—a,,
y multiplicando esta igualdad por a. a, a, ... expresaremos andlogamente las
potencias sucesivas en funcién de las n—I anteriores, y por tanto también en
funcién de las n—I primeras.
Quedaré asl: k= ao . donde P y Q con polinomios de grado