Carlos Ivorra Castillo        GEOMETR´               IA
La geometr´ ilumina el intelecto y templa la                 ıamente. Todas sus pruebas son claras y ordenadas.Apenas cabe...
´Indice GeneralIntroducci´n          o                                                                                    ...
vi                                                                             ´                                          ...
´INDICE GENERAL                                                                                                         vi...
Introducci´n          o    La geometr´ es, junto a la teor´ de n´meros, una de las ramas m´s antiguas                  ıa ...
x                                                                     Introducci´n                                        ...
xi3 y 4, nos encontraremos con que podemos girarlo hasta situarlo sobre dospuntos que disten 5 unidades, o que si dibujamo...
Cap´   ıtulo ILa geometr´ absoluta          ıa    El objeto de estudio de la geometr´ es lo que se conoce como el espacio....
2                                                  Cap´                                                      ıtulo 1. La g...
1.2. Axiomas de ordenaci´n                        o                                                         3Teorema 1.2 T...
4                                           Cap´                                               ıtulo 1. La geometr´ absolu...
1.2. Axiomas de ordenaci´n                        o                                                       5Teorema 1.14 Se...
6                                            Cap´                                                ıtulo 1. La geometr´ abso...
´1.3. Angulos y tri´ngulos                  a                                                           7lados formados po...
8                                           Cap´                                               ıtulo 1. La geometr´ absolu...
1.4. Axiomas de congruencia                                                           91.4      Axiomas de congruencia    ...
10                                          Cap´                                               ıtulo 1. La geometr´ absolu...
1.4. Axiomas de congruencia                                                           11Teorema 1.30 Si AB < AC y ambos se...
12                                           Cap´                                                ıtulo 1. La geometr´ abso...
1.5. Suma de ´ngulos             a                                                                 13                     ...
14                                              Cap´                                                   ıtulo 1. La geometr...
1.5. Suma de ´ngulos             a                                                                 15    Notemos que un ´n...
16                                            Cap´                                                 ıtulo 1. La geometr´ ab...
1.6. M´s propiedades de segmentos, ´ngulos y tri´ngulos      a                            a            a                  ...
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Geometria, Carlos Ivorra Castillo
Upcoming SlideShare
Loading in …5
×

Geometria, Carlos Ivorra Castillo

1,090 views

Published on

...

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,090
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
22
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Geometria, Carlos Ivorra Castillo

  1. 1. Carlos Ivorra Castillo GEOMETR´ IA
  2. 2. La geometr´ ilumina el intelecto y templa la ıamente. Todas sus pruebas son claras y ordenadas.Apenas caben errores en el razonamiento geom´trico, epues est´ bien dispuesto y ordenado. As´ no es pro- a ı,bable que la mente que se aplica a la geometr´ con ıaregularidad cometa errores. De este modo, quiensabe geometr´ adquiere inteligencia. ıa Ibn Khaldun
  3. 3. ´Indice GeneralIntroducci´n o ixCap´ ıtulo I: La geometr´ absoluta ıa 1 1.1 Axiomas de incidencia . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Axiomas de ordenaci´n . . . . . . . . . . . . . . . . . o . . . . . . . 3 ´ 1.3 Angulos y tri´ngulos . . . . . . . . . . . . . . . . . . a . . . . . . . 6 1.4 Axiomas de congruencia . . . . . . . . . . . . . . . . . . . . . . . 9 1.5 Suma de ´ngulos . . . . . . . . . . . . . . . . . . . . a . . . . . . . 13 1.6 M´s propiedades de segmentos, ´ngulos y tri´ngulos a a a . . . . . . . 16 1.7 Perpendiculares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.8 El axioma de continuidad, c´ ırculos y circunferencias . . . . . . . 21Cap´ ıtulo II: Medida de segmentos, ´ngulos a y arcos 27 2.1 Longitud de segmentos. N´meros reales u . . . . . . . . . . . . . . 27 2.2 Complementos sobre n´meros reales . . u . . . . . . . . . . . . . . 38 2.3 Amplitud de ´ngulos . . . . . . . . . . . a . . . . . . . . . . . . . . 43 2.4 Arcos y sectores circulares . . . . . . . . . . . . . . . . . . . . . . 46Cap´ ıtulo III: La geometr´ eucl´ ıa ıdea 49 3.1 El axioma de las paralelas . . . . . . . . . . . . . . . . . . . . . . 49 3.2 Semejanza de tri´ngulos . . . . . a . . . . . . . . . . . . . . . . . . 53 3.3 Relaciones entre ´ngulos y arcos a . . . . . . . . . . . . . . . . . . 59 3.4 Las razones trigonom´tricas . . . e . . . . . . . . . . . . . . . . . . 61 3.5 Propiedades de los tri´ngulos . . a . . . . . . . . . . . . . . . . . . 64Cap´ ıtulo IV: La geometr´ anal´ ıa ıtica 73 4.1 Vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 4.2 Espacios afines . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 4.3 Coordenadas cartesianas y baric´ntricas e . . . . . . . . . . . . . . 84 4.4 Espacios eucl´ıdeos . . . . . . . . . . . . . . . . . . . . . . . . . . 88 4.5 Los giros y la medida de ´ngulos . . . . a . . . . . . . . . . . . . . 97 4.6 Complementos sobre trigonometr´ . . . ıa . . . . . . . . . . . . . . 104 4.7 Circunferencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 4.8 C´nicas . . . . . . . . . . . . . . . . . . o . . . . . . . . . . . . . . 106 v
  4. 4. vi ´ INDICE GENERALCap´ ıtulo V: N´ meros complejos u 115 5.1 Definici´n y propiedades b´sicas . o a . . . . . . . . . . . . . . . . . 115 5.2 La clausura algebraica de C . . . . . . . . . . . . . . . . . . . . . 117 5.3 Construcciones con regla y comp´s a . . . . . . . . . . . . . . . . . 119 5.4 Pol´ıgonos regulares . . . . . . . . . . . . . . . . . . . . . . . . . . 124 5.5 Geometr´ discontinua . . . . . . . ıa . . . . . . . . . . . . . . . . . 134 5.6 Ap´ndice: El teorema de Sylow . . e . . . . . . . . . . . . . . . . . 136Cap´ ıtulo VI: Biyecciones afines 139 6.1 El grupo af´ y el grupo lineal . . . . . . . . . ın . . . . . . . . . . . 139 6.2 Homotecias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141 6.3 El teorema fundamental de la geometr´ af´ ıa ın . . . . . . . . . . . 146 6.4 Isometr´ y semejanzas . . . . . . . . . . . . ıas . . . . . . . . . . . 149 6.5 Clasificaci´n de endomorfismos . . . . . . . . o . . . . . . . . . . . 153 6.6 Clasificaci´n de isometr´ . . . . . . . . . . . o ıas . . . . . . . . . . . 172 6.7 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179Cap´ ıtulo VII: La geometr´ af´ ıa ın 183 7.1 Incidencia y paralelismo . . . . . . . . . . . . . . . . . . . . . . . 183 7.2 Homotecias y traslaciones . . . . . . . . . . . . . . . . . . . . . . 186 7.3 Vectores y escalares . . . . . . . . . . . . . . . . . . . . . . . . . 189 7.4 Los teoremas de Desargues y Papos-Pascal . . . . . . . . . . . . . 194 7.5 Axiomas de ordenaci´n . . . . . . . . . . . . o . . . . . . . . . . . . 200Cap´ ıtulo VIII: La geometr´ proyectiva ıa 205 8.1 Espacios proyectivos . . . . . . . . . . . . . . . . . . . . . . . . . 207 8.2 Homograf´ y coordenadas homog´neas ıas e . . . . . . . . . . . . . . 214 8.3 Perspectividades . . . . . . . . . . . . . . . . . . . . . . . . . . . 219 8.4 Caracterizaci´n axiom´tica . . . . . . . o a . . . . . . . . . . . . . . 224 8.5 Dualidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 8.6 Razones dobles y separaci´n harm´nica o o . . . . . . . . . . . . . . 235 8.7 Espacios sobre cuerpos ordenados . . . . . . . . . . . . . . . . . . 245Cap´ ıtulo IX: Secciones c´nicas o 251 9.1 Clasificaci´n de formas bilineales sim´tricas o e . . . . . . . . . . . . 251 9.2 C´nicas proyectivas y afines . . . . . . . . . o . . . . . . . . . . . . 256 9.3 La polaridad de una c´nica . . . . . . . . . o . . . . . . . . . . . . 264 9.4 El teorema de Steiner . . . . . . . . . . . . . . . . . . . . . . . . 268 9.5 Propiedades de las c´nicas proyectivas . . . o . . . . . . . . . . . . 272 9.6 Homograf´ entre c´nicas . . . . . . . . . . ıas o . . . . . . . . . . . . 282 9.7 C´nicas sobre cuerpos ordenados . . . . . . o . . . . . . . . . . . . 289 9.8 Complexificaci´n . . . . . . . . . . . . . . . o . . . . . . . . . . . . 294
  5. 5. ´INDICE GENERAL viiCap´ ıtulo X: La geometr´ parab´lica ıa o 299 10.1 Espacios parab´licos . . . . . . . . . o . . . . . . . . . . . . . . . . 299 10.2 El plano eucl´ ıdeo . . . . . . . . . . . . . . . . . . . . . . . . . . . 309 10.3 El plano de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . 317 10.4 Propiedades m´tricas de las c´nicas . e o . . . . . . . . . . . . . . . . 336 10.5 Espacios de dimensiones superiores . . . . . . . . . . . . . . . . . 346Cap´ ıtulo XI: La geometr´ circular ıa 349 11.1 La proyecci´n estereogr´fica . . o a . . . . . . . . . . . . . . . . . . . 349 11.2 Transformaciones circulares . . . . . . . . . . . . . . . . . . . . . 352 11.3 Homograf´ en la esfera . . . . ıas . . . . . . . . . . . . . . . . . . . 355 11.4 Conservaci´n de ´ngulos . . . . o a . . . . . . . . . . . . . . . . . . . 357 11.5 El teorema de Feuerbach . . . . . . . . . . . . . . . . . . . . . . . 360Cap´ ıtulo XII: La geometr´ hiperb´lica ıa o 363 12.1 El plano hiperb´lico . . . . . . . . . o . . . . . . . . . . . . . . . . 363 12.2 Medida de segmentos y ´ngulos . . . a . . . . . . . . . . . . . . . . 368 12.3 El modelo de Poincar´ . . . . . . . . e . . . . . . . . . . . . . . . . 372 12.4 Trigonometr´ hiperb´lica . . . . . . ıa o . . . . . . . . . . . . . . . . 375 12.5 Las isometr´ hiperb´licas . . . . . ıas o . . . . . . . . . . . . . . . . 380Cap´ ıtulo XIII: La geometr´ el´ıa ıptica 387 13.1 El plano el´ ıptico . . . . . . . . . . . . . . . . . . . . . . . . . . . 387 13.2 Bil´teros y tri´ngulos . . . . . . . a a . . . . . . . . . . . . . . . . . . 390 13.3 Isometr´ el´ ıas ıpticas . . . . . . . . . . . . . . . . . . . . . . . . . . 394 13.4 Trigonometr´ el´ ıa ıptica . . . . . . . . . . . . . . . . . . . . . . . . 395Bibliograf´ ıa 397´Indice de Materias 398
  6. 6. Introducci´n o La geometr´ es, junto a la teor´ de n´meros, una de las ramas m´s antiguas ıa ıa u ade la matem´tica. Si por un momento restringimos el t´rmino para referirnos a ea lo que los antiguos griegos entend´ como tal, podemos decir que su objeto ıande estudio est´ ´a ıntimamente arraigado en nuestra forma de concebir la realidad.Toda la informaci´n que recibimos del mundo que nos rodea, todo lo que vemos, oo´ımos y tocamos, lo procesamos en primera instancia en t´rminos geom´tricos. e eSin embargo, no podemos considerar a las leyes formales que rigen el espaciotridimensional que percibimos como una parte de la f´ ısica. Al contrario quelas leyes f´ ısicas, las leyes de la geometr´ nos son dadas a priori, en cuanto que ıaninguna experiencia puede confirmar o refutar ninguna de ellas. Por ejemplo,podemos asegurar a priori que es imposible percibir una recta que posea dosparalelas por un mismo punto.1 Nuestra intuici´n geom´trica nos permite de- o ecidir inmediatamente la verdad o falsedad de un gran n´mero de afirmaciones. uA su vez, de todas ellas se sigue mediante razonamientos l´gicos un cuerpo ode teoremas no menos numeroso que, si nuestra intuici´n no alcanza a validar odirectamente, al menos los corrobora en instancias particulares. Los antiguos griegos exploraron en profundidad este cuerpo de teoremas yllegaron a comprender en gran medida su estructura l´gica. Tanto es as´ que o ıen sus exposiciones m´s elaboradas, el modelo de las cuales son, sin duda, los aElementos de Euclides, no s´lo se demuestran con un gran sentido del rigor todos olos hechos no evidentes, sino que incluso los que cualquiera dar´ tranquilamente ıapor obvios son demostrados a partir del m´ ınimo n´mero de principios a los que uel autor pudo reducirlos. Fermat y Descartes descubrieron que la geometr´ como teor´ l´gica es equi- ıa ıa ovalente a una estructura algebraica, esencialmente al espacio vectorial R3 , en elsentido de que los puntos, rectas, planos, circunferencias, etc. pueden ser iden-tificados con ciertos subconjuntos de R3 de modo que los teoremas geom´tricos esobre estos conceptos se corresponden con los teoremas algebraicos sobre susconjuntos asociados. As´ surgi´ la llamada geometr´ anal´ ı o ıa ıtica y con ella laclave para una comprensi´n mucho m´s profunda de la geometr´ en general. o a ıa El ´lgebra es especialmente dada a encontrar principios profundos, poco evi- adentes por s´ mismos pero enormemente iluminadores. El que una determinada ıafirmaci´n se nos aparezca o no como evidente es una cuesti´n psicol´gica sin o o o 1 Por supuesto, salvo que pervirtamos el significado de la palabra “recta” y lo confundamos,por ejemplo, con un concepto f´ ısico como pueda ser el de “trayectoria de un rayo de luz”. ix
  7. 7. x Introducci´n oning´n significado matem´tico, por lo que la geometr´ axiom´tica al estilo de u a ıa aEuclides se considera hoy, con raz´n, como algo superado. El tratamiento al- ogebraico de la geometr´ aparte de ser l´gicamente m´s simple, nos abre las ıa, o apuertas de “otras geometr´ ıas”, es decir, de otras teor´ algebraicas lo suficien- ıastemente cercanas a las de la geometr´ tradicional eucl´ ıa ıdea como para que seajusto englobarlas bajo el mismo nombre. El caso m´s elemental es la sustituci´n a odel exponente en R3 por cualquier otro n´mero natural. No tenemos ninguna uintuici´n que pueda aplicarse a R4 , pero el cambio de un 3 por un 4 apenas omodifica la teor´ algebraica, que de hecho se desarrolla sin dificultad y por ıael mismo precio en el espacio general Rn . Otros casos menos triviales son lasgeometr´ no eucl´ ıas ıdeas o las geometr´ basadas en los n´meros complejos. ıas u La algebrizaci´n de la geometr´ no supone unicamente un cambio de len- o ıa ´guaje. En el siglo XIX la geometr´ al igual que las dem´s ramas de la ma- ıa, atem´tica, experiment´ un desarrollo gigantesco en varias direcciones. Por un a olado, Poncelet sent´ las bases de la geometr´ proyectiva, que viene a demostrar o ıaque nuestra intuici´n nos proporciona una imagen sesgada de una estructura oalgebraica m´s regular de lo que los ojos nos muestran. Esta regularidad se apone de manifiesto postulando la existencia de puntos infinitos. Gracias a ellos,una hip´rbola y una elipse pueden considerarse como una misma figura vista edesde posiciones distintas (la primera con dos puntos en el infinito y la segundacon todos sus puntos finitos). Si postulamos la existencia de puntos imaginarios(en el sentido de los n´meros complejos) la regularidad de la geometr´ se mul- u ıatiplica una vez m´s. Por otra parte, Gauss mostr´ las posibilidades del c´lculo a o adiferencial aplicado al estudio de las superficies. La geometr´ diferencial es hoy ıala aproximaci´n m´s potente a la mayor´ de las ramas de la geometr´ o a ıa ıa. El objeto de este libro es presentar una panor´mica de la geometr´ previa a a ıala geometr´ diferencial. M´s precisamente, de la geometr´ sin topolog´ Hay ıa a ıa ıa.varias razones por las que consideramos util conocer las t´cnicas no topol´gicas ´ e oen geometr´ Por una parte entre ellas se encuentran las t´cnicas genuinamente ıa. ealgebraicas, que son de gran valor en s´ mismas y por sus posibilidades de ıaplicaci´n. En muchos casos el ´lgebra suple con razonamientos conceptuales o aexquisitamente limpios lo que en un enfoque m´s directo se convertir´ en una a ıaristra de c´lculos, concluyentes pero ciegos. a En segundo lugar, y a pesar de que m´s arriba la hayamos calificado de aanticuada, es interesante conocer la geometr´ sint´tica, es decir, la geometr´ ıa e ıatradicional que parte de axiomas evidentes intuitivamente. Esta aproximaci´n oes la unica que justifica que ciertas ramas del ´lgebra describen realmente las ´ aleyes de nuestra intuici´n. Formalmente es posible evitarla, pero con ello se oincurre en una especie de “estafa legal”. Pensemos por ejemplo en un resultadotan cl´sico como el teorema de Pit´goras. Podemos definir la norma de un vector a p ade R2 como k(x, y)k = x2 + y 2 y la perpendicularidad como (x, y) ⊥ (x0 , y 0 )si y s´lo si xx0 + yy 0 = 0, y a partir de aqu´ demostrar el teorema de Pit´goras, o ı apero esa demostraci´n, l´gicamente irrefutable, no puede convencer a nadie o ode la validez del teorema si antes no se nos “demuestran” las definiciones, siantes no se nos convence de que si tomamos un papel cuadriculado y clavamoslas dos puntas del comp´s en los ´ngulos opuestos de un rect´ngulo de lados a a a
  8. 8. xi3 y 4, nos encontraremos con que podemos girarlo hasta situarlo sobre dospuntos que disten 5 unidades, o que si dibujamos los vectores (2, 1) y (−1, 2)obtendremos realmente segmentos perpendiculares. Al igual que este ejemplopodemos encontrar much´ ısimos m´s, en torno a la definici´n de la medida de a oa´ngulos, de las razones trigonom´tricas, de la ortogonalidad de vectores, del ec´lculo diferencial b´sico, etc. a a Cubrir estas lagunas apenas cuesta cuatro de los trece cap´ ıtulos que tieneeste libro, por lo que creemos que merece la pena.
  9. 9. Cap´ ıtulo ILa geometr´ absoluta ıa El objeto de estudio de la geometr´ es lo que se conoce como el espacio. ıaNo es posible definir este concepto, pero todos tenemos una idea intuitiva delmismo. Nuestra intenci´n es obtener un modelo matem´tico del espacio, para o alo cual iremos introduciendo axiom´ticamente afirmaciones intuitivamente evi- adentes, hasta llegar a un punto en que podamos probar que s´lo hay un objeto omatem´tico que satisface dichas propiedades. a La primera aproximaci´n a la caracterizaci´n matem´tica del espacio en el o o aseno de la teor´ de conjuntos ser´ precisamente concebirlo como tal, es decir, ıa aconsiderar al espacio como un conjunto E a cuyos elementos llamaremos puntos.Un punto es una posici´n en el espacio, carente de toda extensi´n. Un punto o oortogr´fico es una buena imagen de un punto geom´trico, si bien hemos de tener a epresente que la peque˜a mancha de tinta tiene una cierta extensi´n, de la que n odebemos hacer abstracci´n.o Hay dos conceptos m´s que se encuentran al mismo nivel elemental que el aconcepto de punto. Se trata de los conceptos de recta y plano. De nuevo esimposible definir la caracter´ ıstica que diferencia a una l´ ınea recta de una l´ ıneacurva o a una superficie plana de una superficie curva, pero intuitivamente todossabemos distinguir las rectas y los planos de las restantes curvas y superficies. ✡ ✡r ✡ ✡ ° π ° ° P ✡ ° ° ° ✡ ✡ Una recta r y un plano π que se cortan en un punto P . Hemos de hacer una aclaraci´n sobre la interpretaci´n que vamos a dar a o oestas palabras: una hoja de papel proporciona una buena imagen de un plano,salvo por el hecho de que la hoja termina en unos bordes, mientras que paranosotros un plano ser´ una superficie ilimitada. Si apoyamos la hoja en una a 1
  10. 10. 2 Cap´ ıtulo 1. La geometr´ absoluta ıamesa, la superficie de la mesa representa una porci´n m´s amplia del mismo o aplano que representa la hoja. Similarmente, por una recta entenderemos unal´ ınea recta sin extremos, de modo que si trazamos una porci´n de recta con ola ayuda de una regla, cualquier extensi´n de la misma por cualquiera de sus oextremos ser´ una porci´n mayor de la misma recta. Del mismo modo que hemos a ohecho con el espacio, podemos concebir las rectas y los planos como conjuntosde puntos, es decir, como ciertos subconjuntos de E que no podemos definir.1.1 Axiomas de incidenciaDefinici´n 1.1 Una geometr´ (tridimensional) est´ formada por un conjunto o ıa aE al que llamaremos espacio—y a cuyos elementos llamaremos puntos— juntocon dos familias no vac´ de subconjuntos de E a cuyos elementos llamaremos ıasrespectivamente rectas y planos, de modo que se cumplan los siete axiomasindicados m´s abajo. a Diremos que una recta o plano X pasa por un punto P , o que X incide enel punto P , si P ∈ X.Axioma A1 Por cada par de puntos distintos P y Q pasa una unica recta, ´que representaremos por P Q.Axioma A2 Toda recta pasa al menos por dos puntos. Diremos que tres o m´s puntos son colineales si hay una recta que pasa por atodos ellos.Axioma A3 Por cada tres puntos no colineales P , Q, R pasa un unico plano, ´al que representaremos por P QR.Axioma A4 Todo plano contiene tres puntos no colinealesAxioma A5 Si una recta r tiene dos puntos en com´n con un plano π, en- utonces r est´ contenida en π. aAxioma A6 Si dos planos tienen un punto en com´n, entonces tienen dos upuntos en com´n.1 u Diremos que cuatro o m´s puntos son coplanares si hay un plano que pasa apor todos ellos.Axioma A7 Existen cuatro puntos distintos no coplanares. Veamos algunas consecuencias de estos axiomas b´sicos. Todas ellas son aelementales, as´ que omitiremos los detalles de las pruebas. ı Si una recta o un plano X no pasa por un punto P , diremos que P es unpunto exterior a X. 1 Este axioma implica que la dimensi´n del espacio es ≤ 3, mientras que el siguiente implica oque es ≥ 3.
  11. 11. 1.2. Axiomas de ordenaci´n o 3Teorema 1.2 Toda recta tiene un punto exterior contenido en un plano dado(Por A4)Teorema 1.3 Todo plano tiene un punto exterior. (Por A7)Teorema 1.4 Si P y Q son puntos de una recta r y R es exterior a r, entoncesP , Q y R no son colineales. (Por A1)Teorema 1.5 Si P , Q y R son puntos de un plano π no colineales y S esexterior a π, entonces P , Q, R y S no son coplanares. (Por A3)Teorema 1.6 Dados dos planos distintos, entonces o bien no tienen puntoscomunes o bien su intersecci´n es una recta. (Por A6 y A3) o Diremos que dos planos son coincidentes si son iguales, secantes (lat. ‘que secortan’) si su intersecci´n es una recta y paralelos (gr. ‘uno al lado del otro’) si ono tienen puntos comunes.Teorema 1.7 Dos rectas distintas tienen como m´ximo un punto en com´n. a u(Por A1) Diremos que dos rectas son coincidentes si son iguales, secantes si su inter-secci´n es un punto, y si no tienen puntos comunes diremos que son paralelas si oest´n contenidas en un mismo plano o que se cruzan en caso contrario. aTeorema 1.8 Dados un plano y una recta, o bien no tienen puntos comunes,o bien tienen un unico punto en com´n, o bien la recta est´ contenida en el ´ u aplano. (Por A5) Diremos que una recta y un plano son secantes si se cortan en un punto yparalelos si no tienen puntos comunes.Teorema 1.9 Una recta y un punto exterior a ella est´n contenidos en un unico a ´plano. (Por A2, A3 y A5)Teorema 1.10 Dos rectas secantes est´n contenidas en un unico plano. a ´1.2 Axiomas de ordenaci´n o Si fijamos dos puntos A y B en una recta r y establecemos que A est´ a ala izquierda de B, esto determina cu´ndo un punto cualquiera de r est´ a la a aizquierda o a la derecha de otro punto de r. M´s a´n, tiene sentido decir qu´ a u epunto est´ m´s a la izquierda o m´s a la derecha de uno dado, es decir, los puntos a a ade la recta quedan ordenados por el criterio de que un punto es menor cuantom´s a la izquierda se encuentra. Es importante notar que la noci´n de izquierda a oy derecha es relativa, pues si giramos la recta, la izquierda se convierte enderecha y viceversa. Los axiomas siguientes recogen las propiedades necesariaspara determinar estas nociones intuitivas.Definici´n 1.11 Una geometr´ est´ ordenada si cada par ordenado de puntos o ıa adistintos A y B tiene asociado una relaci´n ≤AB sobre los puntos de la recta oAB de tal modo que se satisfacen los cinco axiomas siguientes:
  12. 12. 4 Cap´ ıtulo 1. La geometr´ absoluta ıaAxioma B1 Para todo par de puntos distintos A y B, la relaci´n ≤AB es una orelaci´n de orden total sobre la recta AB, es decir, es reflexiva, antisim´trica, o etransitiva y todo par de puntos P y Q de AB cumple P ≤AB Q o bien Q ≤AB P .Adem´s, con este orden, la recta no tiene m´ximo ni m´ a a ınimo, y para todo parde puntos P <AB Q, existe un punto R tal que P <AB R <AB Q.Axioma B2 Para todo par de puntos distintos A y B se cumple A ≤AB B.Axioma B3 Si A y B son dos puntos distintos y P , Q son dos puntos de larecta AB, entonces P ≤AB Q si y s´lo si Q ≤BA P . oAxioma B4 Si A 6= B y C 6= D son pares de puntos de una misma recta,entonces ≤AB = ≤CD o bien ≤AB = ≤DC . Los axiomas B3 y B4 afirman que en realidad s´lo estamos considerando dos oordenaciones en cada recta, y una es la inversa de la otra. Diremos que un puntoP est´ entre dos puntos A y B si los tres son colineales y A ≤AB P ≤AB B. aAxioma B5 Sean A, B, C tres puntos no colineales y r una recta contenidaen el plano ABC pero que no pase por ninguno de ellos. Si r pasa por un puntosituado entre A y B, entonces r pasa por un punto entre A y C o bien por unpunto entre B y C, y s´lo se da uno de los dos casos. o ❚ C ✑ ❚ ✑✑ ❡ ✑❚ ❡ ✑ ❚ ❡❡ ✑ ✥ ✥✥ B ✑ ✥✥ ❚ ✥✥✥ ❚ ✑ ✥ ✥✥✥ ✑ A ❚ rTeorema 1.12 Dados tres puntos A, B, C, se cumple que B est´ entre A y C asi y s´lo si est´ entre C y A. (Por B2) o aDefinici´n 1.13 Dados dos puntos distintos A y B, llamaremos segmento (lat. o‘corte’) de extremos A y B al conjunto de los puntos situados entre A y B. Lorepresentaremos por AB. Por el teorema anterior AB = BA. Observemos que un segmento s contienea sus extremos, luego est´ contenido en una unica recta, a la que llamaremos a ´prolongaci´n de s. Los extremos de s son el m´ximo y el m´ o a ınimo para cualquierade las ordenaciones de su prolongaci´n, luego est´n determinados por s, es decir, o ados segmentos son iguales si y s´lo si tienen los mismos extremos. o Si a una recta le quitamos un punto, ´sta queda dividida en dos partes. El eteorema siguiente lo demuestra, al tiempo que caracteriza a cada una de estaspartes. Para enunciarlo conviene adoptar el convenio de que AA = {A}, si bienno consideraremos como segmentos a estos conjuntos de un solo punto.
  13. 13. 1.2. Axiomas de ordenaci´n o 5Teorema 1.14 Sea r una recta y O un punto de r. Entonces la relaci´n en or {O} dada por P ∼ Q si y s´lo si O ∈ P Q es una relaci´n de equivalencia o / ocon exactamente dos clases de equivalencia. ´ Demostracion: Sea B un punto de r y sea A tal que A <OB O <OB B.Es f´cil ver que P ∼ Q si y s´lo si P y Q son ambos mayores que O o ambos a omenores que O respecto a la relaci´n ≤OB , de donde se sigue inmediatamente oque la relaci´n es de equivalencia. Adem´s hay s´lo dos clases, a saber, la clase o a ode A y la clase de B.Definici´n 1.15 Dado un punto O en una recta r llamaremos semirrectas en or con origen en O a cada una de las dos clases de equivalencia descritas en elteorema anterior junto con el punto O. Claramente, dados dos puntos distintos O y A, existe una unica semirrecta ´ − →de origen O y que pasa por A. La representaremos por OA. Es f´cil ver que a−→OA = {P ∈ OA | O ≤OA P }. Una semirrecta est´ contenida en una unica recta, a la que llamaremos su a ´prolongaci´n. Notemos que si s es una semirrecta, entonces el origen de s es oel m´ximo o el m´ a ınimo de s respecto a cada una de las dos ordenaciones desu prolongaci´n. Si es el m´ o ınimo entonces s no tiene m´ximo y viceversa. Por aconsiguiente una semirrecta determina a su origen, de modo que dos semirrectasiguales tienen el mismo origen. Si s es una semirrecta, existe una unica semirrecta distinta de s con la misma ´prolongaci´n y el mismo origen. A ´sta la llamaremos semirrecta complemen- o etaria de s. El unico punto en com´n entre una semirrecta y su complementaria ´ ues el origen de ambas. Del mismo modo que un punto divide a una recta en dos semirrectas, unarecta divide a un plano en dos semiplanos. El teorema siguiente lo demuestra.Teorema 1.16 Sea π un plano y r una recta contenida en π. Entonces larelaci´n en π r dada por P ∼ Q si y s´lo si r no corta a P Q es una relaci´n o o ode equivalencia con exactamente dos clases de equivalencia. ´ Demostracion: La relaci´n es obviamente reflexiva y sim´trica, y es tran- o esitiva por el axioma B5. Tomemos un punto A de π exterior a r y un punto Xen r. La recta AX est´ contenida en π y corta a r unicamente en X, luego si a ´tomamos un punto B en AX tal que X est´ entre A y B, ciertamente B ∈ π r. eM´s a´n, A 6∼ B. De nuevo el axioma B5 implica que todo punto de π r es a uequivalente a A o a B, luego s´lo hay dos clases de equivalencia. oDefinici´n 1.17 Sea π un plano y r una recta contenida en π. Llamaremos osemiplanos en π de frontera r a las uniones de cada una de las dos clases deequivalencia descritas en el teorema anterior con la recta r.
  14. 14. 6 Cap´ ıtulo 1. La geometr´ absoluta ıa Dada una recta r y un punto exterior A, existe un unico semiplano de frontera ´ −→r y que contiene a A. Lo representaremos por rA, y es el conjunto de todos lospuntos X del plano que contiene a r y a A tales que r no corta al segmento AX. Un semiplano s est´ contenido en un unico plano, al que llamaremos su pro- a ´longaci´n. La frontera de s est´ formada por los puntos X con la propiedad de o aque existe una semirrecta de origen X contenida en s cuya semirrecta comple-mentaria no tiene m´s punto en s que el propio X. Por lo tanto s determina a asu frontera, es decir, si dos semiplanos son iguales, sus fronteras son iguales. Dado un semiplano s, existe un unico semiplano distinto de s con la misma ´prolongaci´n y con la misma frontera, al que llamaremos semiplano complemen- otario de s. Los unicos puntos en com´n entre un semiplano y su complementario ´ uson los de la frontera.Ejercicio: Probar que un plano divide al espacio en dos semiespacios. Definir losconceptos de prolongaci´n de un semiespacio y semiespacio complementario. oDefinici´n 1.18 Un conjunto de puntos F es convexo si cuando A, B son opuntos de F entonces el segmento AB est´ contenido en F . a Es f´cil probar que las rectas, los planos, los segmentos, las semirrectas, los asemiplanos y los semiespacios son conjuntos convexos. As´ mismo es claro que ıla intersecci´n de conjuntos convexos es un conjunto convexo. o1.3 ´ Angulos y tri´ngulos aDefinici´n 1.19 Sean l1 y l2 dos semirrectas con origen com´n O y no conte- o unidas en la misma recta. Sean r1 y r2 sus respectivas prolongaciones. Sea π elplano que las contiene. Es claro que l1 est´ contenido en uno de los semiplanos aen que r2 divide a π y l2 est´ contenido en uno de los semiplanos en que r1 adivide a π. Llamaremos ´ngulo (lat. ‘rinc´n’) de v´rtice (lat. ‘cumbre’) O y a o elados l1 y l2 a la intersecci´n del semiplano de π respecto a r2 que contiene a l1 o dcon el semiplano de π respecto a r1 que contiene a l2 . Lo representaremos l1 l2 .Los puntos de l1 y l2 constituyen la frontera del ´ngulo. a d Observemos que l1 l2 contiene m´s puntos, aparte de los de sus lados. De ahecho es un conjunto convexo, pues es la intersecci´n de dos conjuntos convexos. oPor lo tanto, si A y B son puntos en l1 y l2 respectivamente, entonces todos lospuntos entre ellos est´n en el ´ngulo. a a Si tres puntos A, O y B no son colineales, llamaremos AOB al ´ngulo de a − → −→−v´rtice O y lados OA y OB. e Un ´ngulo est´ contenido en un unico plano, llamado su soporte. Es f´cil a a ´ aprobar que un ´ngulo determina su v´rtice y sus lados. a e Dos rectas secantes dividen el plano que las contiene en cuatro ´ngulos con av´rtice com´n. Dos ´ngulos con el mismo v´rtice, un lado en com´n y los otros e u a e u
  15. 15. ´1.3. Angulos y tri´ngulos a 7lados formados por semirrectas complementarias se llaman ´ngulos adyacentes. aDos ´ngulos con el mismo v´rtice y cuyos lados son semirrectas complementarias a ese llaman ´ngulos opuestos por el v´rtice. Cada ´ngulo tiene exactamente dos a e aa´ngulos adyacentes y un ´ngulo opuesto por el v´rtice. a e ´ Angulo adyacente ✔✔ l2 ✔ d l1 l2 ✔ ✏ ✏✏ ✔ ✏✏✏ O✔ ✏ ✏✏ l1 ✏ ✏✏ ✔ ✏✏ ✔ ✏ ✏✏ ✔ ´ Angulo ✔ opuesto ✔ ´ Angulo adyacente ✔Teorema 1.20 Sean A, O, B puntos no colineales en un plano π. Entonces a a una semirrecta de origen O y contenida en π est´ contenida en el ´ngulo AOBsi y s´lo si corta al segmento AB. o ´ Demostracion: Sea s una semirrecta de origen O y contenida en π. Pode- mos suponer que no es uno de los lados de AOB. Si s corta a AB en un puntoX y P es cualquier otro punto de s (distinto de O), entonces la prolongaci´n odel segmento P X es la prolongaci´n de s, que corta a los lados del ´ngulo en el o apunto O, y ´ste no est´ en P X. Por lo tanto P y X est´n en los mismos semi- e a aplanos respecto a los lados del ´ngulo, y como X est´ en el ´ngulo, P tambi´n. a a a e Esto prueba que s est´ contenida en AOB. a Rec´ ıprocamente, supongamos que s est´ contenida en AOB. Sea s la prolon- a ¯gaci´n de s y consideremos un punto C tal que O est´ entre C y B. Los puntos o eA, B y C no son colineales, y s no pasa por ninguno de ellos. Como s pasa por ¯ ¯O, que es un punto entre C y B, por el axioma B5 ha de pasar por un puntoentre A y B o bien por un punto entre A y C. Ahora bien, s est´ contenida en aAOB y puesto que al pasar por O cruza a la vez los dos lados de s, es claro quela semirrecta complementaria de s est´ contenida en el ´ngulo opuesto por el a a e v´rtice a AOB. Sin embargo el segmento AC est´ contenido en el ´ngulo AOC, a a [ Por lo tanto s no puede cortar a AC. As´que es uno de los adyacentes a AOB. ¯ ıpues, s corta a AB. Sin embargo, la semirrecta complementaria de s no puede ¯ cortar a este segmento, pues est´ fuera de AOB. Concluimos que es s quien acorta al segmento. a a Observemos que si un punto P est´ en un ´ngulo AOB entonces la semirrecta−−→ OP est´ contenida en AOB. aTeorema 1.21 Dos ´ngulos con un lado en com´n y contenidos en el mismo a usemiplano respecto a ´l est´n contenidos el uno en el otro. e a ´ Demostracion: Los ´ngulos ser´n de la forma AOB1 y AOB2 . Suponga- a amos que el segmento AB 1 no corta a la recta OB2 . Entonces todos los puntos
  16. 16. 8 Cap´ ıtulo 1. La geometr´ absoluta ıade AB 1 est´n en el mismo semiplano que A respecto a OB2 , y por hip´tesis a otambi´n est´n en el mismo semiplano que B2 respecto a OA. Por lo tanto AB 1 e a est´ contenido en AOB2 . Si P es cualquier punto de AOB1 (que no est´ en a e −−→OA) la semirrecta OP corta a AB1 en un punto X. Si X = P ya tenemos que P est´ en AOB2 . En caso contrario, el segmento XP no contiene a O, por lo a que X y P est´n en los mismos semiplanos respecto a los lados de AOB2 , luego a P est´ en AOB2 . a Supongamos ahora que AB 1 corta a la recta OB2 en un punto X. Entonces a X est´ en AOB1 , luego est´ en el mismo semiplano que B2 respecto a OA, a −→ − luego en realidad X est´ en OB2 . Esto implica que AOX = AOB2 , luego no a perdemos generalidad si suponemos que X = B2 . Ahora, si P est´ en AOB2 la a − −→ semirrecta OP corta a AB 2 , luego corta a AB 1 , luego est´ contenida en AOB1 , a .luego P est´ en AOB1 a De la prueba del teorema anterior y del teorema 1.20 se deduce el hechosiguiente:Teorema 1.22 Sean l1 , l2 y l3 semirrectas de origen O y tales que l2 y l3 est´n econtenidas en un mismo semiplano de frontera la prolongaci´n de l1 . Entonces od d dl1 l2 est´ contenido en l1 l3 si y s´lo si l2 est´ contenida en l1 l3 . a o aDefinici´n 1.23 Sean A, B y C tres puntos no colineales. Llamaremos tri´n- o a e o a ABC y ACB.gulo de v´rtices A, B y C a la intersecci´n de los ´ngulos BAC, Lo representaremos por ABC. Los ´ngulos BAC, ABC y ACB se llaman ´ngulos del tri´ngulo ABC. a a a Cuando no haya ambig¨edad, nos referiremos a ellos como A, u ˆ B y C, respecti- ˆ ˆvamente (es decir, los nombraremos por sus v´rtices). Los segmentos AB, AC y e BC se llaman lados de ABC. Los tres lados de un tri´ngulo forman su frontera. a ˆ Los lados AB y AC se llaman lados contiguos al ´ngulo A, mientras que el a a ˆ (similarmente con los otros dos ´ngulos).lado BC es el lado opuesto al ´ngulo A a Normalmente llamaremos a, b y c a los lados de un tri´ngulo ABC, de modo a a a ˆ a ˆque a ser´ el lado opuesto al ´ngulo A, b ser´ el lado opuesto a B y c ser´ el a ˆlado opuesto a C. B ✑ ✑ ❡ a c ✑✑ ❡ ✑ ❡❡ ✑ ✥ ✥ C ✑ ✥✥ ✥✥✥ ✑ ✥✥ ✥✥✥ ✑ b A
  17. 17. 1.4. Axiomas de congruencia 91.4 Axiomas de congruencia Continuamos introduciendo conceptos geom´tricos b´sicos ocup´ndonos de e a ala congruencia de figuras. La idea subyacente es que dos figuras son congruen-tes si se diferencian a lo sumo en su posici´n en el espacio, es decir, si una opuede convertirse en la otra mediante un movimiento. Aunque en principio elconcepto de congruencia es aplicable a cualquier figura, de momento s´lo nece- ositamos considerar congruencias de segmentos, ´ngulos y tri´ngulos. Adem´s, a a ala congruencia de tri´ngulos puede definirse en t´rminos de las otras dos. a eDefinici´n 1.24 Una geometr´ m´trica es una geometr´ ordenada junto con o ıa e ıados relaciones, que llamaremos de congruencia y las representaremos por ≡,definidas respectivamente sobre los conjuntos de los segmentos y ´ngulos, y que acumplen los axiomas siguientes:Axioma C1 Las dos congruencias son relaciones de equivalencia, es decir,son reflexivas, sim´tricas y transitivas. eAxioma C2 Dados tres puntos A, B y A0 y una semirrecta s de origen A0 ,existe un unico punto B 0 en s tal que AB ≡ A0 B 0 . ´Axioma C3 Sean A, B, C puntos colineales de modo que B est´ entre A y eC, sean A0 , B 0 y C 0 otros tres puntos en las mismas condiciones. Entonces, siAB ≡ A0 B 0 y BC ≡ B 0 C 0 , tambi´n AC ≡ A0 C 0 . eAxioma C4 Sea L un ´ngulo, s una semirrecta y π un semiplano cuya fron- atera sea la prolongaci´n de s. Entonces existe un unico ´ngulo L0 contenido en o ´ aπ, con un lado igual a s y tal que L ≡ L0 . Diremos que dos tri´ngulos T y T 0 son congruentes si existe una correspon- adencia entre sus v´rtices para la cual cada par de lados y ´ngulos correspondien- e ates son congruentes. En lo sucesivo, cuando digamos que dos tri´ngulos ABC a 0 0 0y A B C son congruentes, se sobreentender´ que cumplen la definici´n para la a ocorrespondencia A → A0 , B → B 0 , C → C 0 , es decir, que AB ≡ A0 B 0 , etc. Axioma C5 Dado un tri´ngulo ABC, un segmento A0 B 0 ≡ AB y un semi- a o u a plano π de frontera la prolongaci´n de A0 B 0 , existe un (´nico) tri´ngulo A0 B 0 C 0 contenido en π y congruente con ABC. Observemos que la unicidad del tri´ngulo se sigue del axioma C4, pues las arectas A0 C 0 y B 0 C 0 son unicas, y C 0 ha de ser su intersecci´n. En el lenguaje tra- ´ odicional de la geometr´ es costumbre hablar de ´ngulos, segmentos y tri´ngulos ıa a a‘iguales’ en el sentido que aqu´ hemos dado a la palabra ‘congruentes’, mientras ıque para indicar que dos segmentos, ´ngulos o tri´ngulos son iguales en el sen- a atido conjuntista, es decir, que contienen los mismos puntos, se suele decir queson ‘coincidentes’. Nosotros usaremos estos t´rminos excepto cuando pueda dar elugar a confusi´n. o Comencemos estudiando las propiedades de la congruencia de segmentos. Elaxioma C3 nos permite definir una suma:
  18. 18. 10 Cap´ ıtulo 1. La geometr´ absoluta ıaTeorema 1.25 Dados dos segmentos AB y CD existe un segmento P Q conla propiedad de que existe un punto R entre P y Q de modo que P R ≡ ABy RQ ≡ CD. La clase de congruencia de P Q s´lo depende de las clases de ocongruencia de AB y CD. ´ Demostracion: Tomamos por ejemplo P = A y R = B. Ahora considera-mos la semirrecta de AB con origen B y que no contiene a A. Por el axioma C2existe en ella un punto Q tal que RQ ≡ CD. Es claro que P , Q y R cumplenlo pedido. El resto es consecuencia del axioma C3.Definici´n 1.26 En las condiciones del teorema anterior, escribiremos o P Q ≡ AB + CD,entendiendo la expresi´n como una igualdad entre clases de congruencia. o De este modo tenemos definida la suma de dos (clases de) segmentos cuales-quiera. Es obvio que esta suma es asociativa y conmutativa. El hecho siguienteno es exactamente una consecuencia inmediata de la definici´n de suma: oTeorema 1.27 Si P Q ≡ u + v entonces existe un punto R entre P y Q tal queP R ≡ u y RQ ≡ v. − −→ ´ Demostracion: Por el axioma C2 existe un punto R en la semirrecta P Q 0tal que P R ≡ u. Del mismo modo, existe un punto R en la semirrecta de P Qde origen R y que no contiene a P de modo que RR0 ≡ v. Por definici´n deosuma tenemos que P R0 ≡ u + v ≡ P Q, luego la unicidad del axioma C2 implicaque R0 = Q De aqu´ se sigue que la suma de segmentos es simplificable: ıTeorema 1.28 Dados tres segmentos u, v y w, si u + v ≡ u + w entoncesv ≡ w. ´ Demostracion: Sea u + v ≡ u + w ≡ P Q. Entonces existe un punto Rentre P y Q tal que P R ≡ u y RQ ≡ v. Tambi´n tiene que existir un punto R0 etal que P R0 ≡ u y R0 Q ≡ w, y por la unicidad de C2 ha de ser R = R0 , luegov ≡ RQ = R0 Q ≡ w.Definici´n 1.29 Diremos que un segmento u es menor que un segmento v (y olo representaremos por u < v) si existe un segmento w tal que v ≡ u + w.En tal caso el teorema anterior afirma que w es unico (salvo congruencia) y lo ´llamaremos resta o diferencia de u y v, y lo representaremos w ≡ v − u. De las propiedades de la suma se sigue inmediatamente que la desigualdadde segmentos depende s´lo de las clases de congruencia y es una relaci´n de o oorden estricto. Tambi´n es f´cil probar lo siguiente: e a
  19. 19. 1.4. Axiomas de congruencia 11Teorema 1.30 Si AB < AC y ambos segmentos est´n situados sobre una se- amirrecta de origen A, entonces B est´ entre A y C. a Nos ocupamos ahora de la congruencia de ´ngulos y tri´ngulos. Comenzamos a acon dos criterios de igualdad de tri´ngulos. a a a Teorema 1.31 (Criterio lado-´ngulo-lado) Si dos tri´ngulos T = ABC y 0 0 cumplen AB ≡ A0 B 0 , AC ≡ A0 C 0 y A ≡ A0 entonces T ≡ T 0 . 0 0T =ABC ˆ ˆ ´ Demostracion: Por el axioma C5 el tri´ngulo T es igual a un tri´ngulo a a 00T =ABC 00 contenido en mismo semiplano que T 0 respecto a la recta A0 B 0 y 0 0con todos sus lados y ´ngulos congruentes con los de T . En particular, usando a el axioma C1 resulta que A0 C 0 ≡ A0 C 00 y B 0 A0 C 0 ≡ B 0 A0 C 00 . Estos ultimos ´ngulos tienen un lado en com´n y est´n contenidos en el ´ a u amismo semiplano respecto a dicho lado, luego por el axioma C4 son coincidentes. −→ − −→−En particular la semirrecta AC 0 coincide con AC 00 . Ahora el axioma C2 implicaque C = C , por lo que T coincide con T , luego T y T 0 son iguales. 0 00 0 00Teorema 1.32 (Criterio ´ngulo-lado-´ngulo) Si dos tri´ngulos T = ABC a a a 0 0 0 0y T = A B C cumplen AB ≡ A ˆ ˆ ˆ ˆ 0 B 0 , A ≡ A0 y B ≡ B 0 entonces T ≡ T 0 . ´ Demostracion: Razonamos igual que en el teorema anterior, con lo que obtenemos un tri´ngulo T 00 = A0 B 0 C 00 igual a T y que comparte con T 0 el lado a ˆ ˆ −→ − −− − → −− −→ −− −→ 0 B 0 y los ´ngulos A0 y B 0 . Esto implica que A0 C 0 = A0 C 00 y B 0 C 0 = B 0 C 00 ,A apero C 0 y C 00 son los respectivos puntos donde se cortan estas semirrectas, luegoC 0 = C 00 y concluimos igualmente. M´s adelante probaremos que si dos tri´ngulos tienen dos ´ngulos iguales a a aentonces tienen los tres ´ngulos iguales, con lo que el criterio anterior cubrir´ a acualquier caso en que dos tri´ngulos tengan iguales dos ´ngulos y un lado. a aM´s delicado es probar el criterio lado-lado-lado. Antes necesitamos un par de aresultados. En primer lugar demostramos para ´ngulos lo que el axioma C3 aafirma para segmentos.Teorema 1.33 Sean l1 , l2 y l3 semirrectas de origen O tales que las dos ultimas´est´n contenidas en un mismo semiplano con frontera la prolongaci´n de la a oprimera. Sean l1 , l2 y l3 semirrectas de origen O0 en las mismas condiciones. 0 0 0 a d a d d d d d 0 0 0 0Supongamos que el ´ngulo l1 l2 est´ contenido en l1 l3 . Si l1 l2 ≡ l1 l2 y l2 l3 ≡ l2 l3 d est´ contenido en l0 l0 y l1 l3 ≡ l0 l0 . 0 l0entonces l1 2 a d d d 1 3 1 3 Demostracion: Por el axioma C4 existe una semirrecta l3 de origen O0 y ´ 00 0contenida en el mismo semiplano respecto a l1 que las dem´s y de modo que ad d 0 00 0 00l1 l3 ≡ l1 l3 . Hemos de probar que l3 = l3 . Tomemos puntos A ∈ l1 y B ∈ l3 . Por el teorema 1.20 sabemos que lasemirrecta l2 corta a AB en un punto C. Consideremos puntos A0 ∈ l1 y 0 0 00 0 A0 ≡ OA y O 0 B 0 ≡ OB.B ∈ l3 tales que O
  20. 20. 12 Cap´ ıtulo 1. La geometr´ absoluta ıa 0 00 °l l3 ✁ 0 ° l3 B° 3 ✁ B° °❇❇ l2 ✁ °❇ ❇ l0 ✦✦ ✦2 ° C ❇✦ ✦ ✁ ° C 0❇✦✦ ✦ °✦✦ ❇ ✁°✦✦ 0 ❇ ✦ l1 ✦ l10 O✦ ° A❇ O 0✦ ✁ ° A❇ Por el criterio LAL de igualdad de tri´ngulos tenemos que AOB ≡ A0 O0 B 0 , a −− −→ 0 B 0 . Sea C 0 el punto de A0 B 0 que cumple AC ≡ A0 C 0 . Comoluego AB ≡ AAC < AB resulta que C 0 est´ entre A0 y B 0 . Veamos que est´ en l2 . Esto se debe a a 0a que los tri´ngulos y A O C son iguales, porque tienen iguales el ´ngulo a AOC 0 0 0 aA [ ˆ ≡ A0 y los lados OA ≡ O0 A0 y AC ≡ A0 C 0 . Por lo tanto AOC ≡ A0 O0 C 0 , y ˆ −− −→ dpor la unicidad del axioma C4 ha de ser l2 = O0 C 0 . Esto implica que l1 l2 est´ 0 0 0 a d. 0 l00contenido en l1 3 Finalmente observamos que los tri´ngulos BOC y B 0 O0 C 0 tienen iguales el aa´ngulo B d d d ˆ ≡ B 0 y sus lados adyacentes, luego l0 l00 ≡ l2 l3 ≡ l0 l0 , y por consi- ˆ 2 3 2 3 0 00guiente l3 = l3Definici´n 1.34 Un tri´ngulo es equil´tero (lat. ‘de lados iguales’) si sus tres o a alados son iguales. Un tri´ngulo es is´sceles (gr. ‘de piernas iguales’) si tiene al a omenos dos lados iguales. Un tri´ngulo es escaleno (gr. ‘oblicuo’) si sus lados ason desiguales dos a dos. Probamos ahora un resultado con una prueba mucho m´s elemental de lo aque podr´ preverse: ıa a o a Teorema 1.35 (Criterio del tri´ngulo is´sceles) Si en un tri´ngulo ABC ˆ ˆse cumple CA ≡ CB entonces A ≡ B. ´ Demostracion: Basta aplicar el criterio LAL a los tri´ngulos (coinciden- a tes) ACB y BCA (es decir, tomando A0 = B, B 0 = A y C 0 = C). Observemos que el teorema anterior implica que los tri´ngulos equil´teros a atienen tambi´n sus tres ´ngulos iguales. Finalmente podemos probar: e a Teorema 1.36 (Criterio lado-lado-lado) Si T = ABC y T 0 = A0 B 0 C 0 cum-plen AB ≡ A0 B 0 , AC ≡ A0 C 0 y BC ≡ B 0 C 0 , entonces T ≡ T 0 . ´ Demostracion: Trasladando uno de los tri´n- a A gulos podemos suponer que AC = A0 C 0 y que los ✓❙ v´rtices B y B 0 se encuentran en semiplanos distin- e ✓ ❙ ✓ ❙ tos respecto a este lado com´n. u ✓ ❙ En estos t´rminos AB ≡ AB 0 , BC ≡ B 0 C y e ✓ ❙ hemos de probar que AB 0 C ≡ ABC. Para ello basta ✓ ❙B ◗ ◗ ✑ 0 ✑ B ≡ ABC, pues entonces el criterio probar que AB 0C ◗ ✑ ◗ ✑ LAL nos da el resultado. Si C est´ en el segmento a ◗✑ BB 0 concluimos por el teorema anterior aplicado a C
  21. 21. 1.5. Suma de ´ngulos a 13 ABB 0 . En caso contrario aplicamos el teorema anterior a los tri´ngulos ABB 0 a 0 , con lo que obtenemos ABB 0 ≡ AB 0 B y CBB 0 ≡ CB 0 B. El teoremay CBB 1.33 implica que AB 0 C ≡ ABC.1.5 Suma de ´ngulos a El teorema 1.33 nos permite definir una suma de ´ngulos de forma similar aa como hemos definido la suma de segmentos. Conviene definir primero laordenaci´n de los ´ngulos. o aDefinici´n 1.37 Diremos que un ´ngulo A es menor que un ´ngulo B (y lo o a arepresentaremos por A < B) si existen ´ngulos A0 y B 0 congruentes con A y aB respectivamente, con un lado en com´n, situados en un mismo semiplano urespecto a dicho lado y de modo que A0 est´ (estrictamente) contenido en B 0 . a Si A y B son dos ´ngulos no congruentes, por el axioma C4 existen ´ngulos a aA0 y B 0 en las condiciones de la definici´n, por el teorema 1.21 uno de ellos oestar´ contenido en el otro y por el teorema 1.33 el resultado de la comparaci´n a odepende s´lo de las clases de congruencia de A y B. Ahora es f´cil probar que o ala relaci´n que acabamos de definir es ciertamente una relaci´n de orden total o oestricto sobre (las clases de congruencia de) todos los ´ngulos, as´ como que a ısi dos ´ngulos comparten un lado y est´n contenidos en un mismo semiplano a arespecto a dicho lado, entonces el menor estar´ contenido en el mayor. aTeorema 1.38 Si L y L0 son ´ngulos iguales, S es un ´ngulo adyacente a L y a aS 0 es un ´ngulo adyacente a L0 , entonces S y S 0 tambi´n son iguales. a e ´ Demostracion: Digamos que L = AOB y que S = COB, donde los puntosC, O, A est´n alineados. Sea O el v´rtice de L y S , tomemos B 0 en el lado a 0 e 0 0com´n entre ambos y de modo que OB ≡ O0 B 0 . Sea A0 en el otro lado de L0 de umodo que OA ≡ O0 A0 y sea C 0 en el otro lado de S 0 de modo que OC ≡ O0 C 0 . 0 ❇B ❇ ❇B ❇ ❇ ❇ ❇ ❇ 0 C ❇O A C0 ❇O A0 Es claro entonces que CA ≡ C 0 A0 , AOB ≡ A0 O0 B 0 (por el criterio LAL), de donde AB ≡ A0 B 0 , de donde CAB ≡ C 0 A0 B 0 (por el mismo criterio), de dondeBC ≡ B 0 C 0 , de donde COB ≡ C 0 O 0 B 0 (por el criterio LLL). Esto implica que COB ≡ C 0 O0 B 0 , es decir, S ≡ S 0 . Como consecuencia inmediata tenemos:Teorema 1.39 Los dos ´ngulos adyacentes a un ´ngulo dado son iguales entre a as´ Dos ´ngulos opuestos por el v´rtice son iguales entre s´ ı. a e ı.
  22. 22. 14 Cap´ ıtulo 1. La geometr´ absoluta ıa (Notemos que dos ´ngulos opuestos por el v´rtice son adyacentes a un mismo a ea´ngulo.)Definici´n 1.40 Dos ´ngulos son suplementarios si uno es congruente con un o aa´ngulo adyacente al otro. Es obvio que la relaci´n de ser suplementarios depende s´lo de las clases de o ocongruencia de los ´ngulos, as´ como que es sim´trica. Si dos ´ngulos suplemen- a ı e atarios tienen un lado en com´n y est´n en semiplanos opuestos respecto a ´ste, u a eentonces son adyacentes.Teorema 1.41 Si un ´ngulo A es menor que un ´ngulo B, entonces el suple- a amentario de B es menor que el suplementario de A. ´ Demostracion: Podemos suponer que A y B tienen un lado en com´n y uest´n contenidos en un mismo semiplano respecto a ´ste. Digamos A = l1 l2 a e dy d 0B = l1 l3 . Sea l1 la semirrecta complementaria de l1 . Entonces los suplementa- d d 0 0 d0rios de A y B son l1 l2 y l1 l3 . Basta probar que l3 est´ contenida en l1 l2 . Por el a 0teorema 1.20 esto equivale a que l1 y l2 est´n en semiplanos distintos respecto ea l3 , lo que a su vez equivale a que l1 y l2 est´n en el mismo semiplano respecto e o a e da l3 , y por definici´n de ´ngulo esto equivale a que l2 est´ contenida en l1 l3 , locual es cierto por hip´tesis. oDefinici´n 1.42 Un semihaz de semirrectas (lat. fascem = ‘manojo’) es el oconjunto de todas las semirrectas con un origen com´n O contenidas en un usemiplano S que tenga a O en su frontera. Notemos que un semihaz determina su origen y su semiplano. El origen Odivide a la frontera de S en dos semirrectas s y t a las que llamaremos extremosdel semihaz. Cada semirrecta l en un semihaz que sea distinta de sus extremos b bdetermina dos ´ngulos suplementarios sl y tl. Esto nos permite definir dos aordenaciones totales en el semihaz: una dada por l ≤st l0 b c si y s´lo si sl ≤ sl0 o(con el convenio adicional de que s ≤st l ≤st t, para cualquier semirrecta ldistinta de s y t), y otra ≤ts definida an´logamente. El teorema anterior prueba aque ambas ordenaciones son mutuamente inversas. En particular, si l1 l2 y l3 son tres semirrectas de un semihaz, diremos quel2 est´ entre l1 y l3 si l1 ≤st l2 ≤st l3 , donde el orden de los extremos s y t es airrelevante. Es f´cil ver que esto sucede si y s´lo si l1 y l3 est´n en semiplanos a o adistintos respecto a l2 . Ahora conviene adoptar el convenio siguiente:Definici´n 1.43 Llamaremos ´ngulos llanos a los semiplanos. Extendemos o ala congruencia de ´ngulos a los ´ngulos llanos estipulando que todos ellos son a acongruentes entre s´ y no son congruentes con ning´n ´ngulo en sentido estricto. ı u aExtendemos la relaci´n de orden estipulando que un ´ngulo llano es mayor que o acualquier ´ngulo en sentido estricto. a
  23. 23. 1.5. Suma de ´ngulos a 15 Notemos que un ´ngulo llano no tiene definidos un v´rtice y unos lados. a ePodemos considerar como tales a un punto cualquiera de su frontera y las semi-rrectas que ´ste determina, pero hay infinitos ´ngulos llanos con el mismo v´rtice e a ey los mismos lados (todos los semiplanos con una misma recta como frontera).Los ´ngulos llanos no tienen suplementario. Si s y t son los extremos de un asemihaz de semirrectas contenidas en el semiplano S, entonces convendremos ben que st representa precisamente a S (pero esto s´lo tiene sentido con respecto oa un semihaz prefijado). Con este convenio se cumple el teorema siguiente (lademostraci´n es muy simple): oTeorema 1.44 Sean l1 y l2 dos semirrectas distintas en un semihaz prefijado. dEntonces l1 l2 es la uni´n de todas las semirrectas del semihaz que est´n entre o al1 y l2 . Todas estas consideraciones nos permiten estudiar c´modamente la suma de oa´ngulos. o a dDefinici´n 1.45 Diremos que un ´ngulo A = l1 l2 es la suma de dos ´ngulos B ay C si existe una semirrecta l3 de origen el v´rtice de A y contenida en A tal e d dque B ≡ l1 l3 y C ≡ l3 l2 . Lo representaremos por A ≡ B + C. Como en el caso de los segmentos, es claro que la relaci´n A ≡ B + C puede overse como una igualdad entre clases de congruencia de los ´ngulos. Por ejemplo, anotemos que si A, B y C cumplen la definici´n anterior y A0 ≡ A, entonces oB < A, luego existe un ´ngulo B 0 con un lado en com´n con A y contenido a uen A. Por el teorema 1.33, los otros lados de B 0 y A0 forman un ´ngulo C 0 acongruente con C, luego A0 tambi´n es una suma de B y C. Igualmente se eprueba que todas las sumas de B y C son congruentes. Convenimos en que un ´ngulo llano A es la suma de dos ´ngulos B y C a asi y s´lo si ´stos son suplementarios. Observemos que la definici´n general de o e osuma es aplicable a este caso tomando como v´rtice de A cualquier punto de su efrontera. La suma de ´ngulos presenta una diferencia importante con la de segmentos, ay es que no todo par de ´ngulos tiene una suma. Concretamente: aTeorema 1.46 Dos ´ngulos B y C admiten una suma si y s´lo si C es menor a oo igual que el suplementario de B. ´ Demostracion: Sea A una suma de B y C. Es claro que existe un semihazde semirrectas contenidas en el semiplano de A y con un extremo l1 igual a unlado de A (incluso si A es un semiplano). Sea l3 el otro lado de A. Por definici´n o d dde suma, existe una semirrecta l2 entre l1 y l3 de modo que l1 l2 ≡ B y l2 l3 ≡ C. Si llamamos l4 a la semirrecta complementaria de l1 tenemos l1 ≤l1 l4 l2 ≤l1 l4 l3 ≤l1 l4 l4 , d dluego C ≡ l2 l3 ≤ l2 l4 , y este ultimo ´ngulo es el suplementario de B. ´ a
  24. 24. 16 Cap´ ıtulo 1. La geometr´ absoluta ıa Rec´ıprocamente, si C es menor o igual que el suplementario de B, entonces dpodemos tomar B = l1 l2 , donde l1 es un extremo de un semihaz de semirrectas dal cual pertenece l2 . Por hip´tesis C ≤ l4 l2 , donde l4 es la semirrecta comple- o dmentaria de l1 , luego existe una semirrecta l3 entre l2 y l4 tal que C ≡ l2 l3 . Es dclaro entonces que l1 l3 es una suma de B y C. Se comprueba sin dificultad que la suma de ´ngulos es asociativa, es decir, asi A + B es sumable con C, entonces A tambi´n es sumable con B + C y e(A+B)+C ≡ A+(B +C). As´ mismo es conmutativa y simplificable. Si B < C ıentonces existe un unico ´ngulo D (salvo congruencia) tal que C ≡ B + D. Lo ´ arepresentaremos por D ≡ C − B.1.6 M´s propiedades de segmentos, ´ngulos y a a tri´ngulos a Con los resultados de que disponemos hasta el momento ya podemos pro-bar con cierta agilidad muchas propiedades intuitivamente evidentes acerca desegmentos, ´ngulos y tri´ngulos. Recogemos aqu´ las que nos har´n falta m´s a a ı a aadelante para estudiar la perpendicularidad, el paralelismo y las circunferencias,entre otras nociones.Teorema 1.47 Todo segmento AB contiene un unico punto M que cumple ´AM ≡ M B. Se le llama punto medio del segmento. ´ Demostracion: Sea C un punto cualquiera fuera de la recta AB. El a es congruente con un unico tri´ngulo BDA contenido en eltri´ngulo ACB ´ a semiplano complementario del que contiene al primero. C Los puntos C, A y D no pueden ser co- ❛❛ ✪ ❡ ❛❛ ✪ lineales, pues entonces los ´ngulos CAB y a ✪ ❡ ❛❛ ser´ suplementarios, luego tambi´n BAD ıan e ❡M ❛❛ A✪ ıan a e ❛ B lo ser´ los ´ngulos (iguales a ´stos) ABD y ❛❛ ❡ ❛❛ ✪ ❛❛ ❡ ✪ CBA, luego C, B y D ser´ tambi´n colinea- ıan e ❛❛❡ ✪ les, y as´ los cuatro puntos estar´ alineados, ı ıan ❡ ❛✪ en contra de la elecci´n de C. o D Tenemos, pues, dos tri´ngulos ACD y BDC, que tienen sus lados iguales, aluego tambi´n sus ´ngulos. Adem´s CD corta a la recta AB en un punto M e a a (porque C y D est´n en semiplanos distintos). Los tri´ngulos ACM y BDM a a son iguales por el criterio LAL, luego AM ≡ M B. El punto M ha de estarentre A y B, pues en caso contrario habr´ dos segmentos iguales con extremo ıaM y el otro extremo al mismo lado de M . La unicidad es f´cil de probar: Si hubiera dos puntos medios M1 y M2 , apodemos suponer que M1 est´ entre A y M2 . Entonces a AM 2 = AM 1 + M1 M2 ,
  25. 25. 1.6. M´s propiedades de segmentos, ´ngulos y tri´ngulos a a a 17luego AB = 2AM2 = 2AM 1 + 2M1 M2 = AB + 2M1 M2 , lo cual es absurdo. a dTeorema 1.48 Dado un ´ngulo l1 l2 , existe una unica semirrecta l contenida ´en ´l, tal que l1 l ≡ lc . Se la llama bisectriz del ´ngulo. e c l2 a ´ Demostracion: Sea O el v´rtice del ´ngulo. Tomemos un punto A en l1 y e asea B en l2 tal que OA ≡ OB. Sea M el punto medio de AB y l la semirrectade origen O y que pasa por M . Claramente l est´ contenida en el ´ngulo. a a Los tri´ngulos OAM y OBM tienen los tres lados iguales, luego tambi´n los a e´ngulos. En particular l1 l ≡ lc . La unicidad se prueba como en el caso de losa c l2segmentos o, alternativamente, se prueba que una bisectriz ha de pasar por elpunto medio de AB.Teorema 1.49 Todo ´ngulo de un tri´ngulo es menor que el suplementario de a acualquier otro de los ´ngulos. a ´ Demostracion: Sea el tri´ngulo ABC. Vamos a probar que el suplemen- a ˆ ˆtario de C es mayor que B. Sea D el punto medio del lado BC. Consideremos −→ −la semirrecta AD y, sobre ella, sea E el punto que cumple AD ≡ DE. Los tri´ngulos ABD y DCD son iguales por el criterio LAL, luego DCE ≡ B y a ˆ a a ˆest´ contenido en el ´ngulo adyacente a C. B E ✁❅ ✟ ✟✁ ✁ ❅ ✟✟ ✁ ✁ D ✟ ❅✟ ✁ ✁ ✟✟✟❅ ✁ ✁ ✟ ❅ ✁ ✁ ✟ ✟ ❅✁ A C El teorema siguiente generaliza al criterio del tri´ngulo is´sceles. a oTeorema 1.50 Los ´ngulos de un tri´ngulo satisfacen las mismas desigualda- a ades que sus respectivos lados opuestos. ´ Demostracion: Sea ABC un tri´ngulo y supongamos, por ejemplo, que aBC < AB. Entonces existe un punto D en AB tal que BD ≡ BC. ˆ Entonces A = CAD < CDB, por el teorema anterior, pues el segundo es el suplementario de un ´ngulo de ADC; a su vez CDB = DCB, porque el a es is´sceles, y por ultimo DCB < ACB = C.tri´ngulo DCB a o ´ ˆ El rec´ ˆ ˆ ıproco es obvio: Si A < C no puede ser AB < BC por la parte yaprobada, y tampoco puede darse la igualdad por el criterio del ´ngulo is´sceles. a o En particular tenemos que un tri´ngulo es equil´tero si y s´lo si tiene sus tres a a oa´ngulos iguales, es is´sceles si y s´lo si tiene dos ´ngulos iguales y es escaleno si o o ay s´lo si tiene sus tres ´ngulos desiguales. o a

×