Geometria Elementar

gnese e desenvolvimento
Roberto Ribeiro Paterlini

Copyright
UFSCar.

maro de 2010 by Roberto Ribeiro Paterlini Departamento de Matemtica,

A presente verso est disponvel na pgina pessoal do autor em formato .pdf para ser
examinada por colegas professores interessados. Solicitamos no disponibilizar o arquivo em
outras pginas. O nosso endereo http://www.dm.ufscar.br/profs/ptlini/
Trata-se da construo de uma proposta alternativa para o ensino da Geometria. Para
sugestes ou perguntas favor se comunicar com o autor no endereo roberto@dm.ufscar.br
A proposta deste livro para ser usado como texto principal ou de apoio em cursos de
formao de professores de Matemtica para o ensino bsico. Pessoalmente temos utilizado
como texto principal. Mas no momento preferimos armar que a presente verso ainda no
est adequada para uso em sala de aula at que seja terminada, corrigida e passada pelo
escrutnio de colegas. Para sugestes ou perguntas favor se comunicar com o autor no
endereo roberto@dm.ufscar.br
Presentemente esse texto est em constante atualizao, e solicitamos ateno para que no
sejam divulgadas verses desatualizadas.
As guras aqui utilizadas e que no foram construdas pelo autor so de domnio pblico ou
livres para uso no comercial. As referncias s guras esto no Apndice A, pgina 271.
Caso tenha havido algum engano solicitamos que sejamos alertados. Favor usar o endereo
roberto@dm.ufscar.br

O Copyright
deste texto pertence ao autor, na forma da lei. permitido o download dos
arquivos para uso pessoal, com transferncia para ledores eletrnicos ou para impresso, na
forma da lei, sem qualquer nus. proibido o uso comercial em todo ou em parte de qualquer
material aqui disponibilizado, por qualquer meio. vedada a modicao desse texto, sob
qualquer forma. Solicitamos que se forem feitas impresses em escala por agente educacional,
pblico ou privado, que o material seja distribudo gratuitamente, e no sejam cobradas
taxas, nem mesmo a ttulo de preo de custo.
Gratos.

Figura da capa: Representao do quadriltero de Giovanni Saccheri, que desempenha

so retos.
importante papel na geometria axiomtica. As hipteses so: AD = BC e A e B
ABCD um retngulo?
Este texto foi editado em LATEX 2 pelo autor, que agradece comunidade TEX pelos meios
disponibilizados.

Roberto Ribeiro Paterlini

Geometria Elementar
gnese e desenvolvimento
um curso superior
para professores de Matemtica

Data da primeira verso: 01 de maro de 2010

Data desta verso: 2 de maro de 2014
Departamento de Matemtica
UFSCar

Parte III
Gnese das cincias geomtricas

75

Apresentao da Parte III

A antiga civilizao grega, particularmente a do Perodo Arcaico (776 a 323 a. C.), considerada a origem da atual civilizao ocidental. Desenvolveu os ideais loscos, cientcos,
polticos, sociais e artsticos que tiveram inuncia decisiva no mundo ocidental.
A Matemtica, vista como cincia dedutiva, comeou a ser desenvolvida nesse perodo. Antes dos gregos os estudiosos egpcios, sumrios, hindus e persas investigavam os nmeros e as
formas geomtricas atravs de um senso prtico e esttico. Os matemticos gregos transformaram completamente esse estudo, criando uma cincia dedutiva. Conra [83], pgina XI.
Distinguiram-se, dentre muitos estudiosos, os discpulos das Escolas Pitagrica e Platnica,
que se dedicaram ao estudo das guras e nmeros usando mtodos de anlise e deduo. Sobre
Pitgoras de Samos arma Proclus Diadochus, lsofo e historiador da Matemtica, que ele
transformou o estudo da geometria em uma arte livre, examinando os princpios dessa cincia
desde sua gnese. Os resultados matemticos obtidos nesse perodo foram organizados na
famosa coleo de livros Os Elementos, escrita por Euclides em Alexandria por volta de 300
a. C. Nesta coleo a Geometria apresentada em uma forma sistematizada do ponto de vista
dedutivo, com denies, axiomas e teoremas.
Essa forma de organizao da Geometria, denominada mtodo axiomtico, se mostrou
muito produtiva. O exame detalhado dos princpios da Geometria permitiu distinguir caminhos
alternativos em certos pontos da teoria. Essas acepes, que, num primeiro momento, pareciam
desmentir o entendimento comum do mundo fsico, deram origem a um conhecimento mais geral
da Geometria.
Nesta terceira e ltima parte de nosso texto nos propomos a estudar a Geometria sob o ponto
de vista do mtodo axiomtico e, ao mesmo tempo, complementar nossos conhecimentos com
alguns tpicos importantes para o professor que atua no ensino bsico. Aps inmeros contatos
com professores do ensino bsico, sempre solicitando deles uma posio, vimos que importante
para o professor estudar a Geometria de um ponto de vista que lhe conra segurana no fazer
didtico cotidiano. Esperamos prover essa demanda com o material exposto nos captulos
seguintes.

Captulo 14
Perpendicularismo e paralelismo no
espao
14.1 Introduo
Neste Captulo continuamos nossa apresentao da Geometria Euclidiana sob a perspectiva de
um sistema axiomtico. Veremos agora as propriedades bsicas de retas e planos no espao. O
principal foco o estudo das relaes de perpendicularismo e paralelismo entre esses elementos
(retas com retas, retas com planos e planos com planos). Precisamos conhecer essas relaes
para denir com preciso slidos geomtricos, como cilindros, paraleleppedos, etc, e investigar
suas propriedades.

14.2 Bases da Geometria Euclidiana no espao

Vimos no Captulo 9, particularmente nas sees 9.4 e 9.8 (pginas 93 e 106, respectivamente),
os axiomas e resultados iniciais da Geometria Euclidiana no espao. Para termos presentes
essas propriedades fazemos a seguir uma pequena lista.

1) O espao contm pelo menos quatro pontos no coplanares. (este o Axioma E1)
2) (a) Dados trs pontos quaisquer, existe um plano que os contm. (b) Dados trs pontos no
colineares quaisquer, existe um nico plano que os contm. (c) Todo plano contm pelo menos
trs pontos no colineares.

3)

(este o Axioma E3)

Se uma reta interseta um plano que no a contm, a interseo contm um nico ponto.

(este o Teorema 9.3)

4) Dados

uma reta e um ponto fora da reta, existe um nico plano que os contm.

Teorema 9.4)

(este o

5) Se dois planos diferentes se intersetam, a interseo uma reta. (este o Axioma E5)
6) Dado um plano, os pontos do espao que no pertencem ao plano formam dois conjuntos no
A pertence
(este o Axioma E10)

vazios tais que: (i) cada um dos conjuntos convexo; e (ii) se

e

ao outro, ento

AB

interseta o plano.

a um dos conjuntos

Lembremos que duas retas so ditas paralelas se so coplanares e se no se intersetam, e

que duas retas no coplanares so chamadas reversas. Temos a propriedade:

7) Dados uma reta e um ponto fora dela, existe, no espao, uma nica reta paralela reta dada
183

Geometria Elementar: gnese e desenvolvimento

184
e que contm o ponto dado.

Essa propriedade foi observada no Problema 10.3.4. De fato, sejam r uma reta e P um
ponto fora dela. Seja o plano que os contm. Pelo Axioma E16 (pgina 144) existe em
uma nica reta s paralela a r e que contm P . Suponhamos que existe uma outra reta t que
seja paralela a r e que tambm contenha P , com t no contida em . Como t e r so paralelas,
existe um plano que os contm. Ento e so planos que contm r e P , logo so o mesmo
plano. Assim t est contida em , o que uma contradio. Portanto no possvel existir no
espao uma segunda paralela a r por P .

14.3 Perpendicularismo entre retas e planos

Comeamos com resultados bsicos sobre perpendicularismo entre retas e planos.

Denies 14.1.

Uma reta e um plano se dizem perpendiculares quando se intersetam e cada

reta contida no plano que passa pelo ponto de interseo perpendicular reta dada. Se A
o ponto de interseo dizemos que o plano perpendicular reta em A, ou vice-versa. Um
segmento ou uma semirreta perpendicular a um plano se intersetam o plano e se a reta que
os contm perpendicular ao plano. Se o segmento AB perpendicular a um plano com B no
plano, ento o ponto B chama-se p do segmento perpendicular que liga A ao plano.
Quando precisamos vericar que uma reta perpendicular a um plano no necessrio
provar que ela perpendicular a todas as retas do plano que contm o ponto de interseo.
Sabemos por experincia que basta fazer isso para duas retas. Vamos ver isso na forma de um
teorema. Para que a demonstrao que mais clara vejamos primeiro o seguinte

Lema 14.2. Sejam S e U pontos equidistantes dos pontos P

SU

equidistante de

Q.

Ento todo ponto do segmento

Q.

A demonstrao est ilustrada na Figura 14.1, em que procuramos deixar claro

[.
que a situao ocorre no espao. Temos P SU
SU
= QSU pelo caso LLL. Logo P[
= QSU

Seja T um ponto arbitrrio do interior de SU . Por LAL temos P ST = QST . Portanto

P T = QT .
Demonstrao.

P .......................................

... .... .....

... ...... .......
... ..... .......
... ...... .......
... ..... ......
... ..... .......
.....
.
...
..... ...........
...
......
.....
...
......
.....
...
......
.....
...
......
.....
...
......
.
.....
...
......
.
.....
......
...
.
.
......
.....
...
......
.....
...
......
.....
...
......
.....
...
......
.....
...
.
..
.....
...
.......
.
.
...
.....
..........
.
.
.
.....
...
.
..... .............
...
...... ...
...
.. ..
...
..... .......
...
..... ....
...
..... ..............
.
.
...
.
.
... ........ ............
... ...... ...... ....
.... ..... ...
... ......... ...
.
.
.
.
.... ....... .... .....
.
.
.
......
..........
.
.
.
.
... ....
.....
.......... ...........
.
..... ....
............. ...........
.
.
.
.
........... ......
.......... .......
.......... ......
......... ......
.......................
.
.
.
.
.
.
..........
............
......

Figura 14.1. Ilustrao do Lema 14.2

Perpendicularismo e paralelismo no espao

Teorema 14.3.

185

Se uma reta perpendicular a duas retas que se intersetam em seu ponto de

interseo, ento ela perpendicular ao plano que as contm.

A demonstrao est ilustrada na Figura 14.2. Sejam um plano contendo

duas retas s e u que se intersetam em A. Seja r uma reta perpendicular a s e u em A.
Queremos provar que toda reta t de que contm A tambm perpendicular a r. Sejam P e
Q pontos de r equidistantes de A. Sejam S um ponto de s e U de u, diferentes de A, e situados
em semiplanos opostos de em relao reta t. Portanto SU interseta t num ponto T . Temos
T = A pois SU no est contido em s. Como S e U so equidistantes de P e Q ento, em
virtude do Lema anterior, T tambm .
No plano que contm r e t, os pontos A e T so equidistantes dos extremos do segmento
P Q, logo t a mediatriz desse segmento no referido plano. Assim t perpendicular a r.
Demonstrao.

.......
............
..............
...... .......
... .... .......
...............
.
.
.. .. .....
...............
..
.
.
.
.
.
.
.
.
................ ..... ..........
...
........ ........... .......
.
.
.
... .... .................
.
.....................
... ...
...
...... .................
... ...
...
.
...............
......
.
...
...
...............
..
......
...
.
.
...
...............
......
...
..
.
...............
.
.
......
...
...
...............
...
.
.
.
.
.
......
...............
...
...
.
.
...............
.
.
.
.
.
.
...
......
...
...............
..
.
.
.
.
.
.
...............
...
......
...
..
...............
.
.
.
.
.
.
......
...
...
...............
..
.
.
.
.
...............
.
.
......
...
...
..
...............
.
.
.
.
.
.
...
...
......
..........
..
.
.
.
.
.
.
.
......
...
...
...
...
.
.
.
.
.
......
...
...
...
.
.
.
.
.
.
.
...
...
...
......
......
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
......
...
..
...
.
..........
...
...
......
..............................
...
...
...
.
............................ .......
.
...
..
............. ..............
............... ..........
...
...
....
....... .....................
....................
...
...
.......
...
.............................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
......................
...
.
.
.. ...
.............................
...
...... .................
...
...
............... ....
... .... .....
......
..
...
.......... .
... .. ..
......
...
...
... ..................
......
...
...... .....
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
......
....................
.
...
..
......
...
...
.. ...............
...
......
...
.. ........ ............................
...
...
......
...............
.
...
..
..
...
......
............
.. .........
...
...
.
.
.
.
.
.
.
.
.
.
.
.
.
......
... .. ... ..
.
..
......
.
...
...
...... ........ .... .....
...
...
...... ...
...
...
...
.. .................. .....
...
...
.
.
.
.
.
.
...............
.. .. .................
...............
...
.. ..
.......
...............
...
.. ..
...............
..
... ..........
.. ..
...............
......
...
...
.. ....
.
.
...............
.
.
.
.
.
.
......
.
.
...............
.. ... ....
......
...............
...
.
.. ..
......
...............
...
.. .. ...
...............
......
...
............... ....... ....
......
...
................. ...
.
.
.
.
.
.
......
........ ...........................
......
...
...............
.......... ......
...
...
...............
..................
...
...............
..................
...............
...
................
.
.
.
.
.
.
.
.
.
.
.
.
.
...............
..
....
...............
...
...............
.................

t
s

Figura 14.2. Ilustrao do Teorema 14.3

Nossa experincia com objetos geomtricos nos diz que por um ponto de uma reta passa um
plano perpendicular a ela, e esse plano nico. Veremos isso na forma de teorema. As duas
proposies seguintes constituem uma preparao para que possamos demostr-lo.

Proposio 14.4.

Por um ponto de uma reta passa um plano perpendicular reta.

Demonstrao. A demonstrao est ilustrada na Figura 14.3. Sejam r uma reta e P um ponto
nela contido. Sejam e planos que contm r (por que existem?). Seja s a reta de que
perpendicular a r por P , e seja t a reta de que prpendicular a r por P . Seja o plano
determinado por s e t. Ento r perpendicular a duas retas de pelo ponto P , portanto r
perpendicular a esse plano.

Proposio 14.5.

Se uma reta e um plano so perpendiculares em um ponto

contm toda reta que passa por

A,

ento o plano

e perpendicular reta dada.

A demonstrao est ilustrada na Figura 14.4. Sejam um plano e r uma

reta perpendicular a ele pelo ponto P . Seja t uma reta (do espao) perpendicular a r por P .
Queremos provar que t est contido em .
Demonstrao.

Geometria Elementar: gnese e desenvolvimento

186

...........
...... ...........
......
......
......
......
.
.
.
.
.
.
......
......
......
......
......
.
.
.
.
.
......
....
.
.
......
.
.
.
..
......
.......
...
....
...
...
...
...
...
...
.
.
.
.
.
.
.
.
.
.
.... .........
.
.
.
.
.....
.....
.
......
....
.
.
.
.
...
...
.
.
.
.
......
....
.
.
...
...
.
.
.
.
.
.
......
....
.
.
.
.
.
.
....
..
.
.
......
..
...... ....
... ...........
...... ..
..........
......
.........
.
.
.
.
.
.
.. ....
... ........
...... ..
......
...
...
...... ....
...
...... ....
... ............
.
..... ..
.
.
.
.
.....
.....
......
......
...
..
...... ............
...... ............
... ...........
......
...... ....
......
...... ..
...... ...........
..............
......
..........
.

Figura 14.3. Ilustrao da Proposio 14.4

Como r e t so retas concorrentes, existe um plano determinado por elas. Como e
se intersetam (em P ), ento eles se intersetam em uma reta s. Assim, no plano , as retas s e
t so perpendiculares a r, logo so iguais (Teorema 9.20, pgina 113). Segue que t pertence a
.
.....
............. ....
...
.............
.............
...
.............
.
.
.
.
.
.
.
.
.
.
...
.
.
...
.............
...
.............
.
.
.
.
.
.
.
.
.
.
...
.
.
........
.
.
.
.
.
.
.
.
...
.
.
.
.
..
...
.............
...
...
...
...
...
...
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.........................................................
.
...................................................................................................................................................
.
..
.
...
.
..
..
...
.
...
.
..
...
.
.
....
...
..
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.............
...
...
...........
.............
...
...
........... ..... ..........................
...
...
...........
...
...
........... .........................
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.............
...........
...
...
.......... ..............
...
...
........... ..............
...
...
........... .............
...
...................................
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..............
..
..
........................
...
...
............
...
...
.............
...
...
.............
...
...
.............
.
.
.
.
.
.
.
..
..
...
...
...
...
...
...
...
...
.
.
.
.
.
.
.....................................................................................................................................................................................................................................................................................................................................

Figura 14.4. Ilustrao da Proposio 14.5

Teorema 14.6.

Por um ponto de uma reta passa um nico plano perpendicular reta.

A existncia do plano garantida pela Proposio 14.4 acima. Vejamos a

unicidade. Sejam e planos perpendiculares a uma reta r por um ponto P . Seja t a reta de
interseo desses planos. Seja s outra reta de que passa por P , logo ela perpendicular a r.
Pela Proposio 14.5 acima, o plano tambm contm s. Portanto, e se intersetam em
duas retas diferentes, logo so iguais.
Demonstrao.

No Problema 9.13.11, pgina 126, vimos que, dado um segmento em um plano, sua mediatriz
o conjunto dos pontos do plano que so equidistantes dos extremos do segmento. Os resultados
vistos acima sobre planos e retas perpendiculares nos permitem demonstrar uma verso espacial
dessa propriedade:

Teorema 14.7.

O plano perpendicular a um segmento pelo seu ponto mdio o conjunto dos

pontos (do espao) que so equidistantes dos extremos do segmento.

A demonstrao est ilustrada na Figura 14.5. Seja um plano perpendicular

ao segmento P Q pelo seu ponto mdio R. Seja C o conjunto dos pontos do espao que so
equidistantes de P e Q. Pretendemos mostrar que = C .

Demonstrao.

Perpendicularismo e paralelismo no espao

187

Seja X . O segmento XR est nesse plano, logo perpendicular a P Q pelo seu ponto
mdio. Ento X est em uma mediatriz de P Q, e assim equidistante de seus extremos. Em
consequncia X C , e C .
Seja agora X C . Como X equidistante de P e Q, XR est na mediatriz do segmento
P Q (no plano que contm P Q e X ). Logo XR perpendicular a P Q. Como o plano contm
qualquer reta perpendicular a P Q pelo ponto R, vem que XR est nesse plano. Logo X e
C .
Provamos que = C .
P .........................

.......
.......
.......
.......
........................ ........................................... ...................................................................................................................................................................
.
.
.......
..
..
.
.......
.
...
.......
..
.
.
...
.......
.......
...
...
.......
...
...
.
.
.
.
.
.
.
..
..
..............
...
...
............. ....
...
...
.............
...
..
...
.............
...
..
.............
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.........
..
..
..
.............
...
...
..
...
...
..
...
...
..
...
...
..
.
.
.
.
.
.
..
..
..
...
...
..........................................................................................................................................................................................................................................
..
.....
.
.
.
.
....
.....
.....
.....
.....
.
.
.
.
...
.....
.....
.....
.....
.....

Figura 14.5. Ilustrao do Teorema 14.7

O resultado seguinte descreve uma propriedade frequentemente utilizada em construes.
Se levantamos verticalmente dois pilares e esticamos sobre eles uma tela de arame, esperamos
que essa tela forme uma gura planar. Abstratamente temos o

Teorema 14.8.

Duas retas quaisquer perpendiculares a um mesmo plano so coplanares.

Demonstrao. Na Figura 14.6 vemos ilustrados um plano e duas retas r e s a ele perpendiculares. Sejam P e Q respectivamente os ps de r e s em . Se P = Q ento r e s so
concorrentes e j sabemos que existe um plano que as contm. Suponhamos P = Q. Seja AB
um segmento em e que interseta P Q em M , sendo M o ponto mdio de ambos, e AB
perpendicular a P Q. Seja o plano perpendicular a AB por M . Nosso objetivo provar que
r e s esto em .
Vamos primeiro provar que r est em . Seja C um ponto de r diferente de P . Como
P A = P B temos CP A
= CP B pelo caso LAL. Segue que CA = CB , e assim C equidistante
dos extremos do segmento AB . Ento, pelo Teorema 14.7, C est no plano perpendicular a
AB pelo seu ponto mdio. Mas esse plano . Assim tem dois pontos de r, a saber, P e C .
Portanto r est em .
Da mesma forma se prova que s est em , e terminamos.

Prosseguimos nossos estudos sobre planos e retas perpendiculares. Queremos provar agora
que por um ponto de um plano passa uma nica reta perpendicular ao plano. Essa armao
um tipo de dual do Teorema 14.6. Comeamos com a existncia da reta.

Proposio 14.9.

Por um ponto de um plano dado existe uma reta perpendicular ao plano.

Seja P um ponto em um plano . Escolhemos, nesse plano, uma reta r que

contenha P . Conra ilustrao na Figura 14.7.
Consideremos o plano perpendicular a r pelo ponto P . Esse plano existe em virtude do
Teorema 14.6 ( nico, mas no vamos usar isso agora). diferente de , pois r est em
mas tem um nico ponto em . Mas e se intersetam em P , logo sua interseo uma reta

Demonstrao.

Geometria Elementar: gnese e desenvolvimento

188
r

......
... ....
... ....
....
...
....
...
....
...
....
...
....
...
....
...........................................................................................................
....................
...
.
....
.
...
.
....
.
...
.
...
....
.
.
...
....
...
..
.
.
...
.
.
...
.....
.
.
.
.
.
.
.
.
.
.
...
.
.
..
.....
...
...
..
.....
...
..
...
... ..........
..
..
..
..
..
..
. .......
.
.
.
.
.
.
.
.
.
...
.....
..
...
...
..
.....
..
...
...
.............
..
...
..
...
.........
...
...
..
.........
..
..
.
.
.
.
.
.
.........
...
.........
...
...
...
...
.........
...
...
...
...
.........
...
..
...
.........
...
..
......... ..... ....
..
.
.
.
............ .
.......
...
...
...
...
..
...
..
..
.
.
.
................................................................................................................................................................................................................................................................................................

Figura 14.6. Ilustrao do Teorema 14.8

s. Seja t a reta de perpendicular a s por P . A reta t tambm perpendicular a r, pois r

perpendicular a e t est nesse plano. Assim t perpendicular a duas retas diferentes de (r
e s) no ponto P . Portanto t perpendicular a pelo ponto P .
.
...
...
...
..
.
...
...
...
..
.
...
...
...
..
.
...
...
..................................................................................................................................... ...........
.................................................................................................................................................................
..
...
.
...
..
..
.
...
.
...
...
...
...
...
..
..
..
..
.
.
.
.
...
...
...
...
...
...
...
...
..
...
...
...
..
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
..
..
..
.......................................................................................................................................................................................................................................................................................................................................

Figura 14.7. Ilustrao da Proposio 14.9

Desejamos agora provar que a reta perpendicular nica. Examinando a demonstrao
acima vericamos que o plano o nico plano perpendicular a r por P , e t a nica reta
perpendicular a s por P . Assim, se consideramos o processo usado nessa demonstrao, a reta
t assim obtida nica. Mas temos que considerar que poderamos obter a reta perpendicular
por outro processo, e eventualmente ela seria diferente de t.
Assim, para provar que a perpendicular nica, parece que a melhor ttica usar contradio. Supomos que temos duas, e tentamos obter uma contradio com a teoria. Isso o que
fazemos em

Teorema 14.10.

Por um ponto de um plano dado existe uma nica reta perpendicular ao

plano.

Conforme comentamos, falta provar a unicidade. Seja P um ponto em um

plano . Sejam t e u retas perpendiculares ao plano pelo ponto. Conra ilustrao na Figura
14.8.
Como t e u so retas concorrentes, existe um plano que as contm. Esse plano diferente
de , pois t est nele mas no est em . Por outro lado e se intersetam em P , logo sua
interseo uma reta s. Concentremo-nos agora no plano . Nele temos as retas t e u que so
perpendiculares a s no mesmo ponto P . Ento t = u.
Demonstrao.

Perpendicularismo e paralelismo no espao

189

.
...
...
..
.
...
...
......
.....
.
.
... ..
... ....
... ..
.. ...
.
.
... ..
... ...
... ....
..
.
.
.
.
............................................................................................................................ .........
... ....................................................................................................................................................
...
..
... ..
..
...
...
...
... ...
..
.. ...
..
...
.
.
.
..
..
.. ...
.
.
.
.
... ..
...
...
...
...
... ...
... ...
...
...
..
..
......
.
.
.
.....
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
.......................................................................................................................................................................................................................................................................................................

Figura 14.8. Ilustrao do Teorema 14.10

Retomamos agora o Teorema 14.6, que arma que Por um ponto de uma reta passa um
nico plano perpendicular reta. Mas agora consideramos o caso em que o ponto no est na
reta.

Teorema 14.11.

Dados um ponto e uma reta (que contm o ponto ou no), existe um nico

plano que contm o ponto e perpendicular reta.

Conforme comentamos, o caso em que o ponto est na reta j foi visto no

Teorema 14.6. Suponhamos que o ponto no est na reta.
Sejam r uma reta e P um ponto fora dela. Existe um nico plano determinado por eles.
Veja ilustrao na Figura 14.9. Nesse plano existe uma reta s perpendicular a r e contendo
o ponto P . Seja Q o p dessa perpendicular em r. Pelo Teorema 14.6 existe um plano
perpendicular a r por Q. Pela Proposio 14.5 esse plano contm todas as retas perpendiculares
a r, logo s est em . Assim P pertence a , e o plano procurado.
Demonstrao.

...
...
...
..
.
...
...
...
..
.
...
...
...
..
.
...
...
..
...................................................................................................................................................
....................................................................................................................................................................
..
.
..
.
...
.
...
...
...
...
..
..
..
.
.
...
.
..
..
..
..
.
.
.
.
...
...
...
...
...
...
...
...
..
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
....................................................................................................................................................................................................................................................................................................................................

Figura 14.9. Ilustrao do Teorema 14.11

Vejamos agora a unicidade. Sejam e planos perpendiculares a r e contendo P , e sejam,
respectivamente, s e s suas interseces com . No podemos ter s = s , pois se isso ocorresse
teramos no plano duas retas perpendiculares a r e concorrentes, o que no possvel. Logo
s = s . Ento e so planos perpendiculares a r por um ponto de r, e o Teorema 14.6
implica = .
Retomamos agora o Teorema 14.10, que arma que Por um ponto de um plano dado existe
uma nica reta perpendicular ao plano. Mas agora consideramos o caso em que o ponto no
est no plano.

Geometria Elementar: gnese e desenvolvimento

190

Teorema 14.12.

Dados um ponto e um plano (que contm o ponto ou no), existe uma nica

reta que contm o ponto e perpendicular ao plano.

Conforme comentamos, o caso em que o ponto est no plano j foi visto no

Teorema 14.10. Suponhamos que o ponto no est no plano. Vejamos primeiro a existncia da
reta perpendicular.
Sejam um plano e P um ponto fora dele. Podemos acompanhar a demonstrao na Figura
14.10. Por um ponto qualquer Q de tomamos a reta r perpendicular a esse plano. Se r contm
P , terminamos. Se no contm, seja o plano determinado por r e P .
Demonstrao.

.....
........
........
.........
........
.
.
.
.
.
.
.
....
...
.........
...
........
... ................
.........
.
.
.
.
.
.
.
.
...
......... ...
........
..
........
..
.........
........
.
.
.
.
..
.
.
.
......
.
.
.
.
..
.
.
.
.....
.
.
.
.
.
..
.
.
.
..
..
.........
..
..
..
..
..
..
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
........................................................................
.
.........
..
..
.
........ ..
..
..
......... ....
.
.
........
.
.
.
.
.
.
.
.
.
.
.
.
..
.
..
.....
...
...
.. .................
..
...
............
..
.
..
.
.
.
.
.
.
.
.
...
.
.
.........
...
...
........
...
...
........
..
.........
...
..
........
.
.
..
.
.
.
.
.
.
.
.
..
..
..
.........
..
..
........
........
...
...
.........
...
...
........
.
.
.
.
.
..
.
.
.
.
.
.
.
.
...
...
...
...
...
...
...
...
.
.
...
...
...
...
...
...
...
...
.
.
...
...
...
...
..
..
..
..
.
.
.
.
...
...
..
..
..........................................................................................................................................................................................................................

t .

t
P

Figura 14.10. Ilustrao do Teorema 14.12

Observemos que diferente de pois contm r e no. Ainda Q pertence a ambos, de
modo que a interseo desses planos uma reta s que contm Q. Como r perpendicular a ,
r e s so perpendiculares. Seja t a reta de paralela a r por P . Ento t perpendicular a s em
um ponto T . Armamos que t a reta procurada. Para ver isso, seja t a reta perpendicular a
por T . Ento r e t so ambas perpendiculares a , e o Teorema 14.8 garante que elas so
coplanares. Seja esse plano. Ento contm r e T , assim como . Portanto = . Vemos
a partir disso que t e t so perpendiculares a s por T no plano . Dessa forma t = t , e t
perpendicular a .
Vejamos agora a unicidade. Sejam um plano e P um ponto fora dele. Suponhamos que
existam duas perpendiculares t e u a por P . Sejam T e U os ps dessas perpendiculares em

. Ento, no plano que contm t e u, temos uma reta T U , um ponto P fora dela e duas retas
t e u a ela perpendiculares por P . Sabemos que isso no possvel. Assim vale a unicidade, e
terminamos.
Deixamos para o estudante a demonstrao da

Proposio 14.13.

O menor segmento ligando um plano a um ponto que no lhe pertence o

segmento perpendicular.

Aproveitamos o ensejo para denir distncia entre ponto e plano.

Denio 14.14.

A distncia de um plano a um ponto que no lhe pertence o comprimento

do segmento perpendicular do ponto ao plano. Dado um plano e um ponto A
/ , o p da
perpendicular de A a o ponto P tal que AP perpendicular a .

Perpendicularismo e paralelismo no espao

191

Estivemos estudando propriedades de perpendicularismo entre retas e planos. Precisamos

tambm denir o que signica um plano ser perpendicular a outro. Vamos fazer isso mais
abaixo, depois que estudarmos o conceito de diedro.

14.4 Paralelismo de retas e planos

Apresentamos agora resultados bsicos sobre paralelismo entre retas e planos e entre planos e
planos. J vimos na Denio 10.1 os conceitos de retas paralelas e retas reversas . Vamos
repetir aqui.

Denies 14.15.

Duas retas so ditas paralelas se so coplanares e se no se intersetam.

Duas retas no coplanares so ditas reversas. Dois planos, ou um plano e uma reta, se dizem
paralelos se no se intersetam.
Lembremos que, em virtude do Axioma E16 e do resultado do Problema 10.3.4, dado uma
reta e um ponto fora dela, existe (no espao) uma nica reta paralela reta dada e contendo
o ponto dado.
Agora a primeira propriedade que vamos estudar

Proposio 14.16.

Se um plano interseta dois planos paralelos, ento as intersees so duas

retas paralelas.

A armao est ilustrada na Figura 14.11. Sejam e planos paralelos. Seja

um plano que interseta na reta r e na reta s. Essas retas so paralelas pois: (i) so
coplanares (esto no plano ); (ii) no se intersetam (pois e no se intersetam).
Demonstrao.

.
.........
.........
....... ....
....... .....
.......
.......
...
...
.......
........
...
...
.......
.......
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
...
........
........
...
...
.......
.......
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
....
....
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
.
..
..
.....
...
....
....
...
...
...
...
...
...
.
...
.
.
.
.
.
.
...................................................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.............................
.
.
.
.
.
.....
.........
.
.
...
...
.
.
.
.
.
.
.
.
.
.
.
...
... ..
... .. ....
.
.
.
.
.
.
.
.
.
.
.
.
...
.. ..
.. .. ...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
..
.. ....
....
....
...
....
....
.
.....
.....
...
...
... ....
.....
.....
...
...
...
...
....
....
..
..
...
...
...
...
.....
.....
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
...
...
.
.
...
...
.
.
.
.
.
.
.
...
...
.
.
....
.
.
.
..
..
.
...
...
.
.
...
...
.
.
.
.
.
.
.
.
.
.
.
.
.
...
...
... ...
...
.
.
.
.
.
.
.
.
.
.
.
.
... ..
...
..
..
.
...
...
.
.
.
.
.
.
.
.
.
.
.
... .
...
.
.
.. .........
...
.
... ... .........
...
.
..
. ....
..... .....
.
.
.
.
.
...............................................................................................................................................................................................................................................................................
.
..
...
.
.
.
.
.
.
.
.
.
.
.
.
....
.
.
.
.
.....
.....
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
......
......
...
....
.......
.......
........
........
...
...
........
........
...
...
.......
.......
... ..............
... ..............
.......
.......

Figura 14.11. Ilustrao da Proposio 14.16

O prximo resultado o anlogo para o espao da armao do Problema 10.3.33, pgina
149.

Teorema 14.17.

Se uma reta perpendicular a um de dois planos paralelos, ento ela

perpendicular ao outro.

Sejam e planos paralelos e t uma reta perpendicular a . Queremos provar

que t interseta e, ainda mais, lhe perpendicular. Veja ilustrao na Figura 14.12.
Certamente que no est contido em t. Portanto existe em um ponto A que no pertence
a t. Isso implica que t e A determinam um plano . Esse plano interseta , pois contm t e
esta reta interseta . Seja r a interseo de e . Por outro lado, tambm interseta , pois
Demonstrao.

Geometria Elementar: gnese e desenvolvimento

192

......
......
........ ..
........ ..
....... ....
....... ....
.......
.......
...
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
...
.....
.....
.......
.......
...
.
.......
.......
....
...
........
........
.
.
.
.
.
.
.
.
.
.
.
.
.
...
..
....
.
.....
.
.
.
.
.
.
.
.
.
.
.
...
.
.
...
.
.
...
...
....
....
...
...
...
...
...
...
...
...
...................................................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.............................
.
.
.
.
.
.
.
.
.
.
..........
.....
...
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
... .. ....
... ..
.
.
.
.
.
.
.
.
.
.
.
.
...
.. ..
..
.....
.....
.
...
....
....
....
....
... .....
...
...
...
...
.....
.....
...
.. ....
..
.....
.....
...
...
...
.....
.....
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
...
..
...
...
...
...
.....
....
....
...
.....
..
..
...
.....
.....
...
...
...
.....
...
.
.....
.
.
...
.
.
.
.
.
.
.
.
.
.
..
..
... ..
.
...
...
...
.
.
.
.
.
.
.
.
.
.
.
... .
..
..
...
.
...
...
.
.
.
.
.
.
.
... ...
.
.
.
...
..
..
. .......
... .. .........
.
...
.
.
.
. .......
...... .....
.
.
.
.
.
..........................................................................................................................................................................................................................................................................
.
.
.
.
.
.....
.....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....
....
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
........
.......
....
...
.......
.......
...
...
.......
.......
.......
.......
...
...
.......
.......
.... ..............
... ..............
....
....

Figura 14.12. Ilustrao do Teorema 14.17

o ponto A comum. Seja s a interseo de e . Pelo que foi observado na Proposio acima,
r e s so paralelas.
Em resumo, no plano temos duas retas paralelas r e s e uma reta t que perpendicular
a r. Pelo Problema 10.3.33, j citado acima, t interseta s em um ponto Q e perpendicular a
ela. Portanto t perpendicular a uma reta de pelo ponto Q.
Tomando agora um ponto B de , diferente de Q e fora de s, repetimos a construo acima
e encontramos outra reta de perpendicular a t pelo ponto Q. Portanto t perpendicular a
.
Outro resultado sobre paralelismo

Teorema 14.18.

Se dois planos so perpendiculares a uma reta ento eles so paralelos.

Demonstrao. Sejam e dois planos perpendiculares a uma mesma reta nos pontos P e
Q respectivamente. Se os dois planos se encontrassem em um ponto R, ento P QR seria um
tringulo com dois ngulos internos retos, o que impossvel. Logo os planos no se encontram,
e assim so paralelos.

Corolrio 14.19.

Dois planos, cada um paralelo a um terceiro plano, so paralelos.

Sejam e dois planos, cada um deles paralelo a um terceiro plano . Seja

r uma reta perpendicular a . Como e so paralelos, ento r tambm perpendicular
a . Como e so paralelos, ento r perpendicular a . Portanto, e tm uma reta
perpendicular comum, e assim so paralelos.

Demonstrao.

O seguinte resultado j foi praticamente visto no Teorema 14.8, mas vamos repet-lo aqui
para enfatizar o aspecto de que as retas perpendiculares so paralelas.

Proposio 14.20.

Duas retas perpendiculares a um mesmo plano so paralelas.

Sejam r e s duas retas perpendiculares a um plano pelos pontos P e Q,

respectivamente. O Teorema 14.8, mencionado acima, nos diz que elas so coplanares. Seja o

plano que as contm. Nesse plano temos duas retas (r e s) perpendiculares a outra reta (P Q).
Logo r e s so paralelas.
Demonstrao.

Uma consequncia dessa armao

Corolrio 14.21.
outra.

Um plano perpendicular a uma de duas retas paralelas perpendicular

Perpendicularismo e paralelismo no espao

193

Sejam r e s retas paralelas e um plano perpendicular a r. Queremos mostrar

que s encontra e lhe perpendicular. Faremos isso indiretamente. Conra ilustrao na
Figura 14.13.
Seja A um ponto qualquer de s. O Teorema 14.12 garante que existe uma (nica) reta t que
contm A e perpendicular ao plano. Pela Proposio 14.20 r e t so paralelas. Pelo Axioma
das Paralelas, t = s. Logo s encontra e lhe perpendicular.
Demonstrao.

s ........t

....
.....
.....
....
.
.
.
...
....
.....
.....
....
.
.
.
...
....
.....
.....
....
.
.
.
.....
....
.....

.
...
...
....
..
...
...
....
..
...
...
....
..
...
..
..

....
.....
.....
....
.
.
.
...
....
.....
.....
....
.
.
.
...
....
.....
.....
....
.
.
.
.....
....
.....

Figura 14.13. Ilustrao do Corolrio 14.21

Vimos no Problema 10.3.30, pgina 149, que em um plano, se duas retas so paralelas a uma
terceira, ento elas so paralelas entre si. Usando as propriedades de planos perpendiculares
a retas podemos agora eliminar a exigncia de que as trs retas devem estar no mesmo plano.

Corolrio 14.22.

Duas retas, cada uma paralela a uma terceira reta, so paralelas.

Sejam r e s duas retas, cada uma paralela a uma terceira reta t. Seja um
plano perpendicular a t. Como r e t so paralelos, ento perpendicular a r. Como s e t so
paralelos, ento perpendicular a s. Como r e s so perpendiculares ao mesmo plano, ento
so paralelas.
Demonstrao.

Nossa experincia da vida comum nos diz que planos paralelos so equidistantes. Isso pode
ser demonstrado no nosso sistema axiomtico.

Teorema 14.23.

Se dois planos so paralelos constante a distncia de qualquer ponto de um

deles ao outro.

Sejam e planos paralelos. Sejam A e B pontos arbitrrios de . Sejam C e

D seus respectivos ps sobre . Queremos provar que AC = BD. Conra ilustrao na Figura
14.14.
Demonstrao.

.
...
...
...
.
...
...
..
..
.
.
.
...
...
..
..
.
.
.

.
...
...
...
.
...
...
..
..
.
.
.
...
...
..
..
.
.
.

..
...
...
...
..
.
..
..
...
...
..
.
...
...
..
..

..
...
...
...
..
.
..
..
...
...
..
.
...
...
..
..

Figura 14.14. Ilustrao do Teorema 14.23

Como os segmentos AC e BD so perpendiculares a , eles pertencem a um plano e so
paralelos (Teorema 14.8). Esse plano, por sua vez, interseta os planos e em retas paralelas
(Proposio 14.16). Considere agora o quadriltero plano ABDC . Pelo que foi observado ele
tem os dois pares de lados opostos paralelos, logo um paralelogramo. Pelo Teorema 10.13
seus lados opostos so congruentes. Em particular, AC = BD.

Geometria Elementar: gnese e desenvolvimento

194

Para denir distncia entre planos paralelos precisamos ainda do

Teorema 14.24.

Prove que, dados dois planos paralelos, o menor segmento com extremidades

nos dois planos ocorre quando esse segmento perpendicular aos planos.
Demonstrao. Sejam e planos paralelos. Sejam A e B pontos tais que AB .
Para obter esse segmento escolha umponto arbitrrio a e tome a reta perpendicular a por
A. Pelo Teorema 14.17 essa reta intercepta em um ponto B , logo AB . Temos tambm
AB . Sejam agora C e D pontos quaisquer. Queremos provar que AB CD.
Conra ilustrao na Figura 14.15.
Seja E tal que CE . Pelo Teorema 14.23 temos AB = CE . Se E = D, terminamos.
Se E = D ento CDE um tringulo retngulo com hipotenusa CD, logo CE < CD. Assim
AB < CD. Com isso terminamos.

...
...
...
..
.
..
..
...
...
..
.
...
...
...
...

...
...
...
..
.
..
..
...
...
..
.
...
..
..
...
...

D
B

...
...
...
..
.
..
..
...
...
..
.
...
...
...
...

...
...
...
..
.
..
..
...
...
..
.
...
..
..
...
...

..
..
..
..
.
..
..
...
..
.
...
...
...

Figura 14.15. Distncia entre planosparalelos.

Finalmente temos a

Denio 14.25.

A distncia entre dois planos paralelos a medida de qualquer segmento

perpendicular que os liga.

14.5 Diedros
Um conceito bsico em geometria espacial o de diedro. Eles so um tipo de generalizao da
ideia de ngulo plano. Com esse conceito podemos denir quando dois planos so perpendiculares. Essa denio o ltimo tema de nossos estudos sobre paralelismo e perpendicularismo
de retas e planos na Geometria Euclidiana.

Denies 14.26.

Se dois semiplanos tm a mesma origem e no esto contidos no mesmo

plano, a reunio dos dois semiplanos e sua origem chamada diedro. A origem dos dois semiplanos chamada aresta do diedro. A reunio da aresta e de qualquer um dos dois semiplanos
chamada face do diedro. Se P e Q so pontos da aresta do diedro e A um ponto de uma
\
face e B de outra, ambos fora da aresta, ento o diedro indicado por AP
QB . A interseo
de um diedro com um plano perpendicular sua aresta chama-se seo normal do diedro. A
Figura 14.16 ilustra essas denies.
Pode-se provar que duas sees normais quaisquer de um diedro so congruentes.

Proposio 14.27.

Todos as sees normais de um diedro tm a mesma medida.

Perpendicularismo e paralelismo no espao

195
B

..
..........
..........
..........
..........
.
.
.
.
.
.
.
.
.
.
..........
..........
..........
..........
..........
................
........
.......
........
........
.......
........
.......
........
........
...

....
..........
..........
..........
......
.
.
.
....
....
....
....
....
..........
........
........
.......
........
........
.......
........
........
.......
....

P
.
...
...
...
.
...
...
..
..
.
.
.
...
...
...
..
.
.
...
...
...

..
..........
..........
..........
..........
.
.
.
.
.
.
.
.
.
.
..........
..........
..........
..........
..........
................
.......
........
........
.......
........
........
.......
........
........
...
........
.......... ..
.......... ....
..........
.
.
.
.
.
.
.
..
.....
...
.....
...
.....
..
.....
..
.
.
.
.
.
.
.......
.
........
...
........
...
.......
..
........
..
........
.
.
.......
.......
.. ............
........
..............
........
......... ....
.
.
.
.
.
.
..
....
....
....
....
....
..........
........
........
.......
........
.......
........
........
.......
........
....

Figura 14.16. esquerda, um diedro. direita, uma seo normal de um diedro.

\
\ e ESF
[ . QuereConsideremos um diedro AP
QB e duas sees normais CRD
mos provar que esses ngulos tm a mesma medida. Os pontos C , D, E e F podem ser tomados
de forma que C e E esto no mesmo semiplano que A, D e F esto no mesmo semiplano que
B , RC = SE e RD = SF . Conra ilustrao na Figura 14.17, esquerda. direita da mesma
gura vemos como esses pontos formam guras no espao: trs quadrilteros e dois tringulos.
Vamos provar que os dois tringulos so congruentes.
Notemos primeiro que SF DR um paralelogramo, pois SF = RD (por construo) e SF
e RD so perpendiculares mesma reta em um plano, logo so paralelos. De modo anlogo se
v que SECR um paralelogramo. Aqui usamos o Teorema 10.14, da pgina 145.
Uma consequncia que EC e DF so paralelos e congruentes, pois so ambos paralelos
e congruentes a SR. Logo ECDF um paralelogramo, do que vem CD = EF . Assim so
\ e ESF
[ tm a mesma
congruentes os tringulos ESF e CRD pelo caso LLL. Portanto CRD
medida.
Demonstrao.

P
S

...
..........
..........
..........
..........
..........
.
.
.
.
.
.
.
.
.
.........
..........
..........
..........
...............
..
.......
..........
........
..........
........
..........
..........
.......
........ ....................
.............
.... ..............
....
........
....
.......
..........
........
.......
........
........
.......
........
.........
.......
..........
........
..........
....................
.
. ....
.....
.....
.....
.....
...........
.........
........
..........
.......
..........
........
.........
........
.
.
.
....... ......
..........
.... ..............
....
........
....
.......
...........
.......
........
........
.......
........
........
.......
........
........
...

F
S

.
............
.......... ....
..........
.
..........
...
..........
.
.
.
.
.
.
.
.
.
.
.
.
.
..........
...
..........
...
..........
..........
..
...............
..
.
........
.
.
.......
...
........
.......
...
........
..
........
.. ...........
.
.
.......
.
........ ............
...
.... .. .
...
.... ...........
..
....
..
....
.
.
.
.
.
....
..
....
..
..........
...
........
...
.......
..
........
.
........
..
.......
..
........
...
........
...
.......
........ ....
......

Figura 14.17. Ilustrao da Proposio 14.27

Conforme comentamos, a ideia de diedro nos permite denir planos perpendiculares.

Denies 14.28. A medida de um diedro a medida de qualquer uma de suas sees normais.

Um diedro se diz
um diedro reto.

reto

se sua medida for 90. Dois planos se dizem

perpendiculares

se contm

Sobre planos perpendiculares veremos dois resultados. O primeiro nos diz que para que um
plano seja perpendicular a outro basta que ele contenha uma reta perpendicular ao segundo
plano. Em outros termos,

Geometria Elementar: gnese e desenvolvimento

196

Teorema 14.29.

Se uma reta perpendicular a um plano, ento todo plano contendo a reta

perpendicular ao plano dado.

Acompanhamos a demonstrao com a Figura 14.18. Sejam um plano e r

uma reta perpendicular a ele no ponto P . Seja um plano qualquer contendo r. Queremos
provar que esse plano perpendicular a . Para isso temos que ver que eles formam um diedro
reto.
Seja s a interseo de e , e consideremos a reta t de perpendicular a s por P . Como
s perpendicular a r, vemos que ela perpendicular a duas retas concorrentes do plano
denido por r e t. Logo perpendicular a s e as retas r e t denem uma seo normal dos
diedros formados por e . Essa seo normal um ngulo reto, de modo que e so
perpendiculares.

Demonstrao.

..
...
...
...
.
...
...
...
..
.
.
...
...
...
..
.
...
...
...
...
.
..
...

...
...
...
..
.
...
...
...
..
.
...
...
...
..
.
...
...
...
..
.
..
..

...
...
...
..
.
.
...
...
...
..
.
...
...
...
...
.
...
...
..
..
.
.
...
..

...
...
...
..
.
...
...
...
..
.
...
...
...
..
.
...
...
...
..
.
..
..

Figura 14.18. Ilustrao dos Teoremas 14.29 e 14.30

Temos tambm o

Teorema 14.30.

Se dois planos so perpendiculares ento qualquer reta de um deles perpen-

dicular interseo dos planos perpendicular ao outro plano.

A demonstrao pode tambm ser acompanhada com a Figura 14.18. Sejam

e planos perpendiculares e seja s a reta interseo. Seja r uma reta de perpendicular a s
em um ponto P . Queremos provar que r perpendicular a .
Para isso consideremos em a reta t perpendicular a s em P . Ento s perpendicular a
r e t, de modo que essas duas retas formam uma seo normal dos diedros denidos por e
. Como esses planos so perpendiculares, ento a referida seo normal reto. Assim r e
t so perpendiculares. Vemos que r perpendicular a duas retas concorrentes de , logo r
perpendicular a esse plano.
Demonstrao.

14.6 Projees
Vimos na Denio 9.33, pgina 122, o conceito de projeo de um ponto sobre uma reta. Mais
importante o correspondente conceito de projeo sobre um plano. Anal das contas, sempre
que desenhamos um objeto tridimensinal do espao em uma folha de papel, estamos na verdade
desenhando uma projeo desse objeto em um plano.

Denies 14.31.

A projeo de um ponto sobre um plano o p do segmento perpendicular

do ponto ao plano. A projeo de um conjunto de pontos sobre um plano o conjunto das
projees de todos os pontos do conjunto sobre o plano.

Perpendicularismo e paralelismo no espao

197

O estudo das projees bastante extenso e engloba inmeras tcnicas. No momento

veremos apenas o seguinte resultado:

Teorema 14.32.

Se uma reta e um plano no so perpendiculares ento a projeo da reta

sobre o plano uma reta. Se a reta suporte de um segmento e um plano no so perpendiculares

ento a projeo do segmento sobre o plano um segmento.

Sejam um plano e r uma reta no perpendicular a ele. Se a reta est no

plano, ela sua prpria projeo, e terminamos. Suponhamos que r no est contida em .
Sejam A e B dois pontos de r, e A e B os respectivos ps das perpendiculares desses pontos
ao plano. Primeiro observamos que AA e BB esto em retas diferentes, pois, se estivessem na
mesma reta, essa reta seria r, e r seria perpendicular a , o que no o caso. Ainda, A e B
no so coincidentes, pois, se o fossem, haveria duas perpendiculares a pelo mesmo ponto, o
que no possvel. Portanto est bem denida a reta s que contm A e B , e essa uma reta
de . Vamos mostrar que s a projeo de r sobre .
Como AA e BB so perpendiculares a , eles esto no mesmo plano, que chamaremos de
. Esse plano contm r, assim diferente de , mas tem com ele pontos em comum, a saber,
A e B , logo sua interseo a reta s. Pelo Teorema 14.29, e so perpendiculares, pois
contm uma reta perpendicular a .
Seja C um ponto qualquer de r, e seja C sua projeo sobre . Queremos provar que C
est em s. Para isso, seja CD perpendicular a s em , com D em s. Ento CD est em e
perpendicular interseo desse plano com . Pelo Teorema 14.30 CD perpendicular a .
Assim CD e CC so perpendiculares ao mesmo plano pelo mesmo ponto C , logo so iguais.
Ento D = C e C est em s.
Seja agora T um ponto qualquer de s. Queremos mostrar que ele projeo de algum ponto
de r. Seja t a perpendicular a s por T no plano . Logo t perpendicular interseo de e
, que so planos perpendiculares. Pelo Teorema 14.30 t perpendicular a . Como r no
perpendicular a s, segue que t e r no so paralelas. Seja C sua interseo. Assim T o p da
perpendicular de C a , ou seja, a projeo de C . Provamos assim que s a projeo de r.
Seja agora AB um segmento cuja reta suporte r no perpendicular a . Se o segmento
estiver contido em , ele a projeo dele mesmo, e terminamos. Do contrrio, usando as
notaes acima, a projeo de AB est na reta s. Seja C tal que A C B . J vimos que

a projeo C de C sobre est em s. Queremos provar que A C B . Como t = AA e

v = BB so paralelas, B e B esto do mesmo lado de t no plano . Chamaremos este lado de

L. Em virtude do resultado do Problema 9.9.2, temos C L. Como u = CC e t so paralelas,

C L. Portanto C A B . Do mesmo modo se prova que C B A . Segue que A C B .

Seja agora T um ponto tal que A T B . J vimos que existe um ponto C r tal que
T a projeo de C sobre . Com o mesmo argumento do pargrafo anterior provamos que
A C B . Logo a projeo de AB sobre o segmento A B .
Demonstrao.

........
........
.........
........
.
.
.
.
.
.
.
...
.........
........
........
.........
........
.
.
.
.
................
...................................................
.
.
.
.......
..
...
........
..
.........
...
..
........
.
.
..
.
.
.
.
.
.
.
...
......
.
.
.
.
.
.
.
.
.
.
.. ..........
...
..........
...
..........
..
......... ...
..
........ ....
.
.
.
.
.
.
.
.
.
.
.
...
.........
...
...
...
...
...................................................................................................................................................

Figura 14.19. Ilustrao do Teorema 14.32

Geometria Elementar: gnese e desenvolvimento

198

14.7 Problemas
Problema 14.7.1.

Explique por que vale a Proposio 14.13: O menor segmento ligando um

plano a um ponto que no lhe pertence o segmento perpendicular.

Problema 14.7.2.

Sejam r e s retas reversas, P e Q dois pontos de r e S e T dois pontos de

s. Explique por que as retas P S e QT so reversas.

Problema 14.7.3.

O espao menos um ponto um conjunto convexo?

Problema 14.7.4.

Demonstre que se uma reta interseta um de dois planos paralelos e no

est nele contido, ento ela interseta o outro plano.

Problema 14.7.5.

Prove que, dado um plano, existem innitos planos paralelos a ele.

Problema 14.7.6.

Dado um plano e um ponto, uma reta a interseo de todos os planos

perpendiculares ao plano dado passando pelo ponto dado.

Problema 14.7.7.

Demonstre o seguinte: dado um plano e pontos P e Q situados em

semiplanos diferentes em relao ao plano , existem innitos planos que contm P e Q e
que intersetam em alguma reta. Faa uma gura ilustrando a armao.

Problema 14.7.8. Em cada uma das armaes abaixo, assinale V se for sempre verdadeira,
F se for sempre falsa e A se for s vezes verdadeira, s vezes falsa. Justique suas respostas e
faa guras.

a) Duas retas paralelas ao mesmo plano so perpendiculares entre si.

b) Se um plano interseta dois planos paralelos, as retas de interseo so reversas.
c) Se dois planos so paralelos mesma reta, ento eles so paralelos entre si.
d) A interseo de um plano com as faces de um diedro um ngulo contido no diedro.
e) Se duas retas so perpendiculares ao mesmo plano, elas so paralelas.
f) Se duas retas so paralelas ao mesmo plano, elas so paralelas.
g) Se uma reta perpendicular a um plano, todo plano contendo a reta perpendicular
plano dado.

h) A projeo de um ngulo sobre um plano pode ser um ponto.

i) Duas retas so paralelas se forem perpendiculares a uma mesma reta.
j) Quando cada um de dois planos que se intersetam perpendicular a
reta de interseo perpendicular ao terceiro plano.

ao

um terceiro plano, a

Problema 14.7.9.

Prove que, dada uma reta, existem innitos planos que a contm. Faa um
desenho mostrando uma reta e trs planos que a contm.

Problema 14.7.10. Usando que o espao contm pelo menos quatro pontos no coplanares,
mostre que existem retas reversas. Desenhe duas retas reversas.
Problema 14.7.11.

D condies mnimas sobre os pontos A, B , P e Q para que esteja bem

denido o diedro [AP QB].

Problema 14.7.12. Dena interior de um diedro qualquer e explique por que ele um conjunto
convexo.

Perpendicularismo e paralelismo no espao

199

Problema 14.7.13.

Um plano e uma reta r no contida nele so paralelos se e somente se

r paralela a alguma reta de .

Problema 14.7.14.

Mostre que se uma reta interseta um plano, existe no plano uma reta
perpendicular a ela pelo ponto de interseo. Em que situao essa reta nica?

Problema 14.7.15.

Na Figura 14.20 (a), A, B , C e D so no coplanares, AD = DC , BC =

\
BA e DBA um ngulo reto. Ento pelo menos um dos segmentos da gura perpendicular
a um dos planos. Que segmento e que plano? Demonstre sua resposta.
B

C
....

D
(a)

..
......... ..
........ ....
........
..
.........
..
........
.
.
.
.
.
.
.
.
.
..
..
.........
..
...............
.
.
... .......
...
...
.......
...
.......
...
...
...........
...
.......
.
.
...
.
...
...
....
...
.....
...
...
.. .......
.
. .....
...
.
.
...
..
... .....
...
... .... .......
... .. .....
... ........
..........

(b)

....
....
.....
.....
....
.
.
.
...
....
.....
.....
....
.
.
.
...
....
.....
.....
....
.
.
.
.
.....
....

....
....
.....
.....
....
.
.
.
...
....
.....
....
........
....
......
........
.
.
.
.
.
.
.
.
.
.
........
...
......
........
....
........
......
.....
........
......
..................
.....
.
....
.
.
.
.
.....
....

A
Figura 14.20. Figura para os Problemas 14.7.15 e 14.7.16.

Problema 14.7.16.

Na Figura 14.20 (b), A, C e E esto no plano e no so colineares.

Ainda, AB perpendicular a AE e CD a CE , e AB paralela a CD. Prove que AB e CD
so perpendiculares a .

Problema 14.7.17. Na Figura 14.21, A e B esto em semiespaos opostos em relao ao

plano e so equidistantes dele. As perpendiculares a por A e B intersetam em T e S ,
respectivamente. Prove que: (i) AB interseta ST ; (ii) se R o ponto de interseo de AB com
ST ento R o ponto mdio de ST .
A

...
...
...
..
.
.
..
...
...
...
...
.
.
.
..
...
...
..
...
...
...
...
...
...
.
.
.
.
..
...
...
...
...
...
...
...
............
...
..
.
.
.......................
.
.
.............................
...
........................
.
.
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...................
...
..
...
...
..
...
.
...
...
...
...
...
...
.
.
..
...
...
...
...
.
.
..
...
...
...

..

............

.
...
...
...
...
.
.
..
...
...
...
...
.
.
...
...
...
...

B
Figura 14.21. Figura para o Problema 14.7.17.

Problema 14.7.18. Sejam A, B , C e D quatro pontos do espao no coplanares e tais que trs

a trs no so colineares. A reunio dos segmentos AB , BC , CD e DA chamada quadriltero

reverso. Prove que um paralelogramo o quadriltero que se obtm ligando-se consecutivamente
os pontos mdios desses segmentos. Faa uma gura ilustrativa.

Geometria Elementar: gnese e desenvolvimento

200

Problema 14.7.19.

Se dois planos (diferentes) se intersetam em uma reta r, ento qualquer

reta paralela aos dois planos paralela a r.

Problema 14.7.20.

Suponha que trs planos tm exatamente um ponto em comum. Existe

uma reta que seja simultaneamente paralela aos trs planos?

Problema 14.7.21.

Prove que, dado um plano e um ponto fora dele, existe um nico plano
contendo o ponto e paralelo ao plano dado.

Problema 14.7.22.

Sejam e planos que se intersetam na reta r. Sejam A um ponto de

[
, B um ponto de e P um ponto de r tais que AP
B uma seo normal de um dos diedros
formados por e . Determine em que situao exatamente se tem AP perpendicular a .
Nesse caso vale ? Por que? Conra ilustrao na Figura 14.22.
..
..........
..........
..........
..........
.
.
.
.
.
.
.
.
.
..........
..........
..........
..........
..........
................
.......
........
........
.......
........
........
.......
........
........
...

.........
.........
..........
.........
.....
.
.
.
.
.
.....
.....
.....
............
.......
........
..
........
..........
.......
..........
........
..........
........ ...........
.
.
.......
.... ..............
....
......
....
....
..........
........
........
.......
........
.......
........
........
.......
........
....

Figura 14.22. Figura ilustrativa do Problema 14.7.22.

Problema 14.7.23.

Sejam um plano e r uma reta. Prove que existe um plano contendo r

e perpendicular a . Em que condies este plano nico?

Problema 14.7.24.

Descreva o conjunto dos pontos do espao que so equidistantes de trs

pontos no colineares dados.

Problema 14.7.25. Considere a Figura 14.23, em que se tem as seguintes propriedades:

BC , AB BE , BC CE , C D E . Demonstre que AC CE .
A............

..
........ .........
... .... .......
.....
... ...
.....
... ...
.....
.....
... ....
.....
... ...
.....
.....
... ....
.....
... ...
.....
...
...
.....
...
.....
...
...
.....
...
.....
...
.....
...
.
.....
........ ....
.....
... ........ ...........
...
... .................................. .........
.................... ...........
...
...
..... ...........................
...
....................
.....
... .....
.....
...
... ...
.....
.......
... ..
.....
.......
... ...
..... ..............
.
.
.........
... ..
.
.
... ...
.
.
...
... ..
.......
... ...
.......
.......
... ...
.......
... ...
.......
.
.
.
.
.....
.
.
..
......
.......
..... .............
.......

C
Figura 14.23. Figura ilustrativa do Problema 14.7.25.

AB

Perpendicularismo e paralelismo no espao

201

Problema 14.7.26.

Prove que, dado um plano e um ponto (no plano ou no), existem innitos planos contendo o ponto e perpendiculares ao plano dado. Faa um desenho ilustrativo
mostrando pelo menos dois desses planos.

Problema 14.7.27.

Sejam um plano e P um ponto fora dele. Sejam r e s retas que contm

P e que so paralelas a . Prove que o plano determinado por essas retas paralelo a .

Problema 14.7.28.

Na Figura 14.24, e so planos paralelos. Os pontos A e B esto em ,

e os pontos C e D so suas respectivas projees em . Prove que as diagonais do quadriltero
ABDC se cortam ao meio.

.....................................................................................................................................................................................................................................
...
..
...
...
...
.
...
.
..
...
.
.
.
.
.
..
...
...
.............
...
...
............. ...
...
...
.............
..
...
.............
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
.............
...
...
..
.............
...
...............
..
...
...
...
..
...
...
...
..
...
.
.
.
.
.
.
.
.
...
..
..
..
...
...
...
..
...
...
...
. ..
................................................................................................................................................................................................................................................
.......
.
.
.
.
.......
....
.......
.....
......................... ......................................... ............................ ................................ ......................................................................................................
.......
...
.
..
....
.....
...
.
.
...
.
.
.
.
........
...
.....
...
.............
...
.....
.............
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
..
.....
.............
...
...
.....
.............
...
...
..... ...............
...
...
................
...
...
.
.
.
.
..
..
...
...
...
...
...
...
...
...
.
.
.
.
...
...
...
...
.....................................................................................................................................................................................................................................

Figura 14.24. Figura para o Problema 14.7.28.

Problema 14.7.29.

Na Figura 14.25, AC , BC e CD so segmentos perpendiculares dois a

dois. Ainda, AD = BD e E , F e G so pontos mdios de AD, BD e CD, respectivamente.
[ , e ache sua medida.
Demonstre que so congruentes os ngulos F[
EG e BAC

A......

.. ................
..........
...
..........
..........
...
..........
....
..........
..........
...
..........
.
.
..........
..........
....
...........
.
. ...........
.
..........
...
....
..........
..........
...
...
..........
.
..
.
.
..........
..........
....
....
..........
.
.
.
.
..........
..........
..
.
....
.. ...
..
..........
.
...
.
...............
.
.
.
.
.
.
.
.
.
.. .
.
.
.
.
.
.
.
.
.
. ...
..........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....
.
.
..........
.
..
.
.
.
.
.. ..
.
.
.
.
.
.
.
.
.
.
.
.
....
...
...............
... ...
......................
... .
...............
...............
... ..
...............
.
.
.
.
.
.
.
.
.
.
.
.
.
.... ..
.
..
...............
.. ...
...............
..... .......................
...................

Figura 14.25. Figura ilustrativa do Problema 14.7.29.

Geometria Elementar: gnese e desenvolvimento

202

Problema 14.7.30.

[ e EDF
\ nSejam e dois planos paralelos. Sejam BAC
gulos tais que AB||DE e AC||DF . Prove que esses ngulos tm a mesma medida ou so
suplementares. Identique quando ocorre cada um desses casos. Conra ilustrao na Figura
14.26.
..
...
...
..
.
...
...
...
...
.
...
...
..
..
.
.
.
...
...
...

.
...
...
..
.
.
.................
.................. .......
..................
....
..................
.................
.
.. ...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. ...
.. ............................
.. ....
...............
.
..
.
.
.
...............
.
................. ...
..
.. ........
..
.. .....
..
.. ......
..
.
.
.. .......
..
.
.
. .
.
.. ..
..
.. ..
..
.. ..
..
.. ...
..
.
.
.
.
...
.
.
.. ..
...
...
..
.. ..
..
..
...
.. ...
..
.
..
.
..
.
.
.
.
.
.
..
.................... ...
...
..
..
..................
. .
..
...
..................
...
.. ..
.. ............................
...
...
.. ...
..
.
...............................
.
..
.
.
.
...............
....
...
...
...............
....
...............
...
...
............... .....
...
...
........
...
...
.
.
...
...
...
...
...
...

Figura 14.26. Figura ilustrativa do Problema 14.7.30.

Problema 14.7.31. Sejam e dois planos paralelos.

Seja A1 A2 . . . An um polgono em . Escolha um ponto qualquer B1 . Sejam B2 , ..., Bn os pontos de tais que A1 B1 ||A2 B2 ||...||An Bn .
Prove que B1 B2 . . . Bn um polgono congruente a A1 A2 . . . An . A Figura 14.27 pode ajudar.
...
..
..
.......
...
................
.
.
.
.
.
.
.
.
.
.
.
.
. .
..........
...
.. .
..........
..
.. ...
..........
..
..
..........
...
.................
..
..
.
.
.
.
.
.
.
.........
.
..
..
.........
...
..
..
......... ...
...
..........
..
..
.
..
..
.. ................. ...
..
..
.
.
.
.
.
....
.
.
..
...
..
..
..
.. ....
..
..
..
..
..
..
..
..
.
.
.
.
.
.
..
..
..
..
..
..
.
.
..
..
..
..
..
..
..
..
..
..
.
.
.
.
.
.
...
.......
.
.
.
..
.
.
.
.
...
.
.
.
.
.
.
.
.
.
.
......
..
...
...
..
..........
..
..
..
..........
..
...
..
..
..........
..
..
...
.....................
..
...
..
.
.
.
.
.
...
.
.
.
.
.
.
.
.........
.
.
.........
...
...
.. ...
.........
...
...
.........
.. ..
.........
..
..
.. ....
.........
..
..
.
.
.
.
.
.
......... ....
.
.
......
...
...
...
...
...
...
...
...
...
...
.
...
...
...
...
.
...
...
..
..
.
.
.
...
..
..

An

A1

A2

Bn

B1

B2

Figura 14.27. Figura ilustrativa do Problema 14.7.31.

Problema 14.7.32.

Esse plano nico?

Sejam r e s retas reversas. Construa um plano contendo s e paralelo a r.

Problema 14.7.33. Existe uma e somente uma reta perpendicular a duas retas reversas dadas.
Problema 14.7.34. Sejam r e s retas reversas. Mostre que existem dois planos paralelos, cada
um contendo uma das retas.

Problema 14.7.35.

Sejam r uma reta e s uma segunda reta no paralela primeira (concorrente a ela ou no). Descreva o conjunto formado por todas as retas paralelas a s e que
interceptam r.

Problema 14.7.36.

Sejam r e s retas reversas. Mostre que a menor distncia entre elas

dada pelo comprimento do segmento que as une e perpendicular a ambas.

Problema 14.7.37.

Sejam r e s retas reversas e P um ponto do espao. Investigue qual deve

ser o posicionamento de P para que exista uma reta t que o contenha e que intercepte r e s.

Perpendicularismo e paralelismo no espao

203

14.8 Temas para investigao

Tema 14.8.1. No texto foram estudados o que so ngulos entre retas e entre planos.

Investigue
o que poderia ser uma denio adequada de ngulo entre reta e plano. Descubra e demonstre
algum resultado associado a esse conceito.

Tema 14.8.2.

Dois planos que se encontram tm, cada um, uma reta perpendicular, e essas
retas tambm se intersetam. Investique o que se pode dizer sobre a relao entre os ngulos
formados pelas retas e os diedros dos planos.