Problemas famosos de Geometr a

Rafa Granero Belinch on

 Indice general
0.1. Introducci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1. La Cuadratura de la Par abola 2. El Problema de Apolonio 3. La F ormula de Her on del Area del Tri angulo 4. La Recta de Euler 3 5 17 23 31

0.1.

Introducci on

Los problemas tratados en este trabajo han sido elegidos para ejemplicar como a lo largo de la Historia de las Matem aticas se han desarrollado diversas herramientas y estilos de demostraci on y resoluci on. Comienzo con la cuadratura de una secci on de par abola de Arqu medes, donde trabajo con la obra original El M etodo [12] y Sobre la cuadratura de la par abola [10], como ejemplo del m etodo de exhauci on. Contin uo con el problema de tangencia de Apolonio, donde doy una gu a de la soluci on de Gergonne y una demostraci on algebraica mucho mas elemental. Tras estos problemas viene la demostraci on de Her on de la f ormula del area del tri angulo seguida de la demostraci on del mismo resultado de Euler, ambas son al estilo griego, sint etico. Aqu se puede apreciar el estudio del mismo problema a lo largo de la historia de las matem aticas, as como el intento de dar una demostraci on m as elegante o simple. Y para concluir trato la demostraci on de Euler de la existencia de la recta 3

INDICE GENERAL

de Euler, cuya demostraci on es algebraica, y a nado una demostraci on posterior del mismo resultado de geometr a sint etica.

Cap tulo 1 La Cuadratura de la Par abola

La cuadratura de una secci on de par abola es uno de los logros mas remarcables de Arqu medes, que lo logr o en torno al a no 240a.C. y lo escribi o en su libro De la cuadratura de la par abola.

Arqu medes (Siracusa,287 - 212 a.c.), hijo de un astr onomo llamado Fidias, estaba emparentado con el rey Hier on II, lo que le habr a facilitado el acceso a elevados puestos, sin embargo, arrastrado por su aci on a las ciencias, preri o consagrarse al estudio de la matem atica bajo la direcci on de Euclides en Alejandr a. Ya de muy joven comenz o a destacar por sus trabajos t ecnicos entre los que destaca la desecaci on de los pantanos de Egipto, obra considerada irrealizable hasta entonces y que el consigui o realizar mediante el empleo de diques m oviles. Ya en Siracusa, Arqu medes prosigui o sus estudios de geometr a y mec anica logrando descubrir principios que han inmortalizado su nombre: el 5

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

principio de Arqu medes.... Durante el asedio de Siracusa por el general romano Marcelo, Arqu medes, a pesar de no ostentar cargo ocial alguno se puso a disposici on de Hier on, llevando a cabo prodigios en la defensa de su ciudad natal, pudi endose armar que el s olo mantuvo la plaza contra el ej ercito romano. Entre la maquinaria de guerra cuya invenci on se le atribuye est a la catapulta y un sistema de espejos y lentes que incendiaba los barcos enemigos al concentrar los rayos del Sol; seg un algunos historiadores, era suciente ver asomar tras las murallas alg un soldado con cualquier objeto que despidiera reejos brillantes para que cundiera la alarma entre el ej ercito sitiador. Sin embargo, los conados habitantes de Siracusa, teni endose a buen recaudo bajo la protecci on de Arqu medes, descuidaron sus defensas, circunstancia que fue aprovechada por los romanos para asaltar la ciudad. A pesar de las ordenes del c onsul Marcelo de respetar la vida del sabio, durante el asalto, un soldado que lo encontr o abstra do en la resoluci on de alg un problema, quiz a creyendo que los brillantes instrumentos que portaba eran de oro o irritado porque no contestaba a sus preguntas, lo atraves o con su espada caus andole la muerte. Aunque probablemente su contribuci on a la ciencia m as conocida sea el principio de la hidrost atica que lleva su nombre, Principio de Arqu medes: todo cuerpo sumergido en un uido experimenta un empuje vertical y hacia arriba igual al peso de uido desalojado o por enunciar la ley de la palanca. No fueron menos notables sus escritos acerca de la cuadratura del c rculo, el descubrimiento de la relaci on aproximada entre la circunferencia y su di ametro, relaci on que se designa hoy d a con la letra griega 1 . Calcul o con un error en torno a una mil esima. Arqu medes fue autor de numerosas obras de variada tem atica en las que 2 destaca el rigor de sus demostraciones geom etricas , raz on por la que es considerado el m as notable cient co y matem atico del mundo griego. Aunque muchos de sus escritos se perdieron en la destrucci on de la Biblioteca de Alejandr a, han llegado hasta la actualidad a trav es de las traducciones arabes.
Fue Leonhard Euler el primero en usar esta letra. En el texto dado m as abajo Arqu medes se convence del resultado, pero no lo considera una verdadera demostraci on por su falta de rigor.
2 1

7 Aqu he trabajado con El M etodo, que es un libro de Arqu medes que se perdi o hasta el a no 1906, para volver a desaparecer en la Gran Guerra. Volvi o a encontrarse y se subast o, fue comprado por una persona an onima y donado al Walters Art Museum de Baltimore. La importancia de este libro radica en que Arqu medes explica como llega a esos razonamientos tan avanzados para su epoca y como se convenci o de que el resultado intu do era cierto.

Teorema 1 El area del segmento de par abola ABC es lo asociado ABC .

4 3

del area del tri angu-

Vamos a adjuntar el texto original de Arqu medes, extra do de El M etodo [12], donde explica como se convence de cual es el valor del area de una secci on de par abola. Sea ABC un segmento comprendido entre la recta AC y la secci on ABC de un cono rect angulo3 ; div dase AC por la mitad en D y tr acese la recta DBE paralela al di ametro4 , y uniendo B con A y B con C , tr acense las rectas BA y BC . Digo que el segmento ABC es cuatro tercios del tri angulo ABC .

3 4

Esto es un segmento de par abola. El eje de la par abola.

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

Tr acense por los puntos A y C la recta AZ paralela a DBE y la CZ tangente a la secci on5 ; prol onguese CB hasta K , y sea KT igual a CK . Consid erese CT como una palanca6 , siendo K su punto medio, y sea M Q una recta paralela a ED. Puesto que CBA es una par abola 7 y que CZ es tangente a ella, y CD es una ordenada8 EB = BD, como se demuestra en los Elementos9 . Por lo mismo y puesto que ZA y M Q son paralelas a ED, son iguales M N y N Q, as como ZK y KA10 . Y puesto que la raz on entre CA y AQ es igual que la raz on entre M Q y QO lo 11 cual se expone en un lema , y la raz on entre CA y AQ es igual a la raz on entre CK y KN 12 , sucede que siendo tambi en CT igual
En C . A mi me resulta muy sorprendente que la mayor a de los razonamientos los haga con la ley de la palanca. 7 Ahora en el or ginal aparece la palabra par abola, mientras que antes era secci on de un cono rect angulo. 8 Esto quiere decir que CD es paralela a la tangente en el v ertice de la par abola B . 9 No se reere a los Elementos de Euclides, si no a otros Elementos disponibles entonces y ahora posiblemente perdidos. Para convencerse basta con ver que para y 2 = 2px tenemos como tangente en (x0 , y0 ) a yy0 = p(x + x0 ) y al hacer la intersecci on con el eje X nos queda x = x0 . 10 De la semejanza de los tri angulos M N C y EBC y QN C y DBC . 11 Proposici on 5 de Sobre la cuadratura de la par abola. 12 De la semejanza de los tri angulos ACK y QCN .
6 5

9 que KT la raz on entre T K y KN ser a igual a la raz on entre M Q y QO. Ahora bien, puesto que le punto N es el centro de gravedad de M Q, por ser M N igual a N Q, si tomamos la recta U H igual a QO de manera que su centro de gravedad sea el punto T , de modo que sea U T sea igual a T H , la recta U T H estar a en equilibrio con la recta M Q, que permanece en su sitio, por estar T N dividida13 en partes que est an en raz on inversa a los pesos U H y M Q, siendo la raz on entre T K y KN igual a la raz on entre M Q 14 y HU , y por lo tanto K es el centro de gravedad del conjunto de ambos pesos. An alogamente si en el tri angulo ZAC se trazan tantas paralelas como se quiera a ED, estas, permaneciendo en su lugar, estar an en equilibrio con los segmentos determinados sobre ellas por la secci on y trasladados al punto T , de manera que el centro de gravedad de unas y otros ser a K. Ahora bien,las rectas trazadas en el tri angulo CZA componen el propio tri angulo y los segmentos rectil neos obtenidos en la secci on del mismo modo que OQ componen el segmento ABC ; por lo tanto el el tri angulo ZAC permaneciendo en su lugar estar a en equilibrio respecto al punto K , con el segmento de la secci on trasladado hasta tener su centro de gravedad en T , de manera que el centro de gravedad del conjunto ser a K. Div dase ahora CK por el punto X de manera que CK sea el triple de KX ; por tanto el punto X ser a el centro de gravedad del tri angulo ZAC , como est a demostrado en Sobre el equilibrio. Y puesto que el tri angulo ZAC , permaneciendo en su lugar est a en equilibrio, respecto de K , con el segmento BAC , trasladado con centro de gravedad en T , y que X es el centro de gravedad del tri angulo ZAC , se verica, por consiguiente, que la raz on del tri angulo ZAC al segmento ABC colocado alrededor del centro T es igual a la raz on de T K a XK . Ahora bien, siendo T K el triple de KX , el tri angulo ZAC ser a triple del segmento ABC . Adem as, el tri angulo ZAC es cu adruple del tri angulo ABC , ya que ZK es igual a KA y AD es igual a DC , luego el segmento ABC equivale a cuatro tercios del tri angulo ABC . Sin embargo Arqu medes dice despu es que esto no es una demostraci on
13 14

Por el punto K . Por El equilibrio de los planos.

10

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

rigurosa, y que la demostraci on rigurosa la expone al nal del escrito, pero esa parte no est a completa, as que la demostraci on siguiente es de su libro Sobre la Cuadratura de la Par abola 15 [15]. Proposici on 1 Si Qq es la base y p es el v ertice de un segmento parab olico, y si R es el v ertice del segmento acotado por la par abola y P Q entonces P Qq = 8P RQ
16

Dem: El di ametro que pase por R cortar a a la cuerda P Q y a QV , sean estos puntos Y y M . Unimos P M . Por la proposici on 19 17 [10] se tiene que 4 P V = RM 3 P V = 2Y M
15 16 17

Las cuatro u ltimas proposiciones (son 24). Aqu se reere al area.

Proposici on 2 Si Qq es una cuerda de una par abola que es bisectada en V por el di ametro P V , y si RM es un di ametro que corta a QV en M , y si RW es la ordenada (paralela a Qq ) de R a P V entonces 4 P V = RM 3

11 Y M = 2RY entonces P QM = 2P RQ P QV = 4P RQ y P Qq = 8P QR y la misma prueba vale para P qQ = 8P rq

Proposici on 3 Sea A, B, C... una serie de a reas, cada una de ellas 4 veces la siguiente en orden, y la primera A = P Qq entonces tenemos que A + B + C + ... < area(segmento parabolico P Qq )

Dem: Por la proposici on anterior tenemos P Qq = 8P rq = 8P rq entonces P Qq = 4(P rq + P QR) como A = P Qq se tiene B = (P rq + P QR). De igual manera hacemos para C ... con los segmentos restantes.

12

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

Con lo que tenemos que esta suma es el area de un pol gono inscrito, y por tanto menor que el area del segmento parab olico.

Proposici on 4 Dada una erie de a reas A, B, C...Z , con A la mayor y 4 veces la siguiente en orden entonces se tiene 4 1 A + B + C + ... + Z + Z = A 3 3

Dem: Tomemos areas

1 b= B 3 1 c= C 3

y as . Tenemos entonces 1 b+B = A 3 1 C +c= B 3

Luego 1 B + C + D + ...Z + b + c + d + ... + z = (A + B + C + ...Y ) 3 1 b + c + d + ...y = (B + C + ...Y ) 3 y por sustracci on tenemos 1 B + C + D + ...Z + z = A 3 pero

13 o 4 1 A + B + C + ...Z + Z = A 3 3

Proposici on 5 Todo segmento acotado por una par abola y una cuerda Qq tiene como a rea cuatro tercios la del tri angulo con base y altura la misma que tiene la par abola.

4 K = P Qq 3 queremos ver que K es el area del segmento parab olico. Pero si no fuese as ser a mayor o menor. Supongamos que el area del segmento parab olico es mayor que K: Entonces si ponemos tri angulos que tienen a P Q y P q como base y v ertices R y r y as con los dem as segmentos parab olicos restantes, y conseguimos as segmentos parab olicos restantes con suma de areas menor que el area por la que P Qq y K se diferencian. entonces, el pol gono as formado tendr a area mayor que K , lo que no puede ser por la proposici on anterior 4 A + B + C + D... < A 3

Dem: Sea

14

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

Supongamos ahora que el area del segmento es menor que K : A y as hasta tener un area X menor que Si P Qq = A, B = 1 4 la diferencia entre K y el segmento parab olico. Tenemos por la proposici on anterior que 1 4 A + B + C + ... + X + X = A = K 3 3 entonces como K excede a A + B + C + ...X por un area menor que X , y al area del segmento por un area mayor que X tenemos que A + B + C + ... + X > area(segmento parabolico P Qq ) lo que es una contradicci on con una proposici on anterior. Entonces tenemos que el area del segmento no puede ser mayor ni menor que K , luego ha de ser K exactamente. La reinterpretaci on algebraica moderna de esto es 1+ 1 1 4 1 1 + ... n1 = 4 4 3 3 4n1

con lo que el area de la secci on de par abola ser a la suma de la serie a(P Qq )
n=0

1 4n

Arqu medes no utiliza el paso al l mite, pero lo utiliza intuitivamente en su m etodo de exhauci on. En este caso, Arqu medes calcula el resto de la serie T+ donde T = a(P Qq ) este es 1T 3 4n para ver esto basta sumar la serie a partir del t ermino n + 1 1 4n+1

T T ... + n 4 4

n=0

1 4 1 = 4n 3 4n+1

15 despu es procede por doble reducci on al absurdo para ver que la suma no 4 puede ser ni mayor ni menor que 3 T y dice que el resto se puede hacer tan peque no como se quiera, si se utilizase el concepto de l mite habr a que decir que en el l mite no hay resto. Por eso la exhauci on de Arqu medes es parecida al uso del paso al l mite, pero no es id entica, pues no trata de la misma manera el innito. Es necesario se nalar que 2000 a nos antes del descubrimiento del c alculo se usaban m etodos muy parecidos a los propios de el, como puede ser sumar una serie geom etrica.

16

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

Cap tulo 2 El Problema de Apolonio

Uno de los mayores ge ometras de la historia es Apolonio de Perga, as que parece necesario tratar aqu algo de su obra y su biograf a. Apolonio de Perga (Perga, 262 a.c, Alejandr a 190 a.c) era conocido como el gran ge ometra. Sus trabajos tuvieron una gran inuencia en el desarrollo de las matem aticas, en particular su famoso libro Las c onicas introdujo t erminos como par abola, elipse e hip erbola. Apolonio naci o en Perga, Turqu a. En esa poca, P ergamo era conocido como centro cultural. De joven Apolonio fue a Alejandr a donde estudi o con los seguidores de Euclides y donde m as tarde el mismo dar a clases. Apolonio visit o P ergamo lugar en el que exist a una universidad y una biblioteca similares a las de Alejandr a. Esto es casi todo lo que sabemos de su vida.

Sabemos bastante m as sobre los libros que escribi o Apolonio. Las c onicas estaba dividido en ocho vol umenes pero tan s olo los cuatro primeros han perdurado en el griego original. En arabe, sin embargo, podemos encontrar los siete primeros. Debemos remarcar en primer lugar que para Apolonio las secciones c onicas 17

18

CAP ITULO 2. EL PROBLEMA DE APOLONIO

son por denici on las curvas formadas por un plano que intersecta la supercie de un cono. Apolonio explica en su prefacio c omo lleg o a escribir su famoso trabajo Las c onicas. ... comenc e investigando esta materia a petici on de N aucrato el ge ometra en la epoca en la que vino a Alejandr a y permaneci o conmigo, y, cuando termin e los ocho libros se los entregu e en el momento, muy deprisa, porque estaba march andose por mar; no hab an sido revisados, de hecho los escrib de un tir on, posponiendo su revisi on hasta el nal. Los libros I y II de Las c onicas comenzaron a circular sin ninguna revisi on, de hecho hay evidencias de que ciertas traducciones que han llegado a nosotros proceden de esos primeros manuscritos. De los vol umenes uno al cuatro forman una introducci on elemental a las propiedades b asicas de los conos. La mayor parte de los resultados de estos libros eran conocidos por Euclides... pero algunos son, en palabras del propio Apolonio: ... m as trabajados y generalistas que en los escritos de otros. En el libro uno se estudian las relaciones entre los di ametros y tangentes de los conos, mientras que en el libro dos, Apolonio investiga como se relacionan las hip erbolas con las as ntotas, y estudia adem as como dibujar tangentes para conseguir conos. Hay, sin embargo, nuevos resultados en estos libros, en particular en el tercero. En los libros cuatro y cinco Apolonio discute las normales a las c onicas. Da proposiciones determinando el centro de curvatura, lo que conduce a la ecuaci on cartesiana de la evoluta1 Pappo proporciona algunas indicaciones del contenido de los restantes libros de Apolonio, Corte de una raz on, Corte de un area, Determinaci on de una secci on y Construcciones. Corte de una raz on sobrevive en arabe y el bibli ografo del siglo X Ibn al-Nadim nos dice que otros tres trabajos fueron traducidos al arabe aunque ninguno de ellos ha llegado a nuestros das. De otras fuentes surgen referencias a m as trabajos de Apolonio, ninguno
1

El lugar geom etrico de los centros de curvatura.

19 de los cuales ha perdurado. H psiclo hace referencia a un trabajo de Apolonio en el que compara un dodecaedro y un icosaedro inscritos en la misma esfera. Apolonio tambi en escribi o sobre las h elices cil ndricas y otro sobre los n umeros irracionales, as lo menciona Proclo. Eutocio hace referencia a un libro de Apolonio en el que obtiene una aproximaci on para mejor que la de Arqu medes. En El espejo ardiente, Apolonio demostr o que los rayos paralelos de luz no se concentran en un foco por un espejo esf erico (como se cre a con anterioridad) y discuti o las propiedades focales de un espejo parab olico. Apolonio tambi en fue un importante fundador de la astronom a matem atica griega, que utilizaba modelos geom etricos para explicar la teor a planetaria. El problema de Apolonio es construir un c rculo tangente a tres c rculos dados, pero tambi en se admiten casos degenerados, como puede ser si tenemos rectas o puntos en lugar de c rculos. En este problema han trabajado grandes guras de la matem atica a lo largo de la historia: Euclides en su libro IV de los Elementos demuestra c omo construir un c rculo que pase por tres puntos dados y c omo construir un c rculo tangente a tres rectas dadas, estos son los casos m as f aciles, m as tarde Apolonio generaliza el resultado para cualquier combinaci on de puntos, rectas o c rculos2 , pero el libro que recog a 3 esta demostraci on, De T ectonibus se perdi o y no ha llegado hasta nosotros mas que una descripci on de su contenido. Francois Vi` ete, tambi en llamado Vieta, posiblemente el mejor matem atico del siglo XVI, solucion o el problema para tres c culos, tratando cada uno de los casos de forma individual y reduci endolo al anterior. Gauss, Gergonne y Petersen lo demuestran de otra manera, proceden demostrando el caso general en Complete works, vol IV, Recherche du cercle qui en touche trois autres sur une sph` ere, Annales de math ematiques pures et appliqu es 4, 1813-1814 y Methoden und Theorien respectivamente. Probablemente la demostraci on m as elegante sea debida a Gergonne: en ella localiza los seis centros homot eticos (tres internos y tres externos) de los tres c rculos dados, [3], estos est an tres a tres en cuatro rectas. Despu es halla los polos de inversi on de uno de estos con respecto a cada uno de los tres c rculos y conecta los polos de inversi on con el centro radical de los c rculos, [3],despu es los tres pares de intersecciones son los puntos de tangencia de dos de los ocho c rculos de Apolonio, para ver qu e dos tomar
2 3

Excepto el caso de tres c rculos. T angencias es la traducci on.

20

CAP ITULO 2. EL PROBLEMA DE APOLONIO

simplemente los dos que intersecan a los tres c rculos originales en un solo punto de la tangencia. Este procedimiento, si se repite, da los otros tres pares de c rculos.

Sin embargo esta demostraci on no es la m as elemental. Por los m etodos algebraicos directos se tiene si (xi , yi ) son los centros de los c rculos dados con radio ri (x x1 )2 + (y y1 )2 (r r1 )2 = 0 (x x2 )2 + (y y2 )2 (r r2 )2 = 0 (x x3 )2 + (y y3 )2 (r r3 )2 = 0 Operamos y obtenemos
2 2 (x2 + y 2 r2 ) 2xxi 2yyi 2rri + (x2 i + yi ri ) i = 1, 2, 3

(2.1) (2.2) (2.3)

y si ahora sustitu mos i = 2 y le restamos el caso i = 1 y al caso i = 3 le restamos el caso i = 1 obtenemos un sistema lineal ax + by + cr = d a x + b y + c r = d

donde
2 2 2 2 2 a = 2(x1 x2 ), b = 2(y1 y2 ), c = 2(r1 r2 ), d = (x2 1 +y1 r1 )(x2 +y2 r2 )

21
2 2 2 2 2 a = 2(x1 x3 ), b = 2(y1 y3 ), c = 2(r1 r3 ), d = (x2 1 +y1 r1 )(x3 +y3 r3 )

Resolviendo en funci on de r obtenemos x= y= b d bd b cr + bc r ab ba

a d + ad + a cr ac r ab a b estos valores los sustitu mos en (1) y resolvemos la ecuaci on resultante, con lo que conocemos el radio y el centro de los c rculos buscados. Antes de acabar quiero se nalar que el C rculo de Euler o de los Nueve Puntos resuelve este problema. El C rculo de Euler se dene como el que contiene a los pies de las medianas, los pies de las alturas y los puntos medios de los segmentos que unen el ortocentro con los v ertices4 , entonces tenemos la siguiene situaci on

Y que este problema es resoluble con regla y comp as como u nicas herramientas.

Se demuestra que existe para todo tri angulo en [1], as como que el centro de este c rculo es un punto de la recta de Euler.

22

CAP ITULO 2. EL PROBLEMA DE APOLONIO

Cap tulo 3 La F ormula de Her on del Area del Tri angulo

Her on de Alejandr a fue un ingeniero griego, trabaj o en Alejandr a, posiblemente en el siglo primero. Aun despu es de la decadencia del Imperio Alejandrino y de la ciencia griega todav a existieron algunos grandes personajes de ciencia. Uno de estos genios fue Her on, que despleg o una actitud casi moderna para la mec anica, descubriendo de forma arcaica la ley de acci on y reacci on, mediante experimentos con vapor de agua. Describi o un gran n umero de m aquinas sencillas y generaliz o el principio de la palanca de Arqu medes, invent o una esfera hueca a la que se adaptaban dos tubos curvos. Cuando herv a el agua en el interior de la esfera, esta giraba a gran velocidad como resultado de la ley de acci on y reacci on.

En matem aticas pas o a la historia sobre todo por la f ormula que lleva su nombre y que permite calcular el area de un tri angulo conocidos sus tres lados, aparecida por primera vez en su obra La M etrica. En esta obra 23

 DEL AREA 24CAP ITULO 3. LA FORMULA DE HERON DEL TRIANGULO tambi en encontramos ejemplos num ericos1 de medida de longitudes, areas y vol umenes, as como alguna demostraci on. La f ormula de Her on es una f ormula del area del tri angulo en funci on de las longitudes de los lados del tri angulo. Posiblemente ya fuese conocida por Arqu medes si bien la primera demostraci on que nos ha llegado es de Her on, en su libro La M etrica. At = p(p a)(p b)(p c) p= (3.1)

donde a, b y c son los lados y p es el semiper metro, esto es a+b+c 2 Teorema 2 Sea el tri angulo ABC con lados a, b, c y semiper metro p entonces su area es p(p a)(p b)(p c).

Dem: Her on comienza inscribiendo un c rculo en el tri angulo dado, viendo que At = rp despu es observa que tri angulos son semejantes (se marcan de colores iguales en la gura).

ahora prolonga la base AB hasta C de manera que AC = CP Se tiene ahora que a+b+c BC = p = 2
Me parece interesante as que voy a a nadir como calcula Her on 3 100. Calcula los cubos mas cercanos, que son 64 y 125, luego el numero buscado esta comprendido entre las de estas cantidades, hace 125 100 = 25 = 52 y 100 64 = 36 ahora hace 9 y esto se lo suma 36 5 = 180, se lo aade a 100. Divide 180 entre 100 + 180 obteniendo 14 3 9 a la ra z c ubica de 64, aproximando 100 = 4 + 14 y esta aproximaci on tiene un error menor a 0.02.
1

25 pues BC = BM + M A + AC = BM + M A + CP = 2BM + 2M A + 2CP 2 (BM + AM ) + (BN + N C ) + (AP + P C ) 2 as mismo tenemos que p c = (C A + AM + M B ) (AM + M B ) = C A pb = (C A+AM +M B )(CP +P A) = (C A+AM +M B )(C A+AM ) = M B pa = (C A+AM +M B )(CN +N B ) = (C A+AM +M B )(C A+M B ) = AM

Ahora Her on traza una perpendicular a la base por el punto A, y otra a OB por O, se cortan en T , y une este punto con B , Obteniendo el cuadrilatero T AOB

 DEL AREA 26CAP ITULO 3. LA FORMULA DE HERON DEL TRIANGULO

Se da cuenta de que este cuadrilatero se puede inscribir en un c rculo, pues T ABA y T OBO y entonces por Euclides III.22 tenemos que la suma de los angulos opuestos es igual a dos rectos, por lo que, seg un la notaci on de la gura, 2x + 2y + 2z = y + z + AT B = 2 entonces AT B = x Esto nos da la semejanza de los tri angulos P OC y AT B y tenemos AB PC AB AT = = AT r AC r Tambi en son semejantes los tri angulos KAT y KM O, por lo que tenemos AT OM r AT AK = = = AK KM KM r KM entonces juntando las dos armaciones anteriores tenemos AK AB = KM AC sumando uno a cada miembro nos queda AM C B C B AM M B C B = = AC KM AC C B KM M B Si se observa ahora el tri angulo BOK se tiene por el teorema de la altura2 que r2 = KM M B sutituyendo C B 2 r2 = AC C B AM M B (C B r)2 = At = p(p a)(p b)(p c) y con esto acaba Her on su demostraci on.
Para todo tri angulo la altura sobre la hipotenusa es media proporcional de los segmentos que determina sobre la misma.
2

27 En 1747 Euler public o un art culo con el t tulo V ariae demonstrationes geometricae, donde daba una demostraci on sint etica3 de la f ormula de Her on. Vamos a dar ahora la demostraci on de Leonhard Euler, que si bien no basa su legado en la geometr a si que hizo grandes aportaciones a este campo, pero antes una peque na biograf a: Leonhard Euler (1707, Basilea, Suiza-1783, San Petersburgo, Rusia) vivi o en Rusia la mayor parte de su vida. Probablemente fue uno de los m as grandes matem aticos de la historia, comparable a Gauss, Newton o Arqu medes.

Fue disc pulo de Jean Bernoulli, pero super o r apidamente el notable talento matem atico de su maestro. Su carrera profesional se circunscribi o a las Academias de Ciencias de Berl n y San Petersburgo, la mayor parte de su trabajo se public o en los anales de ciencias de estas instituciones. Fue protegido de Federico el Grande. Perdi o la vista de un ojo durante un experimento en optica, y en 1766 la vista del otro, ya de mayor. Pas o los ltimos aos de su vida ciego, pero sigui o publicando trabajos. Posiblemente es el matem atico con m as trabajos publicados de la historia. La mayor parte de ellos se los dict o a su hijo mayor cuando ya estaba ciego. A pesar de que su actividad de publicaci on era incesante, un promedio de 800 p aginas de art culos al a no en su epoca de mayor producci on, entre 1727 y 1783, la mayor parte de su obra completa est a sin publicar. La labor de recopilaci on y publicaci on completa de sus trabajos, las Opera Omnia, comenz o en 1911 y no ha acabado aun. El proyecto inicial planeaba el trabajo sobre 887 ttulos en 72 volmenes. Se le considera el ser humano con mayor n umero de trabajos y art culos en cualquier campo del saber, solo equiparable a Gauss.
3

Este es el estilo griego, sin ejes de coordenadas...

 DEL AREA 28CAP ITULO 3. LA FORMULA DE HERON DEL TRIANGULO Las Opera Omnia est an divididas en cuatro series, cada una con varios volumenes. La matem atica est a en 29 vol umenes en la serie I, la mec anica y la ingenier a ocupar an,cuando se completen, los 31 vol umenes de la serie II, la f sica ocupar a la seie III y ser an 12 vol umenes, mientras que la serie IV ser an 8 vol umenes de la correspondencia de Euler. Se decidi o al comienzo de la edici on que se har a en el idioma original del art culo, con lo que la mayor a de las p aginas est an en franc es y lat n.

Dem: Euler comienza inscribiendo una circunferencia en el tri angulo, sea I el incentro4 , y r el radio. Ahora Euler prolonga la bisectriz de ABC y traza una recta perpendicular a ella que pase por A. Sea V el punto de intersecci on de las rectas anteriores. Sea N el punto de intersecci on de las prolongaciones de AV y IS . Ya no hacen falta m as construcciones. Tenemos que AIV = IAB + IBA por ser exterior al tri angulo IAB , adem as tambi en sabemos que AIV y IAV son complementarios AIV + IAV = 2

Si llamamos , y a los angulos del tri angulo ABC tenemos que AIV =
4

+ 2

Sabemos que es el punto de intersecci on de las bisectrices de los angulos del tri angulo.

29 y sabemos que ++ = entonces con esto podemos armar que IAV = 2

Tenemos ahora la semejanza de los tri angulos CU I y AIV y por lo tanto las proporciones AV z CU = = r IV IU Tenemos que los tri angulos N AS , N IV y BAV son semejantes, luego IV AV = AB IN AV AB = IV IN y con la primera y la u ltima proporciones tenemos z x+y = r(x + y + z ) = rs z SN = r SN r Como BIS y V IN son opuestos por el v ertice, son iguales, entonces IBS = BIS = V IN = AN S 2 2

entonces los tri angulos N AS y BIS son semejantes lo que nos da SN BS = xy = SN r AS IS y ahora tenemos que At = rs = rs(rs) = = sxyz = rsz SN s(s a)(s b)(s c)

y con esto concluye la prueba de la f ormula de Her on dada por Euler.

 DEL AREA 30CAP ITULO 3. LA FORMULA DE HERON DEL TRIANGULO

Se ve que la demostraci on de Euler es menos farragosa y m as astuta en cuanto a que tiene una cantidad menor de construcciones geom etricas.

Cap tulo 4 La Recta de Euler

En 1767 Euler publica un art culo, Solutio facilis problematum quorundam geometricorum dicillimorum, en la revista Novi comentarii Academiae Petropolitanae donde vuelve a trabajar con tri angulos, en este art culo 1 2 demuestra que en todos los tri angulos el circuncentro , el baricentro y el ortocentro3 estan situados en una recta, la recta de Euler y espaciados de manera que el baricentro est a dos veces mas lejos del ortocentro que del circuncentro. La demostraci on en este caso es algebraica y muy directa, calcula las coordenadas de los puntos notables y observa que est an alineados.

Teorema 3 Sea ABC un tri angulo, entonces el ortocentro, el baricentro y el circuncentro est an alineados. Adem as el baricentro est a dos veces m as lejos del ortocentro que del circuncentro.

Dem: Comienza utilizando la f ormula de Her on At =

2 2 2 2 2 2 4 4 4 s(s a)(s b)(s c) 16A2 t = 2a b + 2a c + 2b c a b c (4.1) Vayamos ahora con las coordenadas del ortocentro:

1 2

El punto donde se cortan las mediatrices de los lados. El punto donde se cortan las medianas. 3 El punto donde se cortan las alturas.

31

32

CAP ITULO 4. LA RECTA DE EULER

Aplicando el teorema del coseno al tri angulo ABC a2 = b2 + c2 2bccos() = b2 + c2 2bc AB b

2 2 2 AP = b +c a a2 = b2 + c2 2cAP 2c y de la misma manera 2 2 2 = a +c b BM 2a

tenemos tambi en

BC AM 2 y la semejanza de los tri angulos AP O y AM B con lo que At = OP BM = AM AP y entonces

2 2 4 4 4 = 2a b a b + c OP 8cAt

y utilizando la f ormula (2)

2 2 2 = 2At + c(c a b ) OP c 4At

33 Entonces el ortocentro tiene como coordenadas

2 2 2 2 2 2 , OP ) = ( b + c a , 2At + c(c a b ) ) (AP 2c c 4At

Vamos ahora con el baricentro: Sea R el punto medio de AB y L el punto medio de BC . 1 = 2At CP CP At = AB 2 c Trazamos la recta QGAB y tenemos que el tri angulo RQG es semejante a RP C por lo que RQ 1 RG = = 3 RP RC Tenemos que

tenemos entonces
2 2 2 AP ) = 3c + b a = AR RQ = 1 AB 1 RP = 1 c 1 (AR AQ 2 3 2 3 6c

esta es la abscisa.

34

CAP ITULO 4. LA RECTA DE EULER Volvemos a los tri angulos semejantes anteriores que nos dan GQ 1 RG = = 3 CP RC = 2At GQ 3c y las coordenadas son
2 2 2 GQ ) = ( 3c + b a , 2At ) (AQ, 6c 3c Nos falta el circuncentro:

Sea R el punto medio de AB y D el punto medio de AC , trazamos las mediatrices, que se cortan en el circuncentro H . Trazamos la altura AM con = 2At . longitud AM a Aplicando el teorema del coseno al tri angulo ABC obtenemos c2 = a2 + b2 2abcos( ) = a2 + b2 2aCM
2 2 2 = a +b c CM 2a

35 Trazamos la circunferencia circunscrita, y observamos que la medida de ACB es el arco AX , pero AHR = ACB . Esto nos da la semejanza de los tri angulos ACM y AHR y la proporci on
2 2 2 CM HR = c(a + b c ) = HR 8At AR AM

y entonces tenemos que las coordenadas de H son

2 2 2 RH ) = ( c , c(a + b c ) ) (AR, 2 8At

OH y GH , pero Euler, para Ahora tenemos que ver las longitudes OG, evitar trabajar con ra ces lo que hace es trabajar con el cuadrado de las distancias anteriores.
2 2 2 2 2 2 2 2 2 2 2 = (b a ) + 16At 2aa + 2b + c + a b c OG 9c2 3 4A2 t 2 2 2 2 2 2 2 2 2 2 2 = (b a ) + 16At 6a + 6b + 3c + 9a b c OH 4c2 4 16A2 t 2 2 2 2 2 2 2 2 2 2 2 = (b a ) + 16At 2a + 2b + c + a b c GH 36c2 12 16A2 t Sea d = GH entonces 2 2 2 2 2 2 2 2 2 2 2 = 4( (b a ) + 16At 2aa + 2b + c + a b c ) = 4GH 2 OG 2 2 36c 12 16At

= 2GH = 2d OG esto es que la distancia del baricentro al ortocentro es doble que la distancia al circuncentro. Pero
2 2 2 2 2 2 2 2 2 2 2 = 3d 2 = 9( (b a ) + 16At 2a + 2b + c + a b c ) = 9GH OH 2 2 36c 12 16At

y tenemos que est an alineados por = 3d = 2d + d = OG + GH OH y si no estuvieran alineados deber a ser estrictamente menor.

36

CAP ITULO 4. LA RECTA DE EULER

Vamos a dar ahora otra demostraci on posterior a la de Euler que, sin embargo, es totalmente sint etica: Dem:Sea el tri angulo ABC , con M el punto medio del lado AB , y G un punto de la mediana4 de manera que GC = 2GM y sea O el centro del c rculo que circunscribe al tri angulo, que est a en la intersecci on de las mediatrices. Extendemos OG por GO de manera que GH = 2GO y unimos H a C . Por estas relaciones tenemos que los tri angulos M OG y CHG son similares, por lo tanto la recta que une H con un v ertice del tri angulo es perpendicular al lado del tri angulo opuesto a ese v ertice5 , esto es que las alturas pasen por H .

La recta que pasa por un v ertice del tri angulo y por el punto medio del lado opuesto. Sabemos que el punto O y G son los mismos si en lugar de tomar M en AB tomamos M en otro lado, luego la construcci on es id entica.
5

Bibliograf a
[1] H.Dorrie, 100 Great Problems of Elementary Mathematics, Their History and Solution, Ed. Dover, 1965. [2] Wikipedia, www.wikipedia.org. [3] Mathworld, mathworld.wolfram.com. [4] Divulgamat, www.divulgamat.net. [5] MacTutor, www-history.mcs.st-and.ac.uk [6] W.Dunham, Euler, el maestro de todos los matem aticos, Ed. Nivola, 2000. [7] W.Dunham, Viaje a trav es de los genios, Ed. Pir amide, 1992. [8] JSTOR, www.jstor.org [9] Cut the knot, www.cut-the-knot.org [10] Im agenes de la edici on de T.L.Heath de los originales de Arqu medes, www.math.ubc.ca/ cass/archimedes/parabola.html [11] Arqu medes, Archimedis Opera Omnia Editor J.L. Heiberg, 1993. [12] Arqu medes, El M etodo, Ed. Universitat Polit ecnica de Catalunya, 1993. [13] Gallica, http://gallica.bnf.fr/ [14] Gallica Math, math-doc.ujf-grenoble.fr/GALLICA

37