Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introducción
La relación de congruencia como relación primitiva que regula este tercer grupo, se introduce
entre los segmentos y entre los ángulos dando origen a dos de los Axiomas de mayor utilización
en la construcción de la teoría como son, el Axioma de construcción del segmento y el Axioma de
ci o
construcción del ángulo.
er tiv
Objetivos Específicos
m ca
al
1. Aclarar como la relación de congruencia, que es también una relación de
co du equivalencia, es distinta de la relación de igualdad.
2. Destacar, como se presentará en muchos otros contextos posteriores, que las
relaciones de congruencia establecidas entre los segmentos, se cumplen en forma
no l e
construcción de la teoría.
4. Presentar necesariamente como un Axioma el primer caso de congruencia de
M
7. Definir los ángulos rectos sin requerir para nada de la función de medida,
insistiendo una vez más en la importancia del trabajo preciso, coherente que
caracteriza el desarrollo de una teoría axiomática.
8. Presentar la definición de rectas perpendiculares como una consecuencia
inmediata de la existencia de los ángulos rectos.
9. Definir el triángulo rectángulo en términos de una figura de este tipo que tiene
mínimo dos ángulos rectos y mostrar la coherencia de la misma con la teoría vista
y como posteriormente se prueba la unicidad de dicho ángulo.
ci o
10. Definir las nociones duales en sus contextos respectivos, de punto medio de un
er tiv
segmento no nulo y bisectriz de un ángulo no nulo y no llano.
11. Caracterizar los designados como segmentos y también (hago énfasis personal en
m ca
al
ello) las rectas notables en el triángulo, destacando las propiedades que
caracterizan en particular al triángulo isósceles.
12. Mostrar como desde la relación de congruencia, se definen las relaciones mayor,
co du
respectivamente menor entre segmentos y su dual entre ángulos, nuevamente sin
recurrir a la función de medida.
no l e
Cuando se piensa en la forma y tamaño de las figuras geométricas, surge de un modo natural
la posibilidad de que dos o más figuras coincidan.
El paso siguiente de este trabajo, consiste en establecer una relación que incluye esta
posibilidad en el tratamiento geométrico.
ci o
Se denomina congruencia a esta nueva relación. Será suficiente establecer sin definición dicha
er tiv
relación para segmentos y ángulos, y después extenderlo mediante definiciones para otras
figuras u objetos geométricos.
m ca
al
En adelante podremos hacer afirmaciones como:
co du AB es congruente con CD ,
o bien,
La relación de congruencia será denotada por el signo primitivo y así las anteriores
a
AB CD , ABˆ C DEˆ F .
U tea
M
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
er tiv
Figura 30
m ca
al
En términos prácticos, este axioma afirma la posibilidad de construir o trasladar un segmento
haciendo uso, por ejemplo, de regla y compás.
co du
III.2 La congruencia entre segmentos es una relación de equivalencia
no l e
III.3 Sean A, B, C puntos de una recta a y A', B', C' puntos de a ó de otra recta b tales que B
a
Figura 31
ci o
lugar a segmentos congruentes.
er tiv
III.4 Axioma de la construcción del ángulo.
m ca
Sea OA, OB un ángulo cualquiera y O' un punto de una recta l situada en un plano
al
.
co du
Sea Πl uno cualquiera de los semiplanos en que l divide a Π y O´C una de las semirrectas
Entonces existe una semirrecta única O' D situada en el semiplano l tal que:
OA, OB O' C, O' D
a
Figura 32
Igual que en III.1, este axioma afirma la posibilidad de construir o trasladar un ángulo
haciendo uso por ejemplo, del compás y la regla.
El siguiente axioma expresa que la relación de congruencia entre ángulos verifica las
propiedades reflexiva, simétrica y transitiva, en términos similares a los del axioma 3.2, es
decir:
i.
OA, OB OA, OB .
ii. Si OA, OB O' X , O'Y , entonces, O' X , O'Y OA, OB .
iii. Si OA, OB UC, UD y UC, UD WX , WY entonces
ci o
er tiv
III.6 Sea OH , OK , OL semirrectas con un mismo origen O y situadas en un mismo
plano.
m ca
al
Sea O' R , O' S , O'T semirrectas con un mismo origen O’ y situadas en o en otro
plano ' .
co du
Supongamos además que OL está en el interior de OH , OK y O'T en el
no l e
a
Figura 33
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Este axioma, lo mismo que el III.3, expresa que la suma y la diferencia de ángulos
respectivamente congruentes, dan como resultado, ángulos respectivamente congruentes.
Definición 10.
Sean A, B, C tres puntos distintos y no colineales. Los segmentos AB , BC , CA
determinarán el triángulo de vértices A, B, C que denotaremos: ABC ó A B C , y se
define:
ci o
̅̅̅̅̅ ∪ ̅̅̅̅
∆ 𝐴𝐵𝐶 = 𝐴𝐵 ̅̅̅̅ .
𝐵𝐶 ∪ 𝐴𝐶
er tiv
Los segmentos AB , BC y CA se llaman lados del triángulo. Los ángulos ABˆ C ,
ˆ C y ACˆ B se llaman ángulos interiores o simplemente, ángulos del triángulo
BA
m ca
al
A B C y también serán denotados por sus vértices o sea  , B̂ , Ĉ .
co du
En un triángulo A B C , diremos que  es el ángulo opuesto al lado BC y B̂ y Ĉ son
ángulos adyacentes a dicho lado. Recíprocamente, BC se llama lado opuesto al ángulo  y el
no l e
mismo lado BC se llama lado adyacente tanto a B̂ como a Ĉ . (Ver Figura 34).
Esta misma terminología es aplicable a los otros ángulos y lados del triángulo.
a
so ri
U tea
M
Figura 34
Definición 11.
El triángulo ABC es congruente al triángulo A’B’C’ si:
AB A' B' , AC A'C ' , BC B'C ' .
ˆ C B' A
ˆ ' C ' , BA
ˆ C A' B
AB ˆ ' C ' , BC
ˆ A B' C
ˆ ' A' .
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
er tiv
Figura 35
m ca
al
La definición anterior establece que dos triángulos son congruentes si tanto los lados como los
ángulos se presentan en pares respectivamente congruentes.
co du
Consecuencias de esta definición:
Si los triángulos ABC y A’B’C’ presentan las congruencias: AB A' B' , AC A'C ' y
ˆ C B' A
ˆ ' C ' , entonces ABC A' B' C' . (Figura 36.).
M
BA
Figura 36
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Según el axioma L-A-L, dos triángulos son congruentes si en uno de ellos existen dos lados y el
ángulo comprendido (entre dichos lados), respectivamente congruentes a dos lados y el
ángulo comprendido (entre dichos lados), en el otro triángulo.
ci o
er tiv
TEOREMA 9.
Sean A, B, C tres puntos de una recta a y A’B’C’ tres puntos de una recta b tales que,
m ca
al
AB A' B' y AC A'C ' .
Si B está entre A y C y B’ está del mismo lado que C’ con respecto a A’ (ver Figura 33),
entonces B’ está entre A’ y C’.
co du
no l e
a
so ri
U te
Figura 37
a
Demostración.
M
Por el axioma de construcción del segmento, existe un punto C’’ en b tal que B’ está entre A’ y
C’’ y además BC B'C ' ' . (Ver Figura 37.).
El teorema quedará demostrado si se logra probar que C’’ coincide con C’.
De las congruencias: AB A' B' .
BC B'C ' ' .
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Se obtiene AC A'C ' ' (Suma de segmentos), y como AC A'C ' (hipótesis) se concluye
A' C ' A' C ' ' (transitividad). De donde se sigue, como una consecuencia del axioma de
construcción del segmento, que C' y C" coinciden pues están en la recta b, del mismo lado de
A'. Ya que C" se tomó de modo que B' está entre A' y C" se concluye que B' está entre A' y C',
como se quería demostrar.
ci o
TEOREMA 10.
er tiv
Supongamos que en cierto plano fijo se tienen las semirrectas OH , OK y OL y que
en el mismo plano o en otro cualquiera, se tienen las semirrectas O ' H ' , O' K ' y O ' L ' .
m ca
al
Supongamos además que las semirrectas OK y OL están en el mismo semiplano
respecto a la recta OH y que las semirrectas O' K ' , O ' L ' tienen disposición análoga
con respecto a O ' H ' .
co du
Entonces, si OH ,. OK O' H ', O' K ' y
OH , OL O' H ', O'L'
no l e
En consecuencia:
Si la semirrecta OK está en el interior de OH , OL (Figura 38), la semirrecta O' K '
a
estará así mismo en el interior de O' H ', O' L' .
so ri
U tea
M
Figura 38
Figura 39
ci o
Demostración.
er tiv
Esta consistirá en demostrar que AC A'C ' con lo cual se tiene ABC A' B' C' (por el
axioma L-A-L).
m ca
al
Razonando por reducción al absurdo, supongamos AC A'C ' . Sea D un punto en la
co du
semirrecta AC tal que:
AD A'C ' (Axioma de construcción del segmento).
no l e
Por tanto, ABD A' B' C' (Axioma L-A-L). (Ver Figura 40).
a
so ri
U tea
M
Figura 40
Luego DBˆ A C ' Bˆ ' A' y como CBˆ A C ' Bˆ ' A' , (hipótesis), se tiene por transitividad,
ˆ A lo cual contradice el axioma de construcción del ángulo. Esta contradicción
ˆ A CB
DB
Definición 12.
i. Se llama triángulo isósceles aquel que tiene al menos dos lados congruentes
(Figura 41).
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 41
ci o
er tiv
TEOREMA 12.
m ca
al
En todo triángulo isósceles, los ángulos opuestos a los lados congruentes son
congruentes.
co du
Demostración.
no l e
a
so ri
U tea
M
Figura 42
Sean D y E puntos tales que B está entre A y D, C entre A y E y BD CE . ¿Por qué ? (Ver
Figura 42).
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
Se concluye que dichos triángulos son congruentes (L-A-L). De donde:
er tiv
ˆ C , BE CD , AB
ˆ C BE
BD ˆ E ACˆ D .
m ca
al
BD CE , CD BE , BD ˆC .
ˆ C BE
Luego BDC CEB (Axioma L-A-L), de donde, EBˆ C DCˆ B . Y puesto que ya se tenía
AB
co du
ˆ E ACˆ D , se sigue por diferencia de ángulos que AB
ˆ C ACˆ B que era lo que se quería
demostrar.
no l e
ninguno de los lados de uno de ellos está en el interior del otro (Ver Figura 43).
so ri
ii. Dos ángulos hacen un par lineal si son adyacentes y los lados no comunes son
U te
Figura 44 Figura 45
Figura 43
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
En la Figura 43, los ángulos AOˆ B , BOˆ C son adyacentes. En la figura 44, los ángulos AOˆ B y
ˆ C hacen un par lineal. En la Figura 45, los ángulos AO
BO ˆ C y BO
ˆ D son opuestos por el
vértice.
Observaciones.
1. Todo ángulo hace un par lineal con, exactamente, dos de sus ángulos adyacentes. En la
Figura 45, el ángulo AOˆ B hace un par lineal con BOˆ D y también con AOˆ C .
ci o
2. Cuando dos rectas distintas se cortan, determinan, alrededor del punto común, cuatro
er tiv
ángulos que son opuestos por el vértice de dos en dos. En la Figura 46, las parejas
ˆ B y CO
AO ˆ D , así como AO
ˆ C y BO
ˆ D son respectivamente ángulos opuestos por el
m ca
al
vértice.
co du
no l e
Figura 46
a
so ri
TEOREMA 13.
Si uno de los ángulos de un par lineal, es congruente a uno de los ángulos de otro par
U te
lineal, entonces los otros dos ángulos también son respectivamente congruentes.
a
Demostración.
M
Sean AOˆ B , AOˆ C un par lineal y A' Oˆ ' B ' , A' Oˆ ' C ' otro par lineal tales que AOˆ B A' Oˆ ' B'
(Figura 47). Veamos que AOˆ C A' Oˆ ' C ' .
Supongamos que los puntos A', B', C' se tomaron de tal modo que:
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 47
OA O' A' , OB O' B' , OC O'C ' . ¿Por qué? (Ver Figura 48).
ci o
er tiv
m ca
al
Figura 48
Luego,
ACˆ B A' B
ˆ ' C ' y AC A'C ' .
so ri
U te
De estas dos últimas relaciones junto con OC O'C ' podemos afirmar que
AOC A' O' C' (L-A-L) y por tanto concluir que:
a
ˆ C A' O
AO ˆ ' C ' como se quería.
M
COROLARIO.
Dos ángulos opuestos por el vértice, son congruentes.
Demostración.
Sean AOˆ B y COˆ D ángulos opuestos por el vértice, luego las semirrectas OC y OB están
ci o
er tiv
Figura 49
m ca
al
Esto resulta como una consecuencia del teorema anterior, ya que el ángulo AOC hace un par
lineal con cada uno de dichos ángulos.
co du
El teorema 14 corresponde al recíproco del teorema 12, como se verá a continuación.
no l e
TEOREMA 14.
Si un triángulo tiene dos de sus ángulos congruentes, entonces, los lados opuestos a
a
Demostración.
Consideremos en el triángulo ABC, los ángulos ABˆ C y ACˆ B congruentes y veamos que
a
AB AC (Figura 50).
M
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
Figura 50
er tiv
Para ello, sean D y E puntos tales que B está entre A y D, C entre A y E y BD CE . ¿ por qué?
m ca
al
Por el teorema 13, y en vista de que ABˆ C ACˆ B y además ABˆ C y CBˆ D hacen un par
Δ Δ
Siendo BC un lado común para los triángulos C B D y C B E , se concluye que dichos
triángulos son congruentes (L-A-L). De donde:
a
Como se tienen las congruencias, ABˆ C ACˆ B y EBˆ C DCˆ B , se sigue que ABˆ E ACˆ D
Δ
(Suma de ángulos congruentes) y por lo tanto los triángulos A B E , A C D que tienen además
a
demostrar.
Observación.
Los teoremas 12 y 14 se pueden reunir en un solo enunciado, así:
TEOREMA 15.
Un triángulo es isósceles si y solo si al menos dos de sus ángulos son congruentes.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Definición 14.
Un triángulo A B C se llama equilátero si sus tres lados son congruentes, es decir,
AB AC BC .
COROLARIO.
ci o
Un triángulo es equilátero si y solo si sus ángulos interiores son congruentes.
er tiv
Observación.
m ca
al
La demostración del corolario anterior se propone al lector.
Definición 15.
co du
Un triángulo ∆ ABC se llama equiángulo si sus tres ángulos son congruentes, es decir
𝐴̂ ≅ 𝐵̂ ≅ 𝐶̂ .
no l e
Sí un triángulo tiene sus tres lados respectivamente congruentes a los tres lados de
otro triángulo entonces estos dos triángulos son congruentes.
so ri
U tea
Demostración.
M
Sean A B C y A' B' C ' dos triángulos que tienen: (Figura 51),
Consideremos en el semiplano BC
~ A el punto A" tal que:
CB̂A' ' A' B̂' C' , A' ' B A' B' . (Axiomas de construcción del segmento y el ángulo)
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
Figura 51
er tiv
Según el axioma de separación, el segmento AA' ' tiene un punto P en el segmento BC . Para
m ca
al
dicho punto P se presentan tres opciones:
co du
1. P está en el interior de BC , como en la Figura 51.
2. P coincide con uno de los extremos, corno en la Figura 52.
no l e
Figura 52 Figura 53
Los triángulos A' B' C ' y A' ' B C son congruentes por tener:
A' ' B A' B' , BC B'C ' , CBˆ A C ' Bˆ ' A' (L-A-L).
Δ
Veamos ahora que los triángulos A B C y A' ' B C son congruentes.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Por una parte se tiene AB A' B' y A' B' A' ' B , luego AB A' ' B (transitividad), de donde
Δ
el triángulo A B A' ' es isósceles y por tanto BÂA' ' BÂ' ' A (Teorema 12).
Δ
En la misma forma, el triángulo A C A' ' es isósceles y por tanto CA ˆ '' A .
ˆ A' ' CA
Por otra parte, el segmento AA' ' pasa por P, punto entre B y C, luego dicho segmento está en el
interior de los ángulos BAˆ C y BA
ˆ ' ' C , y por el axioma de suma de ángulos congruentes se
ci o
tiene: BA ˆ ' 'C .
ˆ C BA
er tiv
Δ
Finalmente, los triángulos A B C y A' ' B C tienen:
m ca
al
AB A' ' B , AC A' ' C , BA
ˆ C BA
ˆ ' 'C
y por el axioma L-A-L se concluye, ABC A' ' BC . Como ya se tenía Á ' B' C ' A' ' BC
co du
entonces, por transitividad4, ABC A' B' C' como se quería demostrar.
no l e
Definición 16.
Si los ángulos de un par lineal son congruentes, cada uno de ellos se llama ángulo recto.
a
(Figura 54).
so ri
U tea
M
Figura 54
Para indicar que un ángulo es recto vamos a emplear la siguiente representación gráfica: .
4 Observación: La transitividad para la congruencia entre triángulos es un resultado que se obtiene fácilmente
a partir de la transitividad de la congruencia tanto entre segmentos como entre ángulos.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
TEOREMA 17.
Sean O y A puntos de una recta 𝑙. Entonces existen ángulos rectos. (Ver figura 55)
ci o
er tiv
m ca
al
co du Figura 55
Demostración.
Puesto que los puntos C y D están en lados opuestos a la recta l, el axioma de separación
no l e
Además los ángulos OPˆ C , OPˆ D hacen un par lineal ya que tienen un lado común OP y los
so ri
Veamos que el ángulo OPˆ C es recto. Para ello se tiene que los ángulos POˆ C y POˆ D son
a
congruentes por hacer pares lineales con respectivos ángulos congruentes AOˆ C y AOˆ D
(Teorema 13).
M
Δ
Se tienen así los triángulos congruentes O P C , O P D por tener:
ˆ C PO
PO ˆ D , OC OD , OP lado común (L-A-L).
Se concluye así que los ángulos del par lineal OPˆ C , OPˆ D son congruentes y, de acuerdo a la
definición 15, se sigue que tanto OPˆ C como OPˆ D son ángulos rectos.
TEOREMA 18.
Todos los ángulos rectos son congruentes entre sí.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Observaciones.
ci o
1. Más adelante se podrá demostrar que un triángulo no puede tener más de un
er tiv
ángulo recto.
2. En un triángulo rectángulo los lados adyacentes al ángulo recto se llaman catetos y
m ca
al
el lado opuesto, hipotenusa. (Ver Figura 56).
co du
no l e
Figura 56
a
Se llama punto medio de un segmento AB al punto O que está en la recta AB tal que
U te
AO OB .
a
Observaciones.
M
1. Es posible demostrar, que todo segmento tiene un punto medio único y que dicho
punto está en el interior del segmento.
La existencia del punto medio garantiza que todo segmento se puede dividir en
dos segmentos congruentes y esto de un modo único.
2. Así como todo segmento tiene punto medio, todo ángulo no nulo tiene una
semirrecta contenida en su interior que lo divide en dos ángulos congruentes. El
nombre de esta semirrecta se da en la siguiente definición:
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
Figura 57
er tiv
Observación.
m ca
al
En forma análoga a lo dicho para el punto medio de un segmento, se puede demostrar que
todo ángulo no nulo tiene bisectriz única y que dicha bisectriz está en el interior del
co du
ángulo.
La existencia de la bisectriz garantiza que todo ángulo no nulo se puede dividir en dos ángulos
no l e
Observaciones.
a
ci o
er tiv
Figura 58
m ca
al
co du
no l e
a
Observación.
Vamos a denotar también a las semirrectas que un punto determina en una recta a, por a
so ri
y a ' . En consecuencia, a y a ' son semirrectas opuestas de una misma recta a. (Ver Figura
U te
59).
a
El ángulo formado por dos semirrectas a y b lo denotaremos: a , b . (Ver Figura 60).
M
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 60
ci o
Figura 59
er tiv
TEOREMA 19.
Por un punto de una recta dada en un plano pasa una y solo una perpendicular a
m ca
al
dicha recta contenida en dicho plano.
co du
Demostración.
La demostración consta de dos partes. Veamos primero que si l es la recta dada en el plano Π
no l e
y A es un punto cualquiera de l, hay por lo menos una recta perpendicular a l que pasa por A y
está situada en Π .
a
Para demostrar esta primera parte, sea K una recta distinta de l y que también pasa por A. Sea
so ri
Si los ángulos l, K y l ', K que forman un par lineal, son congruentes, cada uno es recto
a
Pero si los ángulos del par lineal son diferentes, sea h una semirrecta de origen A situada en el
semiplano Πl : K tal que:
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 61
ci o
(1)
l , K l ', h
er tiv
Se presentan dos posibilidades respecto a h :
m ca
al
i.
La semirrecta h está en el exterior de l, K . (Esto ocurre cuando l, K es
agudo. (Figura 62).
co du
ii.
La semirrecta h está en el interior de l, K . (Esto ocurre cuando l, K es
obtuso. (Figura 63).
no l e
a
so ri
U te
Figura 62 Figura 63
a
De (1 ) y (2) se obtiene, por suma de ángulos, en el caso del ángulo agudo y por diferencia, en
el caso del ángulo obtuso,
l , b l ', b
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Estos dos ángulos forman un par lineal, luego cada uno de ellos es recto. Se concluye así que
b l.
ci o
Figura 64
er tiv
Veamos ahora que b es la única perpendicular a l que pasa por A y está en Π . Sea C una
perpendicular al que pasa por A y está en el plano Π Sea c la semirrecta de origen A que está
m ca
al
en el semiplano Πl : b .
co du
Por tanto el ángulo l , c es recto y como todos los ángulos rectos son congruentes (Teorema
18), se sigue que:
no l e
l, c l, b .
a
Por el axioma de construcción del ángulo se concluye que las semirrectas c y b coinciden y
so ri
de dicho plano a la recta única perpendicular, levantada por el punto medio del segmento
M
iii. Se llama bisectriz del triángulo, al segmento comprendido entre uno cualquiera de
los vértices y el lado opuesto y que divide al ángulo correspondiente a dicho
vértice en dos ángulos congruentes. (Ver Figura 65).
ci o
Figura 65
er tiv
BH es altura, AM es mediana, AD es bisectriz.
m ca
al
Observaciones.
Tanto la mediana como la bisectriz son segmentos que están en el interior del triángulo.
Sin embargo la altura no siempre está en el interior. (Esto se demostrará posteriormente).
co du
Puede definirse la bisectriz de un triángulo también como el segmento con extremos en el
vértice y en en el punto donde la bisectriz del ángulo intersecta el lado opuesto.
no l e
Demostración:
a
Figura 66
ci o
También BAM AMC , con lo cual se tiene un par lineal de ángulos congruentes y por
er tiv
tanto AM MC o sea que AM es altura del ABC .
m ca
al
Además, como M es un punto medio de BC , el segmento AM está sobre la mediatriz del
segmento BC .
co du
Observación.
También es cierto que si en un triángulo coinciden la mediana y la bisectriz, o la mediana y
no l e
1. Sean AB , ST segmentos no nulos M Int AB , K Int ST . Determinar cuáles de las
ci o
afirmaciones siguientes son verdaderas y cuáles son falsas, justificando su
determinación. En el caso de que una afirmación sea falsa, construya un contraejemplo
er tiv
adecuado.
1.1 Si AM SK entonces MB KT .
m ca
al
1.2 Si AB ST entonces AM SK .
1.3 Si AM SK y MB KT entonces AB ST .
co du
1.4 Si MB KT y AB ST entonces AM SK .
1.5 Si AM MB y SK KT entonces AB ST .
no l e
1.6 Si AB ST entonces AM MB y SK KT .
punto medio de ST .
1.10 Si M es un punto medio de AB y K es un punto medio de ST entonces
a
AM MB SK KT .
M
2. Sean AÔB , PR̂Q no nulos, no llanos; M Int AÔB , K Int PR̂Q . Determinar cuáles de
las afirmaciones siguientes son verdaderas y cuáles son falsas, justificando su
determinación. En el caso de que una afirmación sea falsa, construya un contraejemplo
adecuado.
ci o
2.10 Si OM es bisectriz de AÔB y RK es bisectriz de PR̂Q entonces
er tiv
AÔB PR̂Q
m ca
al
co duAÔM MÔB PR̂K KR̂Q .
bisectriz de PR̂Q .
no l e
ci o
3.16 ΔAOC ΔBOC .
er tiv
3.17 ΔAOD ΔDOB .
m ca
al
co du
4. Determinar cuáles de las siguientes afirmaciones son verdaderas y cuáles son falsas,
justificando su determinación. En el caso de que una afirmación sea falsa, construya un
contraejemplo adecuado.
no l e
congruentes.
4.3 En triángulos congruentes, todos los lados son congruentes.
U te
ci o
er tiv
m ca
al
5.1. 5.2.
co du
no l e
5.3. 5.4.
a
so ri
U tea
5.5. 5.6.
M
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
5.7 5.8.
5.9. 5.10.
ci o
er tiv
m ca
al
Para aquellas parejas de triángulos congruentes indique el caso que lo justifica y las
co du
conclusiones derivadas.
6. Se tiene el ΔHRE con RH RE . Los puntos M y K están en los lados del HR̂E de tal
no l e
6.1 Trace una figura que satisfaga todas las condiciones descritas.
so ri
Δ Δ
6.2 Demuestre que H R P E R P .
U te
Δ Δ
6.3 Demuestre que H R T E R T .
Δ Δ
a
Δ Δ
6.5 Demuestre que M H T K E T .
6.6 Demuestre que ΔKRM es isósceles.
i. AC A' C' .
Δ
ii. AH bisectriz de C A D .
Δ
iii. A' H ' bisectriz de C' A' D'
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Demostrar:
7.1 ∆𝐴𝐷𝐶 ≅ ∆𝐴′𝐷′𝐶′.
7.2 ∆𝐴𝐵𝐷 ≅ ∆𝐴′𝐵′𝐷′.
ci o
7.3 ΔACB ΔA' C' B' .
er tiv
8. Observe la figura y considere como hipótesis las siguientes proposiciones:
m ca
al
AÔB DÔB ; B está entre A y C, y E está entre D y C AC DC ; OA OD .
Demuestre que:
co du
8.1 Â D̂ .
8.2 OB OE .
no l e
8.3 BC CE .
9. Si AB CD 0 .
so ri
U te
O: punto medio de AB y CD .
M está entre A y C.
a
N está entre D y B.
O está entre M y N.
M
Demuestre que:
9.1 Â B̂ .
9.2 MC DN .
9.3 OM ON .
Hipótesis:
O es un punto medio de AB .
AÔD BÔC .
 B̂
Tesis
i. OD OC .
ii. AD BC .
ci o
iii. Ĉ D̂ .
er tiv
iv. ΔEOF isósceles.
m ca
al
11. En la siguiente figura suponga que AB es bisectriz de CÂD y de CB̂D , M AB ,
11.2 CD AB .
no l e
11.3 MC MD .
PN PM ; AP PB .
M
Demuestre que:
ci o
A B C es equilátero.
er tiv
A está entre B y A1 .
C está entre A y C1 .
m ca
al
B está entre B1 y C.
AB AC y AD AE
a
̅̅̅̅
𝐷𝐶 ∩ ̅̅̅̅
𝐵𝐸 = {𝐴}
B está entre O y D.
so ri
C está entre O y E.
U te
entre H y J.
Probar que:
i. ̅̅̅̅
𝐺𝐾 ≅ ̅̅̅
𝐽𝐾 .
Δ
17. Demuestre que un triángulo A B C es isósceles si:
ci o
Observación: Estos resultados pueden considerarse como “recíprocos” con relación a lo
er tiv
planteado en el teorema Nº 20.
m ca
al
18. En la siguiente figura tenemos:
OA OC ; OD OB
co du
OA OB ; OC OD
AD BC E
no l e
N está entre O y C.
M está entre O y D.
a
Demostrar que:
so ri
18.1 AD BC .
U te
18.2 B̂ Â .
18.3 ΔMDE ΔNCE .
a
19. Demostrar que las medianas asociadas a los lados congruentes de un triángulo
M
20. Demostrar que las bisectrices de los ángulos de la base de un triángulo isósceles
son congruentes.
22. En ∆ ABC y ΔA' B' C' ; AD y A' D' son bisectrices de BÂC y B' Â' C'
respectivamente. AD A' D' , BÂC B' Â' C' , AB A' B' . Demostrar que:
ΔABC ΔA' B' C' .
23. En ΔABC y ΔA' B' C' se tiene: AM y A' M ' medianas de BC y B' C'
ci o
er tiv
24. Sea AÔB no nulo y no llano. C, D sobre la semirrecta OA tal que C está entre O y
F; OC OE y OD OF ; CF DE P . Demostrar:
m ca
al
co du 24.1 ΔOED ΔOCF .
24.2 ΔCPD ΔEPF .
24.3 𝑂𝑃 es bisectriz de AÔB .
no l e
26. Sean: ΔABC y ΔA' B' C' isósceles, tales que AB AC ; A' B' A' C' , AH : altura
26.1 Si BÂC B' Â' C' y AH A' H' entonces ΔABC ΔA' B' C' .
26.2 Si BC B' C' y AH A' H' entonces ΔABC ΔA' B' C' .
Propongo el siguiente problema como una conjetura (Proposición que creo que puede
ci o
ser verdadera, pero de la que no se tiene una demostración). Estudiela bien y trata de
er tiv
demostrarla, ó por el contrario si usted encuentra que es falsa, construya un
contraejemplo.
m ca
al
28. Sean ΔABC y ΔDEF tales que AT es bisectriz de BÂC y DK es bisectriz de
Definición 23.
i. Dados dos segmentos AB , A' B' se dice que AB es mayor que A' B' , o bien que
A' B' es menor que AB , si existe un punto C en el interior de AB tal que
ci o
er tiv
Figura 67
m ca
al
ii.
co du Dados dos ángulos:
, c, d se dice que a, b es mayor que c, d , o
a, b
c, d a , b
bien que es menor que , si existe una semirrecta h en el interior y
a , b a, h c, d
no l e
Figura 68
a
Observación.
M
Para expresar que un segmento es mayor que otro se emplea el símbolo >. Dicho símbolo
también será empleado para expresar que un ángulo es mayor que otro.
TEOREMA 21.
Demostración.
ci o
Por el axioma de construcción del segmento, sobre la recta AB existe un punto X de la
er tiv
semirrecta 𝐴𝐵 tal que:
AX CD
m ca
al
De acuerdo con el axioma II.4 se presentan tres posibilidades:
co du
Puede ocurrir que X esté entre A y B en cuyo caso: AB CD .
Veamos ahora que cualquiera de las posibilidades que se dé, excluye las otras dos.
so ri
CX AB .
U tea
Y puesto que ya se tenía AB CD se tiene por una aplicación de teorema 9 que D está entre
Sean AB CD y CD EF , entonces, AB EF .
Demostración.
ci o
CD EY .
er tiv
De la misma manera, puesto que AB CD , existe un punto X entre C y D tal que:
AB XC .
m ca
al
(Ver Figura 69).
co du
Aplicando el axioma de construcción del segmento, sea P un punto de la semirrecta EF tal
que:
no l e
EP CX .
Entonces por el teorema 9 se sigue que P está entre E y F. Además, por transitividad se tiene:
a
AB EP .
so ri
U tea
M
Figura 69
AB EF
Los siguientes corolarios son de fácil demostración, lo cual se deja para el lector.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
COROLARIOS
1. Si AB CD y CD EF , entonces, AB EF .
Observación.
ci o
Análogos a los dos últimos teoremas y a los anteriores corolarios, tienen lugar resultados
er tiv
relativos a los ángulos, los cuales se enuncian a continuación.
TEOREMA 23.
m ca
al
·
Dados dos ángulos cualesquiera, a , b y c , d siempre se cumple una de las
relaciones siguientes:
co du
a , b c , d , a , b c, d , a , b c , d
y cada una de ellas excluye a las otras dos.
no l e
· y c, d e, f .
Propiedad transitiva: Sean a, b c, d Entonces,
a, b e, f .
a
· Si el ángulo c, d tiene el mismo vértice y está en el interior del ángulo a, b ,
U te
1.1 QR QP . 1.6 QP QX .
ci o
er tiv
1.2 QR QX . 1.7 QX XR .
m ca
al
1.4 PR PX . 1.9 Si XP PR entonces QP XR .
2.1 Si AB PQ y CD PQ entonces AB CD .
a
2.2 Si AB PQ y CD PQ entonces CD AB .
so ri
2.4 Si AB CD entonces AB CD .
AX PQ .
M
3 Indicar para cada una de las siguientes proposiciones cuáles son verdaderas y cuáles son
falsas, justificando su determinación.
AX AB ó AX AB ó AX AB .
AX AB ó AX AB ó AX AB .
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
AX AB ó AX AB ó AX AB .
3.4 Si AX BC entonces A, X, B y C son colineales.
4
Sean AÔB no nulo y no llano, M Int AÔB , X Int AÔM ; señale cuáles de las
siguientes proposiciones son verdaderas y cuáles son falsas.
ci o
4.1 AÔB AÔM . 4.6 AÔX AÔM .
er tiv
4.2 AÔB AÔX . 4.7 AÔK XÔB .
m ca
al
4.4 BÔM MÔX . XÔM MÔB .
4.5 AÔM MÔB 4.9 Si XÔM MÔB entonces
co du
AÔM XÔB
4.10 Si AÔM XÔB entonces
no l e
AÔX MÔB
a
5 Sean AÔB , PQ̂ R , ST̂K no nulos y no llanos, señale cuáles de las siguientes
so ri
5.3 Si AÔB ST̂K y PQ̂R ST̂K , entonces, existe M Int PQ̂R tal que
M
AÔB PQ̂M .
Ilustración N° 1
ci o
Presentamos una situación particular, quizás la más representativa inicialmente para el
er tiv
estudiante, en la figura 1.
m ca
al
co du
Figura 1.
no l e
b. Esta proposición es “verdadera” por el teorema que destaca esta propiedad en los
U te
Detengamos en este punto y presento a consideración otra figura que cumple igualmente con
todas las condiciones establecidas inicialmente:
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Figura 2.
ci o
Revisemos nuevamente el valor de verdad de cada una de las proposiciones:
er tiv
a. Esta proposición es “falsa”, en este caso la figura nos muestra un contraejemplo.
b. Esta proposición es “verdadera” porque se está designando el mismo ángulo.
m ca
al
Como podemos concluir la primera proposición no corresponde a un resultado verdadero
co du
siempre porque hemos señalado al menos un caso en el cual no se cumple.
Analícense las proposiciones restantes sobre las condiciones indicadas en la figura 2 y
revísense de nuevo para poder asegurarse que, el juicio que se emite, no depende de una
no l e
situación particular.
Téngase en cuenta que un teorema es válido en todas las situaciones en las cuales se planteen
a
sus condiciones; y que un enunciado del cual se pueda dar siquiera un contraejemplo de su no
so ri
validez, no es un teorema.
U te
Ilustración N° 2
a
En la figura se tiene:
M
i. ̅̅̅̅
𝐴𝐵 ∩ ̅̅̅̅
𝐶𝐷 = {𝑂}
ii. ̅̅̅̅ y de ̅̅̅̅
𝑂 punto medio de𝐴𝐵 𝐶𝐷
iii. 𝑂 está entre 𝑀 y 𝑁
iv. 𝑀 está entre 𝐴 y 𝐶
v. 𝑁 está entre 𝐷 y 𝐵
Demuestre que:
1) A ≅ B ; 2)𝑀𝐶 ≅ 𝐷𝑁; 3)𝑂𝑀 ≅ 𝑂𝑁.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Demostración
ci o
Consecuencias: A ≅ B ,⏟
⏟ C ≅ D ,𝐴𝐶
⏟ ≅ 𝐷𝐵
er tiv
4′ 4′′ 4′′′
5. MOC ≅ DON ; de ii. y iii. Teorema ángulos opuestos por el vértice.
m ca
al
6. ∆𝑀𝑂𝐶 ≅ ∆𝐷𝑂𝑁 (A-L-A); de 4´´, 2 y 5.
Consecuencias: ⏟
𝑀𝐶 ≅ 𝐷𝑁,𝑂𝑀
⏟ ≅ 𝑂𝑁 ,⏟
OMC ≅ OND
co du 6′ 6′′ 6′′′
Ilustración N° 3
no l e
En la figura se tienen:
i. OA OC
a
ii. OB OD
so ri
iii. 𝑂𝐴 ≅ 𝑂𝐵
U te
iv. 𝑂𝐶 ≅ 𝑂𝐷
v. 𝑁 está entre 𝑂 y 𝐶.
a
viii. 𝐵−𝑀−𝐸
ix. 𝐴−𝑁−𝐸
Demuestre que:
1. 𝐴𝐷 ≅ 𝐵𝐶
2. B≅A
3. ∆𝑀𝐷𝐸 ≅ ∆𝑁𝐶𝐸
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
Demostración
1. BOD ≅ AOC ; de i. y ii. propiedad de ángulos rectos.
2. BOC ≅ AOD ; adición de ángulos respectivamente congruentes, de 1.
3. ∆𝐵𝑂𝐶 ≅ ∆𝐴𝑂𝐷(L-A-L); de iii. iv. y 2.
ci o
Consecuencias: ⏟
𝐴𝐷 ≅ 𝐵𝐶 , ⏟
B ≅ A ,⏟
C ≅ D
3′ 3′′ 3′′′
er tiv
4. ∆𝑀𝑂𝐵 ≅ ∆𝑁𝑂𝐴(A-L-A); de iii. , 1 y 3´´
Consecuencias: OMB ≅ ONA ,𝑂𝑀
⏟ ⏟ ≅ 𝑂𝑁,𝐵𝑀
⏟ ≅ 𝐴𝑁
m ca
al
4′ 4′′ 4′′′
5. OMB ≅ DME ; Teorema propiedad de los ángulos opuestos por el vértice.
co du
6. ONA ≅ CNE ; Teorema propiedad de los ángulos opuestos por el vértice.
7. DME ≅ CNE ; transitividad entre 4´, 5 y 6.
no l e
Ilustración N° 4
U te
Demuestre que: Si dos triángulos tienen dos lados respectivamente congruentes y las
a
ci o
er tiv
m ca
al
i. ∆𝐴𝐵𝐶, ∆𝐴′𝐵′𝐶′
co du ii. 𝐴𝐵 ≅ ̅̅̅̅̅̅
̅̅̅̅ 𝐴′𝐵′
iii. 𝐴𝐶 ≅ ̅̅̅̅̅
̅̅̅̅ 𝐴′𝐶′
Hipótesis iv. ̅̅̅̅̅
𝐴𝑀: mediana en ∆𝐴𝐵𝐶 Tesis: ∆𝐴𝐵𝐶 ≅ ∆𝐴′𝐵′𝐶′
no l e
v. ̅̅̅̅̅̅
𝐴′𝑀′: mediana en ∆𝐴′𝐵′𝐶′
vi. 𝐴𝑀 ≅ ̅̅̅̅̅̅
̅̅̅̅̅ 𝐴′𝑀′
a
so ri
Nota:
U te
Este teorema que a primera vista parece ser sencillo en su proceso demostrativo, no lo es
puesto que requiere de una construcción que no se ve fácil.
a
M
Demostración
ci o
er tiv
Consecuencias: ⏟
𝐴′𝐵′ ≅ 𝐶′𝑃′,⏟
B' A' M ' ≅ C ' P' M ' ,⏟
B ' ≅ M ' C ' P'
10′ 10′′ 10′′′
̅̅̅̅ ≅ ̅̅̅̅̅̅
11. 𝐴𝑃 𝐴′𝑃′; adición de segmentos respectivamente congruentes, de vi., 3 y 4.
m ca
al
̅̅̅̅̅; de ii. 8´ y 10´.
̅̅̅̅ ≅ 𝑃′𝐶′
12. 𝑃𝐶
13. ∆𝐴𝑃𝐶 ≅ ∆𝐴′𝑃′𝐶′(L-L-L); de iii. , 11 y 12.
co du
Consecuencias: MPC ≅ M ' P' C ' ,⏟
⏟ MAC ≅ M ' A' C ' ,⏟
ACP ≅ A' C ' P'
13′ 13′′ 13′′′
Consecuencias: ⏟ CMP ≅ C ' M ' P' ,⏟
𝑀𝐶 ≅ 𝑀′𝐶′,⏟ MCP ≅ M ' C ' P'
14′ 14′′ 14′′′
a
𝑀𝐵 ≅ ̅̅̅̅̅̅
15. ̅̅̅̅̅ 𝑀′𝐵′; de 14´, 1 y 2., por transitividad.
so ri
̅̅̅̅ ≅ ̅̅̅̅̅̅
16. 𝐵𝐶 𝐵′𝐶′; adición de segmentos respectivamente congruentes, de 14´ y 15.
U te
ci o
Ilustración N°5
er tiv
En la figura se tiene que ̅̅̅̅ ̅̅̅̅, ̅̅̅̅
𝐴𝐵 biseca los ángulos CAD y CBD respectivamente; 𝑀𝜖𝐴𝐵 𝐶𝐷 ∩
m ca
al
̅̅̅̅
𝐴𝐵 = {𝑂}
Demuestre que:
co du
i.∆ 𝐶𝐴𝐷 es isósceles.
no l e
ii. ̅̅̅̅
𝐶𝐷 ⊥ ̅̅̅̅
𝐴𝐵
iv. MCD MDC
U te
Demostración
a
1. CAB ≅ DAB y CBA ≅ ABD de la hipótesis.
M
2′ ̅̅̅̅̅
. 𝐴𝐶 ≅ ̅̅̅̅
𝐴𝐷 2′ ′. ̅̅̅̅
𝐵𝐶 ≅ ̅̅̅̅
𝐵𝐷 2′ ′′. ACB ≅ ADB Consecuencias de 2.
3. ∆𝐶𝐷𝐴 es isósceles. Definición triángulo isósceles de 2'.
4. ̅̅̅̅
𝐴𝑂 es bisectriz en el ∆𝐶𝐷𝐴 de 1.
5. ̅̅̅̅
𝐴𝑂 es altura mediana y está sobre la mediatriz del lado ̅̅̅̅
𝐶𝐷 . Propiedad de los
segmentos notables del triángulo isósceles. De 3 y 4.
6. ̅̅̅̅ ̅̅̅̅, de 5.
𝐶𝐷 ⊥ 𝐴𝐵
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
7. En el ∆𝑀𝐶𝐷, ̅̅̅̅̅
𝑀𝑂 es la mediana y altura ¿Por qué?
8. ∆𝑀𝐶𝐷 es isósceles. ¿Por qué?
9. ̅̅̅̅̅
𝑀𝐶 ≅ ̅̅̅̅̅
𝑀𝐷, de 8, definición de triángulo isósceles.
10. MCD MDC , de 8 Propiedad del triángulo isósceles.
Ilustración N°6
ci o
En la figura se tiene:
er tiv
i. A, O, B y C son coplanarios
m ca
al
Hipótesis ̅̅̅̅ ≅ 𝑂𝐵
ii. 𝑂𝐴 ̅̅̅̅ ≅ 𝑂𝐶
̅̅̅̅
co du iii. AOB BOC COA
Demostración
U te
2’’. ABC OAB OBC OCB OCA OAC
consecuencia de 2 y propiedad del triángulo isósceles.
3. ∆𝐴𝐵𝐶 es equilátero de 2' definición triángulo equilátero.
4. 𝐵𝑂 es bisectriz del ABC ¿Por qué?
5. ̅̅̅̅̅ ̅̅̅̅ = {𝐾}, 𝐾 es único. De 4. Teorema de la Barra transversal.
𝐵𝑂 ∩ 𝐴𝐶
6. ̅̅̅̅
𝐵𝐾 es bisectriz, mediana y altura en el ∆𝐵𝐴𝐶 , de 3 y 4 por propiedad de los
segmentos notables del triángulo isósceles.
ELEMENTOS DE GEOMETRÍA EUCLIDIANA
ci o
er tiv
m ca
al
co du
no l e
a
so ri
U tea
M