Geometría Euclídeana

Geometría Euclideana
2 de diciembre de 2015
Índice
1. Incidencia 3
2. Orden 6
2.1. Orden de los puntos de una semirrecta. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2. Orden de los puntos de una recta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3. Separación de los puntos de un plano y del espacio . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.4. Orden de las semirrectas interiores de un ángulo . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3. Congruencia 15
3.1. Resultados de la congruencia, el orden y la incidencia . . . . . . . . . . . . . . . . . . . . . . . 16
3.2. Congruencia de Triángulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.3. Aplicaciones de la congruencia de triángulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.3.1. El punto medio de un segmento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.3.2. Bisectriz de un ángulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.3.3. Perpendicularidad en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.3.4. Relaciones de orden entre segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.5. Relación de Orden entre ángulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.4. Lados y ángulos de triángulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.5. Planos y Rectas Perpendiculares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.6. Isometría . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.7. Movimientos en el Plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.7.1. Simetría Central . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.7.2. Simetría Axial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.7.3. Traslación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.7.4. Rotación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4. Continuidad 57
4.0.5. Longitud de Segmentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.0.6. El Proceso de Medición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.1. La circunferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.2. Construcciones con regla y compás . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
1
5. Paralelismo 73
5.1. Consecuencias del Axioma de las paralelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2. Ángulos entre paralelas cortadas por una transversal . . . . . . . . . . . . . . . . . . . . . . . . 74
5.3. Proposiciones equivalentes al axioma de las paralelas . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3.1. El quinto postulado de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3.2. La suma de los ángulos interiores de un triángulo . . . . . . . . . . . . . . . . . . . . . . 77
5.3.3. Perpendiculares levantadas desde un lado de un ángulo agudo. . . . . . . . . . . . . . . 82
5.4. Paralelismo en el espacio. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Sobre el Texto
Este material está pensado para docentes y alumnos avanzados en Matemáticas interesados en destacar las
habilidades que se derivan del estudio de la geometría.
Los prerrequisitos conceptuales que se requieren son pocos, pero debido a que tratamos con sistemas axio-
máticos, el lector debería conocer en alguna medida los conceptos de deducción y demostración. En este sentido,
tomaremos como deducción a partir de un conjunto de hipótesis o suposiciones a una sucesión de enunciados
que pueden ser algunos de los axiomas que enunciamos más abajo, las suposiciones que hagamos en el momento
o enunciados surgidos por modus ponens a partir de pasos anteriores. Ejempliquemos esto último:
Ejemplo 1. Fijemos como el conjunto de suposiciones {Existen dos puntos distintos A y B }. Una deducción
a partir de este conjunto de hipótesis podría ser:
1. Existen dos puntos distintos A y B.

2. Cualesquiera que sean dos puntos diferentes A, B, existe a lo sumo una recta que pasa por cada uno de
los puntos A, B
3. En cada recta hay al menos dos puntos. Existen al menos tres puntos que no pertenecen a una misma
recta.
4. Existe a lo sumo una recta que pasa por cada uno de los puntos A, B
5. En cada recta hay al menos dos puntos. Existen al menos tres puntos que no pertenecen a una misma
recta.
Es claro que el ítem 1 es la suposición, entonces es correcto que esté en la sucesión. El ítem 2, 3 y 5 son axiomas
por lo tanto es correcto que formen parte de la deducción. Note que el ítem 3 y el 5 coinciden, por lo tanto, en
la práctica pudiera suprimirse pues es redundante, pero a nivel de lógica no tiene inconvenientes. El ítem 4 se
dedujo por modus ponens a partir de los pasos 2 y 1, ya que el ítem 2 puede escribirse: Si existen dos puntos
diferentes A y B entonces existe a lo sumo una recta que pasa por cada uno de los puntos A, B .
Del último paso Q de la deducción a partir de ∆, donde ∆ es el conjunto de hipótesis; se dice que Q se
dedujo de ∆. En este caso decimos que En cada recta hay al menos dos puntos. Existen al menos tres puntos
que no pertenecen a una misma recta; se dedujo de existen dos puntos distintos A y B .
Cuando el conjunto de las hipótesis es vacío a la deducción le llamaremos Demostración y al último paso
Teorema. Queda claro que todos los pasos de una demostración son teoremas, incluso que todo axioma es un
teorema, cuya demostración puede constar de un único paso. Usaremos como sinónimos de demostración las
palabras prueba, justicación, etc.
En la práctica real, seguiremos llamando deducción o demostración a sucesiones que contengan, además,
teoremas del cálculo de proposiciones o silogismos.
2
Ejemplo 2. Supongamos que deseamos demostrar que: Por dos puntos AyB diferentes pasa una única recta,
es decir, deseamos encontrar una sucesión de pasos cuyo último paso sea Por dos puntos A y B (diferentes)
pasa una única recta. Una demostración puede ser:
1. Cualesquiera que sean los puntos A, B, (no necesariamente distintos) existe una recta a que pasa por
cada uno de los puntos A, B.
2. Cualesquiera que sean dos puntos diferentes A, B, existe a lo sumo una recta que pasa por cada uno de
los puntos A, B .
3. Cualesquiera que sean los puntos A, B, existe una recta a que pasa por cada uno de los puntos, y
cualesquiera que sean dos puntos diferentes A, B, existe a lo sumo una recta que pasa por cada uno de
los puntos A, B .
El último ítem es, por supuesto, a lo que queríamos llegar. Note que se usó un silogismo llamado conjunción.
Sin responder totalmente a la formalidad que exigiría la lógica, aceptaremos que en una deducción aparezcan
directamente teoremas de la teoría que estamos tratando que es la Teoría de la Geometría Euclidiana, o de
otras teorías.
1. Incidencia
Observación 3. Trataremos con un predicado que relaciona puntos con rectas y con otro que relaciona puntos
con planos. En ambos casos diremos que un punto está en o pertenece a una recta o un plano y será
sinónimo que la recta o el plano pasa por el punto. También usaremos expresiones como: dos rectas se
cortan para abreviar que existe un único punto que pasa por cada una de ellas. Estos términos los usaremos
con bajo rigor pues por el momento no estamos interesados en los detalles lógicos, pero el lector tiene que
saber que puede, y que de hecho debe hacerse formalmente. También diremos que puntos están alineados como
sinónimo de que están sobre una recta o que son colineales; y son coplanares para decir que están sobre un
plano.
I 1 Cualesquiera que sean los puntos A, B,1 existe una recta a que pasa por cada uno de los puntos A, B.
I 2 Cualesquiera que sean dos puntos diferentes A, B, existe a lo sumo una recta que pasa por cada uno de
los puntos A, B
I 3 En cada recta hay al menos dos puntos. Existen al menos tres puntos que no pertenecen a una misma
recta.
I 4 Cualquiera que sean los puntos A, B, C , que no pertenecen a una misma recta, existe un plano que pasa
por cada uno de los puntos A, B, C. En cada plano hay al menos un punto.
I 5 Cualquiera que sean tres puntos A, B, C que no pertenecen a una misma recta, existe a lo sumo un plano
que pasa por cada uno de los tres puntos A, B, C.
I 6 Si dos puntos A, B de la recta a pertenecen al plano α, cada punto de la recta a pertenece al plano α.
I 7 Si dos planos α, β tienen un punto común A, tienen al menos otro punto común B.
1 No necesariamente distintos
3
I 8 Existen al menos cuatro puntos que no pertenecen a un mismo plano.
Observación 4. Usando los primeros dos axiomas queda claro que por dos puntos A y B (diferentes) pasa una
única recta, la denotaremos por AB .
Ejercicio 5. Dos rectas diferentes tienen a lo sumo un punto en común. (Suponga que las rectas r y s tuvieran
dos puntos diferentes en común)
Ejercicio 6. Pruebe que todo punto está sobre una recta. (Consecuencia del axioma I.1).
Teorema 7. Toda recta está sobre un plano.
Ejercicio 8. Para probar el teorema 7 siga los pasos a continuación.
1. Abra una hoja de GeoGebra. Elija vista 3D. Oculte el plano xy y los ejes cartesianos.
2. Pruebe que sobre una recta a cualquiera existen al menos dos puntos A y B. Dibújelos
3. Pruebe que hay un punto C que no está sobre a. Dibuje a C.

4. Pruebe que A, B y C no están sobre una misma recta.
5. Pruebe que A, B y C están sobre un plano α. Dibuje a α.

6. Pruebe que a pasa por α.
7. Concluya la prueba
Ejercicio 9. Pruebe que todo punto está sobre un plano. (Use el axioma I.1 y el Teorema 7).
Teorema 10. Si dos planos tienen un punto en común, entonces tienen una única recta en común.
2. En la barra de entrada de comandos escriba A = (1, 1, 0).

3. En la barra de entrada de comandos escriba α = P lano[A, (2, 2, 0), (−1, 1, 1)] y β = P lano[A, (2, 3, 0), (1, 1, 1)].
4. Pruebe que hay otro punto B distinto de A en el corte de los planos α y β.
5. Pruebe que existe una única recta c que pasa por A y B.
6. Para dibujar la recta c y el punto B use primero la herramienta Intersección de dos supercies y luego
la herramienta Punto.
7. Pruebe que la recta a pasa tanto por α como por β.

Ejercicio 12. Un plano y una recta que no le pertenece tiene a lo sumo un punto en común.
Teorema 13. Por una recta y un punto que no le pertenece o por dos rectas con un único punto en común,
pasa un único plano.
4
Ejercicio 14. Pruebe el teorema 13 (Muestre en los dos casos que existen tres puntos no alineados y luego
use los axiomas I.4, I.5 y I.6)
Ejercicio 15. Sea un plano α, una recta r en α, otra recta s con un único punto P en común con α, pero no
con r. Pruebe que no hay un plano que contenga a las dos rectas. (Use el teorema 13 y el axioma I.3).
Denición 16. Diremos que dos rectas son paralelas si son coplanares y no se cortan, o si son coincidentes.
Dos rectas son secantes si se cortan en un único punto. En otro caso se le llaman alabeadas, es decir si no
existe un plano que las contenga.
Proposición 17. Si A, B y C no están alineados entonces son tres puntos distintos. Si A, B , C y D no son
coplanares, entonces son cuatro puntos distintos, además no hay tres de ellos alineados.
Ejercicio 18. Pruebe la proposición 17. (Considere los axiomas I.1, I.2, I.4 y I.5)
Teorema 19. Cada plano contiene al menos tres puntos no alineados y tres rectas.
Ejercicio 20. Pruebe el teorema 19siguiendo los pasos a continuación.
2. Escriba en la barra de entrada de comandos α = P lano [(1, 0, 0) , (0, 1, 0) , (0, 0, 1)].

3. Pruebe que existe un punto A sobre α. Dibuje a A.
4. Pruebe que existe un punto B fuera de α. Escriba en la barra de entrada de comandos B = (3, 3, 3).
5. Pruebe que existe una única recta a = AB . Dibuje a a.

6. Pruebe que existe un punto C que no pertenece a a. Escriba en la barra de entrada de comandos
C = (0, 0, 0).
7. Pruebe que por A, B y C pasa un único plano β 6= α. Dibuje a β.
8. Pruebe que existe un punto D que no está en β . Escriba en la barra de entrada de comandos D = (3, 0, 0).
9. Pruebe que existe un único plano γ 6= α 6= β que pasa por A, B y D. Dibuje a γ.
10. Use el teorema 10 para mostrar que existen las rectas b, de corte de α y β ; y c de corte de α y γ . Dibújelas
con la herramienta Intersección de dos supercies.
11. Pruebe que b 6= c. (Use la reducción al absurdo)
12. Muestre que existen puntos E 6= A y F 6= A, que pertenecen a las rectas b y c respectivamente. Dibújelos.
Justique que E 6= F .
13. Pruebe que existe la recta d 6= b 6= c que está en α y pasa por E y F. Dibuje a d.
14. Concluya con la prueba.
Teorema 21. Existen cuatro puntos, seis rectas y cuatro planos. Hay rectas alabeadas.
Ejercicio 22. Pruebe el teorema 21 siguiendo los pasos a continuación.
5
1. Use la proposición 17 para mostrar que existen los puntos A, B , C y D no coplanares y distintos tales
que no hay tres de ellos alineados. Dibújelos.
2. Pruebe que existen las rectas r = AB , s = AC , t = AD, u = BC , v = BD, y w = CD y estas son

distintas dos a dos. Dibuje estas rectas.
3. Pruebe que hay al menos cuatro planos.
4. Concluya la prueba.
Observación 23. El esquema del teorema 21 resiste la vericación de todos axiomas de incidencia. Intuitiva-
mente, si a una pirámide le llamaríamos espacio, a sus vértices puntos, a sus aristas rectas y a sus caras planos,
la pirámide cumpliría plenamente con los axiomas. Por lo tanto, con sólo los axiomas de incidencia, es claro
que no podemos demostrar, por ejemplo, que hayan más de cuatro puntos ni que hayan rectas paralelas.
2. Orden
Observación 24. Trataremos con un predicado que relaciona puntos A, B y C. Diremos que un punto B está
entre A y C para referirnos a este predicado.
Denición 25. A un par no ordenado de puntos A y B le llamaremos segmento AB . Los puntos que están
entre A yB les llamaremos puntos interiores de AB . A los puntos A y B les llamaremos extremos de AB . A
la recta AB le llamamos prolongación del segmento AB .
II 1 Si el punto B se encuentra entre el punto A y el punto C , entonces A, B y C son puntos diferentes de

una misma recta, y B se encuentra, asimismo, entre C yA.
II 2 Cualesquiera que sean los puntos distintos A y C, existe al menos un punto B sobre la recta AC tal que
C está entre A y B.
II 3 Entre tres puntos cualesquiera de una recta, a lo sumo uno de ellos puede encontrarse entre los otros dos.
II 4 (Axioma de Pasch) Sean A, B, C tres puntos que no pertenecen a una misma recta, y a, una recta en
el plano ABC que no contiene ninguno de los puntos A, B, C . Entonces, si la recta a pasa por algún
punto del segmento AB , también pasará o bien por algún punto del segmento AC, o bien por alguno del
segmento BC.
Teorema 26. Cualesquiera que sean dos puntos diferentes A y C, existen puntos interiores del segmento AC .
1. Dibuje dos puntos A y C distintos y la recta a = AC .

2. Marque un punto E fuera de a. (Y por lo tanto distinto de A y C ).
3. Demuestre que existe un punto F tal que E está entre A y F. Marque el punto F y la recta b = AE .
4. Muestre que E, F , A y C son todos distintos.
5. Muestre que a y b son distintas.
6
6. Demuestre que existe un punto G tal que C está entre G y F. Marque el punto G y la recta c = F C.
7. Muestre que E , F , A, C y G son todos distintos.
8. Muestre que a, b y c son distintas.
9. Muestre que G no puede estar entre C y F.
10. Muestre que la recta d = EG no puede tener un punto entre C y F. (Sugerencia: Reduzca el problema
al absurdo y concluya que los puntos A, C y E estarían alineados).
11. Muestre que a, b, c y d son distintas.
12. Muestre que d no pasa por A, ni por F, ni por C.
13. Muestre que d tiene un punto B entre A y C. (Use el axioma de Pasch).
Teorema 28. Dados tres puntos diferentes sobre una recta, hay siempre uno de ellos, y sólo uno, que está
entre los otros dos.
1. Dibuje la recta a = AB .
2. Dibuje a C tal que B esté entre A y C.
3. Suponga que A no está entre B y C , ni que C está entre A y B . (Tenemos que probar que necesariamente
B está entre A y C)
4. Dibuje un punto D que no esté en a.
5. Trace la recta b = BD.
6. Pruebe que existe un punto E tal que D esté entre B y E. Marque un punto E.
7. Trace el segmento c = AE .
8. Trace la recta d = CD
9. Muestre que d corta a c en un punto F. Marque a F.
10. Trace el segmento e = EC .

11. Trace la recta f = AD.
12. Muestre que f corta a e en un punto G. Marque a G.
13. Aplique el axioma de Pasch a la recta d = FC y a los puntos A, E y G para mostrar que el punto D está
entre A y G.
14. Aplique el axioma de Pasch a la recta b = ED y a los puntos A, G y C para mostrar que el punto B está
entre A y C.
7
Figura 1: Recta que corta los tres lados de un triángulo
Teorema 30. Si los puntosA, B, C no están sobre una misma recta, y si alguna recta a interseca dos cualquiera
de los tres segmentos AB, BC, AC, entonces ésta no corta al tercer segmento.
1. Suponga, para reducir el problema al absurdo que la recta P QR corta a los segmentos AB , BC y AC .
a ) Realice un dibujo como la gura 1, donde la recta P QR se ha dibujado usando la herramienta

lápiz.
b ) Muestre que ni A, ni B, ni C se encuentran en la recta P QR.

c ) Muestre que R no puede estar entre P y Q. (Sugerencia ¾Qué pasaría si la recta AC cortara al
segmento P Q del triángulo P QB , según el axioma de Pasch?)
d ) Muestre que P no puede estar entre R y Q, ni Q entre P y R.

e ) Concluya una contradicción con el teorema 28.
2. Concluya con el teorema
Lema 32. Si B está en el segmento AC y C en el BD, entonces B y C están en el segmento AD.

Ejercicio 33. Pruebe el lema 32 siguiendo los pasos a continuación.
1. Trace la recta a = AB .
2. Marque el punto C tal que B esté entre A y C.
3. Marque el punto D tal que C esté entre B y D.
4. Marque un punto E fuera de a.
5. Trace la recta b = CE .
6. Muestre que existe un punto F tal que E está entre C y F. Marque F.
8
7. Marque el segmento c = F D.
8. Trace la recta d = BE .
9. Muestre que d corta a c en un punto G.
10. Aplique el axioma de Pasch a la recta d y a los puntos A, F y D, para mostrar que B tiene que estar en
el segmento AD.
Ejercicio 34. Enuncie el contrarrecíproco del lema 32.
Lema 35. Si C está en el segmento AD y B en el AC , entonces B se encuentra asimismo en el segmento

AD, y C en el BD.
2. Marque el punto C tal que B esté entre A y C.
3. Marque el punto D tal que C esté entre B y D.

4. Marque un punto E fuera de a.
5. Trace la recta b = BE .
6. Muestre que existe un punto F tal que E está entre B y F. Marque F.

7. Marque el segmento c = ED.
8. Trace la recta d = F C.
9. Muestre que d no tiene puntos entre A y B, ni puntos entre E y B. Concluya usando el axioma de Pasch
que no tiene puntos entre A y E.
10. Aplique el axioma de Pasch a la recta d = FC y a los puntos A, E y D, para mostrar que d corta a c en
un punto G.
11. Aplique el axioma de Pasch a la recta d = FC y a los puntos B, E y D, para mostrar que C está en el
segmento BD.
12. Concluya la prueba. (Note que probó que C está entre B y D, y por hipótesis B está entre A y C. Lea
el lema 32).
Ejercicio 37. Enuncie el contrarrecíproco del lema 35.
Corolario 38. Si los puntos C y D están entre los puntos A y B , todos los puntos del segmento CD pertenecen
al segmento AB .
Ejercicio 39. Pruebe el corolario 38 siguiendo los pasos a continuación.
9
2. Marque un punto C entre A y B.
3. Marque un punto D entre A y C.
4. Marque un punto E entre C y D.
5. Muestre que E está entre A y C.
6. Muestre que E está entre A y B.
Corolario 40. Sean B y C dos puntos en el segmento AD entonces C está entre A y B o C está entre B y
D. Además, C no puede estar entre A y B y entre B y D.
1. Trace la recta a = AD.

2. Marque dos puntos B y C entre A y D.
3. Muestre que A no puede estar entre B y C.(Use el Corolario 38).
4. Suponga que C no está entre A y B. Pruebe que B tiene que estar entre A y C.
5. Pruebe que C está entre B y D. (Use el Lema 35).
6. Concluya la primera parte de la prueba.
7. Suponga, para reducir el problema al absurdo, que C está entre A y B y entre B y D.
a ) Use el 35 para mostrar que como B está entre A y D, entonces B está entre C y D.
b ) Concluya que la suposición de que C también está entre B y D, lleva a un absurdo.
Teorema 42. Entre dos puntos diferentes de una recta existe un conjunto innito de puntos de ésta.
2. Pruebe la existencia de un punto C entre A y B. Marque C.
3. Pruebe que A, B y C son distintos.
4. Pruebe la existencia de un punto D entre A y C. Marque D.

5. Pruebe que A, B , C y D son distintos.
6. Pruebe la existencia de un punto E entre A y D. Marque E.

7. Pruebe que A, B , C , D y E son distintos.
8. Muestre que el procedimiento que se muestra arriba genera siempre puntos distintos
10
Denición 44. SeaO un punto sobre una recta a. Sean A y B puntos de a distintos de O. Si O no está entre
A y B, diremos que A y B están del mismo lado con respecto a O. Si O está entre A y B , diremos que A y B
están en lados diferentes con respecto a O .
Teorema 45. (Separación en la recta) El punto O de la recta a divide todos los demás puntos de la recta en
dos clases
2 no vacías, de modo que dos puntos cualesquiera de a pertenecientes a una misma clase están a un
mismo lado de O, mientras que dos puntos pertenecientes a distintas clases se encuentran en lados diferentes
con respecto a O.
1. Pruebe que dada una recta a cualquiera y un punto O en a, existe un punto A en a distinto de O.
2. Pruebe que A está en el mismo lado que A con respecto a O.
3. Muestre que existe un punto B que no está del mismo lado que A.
4. Dibuje esta situación.
5. Pruebe que para todo otro punto C de a, distinto de O, A y B, que no está del lado de A, se cumple que
está del lado de B. (Considere los tres casos posibles para los puntos, A, B y C, y suponga, para reducir
el problema al absurdo que O está entre B y C. Use el corolario 40 para concluir).
6. Concluya que sólo hay dos lados no vacíos sobre a.

7. Suponga que D, F y G están sobre a y son distintos de O
a) D está sobre el mismo lado que D. (reexividad)
b ) Si D está del mismo lado que F, entonces F está del mismo lado que D. (Simetría)
c ) Si D está del mismo lado que F y F está del mismo lado que G, entonces D está del mismo lado
que G. (Transitividad)
Denición 47. Diremos que un punto O a, junto con otro punto A de la misma recta determinan
de una recta
una semirrecta o rayo OA. Los puntos que están del mismo lado que A con respecto a O se llaman puntos de
la semirrectaOA. Al punto O se le llama origen de la semirrecta. Los puntos que están otro lado de A con
respecto a O se llaman puntos de la semirrecta opuesta de OA. A la recta OA se le llama prolongación de la
semirrecta OA.
2.1. Orden de los puntos de una semirrecta.
Denición 48. Sea la semirrecta a = OA, y los puntos B y C de ésta. Deniremos el orden en la semirrecta
OA deniendo la relación precede a como sigue: B precede a C si el punto B está entre O y C . Podemos decir
también antes o es menor como sinónimos. Incluso podemos usar el símbolo <. Y los antónimos también
los usaremos para indicar la relación inversa entre los puntos.
2 Una clase o clase de equivalencia son los conjuntos inducidos por una relación de equivalencia, es decir, una relación que es
reexiva, simétrica y transitiva.
11
Ejercicio 49. Sean C, D y E, puntos de la semirrecta OA. Pruebe que:
1. para ningún punto D se cumple D < D. (Arreexividad)
2. si C<D y D<E entonces C < E. (Transitividad)
3. C < D, ó C = D, ó D < C. (Tricotomía)
2.2. Orden de los puntos de una recta
Llamaremos a una de las dos semirrectas de una recta a, determinadas por O, primera, y a la otra segunda.
Dados dos puntos A y B sobre a, diremos A<B sobre la recta A si
Caso i : B<A en la primera semirrecta
Caso ii : B=O y A está en la primera semirrecta
Caso iii : B está en la segunda semirrecta y A en la primera semirrecta
Caso iv : B está en la segunda semirrecta y A = O.

Caso v : A<B en la segunda semirrecta.
Ejercicio 50. Vericar que el orden de los puntos en la recta denido arriba, es efectivamente un orden lineal,
es decir, cumple con la:
1. transitividad, (27 casos)
2. arreexividad, (3 casos)
3. tricotomía. (9 casos)
Ejercicio 51. Teniendo la relación de precedencia de los puntos sobre una recta, mostrar que: si el punto B
está entre A y C , entonces o bien A precede a B y B a C , o bien C precede a B y B a A, recíprocamente, si
A precede a B y B a C , o bien si C precede a B y B a A, entonces B se encuentra entre A y C .
2.3. Separación de los puntos de un plano y del espacio
Denición 52. Sea a una recta sobre un plano α. Sean A y B puntos de α que no están en a. Si no hay
puntos de a entre A yB , diremos que A y B están del mismo lado con respecto a a. Si hay puntos de a entre
A y B, diremos que A y B están en lados diferentes con respecto a a.
Teorema 53. (Separación en el plano) La recta a del plano α divide todos los demás puntos del plano en
dos clases no vacías, de modo que dos puntos cualesquiera de α pertenecientes a una misma clase están a un
mismo lado de a, mientras que dos puntos pertenecientes a distintas clases se encuentran en lados diferentes
con respecto a a.
1. Pruebe que dado un plano α cualquiera y una recta a en α, existe un punto A en α que no está en a.
2. Pruebe que A está en el mismo lado que A con respecto a a.
12
3. Muestre que existe un punto O en a y un punto B tal que O está entre A y B . O sea B no está del mismo
lado que A.
5. Pruebe que para todo otro punto C de α, que no está en a, distinto de A y B, que no está del lado de
A, entonces está del lado de B. (Use el corolario 40 si los puntos A, B y C están alineados; o el teorema
30, si no lo están).
6. Concluya que solo hay dos lados no vacíos sobre α.

7. Suponga que D, F y G están sobre α y no sobre a.
a) D está sobre el mismo lado que D. (Reexividad).
Denición 55. Diremos que una recta a de un plano α, junto con otro punto A que no está en a, del mismo
plano determinan un semiplano α0 . Los puntos que están del mismo lado que A con respecto a a se les llama
puntos del semiplano de α de borde a que pasa por A. A la recta a se le llama borde del semiplano. Los puntos
del otro lado se las llama puntos del semiplano opuesto.
Teorema 56. (Separación en el espacio) Cada plano α divide los puntos del espacio que no le pertenecen
en dos clases no vacías, de manera tal que dos puntos cualesquiera A y B de clases diferentes determinan un
segmento AB
dentro del cual hay algún punto del plano α, mientras que dos puntos arbitrarios A y A0 de una
0
misma clase determinan un segmento AA libre de puntos de α.
1. Pruebe que dado un plano α cualquiera, existe un punto A que no está en α.

2. Pruebe que A está en el mismo lado que A con respecto a α.
3. Muestre que existe un punto O en α y un punto B tal que O está entre A y B. O sea, B no está del
mismo lado que A.
5. Pruebe que para todo otro punto C , que no está en α, distinto de A y B , si no está del lado de A, entonces
está del lado de B. (Use el corolario 40, o el teorema 30, según si A, B y C están alineados o no).
6. Concluya que sólo hay dos lados no vacíos.
7. Suponga que D, F y G no están sobre α.
a) D está sobre el mismo lado que D. (Reexividad)
13
Teorema 58. Sea un plano α, una recta a en α, un punto A en α a un lado de a y un punto O en a.

La semirrecta OA está completamente incluida en el semiplano de α de borde a que pasa por A. Además, la
semirrecta opuesta de la OA está en el semiplano de α borde a que no pasa por A.
Ejercicio 59. Pruebe el teorema 58. (Use los teoremas 45 y 53)
Denición 60. A un par no ordenado de semirrectas h y k del mismo origen O no colineales le llamaremos
ángulo y lo denotaremos < (h, k). A h y a k le llamaremos lados del ángulo < (h, k) y a O su vértice. Los
puntos que están del lado de h donde está k y del lado de k donde está h les llamaremos puntos interiores
de < (h, k). Debido a que las semirrectas quedan denidas por su origen y por un punto por donde pasan,
podemos determinar un ángulos señalando puntos sobre sus lados y el vértice. Mas precisamente, si A y B son
puntos de h y k respectivamente, entonces < (h, k) puede notarse por AOB

\.
Proposición 61. Sea el ángulo < (h, k) y sean los puntos A y B sobre h y k respectivamente. Los puntos
interiores del segmento AB son puntos interiores del < (h, k).
Ejercicio 62. Pruebe la proposición 61. (Use el teorema 58)
Teorema 63. Sean tres puntos A, B y C, no alineados. Cualquier otro punto del plano determinados por A,
B y C, que no se encuentre sobre las rectas que unen estos puntos, se encontrará en el interior de algunos de
los ángulos: ABC
\, BCA
\, o ABC
\ o sus opuestos.
Ejercicio 64. Para probar el ejercicio 63siga los pasos a continuación.
1. Dibuje los puntos no alineados A, B y C y las rectas a = BC , b = AC y c = AB .

2. Llame α al lado de a que contiene a A y ∼ α al opuesto; β al lado de b que contiene a B y ∼β al opuesto
y; γ al lado de c que contiene a C y ∼ γ al opuesto.
3. Muestre que si algún punto P no se encuentre en α y β, o en ∼α y ∼β se debe encontrar en α y ∼ β,
o en ∼α y β.
4. Suponga que P se encuentra en α y ∼ β . Pruebe que P se encuentra en α y γ, o en ∼γ y ∼ β. (Note
que los puntos comunes a ∼γ y ∼ β se encuentran en α)
Denición 65. Si un segmento tiene sus extremos sobre los lados de un ángulo diremos que se apoya en el
ángulo. Si una semirrecta tiene origen en el vértice de un ángulo y pasa por un punto interior de este ángulo,
se llama semirrecta interior del ángulo.
Teorema 66. Toda semirrecta interior a un ángulo corta a cualquier segmento que se apoya en el ángulo.
1. Dibuje los puntos A, B y O no alineados.
2. Trace las rectas a = AO y b = BO.
14
3. Trace el segmento AB .
4. Marque un punto C en el interior de AOB

\.
5. Trace la recta c = OC .
6. Marque un punto A0 tal que O esté entre A y A0 .
7. Muestre que los puntos A, B y A0 no están alineados.
8. Muestre que c no pasa por puntos interiores de A

\ 0 OB .
9. Aplique el axioma de Pasch a los puntos A, B y A0 y a c, para mostrar que c debe cortar a AB .
Corolario 68. Sean cuatro puntos no alineados tres a tres A, B , C yP . Entonces, la recta determinada por
P y alguno de los puntos A, B o C, cortará alguno de los segmentos BC , AC o AB .
Ejercicio 69. Pruebe el corolario 68. Use los teoremas 63 y 66.)
2.4. Orden de las semirrectas interiores de un ángulo
Denición 70. Sea el ángulo α =< (h, k), y las semirrectas a, b y c, interiores a α. Deniremos el orden en el
ángulo α, deniendo la relación precede a como sigue: a precede a b si a es una semirrecta interior de < (h, b).
Si a precede a b, y b precede a c o c precede a b, y b precede a a, diremos que b está entre a y c.
Ejercicio 71. Sean a, b y c semirrectas interiores de α . Pruebe que:
1. para ninguna semirrecta a se cumple a < a. (Arreexividad)
2. si a<b y b<c entonces a < c. (Transitividad)
3. a < b, ó a = b, ó b < a. (Tricotomía)
3. Congruencia
Observación 72. Trataremos con un predicado que relaciona segmentos AB y CD. Diremos que un segmento
AB es congruente al segmento CD o en forma abreviada AB ≡ CD, para referirnos a este predicado. También
trataremos con un predicado que relaciona ángulos < (h, k) y < (h0 , k 0 ). Diremos que un ángulo < (h, k) es
congruente al ángulo < (h0 , k 0 ) para referirnos a este predicado.
III 1 Si A, B son dos puntos sobre la recta a, y A0 es un punto de la misma recta, o bien de otra recta a0 ,
0 0 0
siempre se puede encontrar, a un lado prejado de A sobre la recta a, un punto B , y sólo uno, tal que
el segmento AB es congruente al A0 B 0 .
Para cada segmento AB se exige la congruencia
AB ≡ BA
15
III 2 Si los segmentos A0 B 0 y A00 B 00 son congruentes al mismo segmento AB, entonces A0 B 0 es congruente al
00 00
segmento A B ; es decir, si
A0 B 0 ≡ AB y A00 B 00 ≡ AB
entonces también
A0 B 0 ≡ A00 B 00
III 3 Sean AB y BC dos segmentos sobre la recta a, sin puntos interiores comunes y sean, además, A0 B 0 y
0 0 0
BC dos segmentos sobre la misma recta, o bien sobre otra a, que tampoco poseen puntos interiores
comunes. Si
AB ≡ A0 B 0 y BC ≡ B 0 C 0 ,
entonces
AC ≡ A0 C 0
III 4 Sean dados < (h, k) en el plano α, una recta a0 α0 , y supongamos

en este mismo plano, o bien en otro,
jado un lado determinado del plano α0 a0con respecto a la recta
0 0 0 0
Sea h una semirrecta de la recta a , con origen en el punto O . Entonces en el plano α existe una
0 0 0
semirrecta k , y solo una, tal que < (h, k) es congruente con < (h , k ) y, además, todos los puntos
0 0 0
interiores de < (h , k ) se encuentran en el lado prejado con respecto a a .
0 0 0 0
Si < (h, k) ≡< (h , k ), entonces < (k, h) ≡< (k , h ). Cada ángulo es congruente consigo mismo. es decir,
< (h, k) ≡< (h, k) y < (h, k) ≡< (k, h)
III 5 Sean A, B, C tres puntos no pertenecientes a una misma recta y A0 , B 0 , C 0 otros tres, tampoco pertene-
cientes a una misma recta. Si
AB ≡ A0 B 0 , AC ≡ A0 C 0 y < BAC ≡< B 0 A0 C 0
entonces
< ABC ≡< A0 B 0 C 0 y < ACB ≡< A0 C 0 B 0
3.1. Resultados de la congruencia, el orden y la incidencia
Ejercicio 73. Construya una herramienta que reciba de entrada los puntos A, B , C y D y de salida un punto
E que esté sobre la semirrecta CD y que AB ≡ CE . Siga los pasos a continuación.
1. En una hoja de GeoGebra dibuje 4 puntos A, B , C y D.

2. Trace la semirrecta a = CD.
3. Con la herramienta compás trace una circunferencia c de radio congruente al segmento AB , pero que
tenga centro C.
4. Marque el corte E de a y c.
5. En el menú Herramientas elija la opción Crear una nueva herramienta.
a ) En la solapa Objetos de Salida, elija punto E

b ) En la solapa Objetos de Entrada, elija los puntos A, B , C y D.
16
c ) En la solapa Nombre e Icono, en el Box Nombre de la Herramienta Escriba Transporte de Seg-
mentos Se rellena solo el Nombre de Comando
d ) En Ayuda de herramienta Escriba Extremos del segmento y origen de la semirrecta y un punto

por donde pasa
e ) En el botón Icono coloque un archivo del tipo imagen.
f ) Al presionar el boton Concluido GeoGebra debe decirle que está todo OK.
6. Vuelva al menú Herramientas, seleccione Gestión de herramientas
a ) Seleccione la opción Transporte de Segmentos.
b ) Presione el botón Guardar como...
c ) Llámele transpSeg (GeoGebra agregará la extensión .ggt.)
7. Cierre el GeoGebra y vuélvalo a abrir.
8. En el menú Archivo seleccione la opción Abrir
9. Si las cosas salieron bien podrá encontrar el archivo transpSeg.ggt. Ábralo.
10. Haga unas pruebas con cuatro puntos cualquiera.
Lema 74. Si AB ≡ A0 B 0 , entonces AB ≡ B 0 A0 .

Ejercicio 75. Pruebe el lema 74 justicando los pasos a continuación.
1. B 0 A0 ≡ A0 B 0
2. AB ≡ A0 B 0
3. AB ≡ A0 B 0 y B 0 A0 ≡ A0 B 0 implica que AB ≡ B 0 A0 .
4. AB ≡ B 0 A0
Teorema 76. La relación de congruencia entre segmentos es de equivalencia
Ejercicio 77. Pruebe el teorema 76 justicando los pasos a continuación.
1. Reexividad (Use el lema 74 con A0 = B y B 0 = A)

2. Simetría (Use axioma III.2 y la reexividad)
3. Transitividad (Use axioma III.2 y la simetría)
Teorema 78. 0 0 0
Sean tres puntos A, B y C sobre una recta a y sean tres puntos A , B y C sobre una recta
0 0 0 0 0 0 0
a . Supongamos que AB ≡ A B y AC ≡ A C . Si B está entre A y C , y B y C están del mismo lado con
0 0 0 0 0 0
respecto a A , entonces B está entre A y C . Además BC ≡ B C .
1. Pruebe que existe un único punto C 00 en la semirrecta opuesta a la B 0 A0 tal que BC ≡ B 0 C 00
17
2. Pruebe que AC ≡ A0 C 00
3. Pruebe que A0 C 00 ≡ A0 C 0
4. Pruebe que C 00 = C 0
5. Concluya con la prueba
3.2. Congruencia de Triángulos
Denición 80. Llamaremos triángulo a un trío no ordenado de tres puntos A, B y C que no están alineados.
A los puntos A, B y C le llamaremos vértices del triángulo y a los segmentos que unen los pares de puntos,
lados del triángulo. Los ángulos ABC

\, BCA
\ y CAB
\ son los ángulos interiores del triángulo. Lo denotamos
por ABC . A los puntos que están en el interior de los ángulos interiores del triángulo les llamaremos interiores
del triángulo.
Denición 81. El triángulo ABC se dice congruente al A0 B 0 C 0 si
AB ≡ A0 B 0 AC ≡ A0 C 0 BC ≡ B 0 C 0
c0 B
b ≡ A
A b≡B c0 C
b≡C c0
y se denota ABC ≡ A0 B 0 C 0 .
Teorema 82. (Criterio LAL) Si en dos triángulos ABC y A0 B 0 C 0 tienen lugar las congruencias
AB ≡ A0 B 0 AC ≡ A0 C 0 y c0
b≡A
A
entonces ABC ≡ A0 B 0 C 0
1. Dibuje el triángulo ABC .
2. Trace la semirrecta a = A0 D .
3. Cree un punto B0 con la herramienta Transporte el segmentos de tal modo AB sobre a, con la herra-
mienta creada Transporte de segmentos, de tal Al punto creado llámele B0
4. Oculte el punto D.
5. Marque el ángulo α=A

b.
6. Use la herramienta ángulo según su amplitud para dibujar un ángulo β de lado A0 B 0 y de amplitud α.
Aparecerá un punto B 00 .
7. Trace la semirrecta f = A0 B 00 .
8. Transporte el segmento AC sobre f. Al punto creado llámele C0

9. Oculte B 00 .
10. Dibuje el triángulo A0 B 0 C 0 .
18
11. Muestre que B c0
b≡B y C c0 .
b≡C
12. Suponga, para reducir el problema al absurdo, que el segmento BC no es congruente con el segmento
B0C 0.
a ) Dibuje un punto D0 6= C 0 sobre la semirrecta B0C 0 y suponga que el segmento B 0 D0 es congruente

con BC .
b ) Muestre que A 0 A0 D 0
b ≡ B\ y C 0 D 0 A0 .
b ≡ B\
c ) Muestre que esto es contradictorio.
Teorema 84. (Criterio ALA) Si en dos triángulos ABC y A0 B 0 C 0 tienen lugar las congruencias
AB ≡ A0 B 0 , A c0 ,
b≡A y c0
b≡B
B

2. Trace la semirrecta d = A0 D .
3. Transporte el segmento AB sobre d. Al punto creado llámele B0
5. Marque el ángulo α=A
b.
6. Use la herramienta ángulo según su amplitud para dibujar un ángulo β de lado A0 B 0 y de amplitud α.
00
Aparecerá un punto B .
7. Trace la semirrecta e = A0 B 00 .
8. Oculte B 00 .
9. Marque el ángulo γ=B
b.
10. Use la herramienta ángulo según su amplitud para dibujar un ángulo δ de lado B 0 A0 y de amplitud γ.
00
Aparecerá un punto A .
11. Trace la semirrecta f = B 0 A00 .

12. Oculte A00 .
13. Marque un punto D0 sobre f distinto de la posible intersección de e con f. (Esta intersección no puede
asegurarse si no se admite el axioma de las paralelas).
14. Suponga, para reducir el problema al absurdo, que el segmento B 0 D0 es congruente con el segmento BC .
a ) Muestre que A 0 A0 D 0
b ≡ B\ y C 0 D 0 A0 .
b ≡ B\
19
b ) Muestre que esto es contradictorio.
Teorema 86. (Suma y resta de ángulos) Sean h, k, l y h0 , k 0 , l0 tríos de semirrectas que parten de los puntos
0
O y O respectivamente, tal que cada trío se encuentre en un mismo plano. Supongamos, además, que alguna
de las semirrectas h, k, l se encuentre en el interior del ángulo determinado por las otras dos, y la semirrecta
correspondiente en la terna h0 , k 0 , l0 se encuentre en la misma disposición. Entonces, si
< (h, l) ≡< (h0 , l0 ) y < (l, k) ≡< (l0 , k 0 )
se sigue
< (h, k) ≡< (h0 , k 0 )
1. Dibuje las semirrecta h, k y l con origen común O, tal que l sea interior del ángulo formado por las otras
dos.(Caso 1: l entre h y k)
2. Marque los puntos A y B sobre h y k respectivamente, y el segmento a = AB .

3. Muestre que existe un punto C de corte entre a y l. Dibuje a C.
4. Marque los ángulos α = AOC

[ y β = BOC
\.
5. Trace una semirrecta l0 = O 0 D

6. Dibuje dos ángulos γ y δ de lado O0 D de amplitud α y β respectivamente, a ambos lados de OD0 .
0 0
Aparecerán los puntos D y D1 .
7. Trace las semirrectas h0 = O0 D0 y k 0 = O0 D10 .

8. Oculte D, D0 y D10 .
9. Suponga para reducir el problema al absurdo que < (h, k) no es congruente a < (h0 , k 0 ).
a ) Muestre que debe existir una semirrecta k1 6= k 0 del mismo lado donde está l0 con respecto a h0 tal
0
que < (h, k) ≡< (h , k1 ). Dibuje a k1
0 0
b ) Dibuje sobre h un punto A tal que OA ≡ O 0 A0
c ) Dibuje sobre k1 un punto B0 tal que OB ≡ O0 B 0
d ) Trace el segmento b = A0 B 0
e ) Muestre que 0 A0 B 0 ≡ OAB
O\ 0 B 0 A0 ≡ OBA
\, O\ \ y AB ≡ A0 B 0 .
f ) Muestre que sobre la semirrecta A0 B 0 debe haber un punto C0 tal que AC ≡ A0 C 0 y que se encuentre
0 0 0
entre A y B . Dibuje a C
g ) Muestre que los triángulos OAC y O 0 A0 C 0 son congruentes.
0 0
h ) Pruebe que C es también el corte de l y b.
0 0
i ) Muestre que los segmentos BC y BC son congruentes.
j ) Muestre que los triángulos OCB y O C 0B0

0
son congruentes.
20
k ) Llegue a una contradicción.
10. Concluya el Caso 1.
11. Abra otra hoja de GeoGebra
12. Dibuje las semirrecta h, k y l con origen común O, tal que k sea interior del ángulo formado por las otras
dos. (Caso 2)
13. Marque los puntos A y C sobre h y l, respectivamente, y el segmento a = AC .

14. Muestre que existe un punto B de corte entre a y k. Dibuje a B.

[ y β = BOC
\.
16. Trace una semirrecta l0 = O 0 D

17. Dibuje dos ángulos γ y δ de lado O0 D de amplitud α y β respectivamente, del mismo lado de O0 D.
0 0
18. Trace las semirrectas h0 = O0 D0 y k 0 = O0 D10 .

20. Dibuje sobre h0 un punto A0 tal que OA ≡ O0 A0
21. Dibuje sobre l0 un punto C0 tal que OC ≡ O0 C 0
22. Trace el segmento b = A0 C 0
23. Muestre que 0 A0 C 0 ≡ OAC

O\ 0 C 0 A0 ≡ OCA
[ , O\ [ y AC ≡ A0 C 0 .
24. Marque un punto B0 sobre la semirrecta C 0 A0 de tal manera que CB ≡ C 0 B 0 .
25. Pruebe que B0 tiene que estar entre A0 y C0 y que AB ≡ A0 B 0 .
26. Muestre que los triángulos OBA y O 0 B 0 A0 son congruentes.
Teorema 88. Sean h, k, l y h0 , k 0 , l0 tríos de semirrectas que parten de los puntos O y O0 respectivamente, tal
que cada trío se encuentre en un mismo plano. Supongamos, además, que las semirrectas k, l se encuentran
0 0 0
en el mismo lado con respecto a h y las semirrectas k , l se encuentran en el mismo lado con respecto a h .
Entonces, si
< (h, l) ≡< (h0 , l0 ) y < (h, k) ≡< (h0 , k 0 )
y si k está entre h y l, se sigue que k0 está entre h0 y l0 y
< (l, k) ≡< (l0 , k 0 )
1. Dibuje las semirrecta h, k y l con origen común O, tal que k sea interior del ángulo formado por las otras
dos.
21
2. Marque los puntos A y C sobre h y l, y el segmento a = AC .
3. Muestre que existe un punto B de corte entre a y k. Dibuje a B.

[ y β = AOB
\.
5. Trace una semirrecta h0 = O0 D

6. Dibuje dos ángulos γ y δ de lado O0 D de amplitud α y β respectivamente, del mismo lado de O0 D.
0 0
7. Trace las semirrectas l0 = O 0 D 0 y k 0 = O0 D10 .

8. Dibuje sobre h0 un punto A0 tal que OA ≡ O0 A0
9. Dibuje sobre l0 un punto C0 tal que OC ≡ O0 C 0
11. Muestre que 0 A0 C 0 ≡ OAC

O\ 0 C 0 A0 ≡ OCA
[ , O\ [ y AC ≡ A0 C 0 .
12. Trace la semirrecta b = A0 C 0 .
13. Dibuje sobre b un punto B0 y suponga que AB ≡ A0 B 0 . (No use la herramienta transporte de segmentos
0
y no lo dibuje tal que coincida con el corte de b y k )
14. Muestre que B0 está entre A0 y C0 y que BC ≡ B 0 C 0 .
15. Muestre que los ángulos COB

\ y 0 O0 B 0
C\ son congruentes.
16. Muestre que k0 pasa por B0.

Teorema 90. En un triángulo isósceles los ángulos de la base son congruentes.
Ejercicio 91. Para demostrar el teorema 90, siga los pasos siguientes:
1. Abra una hoja de GeoGebra y nómbrela isosceles_angulos_base.ggb
2. Trace un segmento AB . Note que en la Vista Algebraica aparece un valor de a.

3. Cree un deslizador de tipo número, de nombre b en el intervalo 0 a 5 con incremento 0,1.
4. Dibuje una circunferencia c con centro A y radio b, con la herramienta Circunferencia (centro, radio).
5. Dibuje una circunferencia d con centro B y radio b, con la herramienta Circunferencia (centro, radio).
6. Arrastre el deslizador b con la herramienta Elije y Mueve hasta que las circunferencias se corten.
7. Llame C a una de las intersecciones de c y d, acercando el cursor a dicha intersección.
8. Marque el polígono ABC . ¾Qué característica tiene la gura encontrada?
9. Use el criterio LAL para mostrar que el triángulo ACB es congruente con el BCA.
22
Teorema 92. Si en un triángulo hay dos ángulos congruentes, es isósceles.
Ejercicio 93. Abra una hoja de GeoGebra y nómbrela angulos_base_isosceles.ggb.
1. Trace un segmento AB .
2. Cree un deslizador de tipo ángulo, de nombre α en el intervalo 0◦ a 90◦ con incremento 5°.
3. Haga click sobre el icono de la herramienta Ángulo dada su amplitud.
4. Haga click sobre A y luego sobre B y se desplegará un cuadro de diálogo.
5. En el cuadro de diálogo desplegado haga click sobre el extremo derecho, seleccione α y acepte. Se creará
el ángulo β y el punto A0 de tal modo que \0 = α.

ABA Si β queda en lados distintos de AB , haga Crtl+Z
y repita este paso seleccionando el sentido contrario.
6. Haga click sobre B y luego sobre A y se desplegará un cuadro de diálogo.
7. En el cuadro de diálogo desplegado haga click sobre el extremo derecho y seleccione α, marque sentido
0 \0 = α.
horario y acepte. Se creará el ángulo γ y el punto B de tal modo que BAB
8. Trace las rectas b = AB 0 y c = BA0 .
9. Marque la intersección de c y b y llámele C.
10. Marque el polígono ABC . ¾Qué característica tiene la gura encontrada?
11. Use el criterio ALA para mostrar que el triángulo CAB es congruente con el CBA. Muestre que los lados
AC y BC son congruentes.
Teorema 94. (Criterio LLL) Si en dos triángulos ABC y A0 B 0 C 0 tienen lugar las congruencias
AB ≡ A0 B 0 , BC ≡ B 0 C 0 , y CA ≡ C 0 A0

2. Trace la semirrecta d = A0 D .
3. Marque en d un punto B0 tal que AB ≡ A0 B 0
5. Trace la circunferencia e de centro A0 y de radio congruente al segmento AC .
6. Trace la circunferencia f de centro B0 y de radio congruente al segmento BC .
7. Marque una intersección C0 de e y f.
8. Oculte d, e y f.
23
9. Trace los segmentos c0 = A0 B 0 , , b0 = A0 C 0 y a0 = B 0 C 0 .
10. Suponga, para reducir el problema al absurdo que BAC

\ y 0 A0 C 0
B\ no son congruentes
0
a ) Pruebe que debe existir una semirrecta h = A E del mismo lado que C0 con respecto a la recta
0 0 0 0
A B , de tal forma que ABC ≡ A B E . Dibuje a h con lineas de trazos.
\ \
b ) Marque el ángulo α = EA
\ 0B0.
c ) Trace el ángulo β del otro lado de C0 con respecto a la recta A0 B 0 , de lado A0 B 0 y de amplitud α.
00
Aparecerá un punto B .
d ) Marque los puntos C 00 y C 000 sobre las semirrecta A0 E y A0 B 00 de tal modo que AC ≡ A0 C 00 y
0 00
AC ≡ A C '.
e ) Oculte E y B 00 .
f ) Marque los segmentos b00 = A0 C 00 , a00 = B 0 C 00 , b000 = A0 C 000 y a000 = B 0 C 000 .
g ) Pinte de rojo a los segmentos a, a0 , a00 y a000 , de azul a b, b0 , b00 y b000 , y de negro a c y c0 .
h ) Muestre que los triángulos ABC y A0 B 0 C 00 son congruentes, y que los triángulos ABC y A0 B 0 C 000
también son congruentes.
i ) Muestre que los segmentos a, a0 , a00 y a000 son congruentes. Igualmente b, b0 , b00 y b000 ; y c y c0 .
j ) Trace el segmento g = C 0 C 000 .
k ) Pruebe que 0 C 0 C 000 ≡ A\
A\ 0 C 000 C 0 y que 0 C 0 C 000 ≡ B\
B\ 0 C 000 C 0
l ) Pruebe que 0 C 0 B 0 ≡ A\
A\ 0 C 000 B 0 . (Use el teorema de suma y resta de ángulos)
m ) Pruebe que 0 A0 C 0 ≡ B\
B\ 0 A0 C 000 .
n ) Muestre que esto lleva una contradicción
Teorema 96. Si < (h, k) ≡< (h0 , k 0 ) y < (h, k) ≡< (h00 , k 00 ) entonces < (h0 , k 0 ) ≡< (h00 , k 00 )
1. Dibuje los puntos O, O0 y O00 .

2. Trace las semirrectas h = OA, h0 = O0 B y h00 = O00 C .
3. Trace la semirrecta k = OD.
4. Marque el ángulo α = AOD

\.
5. Trace dos ángulos β y γ de amplitud α de lados h0 y h00 . Aparecerán puntos B0 y C 0.

6. Trace las semirrectas k0 = O0 B 0 y k 00 = O00 C 0 .
7. Marque un punto A sobre la semirrecta h. Observe que el punto que anteriormente era llamado A se
renombra a A1 .
8. Marque un punto B sobre k.
24
9. Marque puntos A0 y A00 sobre h0 y h00 tales que OA ≡ O0 A0 y OA ≡ O00 A00 .
10. Marque puntos B0 y B 00 sobre k0 y k 00 tales que OB ≡ O0 B 0 y OB ≡ O00 B 00 .
11. Oculte los puntos A1 , B1 , B10 , C , D, C 0 .
12. Muestre que los triángulos O 0 A0 B 0 y O00 A00 B 00 son congruentes con el OAB .
13. Muestre que A0 B 0 ≡ A00 B 00
14. Muestre que los ángulos 0 A0 B 0

O\ y 00 A00 B 00
O\ son congruentes.
Teorema 98. La relación de congruencia entre ángulos es de equivalencia.
Corolario 99. La relación de congruencia entre triángulos es de equivalencia.
Ejercicio 100. Pruebe el teorema 98 y el corolario 99. (Use el teorema 96 y revise la prueba del teorema 76)
Observación 101. Es muy común usar la notación
A1 B 1 ≡ A2 B 2 ≡ . . . ≡ An B n
como abreviatura de
A1 B1 ≡ A2 B2 , A1 B1 ≡ A3 B3 , . . . , A1 B1 ≡ An Bn , A2 B2 ≡ A3 B3 , . . . , A1 B1 ≡ An Bn
Notación parecida se usa para el caso de ángulos y de triángulos.

Gracias a los teoremas 76 y 98, para probar la validez de una cadena puede probarse cada eslabón una sola
vez en cualquier orden.
Denición 102. Dos ángulos que tengan vértice común, un lado en común y los restantes formen una recta
se les llama adyacentes. Dos ángulos que tengan vértice común, cuyos lados forman de a pares líneas rectas se
les llama opuestos por el vértice.
3.3. Aplicaciones de la congruencia de triángulos
Teorema 103. Si dos ángulos son congruentes, sus adyacentes también lo serán.
Ejercicio 104. Pruebe el teorema 103, mediante los siguientes pasos.
1. Primero construya dos ángulos α y β congruentes, del siguiente modo:
a ) Trace la recta AB = a.
b ) Trace la circunferencia c de centro A que pase por B.
c ) Dibuje un punto C sobre c.
d ) Dibuje el segundo corte D de a y c.
e ) Trace la semirrecta b de origen A que pasa por C.
0
f ) Dibuje un punto A.
25
g ) Trace la circunferencia d de radio AB y centro A0 .
h ) Marque un punto B0 en d.
0 0
i ) Trace la recta e=AB .
j ) Marque el ángulo (marque los vértices en sentido horario) α = BAC

\.
0 0
k ) Dibuje un ángulo β de lado la semirrecta AB y amplitudα. Se creará un punto B 00 .
2. Ahora, muestre que los ángulos adyacentes de α y de β son congruentes, para esto haga lo siguiente:
a ) Renombre el punto B 00 como C 0.

b ) Trace la semirrecta A0 C 0 .
c ) Use congruencia de triángulos para mostrar que BC ≡ B 0 C 0 .
d ) Dibuje el segundo corte D0 de e y d. Acerque el mouse a la intersección de la recta e con la
circunferencia d.
e ) Mediante el criterio de congruencia LAL muestre que ABC es congruente con A0 B 0 C 0 .
f ) Mediante el criterio de congruencia LAL muestre que BCD es congruente con B 0 C 0 D0 .
g ) Muestre usando el criterio de congruencia LLL que ACD es congruente con A0 C 0 D 0 .
h ) Concluya con el ejercicio.
Corolario 105. Los ángulos opuestos por el vértice son congruentes.
Ejercicio 106. Pruebe el corolario 105
1. Trace la recta a = AB
2. Dibuje un punto C fuera de a.
3. Trace la recta b = AC
4. Dibuje un punto D en a tal que A está entre D y B.
5. Dibuje un punto E en b tal que A está entre E y C.
6. Use el teorema 103 para mostrar que los ángulos opuestos por el vértice BAC
\ y DAE
\ son adyacentes al
mismo ángulo, y por lo tanto congruentes.
Denición 107. Un ángulo congruente con su adyacente se le llama recto. Dos rectas que contienen los lados
de un ángulo recto se les llama perpendiculares.
Proposición 108. Existe un ángulo recto.
Ejercicio 109. Para probar la proposición 108 siga los pasos a continuación.
1. Pruebe que existen tres puntos A, O , U , que no están sobre una misma recta y que hay una recta a que
pasa por OU . Dibuje estos elementos.
2. Trace el segmento b = AO.
26
3. Trace un punto A0 al otro lado de a de donde está A, tal que OA ≡ U
U[ \ OA0 , y OA ≡ OA0 . Pruebe que
todos estos objetos existen.
4. Suponga primeramente que A, O y A0 no están alineados.
5. Trace el segmento d = AA0 .

6. Muestre que a y d se cortan en un punto B.
7. Muestre que el triángulo AOB es congruente con el A0 OB .
8. Muestre, para este caso, este teorema.
9. Pruebe el teorema para el caso en que A, O y A0 están alineados.
10. Concluya con la Prueba.
Teorema 110. Todos los ángulos rectos son congruentes entre si.
1. Dibuje dos semirrectas h = OA y h0 = O0 A0 .

2. Trace por O y por O0 perpendiculares a y a0 , a h y h0 .
3. Marque los puntos B y C a ambos lados de O sobre a.
4. Marque los puntos B0 y C0 a ambos lados de O0 sobre a0 .
5. Oculte a y a0 .
6. Trace las semirrectas k = OB y k0 = O0 B 0 . Píntelas de rojo.
7. Trace las semirrectas k1 = OC y k10 = O0 C 0 . Píntelas de azul.
8. Suponga para reducir el problema al absurdo que < (h, k) no es congruente con < (h0 , k 0 ).
a ) Muestre que debe haber una semirrecta l (de origen O0 ) del mismo lado que h0 con respecto a la
0
prolongación de
0
k tal que < (l, k ) ≡< (h, k) y que h0 6= l.
b ) Muestre que l debe cortar al segmento A0 B 0 o al A0 C 0 .
c ) Muestre que l debe ser interior a < (h0 , k 0 ) o a < (h0 , k10 ). Suponga que l sea interior a < (h0 , k 0 ).
Dibuje a l y píntela de verde.
0 0
d ) Muestre que existe una semirrecta l1 (de origen O ) del mismo lado que h con respecto a la prolon-
0 0 0
gación de k tal que < (l1 , k1 ) ≡< (l, k )
0 0
e ) Muestre que l1 debe ser interior a < (h , k1 ). (Use el teorema 88). Dibújela.
f ) Pruebe la cadena de congruencias
< (l1 , k10 ) ≡< (l, k 0 ) ≡< (h, k) ≡< (h, k 1 ) ≡< (l, k10 )
g ) Muestre que esto es absurdo
27
3.3.1. El punto medio de un segmento
Denición 112. Sean los puntos A y B diferentes. Diremos que el punto O es el punto medio del segmento
AB , si está sobre la recta AB y satisface la condición AO ≡ BO.
Teorema 113. El punto medio de un segmento existe y es único.
1. Dibuje dos puntos distintos A y B y el segmento a = AB .
2. Pruebe la existencia de los siguientes objetos y dibújelos
a ) Un punto M fuera de la recta AB .

b ) La semirrecta b = AM .
c ) La semirrecta c al otro lado del punto M con respecto a la recta AB tal que el ángulo formado por
la semirrecta BA y c sea congruente al formado por la semirrecta AB y b
3. Para las rectas prolongaciones de c y b hay tres casos: hay un punto de corte P de la prolongación de
c con b, hay un punto de corte P de la prolongación de b con c, o denitivamente no se cortan. P, en
estas circunstancias, no existe, pero todavía no lo hemos demostrado. En el primer caso, tomaríamos un
punto C que esté entre A y P y tomaríamos D en c tal que AC ≡ BD. En el segundo caso tomaríamos
un punto D que esté entre B y P y tomaríamos C en b tal que AC ≡ BD. En el tercer caso tomaríamos
un punto C que esté en b y tomaríamos D en c tal que AC ≡ BD. Pruebe la existencia de C y D.
4. Trace el segmento d = CD.
5. Pruebe que los segmentos a y d están en el mismo lado con respecto a la prolongación de b y en el mismo
lado con respecto a la prolongación de c.
6. Pruebe la existencia del punto O de corte de d con la recta AB .
7. Pruebe que O está entre A y B. Dibuje a O.
8. Dibuje los segmentos e = CB y f = AD.
9. Pruebe que los triángulos ACB y ADB son congruentes.
10. Muestre que CB ≡ AD

11. Pruebe que los triángulos ACD y BDC son congruentes.
12. Pruebe que los ángulos ACD

\ y BDC
\ son congruentes.
13. Muestre que los triángulos ACO y BDO son congruentes.
14. Pruebe que O es un punto medio de a.

15. Para probar que todos los puntos medios de A tienen que estar en el segmento a, abra otra hoja de
GeoGebra y siga los pasos a continuación.
16. Dibuje un segmento a = AB .
28
17. Suponga para reducir el problema al absurdo que existe un punto medio O que no está en a. Por ejemplo,
que A esté entre O y B.
a ) Muestre que A y B están sobre la semirrecta OA.

b ) Muestre que esto lleva a un absurdo con la denición de punto medio
18. Concluya que todos los puntos medios de a tienen que estar en a.
19. Para probar la unicidad del punto medio, suponga por reducción al absurdo que existen dos puntos
medios O y O0 . Dibuje a O con la herramienta punto medio.
a ) Muestre que O0 tiene que estar entre A y O, o entre B y O. suponga que esté entre A y O. Dibuje
0
a O .
b ) Muestre que existe un O00 sobre la semirrecta BA de tal modo que O0 A ≡ O00 B
c ) Muestre que O00 tiene que estar entre O y B. (Use el teorema 78)
0 00
d ) Muestre que O y O son diferentes. Dibuje a O00
e ) Pruebe la siguiente cadena de congruencias
O0 B ≡ O0 A ≡ O00 B
f ) Muestre que esto lleva a un absurdo.
3.3.2. Bisectriz de un ángulo

Denición 115. Sea el ángulo < (h, k). Diremos que la semirrecta b es una bisectriz del < (h, k), si es interior
a < (h, k) y satisface la condición < (h, b) ≡< (b, k).
Corolario 116. La bisectriz de un ángulo existe y es única.
1. Dibuje un ángulo < (h, k) de vértice O.

2. Dibuje un punto A sobre h.
3. Dibuje un punto B sobre k, tal que OA ≡ OB .
4. Trace el segmento a = AB
5. Dibuje el punto medio M del a.
6. Pruebe que la semirrecta b = OM es una bisectriz de < (h, k). (Use el criterio LLL)
7. Suponga para reducir el problema al absurdo que existe una semirrecta b0 interior a < (h, k) que es otra
bisectriz de < (h, k) distinta de b
a ) Muestre que b0 debe cortar a a en un punto M0 distinto de M.

0
b ) Muestre que M es un punto medio del segmento a. (Use el criterio LAL)
29
c ) Muestre que esto es absurdo
Denición 118. Las medianas de un triángulo son segmentos que van de un vértice al lado opuesto. Las
bisectrices de un triángulo son las bisectrices de los ángulos interiores. En ocasiones, cuando no lleve a una
ambigüedad, usaremos bisectriz para referirnos al segmento sobre la bisectriz que está dentro o en el interior
del triángulo.
Proposición 119. En un triángulo isósceles la mediana de la base es a la vez altura y bisectriz del ángulo a
la base.
Ejercicio 120. Demuestre la proposición 119 usando el criterio LLL.
3.3.3. Perpendicularidad en el plano

.
Proposición 121. Por un punto P pasa una única perpendicular a la recta a.

Ejercicio 122. Pruebe la proposición 121 siguiendo los pasos a continuación.
1. Dibuje una recta a y un punto P exterior a a.

2. Marque en a un punto A.
3. Sea b una de las semirrectas de origen A sobre a.

4. Trace la semirrecta c = AP .
5. Trace una semirrecta d del otro lado de P con respecto a tal que < (b, c) ≡< (b, d).
6. Tome un punto P0 sobre d tal que AP ≡ AP 0 .

7. Trace la recta e = P P 0.
8. Marque el punto O de corte de e y a.
9. Pruebe que e es una perpendicular a a por P. Tenga en cuenta los casos siguientes: O está en b, O = A
y O está en la opuesta de b. (Hasta aquí hemos probado que por un punto exterior a una recta pasa una
perpendicular)
10. Abra otra hoja de GeoGebra para probar la unicidad siguiendo los pasos a continuación.
11. Dibuje una recta a y un punto P exterior a a.
12. Suponga para reducir el problema al absurdo que por P pasan dos perpendiculares b y c a a. Dibuje a b
y c y sus pies O y O0 respectivamente.
a ) Dibuje sobre b un punto P0 del otro lado de P con respecto a a tal que OP ≡ OP 0 .
b ) Trace la recta d = O0 P 0
c ) Muestre que d y c son diferentes.
30
d ) Pruebe que los triángulos OO0 P y OO0 P 0 son congruentes.
e ) Pruebe que los ángulos OO

\ 0P y OO
\ 0 P 0 son congruentes.
f ) Muestre que esto es contradictorio
13. Concluya que el caso en el que el punto es exterior existe una única perpendicular.
14. Abra otra hoja de GeoGebra
15. Dibuje una recta a y un punto P en a.

16. Dibuje las dos semirrectas b y c de origen P sobre a. Píntelas de rojo y azul.
17. Dibuje un punto Q fuera de a.

18. Trace la semirrecta d = P Q.
19. Trace una semirrecta e del mismo lado de d con respecto a a tal que < (b, e) ≡< (c, d).
20. Dibuje el punto Q0 sobre e tal que P Q ≡ P Q0 .
21. Si Q 6= Q0 tome M el punto medio de QQ0 , si no M = Q.
22. Muestre que f = MP es una perpendicular a a por P. (Use proposición 119 y teorema 86)
23. Pruebe la unicidad de la perpendicular, en este caso, con el uso del teorema 110.
3.3.4. Relaciones de orden entre segmentos

Denición 123. Dados los segmentos AB y A0 B 0 , si en el interior del segmento AB se encuentra un punto C
tal que
AC ≡ A0 B 0
se dice que el segmento AB es mayor que el A0 B 0 , o que A0 B 0 es menor que AB . Se denota AB > A0 B 0 o
0 0
A B < AB .
0 0
Dados < (h, k), < (h , k ). Si existe una semirrecta interior l del < (h, k) tal que
< (h, l) ≡< (h0 , k 0 )
se dice que < (h, k) es mayor que < (h0 , k 0 ), o que < (h0 , k 0 ) es menor que < (h, k).
Teorema 124. (Tricotomía) Dados dos segmentos arbitrarios AB y CD siempre se cumple alguna de las tres
relaciones
AB ≡ CD, AB > CD, AB < CD
y cada una de las opciones excluye a las otras dos.
Ejercicio 125. Para demostrar el teorema 124 siga los pasos a continuación.
1. Dibuje una semirrecta a = AB y un segmento b = CD.

2. Dibuje un punto M sobre a, de tal modo que AM ≡ CD.
31
3. Pruebe que el punto M solo tiene tres posiciones posibles:
a) B está entre M y A.
1) Pruebe, que en este caso, existe sobre la semirrecta CD un punto N tal que AB ≡ CN .
2) Pruebe que N está entre C y D. (Use el teorema 78)
3) Muestre que AB < CD
b) B = M . Pruebe, que en este caso, AB ≡ CD

c) M está entre A y B . Pruebe que en este caso AB > CD
4. Suponga, para reducir el problema al absurdo que AB ≡ CD y AB > CD, a la vez
a ) Muestre que debe haber un punto M entre A y B tal que AM ≡ CD.

b) Muestre que sobre la semirrecta AB hay dos puntos distintos M y B tal que AM ≡ CD y AB ≡ CD .
c ) Muestre que esto es absurdo.
5. Suponga, para reducir el problema al absurdo que AB < CD y AB > CD, a la vez
a ) Muestre que debe haber un punto N entre C y D tal que CN ≡ AB . Dibuje a N .

b) Muestre que debe haber un punto M entre A y B tal que AM ≡ CD . Dibuje a M .
0 0 0
c) Muestre que sobre la semirrecta AB existe un punto N tal que CN ≡ AN . Dibuje a N .
0
d) Muestre que N está entre A y M . (Use el teorema 78)
0
e) Pruebe que N está entre A y B .
0
f) Pruebe que N y B son distintos.
0
g) Pruebe que AB ≡ AN .
0 0
h) Muestre que sobre la semirrecta AB hay dos puntos distintos N y B tal que AN ≡ AB y AB ≡ AB .
i ) Muestre que esto es absurdo.
6. Concluya con la demostración.
Teorema 126. Si AB < A0 B 0 y A0 B 0 < A00 B 00 , entonces AB < A00 B 00

1. Dibuje tres segmentos a = AB , b = A0 B 0 y c = A00 B 00 tal que AB < A0 B 0 y A0 B 0 < A00 B 00 .

2. Sobre c dibuje un punto B10 de tal modo que A00 B10 ≡ A0 B 0 .
3. Sobre b dibuje un punto B1 de tal modo que y A0 B 1 ≡ AB .
4. Muestre que existe un punto B2 , sobre la semirrecta A00 B 00 tal que A0 B 1 ≡ A00 B2 .
5. Pruebe que B2 está entre A00 y B10 . Dibuje a B2 .
6. Muestre que B2 está en c.
Corolario 128. Si los puntos C y D están entre A y B , entonces CD < AB .

Ejercicio 129. Para probar el corolario 128 use el corolario 40 y el teorema 126.
32
3.3.5. Relación de Orden entre ángulos
Ejercicio 130. Enuncie y demuestre los teoremas y corolarios referentes a la relación de menor entre segmentos,
pero referidos a ángulos.
Denición 131. Diremos que un ángulo es agudo si es menor que un recto y es obtuso si es mayor que un
recto.
Observación 132. Del hecho que todos los ángulos rectos son congruentes queda claro por la transitividad de
la relación mayor (o menor) de ángulos que un ángulo obtuso es mayor que cualquier agudo. Por otro lado,
por la tricotomía de la relación menor, cualquier ángulo es, o bien recto, o bien agudo, o bien obtuso.
Proposición 133. Dos ángulos adyacentes, o bien los dos son rectos, o bien uno es agudo y el otro es obtuso.
Ejercicio 134. Para demostrar la proposición 133 siga los pasos a continuación.
1. Dibuje la recta a = AB .
2. Marque el punto O entre A y B.
3. Dibuje la semirrecta b = OC de tal modo que AOC

[ sea agudo.
4. Trace la perpendicular c a a por O.

5. Marque un punto D sobre c del mismo lado de a que C.
6. Pruebe que b es interior de AOD

\.
7. Pruebe que C y B están en distintos semiplanos con respecto a c.

8. Trace el segmento d = CB .
9. Pruebe que la semirrecta OD corta a d.
3.4. Lados y ángulos de triángulos
Teorema 135. (Primer teorema del ángulo exterior) En cualquier triángulo, un ángulo exterior es mayor que
cualquier interior no adyacente.
Ejercicio 136. Realice la prueba del Teorema 135.
1. Abra una hoja de GeoGebra y nómbrela Prim_Teo_Ang_Ady.ggb
2. Trace el triángulo ABC .

3. Dibuje el punto medio D del segmento AB .
4. Trace la circunferencia d de centro D que pasa por C.
5. Trace la recta CD = e.
6. Marque la segunda intersección E de d y e. Acerque el mouse a la intersección de la recta e con la
circunferencia d. ¾Cómo es CD con respecto a DE ?
33
7. Oculte d. También puede ir a la vista gráca y hacer click sobre el icono de la izquierda de d.
8. Trace los triángulos ACD y BDE . Cámbieles el color (clic sobre objeto → Propiedades → Color). Muestre
que son congruentes.
9. Trace la recta CB y marque un punto F cualquiera de tal modo que B esté entre C y F.
10. Muestre que \ ≡ DBE

CAD \ y que CAD
\ < DBF
\.
11. Verique el resultado anterior con la herramienta (marque los vértices en sentido horario).
12. Sea G el punto medio del segmento CB . Muestre que ACG

[ < DBF
\ mediante un procedimiento análogo
a partir del paso 3.
13. ¾Qué puede concluir?
Corolario 137. En todo triángulo hay por lo menos dos ángulos agudos.
Ejercicio 138. Para demostrar el corolario 137, reduzca el problema al absurdo: suponga que hay un triángulo
con dos ángulos no agudos y use el teorema 135 para llegar a una contradicción.
Teorema 139. En un triángulo, a lados mayores se le oponen ángulos mayores y recíprocamente.
Ejercicio 140. Para probar el teorema 139, siga los pasos siguientes
1. Dibuje un triángulo ABC de tal modo que el lado BC sea mayor que el lado AC .
2. Muestre que existe un punto D entre C y B tal que AC ≡ CD. Dibuje a D.

3. Trace el segmento e = AD.
4. Pruebe que BAC

\ > CAD
\
5. Use el teorema 90 para demostrar que \ ≡ CDA

CAD \.
6. Use el teorema 135 para demostrar que DBA

\ < CAD
\
7. Pruebe que DBA

\ < CAB
\.
8. Oculte D y e
9. Para probar que ángulos mayores se le oponen lados mayores, reduzca el problema al absurdo: Suponga
que, aunque BAC

\ > ABC
\, AC > BC
a ) Muestre que ABC

\ > BAC
\
b ) Muestre que esto contradice el teorema 124.
10. Suponga para reducir el problema que, aunque BAC

\ > ABC
\, AC = BC
a ) Muestre que ABC

\ = BAC
\
b ) Muestre que esto contradice el teorema 124.
34
Corolario 141. Sea un triángulo ABC de lados a, b y c. Sea D un punto sobre a. Entonces el segmento AD
es menor que b o que c. Además, si ABC es obtusángulo en B , AD es mayor que c.
Ejercicio 142. Para demostrar el corolario 141 siga los pasos a continuación.
1. Dibuje un triángulo ABC y un punto D en a.

2. Pruebe que al menos uno de los ángulos adyacentes en D es no agudo. (Use la proposición 133)
3. Arrastre el punto A hasta que ADB

\ sea obtuso. Pruebe en este caso, que se cumple la primera parte del
teorema.
4. Arrastre el punto A hasta que ADB

\ sea recto. Pruebe en este caso, que se cumple la primera parte del
teorema.
5. Concluya con la primer parte de la prueba.
6. Arrastre el punto A hasta que ABD

\ sea obtuso. Pruebe en este caso, que se cumple la segunda parte del
teorema.
Teorema 143. En un triángulo, el mayor de los lados es menor que la suma de los otros dos.
Ejercicio 144. Para probar el Teorema 143 siga los pasos siguientes
1. Dibuje un triángulo ABC de tal modo que el lado BC sea mayor que el lado AC .
2. Dibuje una circunferenciad con centro en C que pase por A.
3. Marque la intersección D de d con a.
4. Oculte d
5. Trace el segmento e = AD.
6. Use el teorema 90 y el corolario 137 para demostrar que CDA

\ y DAC
\ son agudos.
7. Use el teorema139 para mostrar que BA es mayor que BD; y por lo tanto BC < BA + AC .
Teorema 145. (Criterio LLA) Sean tres puntos A, B y C no alineados y tres puntos A0 , B 0 y C0 no
0 0 0 0
alineados. Si AB ≡ A B , BC ≡ B C y ACB
\ ≡ A\ 0 C 0 B 0 , con AB > BC , entonces ABC ≡ A0 B 0 C 0 .
Ejercicio 146. Para demostrar el teorema 145 siga los pasos a continuación
1. Dibuje un triángulo ABC de tal modo que el lado AB > BC .

2. Trace la semirrecta d = B0D
3. Dibuje un punto C0 en d tal que BC ≡ B 0 C 0 .
4. Trace una semirrecta e tal que forme un ángulo con la semirrecta C 0B0 congruente con ACB
\.
35
5. Trace una circunferencia f de centro B0 y radio congruente a BA.
6. Marque la intersección A00 de f y e.
7. Oculte f.
8. Suponga, para reducir el problema al absurdo, que los segmentos A0 C 0 y AC no son congruentes
a ) Pruebe que sobre la semirrecta e debe existir un punto A00 6= A0 tal que A00 C 0 ≡ AC .
b ) Pruebe que los triángulos A00 B 0 C 0 y ABC son congruentes
0 00
c ) Pruebe que el triángulo A BA es isósceles.
d ) Muestre que el ángulo 0 A00 C 0

B\ es obtuso.
e ) Pruebe que esto lleva a una contradicción con teorema139.
3.5. Planos y Rectas Perpendiculares
Denición 147. Una recta r es perpendicular a un plano π, si ryπ son secantes en el punto P y todas las
rectas s que están en π y que pasan por P son perpendiculares a r.
Teorema 148. Una recta r es perpendicular a un plano π si y solo si es secante a π y perpendicular a dos
rectas distintas que están en π.
1. Abra una hoja de GeoGebra y elija vista 3D
2. Oculte los ejes coordenados.
3. Sobre el plano xy dibuje tres puntos no alineados A, B y C.
4. Dibuje las rectas a = AC y b = AB .

5. Dibuje una recta c perpendicular al plano xy por A. (Supondremos en esta primera parte que solamente
sabemos que c es perpendicular a a y a b y probaremos que es perpendicular a cualquier otra recta del
plano xy que pasa por A. La proposición directa es evidente en virtud de la denición)
6. Sobre c dibuje un punto D 6= A.
7. Trace el segmento d = CB
8. Trace una recta e = AE que pase por BAC

\. Píntela de rojo.
9. Marque el punto F de corte de d y e.

10. Marque a D0 simétrico de D con respecto a A.
11. Trace los segmentos f = DB y g = D0 B . Píntelos de azul.
12. Pruebe que los triángulos DBA y D0 BA son congruentes
36
13. Pruebe los segmentos f y g son congruentes.
14. Trace los segmentos h = DC y i = D0 C . Píntelos de rojo.
15. Pruebe que los triángulos DCA y D0 CA son congruentes.
16. Pruebe que los segmentos h y i son congruentes.
17. Pruebe que los triángulos DBC y D0 BC son congruentes.
18. Pruebe que los ángulos DBC

\ y D
\ 0 BC son congruentes.
19. Trace los segmentos j = DF y k = D0 F . Píntelos de verde.
20. Pruebe que los triángulos DBF y D0 BF son congruentes.
21. Pruebe que los segmentos j y k son congruentes.
22. Pruebe que los triángulos DF A y D0 F A son congruentes.
23. Pruebe que los ángulos DAF

\ y D
\ 0 AF son congruentes. Márquelos.
Teorema 150. Por un punto P exterior a un plano π pasa una perpendicular a π.

3. Escriba en la barra de entrada de comandos P = (1, 1, 1).

4. Considere al plano xy como el plano π.
5. Sobre π dibuje dos puntos A y B.
7. Trace la perpendicular b a la recta a por el punto P.
8. Marque el corte C de a con b.
9. Para trazar la rectac perpendicular a a por C en el plano xy , escriba en la barra de entrada de comandos:
P erpendicular[C, a, P lano[(0, 0, 0), (1, 0, 0), (0, 1, 0)]]
10. Trace la perpendicular d a c por P.
11. Marque el pie de la perpendicular H desde P a c.
12. Marque a P0 simétrico de P con respecto a H.
13. Oculte a b.
14. Trace los segmentos e = PC y f = P 0C . Píntelos de azul.
37
15. Pruebe que el plano determinado por P, C y H es perpendicular a a.
16. Pruebe que f es perpendicular a a.
17. Pruebe que los triángulos P CH y P 0 CH son congruentes.
18. Pruebe los segmentos e y f son congruentes.
19. Suponga que B 6= C . Trace los segmentos g = PB y h = P 0B. Píntelos de rojo.
20. Pruebe que los triángulos P CB y P 0 CB son congruentes.
21. Pruebe los segmentos g y h son congruentes.
22. Trace el segmento i = HB

23. Pruebe que los triángulos P HB y P 0 HB son congruentes.
Teorema 152. Por un punto P de un plano π pasa una perpendicular a π.
3. Dibuje dos puntos P y A en el plano xy .

4. Escriba Q = (1, 1, 3) para tomar un punto fuera del plano xy .
5. Dibuje la recta a = AP
6. Trace la perpendicular b a la recta a en el plano AP Q escribiendo en la barra de entrada de comandos
P erpendicular[P, a, P lano[Q, a]]
7. Trace la perpendicular c a la recta a en el plano xy escribiendo en la barra de entrada de comandos
P erpendicular[P, a, P lano[(0, 0, 0), (1, 0, 0), (0, 1, 0)]]
8. Pruebe que la recta a es perpendicular al plano determinado por b y c.
9. Trace la perpendicular d a la recta c en el plano xy escribiendo en la barra de entrada de comandos

P erpendicular[P, c, P lano[b, c]]
10. Concluya la demostración.
Teorema 154. Por un punto P cualquiera pasa una única recta r perpendicular a un plano π dado.
Ejercicio 155. Pruebe el teorema 154. (Para probar la existencia use los teoremas 150 y 152. Para la unicidad
plantee la reducción al absurdo y la proposición 121).
Proposición 156. Si una recta a está en un plano que es perpendicular a la recta b, la recta b está en un
plano que es perpendicular a la recta a.
38
2. Dibuje tres puntos no alineados A, B y C en el plano xy .

4. Oculte los puntos A y B.

5. Trace la recta b perpendicular al plano xy por el punto C.
6. Trace la perpendicular c a a por C. Píntela de rojo.
7. Marque un punto D en b distinto de C.

8. Marque la intersección E de c con a.
9. Marque un punto F en a distinto de E.
10. Dibuje el simétrico F0 de F con respecto a E.
11. Pruebe que las rectas FC y F 0C son perpendiculares a b.

12. Muestre que los triángulos F EC y F 0 EC son congruentes.
13. Pruebe que los segmentos d = FC y e = F 0C son congruentes. Dibújelos.
14. Muestre que los triángulos F DC y F 0 DC son congruentes.
15. Pruebe que los segmentos f = FD y g = F 0D son congruentes. Dibújelos.
16. Muestre que los triángulos F ED y F 0 ED son congruentes.
17. Dibuje el segmento h = ED.
18. Pruebe que los ángulos DEF

\ y \0
DEF son rectos.
19. Dibuje el plano i que pasa por los puntos D, E , C .
Denición 158. Dos rectas se dicen ortogonales si existe un plano que pasa por una de ellas y es perpendicular
a la otra.
Proposición 159. Por cada punto pasa un único plano perpendicular a una recta dada.
1. Abra una hoja de GeoGebra en la vista 3D. Oculte el plano xy y los ejes coordenados.
2. En la barra de entrada de comandos escriba a = Recta [(0, 0, 0) , (1, 1, 1)] y P = (1, 1, 0). (Encontraremos
un plano perpendicular a a que pase por P)
3. Trace la perpendicular b a a desde P. Al pie llámele H.
39
4. Marque un punto A cualquiera sobre a distinto de H.
5. Trace el plano c que pasa por los puntos A, P y H.
6. Dibuje la perpendicular d a c por H.
7. Marque un punto B en d distinto de H.
8. Trace el plano e que pasa por P, H y B.
9. Pruebe que e es perpendicular a a. (Con esto hemos probado la existencia)
10. Abra otra hoja de GeoGebra en la vista 3D. Oculte los ejes cartesianos. (Vamos a probar la unicidad)
11. En la barra de entrada de comandos escriba a = Recta [(0, 0, 0) , (0, 0, 1)], P = (3, 3, 1), A = (2, −2, 0) y
O = (0, 0, 0).
12. Trace el plano b que pasa por A, O, P .
13. En la barra de entrada de comandos escriba c = P lano[P, a]
14. Suponga, para reducir el problema al absurdo que los planos xy y b son perpendiculares a a por O.
a ) Trace la recta d intersección de los planos xy y c y la recta e intersección de los planos b y c.

b ) Pruebe que las rectas d y e son distintas y perpendiculares a a por O.
c ) Concluya que esto lleva a un absurdo.
3.6. Isometría
Denición 161. Una función entre conjuntos de puntos del mismo espacio se dice isometría si dados dos
puntos distintos A y B y sus imágenes A0 y B0 distintas, AB ≡ A0 B 0 . En general, salvo que se indique otra
cosa, el dominio e imagen de una isometría es el conjunto de puntos del espacio. A las isometrías también les
llamaremos movimientos.
Observación 162. Aunque las isometrías se denen para conjuntos de puntos, usaremos expresiones como las
rectas se transforman en rectas para indicar que en conjunto de los puntos de una recta se transforma en el
conjunto de los puntos de otra recta; y lo mismo para planos, segmentos, etc. De la propia denición que damos
de isometría de los puntos del espacio en los puntos del espacio queda claro que las isometrías son funciones
inyectivas.
Proposición 163. Los movimientos preservan la alineación de los puntos.
Ejercicio 164. Para mostrar la proposición 163, siga los pasos siguientes:
2. Dibuje C sobre a, tal que B esté entre A y C.
3. Suponga, para reducir el problema al absurdo, que los puntos A, B y C se transforman en puntos no
alineados A0 , B 0 y C0 respectivamente.
40
a ) Dibuje A0 , B 0 y C 0.
b ) Pruebe que AB + BC = AC 3 .
c ) Pruebe que A0 B 0 + B 0 C 0 > A0 C 0 . (use el teorema 143)
d ) Concluya que esto es contradictorio
Proposición 165. SeanA, B y C puntos no alineados y sean A0 , B 0 y C0 la imagen de A, B y C a través de

0 0 0
un movimiento. Entonces A , B y C no estarán alineados.
Ejercicio 166. Pruebe la proposición 165 ( Suponga, para reducir el problema al absurdo, que los puntos A,
B y C no alineados, se transforman en los puntos A0 , B 0 y C0 alineados. Aplique la desigualdad triangular)
Corolario 167. Las rectas se transforman en rectas en un movimiento.
Ejercicio 168. Para mostrar el corolario 167 siga los pasos a continuación.
1. Trace la recta a = AB y un punto A0 .

2. Con la herramienta Segmento de longitud dada trace el segmento b = A0 B 0 tal que AB ≡ A0 B 0 . Suponga
0 0
que los puntos A y B son los transformados de A y B a través de una congruencia µ.
3. Dibuje la recta c0 = A0 B 0 .
4. Pruebe que todos los puntos de a se transforman en puntos de c0 por µ. (Use la proposición 163)
5. Para mostrar que todo punto de c0 es imagen de algún punto de a, dibuje un punto Y sobre c0 .
6. Suponga para reducir el problema al absurdo que existe un punto X no alineado con A y B tal que
µ (X) = Y . Pruebe que esto contradice la proposición 165)
Proposición 169. Sean A, B C 0 0 0

puntos alineados con B entre A y C ; y sean A , B y C la imagen de A,
y
0 0 0 0 0 0
B y C a través de un movimiento. Entonces A , B y C estarán alineados con B entre A y C . Es decir, los
movimientos preservan la relación estar entre.
Ejercicio 170. Para mostrar la proposición 169 siga los pasos a continuación.
2. Dibuje C sobre a, de tal modo que B esté entre A y C.
3. Suponga, para reducir el problema al absurdo, que los puntos A, B y C se transforman en los puntos A0 ,
0 0 0 0 0
B y C , de tal modo que C esté entre A y B .
a ) Trace la recta a 0 = A0 B 0 .
b ) Dibuje C0 sobre a0 , de acuerdo a la suposición.
3 Dados los segmentos a, b y c, diremos que a + b = c, si existen puntos P , Q, R de tal modo que Q está entre P y R, y a ≡ P Q,
b ≡ QR y c ≡ P R. Similarmente deniremos expresiones para los signos de desigualdad.
41
c ) Pruebe que nos queda que
AB < AC (1)
y
A0 C 0 < A0 B 0 (2)
d ) Pruebe que de las desigualdades 1 y 2 se deduce
AB < A0 B 0
e ) Concluya que esto es contradictorio.
Corolario 171. Las semirrectas se transforman en un movimiento en semirrectas y su origen en el origen de

la transformada. Además, la opuesta de una semirrecta se transforma, por un movimiento, en la semirrecta
opuesta de la transformada.
1. Dibuje una semirrecta a = AB y un punto A0 .

2. Con la herramienta Segmento de longitud dada trace el segmento b = A0 B 0 tal que AB ≡ A0 B 0 . Suponga
0 0
que los puntos A y B son los transformados de A y B a través de una congruencia µ.
3. Dibuje la semirrecta c 0 = A0 B 0 .
4. Dibuje un punto X sobre a.
5. Pruebe que µ (X) = Y debe estar sobre la recta A0 B 0 .
6. Para probar que Y está sobre la semirrecta c0 , suponga, para reducir el problema al absurdo, que no es
así, o sea suponga que Y está sobre la semirrecta opuesta a c0 . Pruebe que esto es contradictorio con la
proposición169.
7. Para mostrar que todo punto Y de c0 procede de un punto Z de a, suponga para reducir el problema al
absurdo que Z está en la semirrecta opuesta a a. Pruebe que esto es contradictorio con la proposición169.
8. Para mostrar que todo punto X de la semirrecta opuesta a a se transforma por µ en un punto Y de la
semirrecta opuesta a c0 , suponga para reducir el problema al absurdo que Y está en c0 . Pruebe que esto
es contradictorio con las conclusiones anteriores.
9. Para mostrar que todo punto Y de la semirrecta opuesta a c0 procede de un punto Z de la semirrec-
ta opuesta de a, suponga para reducir el problema al absurdo que Z está en a. Pruebe que esto es
contradictorio con las conclusiones anteriores.
Corolario 173. Los segmentos se transforman en un movimiento en segmentos y sus extremos se transforman
en extremos del segmento transformado.
Ejercicio 174. Pruebe el corolario 173. (Adecúe la prueba de corolario 171)
42
Proposición 175. Los movimientos preservan las amplitudes de los ángulos.
Ejercicio 176. Para probar la proposición 175, siga los pasos siguientes
4
1. Dibuje dos semirrectas a = AB y b = AC .

2. Dibuje dos semirrectas a 0 = A0 B 0 y b0 = A0 C 0 , transformadas de a y b respectivamente.
3. Arrastre los puntos B0 y C0 hasta que el segmento AB sea congruente con el A0 B 0 y AC sea congruente
0 0
con el AC
4. Muestre que el segmento BC se transforma en el B0C 0.
5. Muestre que los triángulos ABC y A0 B 0 C 0 son congruentes usando el criterio LLL.
6. Concluya que el ángulo ab

b es congruente con el 0 b0 .
ad
Corolario 177. Los ángulos rectos se transforman por un movimiento en ángulos rectos.
Ejercicio 178. Pruebe el corolario 177.
Lema 179. Los planos se transforman en planos en un movimiento.
Ejercicio 180. Para mostrar el lema 179 siga los pasos a continuación.
1. Abra una hoja de GeoGebra y elija la vista 3D. Oculte los ejes coordenados.
2. Dibuje sobre el plano xy tres puntos no alineados A, B , C y una recta a = DE .

3. Use la herramienta rotación axial para rotar los puntos A, B y C alrededor de a, 45°en sentido antiho-
rario. Aparecerán los puntos A0 , B 0 y C 0.
4. Suponga que los puntos A0 , B 0 y C 0 son los transformados por un movimiento µ de los puntos A, B y C.
Pruebe que los puntos A0 , B 0 y C 0 no están alineados.
5. Trace el plano b determinado por A0 , B 0 y C 0.
6. Dibuje un punto P sobre el plano xy . Pruebe que la recta determinada por P y alguno de los puntos A,
B o C corta alguno de los segmentos AB , BC o AC . (Use el teorema 68)
7. Suponga que la recta AP corta a BC en un punto M. Dibuje a M.

8. Sea M 0 = µ (M ). Pruebe que M0 está entre B0 y C 0. Dibuje a M0 (Rotando a M alrededor de a.)
9. Pruebe que M0 está en b.

10. Sea P 0 = µ (P ). Pruebe que P0 está en la recta A0 M 0 . Dibuje a P0
11. Pruebe que P0 está en b.
12. Muestre que todos los puntos del plano determinado por los puntos A, B y C se transforman por µ en
puntos del plano determinado por A0 , B 0 C 0 .
4 Este tipo de transformaciones se llama conforme
43
13. Para comenzar la prueba de que cualquier punto del plano determinado por A0 , B 0 C 0 proviene por µ de
un punto del plano determinado por A, B C , dibuje un punto Y en el interior del ángulo 0B0C 0.
A\
14. Dibuje el segmento c = A0 C 0 y la semirrecta d = B0Y .
15. Pruebe que existe un punto F de corte de c y d.
16. Trace la semirrecta e = AC y el punto G sobre e de tal modo que AG ≡ A0 F .

17. Pruebe que G está entre A y C.
18. Pruebe que e se transforma en la semirrecta A0 C 0 y G se transforma en F.
19. Trace la semirrecta f = BG y el punto X sobre f de tal modo que BX ≡ B 0 Y .
20. Pruebe que f se transforma en d y X se transforma en Y.

21. Considere los demás casos para Y y concluya la prueba.
Corolario 181. Los semiplanos se transforman en un movimiento en semiplanos y su borde en el borde del
transformado. El semiplano opuesto de un semiplano β se transforma por un movimiento en el opuesto del
semiplano transformado de β.
Ejercicio 182. Para probar el lema 181 opere análogamente a la prueba del corolario171)
Proposición 183. Sean A, B , C y D 0 0 0

puntos no coplanares y sean A , B , C y D0 la imagen de A, B , C y
0 0 0 0
D a través de un movimiento. Entonces A , B , C y D no serán coplanares.
Ejercicio 184. Pruebe la proposición 183 ( Suponga, para reducir el problema al absurdo, que los puntos A,
B, C y D que no son coplanares, se transforman en los puntos A0 , B 0 , C 0 y D0 coplanares. Use la prueba del
lema 179 para llegar a que se contradice la inyectividad de la isometría)
Lema 185. Sea los puntos A y α. Sea un movimiento µ y los puntos A0 y B 0 y el plano α0 ,
B, y el plano
0 0
transformados de A, B y α, respectivamente. Si A y B están de un mismo lado de α, entonces A y B estarán
0 0 0
de un mismo lado de α . También, si A y B están a distinto lado de α, entonces A y B estarán a distinto
0
lado de α
Ejercicio 186. Para probar el lema 185 recuerde que si un segmento tiene sus extremos en lados distintos de
un plano tiene que tener un punto en el plano.
Lema 187. Una recta a perpendicular al plano α por un punto P , se transformará en un movimiento en
una recta a0 perpendicular a un plano α0 por un punto P 0 , donde α0 es el plano transformado de α y P 0 es el
transformado de P.
Ejercicio 188. Para mostrar el lema 187 siga los pasos a continuación.
2. Escriba en la barra de comandos P = (3, 3, 3).

3. Trace la perpendicular al plano xy por el punto P. Dibuje el punto A pie de la perpendicular por P.
4. Dibuje los puntos B y C no alineados con A sobre el plano xy .
44
5. Trace la recta d = DE .
6. Use la herramienta rotación axial para rotar los puntos A, B , C y P , alrededor de d, 45°en sentido
antihorario. Aparecerán los puntos no coplanares A0 , B 0 , C 0 0
y P . Suponga que este es el movimiento que
se trata.
7. Pruebe que 0 A0 P 0
B\ y 0 A0 P 0
C\ son rectos.
Teorema 189. Las isometrías son sobreyectivas.
Ejercicio 190. Para mostrar el Teorema 189 siga los pasos a continuación.
2. Suponga µ una isometría cualquiera y que los puntos primados son imagen a través de µ de los puntos
sin primar. Sea α el plano xy .
3. Dibuje sobre α tres puntos no alineados A, B , C y una recta a = DE .
4. En la barra de entrada de comandos escriba F = (0, 0, 3).

5. Use la herramienta rotación axial para rotar los puntos A, B , C y F, alrededor de a, 45° en sentido
antihorario. Aparecerán los puntos no alineados A0 , B 0 , C 0 0
y F .
6. Trace el plano α0 determinado por A0 , B 0 y C 0.
7. Marque un punto Y0 cualquiera del mismo lado que F0 con respecto a α0 . Dibuje a Y 0 = (0, 0, 5)
8. Muestre que la preimagen de Y0 (si existe) debiera estar del mismo lado que F. (Vea el lema 185)
9. Trace la perpendicular b a α0 desde Y 0. Marque el pie G0 de la perpendicular. Muestre que G0 existe y es

único.
10. Muestre que existe un único punto G que está sobre α tal que le corresponde G0 a través de µ. Dibuje a
G.
11. Marque la perpendicular c a α por G.
12. Muestre que la transformada de c por µ debe ser b. (Vea el lema 187)
13. Trace el segmento d = Y 0 G0 .

14. Sobre c trace un punto X de tal modo que GY ≡ G0 Y 0 = d, que esté del mismo lado de α que F.
15. Pruebe que el transformado de Y por µ es Y 0.
Corolario 191. Las isometrías admiten inversa y la inversa es una isometría.
Ejercicio 192. Pruebe el corolario 191. (Use los teoremas 189 y 76)
45
Teorema 193. Sean M, N, P, Q cuatro puntos no coplanares; sean M0 un punto arbitrario, a una recta que
0
pasa por M α
un plano que pasa por a. Entonces cualquier conjunto de puntos puede moverse de tal manera
, y
0 0
que M se mueva a M , N se mueva sobre la recta a a un lado prejado de M , P se mueva a un lado prejado
de a, y Q se mueva a un lado de α. Además, este movimiento será único.
2. Dibuje sobre el plano xy tres puntos no alineados M, N, P.

3. En la barra de entrada de comandos escriba Q = (0, 0, 1) y M 0 = (1, 1, 3).
4. En la barra de entrada de comandos escriba a = Recta[M 0 , (−3, 3, −1)].
5. En la barra de entrada de comandos escriba α = P lano[(0, 3, 4), a].
6. Dibuje un punto N0 a un lado cualquiera de M0 sobre la recta a, tal que M N ≡ M 0N 0. (A ojo nomas,
no es relevante la precisión)
7. Trace la recta b = MN y sobre b un punto X.

8. Dena una función µ1 de los puntos de la recta b en los puntos de la recta a de la forma siguiente:
a ) Si el punto X está en la semirrecta M N entonces µ1 (X) = X 0 será el único punto que se encuentra
0 0
en la semirrecta MN tal que M X ≡ M 0X 0
b ) Si el punto X es M entonces µ1 (X) = X 0 es M0
c ) Si el punto X está en la semirrecta opuesta a la M N entonces µ1 (X) = X 0 será el único punto que
se encuentra en la semirrecta opuesta a la M 0 N 0 tal que M X ≡ M 0 X 0
9. Demuestre que µ1 está bien denida, es decir, que cada punto de b tiene una única imagen en a.
10. Dibuje un punto Y sobre b, tal que esté entre M y X.
11. Sea Y 0 = µ1 (Y ). Pruebe que XY ≡ X 0 Y 0 .
12. Pruebe que µ1 es una isometría sobre los puntos de la recta b, que envía a N a N 0.
13. Borre los puntos X y Y, dibuje nuevos X y Y sobre el lado de b sobre el plano xy donde está P. Llame
a este semiplano β.
14. Dibuje un punto P0 a un lado cualquiera de la recta a sobre α, tal que M P ≡ M 0P 0 y N

\ 0M 0P 0.
M P ≡ N\
Llame β0 a este semiplano.
15. Dena una función µ2 de los puntos del plano xy en los puntos de α de la forma siguiente:
X está en β entonces µ2 (X) = X 0

a ) Si el punto será el único punto que se encuentra en β0 tal que
M X ≡ M X0 y N
0 \ M X ≡ N\ 0M 0X 0.
b ) Si el punto X está en b entonces µ2 (X) = µ1 (X).

c ) Si el punto X está en el semiplano opuesto a β , entonces µ2 (X) = X 0 será el único punto que se
0 0 0M 0X 0.
encuentra en el semiplano opuesto a β ', tal que M X ≡ M X y N \ M X ≡ N\
46
16. Demuestre que µ2 está bien denida.
17. Sea Y 0 = µ2 (Y ). Pruebe que Y\ 0M 0X 0.

M X ≡ Y\ (Use el teorema 88)
18. Pruebe que los triángulos NMX y N 0M 0X 0 son congruentes.
19. Pruebe que XY ≡ X 0 Y 0 .
20. Pruebe que µ2 es una isometría sobre los puntos del plano xy , que lleva a P en P 0.
21. Borre los puntos X y Y, dibuje nuevos X y Y sobre el lado del plano xy donde ya está Q. Llame a este
semiespacio superior y al opuesto inferior.
22. Trace el punto QO , el único pie de la perpendicular desde Q al plano xy .
23. Dibuje un punto Q0 a un lado cualquiera del plano α, tal que el pie de la perpendicular Q0α = µ2 (QO ) y
0
Q Q0α ≡ QQO . Llame γ 0
a este semiespacio.
24. Sea XO el pie de la perpendicular desde X al plano xy . Dena una función µ3 de los puntos del espacio
en si mismo de la forma siguiente:
a ) Si el punto X está en el semiespacio superior entonces µ3 (X) = X 0 será el único punto que se
0 0 0 0
encuentra en γ tal que XXO ≡ X Xα , donde Xα es el pie de la perpendicular desde X0 al plano α
0
y Xα = µ2 (XO ).
b ) Si el punto X está en el plano xy entonces µ3 (X) = µ2 (X).

c ) Si el punto X está en el semiespacio inferior entonces µ3 (X) = X 0 será el único punto que se
0
encuentra en el semiespacio opuesto a γ tal que XXO ≡ X 0 Xα0 .
25. Demuestre que µ3 está bien denida.
26. Sean Y 0 = µ3 (Y ), YO el pie de la perpendicular desde Y al plano xy , y Yα0 = µ2 (YO ). Suponga que X ,
XO y Y no están alineados. Pruebe que X 0 , Xα0 y Y 0 no están alineados y que los triángulos XXO YO y
X 0 Xα0 Yα0 son congruentes.
XY 0Y 0 X 0
O XO X\
27. Pruebe que los ángulos \ y α α son congruentes.
XY 0Y 0 Y 0
OY X\
28. Pruebe que los ángulos \ y α son congruentes.
29. Pruebe que los triángulos XYO Y y X 0 Yα0 Y 0 son congruentes.
30. Pruebe que XY ≡ X 0 Y 0 .

31. Pruebe que µ3 es una isometría, que lleva a Q sobre Q0 .
32. Para mostrar que µ3 es la única isometría posible bajo las hipótesis del teorema, suponga para reducir
el problema al absurdo que existe otra isometría ν 6= µ3 .
a ) Pruebe que debe existir un punto A y dos puntos A1 = µ3 (A) y A2 = ν (A) tal que A1 6= A2 .
b ) Considere los casos siguientes:
1) A está en la semirrecta MN.
47
0
a Pruebe que A1 y A2 deben estar en la semirrecta M 0N 0.
0 0 0
b Pruebe que los segmentos M A1 y M A2 no pueden ser congruentes.
0
c Concluya que esto lleva a un absurdo.
2) A está en la semirrecta opuesta a la MN.

0
a Opere como en el caso anterior.
3) A está en el semiplano de xy donde está P.

0
a Pruebe que A1 y A2 deben estar en el semiplano de α donde está P 0.
0 0 0 0 0
b Pruebe que los triángulos A1 M N y A2 M N deben ser congruentes
0
c Concluya que esto lleva a un absurdo.
4) A está en el semiplano de xy donde no está P.

0
a Opere como en el caso anterior.
5) A está en el semiespacio superior.

0
a Pruebe que A1 y A2 deben estar en el semiespacio de borde α donde está Q0 .
0
b Pruebe que A1 , A2 y M 0 no pueden estar alineados.
0
c Abra una hoja de GeoGebra en la vista 3D y oculte los ejes coordenados.
0
d Dibuje los puntos M 0, N 0 y P0 no alineados sobre el plano xy
0
e Escriba en la barra de entrada de comandos A1 = (0, 0, 3) y A2 = (0, 1, 3)
0
f Trace los segmentos a = M 0 A1
b = M 0 A2 . Píntelos de rojo.
y
0 0
g Trace el plano c que contiene a A1 , A2 y M .
0
h Trace la recta d de intersección del plano xy con c,
0 0 0 0 \ 0
i Marque un punto B 6= M sobre d, tal que A\ 2 A1 B < A2 A1 M .
0
j Trace los segmentos e = B 0 A1
f = B 0 A2 . Píntelos de azul.
y
0
k Marque el punto E de intersección de e y b.
0 0 0
l Pruebe que los triángulos A1 M A2 y A1 B A2 son isósceles.
0 0 \0
m Pruebe que A\1 A2 M < A1 A2 B .
0
n Muestre que esto lleva a un absurdo.
6) A está en el semiespacio inferior.

0
a Opere como en el ítem anterior
c ) Concluya la prueba por el absurdo
Corolario 195. Dada una semirrecta a1 de origen O de una recta a, un plano α que contiene a a, un lado
α1 de a α y un lado Ω1 de α; y una semirrecta a01 de origen O0 de una recta a', un plano α0 que contiene a
en
a0 , un
0 0 0 0 0 0 0
lado α1 de a en α y un lado Ω1 de α , existe un único movimiento que lleva a1 en a1 , α1 en α1 y Ω1
en Ω1
Ejercicio 196. Pruebe el corolario 195. (Use el teorema 193)
48
3.7. Movimientos en el Plano
Observación 197. Los movimientos en el plano son fácilmente deducibles de las isometrías en general, que
hemos denido en la sección anterior. Es recomendable que se realice la traducción de las deniciones dadas,
pero para el caso plano. También es importante que se tenga en cuenta que para la determinación de los
movimientos planos basta con indicar cuál es el efecto sobre una semirrecta y sobre un semiplano de borde la
prolongación de esta semirrecta.
3.7.1. Simetría Central

Denición 198. Una simetría central es un movimiento de tal modo que es posible encontrar una semirrecta
a y una semirrecta a0 transformada de a, opuestas, con el mismo origen O, tal que los puntos de un lado de
a se transforman en puntos del otro lado de a. Al punto O se le llama el centro de la simetría. La simetría de
centro O se denota por σO .
Proposición 199. Las simetrías centrales coinciden con sus inversas.
Ejercicio 200. Para probar la proposición 199verique las siguientes igualdades
σO (σO (a)) = σO (∼ a) =∼ (σO (a)) =∼ (∼ a) = a
y
σO (σO (α)) = σO (∼ α) =∼ (σO (α)) =∼ (∼ α) = α
donde a es una semirrecta de origen O que se transforma por la simetría σO de centro O en su opuesta
∼ a, y α es un semiplano de borde la prolongación de a, que se transforma por la simetría σO de centro O en
su opuesto ∼ α. Tenga en cuenta que la función identidad es una isometría que lleva una dada semirrecta en
si misma y un semiplano de borde la prolongación de dicha semirrecta en si mismo.
Teorema 201. Una simetría central que envía una semirrecta a de origen O a la semirrecta opuesta a0 , y al
semiplano α de borde la prolongación de a en su opuesto cumple que:
1. El punto O es el único punto jo.
2. Todo punto P distinto de O se transforma en un punto P0 tal que O es punto medio del segmento P P 0.
3. Toda semirrecta s con origen O se transforma en su opuesta s0 .
4. Toda recta r que pasa por O, se transforma en si misma.
5. El semiplano de borde una recta que pasa por O se transforma en su opuesto.
6. Una simetría central queda completamente determinada por su centro.
7. Toda recta r que no pasa por O, se transforma en una paralela.
Ejercicio 202. Pruebe el teorema 201.
1. Dibuje la semirrecta a = OA. Suponga que a determina la simetría central σO .

2. Muestre que O es jo por σO .
3. Dibuje un punto B 6= O en a. Pruebe que B 0 = σO (B) está en ∼ a, opuesta de a, tal que OB ≡ OB 0 .
49
4. Pruebe que B 0 6= B (o sea B no es jo), y O es punto medio del segmento BB 0 .
5. Dibuje el punto B0 y ∼a con la herramienta Simetría Central .
6. Dibuje un punto C a un lado cualquiera α de a.

7. Pruebe que C 0 = σO (C) está en ∼ α, opuesto de α, tal que OC ≡ OC 0 . Dibuje a C 0.
8. Pruebe que C 0 6= C (o sea C no es jo),
9. Pruebe que 0 OC 0
\ ≡ B\
BOC y O es punto medio del segmento CC 0 .
10. Concluya que el punto O es el único punto jo, y que todo punto P distinto de O se transforma en un
punto P0 tal que O es punto medio del segmento P P 0.
11. Pruebe que la semirrecta OC se transforma en la semirrecta opuesta OC 0 .

12. Concluya que toda semirrecta s con origen O se transforma en su opuesta s0 y que toda recta que pasa
por O se transforma en ella misma.
13. Trace la recta c = CC 0 y marque un punto D a un lado β de c.
14. Muestre que D0 = σO (D) está en el lado ∼ β, opuesto de β. (considere que O es punto medio de DD0 y
por lo tanto corta a c).
15. Concluya que el semiplano de borde una recta que pasa por O se transforma en su opuesto y que, por lo
tanto, una simetría central queda completamente determinada por su centro.
16. Dibuje una recta d = EF que no pase por O.

17. Marque los puntos E0 y F 0 simétricos de los puntos E y F con respecto a O, y la recta d0 simétrica de
la recta d con respecto a O.
18. Pruebe que las rectas d y d0 no se cortan. (Suponga lo contrario, pruebe que los triángulos EF O y E0F 0O
son congruentes y llegue a una contradicción con el primer teorema de los ángulos exteriores).
Corolario 203. Sean α y β ángulos opuestos por el vértice. Si s es la bisectriz de α, entonces la opuesta de
s es la bisectriz de β.
Ejercicio 204. Demuestre el corolario 203.
Ejercicio 205. Sean dos circunferencias c y c0 con radios congruentes y de centros O y O0 distintos. Muestre
que existe una simetría central que lleva c a c0 , con centro en el punto medio del segmento OO0 .
1. Escriba r = 3.
2. Trace las circunferencias c y c0 de centros O y O0 y de radio r.
3. Trace la recta a = OO0 .

4. Marque el punto medio A del segmento OO0 .
50
5. Tome un punto B sobre c, de tal manera que A, B y O no estén alineados.
0
6. Marque el simétrico B de B con respecto a A.
7. Pruebe que los triángulos OBA es congruente con O 0 B 0 A.
8. Pruebe que B0 está en c0 .
9. Arrastre el punto B hasta que O esté entre B y A.
10. Muestre que OB es congruente con O0 B 0 . (Use el teorema 78).
11. Considere los casos en que B está entre O y A, o A entre O y B.

12. Concluya que todos los puntos de c se transforman por σA en puntos de c0 .
13. Muestre que cada punto de c0 procede algún punto de c por σA .
Ejercicio 206. Sea A uno de los puntos comunes en los que se cortan dos circunferencias. Construya una
recta que, pasando por A, determine cuerdas de igual longitud en ambas circunferencias.
1. Dibuje dos circunferencias secantes c y d.

2. Marque el punto A de una de las intersecciones de c y d.
3. Use la herramienta Simetría Central y trace la simétrica c0 de c con respecto al punto A.
4. Marque la segunda intersección F de c0 con d.
5. Trace la recta que pasa por A y F. Justique que AF es la recta buscada.
Ejercicio 207. Dada una circunferencia c de centro O y radio r, un punto A exterior a c tal que AO < 3r.
Construya una recta que, pasando por A corte a c en P y Q tal que AP ≡ P Q.
1. Dibuje un punto A y una circunferencia c, en las condiciones del ejercicio.
2. Trace el simétrico O0 del punto O respecto de B.

3. Dibuje la circunferencia d con centro en O que pasa por O0 .
4. Demuestre que en d se encuentra el centro de cualquier circunferencia simétrica de c con respecto a un
punto de c.
5. Dibuje la circunferencia e con centro A y radio OB .
6. Demuestre que en e se encuentra el centro de cualquier circunferencia congruente con c que pase por A.
7. Marque una intersección C de d con e.
8. Trace la circunferencia f de centro C que pasa por A.
9. Marque la intersección P de c con f .
10. Muestre que:

OP ≡ P C ≡ CA
11. Muestre que la recta AP es la solución del problema.
51
3.7.2. Simetría Axial
Denición 208. Una simetría axial es un movimiento de tal modo que es posible encontrar una semirrecta a
que se transforma en si misma y los puntos de un lado de a se transforman en puntos del otro lado de a. La
recta que pasa por a se llama eje de la simetría.
Proposición 209. Las simetrías axiales coinciden con sus inversas.
Ejercicio 210. Para probar la proposición 209 verique las siguientes igualdades
σr (σr (a)) = σr (a) = a
y
σr (σr (α)) = σr (∼ α) =∼ (σr (α)) =∼ (∼ α) = α
donde a es una semirrecta de la recta r, de origen O que se transforma por la simetría σr de eje r en a, y
α es un semiplano de borde de r, que se transforma por la simetría σr de eje r en su opuesto ∼ α. Tenga en
cuenta que la función identidad es una isometría que lleva una dada semirrecta en si misma y un semiplano de
borde la prolongación de dicha semirrecta en si mismo.
Teorema 211. Una simetría axial que envía una semirrecta a de origen O sobre una recta r a la semirrecta
a, y al semiplano α de borde la prolongación de a en su opuesto cumple que:
1. Un punto es jo si y solo si está en el eje de simetría r.

2. Todo punto P que no está en r se transforma en un punto P0 tal que r es la mediatriz del segmento P P 0.
3. Toda semirrecta s con origen en un punto de r, que es perpendicular a r, se transforma en su opuesta s0 .

4. Toda recta t perpendicular a r, se transforma en si misma.
5. Toda simetría axial queda completamente determinada por su eje.
6. Toda semirrecta s
forma con alguna semirrecta en r un ángulo agudo, su transformada s0 es tal que r
c0 .
tiene a la bisectriz de ss
Ejercicio 212. Pruebe el teorema 211.
1. Dibuje la semirrecta a = OA y la recta r prolongación de a. Suponga que a determina la simetría axial

σr .
2. Muestre que O es jo por σr .

3. Dibuje un punto B 6= O en a. Pruebe que B = σr (B). (Considere el axioma III.1)
4. Dibuje un punto C a un lado cualquiera α de r.
5. Pruebe que C 0 = σr (C) está en ∼ α, opuesto de α, tal que existe un punto D entre C y C0 y sobre r.
Dibuje a C0 y a D . Suponga que D 6= B
6. Pruebe que C 0 6= C (o sea C no es jo),
7. Pruebe que \0
\ ≡ BDC
BDC (y por lo tanto rectos) y D es punto medio del segmento CC 0 .
52
8. Concluya que un punto es jo si y solo si está en el eje de simetría r, y que todo punto P que no está en
r se transforma en un punto P0 tal que r es la mediatriz del segmento P P 0.
9. Pruebe que la semirrecta DC se transforma en la semirrecta opuesta DC 0 .
10. Concluya que toda semirrecta s con origen en un punto de r, que es perpendicular a r, se transforma en
su opuesta s0 y que toda recta t perpendicular a r, se transforma en si misma.
11. Muestre que toda semirrecta en r se transforma en ella misma.
12. Concluya que una simetría axial queda completamente determinada por su eje.
13. Dibuje una semirrecta d = EF , con E en r y F fuera de r.
14. Dibuje un punto G en r, tal que GEF

\ sea agudo.
15. Marque el punto E0 simétrico de E con respecto a r.

16. Pruebe que toda semirrecta s forma con alguna semirrecta en r un ángulo agudo, su transformada s0 es
tal que r tiene a la bisectriz de c0 .
ss
Corolario 213. Sean α y β ángulos adyacentes de vértice O. Si s es la bisectriz de α, entonces una semirrecta
perpendicular a s de origen O es la bisectriz de β .5
Ejercicio 214. Demostrar el corolario 213
Denición 215. El triángulo órtico de un triángulo ABC es el que tiene por vértices los pies D, E y F de
las alturas del triángulo correspondiente a los vértices A, B y C, respectivamente.
Ejercicio 216. Muestre que el triángulo de menor perímetro inscripto en un triángulo acutángulo es el órtico.
1. Dibuje el triángulo ABC y el UV W, donde U está en BC , V en CA y W en AB .

2. Use la herramienta Simetría Axial para obtener V 0 , V10 , las imágenes de V por reexión en AB y CB ,
respectivamente.
3. Muestre que V 0 W + W U + U V10 = W V + W U + U V . Es decir, la longitud de las poligonal es igual al

perímetro del triángulo U V W .
4. Muestre que los triángulos BW V y BW V 0 son congruentes. También BU V y BU V10 .
5. Mueva el punto V y note que el triángulo V 0 BV10 es isósceles y que 0 BV 0

V\ 1 tiene amplitud constante. ¾Por
0
qué? ¾Dónde debe estar el punto V para que los lados V B y BV10 tengan la menor longitud? Explique
por qué V 0 BV10 tiene, en este caso, el menor perímetro.
6. Deje V jo en el pie de la perpendicular desde B al lado AC . Mueva U y W hasta que la poligonal sea
mínima. U, W, V 0 y V10
7. Cambie V por U en el razonamiento anterior y concluya que U debe ser también el pie de la altura desde
A.
5 Note que los corolarios 213 y 203 muestran que dos rectas que forman cuatro ángulos, determinan una cruz de bisectrices.
53
Ejercicio 217. Desde un mismo lado de una recta r se encuentran dos puntos A y B. Construya el camino
más corto que une A con B tocando en un punto a la recta r. ¾Cómo deben ser los ángulos que forman los
rayos con la recta r?
1. Dibuje dos puntos A y B y una recta r que deje a A y a B de un mismo lado.
2. Fije los puntos A y B y oculte los puntos sobre la recta r

3. Dibuje un punto M sobre r
4. Dibuje el simétrico B0 de B con respecto a r
5. Trace los segmentos AM , BM y M B0

6. Demuestre que las poligonales AM B 0 y AM B tienen la misma longitud
7. ¾Cuándo la poligonal AM B 0 será más corta?
8. Arrastre el punto M hasta que quede alineado con A y B0.
9. Dibuje un punto X que esté sobre r, pero que no sea M.

10. Dibuje un punto Y en r, tal que M quede entre X y Y.
11. Demuestre que M A ≡ XM

Y\ \ B ≡ XM
\ B0.
12. Trace la perpendicular d a r por M.
13. ¾Qué relación encuentra entre d y AM

\ B?
Ejercicio 218. En un medio homogéneo, un rayo de luz que parte desde un punto A a B pasando por un
espejo, lo hace a lo largo de un camino mínimo. Si el rayo incide en el espejo con un ángulo α, halle el ángulo
con que se reeja.
3.7.3. Traslación
Denición 219. Una traslación es un movimiento de tal modo que es posible encontrar una semirrecta a, de
origen A, y una semirrecta a0 , de origen A0 , transformada de a, tal que todos los puntos de a0 estén en a, y
los puntos que se encuentren a un lado de a se transformen en puntos del mismo lado. Al segmento orientado
AA0 se le llama vector de la traslación.
0
A la recta AA se le llama guía de la traslación.
Teorema 220. Una traslación que envía una semirrecta a de origen A en una semirrecta a0 de origen A0 , tal
0
que todos los puntos de a estén en a; manda todo punto B en un punto B 0 , tal que la recta AB es paralela a
A B y AA es paralela a BB 0 .
0 0 0
Ejercicio 221. Muestre el teorema 220.
1. Dibuje dos puntos A y A0 .

2. En el menú Opciones →Etiquetado →Solo puntos nuevos.
54
−−→0
3. Trace la semirrecta AA .
4. Dibuje un punto B que no esté en la recta AA0 y un punto C de tal modo que A0 esté entre A y C.
5. Ubique a ojo el punto B0 que es imagen de B a través de la traslación que lleva A a A0 .
6. ¾Cómo es el ángulo BAC

\ con respecto al ángulo 0 A0 C ?
B\ Use el teorema 135 para mostrar que las rectas
0 0
AB y AB no se cortan.
7. Trace la recta BB 0 .
8. Suponga, para reducir el problema al absurdo, que hay una intersección entre AA0 y BB 0 en un punto
D.
a ) Ubique a ojo D0 la imagen de D por la traslación.
b ) Justique que AD ≡ A D , AB ≡ A0 B 0
0 0
y 0 A0 D .
\ ≡ B\
BAD
c ) Pruebe que los triángulos BAD y B 0 A0 D 0 son congruentes
d ) Justique que BDA 0 D 0 A0 .

\ ≡ B\
e ) Pruebe que esto está en contradicción con el primer teorema del ángulo exterior.
f ) Concluya la prueba por el absurdo.
9. Muestre que en una traslación toda recta se transforma en si misma o en una paralela a si misma.
Proposición 222. La aplicación de dos simetrías centrales con centros O1 y O2 es una traslación de vector
2O1 O2 .
Ejercicio 223. Pruebe la proposición 222
1. Dibuje los puntos O1 y O3 .
2. Marque el punto medio O2 .

3. Trace la semirrecta a = O1 O3 .
4. Trace la simétrica a0 de a con respecto a O1 .
5. Dibuje un punto A a un lado de a.
6. Marque el simétrico A0 de A, con respecto a O1 .

7. Trace la simétrica a00 de a0 con respecto a O2 .
8. Marque el simétrico A00 de A0 con respecto a O2 .
9. Explique por qué la aplicación de la simetría de centro O1 seguida de la simetría de centro O2 es una
traslación de vector O1 O3 .
10. Hay otra composición de simetrías centrales que de como resultado la misma traslación?
55
3.7.4. Rotación
Denición 224. Una rotación (propia) es un movimiento de tal modo que es posible encontrar una semirrecta
a y una semirrecta a0 transformada de a, con el mismo origen y no colineales, tal que los puntos del lado de a
que tiene a los puntos de a0 se transforman en puntos del lado de a0 que no tiene puntos de a. Al ángulo c0
aa
se le llama ángulo (orientado) de la rotación.
Teorema 225. Sean s una semirrecta y s0 la semirrecta correspondiente en la rotación que manda una semi-
rrecta a de origen O en una semirrecta a0 del mismo origen O. Si s y s0 tienen origen en O, entonces ss
c0 y
c0
aa son congruentes y tienen el mismo sentido.
Ejercicio 226. Muestre el Teorema 225.
1. Dibuje dos semirrectas a, a0 de origen O, no colineales. Suponga la rotación que envía la semirrecta a en
0
a.
2. Dibuje la semirrecta s, con origen O, que esté en el interior de c0 .

aa Pinte s de color rojo.
3. Trace la circunferencia c de centro O que pase por un punto P de a.

4. Llame Q a la intersección de a0 y c; y R a la intersección de s y c.
5. Oculte c.
6. Use la herramienta Ángulo para marcar el ángulo α = OP

\ R. Elegir la siguiente opción: Propiedades→Básico→Ángulo
entre:→0° y 180°.
7. Use la herramienta Ángulo dada su amplitud para dibujar un ángulo β siendo un lado la semirrecta QO,
y el otro lado una semirrecta en el semiplano de borde la recta QO y que no está OP , y cuya amplitud
sea α. Se creará el punto O0 .
8. Use la herramienta Compás para dibujar una circunferencia d de radio PR y de centro en Q.

−−→
9. Trace la semirrecta b = QO0 .
10. Marque el punto S intersección de d y b.
11. Oculte O0 , d y b.
12. Trace la semirrecta s0 = OS . Píntela de rojo.
13. Dibuje los triángulos OP R y OQS y muestre que son congruentes.
14. Muestre que P

\ OR ≡ QOS
[ y c0 = P
aa \ OQ ≡ ROS c0 .
[ = ss
15. Mueva s hasta que sea exterior al c0

aa y pruebe que se cumple nuevamente que c0 = ss
aa c0 . ¾qué puede
concluir?
56
4. Continuidad
IV 1 (Axioma de Arquímedes) Sean AB y CD segmentos arbitrarios. Entonces sobre la recta AB existe un

número nito de puntos A1 , A2 , . . . An , situados de manera que A1 está entre A y A2 , A2 está entre A1
y A3 , etc., tales que los segmentos AA1 , A1 A2 , . . . , An−1 An son congruentes al segmento CD y B está
entre A y An
IV 2 (Axioma de Cantor). Supongamos que en una recta arbitraria a se da una sucesión innita de segmentos
A1 B1 , A2 B2 , . . ., de los cuales cada uno está en el interior del precedente; supongamos, además, cualquiera
que sea un segmento prejado, existe un índice n para el cual An Bn es menor que este segmento. Entonces
existe sobre la recta a un punto X , que está en el interior de todos los segmentos A1 B1 , A2 B2 , etc.
Proposición 227. Hay un solo punto que está en el interior de todos los segmentos mencionados en el axioma
de Cantor.
Ejercicio 228. Para probar la proposición 227 suponga que hay dos puntos X y Y , y muestre que el segmento
XY debería estar en el interior de todos los segmentos lo que contradiría corolario128 y teorema124.
4.0.5. Longitud de Segmentos

Denición 229. Llamaremos longitud a toda función de los segmentos en los reales positivos que cumple las
condiciones
M 1 A segmentos congruentes le corresponden longitudes iguales.
M 2 Si B es un punto interior del segmento AC y a los segmento AB y BC les corresponden las longitudes a
y b respectivamente, entonces al segmento AC le corresponde la longitud a + b.
M 3 Existe un segmento OO0 de longitud 1.
Al segmento OO0 se le llama unidad lineal o unidad de medida de longitudes.
Lema 230. Si un segmento AB es mayor que otro A0 B 0 entonces la longitud a de AB es mayor que la longitud
0 0 0
a de AB .
Ejercicio 231. Para demostrar el lema 230 siga los pasos a continuación.
1. Dibuje dos segmentos a = AB y a0 = A0 B 0 , con AB > A0 B 0 .

2. Muestre que existe un punto P entre A y B tal que AP ≡ A0 B 0 . Dibújelo
3. Dibuje los segmentos x = AP y y = P B. Píntelos de colores diferentes.
4. Llame del mismo modo a los segmentos y a su longitud. Muestre la igualdad numérica
a=x+y
5. Muestre la igualdad numérica

a = a0 + y
57
4.0.6. El Proceso de Medición
Observación 232. El proceso de medición es un proceso teórico que considera como entrada un segmento
cualquiera y como salida una expresión numérica. Primeramente se supone la existencia de un segmento de
longitud unidad OO1 . Sea un segmento cualquiera AB de longitud a. El proceso de medición determinará
puntos A1 , A2 , . . . , An , . . . sobre la semirrecta de origen A que pasa por B , de tal modo que Ai Ai+1 ≡ OO1 .
Si alguno de los puntos An coincide con B , el proceso de medición devuelve el número n y se detiene. Si no,
teniendo en cuenta el axioma de Arquímedes, existirán dos puntos An , An+1 de tal modo que B está entre
An y An+1 . En este último caso el proceso de medición devolverá n, pero determinará un punto P1 que será
el punto medio del segmento An An+1 . Si P1 coincide con B , el proceso se detendrá y devolverá n, 1. Si no es
así, pueden darse dos casos: B estará entre An y P1 o entre P1 y An+1 . En el primer caso devolverá n, 0 y
llamará P2 al punto medio del segmento An P1 , en el segundo caso devolverá n, 1 y llamará P2 al punto medio
del segmento P An+1 . Si P2 coincide con B , en el primer caso devolverá n, 01 y en el segundo n, 11 y el proceso
se detendrá. Si no, seguirá indenidamente.
Ejercicio 233. Dibuje la primera parte del Proceso de Medición siguiendo los pasos a continuación.
1. Dibuje dos segmentos a = AB y b = CD, tal que a sea mucho mayor que b, y que a no se encuentre en
posición vertical.
2. Cargue la herramienta para transportar segmentos.
3. En la barra de entrada de Comandos escriba n=0 y ListaA = {A}

4. Dibuje los puntos E, F y G. Oculte E y G.
5. Coloque un botón en algún lugar de la pantalla
a ) En la Caja de diálogo, en el título coloque Arquímedes 1.
b ) Escriba (no la numeración en romana)
L i s t a A=C o p i a O b j e t o L i b r e [ L i s t a A ]
E=E l e m e n t o [ L i s t a A , n +1]
E=C o p i a O b j e t o L i b r e [ E ]
G=T r a n s p o r t e d e S e g m e n t o s [ C , D, E , B ]
G=C o p i a O b j e t o L i b r e [ G ]
F=S i [ G* ( 1 , 0 ) >B * ( 1 , 0 ) , C o p i a O b j e t o L i b r e [ F ] , G ]
F=C o p i a O b j e t o L i b r e [ F ]
L i s t a A=S i [ G* ( 1 , 0 ) <B * ( 1 , 0 ) , Añade [ C o p i a O b j e t o L i b r e [ L i s t a A ] , F ] , C o p i a O b j e t o L i b r e [ L i s t a A ] ]
n=S i [ G* ( 1 , 0 ) <B * ( 1 , 0 ) , n +1 , n ]
c ) Sabiendo que el comando CopiaObjetoLibre se usa para quitar la dependencia de un objeto de otro,
explique la razón de las líneas i, iii, v, vii.
d ) Sabiendo que el comando Elemento se usa para extraer un elemento de una lista, explique la razón
de la línea ii.
e ) Sabiendo que la herramienta creada por el usuario para transportar segmentos se llama Transporte
de Segmentos que tiene asociado el comando TransportedeSegmentos, explique la razón de la línea
iv.
58
f ) Explique la línea vi. (La expresión G ∗ (1, 0) signica el producto escalar de G con el versor (1, 0).
Se usa para extraer la primera componente de un vector, en este caso G)
g ) Sabiendo que el comando Añade, añade un elemento a una lista, explique la razón de la línea viii.
h ) Presione el botón Aplicar en el pie del cuadro de texto
6. Coloque un botón en algún lugar de la pantalla
a ) En la Caja de diálogo, en el título coloque Reset.
b ) En el cuadro de texto
L i s t a A ={A}
n=0
c ) Explique este botón.
d ) Presione Aplicar en el pie del cuadro de texto.
7. Presione el botón Reset.
8. Presione el botón Arquímedes varias veces y observe la variación de n.

9. Modique el tamaño del segmento CD y vuelva a observar la variación de n.
10. Si consideramos el segmento CD como unidad lineal, observe que este procedimiento está de acuerdo con
la denición de la longitud de segmentos.
11. Suponga que existen dos longitudes, m y k , de un segmento AB . Según lo desarrollado hasta el momento,
¾qué puede armarse de m y k ?.
Ejercicio 234. Dibuje, en un nuevo archivo, la segunda parte del Proceso de Medición siguiendo los pasos a
continuación.
1. Dibuje un segmento a = AB , que no sea vertical, y un punto C en a.

2. Cargue la herramienta para transportar segmentos.
3. En la barra de entrada de Comandos escriba n = 0, ListaA = {A}y ListaB = {B} y ListaBin = {0}
4. Dibuje los puntos D, E , F , G y H. Oculte E, F , G y H.
5. Coloque un botón en algún lugar de la pantalla con el título Arquímedes2.
a ) Escriba (sin la numeración)
n=n+1
L i s t a B i n=C o p i a O b j e t o L i b r e [ L i s t a B i n ]
L i s t a A=C o p i a O b j e t o L i b r e [ L i s t a A ]
E=E l e m e n t o [ L i s t a A , n ]
E=C o p i a O b j e t o L i b r e [ E ]
L i s t a B=C o p i a O b j e t o L i b r e [ L i s t a B ]
59
F=E l e m e n t o [ L i s t a B , n ]
F=C o p i a O b j e t o L i b r e [ F ]
D=PuntoMedio [ E , F ]
D=C o p i a O b j e t o L i b r e [ D ]
r=C * ( 1 , 0 )
r=C o p i a O b j e t o L i b r e [ r ]
s=D * ( 1 , 0 )
s=C o p i a O b j e t o L i b r e [ s ]
G=S i [ r<s , E, D]
G=C o p i a O b j e t o L i b r e [ G ]
H=S i [ r<s , D, F]
H=C o p i a O b j e t o L i b r e [ H ]
m=S i [ r<s , 0 ,1]
m=C o p i a O b j e t o L i b r e [m]
L i s t a A=Añade [ C o p i a O b j e t o L i b r e [ L i s t a A ] , G ]
L i s t a B=Añade [ C o p i a O b j e t o L i b r e [ L i s t a B ] , H ]
L i s t a B i n=Añade [ C o p i a O b j e t o L i b r e [ L i s t a B i n ] ,m]
b ) Explique este botón
c ) Presione el botón Aplicar en el pie del cuadro de texto
6. Coloque un botón en algún lugar de la pantalla llamado Reset
a ) En el cuadro de texto
n=0
L i s t a A ={A}
L i s t a B ={B}
L i s t a B i n ={0}
b ) Explique este botón.
c ) Presione Aplicar en el pie del cuadro de texto.
7. Presione el botón Reset.
8. Presione el botón Arquímedes2 varias veces y observe la variación de los objetos ListaA, ListaB ,
ListaBin y n.
9. ¾Qué tipos de sucesiones se explicitan en las listas ListaA y ListaB ?
10. ¾Qué se indica en la ListaBin? (Recuerde la expresión binaria de un número real)
11. Observe que este procedimiento está de acuerdo con la denición de la longitud de segmentos.
12. Verique que este proceso da la representación binaria de la longitud de un segmento (bajo el supuesto
que se haya mostrado la existencia de una longitud). En otras palabras, si se hubiese dado la longitud de
todos los segmentos, el proceso de medición la expresaría. Por lo tanto, si existe la longitud sería única.
60
Lema 235. Asignemos a cada segmento el resultado del Proceso de Medición. Entonces, el Proceso de medición
aplicado a
1. la unidad lineal da 1,
2. segmentos congruentes dan resultados iguales.
Ejercicio 236. Pruebe el lema 235 usando el teorema 78 para mostrar que la sucesión de puntos que surgen
en cada paso del proceso de medición están en la misma disposición y consecuentemente, el resultado será el
mismo.
Lema 237. Sea un segmento P Q. Siempre es posible encontrar un número n tan grande como para que al
dividir la unidad lineal en2n partes iguales se obtengan segmentos cada uno de los cuales es menor que P Q.
1. Suponga para reducir el problema al absurdo que existe un segmento b = P Q, tal que no existe un entero
positivon para el cual la unidad lineal a = OO0 al ser dividida en 2n partes iguales se obtengan segmentos
ninguno de los cuales es menor que b
a ) Dibuje a a y a b de tal manera que b a. (En el dibujo puede ser de 1:6)
b ) Transporte el segmento b sobre la semirrecta OO0 . Llame a este punto O1 .

c ) Marque el punto medio A de a. b debe ser menor que OA.
0
d ) Sobre la semirrecta AO transporte el segmento b. Llame a este punto A1 .
e ) Pruebe que A está entre O1 y A1 . (Use el lema 35)
f ) Muestre que OA ≡ O1 A1 .
g ) Transporte el segmento b sobre la semirrecta O1 O0 . Llame a este punto O2 .
h ) Muestre que O2 está entre O1 y A1 . (Use el teorema 78)
0
i ) Muestre que O2 está entre O y O .
j ) Marque el punto medio B de O1 A1 .

0
k ) Sobre la semirrecta BO transporte el segmento b. Llame a este punto B1 .
l ) Muestre que O1 B ≡ O2 B1 .
m ) Suponga que PQ es menor que O1 B . Transporte el segmento PQ sobre la semirrecta O2 O0 . Llame
a este punto O3 .
n ) Muestre que O3 está entre O2 y B1 .
ñ ) Muestre que O3 está entre O y O0 .
o ) Muestre que si que el segmento PQ se mantiene menor que las sucesivas bisecciones de la unidad
lineal, entonces se generará una sucesión de puntos Oi que contradirá el axioma de Arquímedes.
2. Concluya la Prueba.
Corolario 239. El proceso de medición de un segmento no puede conducir a una fracción binaria innita en
la cual todas las cifras son iguales a 1, a partir de cierto orden.
61
Ejercicio 240. Pruebe el corolario 239 con ayuda del lema 237 (Suponga que puede ser el resultado del proceso
de medición una expresión con todos 1 desde un lugar en adelante. Muestre que esto genera una sucesión de
segmentos que son partes de la unidad lineal que contienen a un segmento jo.)
Lema 241. Si el segmento A∗ B ∗ es menor que el AB y los números b∗ y b fueron obtenidos al medir estos
∗
segmentos, entonces b < b.
1. Dibuje un segmento a = AB , un segmento b = CD y un segmento c = OO0 . Considere a OO0 la unidad

lineal.
2. Sobre la semirrecta AB transporte el segmento CD. El punto resultante llámelo B0.
3. Transporte el segmento OO0 , n veces, a partir de A hacia B hasta que la sucesión de puntos A1 , . . . , A n
sea tal que AAn sea mayor que AB y que AB 0 . Dibuje la sucesión de puntos A1 , . . . , A n .
4. Mueva el punto D y el punto B, de tal forma que An−1 esté entre B y B0, y B0 interior a a. ¾Qué
resultados da la parte entera del proceso de medición sobre los segmentos a y AB 0 ?
5. Mueva el punto D y el punto B, de tal forma que ambos estén entre An−1 y An , pero que B0 sea interior
a a.
6. Muestre que si en este último caso el proceso de medición diera una sucesión de puntos tales que no hay
ninguno entre B y B0 contradiría la proposición 237.
Teorema 243. Sea AC un segmento arbitrario, B un punto interior de AC . Sean a, b y c, los números
obtenidos al medir los segmentos AB , BC y AC . Entonces
a+b=c
1. Dibuje los segmentos a = AC y el punto B en a.

2. Dibuje el segmento d = DE y considérelo la unidad lineal.
3. Dibuje un punto H en d tal el segmento DH tenga su medición igual a 1/8.
4. Transporte el segmento DH a partir de B hacia C, k veces determinando los puntos C1 , . . . , Ck de tal

modo que
BCk−1 < BC ≤ BCk
5. Transporte el segmento DH a partir de B hacia A, l veces determinando los puntos A1 , . . . , A k de tal

modo que
BAl−1 < BA ≤ BAl
6. Muestre que
Al−1 Ck−1 < AC ≤ Al Ck
62
7. Sean a, b y c, los números obtenidos al medir los segmentos AC , BC y AB . Muestre que
1 1
(l − 1) < a≤ l
2n 2n
1 1
(k − 1) < b ≤ nk
2n 2
1 1
(k + l − 2) < c ≤ n (k + l)
2n 2
8. Probar que
1 1
− <a+b−c≤ n
2n 2
Ejercicio 245. Muestre que para cada segmento hay efectivamente un número que cumple con la denición
de longitud y que es el único posible si se ha jado una unidad lineal. Además, la longitud está determinada
por el proceso de medición.
Denición 246. Llamaremos magnitud a toda función de los ángulos en los reales positivos que cumple las
condiciones:
M 1 A ángulos congruentes le corresponden magnitudes iguales.
M 2 Si la semirrecta l es interior del ángulo < (h, k) y a los ángulos < (h, l) y < (l, k) les corresponden las
magnitudes α y β respectivamente, entonces al ángulo < (h, k) le corresponde la longitud α + β .
M 3 Existe un ángulo < (o, o0 ) de magnitud 1.
Al ángulo < (o, o0 ) se le llama unidad angular o unidad de medida de amplitudes.
Ejercicio 247. Enuncie el proceso de medición para ángulos.
Teorema 248. Cualquiera que sea el número real a>0 existe algún segmento que es de longitud igual a a.
Ejercicio 249. Suponga un segmento de longitud 6,125. Describa los pasos en un proceso de medición. ¾Para
qué números el proceso de medición consta de innitos pasos? ¾Cuándo el resultado es una sucesión periódica?
Ejercicio 250. Pruebe el teorema 248 para el caso en que, si a < 1, no puede ser representado por una sucesión
nita; siguiendo los pasos a continuación.
1. Dibuje un segmento a = AB .
2. En la barra de entrada de comandos escriba ListaBin = 0, 1, 1, 0, 1, 1, n = 1 y r = 1.

3. Pegue un botón, en el Título escriba NroYSegmento
a ) En Guión, copie el código siguiente
63
n=n+1
L i s t a B i n=C o p i a O b j e t o L i b r e [ L i s t a B i n ]
r=E l e m e n t o [ L i s t a B i n , n ]
r=C o p i a O b j e t o L i b r e [ r ]
M=PuntoMedio [ I , D ]
M=C o p i a O b j e t o L i b r e [M]
I=S i [ r ==0, C o p i a O b j e t o L i b r e [ I ] ,M]
I=C o p i a O b j e t o L i b r e [ I ]
D=S i [ r ==0,M, C o p i a O b j e t o L i b r e [ D ] ]
D=C o p i a O b j e t o L i b r e [ D ]
b ) Interprete el programa
c ) Presione Aplicar
4. Pegue un botón, en el Título escriba Reset
a ) En Guión, copie el código siguiente
n=1
D=B
I=A
M=A
b ) Presione Aplicar.
5. Presione el botón Reset
6. Oculte M.
7. Presione cinco veces el botón NroYSegmento
8. Halle el número decimal f que corresponde a la forma binaria 0, 11011.

9. Dibuje el segmento b = AI .
10. En la barra de entrada escriba f = b/a.
11. Compruebe que el número f es igual al cociente de longitudes b/a. (en el menú Opciones elija redondeo
y luego cinco cifras decimales.
12. Suponga que la lista ListaBin es una sucesión binaria innita.
13. Muestre que en este caso, a partir de un valor, no pueden ser todos 0 o todos 1.
14. Note que de un paso al siguiente el segmento obtenido es la mitad izquierda o derecha del anterior según
el elemento de la lista sea 0 o 1.
15. Muestre que se genera una sucesión innita encajada de segmentos.
16. Use el axioma de Cantor para concluir con la prueba.
64
Proposición 251. Dentro de cada segmento existen puntos que lo dividen en n partes iguales.
Ejercicio 252. Para demostrar la proposición 251 siga los pasos a continuación.
1. Sea un segmento AB cualquiera. Pruebe que tiene una longitud a.

2. Pruebe que existe un segmento b que tiene longitud a/n, para un n entero positivo.
3. Pruebe que a partir de A en dirección a B pueden determinarse puntos A1 , . . . , An tales que los segmentos
Ai Ai+1 (1 ≤ i ≤ n − 1), son congruentes con b y con AA1 .
Teorema 253. Dado un plano α, una recta a en α, un punto O en a. Llamemos positivo a uno de los
semiespacios determinados por α y al otro negativo. Llamemos positivo a uno de los semiplanos determinados
por a y al otro negativo. Llamemos positiva a una de las semirrectas determinadas por O y a la otra negativa.
Llamemos a O origen de coordenadas. Asignemos a cada punto P del espacio tres cantidades reales de la
manera siguiente.
1. Desde P tracemos una perpendicular a α. Sea Mα el pie de la perpendicular. Asignamos la cantidad z a

P de la siguiente manera
a) Si P está en el semiespacio positivo z es la longitud del segmento P Mα

b) Si P está en el semiespacio negativo −z es la longitud del segmento P Mα
c) Si P está en α, z es 0.
2. Desde Mα tracemos una perpendicular a a. Sea Ma el pie de la perpendicular. Asignamos la cantidad y a

P de la siguiente manera
a) Si Mα está en el semiplano positivo y es la longitud del segmento M α Ma

b) Si Mα está en el semiplano negativo −y es la longitud del segmento Mα Ma
c) Si Mα está en a, y es 0.
3. Asignamos la cantidad x a P de la siguiente manera
a) Si Ma está en la semirrecta positiva x es la longitud del segmento OMa

b) Si Ma está en la semirrecta negativa −x es la longitud del segmento OMa
c) Si Ma es O, x es 0.
Entonces esta asignación es una función biyectiva de los puntos en las ternas de números reales. A esta función
le llamaremos coordenadas.
1. Pruebe que existe un comportamiento funcional en la asignación del teorema, es decir que, para cualquier
punto P, existen todos los objetos requeridos por el teorema y además que son únicos. (Por ejemplo,
debe probarse que existe un único punto Ma para cada P. )
2. Abra una hoja de GeoGebra en la vista 3D. Oculte los ejes y el plano xy .
65
3. En la barra de entrada de comandos escriba α = P lano[(4, 0, 0), (0, 4, 0), (0, 0, 4)].
4. En la barra de entrada de comandos escriba P = (4, 4, 4).
5. Sobre α dibuje una recta a = OA y un punto B fuera de a pero en α. Llame positiva a la semirrecta OA,
a la opuesta negativa. Llame positivo al semiplano donde está B y al opuesto negativo. Elija uno de los
semiespacios y llámele positivo y al otro negativo.
6. Trace la perpendicular b desde P a α.

7. Marque el pie Mα de b.
8. Trace la perpendicular c desde Mα a a.
9. Marque el pie Ma de c.
10. Muestre que dados un plano α, una recta a en α, un punto O en a, y un punto P ; puede determinarse
tres cantidades reales x, y y z , de forma única, tal que |x| = P Mα , |y| = Mα Ma y |z| = Ma O y el signo
de x, y y z, conforme indica el teorema.
11. Pinte de rojo el segmento d = P Mα , de verde al segmento e = Mα Ma y de azul al segmento Ma O .
12. Para considerar la función inversa considere x0 , y 0 y z0 tres números reales

6 cualesquiera. Demuestre que:
a ) Existe un único punto Ma0 sobre a tal que:
0 0 0 0
1) si x es positivo Ma está sobre la semirrecta positiva y el segmento Ma O tiene longitud x .
0 0 0 0
2) si x es negativo Ma está sobre la semirrecta negativa y el segmento Ma O tiene longitud −x .
0 0
3) si x es cero Ma es O .
b ) Existe un único punto Mα0 sobre α tal que:
1) si y0 es positivo Mα0 está sobre la semirrecta perpendicular a a de origen Ma0 que está sobre el
0 0
semiplano positivo y el segmento Ma Mα tiene longitud y .
0 0
2) si y es negativo Mα está sobre la semirrecta perpendicular a a de origen Ma0 que está sobre el
0 0
semiplano negativo y el segmento Ma Mα tiene longitud −y .
0 0
3) si y es cero Mα es Ma .
c ) Existe un único punto P0 tal que:
0 0
1) si z es positivo P está sobre la semirrecta perpendicular a α de origen Mα0 que está sobre el
0 0
semiespacio positivo y el segmento P Mα tiene longitud z .
2) si z0 es negativo P0 está sobre la semirrecta perpendicular a α de origen Mα0 que está sobre el
0 0
semiespacio negativo y el segmento P Mα tiene longitud −z .
3) si z0 es cero P0 es O.
0 0 0
d ) Los números x,y y z son las coordenadas de P 0.
6 Las propiedades de los reales como un cuerpo continuamente ordenado las presupondremos en este texto.
66
Corolario 255. Entre el conjunto ordenado de todos los puntos de una recta y el conjunto ordenado de todos
los números reales puede establecerse una correspondencia biyectiva tal que es un isomorsmo que preserva el
orden.
Ejercicio 256. Pruebe el corolario 255. (Revise el orden de los puntos en una recta)
Observación 257. Un resultado del estudio de los reales es el principio de Dedekin que expresa lo siguiente:
Si todos los números reales están divididos en dos clases de manera que
1. cada número pertenece a una clase y solo a una; y cada clase contiene números
2. cada número de la primera clase es menor que cada número de la segunda, entonces o bien en
la primera clase existe un número máximo o bien en la segunda un mínimo.
Teorema 258. (Principio de Dedekind para la recta) Si todos los puntos de una recta están divididos en dos
clases de manera que:
1. cada punto pertenece a una clase y solo a una; y cada clase contiene puntos
2. cada punto de la primera clase precede a cada punto de la segunda,
entonces, o bien en la primera clase existe un punto que sigue a todos los demás de su clase o bien en la
segunda uno que precede a todos los demás de dicha clase.
Ejercicio 259. Para probar el teorema 258 use el corolario 255 y el principio de Dedekind para los reales.
Teorema 260. Si a los axiomas I-III le agregamos el principio de Dedekind, los axiomas de Cantor y de
Arquímedes pueden ser deducidos.
Ejercicio 261. Para demostrar el 260 siga los pasos a continuación.
1. Suponga que existen dos segmentos AB y CD que contradicen el principio de Arquímedes (¾En qué
consiste la contradicción?). Tome el orden de los puntos en la recta AB desde A a B.
2. Forme una sucesión de puntos A1 , . . . , An, , . . ., innita a partir de A en dirección a B , tal que los segmentos
Ai Ai+1 (i = 1, . . .), AA1 y CD son congruentes.
3. Note que ninguno de los puntos Ai de la sucesión puede dejar a B entre A y Ai .
4. Forme la clase de todos los puntos P tales que existe un Ai que sigue a P . Llame a ésta primera clase, y
a todos los otros puntos de la recta AB supóngalos de la segunda clase.
5. Verique que estas clases satisfacen el principio de Dedekind.
6. Llámele E al punto de Dedekind. Muestre que debe estar en la segunda clase.
7. Tome un punto F que esté antes que E y que EF ≡ CD.
8. Pruebe que F debe estar en la primera clase.
9. Muestre que debe existir un punto An después de F.

10. Muestre que debe existir un punto An+1 después de E. (Lo que es absurdo)
67
11. Concluya que esto prueba el principio de Arquímedes.
12. Suponga una sucesión de segmentos A1 B 1 , . . . , A n B n , . . . que satisfagan las hipótesis del axioma de Can-
tor.
13. Muestre que las sucesiones A1 , . . . , A n , . . . y B1 , . . . , Bn , . . ., deben ser innitas. Suponga que la sucesión
A1 , . . . , A n , . . . es innita.
14. Forme la clase de todos los puntos P tales que existe un Ai que sigue a P . Llame a esta primera clase y
a todos los otros puntos de la recta A1 B1 supóngalos de la segunda clase.
15. Verique que estas clases satisfacen el principio de Dedekind.
16. Llámele E al punto de Dedekind. Muestre que debe estar en la segunda clase.
17. Pruebe que este punto no puede estar después de ningún Bi .

Teorema 262. Si todas las semirrectas interiores de un ángulo están divididas en dos clases de manera que:
1. cada semirrecta pertenece a una clase y solo a una; y cada clase contiene alguna semirrecta
2. cada semirrecta de la primera clase precede a cada una de la segunda, entonces o bien en la primera clase
existe una semirrecta que sigue a todas las demás de su clase o bien en la segunda, una que precede a
todas los demás de dicha clase.
1. Dibuje tres puntos no alineados A, O y B.

2. Trace las semirrectas a = OA, b = OB y dos semirrectas interiores a < (a, b) c = OC y d = OD, con c
entre a y d.
3. Trace la recta e = AB .
4. Oculte C y D.
5. Marque el corte C de c con e y el corte D de d con e.
6. Muestre que C está entre A y D.
7. Verique que un orden de los puntos en el segmento AB coincide con el orden de las semirrectas interiores
del ángulo < (a, b).
8. Verique que se induce una biyección ν entre los puntos del segmento AB y las semirrectas interiores del
ángulo < (a, b) que preserva el orden.
9. Verique que si se tiene una clase de semirrectas se inducirá una clase de puntos sobre la recta e.
68
4.1. La circunferencia
Denición 264. Dado un punto O y un punto A 6= O , el lugar de los puntos P tales que los segmentos AO
y P O sean congruentes le llamaremos circunferencia de centro O que pasa por A. A cualquier segmento OP ,
con P un punto de la circunferencia le llamaremos radio de la circunferencia. Sea A y B dos puntos de una
circunferencia, al segmento AB le llamaremos cuerda de la circunferencia. A las cuerdas que pasan por el centro
de la circunferencia les llamaremos diámetros. Una cuerda de una circunferencia divide a esta en dos arcos de
acuerdo al lado de la prolongación de la cuerda. Una recta tangente a una circunferencia es una recta con un
solo punto en común con la circunferencia.
Proposición 265. Una tangente a una circunferencia es la perpendicular al radio por el punto de tangencia.
Ejercicio 266. Para probar la proposición siga los pasos a continuación.
1. Marque un segmento b = AO.

2. Por A marque una recta a que no sea ni perpendicular ni colineal al segmento b
3. Trace la perpendicular c a a por O y su pie M.
4. Marque el simétrico A0 de A con respecto a M.
5. Pruebe que los triángulos AM O y A0 M O son congruentes.
6. Pruebe que si una circunferencia d de centro O pasa por A entonces pasa también por A0 . Dibuje a d.
7. Trace una perpendicular e a b por A. Píntela de rojo.
8. Marque en e un punto C 6= A.
9. Muestre que OC > OA.
10. Marque un punto D cualquiera al otro lado de e que O.
11. Muestre que OD > OA.
Proposición 267. Una circunferencia y una recta no pueden tener tres puntos en común.
Ejercicio 268. Pruebe la proposición 267siguiendo los pasos a continuación.
1. Dibuje la recta a = AB y un punto O fuera de ella.
2. Marque un punto C con B entre A y C.

3. Trace los segmentos b = AO, c = BO y d = CO.
4. Muestre que los segmentos b, c y d no pueden ser congruentes (Note que ABO
\ es suplementario del OBC
\)
Proposición 269. Los puntos interiores de un segmento con extremos en un círculo están en el círculo .
7
7 En este caso se dice que los círculos son conjuntos convexos
69
Ejercicio 270. Pruebe la proposición 269. (Use el corolario 141)
Teorema 271. Si una recta tiene un punto en el interior de un círculo, entonces cortará la circunferencia en
dos puntos (distintos)
1. Trace una circunferencia k de centro A que pase por B y una recta a = CD con C en el interior de k y
con D en el exterior.
2. Dibuje el segmento r = AB .
3. Deje jos a los puntos A, B , C y D.
4. Oculte los puntos B, C y D y el segmento r.
5. Trace la perpendicular b desde A a a. Al pie de la perpendicular llámele O.
6. Fije un sistema de abscisas sobre a con origen en O de coordenadas x.
7. Dibuje los puntos E y F sobre a. Asigne a estos puntos los títulos x y x + ∆x, respectivamente.
8. Trace los segmentos c = AE y d = AF con los títulos s (x) y s (x + ∆x).

9. Sea s una función que asigna a cada coordenada x la distancia a A. Pruebe, usando la desigualdad
triangular, que
|∆s| = |s (x + ∆x) − s (x)| < |∆x|
10. Pruebe que

lı́m ∆s = 0
∆x→0
11. Pruebe que la función s es continua.
12. Oculte el punto F y el segmento d = AF .

13. Transporte el segmento r = AB sobre la semirrecta Ox. Marque la coordenada r sobre a.
14. Pruebe que s (0) < r y s (r) > r.
15. Pruebe que la función s (x) − r cambia de signo cuando x va de 0 a r.
16. Pruebe que debe existir un valor x = x1 , tal que s (x1 ) − r = 0.
Teorema 273. Si dos circunferencias ω1 y ω2 , de centros O1 y O2 , y radios r1 y r2 (r1 ≤ r2 ) cumplen que
r2 − r1 < O2 O1 < r2 + r1
entonces se cortarán en dos puntos distintos.
1. En la barra de entradas de comandos escriba O1 = (0, −1), O2 = (5, 5), r1 = 4 y r2 = 6.
70
2. Dibuje la recta a = O2 O1 .
3. Trace las circunferencias ω1 y ω2 , de centros O1 y O2 , y radios r1 y r2 .
4. Marque la intersección A de ω2 con la semirrecta O2 O1 .
5. Marque la intersección B de ω1 con la semirrecta O1 O2 .
6. Pruebe que A está en el interior de ω1 y B en el interior de ω2 .
7. Pruebe que el segmento AB está en el interior de ω1 y de ω2 .
8. Pruebe que toda semirrecta perpendicular a a por un punto del segmento AB con origen en el segmento
AB , corta tanto a ω1 como a ω2 .
9. Considere un lado de X de todos los puntos P de la semirrecta opuesta a AB junto con
a y la clase
Q tal que A < P < Q < B y QC2 < QC1 , donde C1 es el corte de ω1 con la
aquellos tales que existe un
semirrecta perpendicular a a de origen Q, y C2 es el corte de ω2 con la semirrecta perpendicular a a de
8
origen Q; y la clase Y de todos los demás puntos de la recta a. Pruebe que los puntos de la semirrecta
opuesta a BA están en Y . De ahora en más solamente consideraremos un lado de a.
10. Pruebe que cualquier punto D del segmento AB que sea menor o igual a algún punto P de X está en X.
11. Muestre que X y Y cumplen con las hipótesis del principio de Dedekind.
12. Muestre que existe un punto M que es el mínimo de Y.

13. Trace una perpendicular b a a por B. Muestre que b es tangente a ω1 .
14. Pruebe que existe un punto C de corte de b con ω2 . Dibuje a C.
15. Trace la recta c = AC .
16. Pruebe que existe un punto D de corte de c con ω1 . Dibuje a D.
17. Pruebe que D está entre A y C. (Use la proposición 269)
18. Trace la perpendicular d a a por D.

19. Muestre que d no corta al segmento BC .
20. Muestre que d corta al segmento AB en un punto E. Dibuje a E.
21. Dibuje un punto F cualquiera entre E y B. Muestre que F está entre A y B.
22. Muestre que F se encuentra al otro lado de c que el arco AC que está en el lado de b donde está A.
23. Muestre que F se encuentra del mismo lado de c que el arco DB que está en el lado de c donde está B.
24. Trace la recta e perpendicular a a por F.
25. Muestre que e corta al segmento AC en un punto G. Dibuje a G.
8 Es recomendable dibujar puntos y semirrectas en estas circunstancias para dar una representación visual del problema; y luego
borrarlas debido a la complejidad de los dibujos que siguen.
71
26. Muestre que e corta al arco DB en un punto C1 y arco AC en un punto C2 . Dibuje a C1 y a C2 .
27. Pruebe que F C2 > F C1 .
28. Concluya que existe un punto de Y que está en el segmento AB .
29. Pruebe que M debe estar entre A y B.
30. Guarde su trabajo y renómbrelo.
31. Borre los puntos C y F y la recta b.

32. Dibuje el punto M y la recta b perpendicular a a por M.
33. Marque los puntos C1 y C2 de corte de b con ω1 y ω2 , respectivamente.
34. Suponga para reducir el problema al absurdo que M que es el mínimo de Y y suponga que M C2 < M C1 .
a ) Arrastre a M hasta que M C2 < M C1 .

b ) Trace la tangente c a ω2 por C2 .
c ) Marque un punto R entre C1 y C2 . Pruebe que R está al otro lado de B con respecto a c.
d ) Trace el segmento d = RB . Muestre que todos los puntos de d están en el interior de ω1 .
e ) Pruebe que existe un punto C de intersección c y d.
f ) Pruebe que C está fuera de ω2 , pero dentro de ω1 .
g ) Trace la perpendicular e desde C a a. Marque su pie D .
h ) Muestre que D está
1) entre M y B.
2) entre A y B.
3) del mismo lado que ω2 con respecto a c.
i ) Muestre que e corta a ω1 en un punto D1 y a ω2 en un punto D2 .
j ) Pruebe que C está entre D1 y D.
k ) Pruebe que D2 está entre C y D.
l ) tal que DD2 < DD1 .
m ) Muestre que esto lleva a un absurdo.
9
35. Guarde su trabajo y renómbrelo.
36. Borre el punto R y a la recta d.

37. Suponga para reducir el problema al absurdo que M que es el mínimo de Y y suponga que M C1 < M C2 .
a ) Arrastre a M hasta que M C1 < M C2 .

b ) Trace la tangente d a ω1 por C1 .
c ) Marque un punto R entre C1 y C2 . Pruebe que R está al otro lado de A con respecto a d.
9 Puede arrastrar el punto M desde A hacia B y notar el comportamiento de D.
72
d ) Trace el segmento e = RA. Muestre que todos los puntos de e están en el interior de ω2 .
e ) Pruebe que existe un punto C de intersección d y e.
f) Pruebe que C está fuera de ω1 , pero dentro de ω2 .
g) Trace la perpendicular f desde C a a. Marque su pie D .
h) Muestre que D está entre M y A.
i) Marque los puntos D1 y D2 cortes de ω1 y ω2 con f .
j) Pruebe que DD1 < DD2 .
k) Oculte C1 , C2 , C , M , R, b, d, y e.
l) Trace la tangente f a ω1 por D1 .
m) Marque un punto E en el segmento DB .
n) Trace la perpendicular g a a por E .
ñ) Marque los puntos E1 y E2 cortes de ω1 y ω2 con g .
o) Pruebe que EE1 < EE2 .
p) Concluya que D está en Y .
q ) Concluya que esto lleva a un absurdo.
4.2. Construcciones con regla y compás
Observación 275. Las construcciones con regla y compás es un método (teórico) que indica que dados dos
puntos distintos A y B siempre se puede trazar una recta que pase por elos y también una circunferencia de
centro uno de ellos y que pase por el otro. También se reconoce dentro de este método que puede saberse si
dos rectas construidas o una recta y una circunferencia, o dos circunferencias tienen o no intersecciones y en
caso de tenerla cuántas y cuáles.
Ejercicio 276. Realice las construcciones siguientes y justifíquelas
1. Un triángulo equilátero dados dos vértices.
2. Una perpendicular a una recta dada que pase por un punto dado.
3. La bisectriz de un ángulo dado.
4. Un ángulo de 30°
5. Paralelismo
V (Axioma de paralelismo) Sea a una recta arbitraria, y A, un punto exterior a ella; entonces en el plano
determinado por A y la recta a, se puede trazar a lo sumo una recta que pasa por A y no interseca a a.
5.1. Consecuencias del Axioma de las paralelas
Corolario 277. Por un punto exterior a una recta pasa exactamente una paralela.
Ejercicio 278. Pruebe el corolario 277. (Use el corolario ?? y el axioma de las paralelas).
73
Figura 2: Ángulos formados por paralelas cortadas por una transversal
5.2. Ángulos entre paralelas cortadas por una transversal
Denición 279. Sean dos rectas paralelas

10
a0 cortadas por una transversal t en los puntos A y A0 ,
a y
0 0
respectivamente (Ver gura 2). Tomemos los puntos B y B en a y en a respectivamente, a un lado de t; y los
0 0
puntos C y C en a y en a respectivamente, al otro lado de t. Tomemos el punto D tal que A está entre D y
A0 y el punto D0 tal que A0 está entre D0 y A. Obtenemos ochos ángulos, cuatro en cada punto de intersección,
nombrados de la manera siguiente:
1. \0
BAA y 0 A0 A, B
C\ \ 0 A0 A y \0 ,
CAA son alternos internos entre paralelas cortadas por una transversal.
Pintados en rojo en gura 2.
2. BAD
\ y 0 A0 D 0 , B\
C\ 0 A0 D 0 y CAD
\, son alternos externos entre paralelas cortadas por una transversal.
Pintados en azul en gura 2.
3. \0
BAA y 0 A0 D 0 , D
B\ \ 0 A0 A y BAD \0
\ , CAA y 0 A0 D 0
C\ y, 0 A0 A
C\ y CAD
\, son correspondientes entre paralelas
cortadas por una transversal. Pintados en verde en gura 2.
4. \0
CAA y 0 A0 A, BAA
C\ \0 y AA
\ 0B0, son conjugados internos entre paralelas cortadas por una transversal.
5. CAD
\ y 0 A0 D 0 , DAB
C\ \ y 0 A0 B 0
D\ son conjugados externos entre paralelas cortadas por una transversal.
Teorema 280. Los ángulos alternos internos entre paralelas cortadas por una transversal, son congruen-
tes. Además, si dos rectas al ser cortadas por una transversal forman ángulos alternos internos iguales, son
paralelas.
Ejercicio 281. Para la demostración del teorema 280 haga lo siguiente:
1. Abra una hoja de GeoGebra ang_alt_int.ggb
2. Para mostrar que los ángulos alternos internos entre paralelas son congruentes, reduzca el problema al
absurdo
a ) Suponga que existen, a y a0 , paralelas cortadas por una transversal t en los puntos A y A0 , tal que
los ángulos alternos internos no son iguales.
10 paralela y que no se cortan va a ser lo mismo
74
b ) Note que si por A0 se trazara una recta a00 , tal que forme con a y t ángulos alternos internos iguales;
0 0 00
tendríamos por A , exterior a a, dos rectas, a y a , paralelas a a. Lo que contradice que por un
punto exterior a una recta hay una única paralela.
3. Para mostrar que si dos rectas al ser cortadas por una transversal forman ángulos alternos internos
iguales, son paralelas siga los pasos siguientes
a ) Trace la recta a = OA y la recta b = OB .

b ) Trace las circunferencias c de centro O que pasa por A, y d de centro O que pasa por B.
0 0
c ) Marque la segunda intersección A de la recta a con c y la segunda intersección B de b con d.
0 0
d ) Muestre que los triángulos OAB y OA B son congruentes.
0 0
e ) Muestre que las rectas AB y AB son paralelas.
Ejercicio 282. Para probar que la suma de los ángulos interiores de una triángulo suman dos rectos siga los
pasos siguientes
1. Dibuje un triángulo ABC que sea notablemente escaleno.
2. Por C trace la paralela a AB .

3. Use el teorema 280 para concluir este ejercicio.
Denición 283. Un paralelogramo ABCD, de lados AB , BC , CD y DA, es un cuadrilátero con los lados
opuestos paralelos.
Ejercicio 284. Para mostrar que un paralelogramo tiene los lados opuestos congruentes y que las diagonales
se bisecan siga los pasos siguientes:
1. Cree una hoja de GeoGebra paralelogramo.ggb
2. Dibuje un paralelogramo ABCD.
3. Pruebe que el B es interior del ángulo ADC

\ y A es interior del ángulo BCD
\.
4. Pruebe que las diagonales se cortan en un punto E.

5. Trace las diagonales AC y BD y el punto de corte E.
6. Muestre que los triángulos ABD y BCD son congruentes.
7. Muestre que los lados opuestos de un paralelogramo son congruentes.
8. Muestre que los triángulos ABE y CDE son congruentes.
9. Muestre que las diagonales se bisecan.
Ejercicio 285. Demuestre que si en un cuadrilátero sus diagonales se bisecan, es un paralelogramo. (Use el
teorema 280).
75
5.3. Proposiciones equivalentes al axioma de las paralelas
5.3.1. El quinto postulado de Euclides

Observación 286. Con la intención de sintetizar la geometría plana, Euclides fundamentó la geometría expo-
niendo un grupo de axiomas y postulados, de los cuales el más famoso es el quinto postulado que se expone de
la manera siguiente
Y que cada vez que una recta, al intersecar otras dos, forme a un mismo lado ángulos internos
cuya suma sea menor que dos rectos, dichas dos rectas se intersecarán en aquel lado en el cual esta
suma es menor que dos rectos.
Teorema 287. Si se asume el quinto postulado de Euclides tiene lugar el axioma de las paralelas.
1. Dibuje una recta a = AB y un punto P fuera de a.

2. Trace la perpendicular b a a por P. Sea C el pié de la perpendicular.
3. Trace la perpendicular c a b por P.

4. Pruebe que c es una paralela a a por P.
5. Pruebe que otra recta distinta de c = DP (que pase por P) debe formar con b a uno de sus lados un
ángulo agudo. Dibuje a c y suponga que α = CP

\ D es agudo.
6. Use el postulado de Euclides para mostrar que a y d deben cortarse.
Teorema 289. Si se asume el axioma de las paralelas tiene lugar el quinto postulado de Euclides.
1. Dibuje una recta a = AB y un punto P fuera de a.

2. Trace una recta b = AP .
3. Marque un punto C interior al ángulo BAP
\, de tal modo que BAP
\ + AP
[ C < π.
4. Trace una recta c = P C.
5. Suponga para reducir el problema al absurdo que c y a no se cortan.
a ) Marque un punto D interior al ángulo BAP

\, de tal modo que BAP
\ + AP
\ D = π.
b ) Trace una recta d = P D.
c ) Pruebe que a y d no se cortan. (Use el teorema 135)
d ) Muestre que esto está en contradicción con el axioma de las paralelas.
6. Dibuje un punto E sobre c, de tal modo que P esté entre E y C.

7. Dibuje un punto F sobre d, de tal modo que P esté entre F y D.
76
8. Suponga por el absurdo que las rectas a y c se cortan en un punto G del lado de E con respecto a b.
a ) Pruebe que el ángulo EP

[ A es mayor que el F[
P A.
b ) Muestre que el triángulo AP G tiene entonces un ángulo exterior menor que un ángulo interior no
adyacente
c ) Concluya con el absurdo
5.3.2. La suma de los ángulos interiores de un triángulo

Teorema 291. Si la suma de los ángulos de cada triángulo suma dos rectos, tiene lugar el axioma de las
paralelas.
1. Trace el segmento a = AB .
2. Trace las rectas b y b0 perpendiculares a a por B y por A respectivamente.
3. Sobre uno de los lados α de la prolongación de a, marque el punto C sobre b0 .

4. Sobre α y sobre b tome el punto B1 de tal modo que BA ≡ BB1 .
5. Pruebe que
π
BB 1 A ≡ BAB1 ≡ B1 AC =
\ \ \
4
6. Sobre la semirrecta opuesta a la B1 B tome el punto B2 de tal modo que B1 B2 ≡ AB1 .
7. Pruebe que
π
1 B2 A ≡ B1 AB2 ≡ B2 AC =
B\ \ \
8
8. Sobre la semirrecta opuesta a la B2 B1 tome el punto B3 de tal modo que B2 B3 ≡ AB3 .
9. Pruebe que
π
2 B3 A ≡ B2 AB3 ≡ B3 AC =
B\ \ \
16
10. Generalice el procedimiento bosquejado en los ítems anteriores y pruebe que para el paso n
π
Bn−1
\ Bn A ≡ Bn−1
\ ABn ≡ B
\ n AC =
2n+1
11. Pruebe que si una recta r. forma con la semirrecta AB hacia el lado α un ángulo agudo β debe existir
un valor n tal que
BAB
\n > β
77
Denición 293. Designaremos por S (∆) la suma de los ángulos interiores de un triángulo ∆, y por D (∆) la
diferencia entre dos rectos y dicha suma, de forma que
D (∆) = π − S (∆)
esta diferencia suele llamarse el defecto del triángulo.
Lema 294. En cada triángulo la suma de dos ángulos es menor que dos rectos.
Ejercicio 295. Pruebe el lema 294. (Revise la prueba del teorema 135)
Lema 296. Para cada triángulo es posible construir uno nuevo que tenga la misma suma de ángulos internos
que el dado y con uno de sus ángulos al menos dos veces menor que algún ángulo prejado del triángulo dado.
En general, Para cada triángulo es posible construir uno nuevo que tenga la misma suma de ángulos internos
que el dado y para cada real ε, uno de sus ángulos de amplitud menor que ε.
1. Dibuje el triángulo ABC de lados correspondientes a, b y c.

2. Marque el punto medio O del lado a.
3. Marque el simétrico A0 de A con respecto a O.
4. Trace los segmentos d = AA0 y e = A0 C .
5. Marque los ángulos α1 = BAO

\, α2 = OAC
[ , β = ABC
\, γ1 = ACB \0
\, γ2 = BCA y α0 = AA
\ 0C .
6. Pruebe que
S (ABC) = α1 + α2 + β + γ1
0
S (AA C) = α1 + α0 + γ1 + γ2
7. Pruebe que los triángulos ABO y COA0 son congruentes.
8. Pruebe que
α0 = α1 , γ2 = β
9. Pruebe que α 0 + α2 es igual al ángulo en A. (O sea que uno de los sumandos debe ser menor o igual que
la mitad del ángulo en A).
10. Concluya la primera parte de la prueba.
11. Construya una herramienta para dados tres puntos no alineados A, B y C encontrar un punto A0 tal que
sea el simétrico de A con respecto al punto medio del lado a. (Como en el lema 296)
12. Suponga que el ángulo A

\ 0 AC 6 A
\ 0 AB . Sea α = BAC
\. Muestre que el triángulo ACA0 tiene un ángulo
(en este caso α2 , que es menor o igual que α/2.
13. Use la herramienta para generar un punto A00 considerando el triángulo AA0 C .
14. Trace el segmento AA00 y el punto medio O0 de A0 C .
78
15. Suponga que el ángulo 0 AA00 6 A
A\ \ 00 AC . Muestre que el triángulo A00 AA0 tiene un ángulo que es menor
o igual que α/4.
16. Pruebe que los triángulos ACO0 y A00 O0 A0 son congruentes.
17. Pruebe que la suma de los ángulos interiores de los triángulos AA0 A00 , AA0 C y ABC es la misma.
18. Use la herramienta para generar un punto A000 considerando el triángulo AA0 A00 .
19. Trace el segmento AA000 y el punto medio O00 de A00 A0 .
20. Suponga que el ángulo 00 AA000 6 A\

A\ 0 AA000 . Muestre que el triángulo A00 AA000 tiene un ángulo que es
menor o igual que α/8.
21. Pruebe que los triángulos AA0 O00 y A000 O00 A00 son congruentes.
22. Pruebe que la suma de los ángulos interiores de los triángulos AA00 A000 , AA0 A00 , AA0 C y ABC es la
misma.
23. Continúe inductivamente el proceso para mostrar que dado un triángulo cualquiera ABC , el paso n-ésimo
de este proceso construirá un triángulo con un ángulo menor que uno prejado, pero que el triángulo
resultante tendrá la misma suma que ABC .
Teorema 298. En cada triángulo

S (∆) 6 π
1. Suponga para reducir el problema al absurdo que existe un triángulo ∆ = ABC tal que la suma de los
ángulos interiores es π + ε, ε > 0.
a ) Muestre que existe un triángulo ∆0 con la misma suma de los ángulos interiores que ∆, pero con un
ángulo δ < ε. (Use lema 296)
b ) Muestre la suma de los ángulos interiores de ∆0 es menor que π + δ. (Use lema 294)
c ) Muestre que esto es un absurdo
Lema 300. Si el triángulo ABC se divide en dos por la transversal BP , el defecto de ABC será igual a la
suma de los defectos de los triángulos ABP y BP C .
1. Dibuje un triángulo ABC y un punto P en el lado b.
2. Marque los ángulos α = BAC

\, β1 = ABP
\, δ1 = BP
\ A. Píntelos de verde.
3. Marque los ángulos γ = ACB

\ , β2 = P
\ BC , δ2 = BP
\ C. Píntelos de rojo.
79
4. Pruebe que
D (ABP ) = π − (α + β1 + δ1 )
D (BP C) = π − (β2 + δ2 + γ)
5. Pruebe que π = δ1 + δ2
6. Pruebe que
D (ABC) = D (ABP ) + D (BP C) = π − (α + β1 + β2 + γ)
Lema 302. Sean dos triángulos ABC y AB1 C1 con vértice común A, y tales que los vértices B1 y C1 del
segundo se encuentran respectivamente en los lados AB y AC del primero. Entonces el defecto del segundo
triángulo no supera al del primero.
Ejercicio 303. Pruebe el lema 302. (Dibuje la situación y agregue el segmento C1 B . Aplique el lema 300 a
los tres triángulos que han quedado formados)
Lema 304. 0 0 0
Sean dados dos triángulos rectángulos ABC y A B C , tales que los catetos AC y BC del triángulo
0 0 0 0
ABC son mayores que los catetos A C y B C respectivamente. Entonces, si la suma de los ángulos internos
0 0 0
del triángulo ABC es igual a dos rectos, entonces también lo será los del triángulo A B C .
1. Dibuje dos triángulos rectángulos ABC y A0 B 0 C 0 como en las hipótesis del lema. Cuide que los triángulos
tengan igual sentido en la notación de sus vértices.
2. Arrastre el triángulo A0 B 0 C 0 hasta que A coincida con A0 , C 0 se encuentre en el lado AC y B0 se encuentre

en el lado AB . (Use las herramientas Elije y mueve, gira alrededor de un punto).
3. Agregue el segmento C 0B al dibujo.
4. Use el lema 302 para mostrar que
D (ABC) = D (A0 B 0 C 0 ) + D (B 0 C 0 B) + D (C 0 BC)
5. Pruebe que D (A0 B 0 C 0 ) ≤ D (ABC)

Lema 306. Si la suma los ángulos interiores de un triángulo rectángulo es igual a dos rectos, entonces lo será
la de cualquier otro triángulo rectángulo.
1. Dibuje un triángulo ABC , rectángulo en A. Suponga que la suma de los ángulos interiores de ABC es π.
2. Obtenga un cuadrilátero ABCA0 por medio de adjuntar al triángulo ABC su simétrico con respecto al
punto medio D del lado a.
80
3. Pruebe que ABCA0 tiene todos los ángulos interiores rectos, es decir ABCA0 es un rectángulo con lados
opuestos congruentes.
4. Pruebe que si tenemos un rectángulo con lados opuestos congruentes y le adjuntamos su simétrico con
respecto al punto medio de cualquiera de sus lados obtenemos otro rectángulo.
5. Muestre que si a un rectángulo con lados opuestos congruentes se lo divide por una diagonal se obtiene
dos triángulos rectángulos congruentes con suma igual a dos rectos.
6. Diseñe un procedimiento para construir un triangulo rectángulo cuya suma de sus ángulos interiores sea
dos rectos y sus lados más largos que cualquier longitud dada, teniendo un triángulo rectángulo dado de
suma de sus ángulos interiores igual a dos rectos.
Teorema 308. Si la suma de los ángulos de al menos un triángulo es igual a dos rectos, también lo será la
de cualquier otro triángulo.
1. Marque tres puntos no alineados A, B y C y las rectas a = BC , b = AC y c = AB .

2. Trace la perpendicular d desde A a a. Marque el pie D de la perpendicular.
3. Arrastre el punto A hasta que B esté entre D y C.
4. Muestre que el ángulo ABC

\ debe ser obtuso.
5. Pruebe que al menos uno de los pies de las alturas cae sobre el lado opuesto. (Por ejemplo para el ángulo
mayor)
6. Arrastre el punto A hasta que D esté en el lado a.

7. Marque tres puntos no alineados A0 , B 0 y C0 y las rectas a0 = B 0 C 0 , b0 = A0 C 0 y c 0 = A0 B 0 .
8. Trace la perpendicular d0 desde A0 a a0 . Marque el pie D0 de la perpendicular.
9. Arrastre el punto A0 , (si es necesario) hasta que D0 esté en el lado a0 .

10. Suponga que D (ABC) = 0. Pruebe que D (ABD) = 0 y D (CAD) = 0.
11. Pruebe que D (A0 B 0 D0 ) = 0 y D (C 0 A0 D0 ) = 0.
12. Pruebe que D (A0 B 0 C 0 ) = 0.
Proposición 310. El axioma de las paralelas implica que la suma de los ángulos internos de un triángulo es
igual a dos rectos y recíprocamente.
Ejercicio 311. Demuestre la proposición 310
81
5.3.3. Perpendiculares levantadas desde un lado de un ángulo agudo.
Ejercicio 312. Encuentre el error en la prueba a continuación, donde se pretende demostrar que existe un
triángulo rectángulo con defecto 0.
1. Dibuje un ángulo agudo AOB

\, de lados a = OA y b = OB , tal que BAO
\ sea recto.
2. Suponga para reducir el problema al absurdo que D (AOB) = ε > 0.
a ) Dibuje un punto A1 simétrico de O respecto de A.

b ) Pruebe que D (OBA1 ) = 2ε.
c ) Levante una perpendicular d desde A1 a a.
d ) Marque el punto B1 de corte de d con b.
e ) Muestre que D (OA1 B1 ) > 2ε.
f ) Dibuje un punto A2 simétrico de O respecto de A1 .
g ) Pruebe que D (OB1 A2 ) > 4ε.
h ) Levante una perpendicular d1 desde A2 a a.
i ) Marque el punto B2 de corte de d1 con b.
j ) Muestre que D (OA2 B2 ) > 4ε.
k ) Muestre que si se continúa el procedimiento bosquejado en los ítem anteriores, se llegaría a construir
una sucesión de Ai y Bi , para cualquier i = 1, 2, . . .
l ) Pruebe que para el paso n se tendría D (OAn Bn ) > 2n ε.
m ) Pruebe que puede encontrarse un n sucientemente grande de tal modo que 2n ε > π .
n ) Concluya que esto lleva a un absurdo con la denición de defecto.
3. Concluya que ε = 0.
Teorema 313. Si existe un ángulo agudo tal que la perpendicular levantada desde cualquier punto de uno de
sus lados corta al otro lado, entonces tiene lugar el axioma de las paralelas.
Denición 314. Un cuadrilátero de Saccheri AA0 B 0 B tiene ángulos rectos en la base AB y los lados AA0 y
BB 0 son congruentes.
Proposición 315. El cuadrilátero de Saccheri tiene los ángulos de la base superior congruentes. Si los ángulos
de la base superior fueran rectos se debería aceptar el axioma de las paralelas y recíprocamente.
1. Dibuje un Cuadrilátero de Saccheri de base inferior AB y de base superior A0 B 0 .

2. Pruebe que los triángulos A0 AB y B 0 BA son congruentes.
3. Pruebe que los segmentos A0 B y B0A son congruentes
4. Pruebe que los triángulos A0 AB 0 y B 0 BA0 también lo son.
5. Pruebe que los ángulos de la base superior de este cuadrilátero de Saccheri son congruentes.
82
6. Muestre que si los ángulos de la base superior son rectos los triángulos AA0 B 0 y BB 0 A son congruentes.
Concluya que la suma de los ángulos interiores de estos últimos debe dar π .
7. Pruebe que si los ángulos de la base superior del cuadrilátero de Saccheri fueran rectos se debería aceptar
el axioma de las paralelas. (Vea teorema 310).
8. Pruebe que si los ángulos de la base superior del cuadrilátero de Saccheri fueran agudos se contradiría el
axioma de las paralelas.
5.4. Paralelismo en el espacio.
Teorema 317. Si la recta a es paralela a la recta b y a la recta b0 por los puntos A y A0 entonces b y b0 son
paralelas o coincidentes.
1. Abra una hoja de GeoGebra en una vista 3D. Oculte los ejes cartesianos y el plano xy .
2. Escriba en la barra de entradas de comandos a = Recta[(3, 1, 0), (−3, −1, 0)].
3. Escriba en la barra de entradas de comandos A = (0, −2, 2) y A0 = (2, 3, 3)
4. Trace las rectas b y b0 que pasan por A y A0 respectivamente, paralelas a a. Notar que b, b0 y a son
distintas dos a dos y las tres no están en un mismo plano.
5. Muestre que b no tiene puntos en común con el plano c que incluye a a y a b0 . Para dibujar este plano
escriba c = P lano[A0 , a].
6. Dibuje el plano d = P lano[A0 , b], que incluya a A0 y a b.
7. Muestre que la paralela a b por A0 debe estar en la intersección de c y d.
8. Tome un punto B cualquiera en la recta a, y trace la recta e = BA0 .
9. Muestre que e no puede ser paralela a b. (Observe el punto B)
10. Concluya que la única paralela a b por A0 es b0 .
Corolario 319. Sea R el conjunto de todas las rectas. Denimos la relación r, s ∈ R, r ∼ s si y sólo si r es
paralela a s o, r y s son coincidentes. Esta relación es de equivalencia.
Ejercicio 320. Pruebe el corolario 319.
Teorema 321. Por un punto exterior a un plano pasa un único plano paralelo.
1. Abra una hoja de GeoGebra en una vista 3D. Oculte los ejes cartesianos.
2. En la barra de entrada de comandos escriba A = (2, 2, 2).
83
3. Dibuje una recta a perpendicular al plano xy por A. Dibuje el punto B pie de la perpendicular.
4. Trace un plano b perpendicular a a por A.

5. Suponga, para reducir el problema al absurdo, que existe un punto C en común a los planos xy y b.
a ) Dibuje un punto C sobre alguno de los dos planos.
b ) Trace los segmentos c = AC y d = CB .

c ) Muestre que c y d son perpendiculares a a.
d ) Concluya que esto lleva a un absurdo.
6. Oculte el punto C y los segmentos c y d . (Ahora vamos a probar la unicidad)
7. Suponga, para reducir el problema al absurdo, que existe otro plano d que pasa por A y que también es
paralelo a xy .
a ) En la barra de entrada de comandos escriba e = P lano[A, (−4, 0, 1), (0, −4, 1)].
b ) Pruebe que debe existir un punto D que está en b y no en e. Dibuje a D.
c ) Trace el plano f que pasa por A, B y D.
d ) Trace las rectas g, h e i de intersección de xy , b y e con f.
e ) Pruebe que por A pasarían dos rectas paralelas a la recta g.
f ) Concluya que esto es absurdo.
Proposición 323. Dadas dos rectas alabeadas hay un segmento perpendicular a ambas.-
1. Abra una hoja de GeoGebra en una vista 3D. Oculte los ejes cartesianos y el plano xy .
2. Escriba en la barra de entradas de comandos a = Recta[(2, 0, 0), (0, 2, 0)] y b = Recta[(−2, −2, 0), (0, 0, 3)].
Pruebe que a y b son alabeadas. (Muestre que si las rectas compartieran un plano, ese plano debería ser
el plano xy , lo que es absurdo pues (0, 0, 3) no está en el plano xy ).
3. Dibuje un punto A sobre b.
4. Trace una paralela c a a por A.
5. Escriba en la barra de entradas de comandos d = P lano[b, c].
6. Dibuje un punto B en a.
7. Trace la perpendicular e a d por B. Marque el punto C pie de la perpendicular.
8. Marque la paralela f a a que pasa por C.

9. Pruebe que las rectas a, c y f son paralelas. Píntelas de rojo.
10. Pruebe que c y f están sobre d.
84
11. Pruebe que e es perpendicular a a y f.
12. Muestre que existe un punto D de corte de f y b. Dibuje a D.
13. Trace la perpendicular g a a por D. Marque el pie E de la perpendicular.
14. Trace la paralela h a b por C.
15. Marque el punto F de intersección de c y h.

16. Muestre que los cuadriláteros AF CD y CDEB son paralelogramos.
17. Pruebe que los segmentos F A, CD y BE son congruentes y paralelos.
18. Muestre que los puntos A, D y E están en un mismo lado del plano determinado por los puntos F, C y
B.
19. Muestre que los puntos A y E tienen que estar a un mismo lado de la recta F B.
20. Pruebe que los segmentos AE y FB son paralelos y congruentes.
21. Pruebe que los triángulos F CB y ADE son congruentes (y rectángulos).
85

Geometría Euclídeana

Transféré par

Informations du document

Copyright

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Geometría Euclídeana

Transféré par

Droits d'auteur :

Geometría Euclideana

1. Existen dos puntos distintos A y B.

Teorema 7. Toda recta está sobre un plano.

Ejercicio 8. Para probar el teorema 7 siga los pasos a continuación.

3. Pruebe que hay un punto C que no está sobre a. Dibuje a C.

5. Pruebe que A, B y C están sobre un plano α. Dibuje a α.

Ejercicio 11. Para probar el teorema 10 siga los pasos a continuación.

2. En la barra de entrada de comandos escriba A = (1, 1, 0).

7. Pruebe que la recta a pasa tanto por α como por β.

Ejercicio 20. Pruebe el teorema 19siguiendo los pasos a continuación.

2. Escriba en la barra de entrada de comandos α = P lano [(1, 0, 0) , (0, 1, 0) , (0, 0, 1)].

5. Pruebe que existe una única recta a = AB . Dibuje a a.

11. Pruebe que b 6= c. (Use la reducción al absurdo)

14. Concluya con la prueba.

Ejercicio 22. Pruebe el teorema 21 siguiendo los pasos a continuación.

2. Pruebe que existen las rectas r = AB , s = AC , t = AD, u = BC , v = BD, y w = CD y estas son

3. Pruebe que hay al menos cuatro planos.

II 1 Si el punto B se encuentra entre el punto A y el punto C , entonces A, B y C son puntos diferentes de

1. Dibuje dos puntos A y C distintos y la recta a = AC .

5. Muestre que a y b son distintas.

8. Muestre que a, b y c son distintas.

9. Muestre que G no puede estar entre C y F.

11. Muestre que a, b, c y d son distintas.

12. Muestre que d no pasa por A, ni por F, ni por C.

13. Muestre que d tiene un punto B entre A y C. (Use el axioma de Pasch).

14. Concluya la prueba.

Ejercicio 29. Pruebe el teorema 28 siguiendo los pasos a continuación.

10. Trace el segmento e = EC .

15. Concluya con la prueba.

a ) Realice un dibujo como la gura 1, donde la recta P QR se ha dibujado usando la herramienta

b ) Muestre que ni A, ni B, ni C se encuentran en la recta P QR.

d ) Muestre que P no puede estar entre R y Q, ni Q entre P y R.

2. Concluya con el teorema

Lema 32. Si B está en el segmento AC y C en el BD, entonces B y C están en el segmento AD.

Ejercicio 34. Enuncie el contrarrecíproco del lema 32.

Lema 35. Si C está en el segmento AD y B en el AC , entonces B se encuentra asimismo en el segmento

3. Marque el punto D tal que C esté entre B y D.

6. Muestre que existe un punto F tal que E está entre B y F. Marque F.

Ejercicio 37. Enuncie el contrarrecíproco del lema 35.

1. Trace la recta a = AD.

6. Concluya la primera parte de la prueba.

7. Suponga, para reducir el problema al absurdo, que C está entre A y B y entre B y D.

Ejercicio 43. Pruebe el teorema 42 siguiendo los pasos a continuación.

4. Pruebe la existencia de un punto D entre A y C. Marque D.

6. Pruebe la existencia de un punto E entre A y D. Marque E.

6. Concluya que sólo hay dos lados no vacíos sobre a.

a) D está sobre el mismo lado que D. (reexividad)

8. Concluya con la prueba.

2.1. Orden de los puntos de una semirrecta.

1. para ningún punto D se cumple D < D. (Arreexividad)

2. si C<D y D<E entonces C < E. (Transitividad)

3. C < D, ó C = D, ó D < C. (Tricotomía)

2.2. Orden de los puntos de una recta

Caso i : B<A en la primera semirrecta

Caso ii : B=O y A está en la primera semirrecta

Caso iii : B está en la segunda semirrecta y A en la primera semirrecta

Caso iv : B está en la segunda semirrecta y A = O.

1. transitividad, (27 casos)

2.3. Separación de los puntos de un plano y del espacio

2. Pruebe que A está en el mismo lado que A con respecto a a.

6. Concluya que solo hay dos lados no vacíos sobre α.

a) D está sobre el mismo lado que D. (Reexividad).

Ejercicio 57. Pruebe el teorema 56 siguiendo los pasos a continuación.

1. Pruebe que dado un plano α cualquiera, existe un punto A que no está en α.

4. Dibuje esta situación.

7. Suponga que D, F y G no están sobre α.

a) D está sobre el mismo lado que D. (Reexividad)

a ) Realice un dibujo como la gura 1, donde la recta P QR se ha dibujado usando la herramienta

a) D está sobre el mismo lado que D. (reexividad)

1. para ningún punto D se cumple D < D. (Arreexividad)

a) D está sobre el mismo lado que D. (Reexividad).

a) D está sobre el mismo lado que D. (Reexividad)

1. para ninguna semirrecta a se cumple a < a. (Arreexividad)

a ) En la solapa Objetos de Salida, elija punto E

d ) En Ayuda de herramienta Escriba Extremos del segmento y origen de la semirrecta y un punto

6. Vuelva al menú Herramientas, seleccione Gestión de herramientas

b ) Presione el botón Guardar como...

Ejercicio 77. Pruebe el teorema 76 justicando los pasos a continuación.

1. Reexividad (Use el lema 74 con A0 = B y B 0 = A)

Denición 81. El triángulo ABC se dice congruente al A0 B 0 C 0 si