Geometr a Eucl dea Plana

Primer Cuatrimestre 2005

Elementos b asicos

Introducci on 1. Incidencia y separaci on 2. Longitudes de segmentos y medidas de angulos 3. Igualdad de tri angulos 4. Relaciones entre los angulos y lados del tri angulo 5. Tri angulos rect angulos 6. Construcciones y lugares geom etricos 7. Rectas paralelas 8. Cuadril ateros 9. Quebradas y pol gonos Bibliograf a

1 2 6 8 9 10 11 14 15 17 19

Introducci on
Cuando tratamos de hacer una demostraci on, debemos saber qu e es lo que suponemos conocido, en qu e nos apoyamos para hacer determinadas armaciones. Rastreando hacia atr as, llegamos a una serie de armaciones que tenemos que suponer v alidas. Estas armaciones se llaman axiomas o postulados de la teor a. Euclides de Alejandr a, unos 300 a nos a.C., propuso un tratamiento de la geometr a conocida en ese entonces, bas andose en deniciones, postulados y nociones comunes (ver [Euc, Hea]) a partir de los cuales se deducen los resultados. Euclides presenta cinco postulados, que hoy llamar amos axiomas: I. Dados dos puntos distintos se puede trazar una recta por ellos. II. Una (fragmento de) l nea recta se puede extender indenidamente. III. Dados dos puntos, se puede trazar una circunferencia con centro en uno y que contenga al otro. IV. Todos los angulos rectos son iguales.

P ag. 2 V. Si una recta corta a otras dos formando angulos correspondientes internos que sumen menos de dos angulos rectos, estas dos rectas (extendidas indenidamente) se cortan en un punto que est a del mismo lado donde los angulos correspondientes suman menos de dos rectos. El quinto postulado se conoce como de las paralelas , ya que tiene la formulaci on equivalente, a veces llamada de Playfair : (1) Dados una recta y un punto no en ella, se puede trazar una u nica paralela a la recta que pasa por el punto. En este cap tulo presentamos axiomas para fundamentar la geometr a que estudiaremos, de alguna forma parecidos a los postulados de Euclides. Un sistema axiom atico debe presentar propiedades de consistencia , i.e. que las propiedades no se contradicen entre s , e independencia , i.e. que unas propiedades no se deducen de otras. Los matem aticos realizaron esfuerzos durante siglos tratando de demostrar que el postulado de las paralelas se deduce de los otros postulados y nociones comunes. El mismo Euclides posterga el uso de este axioma lo m as posible (hasta la proposici on I.29), a un cuando ciertas demostraciones anteriores se podr an simplicar con su uso. Finalmente, N. Lobachevsky en 1829 y J. Bolyai en 1832, publicaron independientemente geometr as en el que este quinto postulado se reemplaza por otro,(2) demostrando as la independencia del postulado de las paralelas respecto de los otros axiomas en Euclides. En otra l nea bastante distinta, a trav es de los a nos se fue observando que algunas de las demostraciones en Euclides depend an de nuestra concepci on f sica y no se basaban en los postulados. Una de las primeras es la proposici on I.4 de Euclides, que luego se tom o como axioma adicional (el axioma V nuestro sobre igualdad de tri angulos). No obstante, hacia nes del siglo XIX una gran sorpresa fue dada por M. Pasch quien mostr o que varios resultados, como por ejemplo nuestro teorema 1.11, no se deducen de los axiomas y postulados de Euclides, dando lugar al axioma II sobre separaci on. Las ideas de Pasch fueron desarrolladas posteriormente por D. Hilbert quien en su Grundlagen der Geometrie (fundamentos de la geometr a) de 1899 propuso un sistema de axiomas que nalmente puso en una base rme a la geometr a eucl dea. Que hayan pasado m as de 2000 a nos hasta que se determinara la independencia de los postulados o se descubrieran algunas fallas en la presentaci on de Euclides, nos hace pensar que no tiene sentido poner un sistema absolutamente riguroso y formal en un curso introductorio. Por lo tanto, en este curso no pretendemos una extrema rigurosidad (lo cual llevar a demasiado tiempo y nos alejar a de los objetivos). Mucho menos abordaremos temas de consistencia o independencia de los axiomas presentados. En cambio, trataremos de ubicarnos en un punto intermedio entre lo formal y lo intuitivo, siguiendo la presentaci on del libro de Pogor elov [Pog], quien a su vez simplica la axiom atica de Hilbert y otros que le siguieron. Como Euclides, Pogor elov retrasa lo m as posible el uso del axioma de las paralelas, presentado aqu como axioma VI, por lo que los resultados hasta nuestra secci on 7 no dependen de aqu el. A prop osito, pr acticamente todos los resultados de nuestra secci on 7 (como 7.1, 7.3, 7.5 o 7.9), o el teorema de Pit agoras, son equivalentes al axioma de las paralelas (suponiendo los otros axiomas).

1. Incidencia y separaci on
A partir de la fundamentaci on de Hilbert, se han clasicado las geometr as de acuerdo a los axiomas que se toman. Con algo similar a nuestro axioma I se obtiene una geometr a de incidencia si se incluye unicidad o abstracta si no. Al agregar axiomas de separaci on (similares
(1) Por John Playfair (17481819). En realidad Proclus (411485 d.C.), a trav es de cuyos Comentarios conocemos la obra de Euclides, ya la hab a formulado, y el mismo Playfair establece claramente que se basa en Proclus. (2) Seg un el mismo C. F. Gauss, el no se atrevi o a presentar resultados similares por temor a la reprobaci on de los matem aticos de su epoca. Algo de raz on tendr a: la Academia de Ciencias de San Petersburgo rechaz o el trabajo de Lobachevsky, quien tuvo que publicarlo en una revista de menor prestigio.

1. Incidencia y separaci on

P ag. 3

a nuestro axioma II), se obtiene una geometr a de Pasch , midiendo angulos y distancias entre puntos (contemplados en los axiomas III y IV), obtenemos una geometr a m etrica de transportador . En n, agregando el axioma V obtenemos una geometr a neutral y agregando el VI una eucl dea . Separaremos las secciones seg un un esquema similar, introduciendo los axiomas a medida que avanzamos y son necesarios.

Usaremos con
 indicamos observaciones y comentarios (en letras m as peque nas), mientras que en k ponemos una s ntesis de las ideas en las demostraciones (tambi en en letras m as peque nas).

para agregar incisos en deniciones,

Axioma I. 1. Cualquiera que sea la recta, existen puntos que pertenecen a la recta y puntos que no pertenecen a la recta. 2. Cualesquiera que sean dos puntos (distintos), existe una y s olo una recta que pasa por estos puntos. 1.1. Teorema (1.1 en [Pog]). Dos rectas diferentes no se cortan o se cortan en un u nico punto.
k Usa el axioma I.2.

Axioma II. 1. De tres puntos distintos de una recta, uno y solamente uno de ellos se halla entre los otros dos.
 Se establece as una relaci on entre tres puntos alineados , i.e. que est an en una misma recta.

1.2. Denici on. Si los puntos (distintos) A, B, C se encuentran en una recta y B est a entre A y C , diremos que A y C est an a distintos lados de B , o que B separa a A y B .
 Las deniciones que damos en general no son muy rigurosas, m as bien son explicaciones, como las de palabras en el diccionario.

Axioma II (continuaci on). 2. Un punto A en una recta la divide en dos partes llamadas semirrectas (o rayos ), de modo que todo punto de la recta distinto de A est a en alguna de las dos. A separa a dos puntos en distintas semirrectas, pero no separa puntos de una misma semirrecta. 1.3. Denici on. El punto de la recta que produce la divisi on en dos semirrectas se llama origen de (cada una de) las semirrectas. Las dos semirrectas as obtenidas se llaman complementarias u opuestas .
 El axioma II.2 no precisa si el origen pertenece a ambas semirrectas o a ninguna.

1.4. Denici on. Dados los puntos A y B , con A = B , se llama segmento AB a los puntos de la recta por AB que est an entre A y B .

P ag. 4 A y B son los extremos del segmento AB .

 Observar que el orden de los extremos no es importante para determinar el segmento AB .  Tomada la denici on literalmente, un segmento no incluir a a sus extremos.

1.5. Teorema (1.2 en [Pog]). El segmento AB es una parte de la semirrecta AB .

k Usa axioma II.1 y II.2.

Axioma II (continuaci on). 3. Toda recta divide al plano en dos semiplanos , de modo que todo punto del plano que no est a en la recta est a en alguno de ellos. Si los extremos de un segmento cualquiera pertenecen a un semiplano, el segmento no corta la recta. Si ambos extremos del segmento pertenecen a diferentes semiplanos, el segmento corta a la recta.
 Como en el caso del origen de una semirrecta, no queda claro si la recta pertenece a ambos semiplanos o a ninguno.  Cuando dos puntos est an en distintos semiplanos, tambi en decimos que la recta separa los dos puntos.  Es usual denotar semiplanos con letras min usculas, a veces griegas como o .

1.6. Teorema (1.3 en [Pog]). Si por el punto A de origen de la semirrecta AB se traza una recta a que no pase por el punto B , toda la semirrecta AB estar a en un semiplano respecto a la recta a (el semiplano en el que est a ubicado B ).
k Si C est a en la semirrecta AB , el segmento BC est a contenido en la recta AB que corta a a s olo en A pero A deja de un lado a B y C y no puede estar en el segmento BC . Por axioma II.3, C est a en el mismo semiplano que B .

1.7. Corolario (1.4 en [Pog]). Si por el extremo A del segmento AB se traza una recta a que no pase por el punto B , todo el segmento AB quedar a situado en un semiplano respecto a la recta a (el semiplano en el que est a ubicado B ).
k Usa 1.1 y 1.6.

1.8. Denici on. Dadas dos semirrectas distintas a y b con un origen com un O, se llama angulo a la gura formada por las semirrectas. O es el v ertice del angulo. a y b son sus lados . Si a y b son semirrectas opuestas, el angulo se dice llano .
 Si pens aramos a la gura como llena , podr amos decir que un angulo es la intersecci on de dos de los semiplanos determinados por las rectas que contienen a sus lados, como hacen algunos autores. Aqu queda la ambig uedad sobre si el angulo es lleno o no, pero en general pensaremos que un angulo es s olo un v ertice y dos lados.

1.9. Denici on. Un tri angulo es una gura formada por tres puntos no alineados y los tres segmentos que unen esos puntos de a pares. Los puntos se denominan v ertices y los segmentos lados del tri angulo. En un tri angulo se forman tres angulos llamados angulos del tri angulo.(3)
 Nuevamente queda la duda sobre si un tri angulo es lleno o no, i.e. si incluye su interior . En general pensamos que no, es decir, est a formado s olo por tres v ertices y tres segmentos. Cuando veamos area, cambiaremos el punto de vista
Curiosamente! De all el nombre de tri angulo, pero podr a haberse llamado ro ).
(3)

tril atero

(como en

cuadril ate-

1. Incidencia y separaci on

P ag. 5

 Es usual indicar con letras en min usculas a los lados opuestos a los v ertices indicados con letras may usculas: si los v ertices son A, B, C , los lados ser an a = BC , b = AC , c = AB . Pero esta convenci on no es obligatoria.

1.10. Teorema. Ning un angulo de un tri angulo es llano, i.e. cualquier angulo de un tri angulo es menor que 180 .
k Los v ertices no est an alineados.

1.11. Teorema (2.1 en [Pog]). Si una recta a, que no pasa por ninguno de los v ertices del tri angulo ABC , corta a su lado AB , entonces tambi en corta a uno y s olo uno de los lados BC o AC .
k Por axioma II.3, A y B est an en distintos semiplanos respecto de a, y C est a en alguno, usar nuevamente II.3 con C y el punto (A o B ) que est a en distinto semiplano.

1.12. Denici on. Si a, b y c son semirrectas distintas que tienen el mismo origen, y a y b no son opuestas, diremos que c pasa entre los lados del angulo ab si c corta un segmento AB cualquiera cuyos extremos se hallan en los los lados del angulo (y no coinciden con el v ertice).
 No queda clara la redacci on con el o [...] corta a todo (cualquier) segmento AB cuyos [...] Supondremos que es la primer interpretaci on y apart andonos un poco de Pogor elov demostraremos que entonces vale la segunda. Parece claro que si vale la segunda, tambi en vale la primera. cualquiera . Podr a entenderse como [...] corta a alg un segmento AB (cualquiera) cuyos [...]

Si ab es llano, cualquier rayo que parte del v ertice (y no coincide con alguno de los lados) pasa entre los lados del angulo. 1.13. Lema. Si las rectas a y b se cortan en O, entonces las semirrectas opuestas determinadas por O en b est an en distintos semiplanos respecto de a.
k Si las semirrectas son b y b , y B b , B b (B , B = O), como O est a entre B y B , el segmento B B corta a a (en O), y usamos II.3 y 1.6.

1.14. Teorema (2.3 en [Pog], con agregados). Si el rayo c pasa entre los lados del angulo ab, en el sentido de que corta a alg un segmento AB con A a y B b (A y B distintos del v ertice de ab), la recta que contiene el rayo c separa los lados del angulo, i.e. las semirrectas a y b se hallan en distintos semiplanos respecto a la recta que contiene al rayo c. M as a un, b y c se encuentran en un mismo semiplano respecto de la recta que contiene a a.
k A y B se encuentran en distintos semiplanos respecto de la recta r que contiene a c (II.3); y por 1.6, a est a en un semiplano respecto de r y b en el otro. Del mismo modo, si C es el punto de intersecci on del segmento AB con c, C est a en el mismo semiplano que B respecto de la recta a (pues BC puede cortar u nicamente a a en A, pero A deja de un mismo lado a B y C ), y usamos 1.6 con c y C .

1.15. Teorema. Si el rayo c pasa entre los lados del ab, en el sentido de que corta a alg un segmento AB con A a y B b (A y B distintos del v ertice de ab), y ab no es llano, entonces c corta a cualquier segmento con un extremo en cada lado del angulo (si los extremos no coinciden con el v ertice del angulo).
k Sean P a, Q b, c la semirrecta opuesta a c, y r la recta que contiene a c y c . Por 1.14, a y b est an en distintos semiplanos respecto de r, por lo que el segmento P Q corta a r en, digamos, C . El segmento P Q est a en el mismo semiplano respecto de a que B (1.7), y entonces C (que es intermedio) tambi en. Pero el semiplano respecto de a que contiene a B es el mismo que contiene a b (1.6) y c (segunda parte de 1.14). Como C r y est a en el mismo semiplano respecto de a que c, no puede ser C c (1.13) y debe ser C c.

P ag. 6

2. Longitudes de segmentos y medidas de angulos

Axioma III. 1. Todo segmento tiene una longitud determinada, mayor que 0.
 Impl citamente estamos aceptando que se ha establecido una unidad de longitud , que podemos pensar como un cent metro, o pulgada, o milla n autica, etc., o, m as en la losof a eucl dea, que se ja un segmento arbitrario como de longitud 1, con el cual los restantes segmentos se comparan.  No pondremos una notaci on especial para la longitud del segmento AB , que seguiremos llamando AB .

2. Si el punto C de la recta AB se halla entre los puntos A y B , la longitud del segmento AB es igual a la suma de las longitudes de los segmentos AC y BC . 3. Todo angulo tiene una medida en grados determinada, mayor que 0. El a ngulo llano mide 180 .
 As como en el caso de la longitud de segmentos, se supone que hay una unidad de medida de angulos que a diferencia de aquel caso en el que no se especica se toma como grado . Por ahora, supondremos que las medidas de los angulos est an entre 0 y 180 . M as adelante ampliaremos las posibilidades y consideraremos otras unidades de medida de angulos.

4. Si un rayo c parte del v ertice de un angulo formado por las semirrectas a y b, y pasa entre sus lados, la medida del angulo ab es igual a la suma de las medidas de los angulos ac y cb. Axioma IV. 1. Cualquiera que sea el n umero positivo , en una semirrecta se puede construir a partir de su punto de origen un segmento y s olo uno de longitud .
 Dada una recta y dos puntos sobre ellas indicados como origen y unidad , el axioma establece una correspondencia biun voca entre puntos de la recta y n umeros reales.  Si a es una recta, el axioma I dice que hay al menos un punto en a, pero no dice que haya dos. Habiendo tomado A a, por el axioma I.1, y usando II.2, con IV.1 podemos encontrar en realidad innitos puntos en cada semirrecta (pues hay innitos reales positivos).  La observaci on anterior tambi en produce que dada una semirrecta haya una u nica recta que la contiene, por el axioma I.1.

2. Cualquiera que sea el n umero , 0 < < 180, a partir de una semirrecta dada y en el semiplano dado, se puede construir un angulo y s olo uno de grados. 2.1. Denici on. Diremos que dos segmentos son iguales si sus longitudes lo son.
 Esta denici on puede producir ambig uedades: los segmentos AB y CD pueden ser iguales porque sus longitudes lo son, y a la vez ser distintos o diferentes como conjuntos de puntos si, por ejemplo, los puntos A, B, C, D son todos distintos.

Tambi en podemos comparar segmentos: uno ser a mayor que otro si la medida del primero es mayor que la del segundo. 2.2. Denici on. La distancia entre dos puntos, A y B , se dene como 0 longitud del segmento AB si A = B , si A = B .

A n de no generar m as notaciones,(4) indicaremos a la distancia entre A y B como AB , interpretando que si A = B , el segmento AB tiene longitud 0.
(4)

Que ya tenemos bastantes!

2. Longitudes de segmentos y medidas de angulos 2.3. Denici on. Dos angulos son iguales si sus medidas lo son.

P ag. 7

 Observar que, a diferencia del caso de segmentos, en la notaci on ABC es importante el orden de las letras. Ver por ejemplo el ejercicio 1.4 de la pr actica 2.  Valen las mismas observaciones sobre las ambig uedades que puede producir esta denici on: podemos tener ABC = DEF porque sus medidas coinciden, pero los angulos son distintos (en el sentido que podemos distinguirlos) si, por ejemplo, los puntos A, B, C, D, E, F son todos distintos.

De la misma forma podemos comparar dos angulos, y decir que uno es mayor que otro si el primero tiene medida mayor que el segundo. 2.4. Teorema (1.5 en [Pog]). Si en una semirrecta AB se construye, a partir de su punto de origen A, un segmento AC de longitud menor que la del segmento AB , C resultar a entre A y B .
k Usa axioma III.2 y axioma IV.1.

2.5. Teorema (2.2 en [Pog]). Si a partir de una semirrecta a se construyen en un mismo semiplano los angulos ab y ac distintos, entonces o bien el rayo b pasar a entre los lados del angulo ac o bien el rayo c pasar a entre los lados del angulo ab (pero no ambas cosas a la vez).
k Usando semirrecta a opuesta a a, se supone a b < a c, se construye un tri angulo A BA, por 1.11 c debe cortar al segmento A B o al AB , pero no puede cortar a AB pues por III.4 ser a a c + cb = a b < a c.  De paso demostramos que el rayo correspondiente al menor de los angulos pasa entre los otros dos, v a adyacentes que denimos un poco m as adelante. Ver tambi en el ejercicio 1.1 de la pr actica 2.

2.6. Denici on. Dos rectas (distintas) en el plano que no se cortan se dicen paralelas . Para evitar problemas, tambi en diremos que una recta es paralela a s misma. Cuando las dos rectas distintas se cortan, diremos que son secantes .
 En las geometr as no eucl deas el paralelismo se dene de otra forma: pueden haber rectas que no se cortan y no son paralelas.

2.7. Denici on. Supongamos dadas las rectas r = AB , s = CD y t = AC . Entonces los angulos BAC y ACD se dicen: Correspondientes internos si B y D se encuentran en un mismo semiplano respecto de t. Alternos internos si B y D se encuentran en distintos semiplanos respecto de t. 2.8. Denici on. Dos angulos son adyacentes si tienen un lado com un y sus otros dos lados son semirrectas complementarias. 2.9. Teorema (3.1 en [Pog]). La suma de angulos adyacentes es 180 .
k Usa axioma III.4 y denici on de adyacentes.

2.10. Corolario. Si dos angulos son iguales, tambi en son iguales sus angulos adyacentes. 2.11. Denici on. Dos angulos son opuestos por el v ertice o verticales si los lados de un angulo son semirrectas complementarias del otro. 2.12. Teorema (3.2 en [Pog]). Angulos opuestos por el v ertice son iguales.
k Son adyacentes comunes a un tercer angulo, y usar 2.9.

2.13. Denici on. Un angulo recto es un angulo de 90 . 2.14. Proposici on. El angulo adyacente a uno recto tambi en es recto.

P ag. 8
k La suma es 180 y uno vale 90 .

2.15. Denici on. Las rectas a y b se dicen perpendiculares si se cortan y los cuatro angulos formados son rectos. 2.16. Teorema (3.3 en [Pog]). Por todo punto de una recta se puede trazar una y s olo una recta perpendicular a ella.
k Usa axioma IV.2.

3. Igualdad de tri angulos

3.1. Denici on. Dos tri angulos ABC y A B C son iguales si sus lados y sus angulos correspondientes son iguales, i.e. si a ) AB = A B , BC = B C , AC = A C , y b) A = A , B = B , C = C .
 Observar que seg un esta convenci on es importante el orden en que se dan los v ertices de los tri angulos para determinar la igualdad. Por ejemplo, en general el tri angulo ABC no es igual al tri angulo BCA (ver ejercicio 1.4 de la pr actica 2).

Axioma V (primer criterio de igualdad de tri angulos, LAL ). Si en dos tri angulos ABC y A B C se tiene A = A , AB = A B y AC = A C , entonces los tri angulos son iguales.
 Llamamos a este criterio LAL por lado- angulo-lado.

3.2. Teorema (segundo criterio de igualdad de tri angulos, ALA , 4.1 en [Pog]). Si los tri angulos ABC y A B C son tales que AB = A B , A = A y B = B , entonces los tri angulos son iguales. I.e. tambi en C = C , AC = A C y BC = B C .
 ALA por angulo-lado- angulo. k Usamos LAL si AC = A C . Si no, suponemos, e.g., AC > A C , construimos el tri angulo ABC con AC = A C , por 2.4 el rayo BC pasa entre los rayos BA y BC , por ejercicio 1.1 de la pr actica 2 es ABC < ABC , con LAL llegamos a contradicci on.

3.3. Denici on. Un tri angulo es is osceles si tiene dos lados iguales. El tercer lado se llama base.
 Un tri angulo equil atero tambi en es is osceles. En este caso la base puede ser cualquiera de los lados.  El t ermino base de tri angulo se usa tambi en para indicar un lado distinguido de un tri angulo arbitrario, como en la f ormula del area b h/2.

3.4. Teorema (4.2 y 4.3 en [Pog]). En un tri angulo is osceles, los angulos de la base son iguales, es decir, si el tri angulo es ABC con AC = BC , la base es AB y se tiene A = B . Rec procamente, si en el tri angulo ABC se tiene A = B , entonces AC = BC y el tri angulo es is osceles.
k Se comparan los tri angulos CAB y CBA, usando la otra. LAL para una implicaci on y ALA para

3.5. Denici on. El punto medio del segmento AB es un punto D sobre la recta AB tal que AD = DB . 3.6. Denici on. La bisectriz de un angulo ab y origen O, es un rayo c con origen en O tal que c est a entre a y b, y las medidas de los angulos ac y bc son iguales.
 En el caso de un angulo llano, existir an dos bisectrices.  Por el contrario si el angulo mide 0 , i.e. si a = b, la bisectriz ser a la misma semirrecta.

4. Relaciones entre los angulos y lados del tri angulo

P ag. 9

3.7. Proposici on. Si el angulo ab no es llano, tiene una u nica bisectriz, i.e. existe una u nica semirrecta c entre a y b tal que ac = cb.
k Usar axioma III.3 y axioma IV.2.

3.8. Denici on. Dado el tri angulo ABC decimos que El segmento CD es mediana del tri angulo (respecto del lado AB ) si D es punto medio de AB . El segmento CD es bisectriz del tri angulo (respecto del angulo C ) si el rayo CD (con origen en C ) es bisectriz del angulo C . Dado D en la recta AB , decimos que el segmento CD es altura del tri angulo (respecto del v ertice C ) si las rectas AB y CD son perpendiculares.
 A veces distinguimos un lado del tri angulo llam andolo base , como mencionamos en la denici on de base de tri angulo is osceles. En este caso, cuando nos referimos a la altura correspondiente a la base, nos referimos a la altura con respecto al v ertice opuesto al lado denominado como base.

3.9. Teorema (4.4 en [Pog]). En un tri angulo is osceles, la mediana relativa a la base es tambi en bisectriz y altura.
k Si CD es la mediana relativa a la base, se ve que los tri angulos CAD y CBD son iguales ( LAL ), y de ACD = BCD se obtiene bisectriz y de ADC = BDC se obtiene altura.

3.10. Teorema (tercer criterio de igualdad de tri angulos, LLL , 4.5 en [Pog]). Si los tri angulos ABC y A B C son tales que AB = A B , AC = A C y BC = B C , entonces los tri angulos son iguales. I.e. los angulos correspondientes tambi en son iguales.
 Como hicimos con los criterios anteriores, LLL es por lado-lado-lado.

k Si A = A o B = B , se usa LAL . En otro caso se construye C en el semiplano en el que est a C respecto de la recta AB , de modo que BAC = A . Por LAL , los tri angulos A B C y ABC son iguales, i.e., BC = B C . Los tri angulos CC A y CC B son is osceles y CC es base com un. Si D es el punto medio del segmento CC , D no est a en la recta AB (C y C est an en el mismo semiplano respecto de esa recta de modo que el segmento CC no la corta), usamos 3.9 y 2.16.

4. Relaciones entre los angulos y lados del tri angulo

4.1. Teorema (5.1 en [Pog]). Las suma de dos angulos cualesquiera de un tri angulo es menor que 180 .
k Si el tri angulo es ABC , demostramos (por ejemplo) que A + C < 180 . La idea es poner a los dos angulos juntos y lo hacemos como veremos despu es con una simetr a central. Sea O punto medio de AC , en rayo BO construimos D tal que BO = OD; entonces los tri angulos AOD y BOD son iguales ( LAL ), OCB = ODA, BAD = BAO + OAD, y usamos 1.10.

4.2. Teorema (parte de 8.2 en [Pog]). Sean a, b, c tres rectas tales que c corta a a en A y a b en B . Si vale alguna de las condiciones: i) los angulos alternos internos son iguales, o ii) los angulos correspondientes internos suman 180 , entonces a b.
k i ) y ii ) son equivalentes por adyacencias. Si a b, sea C a b. BAC y ABC son correspondientes internos y BAC + ABC < 180 por 4.1 en el tri angulo ABC .

4.3. Corolario. Si a c y b c, entonces a

b.

P ag. 10 4.4. Denici on. Un angulo es agudo si mide menos de 90 , es obtuso si es mide m as de 90 pero menos de 180 .
 Recordemos que el angulo es recto si mide 90 , y seg un el axioma III.3, el angulo llano mide 180 .

4.5. Denici on. En el tri angulo ABC se llama angulo exterior o externo de v ertice A al angulo adyacente del angulo del mismo v ertice en el tri angulo. Para distinguirlos, el angulo de v ertice A del tri angulo a veces se llama angulo interior o interno . 4.6. Teorema (5.2 en [Pog]). Todo angulo exterior del tri angulo es mayor que cualquier angulo interior no adyacente de este.
k Si el tri angulo es ABC , para demostrar que el angulo exterior en A, llam emoslo , es mayor que el interior en B , usamos 4.1 para ver que A + B < 180 y usamos + A = 180 .

4.7. Teorema (5.3 en [Pog]). Si en el tri angulo ABC es AB > BC , entonces C > A. Rec procamente, si C > A, entonces AB > BC . En otras palabras, en un tri angulo a mayor angulo se opone mayor lado o, equivalentemente, a mayor lado se opone mayor angulo .
k Consideramos C en la semirrecta BA tal que BC = BC , C est a entre A y B , la semirrecta CC pasa entre CA y CB , BCC < BCA (ejercicio 1.1 de la pr actica 2), BCC = BC C por is osceles, y BC C es exterior en el tri angulo AC C y por lo tanto mayor que A. Para el rec proco, si C > A no puede ser AB = BC (por is osceles y entonces A = C ), ni AB < BC (por anterior resultar a A > C ).

4.8. Teorema (5.4 en [Pog]). En todo tri angulo, la suma de dos lados es mayor que el tercer lado.
k Si el tri angulo es ABC , construimos D en la semirrecta AC tal que AD = AC + CB , resulta CBD = CDB por is osceles (3.4), ABD > CBD = CDB pues semirrecta BC pasa entre BA y BD, y AC + CB = AD > AB por 4.7.

4.9. Teorema (desigualdad triangular, 5.5 en [Pog]). Si A, B, C son tres puntos, no necesariamente distintos, la distancia AB es menor que la suma de las distancias AC + CB .
k Casos: 1) A, B, C son distintos y no alineados (usar 4.8); 2) distintos pero alineados (usar axioma III.2); 3) dos o tres puntos coinciden (hay una distancia nula).

5. Tri angulos rect angulos

5.1. Denici on. Un tri angulo es rect angulo si tiene un angulo recto. En un tri angulo rect angulo, el lado opuesto al angulo recto se llama hipotenusa y los otros dos lados se llaman catetos . 5.2. Proposici on. En un tri angulo rect angulo: a) Los angulos que no son rectos son agudos. b) La hipotenusa es mayor que cualquiera de los catetos pero menor que la suma de estos.
k El primero se puede deducir de 4.6, el segundo de 4.7.

5.3. Teorema (igualdad de tri angulos rect angulos, 6.1 en [Pog]). Supongamos que ABC y A1 B1 C1 son tri angulos rect angulos en C y C1 respectivamente. Entonces los tri angulos son iguales si se cumple alguna de las siguientes condiciones: a) BC = B1 C1 y A = A1 , o

6. Construcciones y lugares geom etricos b) AB = A1 B1 y BC = B1 C1 , o c) AB = A1 B1 y A = A1 .

P ag. 11

 No sabemos a un que la suma de los angulos es 180 (porque todav a no usamos el axioma de las paralelas). Junto con los criterios anteriores ( LAL , ALA , LLL ) este teorema nos dice que dado un lado y alg un elemento m as (otro lado o un angulo agudo), el tri angulo queda un vocamente determinado. k Si AC = A1 C1 , a ) y c ) se deducen de LAL , y b ) de LLL . Si AC = A1 C1 , consideremos (por ejemplo) A1 C1 < AC . En a ) y b ) consideramos A2 en rayo CA tal que CA2 = C1 A1 , A2 queda entre A y C (2.4), los tri angulos A1 B1 C1 y A2 BC son iguales por LAL , y debe ser BA2 C = B1 A1 C1 (lo que es imposible en a ) por 4.6 mirando el tri angulo ABA2 ) y BA2 = B1 A1 (lo que es imposible en b ) pues el tri angulo ABA2 resulta is osceles, BAA2 = BA2 A es obtuso por exterior a agudo). Para c ) (y A1 C1 < AC ), tomamos AC2 = A1 C1 en la semirrecta AC , los tri angulos ABC2 y A1 B1 C1 son iguales por LAL , AC2 = 90 , y CC2 B = 90 , y el tri angulo CBC2 tiene dos angulos rectos.

5.4. Denici on. Sean A y B dos puntos y a una recta tales que A a, B / a, y las rectas a y AB son perpendiculares. Entonces el segmento AB se llama perpendicular a a trazado por B
 Y tambi en perpendicular a a trazada por A.  Tambi en llamaremos de la misma forma a la recta (en vez de segmento ) AB .

El punto A se llama pie de la perpendicular o proyecci on de B (o A) sobre a. 5.5. Teorema (6.2 en [Pog]). Por todo punto exterior a una recta dada, se puede trazar una y s olo una perpendicular.
 Comparar con 2.16.  Observar a partir de 4.3 la similitud con el axioma VI de las paralelas, pero sin embargo a un no hemos usado este axioma. La diferencia est a en la unicidad. k Sea a la recta y B / a. Veamos primero la existencia. Consideremos dos puntos distintos C y D en a (recordar la nota en el axioma IV.1). Si BC a ya est a. Si no, B est a en uno de los semiplanos denidos por a, y construimos B en el otro de modo que BCD = B CD y BC = B C (la reexi on respecto a a que estudiamos m as tarde). Como B y B est an en distintos semiplanos, el segmento BB corta a a (2) en, digamos, A. Los tri angulos CAB y CAB son iguales por LAL (observar que CD y CA pueden ser opuestas o coincidir), luego CAB = CAB = 90 porque adyacentes. Para la unicidad, supongamos que haya dos, BA y BA , con A, A a, entonces el tri angulo BAA tiene dos angulos rectos.

5.6. Denici on. Dados un punto B y una recta a, se llama distancia entre B y a, indicada por dist(B, a) o dist(a, B ), a la longitud del segmento perpendicular a la recta a por el punto B cuando B / a, o 0 si B a. 5.7. Proposici on. Si B es un punto y a una recta, dist(B, a) BA para todo A a.
k Es claro si B a, recordando que P P = 0 para todo punto P por denici on 2.2. Si B / a, A es la proyecci on de B sobre a, y C es otro punto en a, en el tri angulo ABC usamos 5.2 para = 90 > B y luego 4.7. obtener A

6. Construcciones y lugares geom etricos

Si bien en algunos axiomas se dice que ciertas construcciones son posibles (en el axioma IV para segmentos o angulos de longitud dada), quiz as impl citamente (como en el axioma I.2 para una recta por dos puntos), no se dice c omo se puede realizar tal construcci on.

P ag. 12 El t ermino construcci on se reere a hacer construcciones usando s olo regla (no graduada) y comp as. No se pueden usar instrumentos de medici on (como la regla graduada o el transportador), ni otras herramientas como escuadras. La regla permite trazar (o construir) una recta dados dos puntos, y el comp as nos permite trazar una circunferencia dados el centro y un punto que pertenezca a la circunferencia. Aunque no est an expl citos, tambi en suponemos que dados dos rectas, o una circunferencia y una recta, o dos circunferencias, podemos determinar (o construir ) los puntos de intersecci on. Sin embargo, para otras curvas como algunas que veremos en cap tulos posteriores no siempre es posible construir con s olo regla y comp as la intersecci on, aunque se pueda construir individualmente cada punto de la curva. Tambi en podemos usar el comp as para transportar longitudes.
 En realidad, el comp as de Euclides permite trazar una circunferencia dados un centro y un punto sobre la circunferencia, pero al levantarlo el comp as se cierra , es decir no permite transportar longitudes directamente. En cambio el comp as moderno permite transportar longitudes pues conserva su apertura al levantarlo del papel. Se puede demostrar que con el comp as de Euclides podemos transportar longitudes (haciendo m as pasos que con el comp as moderno), de modo que para simplicar supondremos que podemos usar un comp as moderno.

6.1. Problema (7.1 en [Pog]). Dados los segmentos a, b, c, construir un tri angulo con esos lados.
 Como sabemos, el problema no siempre tiene soluci on, ya que deben satisfacerse las relaciones a + b > c, b+c>a y c + a > b.

6.2. Problema (7.2 en [Pog]). Dados un angulo ABC , una semirrecta OD y un semiplano correspondiente a la recta OD, construir E en ese semiplano tal que ABC = EOD. 6.3. Problema (7.3 en [Pog]). Dado un angulo ABC , construir E tal que la semirrecta BE es bisectriz del angulo. 6.4. Proposici on. Si las rectas a y b, a = b, se cortan en el punto O determinando las semirrectas a , a , b , b , los angulos a b , b a , a b y b a con respectivas bisectrices c, c , c , c , entonces i) c y c son semirrectas complementarias, as como lo son c y c . ii) Las rectas y que contienen respectivamente a c y c , y c y c , son perpendiculares. 6.5. Denici on. La gura formada por las rectas de bisectrices de las rectas a y b. y de la proposici on anterior se llama cruz

6.6. Problema (7.4 en [Pog]). Dado el segmento AB , encontrar M en el segmento tal que AM = M B , i.e. encontrar el punto medio del segmento. 6.7. Problema (7.5 en [Pog]). Dados el punto A y la recta , trazar por A una perpendicular a cuando a) A , b) A / .
 Una vez resuelto este problema, el uso de la escuadra (no graduada) est a permitido, como forma de simplicar los pasos.

6.8. Problema (8.7 en [Pog]). Trazar por un punto B una recta paralela a la recta a (se supone B / a).
k Recordar 4.3.  Observar que a un no hemos usado el axioma VI de las paralelas.

6. Construcciones y lugares geom etricos

P ag. 13

6.9. Denici on. Dados un punto en el plano O y un n umero no negativo r, llamamos circunferencia de centro O y radio r al conjunto de puntos P en el plano tales que P O = r. Un c rculo de centro O y radio r es el conjunto de puntos P en el plano tales que OP r.
 Las circunferencias se denotan con letras min usculas, como las rectas.  En ingl es circle es lo que nosotros llamamos circunferencia, y disk es lo que nosotros llamamos c rculo.

6.10. Denici on. Un lugar geom etrico de puntos es el conjunto de puntos que satisface determinada propiedad.
 Por ejemplo, por su misma denici on, la circunferencia de centro O y radio r es el lugar geom etrico de los puntos cuya distancia a O es r.  Como un lugar geom etrico es un conjunto, digamos A, demostrar que coincide con otro conjunto B requiere de demostrar dos implicaciones: x A x B y x B x A.

6.11. Denici on. La mediatriz de un segmento AB es la recta perpendicular a la recta por A y B que pasa por el punto medio del segmento. 6.12. Teorema (7.6 en [Pog]). La mediatriz del segmento AB es el lugar geom etrico de los puntos que equidistan de A y B .
k Sean m la mediatriz y C el lugar geom etrico. Si P m a, entonces P es el punto medio del segmento AB y P C ; si P m \ a y P es la proyecci on de P sobre a, los tri angulos AP P y BP P son rect angulos en P y por lo tanto iguales, de modo que P A = P B . As que m C . Para la otra inclusi on, si P a C , P es el punto medio del segmento AB y P m. Si P C \ a, y D es el punto medio del segmento AB , los tri angulos ADP y BDP son iguales LLL , ADP = BDP = 90 (por adyacentes), y la recta DP es la mediatriz, i.e. P m.

6.13. Teorema. Las mediatrices de los lados de un tri angulo se cortan en un u nico punto.
k Si el tri angulo es ABC y P est a en la intersecci on de las mediatrices de AB y BC , AP = BP = CP .

6.14. Denici on. Dado el tri angulo ABC , se llama circunferencia circunscripta del tri angulo a una circunferencia que pasa por los v ertices A, B, C . Tambi en decimos que el tri angulo est a inscripto en la circunferencia.
 As como se puede decir septiembre o setiembre , se puede decir circunscripta o circunscrita . La segunda acepci on es m as moderna, pero ac a usaremos casi siempre la primera.

6.15. Teorema. a) Si c es una circunferencia circunscripta al tri angulo ABC , y O es su centro, entonces O es el punto de intersecci on en el teorema 6.13, llamado circuncentro del tri angulo. b) Todo tri angulo tiene una u nica circunferencia circunscripta.
 En cambio, un segmento tiene varias.

c) Dados tres puntos no alineados, hay una u nica circunferencia que los contiene. En particular, una circunferencia queda determinada por tres de sus puntos. 6.16. Problema (7.7 en [Pog]). Dados tres puntos no alineados, construir una circunferencia que pase por ellos. 6.17. Problema (7.8 en [Pog]). Dada una recta a, dos puntos A a y B / a, y una longitud m, construir un punto X en a tal que XA + XB = m.
 Se supone AB < m, en otro caso la construcci on es imposible.  Si A y B son los focos de una elipse (tema que veremos m as adelante), se pide encontrar una de las intersecciones de la elipse con una recta que pasa por un foco.

P ag. 14

7. Rectas paralelas
En esta secci on nalmente usaremos el axioma de las paralelas. Axioma VI (de las paralelas). Por todo punto B que no se halla en la recta a, se puede trazar en el plano no m as de una paralela a la recta a.
 Por 4.3 y 6.8, ya sabemos que podemos trazar una paralela. Ac a se dice que no se puede trazar otra.

7.1. Teorema (8.1 en [Pog]). Si las rectas a, b, c satisfacen a

byb

c, entonces a

c.

k Si a c = , a c. Si P a c, entonces por P pasan dos paralelas a b, por axioma VI debe ser a = c, i.e. a c.

7.2. Corolario. Si una recta corta a una de dos rectas paralelas, entonces corta a la otra.
 Debe entenderse que las tres rectas son distintas. k Si a b y c a = y c b = , entonces c ser a = c. b (denici on), c a (7.1), y como a c = debe

7.3. Teorema (parte de 8.2 en [Pog]). Sean a, b, c tres rectas tales que c corta a a en A y a b en B y a b. Entonces los angulos alternos internos son iguales, y la suma de los angulos correspondientes internos es 180 .
 Es el rec proco de 4.2.  Observar que en la demostraci on se usa esencialmente la forma dada por Euclides a su quinto postulado (p ag. 2). Para geometr as no planas que se estudian en cursos de geometr a diferencial, tal vez la forma de Euclides sea m as acertada, ya que tiene impl citamente la noci on de curvatura . k Si los a ngulos correspondientes internos no suman 180 , sea a por A tal que la suma de los correspondientes internos de a y b con c sea 180 , entonces a b por 4.2, y a = a por axioma VI.

7.4. Corolario. Si a
 Comparar con 4.3.

b y c a, entonces c b.

7.5. Teorema (8.3 en [Pog]). La suma de los angulos (interiores) de un tri angulo es 180 .
k Hay varias formas de hacerlo, por ejemplo trazando una paralela a uno de los lados por el v ertice opuesto y despu es usar alternos o correspondientes. Otra forma, como la presentada por Pogor elov, es rehacer la construcci on en 4.1, usando ahora que esencialmente se trata de un paralelogramo.

7.6. Corolario (8.4 en [Pog]). En un tri angulo ABC , el angulo adyacente a A es suma de los angulos B y C . 7.7. Denici on. Dos angulos son complementarios si suman 90 y son suplementarios si suman 180 . 7.8. Corolario (del teorema 7.5). En un tri angulo rect angulo, los angulos agudos son complementarios. 7.9. Teorema (8.5 en [Pog]). Dos rectas paralelas son equidistantes, i.e. todos los puntos de una recta est an a una misma distancia de la otra recta.
k Sean a b y A, A a. Construimos B, B b tales que AB b y A B b, los tri angulos ABA y B BA resultan iguales (son rect angulos y 5.3.c por alternos), y AB = A B .

7.10. Problema (8.6 en [Pog]). Encontrar el lugar geom etrico de los puntos que pertenecen a un mismo semiplano respecto de una recta a y que equidistan de esa recta.

8. Cuadril ateros

P ag. 15

8. Cuadril ateros
8.1. Denici on. Dados cuatro puntos A, B, C, D tales que no hay tres de ellos sobre una misma recta, la gura formada por ellos y los segmentos AB , BC , CD y AD se llama cuadril atero , y se denota por ABCD. Los puntos A, B, C, D son los v ertices , los segmentos AB, BC, CD, AD son los lados , y los angulos B = ABC , C = BCD, D = CDA, A = DAC son los angulos del cuadril atero. Los v ertices A y C y los v ertices B y D se dicen opuestos , as como los lados AB y CD, y los lados BC y AD . El cuadril atero ABCD es convexo si se encuentra en un mismo semiplano respecto de la recta que contiene a cualquiera de sus lados.
 En cursos m as avanzados se dene un conjunto como convexo si para cualquier par de puntos en el, el segmento que los une est a tambi en contenido en el conjunto. Para cuadril ateros, esto requerir a pedir que la gura fuera llena , cosa que no se supone aqu . Observar que con esta otra denici on de convexo el axioma 3 establece que cada semiplano es convexo y que el plano sin una recta no lo es.

Los segmentos que unen los v ertices opuestos del cuadril atero se llaman diagonales . 8.2. Teorema (9.1 en [Pog]). Las diagonales de un cuadril atero convexo se cortan.
k Si ABCD es el cuadril atero, la semirrecta AB no puede pasar entre los lados del angulo CAD pues C y D est an en un mismo semiplano respecto de la recta AB , por 2.5 AC debe pasar entre AB y AD (semirrectas), luego el rayo y por lo tanto la recta AC corta al segmento BD (1.15). Del mismo modo la diagonal AC corta a la recta BD. Las rectas AC y BD se cortan en un u nico punto (porque no son iguales) y por lo tanto los segmentos AC y BD se cortan en ese punto.

8.3. Teorema (9.2 en [Pog]). La suma de los angulos de un cuadril atero convexo es 360 .
k La suma es la suma de los angulos interiores de los tri angulos formados con una diagonal.

8.4. Denici on. Un paralelogramo es un cuadril atero en el que los lados opuestos son paralelos, i.e. se encuentran en rectas paralelas. 8.5. Lema. Un paralelogramo es un cuadril atero convexo.
k Sea ABCD el paralelogramo. De BC AD resulta que B y C est an en un mismo semiplano respecto de recta AD, y lo mismo para los otros lados.

8.6. Teorema (9.3 y 9.4 en [Pog]). En un paralelogramo, a) los lados opuestos son iguales, b) los a ngulos opuestos son iguales, c) las diagonales se cortan en el punto medio de ambas.
k Sea ABCD el paralelogramo. Las diagonales AC y BD se cortan en O (8.2 y 8.5), BCA y DAC son alternos internos pues B y D est an en distintos semiplanos respecto de AC , dem otros angulos, los tri angulos ACB y CAD son iguales ALA , y entonces AB = CD, BC = AD y ABC = CDA, dem para otro angulo. Para ver que se cortan en punto medio, los tri angulos OAD y COB son iguales por ALA .

8.7. Teorema (9.5 en [Pog], con agregados). Si un cuadril atero convexo satisface alguna de las condiciones: a) tiene dos lados opuestos paralelos e iguales, o b) los lados opuestos son iguales, o

P ag. 16 c) los angulos opuestos son iguales, o d) las diagonales se cortan en sus puntos medios, entonces el cuadril atero es un paralelogramo.
k Agregamos c ) respecto de [Pog], que es el ejercicio 8.4 de la pr actica 2. Los otros incisos se demuestran como los correspondientes en 8.6, pero a partir de la igualdad de los tri angulos (usando LAL ) se deduce que la suma de alternos internos es 180 y por lo tanto los lados son paralelos (4.2). Para c ), si ABCD es el cuadril atero convexo, comparamos los tri angulos ABD y CDB . Pongamos = ABD, = CDB, = BDA, = DBC, = DAB, = BCD,

y queremos ver que = . Como se trata de tri angulos, + + = + + = 180 , y como la hip otesis es = y + = + , resulta + = + de donde = y = . y + = + ,

8.8. Denici on. Un rect angulo es un cuadril atero con todos sus angulos rectos. 8.9. Teorema (9.6 en [Pog]). Si ABCD es un rect angulo, entonces a) es un paralelogramo, b) sus diagonales son iguales.
k AB CD pues son perpendiculares a CD (4.3), lo mismo para AD BC . La segunda condici on sale de la igualdad de los tri angulos BAD y CDA (que son rect angulos y LAL pues ya sabemos paralelogramo).

8.10. Denici on. Un rombo es un paralelogramo con todos sus lados iguales. 8.11. Teorema (9.7 en [Pog]). Las diagonales del rombo se cortan en angulo recto, y son bisectrices de sus angulos.
k Si el rombo es ABCD y las diagonales se cortan en O, los tri angulos AOB y COB son iguales ( LLL usando que AO = OC por 8.6).

8.12. Denici on. Un rect angulo con todos sus lados iguales se llama cuadrado .
 El cuadrado tambi en es un rombo.

8.13. Teorema (9.8 en [Pog]). Supongamos que tres rectas a, b, c son paralelas y cortan a las rectas d y d en los puntos A, B , C y A , B , C respectivamente. Si B est a entre A y C , entonces B est a entre A y C . Adem as, si AB = BC , entonces tambi en A B = B C .
 Esta es una primera versi on del teorema de Tales (que veremos m as adelante), que establece AB/BC = A B/B C . Aqu es el caso particular AB = BC , pero permite establecer el teorema de Tales cuando AB/BC es racional. k A y C est an en distintos semiplanos respecto de b, A y A en el mismo pues a b, dem para C y C , luego el segmento A C corta a b, pero debe ser en B . Consideremos primero el caso en que d y d se cortan en B . Entonces B = B , los tri angulos ABA y CBC son iguales ( ALA con AB = BC , angulos opuestos en B y alternos internos en A y C ), y por lo tanto A B = BC . Si d y d no se cortan en B , sea d d por B . d corta a a en D y c en E , BB DA y BB EC son paralelogramos, AB = B D y BC = B E . Usamos el caso considerado anteriormente con d y d para obtener B D = A C .

8.14. Problema. Dividir el segmento AB en un n umero entero n de partes iguales.

9. Quebradas y pol gonos

P ag. 17

8.15. Denici on. Un trapecio es un cuadril atero convexo que tiene paralelos s olo dos lados opuestos. Los lados paralelos se llaman bases y los otros dos, se llaman laterales del trapecio. Si sus laterales son iguales, el trapecio se dice is osceles . El segmento que une los puntos medios de los laterales se llama base media . 8.16. Teorema (9.9 en [Pog]). En un trapecio la base media es paralela a las bases y es igual a la semisuma de las mismas.
 No lo cubrimos en clase, queda a cargo de los alumnos. k Si ABCD es el trapecio con AD BC y base media P Q con P AB , Q CD. La recta por P paralela a AD corta a CD en su punto medio (8.13), i.e. en Q, entonces P Q AD. Para ver la semisuma, trazamos por Q la recta d paralela a AB que corta a las rectas AD y BC en E y F (resp.). C y D est an en distintos semiplanos respecto de d, y usamos alternos internos y ALA para ver que los tri angulos CEQ y DF Q son iguales y por lo tanto CE = F D. Finalmente, e.g. si C entre B y E , P Q = BE = BC + CE y P Q = AF = AD DF .

8.17. Denici on. En un tri angulo, el segmento que une los puntos medios de dos lados se llama l nea media , siguiendo a Pogor elov, pero en Argentina es m as com un llamarlo base media del tri angulo. 8.18. Teorema (9.10 en [Pog]). La base media del tri angulo ABC que une los puntos medios de los lados AB y AC es paralela al lado BC y es igual a la mitad de ese lado.
k Sea B C la base media, B AB , C AC . Trazando paralela a BC por B corta a AC en punto medio (8.13), i.e. en C , entonces B C BC . Sea d recta por C tal que d AB . d debe cortar a BC en, digamos D (1.11), BB C D es paralelogramo, sale BD = B C , pero tambi en por 8.13 mirando AB C D sale BD = DC , entonces BD = B C = DC = (1/2) BC .

8.19. Teorema (9.11 en [Pog]). Las tres medianas de un tri angulo se cortan en un punto, llamado baricentro del tri angulo. El baricentro divide a cada mediana en dos segmentos que est an en raz on 2 : 1 contando desde el v ertice.
k Veamos una demostraci on algo distinta a la de [Pog], trabajando hacia afuera en vez de adentro del tri angulo. Sea ABC el tri angulo, con puntos medios A BC , B AC . El rayo AA pasa entre AB y AC (corta al segmento BC ), luego corta al segmento BB (B en rayo AC ) en, digamos P . Del mismo modo, el rayo BB corta al segmento AA , y debe ser en P . Sea D tal que ABDC es un paralelogramo (con diagonales AC y BD que se cortan en B ), el rayo DB pasa entre DA y DC . Sea A en la recta AD tal que A CA A es un paralelogramo. De BC = AD y A C = AA resulta A punto medio de AD. A C corta a BD en P (pues el rayo DB pasa entre DA y DC ), y por 8.13 debe ser P P = P D, y del mismo modo BP = P P . Nuevamente por 8.13 (con AA A C ), P B = B P , es decir BP = 2 P B . Si CC es la otra mediana, cambiando AA por CC obtenemos que BB y CC se cortan en Q con B Q = (1/2) BB , pero entonces P = Q y las medianas se cortan todas en el mismo punto.

9. Quebradas y pol gonos

Combinamos el nal de la secci on 5 en [Pog] con la secci on 15 del mismo libro, postergando la discusi on de movimientos y areas. 9.1. Denici on (p ag. 41 en [Pog]). Dados n puntos A1 , A2 , . . . , An se llama quebrada a la gura formada por los puntos y los n 1 segmentos A1 A2 , . . . , An1 An . Denotamos a la quebrada por A1 A2 . . . An (el orden es importante).

P ag. 18 Los puntos A1 , . . . se llaman v ertices de la quebrada, los segmentos A1 A2 , . . . son sus lados , los puntos A1 y A2 son los extremos de la quebrada, la longitud de la quebrada es la suma A1 A2 + A2 A3 + + An1 An .

9.2. Corolario (del teorema 4.9). La longitud de una quebrada no es menor que la longitud del segmento que une sus extremos.
k El teorema 4.9 es para tres puntos, y se van agregando de a uno.

9.3. Denici on (p ag. 110 en [Pog]). Un pol gono es una gura formada por un n umero nito de puntos distintos, A1 , A2 , . . . , An (n > 2) llamados v ertices y los n segmentos A1 A2 , A2 A3 ,. . . , An1 An , An A1 , llamados lados . En general denotamos al pol gono por A1 A2 . . . An (el orden es importante).
 Es decir, podemos pensar a un pol gono como una quebrada cerrada .

Dos v ertices son contiguos si quedan unidos por un lado. Cada v ertice es contiguo a exactamente dos v ertices. Se llama diagonal de un pol gono a todo segmento que une dos v ertices no contiguos. El pol gono es convexo si est a situado en un semiplano respecto a cada una de las rectas as puntos comunes con estas rectas que el segmento A1 A2 ,. . . , A1 A2 ,. . . , An A1 , y no tiene m An A1 correspondiente.
 Recordar la nota sobre otras deniciones de convexidad en la p agina 15.

9.4. Teorema (15.1 en [Pog]). Si los extremos de la quebrada B1 B2 . . . Bn se hallan en diferentes semiplanos respecto a una recta, la quebrada corta a la recta.
k Recorremos la quebrada hasta encontrar dos v ertices contiguos en distinto semiplano respecto de la recta y usamos axioma II.3.

9.5. Teorema (15.2 en [Pog]). Si una recta tiene tres puntos comunes con un pol gono convexo, contiene a uno de sus lados.
k Sean A, B, C los puntos en la recta a y el pol gono con, por ejemplo, B entre A y C . Si s es el lado del pol gono que contiene a B , como A, B, C est an alineados debe ser A, C s o A, C / s, pero en este caso la recta por s separa a A y C , y el pol gono no es convexo, entonces s a.

9.6. Teorema (15.3 en [Pog]). En el pol gono convexo A1 A2 . . . An , la diagonal A1 Ap (2 < p < n) lo divide en dos pol gonos convexos, A1 . . . Ap y Ap Ap+1 . . . An A1 . Estos pol gonos est an en distintos semiplanos respecto de la recta A1 Ap , y la semirrecta A1 Ap pasa entre las semirrectas A1 A2 y A1 An .
k No damos esta demostraci on (es un tanto larga, y el resultado parece intuitivamente claro).

9.7. Corolario. Si A es v ertice de un pol gono convexo, B y C son sus v ertices contiguos, y AP es una semirrecta entre las semirrectas AB y AC , entonces la semirrecta AP est a en los mismos semiplanos, respecto de las rectas AB y AC , que el pol gono. 9.8. Denici on. Si A es v ertice de un pol gono convexo, y B y C son los v ertices contiguos, llamamos angulo interno o interior al angulo BAC . Se llama angulo externo o exterior al angulo adyacente a un angulo interno (del pol gono convexo). 9.9. Teorema (15.4 en [Pog]). En un pol gono convexo con n v ertices, la suma de los angulos internos es (n 2) 180 . Consecuentemente, la suma de los a ngulos externos es 360 .
k Dividimos el pol gono en n 2 tri angulos mediante las n 3 diagonales que salen de un v ertice.

Bibliograf a

P ag. 19

9.10. Denici on. Un pol gono convexo es regular si sus lados son iguales y sus angulos internos son iguales. 9.11. Corolario. En un pol gono regular con n v ertices los angulos internos miden los externos 360 /n.
n2 n

180 y

Bibliograf a
[Euc] D. E. Joyce: Euclids Elements, en http://aleph0.clarku.edu/~djoyce/java/elements/elements.html [Hea] T. L. Heath: The thirteen books of Euclids Elements, Dover Publications, 1956. lov: Geometr [Pog] A. V. Pogore a elemental, Editorial MIR, Mosc u, 1974.