Universidad de Antioquia

Instituto de Matemáticas
Introducción a las matemáticas
Perpendicularidad y paralelismo
Temas: Existencia y unicidad de rectas perpendiculares, existencia de paralelas, postulado de la
paralela única. Criterios de paralelismo y aplicaciones.

1. Rectas perpendiculares y paralelas

Definición 1. Dos rectas coplanares se dice que se cortan si tienen un único punto en común.
Igualmente, se dice que son rectas paralelas si no se cortan. Esto es, si l y m son rectas, entonces
l y m son paralelas, cuando l = m, o si l es diferente a m y l ∩ m = ∅. Dos segmentos son
paralelos cuando las rectas que les contienen son paralelas.
Recordemos que dos rectas son perpendiculares si se cortan formando un ángulo recto. El
sı́mbolo lkm significa que las rectas l y m son paralelas, asimismo, l ⊥ m significa que las rectas l
y m son perpendiculares.

l m

Figura 1: Ilustración del concepto de rectas paralelas

Hay un par de resultados importantes sobre la existencia de rectas perpendiculares.

Teorema 1. Sean π un plano y l una recta en π. Por cada punto P ∈ l pasa una única recta
contenida en π y que es perpendicular a la recta l.

m
Existencia.
B C 1. Por el axioma de construcción del ángulo,

∃B ∈ π tal que ∠AP B es recto;

←→
l P A 2. P B ⊥ l.

1
Unicidad. Si hay otra recta m ∈ π tal que P ∈ m y m ⊥ l, sea C un punto en m que está del
mismo lado que el punto B con respecto de l. Luego

m(∠AP B) = 90◦ = m(∠AP C),

por el axioma de construcción del ángulo, necesariamente P , B y C son colineales. Pero por P y B
←→
pasa una única recta P B, asimismo por P y C pasa una única recta m, como todos estos puntos
←→
deben estar en esa única recta, entonces P B = m.

Teorema 2. Sean l una recta en un plano π. Por cada punto P ∈ / l pasa una recta única que es
perpendicular a la recta l.
←→
Existencia. Sean Q y R dos puntos en l. Tracemos la recta P Q. En el semiplano determinado
−→
por l el cual no contiene a P existe una semirecta QS tal que

∠RQS ∼
= ∠RQP.
−→
Sea T ∈ QS de modo que QP ∼ = QT . Tracemos P T y sea K el punto de corte de P T con l. Los
triángulos △P QK y △T QK son congruentes por (L-A-L). De esta congruencia se sigue

∠P KQ ∼
= ∠T KQ;

como estos ángulos son adyacentes y P, K, T son colineales, necesariamente ∠P KQ y ∠T KQ son

←→
rectos. Por lo tanto, P T ⊥ l.

P
|

l Q K R
|

Figura 2: Ilustración existencia recta perpendicular 2

Unicidad. Razona por el absurdo. Puedes consultar en las notas de clase

2
En resumen,
Por cada punto de (exterior a) una recta pasa una única perpendicular a ésta

Teorema 3. Si dos rectas coplanares son ambas perpendiculares a una otra recta, necesariamente
son paralelas.
Demostración: Razonemos por reducción al absurdo,

1. Sean m 6= n rectas coplanares con l tales que

l
m⊥l ∧ n ⊥ l,

m 2. Si m 6k n, por definición ∃P ∈ m ∩ n;

P 3. Luego
P ∈ m, P ∈ n, m ⊥ l ∧ n ⊥ l;
n
4. Se sigue del teorema 2 que
m = n.

Por lo tanto se debe verificar que m k n.

Teorema 4. Sea l una recta en un plano π. Por cada P ∈
/ l pasa una recta que es paralela a la
recta l.
Demostración: Si P ∈ / l, sea m la única recta por P que es perpendicular a l, (2). Sea l1 la recta
perpendicular a m pasando por P , (1). Entonces l y l1 son dos rectas perpendiculares a m, se
sigue del teorema 3 que l k l1 .

l1 P

Figura 3: Ilustración de la construcción de una recta paralela

Mostrada la existencia de una recta paralela pasando por un punto exterior de una recta, es natural
pensar en mostrar su unicidad. Por extraño que parezca, no es posible hacerlo. Por esta razón se
asume la unicidad como un postulado.
Postulado (Playfair)
Sea l una recta en un plano π. Por cada P ∈
/ l pasa una única recta que es paralela a la recta l.

3
1.1. Criterio de paralelismo
Si P ∈/ l, por lo postulado, si n ∈ π es una recta paralela a l pasando por P , cualquier otra recta
en el mismo plano m 6= n que pase por P no es paralela a l. Asimismo, cualquier otra recta l1 ∈ π
que sea paralela a l no puede pasar por P .

Definición 2. Si l y m son dos rectas coplanares diferentes. Una recta transversal o secante
para l y m es una recta que las intercepta a ambas en puntos diferentes.

l Q

Figura 4: Ilustración de una recta secante a dos rectas

Si dos rectas cualesquiera son cortadas por una secante, se forma ocho ángulos, de modo que cada
punto de corte es el vértice de cuatro de éstos ángulos. Atendiendo en la figura, los cuatro ángulos
∠α, ∠, λ, ∠δ, ∠ρ se llaman ángulos internos. Los otros cuatro ángulos ∠β, ∠, γ, ∠θ, ∠ω se llaman
ángulos externos.
t

1. ∠λ y ∠δ son ángulos alternos internos;

θ
ω
δ ρ 2. ∠α y ∠ρ son ángulos alternos internos;
3. ∠γ y ∠θ son ángulos alternos externos;
4. ∠β y ∠ω son ángulos alternos externos.
l α λ
β γ

Los ángulos correspondientes son un par de ángulos consistente de un ángulo interior y un

ángulo exterior los cuales tienen vértices diferentes y contienen puntos en los mismos semiplanos
respecto a la secante l, en la figura ∠λ y ∠ω son ángulos correspondientes; asimismo, ∠ρ y ∠γ,
∠θ y ∠α lo son.

Ejemplo 1. Atendiendo en la figura, los ángulos δ y ρ son suplementarios, asimismo λ y α son

suplementarios. Por lo tanto

m(δ) + m(ρ) = m(α) + m(λ) = 180◦ .

4
Consecuentemente, para los ángulos alternos internos se verifica
δ∼
= λ ⇐⇒ ρ ∼
= α.

El siguiente resultado nos brinda un criterio de paralelismo y generaliza el teorema (3).

Teorema 5. Si dos rectas coplanares cortadas por una secante determinan con ella una pareja de
ángulos alternos internos congruentes, las rectas son paralelas.
Demostración: Razonemos por reducción al absurdo,
t

Sean l 6= m dos rectas cortadas

l Q R
por la secante t en puntos R y S
•
β respectivamente, de modo que los
ángulos alternos internos son con-
P gruentes,

m
α
∠α ∼
= ∠β.
•
T S

Si l 6k m, entonces se cortan en un punto P . Atendiendo en la figura, tenemos

∠P RS ∼
= ∠RST (1)
pues son ángulos alternos internos con ∠α ∼
= ∠β. Por el axioma de construcción del segmento,
existe un punto Q ∈ l ubicado en el semiplano opuesto al que contiene a P respecto a t de modo
que
RQ ∼= SP .
Trazando el segmento SQ, notamos por el postulado (L-A-L) que
△RSP ∼
= △RSQ.
De la congruencia resulta,
∠P RS ∼
= ∠QSR. (2)
De (1) y (2) se sigue
∠QSR ∼
= ∠RST.
−→ −→
Dado que SQ y ST están en el mismo semiplano respecto a t, por el axioma de construcción del
−→ −→
ángulo, estas semirectas deben coincidir, i.e., SQ = ST , lo que nos dice a la vez que S, T y Q
←→
son colineales, es decir, Q pertenece a la recta m. Pero también P ∈ m. Luego m = QP , pero por
←→
la construcción l = QP , ası́ se tiene finalmente que l = m. Lo cual entra en contradicción con la
hipótesis ya que habı́amos supuesto que l y m eran dos rectas diferentes.

Teorema 6. Si dos rectas coplanares paralelas son cortadas por una secante, los ángulos alternos
internos son congruentes.
Demostración: Sean l y m dos rectas coplanares diferentes cortadas por una secante t en puntos
R y S respectivamente. Veamos que los ángulos alternos internos ∠α y ∠β son congruentes. Razo-
nemos por el absurdo suponiendo que tales ángulos no son congruentes. Por axioma de construcción
del ángulo, existe una recta n pasando por S y un punto P en n de modo que ∠P SR ∼ = ∠α. Por
el teorema 5 se sigue que n y m son rectas paralelas. De lo anterior, m y n son rectas diferentes
que pasan por el punto P y son paralelas a la recta l. Esto contradice el postulado de Playfair.
Concluimos que ∠α y ∠β son congruentes.

5
 t

m S
β

l α
R

Figura 5: Ilustración de los realizado en la demostración

1.2. Aplicaciones
Teorema 7. (Suma de los ángulos interiores de un triángulo) La suma de los ángulos interiores
de todo triángulo es 180◦.
Demostración:

l C
ω γ δ

α β
A B

Figura 6: Ilustración suma de los ángulos interiores de un triángulo

←→ ←→ ←→
Consideremos el triángulo △ABC. Tracemos por C la recta l paralela a AB. Como l k AB y AC
es una secante, por el teorema 6 se tiene

m(∠α) = m(∠ω).
←→ ←→
Asimismo, l k AB y BC es una secante, por el teorema 6 se tiene

m(∠β) = m(∠δ).

De lo anterior,

180◦ = m(∠ω) + m(∠γ) + m(∠δ) = m(∠α) + m(∠γ) + m(∠β).

6
Corolario 1. Si dos triángulos tienen dos pares de ángulos respectivamente congruentes, entonces
sus otros dos ángulos son respectivamente congruentes.

C C′
∠A ∼
= ∠A′ ∧ ∠B ∼
= ∠B ′

m (∠C) = 180◦ − m (∠A) − m (∠B)

= 180◦ − m (∠A′ ) − m (∠B ′ )
= m (∠C ′ ) .
A B A′ B′

Teorema 8. (Congruencia L-A-A) Si los triángulos △ABC y △A′ B ′ C ′ son tales que

∠A ∼
= ∠A′ , ∠B ∼
= ∠B ′ , AC ∼
= A′ C ′ ,

entonces △ABC ∼
= △A′ B ′ C ′ .
Demostración: Por el corolario anterior, sabemos que ∠C ∼
= ∠C ′ , luego △ABC y △A′ B ′ C ′
presentan las congruencias

∠C ∼
= ∠C ′ , AC ∼
= A′ C ′ , ∠CAB ∼
= ∠C ′ A′ B ′

el criterio (A-L-A) nos permite concluir que △ABC ∼

= △A′ B ′ C ′ .

Teorema 9. (Teorema del ángulo exterior) La medida de todo ángulo exterior de un triángulo es
igual a la suma de las medidas de los ángulos interiores no adyacentes a él.
Demostración:

A B D

Figura 7: Ilustración de la prueba del ángulo exterior

Para el triángulo △ABC de la figura, el ángulo exterior suplementario al ángulo ∠ABC es

∠DBC. Como

m(∠ABC) + m(∠DBC) = 180◦ = m(∠ABC) + m(∠CAB) + m(∠ACB)

concluimos que

m(∠DBC) = m(∠CAB) + m(∠ACB) = m(∠A) + m(∠C).

7
La existencia de una recta perpendicular pasando por un punto (exterior) de una recta nos permite
definir algunos conceptos importantes y mostrar algunos resultado.
Definición 3. La mediatriz de un segmento no nulo, contenido en un plano es la única recta
perpendicular, levantada por el punto medio del segmento y contenida en dicho plano.
m

A B

Figura 8: Ilustración del concepto de mediatriz de un segmento

Asociado con un triángulo se tienen los siguientes conceptos,

Definición 4. (a) En un triángulo se llama altura al segmento perpendicular trazado desde uno
cualquiera de los vértices, a la recta que contiene el lado opuesto.
(b) En un triángulo se llama mediana, al segmento comprendido entre uno cualquiera de los
vértices y el punto medio del lado opuesto.
(c) En un triángulo se llama bisectriz , al segmento sobre la bisectriz de cada ángulo comprendido
entre uno cualquiera de los vértices y el lado opuesto.

En la figura el segmento OH es la altura, OM es la mediana y OB es la bisectriz del ángulo Ô,

trazadas desde el vértice O. La mediana y la bisectriz de un ángulo, tienen sus extremos en puntos
sobre el lado opuesto al ángulo, es decir, puntos al interior del ángulo. No necesariamente sucede
igual con la altura.

H
• Q

B
•
M
•

O P

Figura 9: Ilustración de los segmentos notables en un triángulo

8
 Teorema 10. En un triángulo isósceles, la mediana comprendida entre los lados congruentes es
altura, bisectriz y está contenida en la mediatriz del lado asociado a la mediana.
Demostración: Consideremos un triángulo isósceles △ABC con AB ∼ = AC. Sea AM la mediana
comprendida entre el ángulo en el vértice A y el lado opuesto, de este modo BM ∼= CM .
A

1. AB ∼
= AC ∧ BM ∼
= CM , por hipótesis;
2. ∠ABM ∼
= ∠ACM , teorema (??);
3. △ABM ∼
= △ACM ; por (L-A-L);
=
=

4. ∠BAM ∼
= ∠CAM , de (3);
5. ∠BM A ∼
= ∠CM A, de (3).
B | | C
M

En consecuencia, de (4) se sigue que AM es la bisectriz para ∠BAC. Asimismo de (5) ∠BM A y
∠CM A son congruentes y suplementarios, por tanto son rectos. De lo anterior es claro que AM
está sobre la mediatriz del segmento BC.

Teorema 11. Si en un triángulo coinciden la mediana y la altura respecto de un mismo lado,

entonces dicho triángulo es isósceles.
Demostración: Consideremos el triángulo △ABC, en el cual el segmento AM es a la vez mediana
y altura.
A

Los triángulos rectángulos △ABM y △ACM tie-

nen sus catetos dos a dos congruentes. Luego son
congruentes por (L-A-L). Se sigue que AB ∼= AC.

B | | C
M

9
Ejercicios:

(1) Muestra que si dos rectas coplanares que son paralelas a una otra recta (también coplanar)
necesariamente son paralelas. Concluye que el paralelismo entre las rectas define una relación
de equivalencia.

(2) Moestra el teorema de Proclo. Si dos rectas distintas son paralelas, toda secante que corta
a una de ellas corta a la otra, siempre y cuando las tres sean coplanares.

(3) Atendiendo en la figura, determinar cuáles de las afirmaciones son verdaderas y cuáles son
falsas. Justificando su elección.

E
(a) ∠α′ , ∠β ′ son ángulos correspondientes
←→ ←→
(b) Si ∠α′ ∼
A α′
θ′
B = ∠β ′ , entonces AB k CD
α θ
←→ ←→
(c) Si ∠θ′ ∼
= ∠θ′ , entonces AB k CD
←→ ←→
(d) Si ∠δ ∼
= ∠β ′ , entonces AB k CD
δ β
C D ←→ ←→
β′ δ′ (e) Si ∠θ ∼
= ∠β, entonces AB k CD
←→ ←→
F (f) Si ∠θ′ ∼
= ∠β ′ , entonces AB k CD

(4) Muestra que si dos rectas coplanares son paralelas, y una recta coplanar con ambas es per-
pendicular a una de éstas, entonces también es perpendicular a la otra.

(5) Muestra que si dos rectas coplanares cortadas por una secante determinan con ella una pareja
de ángulos correspondientes congruentes, dichas rectas son paralelas. Asimismo, si dos rectas
coplanares cortadas por una secante determinan con ella ángulos alternos externos congruentes,
dichas rectas son paralelas.

(6) Muestra que si dos rectas coplanares paralelas son cortadas por una secante, entonces deter-
minan ángulos correspondientes congruentes. Asimismo, si dos rectas coplanares paralelas son
cortadas por una secante, entonces determinan ángulos alternos externos congruentes.

(7) Muestra que dos ángulos que tengan sus lados respectivamente paralelos, o son congruentes o
son suplementarios. También, muestra que dos ángulos que tengan sus lados respectivamente
perpendiculares, o son congruentes o son suplementarios.
(8) Prueba que si dos rectas distintas y paralelas son cortadas por otras dos rectas distintas y
paralelas, los segmentos opuestos que se determinan son respectivamente congruentes.
(9) Determinar cuáles de las siguientes afirmaciones son verdaderas y cuáles son falsas, justificando
su elección. En el caso de que una afirmación sea falsa, construya un contraejemplo adecuado.

(a) Un triángulo determina un plano;

(b) Dos lı́neas perpendiculares determinan un plano;
(c) En el espacio, por un punto en una recta l pasa solamente una recta perpendicular a l;
(d) Si l y m son rectas en un plano π de modo que l ∩ m = {P } y si n es una recta pasando
por P tal que n ⊥ l, entonces n ⊥ m;

10
(10) Atendiendo en la figura, considera las hipótesis dadas

Hipótesis:
B B′ (a) A, C, A′ , C ′ colineales
(b) BC ∼
= B′C ′
(c) AA′ ∼
= CC ′
(d) AB ∼
= A′ B ′
A A′ C C′

←→ ←−→
Muestra que BC k B ′ C ′ .

(11) Muestra que en triángulos congruentes, las medianas (alturas) sobre los lados respectivamente
congruentes son congruentes, igualmente las bisectrices de ángulos congruentes son congruen-
tes.

(12) Este ejercicio pide mostrar los cuatro casos de congruencia de triángulos rectángulos.
Trata de resolverlos sin emplear el resultado que la suma de las medidas de los ángulos interno
a un triángulo es de 180◦ .
(a) Dos triángulos rectángulos que tengan congruentes sus respectivos catetos, son congruen-
tes.
(b) Dos triángulos rectángulos que tengan congruentes un cateto y un ángulo agudo, son
congruentes (el cateto puede ser el adyacente o no al ángulo agudo).
(c) Dos triángulos rectángulos que tengan congruentes la hipotenusa y un ángulo agudo, son
congruentes.
(d) Dos triángulos rectángulos que tengan congruentes la hipotenusa y un cateto, son con-
gruentes.

(13) Muestra que si P es un punto sobre la bisectriz de un ángulo, entonces los segmentos perpen-
diculares trazados desde P sobre los lados del ángulo son congruentes. Es decir, todo punto
en la bisectriz de un ángulo esta a igual distancia de los lados del ángulo.

(14) Muestra que si en un triángulo coinciden la altura y la bisectriz respecto de un mismo lado,
entonces dicho triángulo es isósceles.

(15) Muestra que si en un triángulo coinciden la mediana y la bisectriz respecto de un mismo lado,
entonces el triángulo es isósceles.

(16) Muestra que si en un triángulo la mediana está sobre la mediatriz, respecto de un mismo lado,
entonces dicho triángulo es isósceles.

(17) Muestra que las medianas, las alturas y las bisectrices trazadas desde los ángulos congruentes
de un triángulo isósceles son congruentes.

(18) Muestra que si en un triángulo las alturas trazadas desde dos ángulos son congruentes, entonces
el triángulo es isósceles.

11
(19) Atendiendo en la figura, considere las hipótesis dadas

Hipótesis:

D (a) m(∠ADB) = 130◦

(b) ∠CAD ∼
= ∠DAB
(c) ∠CBD ∼
= ∠DBA

A B

Calcula m(∠ACB).

(20) Atendiendo en la figura, considera las hipótesis dadas

C Hipótesis:
(a) △ABC es rectángulo
(b) CD ⊥ AB

A D B

Muestra que ∠CAB ∼

= ∠BCD.
(21) Atendiendo en la figura, considere las hipótesis dadas
F

Hipótesis:

D G E
(a) AB ∼
= DE
C (b) BC ∼
= EF
(c) CH ∼
= FG

A H B

Muestra que △ABC ∼

= △DEF .

12
(22) Observa la figura y considera las hipótesis dadas.
A

Hipótesis:
M
(a) BC ∼
= EF
(b) AC ∼
D
B C = DF

N
(c) BM ∼
= EN
(d) BM y EN son medianas.
E F

Demuestra que △ABC ∼

= △DEF .

(23) Demuestra que si AM es un mediana en el triángulo △ABC, entonces los segmentos trazados
−−→
desde B y C perpendiculares a la semirecta AM son congruentes.

13