EL POSTULADO DE EUCLIDES

Cuntas de las rectas que pasan por un punto no cortan a otra dada? Segn el postulado de Euclides, slo una: la perpendicular levantada, por el punto, la perpendicular que del mismo punto podemos bajar la recta que nos dieron. Fu llamada paralela, y una vez entendida por paralela la recta que no corta otra, se dijo que por un punto no se poda trazar ms que una paralela una recta, que es otra manera de enunciar el postulado de Euclides. En cuanto demostrar este postulado por medio de resultados geomtricos que no se funden en l, cosa es que no se ha logrado nunca. Hacia el ao 30, Lobattcheffksy y Bolyai cambiaron de sistema, y supusieron el postulado falso, intentando construir la geometra pura con todo rigor. Esta nueva geometra que comprende la de Euclides, como caso particular, recibi los nombres de astral, imaginaria, pangeometra, y por ltimo, geometra no euclidiana, que ha conservado. La idea de Lobattcheffsky se le ocurri aos antes Gauss, que lleg los mismos resultados que l, sin publicarlos Despus de Lobattcheffsky y Bolyai se han ocupado del asunto muchos gemetras, sobre todo Riemann, Klein y Beltrami.

EL POSTULADO DE EUCLIDES

359

Quiero establecer geomtricamente los fundamentos de la geometra no euclidiana, y har ver la cansa de la imposibilidad de demostrar el postulado de Euclides. * * *

Bajemos desde el punto dado una perpendicular, h, la recta dada, y supongamos que una recta mvil, que continuamente pasa por el punto, se separa de la perpendicular hacia la derecha, por ejemplo. Cuando forme con h un ngulo de 90, tendremos la paralela de Euclides, y esta recta no cortar la otra. Pero no sabemos si existen otras posiciones de la recta mvil que tampoco la corten. De todos modos, infinidad de posiciones s la cortan; luego habr un momento en que la recta mvil, al separarse de la perpendicular h, dejar de cortar la recta dada. Esta posicin, que formar con h un ngulo desconocido, se llama paralela en geometra no euclidiana. Es claro que del otro lado de la perpendicular h, y formando el mismo ngulo, habr otra paralela. En resumen, por un punto se pueden trazar dos paralelas una recta, y cuando el ngulo desconocido que forman con h sea 90, las dos se confunden con la de Euclides. La geometra corriente es, pues, un caso particular de la no euclidiana. Para seguir adelante es esencial escoger las proposiciones geomtricas en que nos apoyemos, puesto que no deben fundarse en el postulado de Euclides. Debo citar la de que una recta que corta el permetro de un tringulo lo vuelve cortar; por medio de ella es fcil establecer que una paralela lo es en todos sus puntos, y que si una recta es paralela a otra, esta lo es la primera. La teora de las paralelas est ntimamente relacionada con la de los tringulos. En la geometra euclidiana se deduce del Postulado que la suma de los ngulos de un tringulo vale dos rectos. Del mismo modo, en la no euclidiana, habr teoremas relativos los tringulos en relacin con la nueva definicin de paralelas. No olvidemos que, gracias a su origen,

368

REVISTA CONTEMPORNEA

los teoremas no euclidianos son absolutamente ciertos, cosa no sucede con los euclidianos. Teorema 1. La suma de los ngulos de un tringulo no puede pasar de dos rectos. En efecto, podemos en todo triangulo prolongar en una cantidad igual s misma la mediana correspondiente al menor ngulo. Uniendo el extremo con otro vrtice del tringulo resulta un nuevo tringulo en el cual la suma de los ngulos es la de los del primitivo y los dos menores equivalentes al menor del primitivo. Claro est que haciendo la misma operacin con el tringulo nuevo y continuando el suficiente nmero de veces llegaremos un triangulo en el que dos de los ngulos pueden hacerse tan pequeos como queramos. Pues bien, si la suma S de los ngulos del primitivo fuera mayor de dos rectos, como esa suma es la misma para los tringulos que vamos obteniendo, al llegar al ltimo, en que conseguimos que dos ngulos den una suma menor de lo que S excede de dos rectos, el tercer ngulo valdra ms de dos rectos, lo que es imposible. 2. Si la suma de los ngulos de un tringulo vale dos rectos, todos los tringulos gozan de la misma propiedad. Por de pronto, los dos tringulos rectngulos en que se puede descomponer el tringulo. En efecto, la suma de todos los ngulos de los dos tringulos componentes debe ser cuatro rectos, puesto que quitando los dos rectos de la base, debe dar la de los del descompuesto. Ahora que tenemos un tringulo rectngulo en el cual vale la suma de los ngulos dos rectos, podemos construir uno con ambas propiedades, y tan grande como se quiera, doblando el primero sobre el plano, de modo que resulte un rectngulo, y repitiendo el rectngulo cuantas veces necesitemos hasta formar uno que puede ser todo lo grande que se desee; tirando la diagonal del rectngulo total tenemos el tringulo pedido. Para hacer ahora ver que la suma de los ngulos de todo triangulo vale dos rectos bastar descomponerlo en dos tringulos rectngulos, encerrar cada uno dentro del suficiente-

EL POSTULADO DE EUCLIDES

360

mente grande que acabamos de construir, haciendo coincidir los catetos de continente y contenido. Los ngulos de cada tringulo rectngulo contenido deben valer dos rectos como los del continente, puesto que en el tringulo que tiene un cateto del contenido y otro del continente hay la misma suma de ngulos que en uno y en otro Valiendo los ngulos de cada componente dos rectos, el total, sea el tringulo cualquiera que nos dieran, goza de esta propiedad. 3. Por ltimo, si las dos paralelas no euclidianas se reducen la de Euclides, la suma de los ngulos de todo tringulo vale dos rectos. En efecto, se puede construir un tringulo rectngulo dentro de la faja de las paralelas de Euclides, perpendiculares un cateto, de modo que la suma de sus ngulos est tan prxima de dos rectos como queramos, para lo cual aproximaremos la hipotenusa una de las paralelas que forman la faja. Todo tringulo rectngulo interior ste tendr la misma suma de ngulos; luego no puede ser sta otra que dos rectos. Pero basta que un tringulo d dos rectos como suma de sus ngulos para que la den todos. Por lo tanto, llegamos la siguiente conclusin: Si existe un solo tringulo en que los ngulos valgan dos rectos, con todos ocurrir lo propio, las paralelas no euclidianas se confundirn con la de Euclides, y la geometra rigurosa ser, por lo tanto, la geometra corriente, y si no sucede esto todos los tringulos darn sumas menores de dos rectos y habr por un punto dos paralelas una recta, simtricas respecto la perpendicular desde el punto bajada, con la cual perpendicular formarn un ngulo variable con la posicin del punto. La cuestin queda en el terreno experimental. Pues bien, habindose calculado, con la exactitud posible, enormes tringulos en observaciones astronmicas, la diferencia entre dos rectos y la suma de los ngulos no ha llegado nunca a centsimo de segundo. Prcticamente, el postulado de Euclides es cierto. Hay que renunciar, sin embargo, demostrarlo en el te-

370

REVISTA CONTEMPORNEA

rreno terico y riguroso, sobre el cual slo es legtima la geometra no euclidiana. Ante todo, el postulado no es evidente, como han credo ver muchos filsofos, Schopenhauer entre ellos. Hay, s, una especie de evidencia, puramente de los ojos, cuando se dibujan una perpendicular y una oblicua, y se acenta la oblicuidad de esta ltima. Se ve que la oblicua prolongada cortar la perpendicular. Pero aproximad la oblicua la posicin normal, y la evidencia se ir debilitando hasta completa confusin para oblicuidades muy pequeas. Demostraciones aparentes se han dado varias, alguna refutada por Gauss en carta interesante, no tan interesante de seguro como la que dirigi Schumacher sobre el mismo asunto, en la cual elogiaba la obra de Lobattcheffsky. Entre las demostraciones aparentes citar dos: la primera se funda en afirmar que la superficie contenida entre los lados de un ngulo es mayor que la contenida entre las rectas que forman una faja del mismo ancho en cualquier punto. Para hacer notar esto, se dice que no se cubre la superficie del plano con un nmero, por grande que sea, de fajas adosadas, mientras que el plano se cubre repitiendo el ngulo alrededor de un punto como vrtice. Una vez admitido esto, se demuestra que una perpendicular y una oblicua se cortan, dado que el ngulo que la oblicua forma con la perpendicular va comiendo superficie la faja dentro de la cual est trazado, llegando un momento en que, al exceder una superficie de otra, se verifica la interseccin. El sofisma est en la comparacin de dos superficies infinitas, como son la de la faja y la del ngulo, comparacin que puede dar lugar resultados tan caprichosos como queramos, gracias la arbitrariedad de ley en el crecimiento de las extensiones (V. Duhamel). A ms de esto, se introduce una concepcin del plano, la cual no hay derecho suponer independiente del postulado de Euclides. Otra demostracin es la dada por Taine (L'intelligence, t. II). Se funda en que la distancia de los puntos de la oblicua a la perpendicular puede disminuir cuanto se desee; no es ms, en el fondo, que la teora de la semejanza de figuras; supone implcitamente el postulado y no merece refutacin.

EL POSTULADO DE EUCLIDES

371

especial. Los conocimientos matemticos de Taine eran ligeros. No es difcil hacerse cargo a priori de la imposibilidad de la demostracin buscada. Dice Bertrand (Calcul des probabilits) que no dan las frmulas ms que lo que en ellas se pone. Y esta frase puede aplicarse las definiciones. Tenemos clara nocin, no de lo que es una recta, no de lo que es un ngulo, s lo que es igualdad y suma de rectas y de ngulos, gracias a la superposicin de sus partes. Cuando se trata de una propiedad nueva, debe reducirse las que se estudian por la superposicin, y ste es, en efecto, el mtodo fundamental de toda geometra pura. Para emplearlo, las figuras deben estar completamente definidas y relacionamos segmentos y ngulos por sus propiedades de coincidencia. Al enunciar la primera cuestin de la teora de paralelas: cules son las rectas que trazadas por un punto no cortan otra dada?, se ve que debemos buscar la manera de ser imposible la existencia de un punto definido por estar en ciertas rectas. Esta imposibilidad de existencia est determinada por la posicin de las rectas. Si alteramos sumamente poco esta posicin, es claro que aparecer el punto, puesto que dejarn de reunirse las condiciones para que no exista. Pero dnde aparecer? El anlisis nos dice que una distancia del lugar de modificacin tan grande como se quiera. Las figuras que por coincidencia nos conduzcan al estudio del fenmeno deben abrazar el campo de modificacin y el proceso del punto. Estos dos elementos se encuentran distancia que aumenta sin lmites cuando el fenmeno tiende verificarse; luego los mtodos generales de investigacin son inaplicables. Tenemos que recurrir la definicin de recta: lnea determinada por dos puntos. Es evidente que esta definicin, que sirve muy bien, en la porcin finita de plano donde se dibuja para establecer las leyes de la coincidencia de figuras formadas por rectas, puesto que dos rectas que tengan dos puntos comunes coincidirn en toda su extensin, nada nos dice respec-

372

REVISTA CONTEMPORNEA

to las propiedades de los puntos cuando nos alejamos ilimitadamente lo largo de la recta en parajes que precisamente necesitamos estudiar ahora; es ms, como en la misma idea de alejarse ilimitadamente que acabo de emplear entra la nocin de recta, nada nos indica que la distancia entre dos puntos no tenga un limite superior. De este modo construiramos con Riemann una tercera geometra, que se reducira la no euclidiana para el valor infinito de ese lmite de distancias. RAFAEL BARRETT