You are on page 1of 48
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 les 280 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

You might also like