EUCLIDES Y EL C IRCULO

Lyda Constanza Mora Mendieta

Profesora Universidad Pedag ogica Nacional Profesora Universidad Sergio Arboleda Bogot a D.C, Colombia

Johana Andrea Torres D az

Profesora Universidad Pedag ogica Nacional Profesora Universidad Sergio Arboleda Bogot a D.C, Colombia

lmendieta@uni.pedagogica.edu.co

jotorres@uni.pedagogica.edu.co

Carlos Julio Luque Arias

Profesor Universidad Pedag ogica Nacional Profesor Universidad Sergio Arboleda Bogot a D.C, Colombia

caluque@uni.pedagogica.edu.co
Resumen Se presenta la manera c omo Euclides aborda el asunto del a rea del c rculo en los Elementos, correspondiente a la proposici on 2 del libro XII. El estudio de esta proposici on, buscando las proposiciones que justican su demostraci on, se constituye en una subteor a al interior de los Elementos.

Introducci on
Uno de los grades retos para un profesor de matem aticas elementales en un aula es lograr construir -o reconstruir- con sus estudiantes, una teor a matem atica; esto implica una variedad de actividades que incluye: acordar un lenguaje, un conjunto de s mbolos a los que se les asigna un signicado, observar los objetos construidos, conjeturar algunas de sus propiedades y luego explicar, argumentar y demostrar con base en unas pocas proposiciones que se toman como axiomas, las dem as proposiciones que se enuncian como teoremas.

Memorias XIV Encuentro de Geometr a y II de Aritm etica

Una de las mayores dicultades est a en que las teor as matem aticas son en general muy extensas y muy pronto dejan de ser elementales. Nuestra propuesta para resolver, al menos parcialmente, este problema, es construir subteor as, al interior de las teor as. Mostraremos con un ejemplo, donde se ha tomado como meta el establecimiento de la relaci on entre el area del c rculo y su di ametro, un camino para iniciar con los postulados y las nociones comunes de los Elementos de Euclides y terminar en la meta trazada, eludiendo, en lo posible, los teoremas que no tienen relaci on con ella. Hacia nales del siglo IV a.C., Alejandr a se constituy o en el centro cultural y cient co del mundo griego, de manos de Alejandro Magno y Ptolomeo I. Este u ltimo gobernante estableci o un museo y una biblioteca en Alejandr a, semejante a una universidad, llam o a c elebres sabios para que fueran maestros en ella; entre estos, Euclides, el autor de Los Elementos. Es muy poco lo que se sabe acerca de la vida de Euclides, pero si se le reconoce por su habilidad expositiva y capacidad pedag ogica; precisamente, los Elementos se constituyeron en un libro de texto que cubr a todas las matem aticas elementales de su tiempo (aritm etica, geometr a y a lgebra), descritas y organizadas l ogicamente1 . Los Elementos de Euclides muestran el estado de gran parte de las matem aticas de la epoca, sus ramas de estudio y los resultados que se hab an obtenido, constan de trece libros: los seis primeros sobre geometr a plana, los libros VII, VIII y IX de aritm etica (teor a de n umeros), el libro X sobre los inconmensurables y los u ltimos tres sobre geometr a del espacio, precedidos todos por 5 postulados y 5 nociones comunes que hacen parte del libro I. En particular, nos interesa mostrar la manera como Euclides aborda el asunto del area del c rculo. La proposici on 2 del libro XII de los Elementos enuncia: Los c rculos son entre s como los cuadrados de sus di ametros Con notaci on moderna, esta armaci on equivale a que, dados dos c rculos ametros d1 y d2 respectivamente, se cualesquiera de areas C1 y C2 y con di
Aunque Euclides haya tomado la obra de sus antecesores, sin asumirla como suya, se cree que el orden lineal de los Elementos, si es original de el.
1

402

Euclides y el C rculo

tiene:

C1 (d1 )2 = C2 (d2 )2

Esto signica que la raz on entre el a rea de un c rculo y su di ametro es constante: C2 C1 = (d1 )2 (d2 )2 hoy sabemos que esa raz on constante es , porque: 4

r2 C = = 2 2 d (2r) 4 En los elementos no aparecen expresiones como estas, con esto s olo pretendemos aclarar el sentido moderno de sus proposiciones.

1.

El Area del C rculo en los Elementos.

Euclides en su demostraci on de la proposici on XII-2, considera dos c rculos ametros BD (d1 ) y ZT (d2 ), como se ABGD (C1) y EZHT (C2 ) con di muestra en la Figura 1, y arma: Digo que el c rculo ABGD es al EZHT como el cuadrado de BD al de ZT, porque si no fuera as , ser a menor o mayor.

403

Memorias XIV Encuentro de Geometr a y II de Aritm etica

Figura: 1 Pero si es as , debe existir un a rea S , menor o mayor que el c rculo EZHT , tal que C1 (d1 )2 = S (d2 )2 Inicialmente considera el caso en que S < C2 . En este c rculo inscribe pol gonos regulares, empezando por un cuadrado y duplicando la cantidad de lados, bisecando los arcos determinados por los lados de cada pol gono; muestra que cada pol gono inscrito es mayor que la mitad de los segmentos circulares determinados por sus lados, en t erminos de areas; por ejemplo, el cuadrado EZHT (el a rea de este cuadrado) es mayor que la mitad del c rculo (su area), pues trazando las tangentes a la circunferencia por los v ertices del cuadrado, se obtiene un cuadrado circunscrito igual al doble del cuadrado inscrito y como el c rculo es menor que el cuadrado circunscrito, su mitad ser a menor que la mitad del cuadrado circunscrito, es decir, menor que el cuadrado inscrito. Haciendo este proceso indenidamente, en virtud del m etodo de exhauci on, con alg un pol gono inscrito con un n umero suciente de lados (P2 ) se obtendr an segmentos circulares menores que la diferencia entre C2 y S , debido a que de la mayor de dos magnitudes, en este caso C2 , estamos restando una 404

Euclides y el C rculo

magnitud mayor que su mitad y en general, magnitudes mayores que las mitades que van quedando al quitar los pol gonos inscritos, entonces, al hacer a una magnitud menor que S , con lo este proceso continuamente2 , quedar cual, la diferencia entre el c rculo y el pol gono inscrito ser a menor que la diferencia entre el c rculo y el a rea S : C2 P2 < C2 S, de donde se concluye que P2 > S . gono P1 semejante al pol gono P2 , Ahora bien, si inscribimos en C1 un pol estos ser an entre s como la raz on de los cuadrados de los di ametros de los c rculos respectivos donde est an inscritos, es decir: P1 (d1 )2 = P2 (d2 )2 En conclusi on tenemos: C1 (d1 )2 P1 = = S (d2 )2 P2 C1 P1 = S P2 Pero esto no es posible, pues P2 > S y P1 < C1; entonces, el area S no puede aloga, demuestra que no es posible ser menor que el c rculo C2 . De manera an on, debe ser C2 y, en que haya un a rea mayor que C2 que cumpla la proposici consecuencia, la proposici on queda demostrada. En la demostraci on de esta proposici on, Euclides emplea tres resultados demostrados previamente, el hecho que el a rea de un paralelogramo sea el doble del area del tri angulo con iguales base y altura, el m etodo de exhauci on y el hecho que la raz on entre los pol gonos semejantes inscritos a una circunferencia sea igual a la raz on de los cuadrados de los di ametros de las circunferencias; estos resultados corresponden a las proposiciones I-41, X-1 y XII-1 respectivamente, obviamente en t erminos y palabras de Euclides.
Esta es la expresi on usada por Euclides para referirse a la esencia del m etodo de exhauci on, la realizaci on de un proceso indenidamente.
2

por lo que:

405

Memorias XIV Encuentro de Geometr a y II de Aritm etica

Reiterando este proceso con las demostraciones de cada una de estas proposiciones, buscando las proposiciones, postulados, deniciones o nociones comunes previas que se requieren para construirlas, encontramos un a rbol con las secuencias parciales que se inicia (o termina, seg un la direcci on en que lo miremos) en las nociones comunes y los postulados de los Elementos. Con esto, seleccionamos solamente las nociones y las proposiciones necesarias para conseguir el a rea del c rculo, en este caso, o cualquier otro concepto o procedimiento que est e inmerso en los elementos de la Geometr a de Euclides, lo que nos permite abordar o construir subteor as, en este caso de la Geometr a euclidiana, pero en general de cualquier libro de matem aticas, y su posterior reconstrucci on en sentido contrario con los estudiantes, en un ambiente donde vamos elaborando los prerrequisitos de un tema, proponiendo y construyendo los elementos necesarios para explicar un concepto o un procedimiento. En la gura 2, mostramos el diagrama de a rbol, para el caso del a rea del c rculo en los elementos de Euclides, cuyo teorema nal es la proposici on XII-2.

406

Euclides y el C rculo

Figura: 2 407

Memorias XIV Encuentro de Geometr a y II de Aritm etica

Veamos, a manera de ejemplo, en el sector izquierdo del a rbol donde se describe la demostraci on de la proposici on I-41, que establece: Si un paralelogramo tiene la misma base que un tri angulo y est an colocados entre las mismas paralelas, el paralelogramo es el doble del tri angulo. Consideremos el paralelogramo ABGD y el tri angulo EBG, con la misma base BG y entre las mismas paralelas AE y BG (Figura 3)

G Figura 3

Trazamos la recta AG (Postulado 1), entonces los tri angulos ABG y EBG ser an equivalentes (Proposici on I-37). Pero adem as, el paralelogramo ABGD es el doble del tri angulo ABG (Proposici on I-34); luego, el paralelogramo ABGD es el doble del tri angulo EBG, como se quer a demostrar.

G Figura 4

408

Euclides y el C rculo

Como vemos, en la demostraci on, los argumentos centrales son, las proposiciones I-34 y I-37, debemos proceder a demostrarlas, siguiendo el procedimiento de Euclides, pero adecuando eventualmente el lenguaje. Nuevamente nos restringimos, para ejemplicar, a la Proposici on I-34, pero el procedimiento se aplica a todas y cada una de las proposiciones que intervienen en cada demostraci on. Proposici on I-34 Los lados y los angulos opuestos de regiones paralelogr amicas son iguales entre s y la diagonal divide en dos dichas regiones. Sea AGBD una regi on paralelogr amica y BG su diagonal (Figura 5). Por ser un paralelogramo, los lados opuestos AB y GD y, AG y BD son iguales y paralelos (Proposici on I-33)

| Figura 5

Por ser paralelas las rectas AB y GD, los a ngulos alternos ABG y BGD son iguales (Proposici on I-29); de igual manera, los a ngulos DBG y AGB . Entonces, los tri angulos BAG y GBD son iguales, por tener dos a ngulos iguales y un lado com un (Proposici on I-26)

409

Memorias XIV Encuentro de Geometr a y II de Aritm etica

G Figura 6

En consecuencia, los angulos BAG y BDG son iguales y, los a ngulos ABD y AGD, obtenidos de sumar los a ngulos iguales ABG + GBDyDGB + BGA respectivamente, tambi en lo son (Noci on Com un 2). Por u ltimo, la diagonal divide el paralelogramo en dos regiones iguales, pues los tri angulos BAG y GBD, por tener iguales los lados AB y BG con GD y BG y el a ngulo ABG con el a ngulo BGD, son iguales (Proposici on I-4). En esta demostraci on intervienen las proposiciones I-33, I-29, I-26, I-4 y la noci on com un 2. Veamos la prueba de la proposici on I-33, que establece: Los segmentos que unen por el mismo lado segmentos iguales y paralelos, son tambi en iguales y paralelos. Sean AB y GD dos segmentos iguales y paralelos y AG y BD los segmentos que los unen (Figura 7). B A

Figura 7

Trazamos la recta BG que incide sobre las paralelas AB y GD, entonces los a ngulos ABG y BGD son iguales (Proposici on I-29); en consecuencia, la base AG ser a igual a la base BD y los tri angulos ABG y DGB ser an iguales (Proposici on I-4). 410

Euclides y el C rculo

Figura 8

Por lo tanto, los segmentos BD y AG ser an iguales y, por ser iguales los angulos AGB y DBG, paralelos (Proposici on I-28). En esta demostraci on intervienen de nuevo las proposiciones I-29, y I-4, con lo que nos ahorramos un poco de trabajo, y aparece la proposici on I-28. Demostremos la proposici on I-29, que reza: Una recta que incide sobre dos paralelas forma a ngulos alternos iguales entre s y el externo igual al interno y opuesto y los internos del mismo lado iguales a dos rectos. (S olo consideraremos la demostraci on de la primera parte de la proposici on, pues es la u nica que empleamos y las otras dos partes se coligen f acilmente de esta). Sean AB y GD dos rectas paralelas y EZ una recta que incide sobre estas (Figura 9). Supongamos que los a ngulos AHT y HT D no son iguales, entonces uno de los dos, por ejemplo AHT , es mayor que el otro. Si le sumamos a cada uno de estos a ngulos, el a ngulo BHT , AHT + BHT ser a mayor que HT D + BHT (Noci on Com un 4); pero, como AHT + BHT es igual a dos a ngulos rectos (Proposici on I-13), HT D + BHT ser a menor que dos rectos y, en consecuencia las rectas no son paralelas (Postulado 5). Por lo tanto, los dos a ngulos AHT y HT D deben ser iguales.

411

Memorias XIV Encuentro de Geometr a y II de Aritm etica

E A H B

T G Z Figura 9 D

Aqu aparece la proposici on I-13 y el postulado 5; la primera dice: Si una recta levantada sobre otra forma a ngulos, ser an rectos o igual a dos rectos. Sea AB la recta levantada sobre la recta GD (Figura 10). Si los dos a ngulos que se forman son iguales, entonces son rectos (Denici on 10).

B Figura 10

Si no son iguales, trazamos la recta EB perpendicular a GD, con lo cual los angulos EBD y EBG ser an iguales y rectos (Denici on 10). 412

Euclides y el C rculo

Como EBG = EBA + ABG, al sumarle el a ngulo EBD, los tres a ngulos ser an iguales a EBD + EBG; de igual manera, ABD = ABE + EBD y al sumarle el a ngulo ABG, los tres a ngulos ser an iguales a EBD + EBG. Por lo tanto, los a ngulos EBG y EBD juntos, ser an iguales a los a ngulos DBA y ABG (Noci on Com un 1), iguales a dos rectos, como se quer a demostrar. Por u ltimo, demostremos la proposici on I-4, Si dos tri angulos tienen dos lados del uno iguales a dos lados del otro e iguales los a ngulos comprendidos por los lados iguales, tendr an iguales sus bases y los dos tri angulos ser an iguales. Sean los tri angulos ABC y DEZ con lados iguales CB y AC con DZ y EZ respectivamente y el a ngulo BCA igual al a ngulo DZE (Figura 11) C Z

Figura 11 Si aplicamos el tri angulo ABC sobre el tri angulo DEZ , de tal manera que el punto A quede sobre el punto E , y el lado AC sobre el lado EZ , tambi en se aplicar a el punto C sobre el Z , pues los lados AC y EZ son iguales. De manera similar, al aplicar el lado BC sobre DZ , el punto B se aplicar a sobre el punto D, adem as por que los a ngulos BCA y DZE son iguales. En consecuencia, se aplicar a la base AB sobre la base ED y ser an iguales, pues si no fuera as , dos rectas comprender an un espacio, dado que los puntos A y B ya estaban aplicados sobre los puntos E y D respectivamente, y esto es imposible. Por lo tanto todo el tri angulo ABC se aplicar a sobre todo el tri angulo EDZ y ser a igual a este, como se quer a demostrar. 413

Memorias XIV Encuentro de Geometr a y II de Aritm etica

En este punto ya no hay nada que demostrar, s olo enunciar las nociones comunes, postulados y deniciones necesarias para nuestros prop ositos: . Noci on Com un 1: Cosas iguales a una misma cosa son iguales entre s Noci on Com un 2: Si a cosas iguales se agregan cosas iguales, los totales son iguales. Noci on Com un 4: Si a cosas desiguales se agregan cosas iguales, los totales son desiguales. Postulado 1: Trazar una l nea recta desde un punto cualquiera a otro punto cualquiera. Postulado 5: Si una recta, al incidir sobre otras dos, forma del mismo lado a ngulos internos menores que dos rectos, las rectas prolongadas al innito se encontrar an en el lado en que est en los angulos menores que dos rectos. nguDenici on 10: Si una recta trazada sobre otra forma con ella dos a los contiguos iguales, cada uno de ellos es recto, y la recta se llama perpendicular a aquella sobre la cual se traz o. Es posible que no necesitemos sino algunas deniciones, y algunos de los postulados o nociones comunes, lo que nos permitir a construir una subteor a de la geometr a euclidiana. Ahora debemos hacer el mismo procedimiento con cada una de las ramas del arbol, para extraer las proposiciones deben ser incluidas, esperando que haya repeticiones y que no sean todas las que aparecen en los Elementos. La tarea ahora es hacer el camino en reversa, establecer una l nea de trabajo para seguir con los estudiantes, hasta llegar la demostraci on de la proposici on XII-2.

414

Euclides y el C rculo

Una propuesta es: 1. Deniciones libro I 2. Postulados 3. Nociones Comunes 4. Proposici on I - 1 5. Proposici on I - 2 6. Proposici on I - 3 7. Proposici on I - 4 8. Proposici on I - 5 9. Proposici on I - 7 10. Proposici on I - 8 11. Proposici on I - 9 12. Proposici on I - 10 13. Proposici on I - 13 14. Proposici on I - 15 15. Proposici on I - 16 16. Proposici on I - 17 17. Proposici on I - 22 18. Proposici on I - 23 19. Proposici on I - 26 20. Proposici on I - 27 21. Proposici on I - 28 22. Proposici on I - 29 23. Proposici on I - 31 24. Proposici on I - 32 25. Proposici on I - 33 26. Proposici on I - 34 27. Proposici on I - 35 28. Proposici on I - 36 29. Proposici on I - 37 30. Proposici on I - 38 31. Proposici on I - 41 32. Proposici on III - 20 33. Proposici on III - 21 34. Proposici on III - 22 35. Proposici on III - 31 36. Denici on 4 - Libro V 37. Denici on 5 - Libro V 38. Denici on 9 - Libro V 39. Proposici on V - 1 40. Proposici on V - 7 41. Proposici on V - 9 42. Proposici on V - 12 43. Proposici on V - 13 44. Proposici on V - 14 45. Proposici on V - 15 46. Proposici on V - 16 47. Denici on 1 - Libro VI 48. Denici on 2 - Libro VI 415

Memorias XIV Encuentro de Geometr a y II de Aritm etica

49. Proposici on VI - 1 50. Proposici on VI - 2 51. Proposici on VI - 4 52. Proposici on VI - 6 53. Proposici on VI - 11 54. Proposici on VI - 15

55. Proposici on VI - 19 56. Proposici on VI - 20 57. Proposici on X - 1 58. Proposici on XII - 1 59. Proposici on XII - 2

Con lo que nos hemos ahorrado20 de las 48 proposiciones del libro I, todo el libro II, 33 de las 37 proposiciones del libro III, todo el libro IV, 17 de las 25 proposiciones del libro V, 25 de las 33 del libro VI, todos los libros VII, VIII, IX, todas, menos una proposici on del libro X, y el libro XI completo. Pero hemos construido una secuencia que permite explicar completamente la relaci on entre el a rea del c rculo y su di ametro.

Bibliograf a
[1] T. Heath, (1956) The Thirteen Books of Euclids Elements, Vol. 1, 2 y 3. Dover Publications. New York. [2] F. Vera, (1970) Cient cos Griegos, Aguilar S. A. Ediciones, Madrid.

416