1

El propósito de este módulo es ampliar las temáticas desarrolladas en el capítulo 8 del

libro Geometría Moderna de Moise y Downs. Se sugiere un esquema para desarrollar
los temas correspondientes y se presentan unas actividades, que tienen como propósito
ayudar al estudiante en la interpretación y análisis de algunos de los teoremas. El
módulo es un complemento a la temática presentada en el texto, por lo que debe
seguirse en forma paralela.

Uno de los propósitos es involucrar al estudiante a que participe activamente en el

proceso de su aprendizaje, a través de la justificación y completación de pasos en
algunas demostraciones, así como el desarrollo de unos ejercicios que complementan la
teoría y refuerzan los conceptos presentados.

Taller 12. Perpendicularidad entre rectas y planos

En esta sección se hace una reorganización del tema relacionado con la
perpendicularidad de rectas y planos en el espacio, y se da un énfasis especial a los
teoremas relacionados con lugares geométricos, teoremas de caracterización y teoremas
de existencia y unicidad.

De los postulados estudiados, los que comienzan a jugar un papel importante en el

desarrollo de la temática son:

Postulado de existencia de puntos Todo plano contiene al menos tres puntos no

colineales y el espacio contiene al menos tres puntos no coplanares.

Postulado del plano Tres puntos están en al menos un plano y tres puntos no
colineales están exactamente en un plano.

Postulado de la intersección de planos Si dos planos diferentes se intersecan, su

intersección es una recta.

Postulado de separación del espacio Los puntos del espacio que no están en un plano
dado, forman dos conjuntos tales que:
i) cada uno de los conjuntos es convexo
ii) si P está en uno de los conjuntos y Q está en el otro , el PQ interseca el
plano dado.

Rectas perpendiculares a planos

Definición: Una recta y un plano son perpendiculares, si se intersecan y si además, toda
recta en el plano que pase por el punto de intersección, es perpendicular a la recta dada.

Teoremas

Los siguientes teoremas se encuentran demostrados en el texto guía y deben ser

estudiados antes de iniciar la temática que abordaremos.

Teorema 1 Si B y C equidistan de P y Q, entonces todo punto entre B y C también

equidistan de P y Q.
 2

Teorema 2 Si una recta es perpendicular a dos rectas que se intersecan en su punto de

intersección entonces es perpendicular al plano que contiene a las dos rectas.

Escriba las justificaciones a las afirmaciones que se dan para las demostraciones de los
siguientes dos teoremas:

Teorema 3 Si una recta y un plano son perpendiculares, entonces el plano contiene

toda recta perpendicular a la recta dada en su punto de intersección con el plano dado.

Demostración Sea m la recta perpendicular al plano  en el punto P. Se probará que si

n es cualquier recta perpendicular a m en P, entonces n  

1. m y n determinan un plano 
2. Sea t la recta intersección de los
planos  y 
3. t  
4. t  m en P
5. n  m en P
6. t = n
7. n  

¿En qué difiere este teorema de la definición de recta perpendicular al plano?

Teoremas de existencia y unicidad.

En el desarrollo de una teoría geométrica se definen objetos y relaciones entre ellos.

Una vez definido un objeto, interesa demostrar que realmente “existe”, es decir, que se
puede construir a partir de la teoría establecida hasta el momento, pruebas que se
denominan de existencia. Si existe, cabe preguntarse si es “único”. Generalmente, la
unicidad se determina suponiendo la existencia de otro objeto con las mismas
características y se llega a una contradicción, lo cual permite afirmar que el objeto en
cuestión no es distinto al original. Esta prueba se llama de unicidad.

Los siguientes dos teoremas garantizan la existencia y unicidad, tanto de rectas

perpendiculares a planos como de planos perpendiculares a rectas, que pasan por un
punto dado del espacio.

Teorema 4 Por un punto dado, pasa un plano y solamente uno, perpendicular a una
recta dada.

Demostración Son posibles dos casos, según la posición del punto con respecto a la
recta: el punto dado está o no sobre la recta dada.

Caso 1: Punto sobre la recta

Existencia
 3

1. Sean l la recta y P un punto de ella.

2. Existe un plano  que contiene l.
3. Existe otro plano  que contiene a l.
4. Existe una recta m en  tal que m  l en P.
5. Existe una recta n en  tal que n  l en P.
6. m y n determinan un plano .
7.   l en P.

Unicidad

8. Supongamos que existe otro plano , tal

que   l en P.
9. Sea E un punto en  que no esté en .
10. Sea  el plano determinado por l y E.
11. Sean PE =    y PF =    .
12. En , PE y PF son perpendiculares
a l en P. 

Por lo tanto, no existe otro plano perpendicular a l en P. Lo que nos permite garantizar
que el único plano es .

Caso 2: Punto externo a la recta.

Existencia

1. Sea l la recta dada y D el punto externo a l.

2. Sea  el plano que contiene a l y a D.
3. Sea m la recta de  tal que D  m y m  l.
4. Sea {C} = m  l .
5. Existe otro plano  que contiene a l, y que
no contiene a D .
6. Sea t la recta de  tal que t  l en C.
7. Sea  el plano determinado por t y m.
8. l   .

Unicidad

9. Supongamos que existe otro plano  tal que   l y D  .

10. En , existe la recta n tal que D  n y n  l.
11. m = n
12. C  .
13.  = 

Teorema 5 Por un punto dado, pasa una y solamente una recta, perpendicular a un
plano dado.
 4

Demostración De nuevo, se tienen que considerar dos casos, según la posición del
punto dado.

Caso 1: El punto está en el plano.

El teorema se reescribe de la siguiente forma:
Sea P un punto del plano . Entonces existe una recta l 
Demostración

Existencia
1. Sea P un punto del plano 
2. Sea AB una recta de  que pasa por P.
3. Sea el plano   AB en P.
4. Sea CD =   .
5. Sea l  CD por P.
6. l  

Unicidad

7. Suponga ahora que m   en P.

8. Sea  el plano que contiene a l y m.
9. Sea FG =   
10. l  FG y m  FG
Por tanto, l es la única recta perpendicular a 
en P.

Caso 2: El punto no está en el plano.

Existencia.

La primera parte de la demostración describe las construcciones auxiliares que se

introducen para determinar la recta buscada. A la vez que justifica la validez de cada
paso, realice el gráfico correspondiente.

1. Sea  el plano dado y P el punto exterior.

2. Sea l una recta en el plano 
3. Sea  el plano determinado por P y l.
4. Sea n la recta en  tal que P n y n  l.
5. Sea C = n  l.
6. Sea t en  tal que t  l (en C)
7. Sea  el plano determinado por P y t.
8. En , sea k la recta que pasa por P tal que k  t.
9. Sea {E} = k  t
10. Sea P’ en el rayo opuesto a EP tal que EP = EP’
 5

11. Sea F cualquier punto de l, F  C.

12. Sean las rectas EF , PF , P' C y P' F .

Probaremos ahora que k es efectivamente la recta buscada, demostrando que es

perpendicular a otra recta del plano . La gráfica muestra un dibujo simplificado de la
situación anterior.

13. l es perpendicular al plano

determinado por n y t.
14. l  P' C
15. PC  P' C
16. FP  FP '
17. FE  k
18. k  .

Unicidad

19. Supongamos que existe otra recta k’ tal que P  k’ y k’  

20. Las rectas k y k’ determinan un plano 
21. Sea m =   
22. k  m y k’  m
23. k = k’ .

Como consecuencia del teorema anterior se puede definir distancia de un punto a un

plano como la longitud del segmento perpendicular desde el punto al plano.

Utilice la anterior definición para demostrar el siguiente teorema.

Teorema 6 Segundo teorema de la mínima distancia

El segmento más corto desde un punto a un plano que no lo contiene es el segmento

perpendicular.

Lugares Geométricos y Teoremas de Caracterización.

Un lugar geométrico es el conjunto de todos los puntos y solo aquellos puntos que
satisfacen una o más condiciones geométricas que se expresan en términos de la noción
de distancia. Por ejemplo, el lugar geométrico de todos los puntos de un plano que
equidistan de un punto fijo, es una circunferencia y el correspondiente lugar geométrico
en el espacio es una esfera.

Un teorema de caracterización presenta una condición que ofrece una definición alterna
para un objeto, esto es lo describe en forma distinta a la dada en la definición. Por
ejemplo, en un plano, la mediatriz de un segmento se define como la recta perpendicular
al segmento en el punto medio de éste. Pero se puede caracterizar como el lugar
geométrico de los puntos del plano que equidistan de los extremos del segmento.
 6

Veamos algunos teoremas de caracterización que involucran la relación de

perpendicularidad en el espacio. El primer teorema corresponde a un desarrollo similar
al efectuado en geometría plana con la mediatriz.

Definición:

El plano bisecante perpendicular de un segmento es el plano perpendicular al segmento

en su punto medio.

Teorema 7

El plano bisecante perpendicular de un segmento es el lugar geométrico de los puntos

que equidistan de los extremos del segmento.

Para demostrar que una figura geométrica (en este caso un plano) es un lugar
geométrico, se debe:

1. Demostrar que todo punto de la figura es un punto del lugar geométrico (es decir,
satisface la condición)
2. Todo punto del lugar geométrico es un punto de la figura o equivalentemente, todo
punto que no esté en la figura, no es un punto del lugar geométrico.

Demostración:

Condición 1:

1. Sea  el plano bisector de AB

2. Sea C el punto medio de AB y
3. Sea P un punto del plano .
4. CP  AB
5. ACP  BCP
6. AP  BP

Condición 2:

7. Suponga que PA = PB
8. ACP  BCP
9. PC  AB
10. P  .

Observe que el teorema “Todas las rectas perpendiculares a una recta dada en un
punto de ésta se encuentran en el plano que es perpendicular a la recta en dicho
punto”, utilizado en la prueba anterior, es un teorema de caracterización, previamente
demostrado.

Para el siguiente teorema, además de justificar los pasos en la demostración, vaya

completando la figura correspondiente, con las construcciones auxiliares mencionadas
 7

Teorema 8

Dos rectas perpendiculares al mismo plano son paralelas.

Demostración Sean n y m dos rectas perpendiculares al plano  en los puntos B y D,

respectivamente. Se demostrará que m n .

1. Sea A un punto de n diferente de B.

2. Sea C un punto de m diferente de D en el mismo semiespacio en el que está A.
3. Sean BD y AD
4. Sea t la recta de  tal que t  BD en D.
5. Sean H y G dos puntos distintos de t tales que HD = GD.
6. Sean AH , AG , BH y BG .
7. BH  BG
8. AH  AG
9. AD  HG
10. CD  BD
11. BD, AD y CD están en un mismo plano .
12. AB  
13. AB  BD y CD  BD
14. Sea PQ un segmento del plano  tal que PQ y BD se bisecan en M.
15. AB y CD están en el plano bisecante perpendicular de PQ .
16. AB  CD

Las siguientes afirmaciones son consecuencia del teorema anterior. Demuéstrelas.

Corolario 1

Si una de dos rectas paralelas es perpendicular a un plano, entonces la otra recta es

perpendicular al plano.

Corolario 2
 8

Si r, s y t son tres rectas, no situadas en un mismo plano, tal que r es paralela a s y s es

paralela a t entonces r es paralela a t.

Teorema 9

El lugar geométrico de los puntos que equidistan de los vértices de un triángulo es la

recta perpendicular al plano del triángulo, que pasa por el circuncentro de éste.

Condición 1: Si P está en la recta descrita, P equidista de vértices del triángulo.

Demostrarlo.

Condición 2:

Sea l   en O, O el circuncentro del triángulo de vértices A, B y C.

Supongamos que P  l.
Sea PD   (en D)
DO
Alguna de la distancias DA, DB o DC es mayor que una de las otras.
Alguna de las distancias correspondientes PA, PB o PC es mayor que una de las otras.

Ejercicios

Ejercicios del capítulo 8 de Moise.

1. Sea l   en B. Dados A,C, demuestre que si Pl, y AB = CB, entonces PA =

PC.
2. Sea l   en B. Dados A,C, demuestre que si Pl, y AB > CB, entonces PA >
PC.
3. ¿Qué teoremas de la geometría plana corresponden a los problemas 1 y 2?
4. Sea l   en B y m una recta en  . Sea n la recta que pasa por B y es perpendicular
a m y sea A el punto de intersección de m y n. Demuestre que para todo punto Pl,
PA  m.
5. Explique por qué el ejercicio anterior ofrece un camino para determinar el plano
perpendicular a una recta m por un punto P.

(Lugares geométricos)

6. ¿Cuál es el lugar geométrico de los puntos del espacio que equidistan de todos los
puntos de una circunferencia dada?
7. ¿Cuál es el lugar geométrico de los puntos de un plano dado que están a una
distancia fija de un punto dado que no está en el plano?

BIBLIOGRAFÍA

Moise, Edwin y Downs, Floyd. (1966). Geometría Moderna. AddisonWesley

Iberoamericana, Wilmington. Delaware.
 9

Alfonso Castillo, Hernando (1997). Geometría plana y del espacio

Pinto Carvalho, Paulo Cezar (1993). Introduçao a Geometria Espacial. Graftex, Río de
Janeiro.

Welchons, A. M. y Krickenberger, W.R. (1950). Solid Geometry. Ginn and Company.

Boston.