LAS DEMOSTRACIONES GEOMETRICAS

Pedro Alegr (pedro.alegria@ehu.es) a

La elegancia de las demostraciones geomtricas es directamente proporcional al e nmero de ideas que en ellas vemos e inversamente proporcional al esfuerzo requerido u para comprenderlas. G. Plya (1887-1985) o

INDICE 1. Origen de la geometr a. 2. Postulados de Euclides. 3. Geometr no eucl as deas. 4. Geometr urbana. a 5. Teor axiomtica. a a 6. Algunos teoremas elegantes. 7. Teorema de Pitgoras. a 8. Consecuencias del teorema de Pitgoras. a 9. Errores en las demostraciones geomtricas. e 10. Algunos problemas grcos. a 11. Geodsicas. e 12. Slidos platnicos. o o 13. Razn urea. o a

No es usual en la formacin matemtica actual conocer los principales hechos de la geometr o a a elemental clsica. Sin embargo, a lo largo de la historia muchos resultados obtenidos por motivos a puramente intelectuales han dado gran impulso a muchas reas de las matemticas, as como a a a multitud de aplicaciones. Aqu daremos una panormica supercial a algunas ideas, sobre todo a de matiz recreativo y curioso, a n de suscitar la curiosidad del lector, lo que pueda llevarle a profundizar en estos temas.

1.

ORIGEN DE LA GEOMETR IA.

De todas las aportaciones conseguidas por los astrnomos griegos, ninguna es ms interesante o a que la famosa medida de la circunferencia y el dimetro de la Tierra realizada por Eratstenes, a o con un error de 80 Km. respecto al valor que se usa actualmente. Su ingenioso mtodo fue el e siguiente: De los archivos de la poca descubri que a mediod de cierto d del ao pod verse el sol e o a a n a reejado en cierto pozo de Siena, a 800 Km. al sur de Alejandr esto signicaba que en ese a; momento el Sol estaba en su punto ms alto. De acuerdo a esto, al llegar ese d midi la sombra a a, o de una columna en Alejandr (en el mismo meridiano de Siena), a mediod encontrando la a a, inclinacin del sol 1/50 de una circunferencia completa (7 1/5) al sur de la vertical. Como los o rayos del sol son prcticamente paralelos, se conclu no slo que la Tierra no es plana, sino a a, o que los 800 Km. de distancia del arco entre Alejandr y el pozo abarcaban un ngulo central a a 1/5 (supuesta la Tierra esfrica), lo que proporciona un valor para la circunferencia de la de 7 e Tierra igual a 800 50 Km. = 40000 Km.
N IO CC L IRE SO D L DE

IT

1 7

NA SIE DE T NI ZE
2'

CENTRO DE LA TIERRA

ZE

2.

POSTULADOS DE EUCLIDES.

En el siglo III a.C., el matemtico griego Euclides escribi su obra principal, ELEMENTOS, un a o extenso tratado de matemticas compuesto por 13 volmenes sobre materias tales como geomea u tr plana, proporciones en general, propiedades de los nmeros, magnitudes inconmensurables a u y geometr del espacio. Probablemente estudi en Atenas con disc a o pulos de Platn. Ense geoo no metr en Alejandr y all fund una escuela de matemticas. Los Clculos (una coleccin de a a o a a o teoremas geomtricos), los Fenmenos (una descripcin del rmamento), la Optica, la Divisin e o o o del canon (un estudio matemtico de la msica) y otros libros se han atribuido durante mucho a u tiempo a Euclides. Sin embargo, la mayor de los historiadores cree que alguna o todas estas a obras (aparte de los Elementos) se le han adjudicado errneamente. Los historiadores cuestionan o 2

ECUADOR

LE

JA

RI

la originalidad de algunas de sus aportaciones. Probablemente las secciones geomtricas de los e Elementos fueron en un principio una revisin de las obras de matemticos anteriores, como o a Eudoxo, pero se considera que Euclides hizo diversos descubrimientos originales en la teor de a nmeros. u Hasta ese momento, la Geometr era un conjunto de resultados emp a ricos utilizados para medir y dibujar guras. Con Euclides pasa a ser una ciencia deductiva; a partir de ciertos conocimientos prejados, y mediante un proceso lgico, se concluyen resultados. Los Elementos de Euclides se o utilizaron como texto durante 2.000 aos, e incluso hoy, una versin modicada de sus primeros n o libros forma la base de la enseanza de la geometr plana en las escuelas secundarias. La primera n a edicin impresa de las obras de Euclides que apareci en Venecia en 1482 fue una traduccin del o o o a rabe al lat n. Adems de 23 deniciones y varias suposiciones impl a citas, que expresaban ideas familiares a cualquiera, Euclides dedujo la mayor parte de los resultados sobre la geometr del plano a partir a de cinco postulados o axiomas: 1. Dados dos puntos, siempre existe una recta que pase por ellos. 2. Toda recta puede extenderse indenidamente en la misma direccin. o 3. Con un punto como centro y cualquier radio dado se puede trazar una circunferencia. 4. Todos los ngulos rectos son iguales entre s a . 5. Si una recta corta a otras dos de tal modo que los ngulos interiores del mismo lado suman a menos que dos rectos, al prolongar indenidamente estas dos rectas, se cortan en ese mismo lado. El quinto postulado se reere al diagrama siguiente:

s A

Si la suma de los ngulos A y B es menor que dos rectos, las rectas s y t, al prolongarse, se a deben cortar en el lado donde estn los ngulos A y B. a a Los postulados 1 y 3 constituyen el escenario de las construcciones con regla y comps que a fueron t picas hasta mediados del siglo XIX. Se puede decir que estn basados en experiencias a prcticas. a El segundo postulado expresa una creencia comn de que las rectas no terminan y que el espacio u no est acotado. a El cuarto postulado asegura la homogeneidad del plano: en cualquier direccin y a travs de o e cualquier punto, cualquier par de rectas perpendiculares forman el mismo ngulo, llamado por a ello recto. Queremos pensar que este postulado ha sido tambin justicado por la experiencia e 3

diaria adquirida por el hombre en la porcin nita y habitada de nuestro universo y extrapolada o a la parte del universo cuya existencia sentimos y en la que creemos. La compleja elaboracin del quinto postulado contrasta con la simplicidad del resto. El mismo o Euclides, probablemente, tuvo sentimientos similares pues no us este postulado hasta la propoo sicin I.29. Ms bien, el postulado parece una proposicin ms que una realidad bsica. Ahora o a o a a sabemos que es imposible deducir este postulado de los otros cuatro. Los numerosos intentos de hacer esto han proporcionado una gran variedad de enunciados equivalentes al propio postulado. Algunos ejemplos son los siguientes: 1. Existe al menos un par de tringulos semejantes no congruentes. a 2. Existe un par de rectas equidistantes en todos sus puntos. 3. Dados tres puntos no alineados, existe una circunferencia que pasa por todos ellos. 4. Si tres de los ngulos de un cuadriltero son rectos, el cuarto tambin es un ngulo recto. a a e a 5. Por un punto exterior a una recta se puede trazar una paralela y slo una. o 6. Si una recta corta a una de dos rectas paralelas, tambin corta a la otra. e 7. Dos rectas paralelas a una tercera son paralelas entre s . 8. Dos rectas que se cortan no pueden ser paralelas a una tercera. 9. No existe una cota superior para el area de un tringulo. a Sealemos que el rec n proco de esta armacin es cierto en las geometr de Riemann y Lobao as chevski. Es tambin curioso el hecho de que el postulado de las paralelas, as como sus enunciados e equivalentes, todos intuitivos, es equivalente al teorema de Pitgoras. a

3.

GEOMETR IAS NO EUCL IDEAS.

Durante 23 siglos los matemticos creyeron que el quinto postulado se pod demostrar basndose a a a en los otros cuatro, pero los esfuerzos para probarlo fueron intiles. No fue hasta nales del siglo u pasado cuando se prob que el quinto postulado es independiente de los dems. o a Entre los intentos de prueba citaremos el de G. Saccheri en 1733, quien consideraba las siguientes tres posibilidades con respecto al nmero de rectas que pasan por un punto, con respecto a otra u recta: A) hay exactamente una paralela; B) no hay paralelas; C) hay ms de una paralela; a conocidas como las hiptesis del ngulo recto, obtuso y agudo, respectivamente. Como no llegaba o a a contradicciones al suponer la hiptesis C), arm que sta repugna a la naturaleza de la l o o e nea recta. En 1824, el matemtico alemn Carl Friedrich Gauss escribi que la suposicin de que la suma a a o o de los tres ngulos de un tringulo es menor que 180 grados conduce a una curiosa geometr a a a, diferente de la existente, pero completamente consistente. El invent el trmino de Geometr o e a no eucl dea pero nunca public nada sobre el particular. o

Aos despus, y de forma independiente, el hngaro Jnos Bolyai y el ruso Nikoli Lobachevski n e u a a demostraron la posibilidad de construir un sistema geomtrico coherente, en el que el postulado e de la paralela unica de Euclides se reemplaza por otro que nos dice que se puede dibujar un nmero innito de paralelas a una recta que pasan por un punto exterior a sta. Descubrieron u e pues la geometr no eucl a dea bajo la hiptesis C), lo que equivale a la suposicin de Gauss. Ya o o la posibilidad B) hab sido descartada por Saccheri por contradecir el segundo postulado. Ms a a tarde, alrededor de 1860, el matemtico alemn Bernhard Riemann advirti que la interpretacin a a o o asumida por todos sobre el segundo postulado no necesariamente era correcta, pues una recta puede extenderse indenidamente sin necesidad de ser no acotada (por ejemplo, los c rculos, al no tener extremos, pueden extenderse indenidamente pero son nitos). Mostr de este modo o que una geometr en la que no existen l a neas paralelas tambin es posible. e En el primer postulado tambin estaba impl e cito el hecho de que por dos puntos slo puede o pasar una recta. Tambin Riemann modic este postulado, de modo que, adems del tercero y e o a el cuarto, propuso los siguientes: 1) Por dos puntos distintos pasa al menos una recta. 2) Las rectas no estn acotadas. a 5) Cualquier par de rectas en un plano se cortan. Los detalles de estos dos tipos de geometr no euclidiana son complejos, pero ambos se pueden a demostrar utilizando modelos sencillos. La geometr Bolyai-Lobachevski, llamada normalmente a geometr no euclidiana hiperblica, describe la geometr de un plano que est formado slo a o a a o por los puntos interiores de un c rculo en el que todas las posibles l neas rectas son cuerdas del c rculo (segmentos abiertos) y los puntos son los del interior del c rculo. Este modelo fue propuesto por Beltrami en 1868. Como se ve en la gura, se puede dibujar un nmero innito u de rectas paralelas a la recta AB, es decir rectas que no cortan a AB, que pasen por el punto P exterior a AB.

De la misma manera, la geometr riemanniana o no euclidiana el a ptica, es la geometr de la a supercie de una esfera en la que todas las l neas rectas son c rculos mximos y los puntos son a puntos ordinarios sobre la esfera. Como hemos visto, la suma de los ngulos de un tringulo a a . La gura siguiente muestra la imposibilidad de dibujar un par de l aqu es mayor que 180 neas paralelas en esta supercie.

Una forma sencilla de ilustrar lo anterior es considerar el siguiente problema, seguramente conocido por muchos. Una persona sale de su casa un d y camina 10 Km. al sur, despus 10 Km. al a e oeste y despus 10 Km. al norte para encontrarse de nuevo en su casa. Cmo es e o esto posible? Es bien sabido que una de las soluciones es que viva en el polo norte (sin embargo, hay una innidad de otras soluciones). Ahora bien, esto plantea el siguiente dilema: el recorrido seguido forma un tringulo pero dos de los ngulos son rectos. Por lo tanto, la suma de los ngulos del tringulo a a a a es mayor que dos rectos, lo que contradice el quinto axioma de la geometr eucl a dea. El descubrimiento de las geometr no eucl as deas tuvo un profundo impacto en el desarrollo de las matemticas de los siglos XIX y XX. A pesar de estar basados los postulados de Euclides en a la intuicin de los objetos geomtricos, el descubrimiento de las geometr no eucl o e as deas puso de maniesto sus omisiones lgicas. Esto hizo que los mtodos axiomticos ya no fueran basados o e a en la intuicin y debieran ser formalizados. o El siguiente paso consist en hacer que el pblico admitiese la idea de la existencia de otras a u posibles geometr aunque formalmente se trataba de algo similar a lo planteado por Euclides; as, ste construy su teor desarrollando una gran cantidad de resultados a partir de unas pocas e o a premisas. Poincar dio una respuesta a la objecin natural de por qu denir de esa manera los trminos e o e e primitivos de recta y plano. En cualquier lenguaje, las mismas palabras tienen varias interpretaciones y las mismas frases con signicado diferente pueden tener un sentido para unos y otro para otros. Otro tipo de argumentos contra los que niegan que las rectas puedan ser segmentos acotados consiste en denir la distancia de una forma axiomtica, no slo en el sentido de Euclides. Por a o ejemplo, en un c rculo, si denimos d(P, Q) = log |AQ| |P B| |AP | |QB|

B Q P A
cumple todos los axiomas de un espacio mtrico, pero a medida que Q se aleja de P , la distancia e crece indenidamente. Esto quiere decir que d(A, B) = . Actualmente, el conjunto de postulados de la geometr eucl a dea es mucho mayor que los cinco originales. A principios de este siglo, Veblen incorpor a los axiomas de Euclides, del tipo de o propiedades de incidencia, los axiomas de orden, congruencia y continuidad. Para distancias relativamente pequeas, la geometr euclidiana y las no euclidianas son esenn a cialmente equivalentes. Sin embargo, al trabajar con el espacio astronmico o con problemas de o la f sica moderna como la relatividad o la teor de propagacin de ondas, las geometr no a o as euclidianas dan una descripcin ms precisa que la euclidiana de los fenmenos observados. Por o a o ejemplo, la teor de la relatividad desarrollada principalmente por Albert Einstein est basada a a en una geometr riemanniana de espacio curvo. a En conclusin, el quinto postulado de Euclides, presentado hace ms de 2300 aos, ha dado o a n lugar en tan slo dos siglos a un desarrollo espectacular de la geometr Esta, al poder liberarse o a. de este axioma, se ha podido aplicar en otras muchas ramas de la ciencia, siendo la teor de la a relatividad uno de sus exponentes de ms impacto actual. a

4.

GEOMETR URBANA. IA

Para apreciar mejor la geometr eucl a dea, lo mejor es tener algn contacto con geometr u as no eucl deas. Si la geometr eucl a dea es un modelo adecuado al mundo natural, la geometr a o del taxista.es mejor para el mundo articial construido por el hombre. urbana. En la geometr eucl a dea, para medir la distancia entre dos puntos, se aplica el teorema de Pitgoras construyendo un tringulo rectngulo con catetos paralelos a los ejes. Aqu basta a a a sumar las longitudes de dichos catetos. dE (x, y) = (x1 y1 )2 + (x2 y2 )2

dT (x, y) = |x1 y1 | + |x2 y2 |. Las circunferencias {P R2 : dT (P, C) = r} con C = (a, b) y r > 0 jos tienen con esta denicin forma cuadrada (rombo): o S = {(x, y) R2 : |x a| + |y b| = r}. Esta geometr no slo corresponde al caso del taxista en una ciudad con una distribucin de a o o calles en ret cula rectangular, sino que los ecologistas la consideran apropiada para medir la superposicin de nichos y la nocin de distancia ecolgica entre especies. o o o 7

Una pregunta natural y de fcil respuesta es el de asignar el valor de . a Vamos a considerar el siguiente problema en esta geometr donde suponemos una ciudad en a, que cada lugar se interpreta como un punto en un sistema de coordenadas rectangular: En la ciudad de Nueva York, Ana trabaja en A = (3, 1), Benito en B = (3, 3) y su hijo Carlos va al colegio en C = (0, 3). a) Dnde deber vivir para que cada uno tuviese que caminar la misma distancia para ir a o an su trabajo o al colegio? b) Dnde deber vivir si deciden que el nio sea el que menos deba caminar y Ana la que o an n ms camine? a El problema consiste en encontrar el circuncentro, punto que equidista de los tres puntos dados, aunque su posicin diera de la que corresponde en el caso de la geometr eucl o a dea. s r

A C

En el dibujo, la l nea r representa la mediatriz del segmento AC, s la mediatriz del segmento AB y t la mediatriz de BC. El punto de interseccin de ellas ser el lugar buscado. o a Un problema bsico en investigaciones geomtricas es el de describir el grupo de isometr de a e as un espacio mtrico (X, d) en s mismo. e En el ejemplo clsico del plano eucl a deo con la mtrica dE , el citado grupo consiste en las e traslaciones, rotaciones, reexiones y reexiones deslizadas del plano: E(2) = O(2) T (2) donde O(2) es el grupo ortogonal (el grupo simtrico generado por las rotaciones y reexiones e del c rculo unidad) y T (2) es el grupo de traslaciones del plano. Si consideramos el plano R2 con la mtrica dT , se comprueba que el grupo de isometr es el e as producto semidirecto de D4 (grupo de simetr del cuadrado) y T (2). as Hay ocho isometr eucl as deas que tambin preservan la distancia dT entre dos puntos: e (1) traslacin; o (2) rotacin de 180 ; o (3) reexin deslizada segn recta horizontal; o u (4) reexin deslizada segn recta vertical; o u 8

(5) reexin deslizada segn recta de pendiente 1; o u (6) reexin deslizada segn recta de pendiente -1; o u (7) rotacin de 90 ; o (8) rotacin de 270 . o

A 1

B 2

B 3

A 4

B 5

A 6 7

A 8

5.

TEOR AXIOMATICA. IA

Para desarrollar cualquier rama de la Matemtica, en cada denicin de nuevos conceptos intera o vienen otros conceptos anteriores, y mediante el razonamiento lgico se obtienen proposiciones a o partir de otras ya establecidas, las cuales a su vez se han debido deducir de otras anteriores. Para evitar un c rculo vicioso, se deben admitir ciertos conceptos primitivos que permanecern sin a denir y proposiciones primitivas, llamadas axiomas o postulados, que quedarn sin demostrar. a Estos formarn la base de la teor matemtica de que se trate. a a a Una condicin que debe cumplir el sistema de axiomas es la de ser compatible, es decir que o no haya ninguna contradiccin entre ellos. Tambin se debe exigir que los axiomas sean ino e dependientes, es decir que ninguno de ellos, ni su negacin, pueda deducirse a partir de los o dems. a Una cuestin no resuelta completamente es de de la integridad del sistema, esto es, la de asegurar o que no se puede formular ningn otro axioma independiente de los ya establecidos. u Ahora bien, en una misma disciplina pueden darse diversos sistemas de axiomas equivalentes:

en un sistema una proposicin puede ser axioma y en otro teorema. o Del mismo modo, un mismo sistema axiomtico puede tener diversas interpretaciones o aplicaa ciones concretas. Ilustraremos lo anterior con los siguientes ejemplos. EJEMPLO 1. A1) Existen elementos P y r relacionados de la siguiente manera: Dos elementos de P (P1 y P2 ) determinan uno de r y slo uno. o D1) En la situacin anterior, se dice que r pasa por P1 y P2 . o A2) Existe por lo menos un P . A3) A cada r pertenecen por lo menos dos P distintos. A4) Por cada P pasan por lo menos dos r distintos. T1) Existen por lo menos tres P distintos. Demostracin. Aplicar sucesivamente los axiomas 2, 4, 3 y 1. o Veamos distintas interpretaciones de esta teor a. (1) P son los puntos y r las rectas en el espacio. (2) P son las rectas y r los puntos en el espacio. (3) P son las rectas y r los puntos en el plano. (4) P son los puntos y r las rectas en el plano. (5) P son los vrtices y r los lados de un tringulo. e a (6) P son los vrtices y r las aristas de un tetraedro. e EJEMPLO 2. Se considera una coleccin nita y no vac S de personas y ciertos clubes formados por esas o a personas. Estableceremos como trminos bsicos la coleccin S de gente y los clubes a los cuales e a o estas personas pertenecen y como axiomas los siguientes: A1) Toda persona de S es miembro al menos un club. A2) Para cada par de personas de S hay uno y slo un club al cual ambas pertenecen. o D1) Dos clubes que no tienen miembros en comn se llaman clubes conjugados. u A3) Para cada club hay uno y slo un club conjugado. o Deducir de estos postulados los siguientes teoremas: T1) Toda persona de S es un miembro al menos de dos clubes. T2) Todo club contiene al menos dos miembros. T3) S contiene al menos cuatro personas. T4) Hay al menos seis clubes. T5) Ningn club contiene ms de dos miembros. u a

10

EJEMPLO 3. Consideramos los mismos trminos primitivos del ejemplo anterior pero los siguientes axioe mas: A1) Cualesquiera dos clubes distintos tienen uno y slo un miembro en comn. o u A2) Cada persona de S pertenece a dos y slo dos clubes. o Deducir ahora los siguientes teoremas: T1) Hay exactamente seis personas en S. T2) Hay exactamente tres personas en cada club. T3) Para cada persona de S hay exactamente otra persona en S que no es del mismo club. EJEMPLO 4. Considerar el siguiente conjunto de postulados respecto a ciertos objetos llamados abejas y ciertas colecciones de abejas llamadas colmenas. P1) Toda colmena es una coleccin de abejas. o P2) Existen al menos dos abejas. P3) Si p y q son dos abejas, entonces existe una y slo una colmena que contiene tanto a p o como a q. P4) Si L es una colmena, entonces existe una abeja que no est en L. a P5) Dadas L (colmena) y p (abeja que no est en L), entonces existe una y slo una colmena a o que contiene a p y que no contiene ninguna abeja que est en L. a (a) Deducir del conjunto de postulados los siguientes teoremas: T1) Toda abeja est contenida en al menos dos colmenas. a T2) Toda colmena contiene al menos dos abejas. T3) Existen al menos cuatro abejas distintas. T4) Existen al menos seis colmenas distintas. (b) Redactar de nuevo los postulados interpretando colmena como recta y abeja como punto. Obervar que P5 es ahora el postulado de las paralelas. (c) Denir un kurple como tres abejas cualesquiera que no estn contenidas en la misma e colmena. Qu ser un kurple en la interpretacin de la parte (b)? e a o El siguiente problema tiene un planteamiento distinto pero en esencia se trata de una situacin o geomtrica basada en unos axiomas. e EJEMPLO 5. En una isla deshabitada, salvo por un grupo pequeo de ingleses, funcionan n clubes. n Observando las listas de socios, se verica que: a) Cada ingls es socio de exactamente dos clubes. e

11

b) Cada dos clubes tienen exactamente un socio en comn. u Cuntos ingleses hay en la isla? a Sugerencia. Representar cada persona por un segmento y cada club por un punto y observar que las condiciones dadas se verican si se considera un pol gono de n lados.

6.

ALGUNOS TEOREMAS ELEGANTES.

Teorema de los nueve puntos. Los puntos medios de los tres lados de un tringulo, los puntos a medios de las rectas que van del ortocentro a los tres vrtices y los pies de las alturas quedan en e la misma circunferencia (circunferencia de Feuerbach). Se prueba tambin que el radio de esta circunferencia es la mitad del radio de la circunferencia e circunscrita al tringulo. a

Teorema de Napolen. Si sobre cada lado de un tringulo arbitrario se construyen sendos o a tringulos equilteros (tanto hacia el exterior como hacia el interior del tringulo), los centros a a a de gravedad de cada uno de ellos forman un tringulo equiltero. a a

Este resultado tiene mucha relacin con el llamado problema de Fermat, que consiste en encontrar o un punto cuya suma de distancias a los tres vrtices de un tringulo dado sea m e a nima. La respuesta a este problema es el punto que al unirlo con los vrtices forma ngulos iguales a e a 120 . Una aplicacin de este resultado es la siguiente: o Supongamos que cuatro ciudades se encuentran en los vrtices de un cuadrado de un kilmetro de e o o lado. Para comunicarse entre ellos disponen de un material que slo sirve para 3 + 1 kilmetros o de camino. Cmo pueden hacerlo? o La respuesta est en determinar dos puntos en el interior del cuadrado de modo que las rectas a que los unan con los vrtices ms prximos formen un ngulo de 120 con el segmento que une e a o a dichos puntos. 12

7.

TEOREMA DE PITAGORAS.

En todo tringulo rectngulo, el rea del cuadrado construido sobre la hipotenusa a a a es igual a la suma de las reas de los cuadrados construidos sobre los catetos. El a rec proco tambin es cierto. e Este teorema es fundamental en la Geometr Eucl a dea pues es la base para denir la distancia entre dos puntos. Aunque se atribuye a la escuela pitagrica, ya su enunciado aparece en o ilustraciones babilnicas mucho ms antiguas. o a Se conocen ms demostraciones de este teorema que d tiene un ao, pero aqu nos limitaremos a as n a indicar algunas de ellas, sobre todo por su claridad grca. a Demostraciones grcas. a Demostracin 1: o

Demostracin 2: o

(a + b)2 = 4
a c

ab + c2 2

Demostracin 3: o

13

Demostracin 4: o

a+b ab c2 (a + b) = 2 + 2 2 2

Demostracin 5: o

Demostracin 6: o

14

Demostracin 7: o

c2 + 3 Demostracin 8: o

ab ab = a2 + b2 + 3 . 2 2

H G I
ACJE BCJD AIF B F GHI. Basta sumar las reas de los dos a primeros y las de los dos ultimos.

C F A B

J
Demostracin 9: o
G H

CAE F AB, a rea (CAE) = rea (LAE), a a rea (F AB) = rea (F AC). a Entonces, rea (LAE) = rea (F AC), a a

C J

a rea (LAEK) = rea (F ACG). a Anlogamente, a a rea (LBDK) = rea (BCHJ). a Como rea (LAEK) + rea (LBDK) = c2 , a a entonces c2 = a2 + b2 .

15

8.

CONSECUENCIAS DEL TEOREMA DE PITAGORAS.

1. Desigualdad entre la media aritmtica y la media geomtrica. e e a, b 0, a+b ab. 2

En la demostracin, basta construir un tringulo rectngulo cuya hipotenusa sea (a + b)/2 o a a y un cateto sea (a b)/2. Por el teorema de Pitgoras, el otro cateto ser ab. a a 2. En un tringulo cualquiera, la diferencia de los cuadrados de dos de sus lados es igual a la a diferencia de los cuadrados de sus proyecciones sobre el tercer lado. Basta aplicar el teorema de Pitgoras en los dos tringulos rectngulos que se obtienen al a a a trazar la altura correspondiente. 3. El postulado de las paralelas es equivalente al teorema de Pitgoras. a 4. Si p es el semiper metro de un tringulo de lados a, b y c, entonces el rea es S = a a p(p a)(p b)(p c) (frmula de Hern). o o 5. Si se construyen sobre los lados de un tringulo rectngulo como lados homlogos pol a a o gonos semejantes, el rea del correspondiente a la hipotenusa es igual a la suma de las reas de a a los correspondientes a los catetos. Esto permite, dadas dos guras semejantes, construir una tercera, tambin semejante, con e a rea igual a la suma o diferencia de ambas. (Observemos que este resultado es ms general a que el teorema de Pitgoras en s pero a su vez es consecuencia del mismo.) a , Observacin. Las soluciones enteras de la ecuacin a2 +b2 = c2 se conocen con el nombre de o o ternas pitagricas. Se pueden obtener con los valores a = n2 m2 , b = 2mn y c = n2 + m2 , o para cualesquiera n, m enteros (n > m). Sin embargo, como se conoce desde hace poco, no hay soluciones enteras de la ecuacin an + bn = cn para n > 2 (teorema de Fermat). o

9.

ERRORES EN LAS DEMOSTRACIONES GEOMETRICAS.

C

1. Todo tringulo es issceles. a o

F E

Sea CE la bisectriz del C y OE la mediatriz de AB. 16

Sean EF y EG las perpendiculares a AC y BC. Los tringulos CF E y CGE son congruentes por ser rectngulos, ser iguales los ngulos F CE a a a y GCE y ser CE la hipotenusa comn. u De aqu se deduce que CF = CG y EF = EG. Adems, los tringulos EF A y EGB son tambin congruentes pues EF = EG, EA = EB y ser a a e ambos tringulos rectngulos. a a De lo que se deduce que F A = GB. Los dos resultados indican que CA = CB, es decir, el tringulo es issceles. a o 2. Un ngulo recto es igual a un ngulo obtuso. a a

D F

P
Consideremos el rectngulo ABCD; construimos el segmento BE cuya longitud coincide con BC. a Trazamos P G mediatriz de AB y P F mediatriz de DE. Por tanto, P A = P B y P D = P E. Con estos datos, es evidente que los tringulos P AD y P EB son congruentes. Esto indica que a los ngulos P AD y P BE son iguales. Como tambin son iguales los ngulos P AB y P BA, se a e a deduce que el ngulo (recto) BAD coincide con el ngulo (obtuso) ABE. a a 3. Desde un punto se pueden trazar dos perpendiculares a una misma recta.

N M B

Sean A y B los puntos de interseccin de dos circunferencias, AC y AD los dimetros respectivos o a y M y N los puntos donde CD corta a las circunferencias. Los ngulos AM C y AN D son rectos por estar inscritos en una semicircunferencia. Esto quiere a decir que AN y AM son perpendiculares (distintas) a CD.

17

10.

ALGUNOS PROBLEMAS GRAFICOS.

1. YIN-YAN. El s mbolo de la gura representa para las religiones antiguas los dos elementos opuestos que se complementan en la naturaleza: bien-mal, masculino-femenino, agua-fuego.

Si la l nea que separa ambas partes son dos semic rculos, trazar una sola recta que divida en dos partes iguales las reas de cada una. a Es un resultado general el hecho de que, dada una supercie cualquiera en el plano, siempre existe una recta que la divide en dos partes de la misma rea. Esto es consecuencia del a teorema de Bolzano, uno de los primeros resultados referentes a la continuidad de funciones reales. Incluso se puede probar que existen siempre dos rectas perpendiculares que la dividen en cuatro partes iguales. El resultado anal tico no permite determinar cules son a esas rectas pero mtodos aproximados, que se incluyen en el clculo numrico, permiten e a e obtener de forma recursiva resultados con un grado de exactitud predeterminada. 2. CRUZ DE MALTA. Calcular el rea de la Cruz de Malta, siendo a el lado del cuadrado y los arcos de la a circunferencia tienen centro en los vrtices y pasan por el punto medio de las diagonales. e

3. LUNULAS DE HIPOCRATES. Dado un tringulo rectngulo ABC, se trazan tres a a semicircunferencias de dimetros los tres lados. Entonces: a a) El rea del semic a rculo construido sobre la hipotenusa es igual a la suma de las reas a de los semic rculos construidos sobre los catetos. b) La suma de las reas de las lnulas de Hipcrates (regin sombreada) es igual al rea a u o o a del tringulo. a

18

11.

GEODESICAS.

Es sabido que la l nea recta es la distancia ms corta entre dos puntos. Sin embargo, ya sabemos a que eso slo es cierto en la geometr plana. En otras situaciones existen mecanismos para o a determinar la distancia ms corta. Por ejemplo, en la esfera son arcos de circunferencia mxima, a a y en el cilindro las hlices, como se comprueba dibujando una recta sobre una hoja de papel y e enrollando esta para formar un cilindro. Las hlices son curvas muy importantes, como se pone e de maniesto al haber sido descubierto que las molculas del ADN forman una doble hlice, y e e constituyen el cdigo gentico que dirige la transmisin hereditaria. o e o

En la vida diaria las hlices tienen una aplicacin ms comn: si proyectamos cada punto de e o a u una hlice sobre el eje de la misma, se obtiene la supercie llamada helicoide, tambin conocida e e como la espiral de Arqu medes, que sirve para hacer subir el agua o el grano. Tambin se utiliza e para hacer pasar la carne en las picadoras de los carniceros.

12.

SOLIDOS PLATONICOS.

Llamaremos poliedro a cualquier supercie compuesta por pol gonos de modo que no haya ms a de dos pol gonos por cada arista y las caras que convergen en cada vrtice son pol e gonos unidos (dos consecutivos) por una arista (as evitamos dos guras unidas por el vrtice). Denimos un e poliedro simple como el que puede deformarse de forma continua para convertirse en una esfera (no tiene agujeros). Teorema de Euler. Si denotamos por C el nmero de caras de un poliedro simple, A el nmero u u de aristas y V el nmero de vrtices, en cualquier poliedro simple se verica la relacin C A + u e o V = 2. Este teorema fue demostrado por Descartes (1639) y redescubierto por Euler (1751). La demostracin que inclu o mos aqu se debe a Cauchy (1811). Demostracin. Supongamos que se quita una cara del poliedro. El resto del poliedro lo podemos o deformar hasta convertirlo en una gura plana de puntos y curvas cuya frontera corresponde a las aristas de la cara eliminada (basta para ello proyectarlo sobre un plano). Sin prdida de e

19

generalidad, podemos suponer que las aristas deformadas son segmentos de l neas rectas. Aunque la forma de las caras pueda ser distinta, el nmero de vrtices, caras y aristas coincide con los u e del poliedro de partida (donde suponemos que la cara extraida corresponde al exterior de la gura). Aplicaremos a continuacin de forma repetida las siguientes transformaciones que simplican la o gura pero no alteran el nmero de Euler C A + V : u 1. Si algn pol u gono tiene ms de tres lados, dibujamos una diagonal. Esto aade una arista y a n una cara. Se contina as hasta que todas las caras sean triangulares. u 2. Eliminar de uno en uno todos los tringulos que tienen dos lados en contacto con el exterior a de la gura. Esto elimina un vrtice, dos aristas y una cara. e 3. Eliminar de uno en uno los tringulos con un solo lado en contacto con el exterior. Esto a disminuye el nmero de aristas y caras en una unidad pero no altera el nmero de vrtices. u u e Aplicando sucesivas veces los pasos 2 y 3 quedar al nal un solo tringulo. Ahora es evidente a a que C = 2 (contando el exterior), V = 3 y A = 3, cuyo nmero de Euler es 2. u

20

Para el siguiente resultado diremos que un poliedro es convexo cuando, dado cualquier par de puntos en su interior, el segmento de recta que los une tambin est en su interior. (Si un poliedro e a es convexo, es simple, pero el rec proco no es cierto.) Diremos tambin que un poliedro es regular si todas sus caras son pol e gonos regulares iguales y en cada vrtice se encuentran el mismo nmero de caras. e u El siguiente resultado ya era conocido en la Grecia antigua, de ah que los poliedros regulares reciban tambin el nombre de slidos platnicos. En El Timeode Platn se puede leer lo e o o o siguiente: A la Tierra le atribuimos ciertamente forma cbica. Porque la Tierra es el ms dif de mover u a cil de todos los cuerpos y es de todos ellos el ms tenaz. Por tanto, al atribuir esta supercie a la a Tierra nos conformamos con lo razonable y lo veros mil. Y eso mismo hacemos al atribuir al agua a su alrededor la forma que es ms fcil de mover (el icosaedro), lo ms mvil es el fuego a a a o (el tetraedro), y la forma intermedia es para el aire (el octaedro). TEOREMA. Slo existen cinco poliedros regulares convexos. o Demostracin. Utilizaremos la siguiente notacin para denotar un poliedro: o o Un poliedro convexo regular tiene s mbolo (p, q) si las caras son pol gonos de p lados y en cada vrtice conuyen q aristas. e As pues, como cada cara tiene p lados, el nmero total de aristas ser pC salvo que cada arista u a est contada dos veces (una por cada cara). a Es decir pC = 2A. Por otro lado, q aristas coinciden en cada vrtice, de modo que, como e cada arista conecta dos vrtices, qV = 2A. Sustituyendo lo anterior en la frmula de Euler, e o obtenemos 2A/p + 2A/q A = 2 1/p + 1/q = 1/2 + 1/A. o Ahora bien, como todo pol gono tiene necesariamente al menos tres lados y tres vrtices, y p y e q no pueden ser simultneamente ambos mayores que 3 (pues la frmula anterior como mximo a o a ser 1/4 + 1/4 = 1/2 < 1/2 + 1/A). Distinguiremos pues los dos casos: a a) p = 3: 1/q 1/6 = 1/A. Esto implica que q slo puede ser 3, 4 5. La ecuacin anterior da o o o los valores A = 6, 12 30, respectivamente. o b) q = 3: Resultado anlogo para p y A slo puede tomar los valores 6, 12 30. a o o En denitiva, las unicas posibilidades son las que se indican en la tabla siguiente: Caras 4 8 20 6 12 Aristas 6 12 30 12 30 Vrtices e 4 6 12 8 20 S mbolo (3,3) (3,4) (3,5) (4,3) (5,3) Nombre Tetraedro Octaedro Icosaedro Exaedro Dodecaedro

Otra prueba, ms grca, consiste en observar que q < 360, donde es el ngulo de cada a a a pol gono regular (en caso contrario, la gura degenerar en un plano). Basta entonces observar a

21

la siguiente relacin: o p = 3 = = 60 = q = 3, 4 5, o p = 4 = = 90 = q = 3, p = 5 = = 108 = q = 3, p = 6 = = 120. Se puede plantear y resolver una generalizacin de la frmula de Euler a guras en el espacio o o n-dimensional. En un poliedro n-dimensional con N0 vrtices, N1 aristas, N2 caras, N3 caras tridimensionales, e etc., se verica la frmula de Schlai: o N0 = N1 + N2 + (1)n1 Nn1 = 1 (1)n1 .

13.

RAZON AUREA.

Dado un pentgono de lado unidad, el segmento que une los puntos medios de dos lados consea cutivos mide /2, donde = 2 sen 3/10 = 2 cos /5. De este modo, la longitud de las diagonales es .
S U P R

Curiosidad: se puede fabricar un pentgono regular haciendo un nudo con una tira delgada de a papel.

Si U es el punto de interseccin de dos diagonales, estas quedan divididas segn la llamada o u relacin urea o razn dorada. Concretamente: o a o QU QT QS QS = = = = . US RS PT QU As la razn entre la parte mayor y la menor de QS es igual a la razn entre toda la diagonal , o o y la parte mayor. Como QU = 1, entonces 1/U S = y QS = ; por tanto, 1 + 1 = , de donde = (1 + 5)/2. Una forma sencilla de construir un rectngulo cuyos lados veriquen la relacin urea es la a o a siguiente: 22

Dado un cuadrado ABCD, si P es el punto medio del segmento DC, trazamos la circunferencia de centro P y radio P B. De este modo, la razn DE/AD = . o En efecto, si l es el lado del cuadrado y r el radio de la circunferencia, r2 = l2 + l2 /4 = 5l2 /4. DE 1+ 5 Entonces DE = DP + P E = l/2 + r = l/2(1 + 5). Como AD = l, = = . AD 2 Este rectngulo era considerado el ms esttico entre los artistas de la antigedad y muchas a a e u obras se han realizado teniendo en cuenta estas proporciones. Un tratado clsico es el libro De a divina proportione.escrito por Luca Pacioli con ilustraciones de Leonardo da Vinci. Para comprobar si un rectngulo verica la relacin dorada, como ocurre con las tarjetas de a o crdito o las hojas de papel, se colocan uno de ellos en vertical y otro en horizontal. Entonces e la diagonal de uno de ellos al prolongarse debe pasar por el vrtice opuesto del otro. e
H G

b-a D C b F

Por semejanza de tringulos, a/b = b/(a + b), de donde: a a2 + ab = b2 b2 a2 ab = 0 (b/a)2 (b/a) 1 = 0 1 1+4 b/a = 2 1+ 5 b/a = . 2 El rectngulo grande tambin verica la relacin urea, y el mismo procedimiento permite oba e o a tener rectngulos cada vez ms grandes con la misma proporcin. Incluso el rectngulo pequeo a a o a n CF GH tambin la cumple (por la misma semejanza de tringulos). e a

23

Veamos la relacin del nmero ureo con la sucesin de Fibonacci, es decir, la que verica la o u a o relacin de recurrencia an+1 = an + an1 (una obra del Museo Guggenheim de Bilbao representa o los primeros elementos de esta sucesin). o an+1 an1 1 =1+ =1+ . an an an /an1 Si llamamos xn = an /an1 , entonces xn+1 = 1 + 1 1 1 =1+ = = 1 + 1 1 . xn 1 + xn1 1 + 1+...

Llamando L al l mite de la sucesin xn , tenemos: o 1+ 5 L = 1 + 1/L = L L 1 = 0 = L = . 2

2

24