Problemas famosos de Geometra

Rafa Granero Belinchn o

 Indice general
0.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1. La Cuadratura de la Parbola a 2. El Problema de Apolonio 3. La Frmula de Hern del Area del Tringulo o o a 4. La Recta de Euler 3 5 17 23 31

0.1.

Introduccin o

Los problemas tratados en este trabajo han sido elegidos para ejemplicar como a lo largo de la Historia de las Matemticas se han desarrollado a diversas herramientas y estilos de demostracin y resolucin. o o Comienzo con la cuadratura de una seccin de parbola de Arqu o a medes, donde trabajo con la obra original El Mtodo[12] y Sobre la cuadratura de e la parbola[10], como ejemplo del mtodo de exhaucin. a e o Contino con el problema de tangencia de Apolonio, donde doy una gu u a de la solucin de Gergonne y una demostracin algebraica mucho mas eleo o mental. Tras estos problemas viene la demostracin de Hern de la frmula del o o o rea del tringulo seguida de la demostracin del mismo resultado de Euler, a a o ambas son al estilo griego, sinttico. Aqu se puede apreciar el estudio del e mismo problema a lo largo de la historia de las matemticas, as como el a intento de dar una demostracin ms elegante o simple. o a Y para concluir trato la demostracin de Euler de la existencia de la recta o 3

INDICE GENERAL

de Euler, cuya demostracin es algebraica, y aado una demostracin posteo n o rior del mismo resultado de geometr sinttica. a e

Cap tulo 1 La Cuadratura de la Parbola a

La cuadratura de una seccin de parbola es uno de los logros mas remaro a cables de Arqu medes, que lo logr en torno al ao 240a.C. y lo escribi en o n o su libro De la cuadratura de la parbola. a

Arqu medes (Siracusa,287 - 212 a.c.), hijo de un astrnomo llamado Fidias, o estaba emparentado con el rey Hiern II, lo que le habr facilitado el acceso o a a elevados puestos, sin embargo, arrastrado por su acin a las ciencias, preo ri consagrarse al estudio de la matemtica bajo la direccin de Euclides en o a o Alejandr a. Ya de muy joven comenz a destacar por sus trabajos tcnicos entre los o e que destaca la desecacin de los pantanos de Egipto, obra considerada irrealo izable hasta entonces y que l consigui realizar mediante el empleo de diques e o mviles. Ya en Siracusa, Arqu o medes prosigui sus estudios de geometr y o a mecnica logrando descubrir principios que han inmortalizado su nombre: el a 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 disposicin de Hiern, llo o evando a cabo prodigios en la defensa de su ciudad natal, pudindose armar e que l slo mantuvo la plaza contra el ejrcito romano. Entre la maquinaria e o e de guerra cuya invencin se le atribuye est la catapulta y un sistema de o a espejos y lentes que incendiaba los barcos enemigos al concentrar los rayos del Sol; segn algunos historiadores, era suciente ver asomar tras las muralu las algn soldado con cualquier objeto que despidiera reejos brillantes para u que cundiera la alarma entre el ejrcito sitiador. Sin embargo, los conados e habitantes de Siracusa, tenindose a buen recaudo bajo la proteccin de Are o qu medes, descuidaron sus defensas, circunstancia que fue aprovechada por los romanos para asaltar la ciudad. A pesar de las rdenes del cnsul Marcelo de respetar la vida del sabio, o o durante el asalto, un soldado que lo encontr abstra en la resolucin de o do o algn problema, quiz creyendo que los brillantes instrumentos que portaba u a eran de oro o irritado porque no contestaba a sus preguntas, lo atraves con o su espada causndole la muerte. a Aunque probablemente su contribucin a la ciencia ms conocida sea el o a principio de la hidrosttica que lleva su nombre, Principio de Arqu a 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 relacin aproximada entre la circunferencia y su o dimetro, relacin que se designa hoy d con la letra griega 1 . Calcul a o a o con un error en torno a una milsima. e Arqu medes fue autor de numerosas obras de variada temtica en las que a 2 destaca el rigor de sus demostraciones geomtricas , razn por la que es cone o siderado el ms notable cient a co y matemtico del mundo griego. Aunque a muchos de sus escritos se perdieron en la destruccin de la Biblioteca de Aleo jandr han llegado hasta la actualidad a travs de las traducciones rabes. a, e a
Fue Leonhard Euler el primero en usar esta letra. En el texto dado ms abajo Arqu a medes se convence del resultado, pero no lo considera una verdadera demostracin por su falta de rigor. o
2 1

7 Aqu he trabajado con El Mtodo, que es un libro de Arqu e medes que se perdi hasta el ao 1906, para volver a desaparecer en la Gran Guerra. o n Volvi a encontrarse y se subast, fue comprado por una persona annima y o o o 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 poca y como se convenci de e o que el resultado intu era cierto. do

Teorema 1 El rea del segmento de parbola ABC es a a lo asociado ABC.

4 3

del rea del tringua a

Vamos a adjuntar el texto original de Arqu medes, extra de El Mtodo e do [12], donde explica como se convence de cual es el valor del rea de una a seccin de parbola. o a Sea ABC un segmento comprendido entre la recta AC y la seccin ABC de un cono rectngulo3 ; div o a dase AC por la mitad en D y trcese la recta DBE paralela al dimetro4 , y uniendo B con A a a y B con C, trcense las rectas BA y BC. a Digo que el segmento ABC es cuatro tercios del tringulo ABC. a

3 4

Esto es un segmento de parbola. a El eje de la parbola. a

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

Trcense por los puntos A y C la recta AZ paralela a DBE y a la CZ tangente a la seccin5 ; prolnguese CB hasta K, y sea KT o o igual a CK. Considrese CT como una palanca6 , siendo K su pune to medio, y sea M Q una recta paralela a ED. Puesto que CBA es una parbola 7 y que CZ es tangente a a 8 ella, y CD es una ordenada 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 razn entre CA y AQ es igual que la razn entre M Q y QO lo o o 11 cual se expone en un lema , y la razn entre CA y AQ es igual o a la razn entre CK y KN 12 , sucede que siendo tambin CT igual o e
En C. A mi me resulta muy sorprendente que la mayor de los razonamientos los haga con a la ley de la palanca. 7 Ahora en el or ginal aparece la palabra parbola, mientras que antes era seccin de a o un cono rectngulo. a 8 Esto quiere decir que CD es paralela a la tangente en el vrtice de la parbola B. e a 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 interseccin con el eje X nos o queda x = x0 . 10 De la semejanza de los tringulos M N C y EBC y QN C y DBC. a 11 Proposicin 5 de Sobre la cuadratura de la parbola. o a 12 De la semejanza de los tringulos ACK y QCN . a
6 5

9 que KT la razn entre T K y KN ser igual a la razn entre M Q y o a o 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 en equia librio con la recta M Q, que permanece en su sitio, por estar T N dividida13 en partes que estn en razn inversa a los pesos U H y a o M Q, siendo la razn entre T K y KN igual a la razn entre M Q o o 14 y HU , y por lo tanto K es el centro de gravedad del conjunto de ambos pesos. Anlogamente si en el tringulo ZAC se trazan a a tantas paralelas como se quiera a ED, stas, permaneciendo en su e lugar, estarn en equilibrio con los segmentos determinados sobre a ellas por la seccin y trasladados al punto T , de manera que el o centro de gravedad de unas y otros ser K. a Ahora bien,las rectas trazadas en el tringulo CZA componen a el propio tringulo y los segmentos rectil a neos obtenidos en la seccin del mismo modo que OQ componen el segmento ABC; por o lo tanto el el tringulo ZAC permaneciendo en su lugar estar en a a equilibrio respecto al punto K, con el segmento de la seccin o trasladado hasta tener su centro de gravedad en T , de manera que el centro de gravedad del conjunto ser K. a Div dase ahora CK por el punto X de manera que CK sea el triple de KX; por tanto el punto X ser el centro de gravedad a del tringulo ZAC, como est demostrado en Sobre el equiliba a rio. Y puesto que el tringulo ZAC, permaneciendo en su lugar a est en equilibrio, respecto de K, con el segmento BAC, trasladaa do con centro de gravedad en T , y que X es el centro de gravedad del tringulo ZAC, se verica, por consiguiente, que la razn del a o tringulo ZAC al segmento ABC colocado alrededor del centro T a es igual a la razn de T K a XK. Ahora bien, siendo T K el triple o de KX, el tringulo ZAC ser triple del segmento ABC. Adems, a a a el tringulo ZAC es cudruple del tringulo ABC, ya que ZK es a a a igual a KA y AD es igual a DC, luego el segmento ABC equivale a cuatro tercios del tringulo ABC. a Sin embargo Arqu medes dice despus que esto no es una demostracin e o
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 demostracin rigurosa la expone al nal del escrito, pero o esa parte no est completa, as que la demostracin siguiente es de su libro a o Sobre la Cuadratura de la Parbola 15 [15]. a Proposicin 1 Si Qq es la base y p es el vrtice de un segmeno e to parablico, y si R es el vrtice del segmento acotado por la o e parbola y P Q entonces a P Qq = 8P RQ
16

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

Las cuatro ultimas proposiciones (son 24). Aqu se reere al rea. a

Proposicin 2 Si Qq es una cuerda de una parbola que es bisectada en V por el dimetro o a a P V , y si RM es un dimetro que corta a QV en M , y si RW es la ordenada (paralela a 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

Proposicin 3 Sea A, B, C... una serie de areas, cada una de ellas o 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 proposicin anterior tenemos o 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 rea de un pol a gono inscrito, y por tanto menor que el rea del segmento parablico. a o

Proposicin 4 Dada una erie de areas A, B, C...Z, con A la mayor o y 4 veces la siguiente en orden entonces se tiene 4 1 A + B + C + ... + Z + Z = A 3 3

Dem: Tomemos reas a

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 sustraccin tenemos o 1 B + C + D + ...Z + z = A 3 pero

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

Proposicin 5 Todo segmento acotado por una parbola y una o a cuerda Qq tiene como area cuatro tercios la del tringulo con a base y altura la misma que tiene la parbola. a

4 K = P Qq 3 queremos ver que K es el rea del segmento parablico. Pero si a o no fuese as ser mayor o menor. a Supongamos que el rea del segmento parablico es mayor que a o K: Entonces si ponemos tringulos que tienen a P Q y P q como a base y vrtices R y r y as con los dems segmentos parablicos e a o restantes, y conseguimos as segmentos parablicos restantes con o suma de reas menor que el rea por la que P Qq y K se diferena a cian. entonces, el pol gono as formado tendr rea mayor que K, a a lo que no puede ser por la proposicin anterior o 4 A + B + C + D... < A 3

Dem: Sea

14

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

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

con lo que el rea de la seccin de parbola ser la suma de la serie a o a a a(P Qq)
n=0

1 4n

Arqu medes no utiliza el paso al l mite, pero lo utiliza intuitivamente en su mtodo de exhaucin. En este caso, Arqu e o 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 trmino n + 1 e 1 4n+1

T T ... + n 4 4

n=0

1 4 1 = 4n 3 4n+1

15 despus procede por doble reduccin al absurdo para ver que la suma no e o 4 puede ser ni mayor ni menor que 3 T y dice que el resto se puede hacer tan pequeo como se quiera, si se utilizase el concepto de l n mite habr que decir a que en el l mite no hay resto. Por eso la exhaucin de Arqu o medes es parecida al uso del paso al l mite, pero no es idntica, pues no trata de la misma e manera el innito. Es necesario sealar que 2000 aos antes del descubrimiento del clculo n n a se usaban mtodos muy parecidos a los propios de l, como puede ser sumar e e una serie geomtrica. e

16

CAP ITULO 1. LA CUADRATURA DE LA PARABOLA

Cap tulo 2 El Problema de Apolonio

Uno de los mayores gemetras de la historia es Apolonio de Perga, as que o parece necesario tratar aqu algo de su obra y su biograf a. Apolonio de Perga (Perga, 262 a.c, Alejandr 190 a.c) era conocido como a el gran gemetra. Sus trabajos tuvieron una gran inuencia en el desarrolo lo de las matemticas, en particular su famoso libro Las cnicas introdujo a o trminos como parbola, elipse e hiprbola. e a e Apolonio naci en Perga, Turqu En esa poca, Prgamo era conocido o a. e como centro cultural. De joven Apolonio fue a Alejandr donde estudi con a o los seguidores de Euclides y donde ms tarde l mismo dar clases. Apoloa e a nio visit Prgamo lugar en el que exist una universidad y una biblioteca o e a similares a las de Alejandr Esto es casi todo lo que sabemos de su vida. a.

Sabemos bastante ms sobre los libros que escribi Apolonio. a o Las cnicas estaba dividido en ocho volmenes pero tan slo los cuatro o u o primeros han perdurado en el griego original. En rabe, sin embargo, podea mos encontrar los siete primeros. Debemos remarcar en primer lugar que para Apolonio las secciones cnicas o 17

18

CAP ITULO 2. EL PROBLEMA DE APOLONIO

son por denicin las curvas formadas por un plano que intersecta la supero cie de un cono. Apolonio explica en su prefacio cmo lleg a escribir su o o famoso trabajo Las cnicas. o ... comenc investigando esta materia a peticin de Nucrae o a to el gemetra en la poca en la que vino a Alejandr y pero e a maneci conmigo, y, cuando termin los ocho libros se los eno e tregu en el momento, muy deprisa, porque estaba marchndose e a por mar; no hab an sido revisados, de hecho los escrib de un tirn, posponiendo su revisin hasta el nal. o o Los libros I y II de Las cnicas comenzaron a circular sin ninguna reo visin, de hecho hay evidencias de que ciertas traducciones que han llegado o a nosotros proceden de esos primeros manuscritos. De los volmenes uno al cuatro forman una introduccin elemental a las u o propiedades bsicas de los conos. La mayor parte de los resultados de estos a libros eran conocidos por Euclides... pero algunos son, en palabras del propio Apolonio: ... ms trabajados y generalistas que en los escritos de otros. a En el libro uno se estudian las relaciones entre los dimetros y tangentes a de los conos, mientras que en el libro dos, Apolonio investiga como se relacionan las hiprbolas con las as e ntotas, y estudia adems como dibujar tangentes a 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 cnicas. o Da proposiciones determinando el centro de curvatura, lo que conduce a la ecuacin cartesiana de la evoluta1 o Pappo proporciona algunas indicaciones del contenido de los restantes libros de Apolonio, Corte de una razn, Corte de un rea, Determinacin de o a o una seccin y Construcciones. Corte de una razn sobrevive en rabe y el o o a bibligrafo del siglo X Ibn al-Nadim nos dice que otros tres trabajos fueron o traducidos al rabe aunque ninguno de ellos ha llegado a nuestros das. a De otras fuentes surgen referencias a ms trabajos de Apolonio, ninguno a
1

El lugar geomtrico de los centros de curvatura. e

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 tambin escribi sobre las hlices cil e o e ndricas y otro sobre los nmeros irracionales, as lo menciona Proclo. Eutocio hace referencia a un u libro de Apolonio en el que obtiene una aproximacin para mejor que la de o Arqu medes. En El espejo ardiente, Apolonio demostr que los rayos paraleo los de luz no se concentran en un foco por un espejo esfrico (como se cre e a con anterioridad) y discuti las propiedades focales de un espejo parablico. o o Apolonio tambin fue un importante fundador de la astronom matemtica e a a griega, que utilizaba modelos geomtricos para explicar la teor planetaria. e a El problema de Apolonio es construir un c rculo tangente a tres c rculos dados, pero tambin se admiten casos degenerados, como puede ser si tene emos rectas o puntos en lugar de c rculos. En este problema han trabajado grandes guras de la matemtica a lo largo de la historia: Euclides en su libro a IV de los Elementos demuestra cmo construir un c o rculo que pase por tres puntos dados y cmo construir un c o rculo tangente a tres rectas dadas, estos son los casos ms fciles, ms tarde Apolonio generaliza el resultado para a a a cualquier combinacin de puntos, rectas o c o rculos2 , pero el libro que recog a 3 esta demostracin, De T ectonibus se perdi y no ha llegado hasta nosotros o o mas que una descripcin de su contenido. o Francois Vi`te, tambin llamado Vieta, posiblemente el mejor matemtico e e a del siglo XVI, solucion el problema para tres c o culos, tratando cada uno de los casos de forma individual y reducindolo al anterior. Gauss, Gergonne y e 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`re, Annales de mathmatiques pures et appliqus 4, 1813-1814 e e e y Methoden und Theorien respectivamente. Probablemente la demostracin ms elegante sea debida a Gergonne: en o a ella localiza los seis centros homotticos (tres internos y tres externos) de los e tres c rculos dados, [3], estos estn tres a tres en cuatro rectas. a Despus halla los polos de inversin de uno de stos con respecto a cada e o e uno de los tres c rculos y conecta los polos de inversin con el centro radical o de los c rculos, [3],despus los tres pares de intersecciones son los puntos de e tangencia de dos de los ocho c rculos de Apolonio, para ver qu dos tomar e
2 3

Excepto el caso de tres c rculos. T angencias es la traduccin. o

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 demostracin no es la ms elemental. o a Por los mtodos algebraicos directos se tiene si (xi , yi ) son los centros de los e 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 + yi ri ) i = 1, 2, 3 i

(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 a = 2(x1 x2 ), b = 2(y1 y2 ), c = 2(r1 r2 ), d = (x2 +y1 r1 )(x2 +y2 r2 ) 1 2

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

Resolviendo en funcin de r obtenemos o 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 ecuacin resultante, con o lo que conocemos el radio y el centro de los c rculos buscados. Antes de acabar quiero sealar que el C n 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 vrtices4 , entonces tenemos la siguiene situacin e o

Y que este problema es resoluble con regla y comps como unicas hera ramientas.

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

22

CAP ITULO 2. EL PROBLEMA DE APOLONIO

Cap tulo 3 La Frmula de Hern del Area o o del Tringulo a

Hern de Alejandr fue un ingeniero griego, trabaj en Alejandr posio a o a, blemente en el siglo primero. Aun despus de la decadencia del Imperio Alejandrino y de la ciencia e griega todav existieron algunos grandes personajes de ciencia. Uno de estos a genios fue Hern, que despleg una actitud casi moderna para la mecnica, o o a descubriendo de forma arcaica la ley de accin y reaccin, mediante experio o mentos con vapor de agua. Describi un gran nmero de mquinas sencillas y generaliz el principio o u a o de la palanca de Arqu medes, invent una esfera hueca a la que se adaptao ban dos tubos curvos. Cuando herv el agua en el interior de la esfera, sta a e giraba a gran velocidad como resultado de la ley de accin y reaccin. o o

En matemticas pas a la historia sobre todo por la frmula que llea o o va su nombre y que permite calcular el rea de un tringulo conocidos sus a a tres lados, aparecida por primera vez en su obra La Mtrica. En esta obra e 23

 24CAP ITULO 3. LA FORMULA DE HERON DEL AREA DEL TRIANGULO tambin encontramos ejemplos numricos1 de medida de longitudes, reas y e e a volmenes, as como alguna demostracin. u o La frmula de Hern es una frmula del rea del tringulo en funcin de o o o a a o las longitudes de los lados del tringulo. Posiblemente ya fuese conocida por a Arqu medes si bien la primera demostracin que nos ha llegado es de Hern, o o en su libro La Mtrica. e 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 tringulo ABC con lados a, b, c y semiper a metro p entonces su rea es p(p a)(p b)(p c). a

Dem: Hern comienza inscribiendo un c o rculo en el tringulo dado, viendo a que At = rp despus observa que tringulos son semejantes (se marcan de colores iguales e a 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 aadir como calcula Hern 3 100. n o 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 36 5 = 180, se lo aade a 100. Divide 180 entre 100 + 180 obteniendo 14 y esto se lo suma 3 9 a la ra cbica de 64, aproximando 100 = 4 + 14 y esta aproximacin tiene un error z u o 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 Hern traza una perpendicular a la base por el punto A, y otra a o OB por O, se cortan en T , y une este punto con B, Obteniendo el cuadrilatero T AOB

 26CAP ITULO 3. LA FORMULA DE HERON DEL AREA 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 ngulos opuestos es igual a dos rectos, por lo que, segn la notacin de a u o la gura, 2x + 2y + 2z = y + z + AT B = 2 entonces AT B = x Esto nos da la semejanza de los tringulos P OC y AT B y tenemos a AB PC AB AT = = AT r AC r Tambin son semejantes los tringulos KAT y KM O, por lo que tenemos e a 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 tringulo BOK se tiene por el teorema de la altura2 a 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 Hern su demostracin. o o
Para todo tringulo la altura sobre la hipotenusa es media proporcional de los sega mentos que determina sobre la misma.
2

27 En 1747 Euler public un art o culo con el t tulo V ariae demonstrationes geometricae, donde daba una demostracin sinttica3 de la frmula de Hern. o e o o Vamos a dar ahora la demostracin de Leonhard Euler, que si bien no o basa su legado en la geometr si que hizo grandes aportaciones a este cama po, pero antes una pequea biograf n a: Leonhard Euler (1707, Basilea, Suiza-1783, San Petersburgo, Rusia) vivi en o Rusia la mayor parte de su vida. Probablemente fue uno de los ms grandes a matemticos de la historia, comparable a Gauss, Newton o Arqu a medes.

Fue disc pulo de Jean Bernoulli, pero super rpidamente el notable talo a ento matemtico de su maestro. Su carrera profesional se circunscribi a las a o Academias de Ciencias de Berl y San Petersburgo, la mayor parte de su n trabajo se public en los anales de ciencias de estas instituciones. Fue proteo gido de Federico el Grande. Perdi la vista de un ojo durante un experimento en ptica, y en 1766 o o la vista del otro, ya de mayor. Pas los ltimos aos de su vida ciego, pero o sigui publicando trabajos. o Posiblemente es el matemtico con ms trabajos publicados de la histoa a ria. La mayor parte de ellos se los dict a su hijo mayor cuando ya estaba o ciego. A pesar de que su actividad de publicacin era incesante, un promedio o de 800 pginas de art a culos al ao en su poca de mayor produccin, entre n e o 1727 y 1783, la mayor parte de su obra completa est sin publicar. La labor a de recopilacin y publicacin completa de sus trabajos, las Opera Omnia, o o comenz en 1911 y no ha acabado aun. El proyecto inicial planeaba el trabajo o sobre 887 ttulos en 72 volmenes. Se le considera el ser humano con mayor nmero de trabajos y art u culos en cualquier campo del saber, solo equiparable a Gauss.
3

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

 28CAP ITULO 3. LA FORMULA DE HERON DEL AREA DEL TRIANGULO Las Opera Omnia estn divididas en cuatro series, cada una con varios a volumenes. La matemtica est en 29 volmenes en la serie I, la mecnica y a a u a la ingenier ocuparn,cuando se completen, los 31 volmenes de la serie II, a a u la f sica ocupar la seie III y sern 12 volmenes, mientras que la serie IV a a u sern 8 volmenes de la correspondencia de Euler. a u Se decidi al comienzo de la edicin que se har en el idioma original del o o a art culo, con lo que la mayor de las pginas estn en francs y lat a a a e n.

Dem: Euler comienza inscribiendo una circunferencia en el tringulo, sea a 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 interseccin de las rectas o anteriores. Sea N el punto de interseccin de las prolongaciones de AV y IS. o Ya no hacen falta ms construcciones. a Tenemos que AIV = IAB + IBA por ser exterior al tringulo IAB, adems tambin sabemos que AIV a a e y IAV son complementarios AIV + IAV = 2

Si llamamos , y a los ngulos del tringulo ABC tenemos que a a AIV =

4

+ 2

Sabemos que es el punto de interseccin de las bisectrices de los ngulos del tringulo. o a a

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

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

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

y con esto concluye la prueba de la frmula de Hern dada por Euler. o o

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

Se ve que la demostracin de Euler es menos farragosa y ms astuta en o a cuanto a que tiene una cantidad menor de construcciones geomtricas. e

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 tringulos, en este art a culo 1 2 demuestra que en todos los tringulos el circuncentro , el baricentro y el a ortocentro3 estan situados en una recta, la recta de Euler y espaciados de manera que el baricentro est dos veces mas lejos del ortocentro que del cira cuncentro. La demostracin en este caso es algebraica y muy directa, calcula las o coordenadas de los puntos notables y observa que estn alineados. a

Teorema 3 Sea ABC un tringulo, entonces el ortocentro, el baricentro y el a circuncentro estn alineados. Adems el baricentro est dos veces ms lejos a a a a del ortocentro que del circuncentro.

Dem: Comienza utilizando la frmula de Hern o o At = s(s a)(s b)(s c) 16A2 = 2a2 b2 + 2a2 c2 + 2b2 c2 a4 b4 c4 t (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 tringulo ABC a a2 = b2 + c2 2bccos() = b2 + c2 2bc AB b

b 2 + c 2 a2 a2 = b2 + c2 2cAP AP = 2c y de la misma manera a2 + c 2 b 2 BM = 2a tenemos tambin e AM BC 2 y la semejanza de los tringulos AP O y AM B con lo que a At = OP BM = AM AP y entonces 2a2 b2 a4 b4 + c4 OP = 8cAt y utilizando la frmula (2) o 2At c(c2 a2 b2 ) OP = + c 4At

33 Entonces el ortocentro tiene como coordenadas b2 + c2 a2 2At c(c2 a2 b2 ) , + ) (AP , OP ) = ( 2c c 4At Vamos ahora con el baricentro: Sea R el punto medio de AB y L el punto medio de BC. 2At 1 At = AB CP CP = 2 c Trazamos la recta QGAB y tenemos que el tringulo RQG es semejante a a RP C por lo que RQ 1 RG = = 3 RP RC Tenemos que

tenemos entonces 1 3c2 + b2 a2 1 1 1 AQ = AR RQ = AB RP = c (AR AP ) = 2 3 2 3 6c esta es la abscisa.

34

CAP ITULO 4. LA RECTA DE EULER Volvemos a los tringulos semejantes anteriores que nos dan a GQ 1 RG = = 3 CP RC 2At GQ = 3c y las coordenadas son 3c2 + b2 a2 2At (AQ, GQ) = ( , ) 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 longitud AM = 2At . a Aplicando el teorema del coseno al tringulo ABC obtenemos a c2 = a2 + b2 2abcos() = a2 + b2 2aCM a2 + b 2 c 2 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 tringulos ACM y AHR y la proporcin a o c(a2 + b2 c2 ) CM HR = HR = 8At AR AM y entonces tenemos que las coordenadas de H son c c(a2 + b2 c2 ) ) (AR, RH) = ( , 2 8At Ahora tenemos que ver las longitudes OG, OH y GH, pero Euler, para evitar trabajar con ra lo que hace es trabajar con el cuadrado de las disces tancias 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 entonces Sea d = GH

(b2 a2 )2 + 16A2 2aa2 + 2b2 + c2 a2 b2 c2 t 2 2 OG = 4( + ) = 4GH 2 2 36c 12 16At OG = 2GH = 2d esto es que la distancia del baricentro al ortocentro es doble que la distancia al circuncentro. Pero (b2 a2 )2 + 16A2 2a2 + 2b2 + c2 a2 b2 c2 t 2 2 + ) = 9GH = 3d OH = 9( 2 2 36c 12 16At y tenemos que estn alineados por a OH = 3d = 2d + d = OG + GH y si no estuvieran alineados deber ser estrictamente menor. a

36

CAP ITULO 4. LA RECTA DE EULER

Vamos a dar ahora otra demostracin posterior a la de Euler que, sin o embargo, es totalmente sinttica: e Dem:Sea el tringulo ABC, con M el punto medio del lado AB, y G un a punto de la mediana4 de manera que GC = 2GM y sea O el centro del c rculo que circunscribe al tringulo, que est en la a a interseccin de las mediatrices. o Extendemos OG por GO de manera que GH = 2GO y unimos H a C. Por estas relaciones tenemos que los tringulos M OG y CHG son sima ilares, por lo tanto la recta que une H con un vrtice del tringulo es pere a pendicular al lado del tringulo opuesto a ese vrtice5 , esto es que las alturas a e pasen por H.

La recta que pasa por un vrtice del tringulo y por el punto medio del lado opuesto. e a 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 construccin es idntica. o e
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 matemticos, Ed. Nivola, a 2000. [7] W.Dunham, Viaje a travs de los genios, Ed. Pirmide, 1992. e a [8] JSTOR, www.jstor.org [9] Cut the knot, www.cut-the-knot.org [10] Imgenes de la edicin de T.L.Heath de los originales de Arqu a o medes, www.math.ubc.ca/ cass/archimedes/parabola.html [11] Arqu medes, Archimedis Opera Omnia Editor J.L. Heiberg, 1993. [12] Arqu medes, El Mtodo, Ed. Universitat Politcnica de Catalunya, 1993. e e [13] Gallica, http://gallica.bnf.fr/ [14] Gallica Math, math-doc.ujf-grenoble.fr/GALLICA

37