Demonstrações de Geometria

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.
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
.
.....
............. ....
...
.............
.............
...
.............
.
.
.
.
.
.
.
.
.
.
...
.
.
...
.............
...
.............
.
.
.
.
.
.
.
.
.
.
...
.
.
........
.
.
.
.
.
.
.
.
...
.
.
.
.
..
...
.............
...
...
...
...
...
...
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.........................................................
.
...................................................................................................................................................
.
..
.
...
.
..
..
...
.
...
.
..
...
.
.
....
...
..
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.............
...
...
...........
.............
...
...
........... ..... ..........................
...
...
...........
...
...
........... .........................
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.............
...........
...
...
.......... ..............
...
...
........... ..............
...
...
........... .............
...
...................................
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..............
..
..
........................
...
...
............
...
...
.............
...
...
.............
...
...
.............
.
.
.
.
.
.
.
..
..
...
...
...
...
...
...
...
...
.
.
.
.
.
.
.....................................................................................................................................................................................................................................................................................................................................
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.
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 .........................
.......
.......
.......
.......
........................ ........................................... ...................................................................................................................................................................
.
.
.......
..
..
.
.......
.
...
.......
..
.
.
...
.......
.......
...
...
.......
...
...
.
.
.
.
.
.
.
..
..
..............
...
...
............. ....
...
...
.............
...
..
...
.............
...
..
.............
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.........
..
..
..
.............
...
...
..
...
...
..
...
...
..
...
...
..
.
.
.
.
.
.
..
..
..
...
...
..........................................................................................................................................................................................................................................
..
.....
.
.
.
.
....
.....
.....
.....
.....
.
.
.
.
...
.....
.....
.....
.....
.....

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.
188
r
......
... ....
... ....
....
...
....
...
....
...
....
...
....
...
....
...........................................................................................................
....................
...
.
....
.
...
.
....
.
...
.
...
....
.
.
...
....
...
..
.
.
...
.
.
...
.....
.
.
.
.
.
.
.
.
.
.
...
.
.
..
.....
...
...
..
.....
...
..
...
... ..........
..
..
..
..
..
..
. .......
.
.
.
.
.
.
.
.
.
...
.....
..
...
...
..
.....
..
...
...
.............
..
...
..
...
.........
...
...
..
.........
..
..
.
.
.
.
.
.
.........
...
.........
...
...
...
...
.........
...
...
...
...
.........
...
..
...
.........
...
..
......... ..... ....
..
.
.
.
............ .
.......
...
...
...
...
..
...
..
..
.
.
.
................................................................................................................................................................................................................................................................................................
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 .
.
...
...
...
..
.
...
...
...
..
.
...
...
...
..
.
...
...
..................................................................................................................................... ...........
.................................................................................................................................................................
..
...
.
...
..
..
.
...
.
...
...
...
...
...
..
..
..
..
.
.
.
.
...
...
...
...
...
...
...
...
..
...
...
...
..
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
..
..
..
.......................................................................................................................................................................................................................................................................................................................................

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.
189
.
...
...
..
.
...
...
......
.....
.
.
... ..
... ....
... ..
.. ...
.
.
... ..
... ...
... ....
..
.
.
.
.
............................................................................................................................ .........
... ....................................................................................................................................................
...
..
... ..
..
...
...
...
... ...
..
.. ...
..
...
.
.
.
..
..
.. ...
.
.
.
.
... ..
...
...
...
...
... ...
... ...
...
...
..
..
......
.
.
.
.....
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
.......................................................................................................................................................................................................................................................................................................

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.
...
...
...
..
.
...
...
...
..
.
...
...
...
..
.
...
...
..
...................................................................................................................................................
....................................................................................................................................................................
..
.
..
.
...
.
...
...
...
...
..
..
..
.
.
...
.
..
..
..
..
.
.
.
.
...
...
...
...
...
...
...
...
..
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
...
...
...
...
...
...
...
...
...
..
..
..
.
.
.
....................................................................................................................................................................................................................................................................................................................................

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.
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

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 .
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.
.
.........
.........
....... ....
....... .....
.......
.......
...
...
.......
........
...
...
.......
.......
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
...
........
........
...
...
.......
.......
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
....
....
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
.
..
..
.....
...
....
....
...
...
...
...
...
...
.
...
.
.
.
.
.
.
...................................................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.............................
.
.
.
.
.
.....
.........
.
.
...
...
.
.
.
.
.
.
.
.
.
.
.
...
... ..
... .. ....
.
.
.
.
.
.
.
.
.
.
.
.
...
.. ..
.. .. ...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
..
.. ....
....
....
...
....
....
.
.....
.....
...
...
... ....
.....
.....
...
...
...
...
....
....
..
..
...
...
...
...
.....
.....
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
...
...
.
.
...
...
.
.
.
.
.
.
.
...
...
.
.
....
.
.
.
..
..
.
...
...
.
.
...
...
.
.
.
.
.
.
.
.
.
.
.
.
.
...
...
... ...
...
.
.
.
.
.
.
.
.
.
.
.
.
... ..
...
..
..
.
...
...
.
.
.
.
.
.
.
.
.
.
.
... .
...
.
.
.. .........
...
.
... ... .........
...
.
..
. ....
..... .....
.
.
.
.
.
...............................................................................................................................................................................................................................................................................
.
..
...
.
.
.
.
.
.
.
.
.
.
.
.
....
.
.
.
.
.....
.....
.
.
.
.
.
.
.
.
.
.
.
...
.
.
.
......
......
...
....
.......
.......
........
........
...
...
........
........
...
...
.......
.......
... ..............
... ..............
.......
.......

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.
192
......
......
........ ..
........ ..
....... ....
....... ....
.......
.......
...
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
...
.....
.....
.......
.......
...
.
.......
.......
....
...
........
........
.
.
.
.
.
.
.
.
.
.
.
.
.
...
..
....
.
.....
.
.
.
.
.
.
.
.
.
.
.
...
.
.
...
.
.
...
...
....
....
...
...
...
...
...
...
...
...
...................................................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.............................
.
.
.
.
.
.
.
.
.
.
..........
.....
...
.
.
.
.
.
.
.
.
.
.
.
.
...
.
.
... .. ....
... ..
.
.
.
.
.
.
.
.
.
.
.
.
...
.. ..
..
.....
.....
.
...
....
....
....
....
... .....
...
...
...
...
.....
.....
...
.. ....
..
.....
.....
...
...
...
.....
.....
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
...
..
...
...
...
...
.....
....
....
...
.....
..
..
...
.....
.....
...
...
...
.....
...
.
.....
.
.
...
.
.
.
.
.
.
.
.
.
.
..
..
... ..
.
...
...
...
.
.
.
.
.
.
.
.
.
.
.
... .
..
..
...
.
...
...
.
.
.
.
.
.
.
... ...
.
.
.
...
..
..
. .......
... .. .........
.
...
.
.
.
. .......
...... .....
.
.
.
.
.
..........................................................................................................................................................................................................................................................................
.
.
.
.
.
.....
.....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....
....
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...
.
........
.......
....
...
.......
.......
...
...
.......
.......
.......
.......
...
...
.......
.......
.... ..............
... ..............
....
....

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
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.
.
...
...
...
.
...
...
..
..
.
.
.
...
...
..
..
.
.
.
.
...
...
...
.
...
...
..
..
.
.
.
...
...
..
..
.
.
.
..
...
...
...
..
.
..
..
...
...
..
.
...
...
..
..
..
...
...
...
..
.
..
..
...
...
..
.
...
...
..
..

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.
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.
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
.
............
.......... ....
..........
.
..........
...
..........
.
.
.
.
.
.
.
.
.
.
.
.
.
..........
...
..........
...
..........
..........
..
...............
..
.
........
.
.
.......
...
........
.......
...
........
..
........
.. ...........
.
.
.......
.
........ ............
...
.... .. .
...
.... ...........
..
....
..
....
.
.
.
.
.
....
..
....
..
..........
...
........
...
.......
..
........
.
........
..
.......
..
........
...
........
...
.......
........ ....
......

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,
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.
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.
........
........
.........
........
.
.
.
.
.
.
.
...
.........
........
........
.........
........
.
.
.
.
................
...................................................
.
.
.
.......
..
...
........
..
.........
...
..
........
.
.
..
.
.
.
.
.
.
.
...
......
.
.
.
.
.
.
.
.
.
.
.. ..........
...
..........
...
..........
..
......... ...
..
........ ....
.
.
.
.
.
.
.
.
.
.
.
...
.........
...
...
...
...
...................................................................................................................................................
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.
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.
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
AB
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.
.....................................................................................................................................................................................................................................
...
..
...
...
...
.
...
.
..
...
.
.
.
.
.
..
...
...
.............
...
...
............. ...
...
...
.............
..
...
.............
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
.............
...
...
..
.............
...
...............
..
...
...
...
..
...
...
...
..
...
.
.
.
.
.
.
.
.
...
..
..
..
...
...
...
..
...
...
...
. ..
................................................................................................................................................................................................................................................
.......
.
.
.
.
.......
....
.......
.....
......................... ......................................... ............................ ................................ ......................................................................................................
.......
...
.
..
....
.....
...
.
.
...
.
.
.
.
........
...
.....
...
.............
...
.....
.............
.
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
..
.....
.............
...
...
.....
.............
...
...
..... ...............
...
...
................
...
...
.
.
.
.
..
..
...
...
...
...
...
...
...
...
.
.
.
.
...
...
...
...
.....................................................................................................................................................................................................................................
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......
.. ................
..........
...
..........
..........
...
..........
....
..........
..........
...
..........
.
.
..........
..........
....
...........
.
. ...........
.
..........
...
....
..........
..........
...
...
..........
.
..
.
.
..........
..........
....
....
..........
.
.
.
.
..........
..........
..
.
....
.. ...
..
..........
.
...
.
...............
.
.
.
.
.
.
.
.
.
.. .
.
.
.
.
.
.
.
.
.
. ...
..........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
....
.
.
..........
.
..
.
.
.
.
.. ..
.
.
.
.
.
.
.
.
.
.
.
.
....
...
...............
... ...
......................
... .
...............
...............
... ..
...............
.
.
.
.
.
.
.
.
.
.
.
.
.
.... ..
.
..
...............
.. ...
...............
..... .......................
...................
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.
..
...
...
..
.
...
...
...
...
.
...
...
..
..
.
.
.
...
...
...
.
...
...
..
.
.
.................
.................. .......
..................
....
..................
.................
.
.. ...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. ...
.. ............................
.. ....
...............
.
..
.
.
.
...............
.
................. ...
..
.. ........
..
.. .....
..
.. ......
..
.
.
.. .......
..
.
.
. .
.
.. ..
..
.. ..
..
.. ..
..
.. ...
..
.
.
.
.
...
.
.
.. ..
...
...
..
.. ..
..
..
...
.. ...
..
.
..
.
..
.
.
.
.
.
.
..
.................... ...
...
..
..
..................
. .
..
...
..................
...
.. ..
.. ............................
...
...
.. ...
..
.
...............................
.
..
.
.
.
...............
....
...
...
...............
....
...............
...
...
............... .....
...
...
........
...
...
.
.
...
...
...
...
...
...
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
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.
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.
204
Captulo 15
Prismas e pirmides
CAPTULO EM ELABORAO
15.1 Introduo
Estudamos neste Captulo uma classe geral de guras geomtricas espaciais denominadas prismas e pirmides. Seus tipos mais simples, o cubo e o tetraedro, constituem os slidos geomtricos mais conhecidos e usados em todos os campos da atividade humana.
Informamos que os termos gura, slido e regio do espao constituem palavras da linguagem
comum usadas como sinnimos para indicar subconjuntos do espao. Esses termos tambm
aparecem neste texto com esse sentido.
15.2 O cubo
O cubo a gura geomtrica formada pela reunio de seis quadrados congruentes de modo que
cada lado de cada um dos quadrados coincide com um nico lado de outro quadrado.
Existe uma nica gura que satisfaz esses requisitos. O estudante convidado a vericar
isso no Problema 15.3.1. Essa gura tem um formato bastante conhecido, e vemos a seguir
desenhos de cubos em diversas posies.
Figura 15.1. Desenhos de cubos. O desenho da esquerda corresponde denio dada.

Um cubo formado pela reunio de 12 segmentos, denominados arestas. Para contar as
arestas de um cubo podemos usar um desenho e cont-las diretamente, ou fazemos a seguinte
conta. Cada quadrado que forma o cubo tem 4 lados, e como so seis quadrados, isso perfaz
um total de 6 4 = 24 lados. No cubo os lados coincidem aos pares para formar as arestas, de
modo que resultam 24/2 = 12 arestas.
Os vrtices de um cubo so os vrtices dos quadrados que o formam. Podemos contar os
vrtices de um cubo em um desenho e ver que so 8. Outra forma observar que seis quadrados
205
206
tm um total de 6 4 = 24 vrtices, e que no cubo cada vrtice formado pela coincidncia de

trs vrtices de quadrados, de modo que o cubo tem 24/3 = 8 vrtices. Ou ento observamos
que em cada vrtice concorrem trs arestas. Cada aresta tem duas extremidades, logo so
12 2 = 24 extremidades de arestas, e assim so 24/3 = 8 vrtices.
As faces de um cubo so as regies quadradas dos quadrados que o formam. Como no
existem quadrados coincidentes, o cubo tem seis faces. As faces formam pares de guras
disjuntas, e duas quaisquer dessas faces disjuntas se denominam faces opostas. Duas faces
opostas quaisquer so paralelas (resultado do Problema 15.3.2).
costume indicar por A a quantidade de arestas, por V a de vrtices e por F a de faces.
Assim no cubo temos
A = 12,
V = 8,
F =6
A
caracterstica de Euler
de uma gura formada por polgonos o nmero inteiro

=F +V A
Portanto a caracterstica de Euler do cubo
= F + V A = 6 + 8 12 = 2
Dado um slido formado por polgonos, para todo inteiro p 1 indicamos por Vp a quantidade de vrtices aos quais concorrem p arestas. No cubo temos V3 = 8 e Vp = 0 para todo
p = 3.
Uma diagonal de um cubo um segmento com extremos em dois vrtices que no esto
em uma mesma face. Examinando desenhos de cubos vemos que eles tm 4 diagonais.
Essa
()
conta pode ser feita sem o uso de desenhos. Como o cubo tem 8 vrtices, existem 82 segmentos
ligando dois quaisquer desses pontos. Dessa quantidade subtramos as 12 arestas e os segmentos
que so diagonais das faces, que so 6 2 = 12. Logo a quantidade de diagonais de um cubo
( )
8
8!
D=
12 12 =
24 = 28 24 = 4
2
2! 6!
O cubo tem um interior, que o estudante poder facilmente denir. Isso solicitado no
Problema 15.3.4. A reunio das faces de um cubo denomina-se superfcie do cubo. Lembramos
que uma face uma regio quadrada determinada por qualquer um dos quadrados que denem
o cubo, e assim uma face inclui o quadrado e seu interior. Chamamos de cubo slido reunio
da superfcie do cubo com o seu interior.
Observamos que ao estudar cubos em um livro de Geometria o estudante precisa car atento
denio adotada pelo autor. Alguns autores denominam cubo ao que aqui estamos chamando
de superfcie do cubo, e outros ao que aqui estamos chamando de cubo slido. No conhecemos
nenhum autor que chama de cubo reunio dos seus 8 vrtices, mas, quem sabe, pode ocorrer.
Vamos obter agora o que denominamos centro do cubo. Consideremos um cubo ABCDEF GH
denido na Figura 15.2, com faces ABCD, EF GH , ADHE , etc. Usando o resultado do Problema 15.3.2 e Teoremas anteriores (particularmente do Captulo 14), sabemos que AE e CG
so perpendiculares ao plano ABCD, logo so coplanares e perpendiculares a AC , de modo que
ACGE um retngulo. As diagonais AG e CE desse retngulo so congruentes e se encontram
num ponto O, que as divide ao meio (portanto O equidistante de A, C , G e E , seja R essa
distncia). Sejam I o ponto mdio de EG e J o ponto mdio de AC . Em virtude do resultado
do Problema 10.3.26 o segmento IJ contm O. Ainda temos que O o ponto mdio de IJ e
IJ||AE e assim IJ ABCD.
Prismas e pirmides
207
H..........
.
. ........
. ... .. ...
. ... .. ..........
.
.
. ... ..
.
.
.
.
.
.
.
.
.
.
.
.
..
.. ..
... ...
...
......
... ...
...
......
......
.....
.......
...
.......
... ... ...
.
...
.
.
.
.
.
.
.
.
.
.
.
... .
..
... ...
...
......
..
... ...
...
... ...
... ...
... ...
..
...
... ...
... . ... ...
..
... ....
.
.
........... ..
. ... ..
...
...
. ... ..
...
..
. ... ..
...
. ... ..
.
...
. ... ..
.
.
.
.
.
. ... ..
. ... .. .. ......
. .........
.. . ...
... . ... ... ... ..
. ... ..
... ..
. ... ..
... ..
.
.
. ... ..
..
..
.
. ... ..
.
..
.
. ... ..
.
.
.
.
..
..
.
.
.
. ......
..
. ... .. ...
... ......
..
. ... .. .....
.
.
.
.
.
.
.
.
.
.
..
. ...
.
.
.
.
........
.
.
.
.
.
..
. ...
...
. ....
. .....
...
... ...
..... ... ..
...
... ...
. ....
...
... ...
.
.
.
.
.
........
.
.
.
.
.
...
... ...
......
... ...
...
... ...
.....
...
.......... ...
...
........
...
Figura 15.2. Localizao do centro de um cubo.

Considerando agora o retngulo BDHF vemos que o ponto de encontro O de suas diagonais
BH e DF as divide ao meio, e assim equidistante de B , D, H e F , e essa distncia R, pois
as diagonais do cubo s ao todas congruentes. Ainda, I tambm o ponto mdio de F H e J o
de BD, de modo que O o ponto mdio de IJ . Portanto O = O .
Encontramos assim um ponto O equidistante dos vrtices do cubo. Chamamos a esse ponto
de centro do cubo. Esse ponto tem outras propriedades que sero estudadas nos problemas
abaixo.
Uma planicao de um cubo de aresta a uma gura plana formada por 6 quadrados de
lado a, de forma que cada quadrado tem pelo menos um lado em comum com outro quadrado
e se dobrarmos a gura nos lados comuns obtemos o cubo. Vemos na Figura 15.3 um exemplo
de planicao do cubo.
...
...
...
...
.
.
..
...
...
...
...
...
...
.
.
..
...
...
.
...
..
...
...
...
...
.
.
...
...
.
...
.
...
Figura 15.3. Um exemplo de planicao do cubo

Desconsiderando-se rotaes e reexes, o cubo tem 11 planicaes.
Figura 15.4. Seis exemplos de planicaes do cubo
208
Figura 15.5. Mais cinco exemplos de planicaes do cubo

Um cubo pode ser expresso em coordenadas cartesianas. Para determinar o cubo basta
escrever as coordenadas de seus vrtices. O cubo de aresta unitria colocado no primeiro
quadrante, com um vrtice na origem e com faces paralelas aos planos coordenados tem vrtices
A = (1, 0, 0) B = (1, 1, 0) C = (0, 1, 0) D = (0, 0, 0)

E = (1, 0, 1) F = (1, 1, 1) G = (0, 1, 1) H = (0, 0, 1)
Na Figura 15.6 vemos um desenho desse cubo.
H..........
..
...
...
...
.
.
..
...
...
...
...
.
.
...
...
...
...
...
.
.
.
...
...
...
...
.
.
..
...
...
...
...
.
.
...
..
F
.
D
...
.
A...........
.
...
.
...
.
...
...
...
...
...
.
.
..
...
...
...
...
.
.
.
...
...
...
...
...
.
...
..
...
...
...
.
.
.
...
...
...
Figura 15.6. Desenho de cubo em um sistema de coordenadas cartesianas.

Apresentamos algumas dicas simples para o desenho de cubos. Um cubo uma gura em
trs dimenses, e um desenho em folha de papel uma gura em duas dimenses, chamada
projeo plana do cubo. Para realizar essa reduo empregamos algumas tcnicas. Uma das
mais usadas a denominada projeo cavaleira ou militar. Para obter um cubo de aresta a,
desenhamos dois quadrados de lado a, com lados correspondentes paralelos, e deslocados um
em relao ao outro. Ligando os vrtices correspondentes (chamados lados oblquos) obtemos
um desenho do cubo. Os lados oblquos tm uma reduo de um fator k que depende do
ngulo que esse lado faz com a direo horizontal da folha. Os manuais de Desenho Tcnico
apresentam a seguinte tabela com os valores mais usados:
30
45
60
k
2/3
1/2
1/3
Prismas e pirmides
209
Por exemplo, em um cubo de 4 cm, a aresta oblqua deve medir (2/3)4 = 8/3 cm se a
angulao for de 30 . Seguem desenhos com os valores da tabela acima (Figura 15.7).
.......
.......
.......
.......
.
.
.
.
.
...
.......
.......
.......
.......
.......
.......
.......
.
.
.
.
.
...
.......
.......
.......
.......
.....
.......
.......
.......
.
.
.
.
.
.
....
.......
.......
.......
.......
......
.......
.......
30
.
.....
.....
.....
.....
.
.
.
.
...
.....
.....
....
.
.....
.....
.....
.....
.
.
.
.
...
.....
.....
....
..
...
...
...
.
..
...
..
...
...
...
.
..
...
.
....
..
.....
.....
.....
....
.
.
.
.
...
.....
.....
....
..
.
...
..
...
...
...
.
..
...
..
....
.
.....
..
.....
45
..
...
60
Figura 15.7. Desenho de cubos usando a projeo cavaleira.

Na Figura 15.8 vemos o desenho de um cubo com o uso da chamada perspectiva isomtrica.
Todos os segmentos desenhados tm a mesma medida. Os quadrilteros so paralelogramos
com ngulos de medida 120 e 60.
....
...... ............
.......
.......
.......
.......
.......
.......
.
.
.
.
.
.
.......
....
.
.
.
.......
.
.
.
....
.......
.
.
.
.
.
.
.......
....
.
.
.
.
.......
.
.
....
.
.......
.
.
.
.
.
.......
...
.
............
.......
......
.......
.......
.
.
.
.
.
.
.......
....
.
.
.
.......
.
.
.
.......
......
.......
.......
.......
.......
.......
.......
.......
.......
.
.
.
.
.
.......
.
....... ............
....
.......
....
.......
.......
.......
.......
.......
.......
.
.
.
.
.......
.
.
.......
......
.......
.......
.......
.......
.......
.......
.......
.......
.
.
.
.
.
.
.......
....... .............
...
30
Figura 15.8. Desenho de cubo na perspectiva isomtrica.

Os mtodos de projeo vistos acima, perspectiva cavaleira e isomtrica, so os mais usados
em desenhos tcnicos de Geometria. Se quisermos desenhos mais realistas podemos usar outros
recursos, como pontos de fuga. A Figura 15.9 ilustra um exemplo em que se usa um ponto de
fuga.
..........
.. .............
.. ... .............
.. ... . ...........
.. ... ......................
.
.
.
.
.
..
... ... ......... ...... .....
... ...
.
.
... ...
.... .... ..
..... .... .....
.... ...
.... ......
. ... ..
.
.
.
.
...
.
.
.
.
.
...
...
...
. ...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
...
..
.. ... .
....
....
...
.. ... .
.....
....
...
.. ... .
....
...
....
.. ... .
.....
....
...
.. ... .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. ..
...
....
. ... ..
.....
...
... ..
. ... ..
...
....
......
. .....
...
....
........
. ... ..
...
....
........
.
. ... ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
...
.......
... ...
....
...
....
...
....
..
....
...
.
.
.
.
.
.
.
...
...
....
...
....
...
....
...
....
.
.
.
.
.
.
...
...
...
....
....
...
...
....
...
....
.
.
.
.
.
.
.
...
...
....
.....
.....
....
....
....
.....
....
.
.
.
.
.
.
.
..
.
.....
....
.....
....
Figura 15.9. Desenho de cubo com um ponto de fuga.
210
Figura 15.10. Composio artstica com cubos.
15.3 Problemas
Problema 15.3.1.
Seja P uma gura formada pela reunio de seis quadrados congruentes de

modo que cada lado de cada um dos quadrados coincide com um nico lado de outro quadrado
(esta a denio de cubo). a) Explique por que dois quaisquer desses quadrados com um lado
comum no so coplanares. b) Explique por que dois quaisquer desses quadrados com um lado
comum formam um diedro de medida 90. c) Sejam ABCD e ABEF dois desses quadrados com
um lado comum AB . Explique por que BC e BE tm que ser lados de um mesmo quadrado.
d) Mostre que cada vrtice do cubo um ponto de encontro de trs vrtices dos quadrados, e
a lele concorrem trs arestas. e) Usando desenhos explique por que P tem que ter o formato
de um cubo como os da Figura 15.1.
Problema 15.3.2. Seja P um cubo, e seja o plano determinado por uma face qualquer.
a) Explique por que existem quatro arestas do cubo que tm extremidades em e no esto
nele contidas, e essas quatro arestas esto do mesmo lado de e so perpendiculares a ele. b)
Explique por que duas faces opostas quaisquer de um cubo esto em planos paralelos.
Problema 15.3.3. Seja P uma gura formada pela reunio de polgonos de forma que cada lado
de cada polgono coincidente com um nico lado de outro polgono, e, dois polgonos quaisquer
com um vrtice comum no so coplanares. Explique por que a cada vrtice concorrem pelo
menos trs arestas.
Problema 15.3.4.
Seja P um cubo. Dena seu interior. Mostre que o interior de qualquer

cubo um conjunto convexo. Mostre que o cubo reunido com suas faces e seu interior (cubo
slido) um conjunto convexo.
Problema 15.3.5.
No cubo da Figura 15.11 temos BK = BM . Prove que H equidistante
Problema 15.3.6.
Dado o cubo da Figura 15.11 calcule as medidas dos ngulos
de K e de M .
\
DHE
\
DEH
\
HGD
\
EGD
[
EGA
Problema 15.3.7. No cubo da Figura 15.12 temos BK = BM e P ponto mdio de KM .

Prove que o plano HDP perpendicular a KM .
Prismas e pirmides
211
H................. ..
..
...
...
... ...
...
.
.
.
.
...
... .....
...
...
..
...
...
.
.
.
... ..
...
..
...
...
...
..
...
...
..
...
...
.
..
...
..
...
..
...
...
..
..
...
...
..
..
...
...
..
..
...
...
..
..
........
.
.
.
...
...
... . . .......
...
.
..
...........
...
...
.
.
...
.......
.
...
.
.
...
... ......
...
..
.
.
. ..
..
...
..
.....
...
...
...
....... ..... ....
.
.. ....
..........
...
.
...
...
.
.. ..
...
.
...
...
.....
.
...
...
...
...
.
...
...
...
...
.
.
..
...
...
...
...
.
.
.
...
...
..
... .....
...
... .
...
... .......
...
...
...
.. .
.
.
.
.
..
..
... .....
...
...
..
...
...
.
...
...
... ....
...
...
.
.
.
.
.
..
..
...
...
...
..
...
...
...
...
..
...
...
...
...
.
.
.
...
..
...
..
...
...
..
..
...
...
..
..
...
...
..
..
...
...
..
.
.
.
.
.
.. ....... ....
...
.
.
...
...
.
...
...
..
.
.
.
..... ..
...
...
.
..
.
.
.
.
.
.
.
.
.
...
...
... .... ......
...
..
. ..
...
..
..
..
.....
...
...
...
....... ..... .....
..
.. ....
.
.
.
.
.
.......
.
... .
...........
..
.. ..
.
...... .....
...
.....
...
...
..
......... ...
.
.
.
.
.
.
P M
K B
Problema 15.3.8. Dado o cubo de aresta a, mostre que todas as suas diagonais so congruentes
e calcule sua medida.
Problema 15.3.9.
vrtices.
Dado o cubo de aresta a, calcule a distncia R de seu centro O aos seus
Problema 15.3.10.
Dado o cubo de aresta a, calcule a distncia r de seu centro O s suas
Problema 15.3.11.
Dado o cubo de aresta a, calcule a distncia de seu centro O s suas
faces.
arestas.
Problema 15.3.12.
Mostre que, a menos de rotaes e reexes, o cubo tem 11 planicaes,

conforme so vistas nas Figuras 15.4 e 15.5.
Problema 15.3.13. Ache as coordenadas cartesianas dos vrtices do cubo de aresta 2 com
centro na origem das coordenadas e arestas paralelas aos eixos cartesianos. Expresse, em
coordenadas cartesianas, as arestas, as faces e o interior desse cubo.
Problema 15.3.14.
Estude que tipo de guras podem ser formadas com a interseo de um

cubo slido com um plano.
Problema 15.3.15.
Dado um cubo e um plano, a projeo ortogonal do cubo no plano a

gura formada pelas projees das arestas do cubo no plano. Desenhe trs dessas projees
ortogonais.
Problema 15.3.16.
Calcule as medidas dos ngulos formados por segmentos que unem o

centro de um cubo com dois vrtices.
212
15.4 O tetraedro
Figura 15.13. Desenhos de tetraedros. O desenho da esquerda corresponde denio dada.
15.5 Problemas
Problema 15.5.1.
Na Figura 15.14, ABCD um tetraedro com todas as arestas de mesma

medida s. P e Q so pontos mdios de AD e BC , respectivamente. a) Demonstre que P Q
perpendicular a AD e a BC ; b) Calcule P Q.
.........
....... .. ..
....... .... ....
...
.......
.
.
.
.
.
.
.
.
...
....
...
...
.......
..
.......
.
.......
..
.
.
.......
.
.
.
.
.
.
..........
. ....... ....
.
.
.
.
.
...
... .... ....
... .... ..........
...
...
...
...
...
......... ....... .......
...
...........
...
...... ....
..
........
......
.
.
.
..
.
.
...
.
.
.
.......
...
...
.......
.
...
.
..
.
.
.
.
... ... ..........
... .. .........
..............
..
A
Problema 15.5.2.
Explique por que, em um tetraedro regular, o p da altura o circuncentro

do tringulo da base.
Problema 15.5.3. dado um tringulo ABC (um tringulo qualquer) em um plano .

que fora desse plano existe pelo menos um ponto V tal que V A = V B = V C .
Mostre
Problema 15.5.4.
A base de uma pirmide um tringulo ABC (um tringulo qualquer) em

um plano , e seu vrtice um ponto V tal que V A = V B = V C (que existe em virtude do
resultado do Problema 15.5.3. Seja H o p da perpendicular a por V . D a localizao de H
relativamente aos pontos A, B e C .

Tema 15.6.1.
Um cubo slido de dimenso trs pode ser expresso em coordenadas cartesianas

pelas desigualdades
k x k k y k k z k
para algum nmero real positivo k .
Prismas e pirmides
213
Um cubo de dimenso quatro pode ser expresso em coordenadas cartesianas pelas desigualdades
k x k k y k k z k k w k
Estude as propriedades desse cubo.
214
Captulo 16
Cilindros, cones e esferas
CAPTULO EM ELABORAO
16.1 Introduo
Continuando nosso estudo da Geometria Euclidiana, abordaremos agora os cilindros, os cones
e a esfera, s vezes denominados corpos redondos. Veremos suas denies, classicao e
propriedades bsicas.
16.2 Cilindros
16.3 Cones
16.4 Propriedades da esfera
Procedemos agora ao estudo da esfera. Vejamos inicialmente algumas denies.
Denies 16.1.
Seja O um ponto do espao e r um nmero real positivo. A superfcie

ou, simplesmente, esfera, de centro O e raio r o conjunto dos pontos do espao cuja
distncia a O r. Tambm chamamos de raio a um segmento que liga o centro da esfera a um
de seus pontos. Uma corda da esfera um segmento cujas extremidades esto na esfera. Um
dimetro uma corda que passa pelo centro. Por dimetro tambm designamos o nmero que
o dobro do raio. Dois pontos da esfera se dizem antpodas se forem extremidades do mesmo
dimetro. Uma reta ou um plano que interceptam uma esfera em um nico ponto se dizem
tangentes a ela. Nesse caso o ponto de interseo chama-se ponto de contato. Uma reta ou um
plano que interceptam uma esfera em mais de um ponto se dizem secantes a ela. A interseo
de uma esfera com um plano que contm seu centro e com qualquer um dos semiplanos por ele
determinado chama-se semiesfera ou hemisfrio.
esfrica,
Observao.
O termo esfera , muitas vezes, utilizado para designar o conjunto formado

pela superfcie esfrica e seu interior. Aqui, por simplicidade, adotaremos o signicado descrito
acima.
O primeiro resultado sobre esferas a
Proposio 16.2.
A interseo de uma esfera com um plano que contm seu centro a cir-
cunferncia desse plano com centro igual ao centro da esfera e raio igual ao raio da esfera.
215
216
Demonstrao.
Basta usar as denies de esfera e circunferncia.
Com esse resultado podemos considerar a
Denio 16.3.
A interseo de uma esfera com um plano passando pelo seu centro chama-se
(da esfera). Um semicrculo mximo uma semicircunferncia de um crculo
crculo mximo
mximo.
No Problema 16.5.8 vemos uma condio necessria e suciente para que uma reta seja
tangente a uma esfera. As posies relativas entre retas e esferas so estudadas no Problema
16.5.9. Vejamos resultados anlogos para planos e esferas.
Teorema 16.4.
Um plano tangente a uma esfera em um ponto de contato se e somente se o
plano perpendicular ao raio que tem extremidade nesse ponto.

Demonstrao.
A fazer.
Teorema 16.5.
Se um plano tem um ponto no interior de uma esfera, ento a interseo do
plano com a esfera a circunferncia cujo centro o p da perpendicular do centro da esfera
ao plano e cujo raio

r2 d2 , em que r o raio da esfera e d a distncia do centro da esfera
ao plano.
Demonstrao.
A fazer.
Teorema 16.6.
de
ao plano.
Sejam
uma esfera de raio
Temos: (i) se
d > r
e centro
O,
um plano. Seja
a distncia
ento o plano no intercepta a esfera; (ii) se
ento o plano tangente esfera; (iii) se
d < r,
d = r
ento a interseo do plano com a esfera
a circunferncia cujo centro o p da perpendicular do centro da esfera ao plano e cujo raio
r2 d2 .
Demonstrao.
A fazer.
Denio 16.7.
O interior de uma esfera de raio r o conjunto dos pontos do espao que

distam < r do centro da esfera. A regio esfrica de raio r o conjunto formado pelos pontos
de uma esfera de raio r e seu interior.
16.5 Problemas
Problema 16.5.1.
Planicando a superfcie lateral de um cone reto de geratriz g e de base

circular de raio r, obtm-se um setor circular de 2100 . Calcule sen , em que o ngulo
formado pela geratriz com o eixo do cone. Ilustrao na Figura 16.1.
Cilindros, cones e esferas
217
...
......
... ...
.. ....
.
...
...
...
...
...
...
...
..
...
.
..
...
.
...
..
.
...
..
.
...
..
.
...
..
.
...
..
...
.
..
...
.
...
..
.
...
..
.
...
..
.
...
..
.
.
.. ................................................ ....
.
...........
.............
.
.....
.
.....
...
......
...........
......
.
.
.
.
.
.
.
.
.
.......................................
....
.................... ............................
.........
.......
.......
......
......
......
.
.
.
.
.
.....
.....
.....
.....
.....
.
.
.
...
...
.
...
.
.
...
.
...
...
.
...
..
.
...
..
.
...
....
...
...
...
........
.
.
.
.
.
...
.
....
.
.
.
...
..... .......... ....
.
.
...
.
.
.
...
.
.
.
.
.
.......
..
....
.
.
.
...
.
.
.
.
.
.
.
.
.......
.
....
.
...
.
.
.
.
.
.
.
.
.
.
.......
..
...
.......
.......
...
...
.......
.......
...
...
.......
.......
....... ....
... ............
........
........
...
...
...
..
.....
...
....
.....
....
.....
.
.
.
.
.
......
.....
......
......
.......
.......
..........
.................................................
2100
Figura 16.1. Planicao de um cone.
Problema 16.5.2.
Dena interior e exterior de uma esfera. Prove que so conjuntos no

vazios, que o interior convexo e o exterior no convexo.
Problema 16.5.3.
Prove que, dados dois pontos no antpodas em uma esfera, existe um

crculo mximo que os contm, e nico. O que ocorre se os pontos forem antpodas?
Problema 16.5.4.
Demonstre que, dada uma corda de uma esfera, o interior da corda est
contido no interior da esfera.
Problema 16.5.5.
Prove que, dada uma corda de uma esfera, um raio a intercepta em seu
ponto mdio se e somente se o raio perpendicular corda.
Problema 16.5.6. Demonstre que, em uma esfera, o dimetro a maior das cordas.
Problema 16.5.7. Sejam AB e CD dois dimetros de uma esfera. Prove que ACBD
retngulo. O que ocorre se os dimetros so perpendiculares?
um
Problema 16.5.8.
Demonstre que uma reta tangente a uma esfera num ponto de contato se
e somente se a reta perpendicular ao raio de extremidade nesse ponto.
Problema 16.5.9.
Seja d a distncia de uma reta ao centro de uma esfera de raio r. Prove

que: (i) se d > r ento a reta no intercepta a esfera; (ii) se d = r ento a reta tangente
esfera; (iii) se d < r ento a reta intercepta a esfera em exatamente dois pontos. Como corolrio
conclua que uma reta intercepta uma esfera em nenhum ponto ou em um ponto ou em dois
pontos.
Problema 16.5.10.
Prove que, em toda esfera, dois crculos mximos quaisquer se encontram

em exatamente dois pontos antpodas.
Problema 16.5.11.
Em uma esfera, dois crculos mximos se dizem perpendiculares quando

os planos que os contm so perpendiculares. Demonstre que, dados dois crculos mximos
quaisquer, existe um nico crculo mximo perpendicular a ambos.
Problema 16.5.12. Esclarea o que uma esfera circunscrita, inscrita e tangente ao lados
de um poliedro. Considere um cubo de lado a. Calcule o raio da esfera: (i) circunscrita; (ii)
inscrita; (iii) tangente aos lados.
Problema 16.5.13.
Dado um tetraedro regular, considere seu centro, denido na Seo 15.4,

pg. 212. Explique por que esse ponto o centro da esfera circunscrita ao tetraedro, o centro
da esfera inscrita (isto , tangente s faces do tetraedro), e o centro da esfera tangente s suas
arestas. Se o tetraedro tem lado a, calcule o raio de cada uma dessas esferas.
218
Problema 16.5.14.
Esclarea o que uma esfera circunscrita ou inscrita em um cilindro.

Prove que todo cilindro circular reto tem esfera circunscrita, mas tem esfera inscrita apenas
quando sua altura for igual ao dimetro da base.
Problema 16.5.15. a) Mostre que quatro pontos no coplanares determinam uma nica esfera.
b) De uma esfera so conhecidos apenas quatro pontos no coplanares. Como se pode recuperar
seu centro?

Tema 16.6.1.
Investigue as possveis posies relativas entre duas esferas. Isto , dadas duas
esferas, descreva como elas se interceptam, e as condies em que ocorre cada tipo de interseo.
Justique suas concluses.
Tema 16.6.2.
Investigue quais pirmides e cones podem ser inscritos em uma esfera.
Captulo 17
Volume de slidos
CAPTULO EM ELABORAO
17.1 Introduo
17.2 Volume da esfera
O volume da regio esfrica de raio r pode ser simplesmente chamado de volume da esfera de
raio r. Veremos como esse volume pode ser calculado.
Teorema 17.1.
Demonstrao.
O volume da esfera de raio
4
3
3 r .
A fazer.
Teorema 17.2.
A rea da superfcie esfrica de raio
4r2 .
Segue um indicativo da demonstrao (a fazer).
Denio 17.3. Um plano secante a uma esfera a divide em duas regies, que so as intersees
da esfera com os semiespaos determinados pelo plano. Se o plano no contm o centro da esfera,
a regio que est no semiespao que no contm o centro denomina-se calota esfrica. A altura
da calota a diferena entre o raio da esfera e a distncia do plano ao centro da mesma.
Teorema 17.4. A rea de uma calota de altura h em uma esfera de raio r 2rh.
Denio 17.5. Dados uma regio esfrica e um diedro cuja aresta contm seu centro, deno-
minamos fuso esfrico interseo dessa regio esfrica com o diedro e seu interior. A medida
do ngulo do fuso a medida do diedro. A superfcie do fuso interseo da esfera com o
diedro e seu interior.
Teorema 17.6.
Teorema 17.7.
O volume do fuso cujo ngulo mede
4
3 a
graus 3 r 360 .
A rea da superfcie do fuso cujo ngulo mede
graus
a
.
4r2 360
Lembramos que se um ngulo mede a graus, ento sua medida em radianos = a/180.
Dessa forma o volume do fuso cujo ngulo mede radianos 23 r3 , e a rea da superfcie desse
fuso 2r2 .
219
220
17.3 Problemas
Problema 17.3.1.
Calcule o volume do tetraedro regular cujas arestas medem s.
Problema 17.3.2.
O volume de um cilindro reto de altura h e raio da base r V = r2 h. Se

o raio for aumentado de 10% e a altura diminuda de 20%, que alterao sofrer o volume?
Problema 17.3.3.
Um cilindro circular reto tem uma esfera inscrita. Calcule a razo entre
a rea do cilindro e a rea da esfera. Calcule tambm a razo entre seus volumes. Observe
os resultados assim obtidos e enuncie um teorema. Conta a Histria da Matemtica que esse
teorema foi descoberto por Arquimedes e era um de seus preferidos.
Problema 17.3.4. Um marceneiro tomou uma esfera de madeira, e fez nela um furo cilndrico,
centralizado. Vericou que o comprimento do furo era de 6 cm. Qual o volume do slido
restante?
............................................................
..............
...... ................................................................... ...........
.....
......
.....
.....
.
.
.
.
.....
.....
...
...
...
.
.
...
...
.
...
..
...
.
...
....
...
...
...
...
...
...
...
...
.
...
..
...
...
...
..
.
.
...
.
.
...
...
...
...
...
...
...
..
...
.
.
...
...
....
...
.....
....
.....
.....
......
.....
.
.
.
......
.
.....
.............
..............................................................
Figura 17.1. Ilustrao do Problema 17.3.4

Tema 17.4.1.
Investigue se existem generalizaes do Teorema de Arquimedes referido no

Problema 17.3.3. Por exemplo: a) o que ocorre com um cone circular reto equiltero e uma
esfera inscrita; b) com um cubo e uma esfera inscrita; c) com um tetraedro regular e uma
esfera inscrita; d) com um octaedro regular e uma esfera inscrita; e) investigue o que ocorre
com outros poliedros regulares e no regulares; f) investigue a verso plana desses resultados.
g) Explore outras possibilidades relativas a esse tema.
Tema 17.4.2.
Investigue uma generalizao do Problema 17.3.4, mostrando que o volume do

slido restante s depende da altura do cilindro que foi extrado da esfera (portanto no depende
do raio da esfera).
Captulo 18
Poliedros
CAPTULO EM ELABORAO
18.1 Introduo
18.2 Problemas
Problema 18.2.1.
P um poliedro cujas faces so todas quadradas. Que poliedro esse?

No se esquea de justicar cada passo, sempre fazendo desenhos para ilustrar o raciocnio.
(Sugesto: imagine que voc dispe de quadrados cortados em papelo, e comea a montar o
poliedro. Estude as possibilidades.)
Problema 18.2.2.
Um cubo de aresta a seccionado por planos que cortam, cada um, todas
as arestas concorrentes num vrtice em pontos que distam x (com x < a/2) deste vrtice.
Retirando-se as pirmides formadas, obtm-se um poliedro P . a) Desenhe esse poliedro P . b)
Calcule a quantidade de faces F , de arestas A e de vrtices V de P justicando com explicaes
(e no contando no desenho, pois no tenho como acompanhar sua contagem.) c) Verique se
o poliedro P satisfaz frmula de Euler. d) Calcule a quantidade de diagonais de P , explicando
cada passo.
Problema 18.2.3.
221
222
Captulo 19
Geometria euclidiana com coordenadas
19.1 Introduo
Estivemos estudando, em captulos anteriores, um sistema axiomtico para a Geometria Euclidiana. Acompanhamos as ideias de alguns autores, como [54], e adotamos um sistema que
uma simplicao do que foi proposto pelo matemtico George D. Birkho em 1932. Esse
sistema assume que j foi construdo o conjunto dos nmeros reais e j foram estudadas suas
propriedades bsicas. Com isso obtemos uma grande simplicao e nos aproximamos da forma
com que a Geometria estudada no ensino bsico.
Neste Captulo vamos construir um modelo para a Geometria Euclidiana, denominado Geon
metria Analtica. Consiste em considerar o conjunto R = R R, e denir algebricamente
os objetos geomtricos. um dos modelos mais utilizados da Geometria Euclidiana, pois permite o uso intensivo dos mtodos algbricos, conferindo grande facilidade na manipulao dos
objetos geomtricos e na generalizao para dimenses superiores.
O conjunto R utilizado para modelar a reta, R2 utilizado para modelar o plano e R3
o espao. Se n > 3 chamamos Rn de espao multidimensional. Neste texto, por simplicidade
de exposio, apresentamos R2 como um modelo do plano, e mesmo assim nos limitamos a
alguns aspectos desse mtodo. Para obter mais detalhes sobre esse mtodo conra observaes
do autor [37], pgina 140 e seguintes.
19.2 Um modelo algbrico da Geometria Plana

O conjunto R2 , chamado
produto cartesiano de
por
R, pode ser assim denido:
R2 = {(x, y) | x, y R}
O smbolo (x, y), denominado par ordenado, signica que estamos tomando os nmeros
reais x e y em ordem, isto , em (x, y), x o primeiro nmero (chamado abscissa ) e y
o segundo nmero (chamado ordenada ). Entendemos que os pares ordenados obedecem
seguinte condio de identidade:
(x, y) = (w, v) x = w e y = v
Para construir nosso modelo de geometria consideramos o conjunto R2 , e chamamos os seus
elementos de pontos, o que nos lembra que estamos estudando esse conjunto do ponto de vista
geomtrico. Dessa forma estamos admitindo o
223
224
Axioma fundamental da Geometria Analtica:
2
vocamente com os elementos de R .
Os pontos do plano podem ser associados biuni-
Para completar a denio de nosso modelo precisamos agora determinar que tipo de subconjuntos de pontos so as retas.
Denio 19.1.
de coecientes
Dados nmeros reais a, b e c, sendo a e b no simultaneamente nulos, a

a, b e c o subconjunto de R2
reta
Ra,b,c = {(x, y) R2 | ax + by + c = 0}
Observamos a primeira diferena entre o modelo tradicional de geometria euclidiana e o
modelo algbrico. No primeiro as retas constituem um conceito espontneo, construdo pelos
indivduos atravs de suas experincias com fenmenos naturais e iteraes sociais. No segundo
elas so denidas por uma expresso algbrica.
Todos os axiomas da Geometria Euclidiana que se referem ao plano podem ser demonstrados como teoremas em nosso modelo algbrico. Conforme j explicamos, veremos alguns dos
aspectos mais simples desse estudo.
19.3 As retas no modelo algbrico

Vamos no ocupar, nesta seo, em demonstrar o primeiro axioma da Geometria Euclidiana,
mas agora em nosso modelo algbrico. Lembramos que esse axioma o Axioma E1: Dados
dois pontos diferentes, existe exatamente uma reta que os contm.
Comeamos examinando melhor a denio de reta dada em 19.1. Notemos que a equao
ax + by + c = 0 admite multiplicidades, ou seja, o conjunto de pontos (x, y) denido por
ax + by + c = 0 o mesmo que o denido por kax + kby + kc = 0, qualquer que seja o nmero
k = 0. Isto , as retas Ra,b,c e Rka,kb,kc so as mesmas. Em particular, se a = 0, podemos
escrever x + (b/a)y + (c/a) = 0 em vez de ax + by + c = 0, e se b = 0, podemos escrever
(a/b)x + y + (c/b) = 0. Como sempre temos a = 0 ou b = 0, as retas so de pelo menos uma
das formas:
R1,b,c = {(x, y) R2 | x + by + c = 0} ou Ra,1,c = {(x, y) R2 | ax + y + c = 0}

Notemos ainda que um ponto (x, y) est em uma reta Ra,b,c quando ax+by+c = 0. Portanto
os pontos A = (x1 , y1 ) e B = (x2 , y2 ) esto na reta Ra,b,c quando
ax1 + by1 + c = 0
e ax2 + by2 + c = 0
Subtraindo as equaes acima vem a(x1 x2 ) + b(y1 y2 ) = 0, e se y1 = y2 podemos escrever
b = a
x1 x2
e c = ax1 by1
y1 y2
a = b
y1 y2
e c = ax1 by1
x1 x2
e se x1 = x2 temos
Vejamos agora o
Teorema 19.2.
225
Dois pontos diferentes quaisquer determinam uma nica reta.
Demonstrao. Sejam A = (x1 , y1 ) e B = (x2 , y2 ) pontos diferentes. Isto signica que x1 = x2

ou y1 = y2 . Se x1 = x2 , de acordo com as observaes acima, podemos tomar b = 1 e temos
2
a = xy11 y
e c = ax1 by1 . Dessa forma a reta
x2
R y1 y2 ,1, y1 y2 x1 y1
x1 x2
x1 x2
2
contm A e B . Por outro lado, se y1 = y2 , tomamos a = 1 e temos b = xy11 x
e c = x1 by1 .
y2
Dessa forma a reta
R1, x1 x2 ,x1 + x1 x2 y1
y1 y2
y1 y2
contm A e B .
Notemos que se x1 = x2 e y1 = y2 as retas obtidas so iguais, pois seus coecientes so os
2
mesmos a menos do fator k = xy11 x
, que = 0. Multiplicando os coecientes da primeira por
y2
k obtemos os coecientes da segunda. Conclumos que existe uma nica reta que contm A e
B.
Vemos assim que vale, em nosso modelo algbrico, o Axioma E1 da Geometria Euclidiana.
O Axioma E2 objeto do Problema 19.7.3, e os axiomas E3 a E5, enunciados na pgina 94 e
seguintes, dizem respeito ao espao.
Veremos na prxima seo como cam os axiomas de medida em nosso modelo algbrico.
19.4 Distncias no modelo algbrico

O primeiro axioma de medida o da distncia, enunciado na pgina 100.
Axioma E6:
A todo
par de pontos diferentes corresponde um nico nmero real positivo.
No nosso modelo algbrico obtemos

explicitamente uma distncia atravs da funo d :
R
7 R, denida por d(A, B) = (x1 x2 )2 + (y1 y2 )2 para quaisquer pontos A = (x1 , y1 )
e B = (x2 , y2 ). Temos assim a
2
Denio 19.3.
o nmero
distncia entre dois pontos
d(A, B) =
A = (x1 , y1 ) e B = (x2 , y2 ) quaisquer de R2
(x1 x2 )2 + (y1 y2 )2
(19.1)
Temos motivos para considerar essa denio de distncia, os quais comentaremos mais
adiante. Supomos que a distncia em R2 est xada com a Denio 19.3. Portanto a distncia
entre dois pontos A e B de R2 nica, dada pela expresso d(A, B) acima denida. Deixamos
para o leitor provar a
Proposio 19.4.
(ii) Se
A = B
Com as notaes da Denio 19.3, temos: (i)
ento
d(A, B) = 0 A = B ;
d(A, B) > 0.
Com isso vemos que vale, neste modelo algbrico, o Axioma E6 da Geometria Euclidiana.
Temos tambm o
Teorema 19.5. [Desigualdade triangular] Quaisquer que sejam os pontos A, B e C de R2 temos
d(A, C) d(A, B) + d(B, C),
e ocorre a igualdade se e somente se os pontos so colineares.
Deixamos para o leitor provar este resultado (Problema 19.7.5). Observamos que em nossa
abordagem algbrica da Geometria obtivemos logo de sada a desigualdade triangular! Isso
nos d uma ideia das potencialidades do mtodo algbrico. Na Geometria Euclidiana isso
s aconteceu depois de muitos axiomas e teoremas. Conra tambm o Problema 19.7.2, em
que apresentamos uma condio algbrica sobre colinearidade de trs pontos. Isso ajuda na
demonstrao do Teorema 19.5.
226
19.5 Paralelismo no modelo algbrico

Vemos nesta seo que no modelo algbrico podemos demonstrar o Axioma E16, da unicidade
da reta paralela, que arma que Em um plano, por um ponto dado fora de uma reta passa
uma nica paralela reta dada. (pgina 144).
J conhecemos a denio de retas paralelas em um plano: so duas retas que no se
interceptam. Para estudar retas paralelas e outras propriedades precisamos conhecer condies
algbricas sobre a posio relativa de duas retas. O resultado abaixo nos d essas informaes.
Teorema 19.6.
r = Ra,b,c e s = Rd,e,f podemos armar que:

a c b c

=
i) r = s se e somente se
d f = e f = 0.

a b
= 0 e nesse caso a interseo um
ii) r intercepta s se e somente se
d e

a b
= 0 e:
iii) r diferente e paralela a s se e somente se
d e
Sobre as retas

a b

d e

a c

d f
Demonstrao.

= 0

ou

b c

e f
nico ponto.

= 0

As retas dadas r = Ra,b,c e s = Rd,e,f tm o ponto A = (x, y) em comum quando
ax + by + c = 0
e dx + ey + f = 0
(19.2)
Precisamos analisar (19.2) como um sistema de duas equaes e duas incgnitas x e y . Para
isso utilizamos a nomenclatura e os resultados de [7], pg. 33 e seguintes. O sistema (19.2)
pode ter: (i) innitas solues (neste caso as retas coincidem); (ii) uma nica soluo (neste
caso as retas se interceptam em um nico ponto); (iii) nenhuma soluo (neste caso as retas
so diferentes e paralelas).
Consideremos a matriz dos coecientes A associada ao sistema e a matriz ampliada B dadas
por
)
)
(
(
a b c
a b
A=
e
B=
d e f
d e
Observamos que A matriz no nula, pois, por denio de reta, no podemos ter a e b
simultaneamente nulos. Logo, se p o posto de A, temos 1 p 2. Ainda, p = 1 quando o
determinante de A nulo. Se esse determinante no nulo, ento p = 2. De forma anloga, se
q o posto de B , temos 1 q 2, e q = 1 se forem nulos todos os seus determinantes menores

b c
a c
a b

d e =0 e d f =0 e e f =0
Caso contrrio, isto , se um deles for no nulo, temos q = 2.
Aplicando o Teorema 2.5.4 de [7], pg. 45, temos:
i) p = q = 1.
Este caso ocorre quando os trs determinantes menores acima so nulos, e, pelo
Teorema citado, temos o caso em que o sistema (19.2) tem innitas solues. Isto equivale a
r = s.
227
ii) p = 2.
Este caso ocorre quando o determinante de A = 0. Temos necessariamente q = 2.

Pelo Teorema citado, isso acontece quando o sistema (19.2) tem uma nica soluo, o que
equivale a r intercepta s em um nico ponto.
iii) p = 1 e q = 2.
Este caso ocorre quando o determinante de A = 0 e um dos outros dois

determinantes menores de B = 0. Pelo Teorema citado, isso acontece quando o sistema (19.2)
no tem soluo, o que equivale a r diferente e paralelo a s.
J temos os instrumentos sucientes para demonstrar o axioma euclidiano das paralelas:
Teorema 19.7.
Por um ponto fora de uma reta passa uma e uma nica paralela reta.
Sejam r = Ra,b,c uma reta e A = (p, q) um ponto fora dela. Assim ap+bq+c = 0.
Queremos encontrar nmeros d, e e f tais que a reta s = Rd,e,f contm A e paralela a r.
Portanto as condies sobre os nmeros d, e e f so dp + eq + f = 0 e, em virtude do Teorema
19.6, parte (iii),

a b
= 0 e a c = 0 ou b c = 0

e f
d f
d e
Demonstrao.
Assim temos que ter dp + eq + f = 0 e ae = db e (af = cd ou bf = ec). Vamos considerar

dois casos:
1
. caso :
a = 0
Sejam d = 1, e = b/a e f = p (b/a)q . Temos dp + eq + f = 0 e ae = db. Ainda, de
f = p (b/a)q vem af = ap bq . Como ap + bq + c = 0 segue que c = ap bq ou c = af
e cd = af . Portanto a reta s = Rd,e,f , com d = 1, e = b/a e f = p (b/a)q , contm A e
paralela a r.
2
. caso :
b = 0
Sejam e = 1, d = a/b e f = (a/b)p q . Temos dp + eq + f = 0 e ae = db. Ainda, de
f = (a/b)p q vem bf = ap bq . Como ap + bq + c = 0 segue que c = ap bq ou c = bf
e ce = bf . Portanto a reta s = Rd,e,f , com d = a/b, e = 1 e f = (a/b)p q , contm A e
paralela a r.
Observemos que se a = 0 e b = 0, temos dois formatos
mesma reta, pois
(a
) a( b
a
, 1, p q =
1, , p
b
b
b
a
para a reta paralela, mas so a
b
q
a
Portanto a reta paralela nica.

Conclumos assim a demonstrao do Axioma E16, da unicidade da reta paralela.
19.6 Outras propriedades do modelo algbrico

Fazemos alguns comentrios adicionais sobre o modelo algbrico da Geometria Euclidiana.
A denio de ngulos necessita dos arcos trigonomtricos como seno, cosseno e tangente. No
contexto dos nmeros reais essas funes so denidas na forma de sries de potncias. Conra,
por exemplo, [50], pgina 392, ou [72], pgina 187.
Feito isso podemos considerar a denio de medida de ngulo entre retas.
228
Denio 19.8.
entre elas
e por
Se r = Ra,b,c e s = Rd,e,f so retas que se interceptam, a

denida por
ae bd
arctg
quando ad + be = 0
ad + be
medida do ngulo
90 quando ad + be = 0
Em particular temos a
Denio 19.9.
As retas Ra,b,c e Rd,e,f se dizem perpendiculares quando ad + be = 0.
Com isso podemos provar o
Teorema 19.10.
Dados uma reta e um ponto (contido ou no na reta) passa uma e uma nica
perpendicular reta.
A demonstrao desse teorema pode ser feita de modo inteiramente anloga do Teorema
19.7, e solicitada no Problema 19.7.8.
Bastante til a expresso vetorial ou paramtrica da reta. Sejam (x1 , x2 ) e (x2 , y2 ) pontos
diferentes de uma reta r = Ra,b,c . Sejam X = x2 x1 e Y = y2 y1 . Ento aX = bY .
Queremos exprimir nesse esquema um ponto arbitrrio (x, y) dessa reta. Temos a(x x1 ) =
b(y y1 ). Seja t um nmero real tal que x x1 = tX . Ento y y1 = tY . Portanto
(x, y) = (x1 , y1 ) + t(X, Y )
Em outros termos, dados dois pontos diferentes (x1 , x2 ) e (x2 , y2 ), a reta que passa por eles
r = {(x1 , y1 ) + t(X, Y )|t R}

Observe que o segmento ligando (x1 , x2 ) e (x2 , y2 )
r = {(x1 , y1 ) + t(X, Y )|t [0, 1]}

Dados dois pontos diferentes A = (x1 , x2 ) e B = (x2 , y2 ), o par ordenado (X, Y ) = (x2
x1 , y2 y1 ) chama-se vetor de origem A e nal B . Esse conceito til em muitas situaes.
Podemos continuar desenvolvendo dessa forma a Geometria Analtica e demonstrar todos
os axiomas da Geometria Euclidiana. Algumas dessas demonstraes esto propostas nos Problemas 19.7.
A conexo entre esses dois modelos pode tambm ser evidenciada atravs da representao
da Geometria Analtica proporcionada pelo sistema de coordenadas cartesianas. No vamos
dar detalhes dessa representao, pois bastante conhecida do leitor. Apenas notamos que se
zssemos essa representao logo no incio de nossa exposio caria mais fcil perceber certas
denies, como a da distncia, dada em 19.3. Ali foi denido que a distncia
entre dois pontos
2
A = (x1 , y1 ) e B = (x2 , y2 ) quaisquer de R o nmero d(A, B) = (x1 x2 )2 + (y1 y2 )2 .
Por que usada essa frmula?
A Figura 19.1 mostra a situao em que os pontos A e B denem uma reta no paralela ao
eixo Ox e nem ao eixo Oy . Consideremos as projees dos pontos A e B nos eixos Ox e Oy .
Consideremos ainda o ponto C = (x2 , y1 ). De acordo com as concepes sobre distncia de
pontos trabalhadas na Geometria Euclidiana, a distncia entre A e C igual distncia entre
(x1 , 0) e (x2 , 0). Temos assim AC = |x1 x2 |. Do mesmo modo BC = |y1 y2 |. Considerando
229
y
B
y2
y1
.
.......
.......
.......
........
.
.
.
.
.
.
.......
.......
........
.......
.......
.......
x1
x2
Figura 19.1. Origem da frmula da distncia

agora o tringulo retngulo ABC e lembrando que na Geometria Euclidiana vale o Teorema de
Pitgoras, segue que
AB = AC 2 + BC 2 = (x1 x2 )2 + (y1 y2 )2
Nos casos em que os pontos A e B denem uma reta paralela a um dos eixos obtemos a mesma
frmula. Essas consideraes nos levam a denir a distncia entre pontos de R2 usando essa
frmula.
Um tpico muito importante do estudo algbrico da Geometria Euclidiana a demonstrao
do axioma LAL de congruncia de tringulos. Para isso podemos usar a chamada lei dos
cossenos. Dado um tringulo ABC , temos AB 2 = BC 2 + AC 2 2BC AC cos , em que
[ . Essa frmula pode ser demonstrada apenas com recursos algbricos. Para obter
= m(ACB)
mais detalhes consulte [37], pgina 144.
Vemos que a Geometria Analtica em R2 um modelo algbrico para a Geometria Euclidiana Plana. O mesmo podemos fazer com R3 e a Geometria Euclidiana Espacial. Portanto,
fazendo uma construo inteiramente algbrica de R podemos em seguida construir a Geometria Euclidiana. Isso o que na Matemtica chamado de aritmetizao da Geometria. Em
particular, do ponto de vista da Lgica, vemos que a Geometria Euclidiana to consistente
quanto o conjunto R.
19.7 Problemas
Problema 19.7.1. No texto denimos retas Ra,b,c para nmeros reais a e b no simultaneamente
nulos. O que esse conjunto se a = 0 e b = 0?
Problema 19.7.2. Prove que trs pontos diferentes A = (x1 , y1 ), B = (x2 , y2 ) e C = (x3 , y3 )
so colineares se e somente se o determinante

x1 x2 x3

y1 y2 y3 = 0

1 1 1
Em particular, o ponto (x, y) se encontra
A = (x1 , y1 ) e B = (x2 , y2 ) se e somente se

x y

x1 y1

x2 y2
na reta que passa por dois pontos diferentes
1
1
1

=0

230
Problema 19.7.3.
Demonstre que no modelo algbrico de Geometria vale a seguinte verso

do Axioma E2 para o plano: a) Toda reta contm pelo menos dois pontos. b) Existem trs
pontos no colineares.
Problema 19.7.4.
Vimos, na Geometria Euclidiana, que o comprimento de um segmento AB

no depende da ordem com a qual os pontos so considerados, isto , vale que AB = BA.
Verique que isto tambm vale no modelo algbrico provando que d(A, B) = d(B, A).
Problema 19.7.5. Prove o Teorema 19.5:
Quaisquer que sejam os pontos A, B e C de R2 temos

d(A, C) d(A, B) + d(B, C), e ocorre
a igualdade se e somente se os pontos so colineares.
(Sugesto: dena a norma ||X|| = x21 + x22 para todo X = (x1 , x2 ) R2 . Prove que ||X +
Y || ||X|| + ||Y ||. Dados A, B e C , tome X = C B e Y = B A.)
Problema 19.7.6. a)
Prove que as retas Ra,b,c e Rd,e,f so paralelas se e somente se existe

k = 0 tal que d = ka, e = kb e f = kc. b) Prove que as retas Ra,b,c e Rd,e,f so paralelas se e
somente se Rd,e,f = Ra,b,c para algum nmero c diferente de c.
Problema 19.7.7. Complete a Denio 19.9 provando que se as retas Ra,b,c e Rd,e,f satisfazem
condio ad + be = 0 ento elas se interceptam em um nico ponto.
Problema 19.7.8.
Usando um mtodo puramente algbrico demonstre que dados um ponto

A = (p, q) e uma reta r = Ra,b,c existe uma nica perpendicular a r que contm A. D uma
expresso dessa perpendicular.
Problema 19.7.9.
Na Geometria Analtica, assim como no Geometria Euclidiana, dizemos

que o ponto B est entre A e C quando d(A, C) = d(A, B) + d(B, C). Em virtude do Teorema
19.5 essa condio implica que os pontos so colineares. Sejam A = (x1 , x2 ) e C = (x2 , y2 )
pontos diferentes, e ponhamos X = x2 x1 e Y = y2 y1 . Prove que o ponto B est entre A
e C se e somente se B = (x1 , y1 ) + t(X, Y ) para algum t [0, 1].
Problema 19.7.10.
B = (x2 , y2 ).
Dena algebricamente a semirreta de origem A = (x1 , y1 ) e contendo
Problema 19.7.11.
Demonstre que a Geometria Analtica satisfaz o Axioma E7 (da rgua),

descrito na pgina 94, completando os detalhes da seguinte construo. Dada uma reta r =
Ra,b,c , escolhemos nela um ponto O = (x0 , y0 ) como origem das coordenadas. Seja (x1 , y1 ) um
segundo ponto de r. Anotaremos h = x1 x0 e k = y1 y0 . Ento ah = bk . Se (x, y)
um ponto qualquer de r, temos a(x x0 ) = b(y y0 ). Seja t tal que
x x0 = th. Ento
y y0 = tk . A um ponto qualquer (x, y) de r associamos o nmero t h2 + k 2 . Mostre que
essa associao biunvoca e que a distncia entre dois pontos quaisquer da reta r o valor
absoluto da diferena dos nmeros correspondentes.
Problema 19.7.12. Demonstre que a Geometria Analtica satisfaz o Axioma E8 (da colocao
da rgua), descrito na pgina 94.
Problema 19.7.13.
Dada uma reta Ra,b,c , dena algebricamente os semiplanos por ela determinados. Demonstre o Axioma E9, da separao do plano, dado na pgina 106.
Problema 19.7.14.
uma congruncia.
Mostre por que a Lei dos Cossenos implica que a correspondncia
LAL
231
Problema 19.7.15.
(p, q) reta Ra,b,c
Usando mtodos algbricos prove que a menor distncia do ponto A =

dada pelo valor da expresso

ap + bq + c

a2 + b2
e esse valor a distncia do ponto A ao p da perpendicular reta.
Problema 19.7.16.
Dena a rea do tringulo de vrtices A = (x1 , y1 ), B = (x2 , y2 ) e C =

(x3 , y3 ) como o valor absoluto da expresso

x 1 y1 1

1

x
y
1
2
2

2
x 3 y3 1
Prove que essa denio coincide com a frmula tradicional de rea de tringulos (metade
da base vezes a altura).
Problema
19.7.17.
Dadas
as
retas
concorrentes
R
e
R
,
sejam
h
=
a2 + b2 e k =
a,b,c
d,e,f
d2 + e2 . Mostre que as equaes das bissetrizes dos ngulos formados por elas so
k(ax + by + c) h(dx + ey + f ) = 0
Problema 19.7.18.
Dado um tringulo de vrtices A = (x1 , y1 ), B = (x2 , y2 ) e C = (x3 , y3 ),

determine algebricamente: a) seu baricentro (ponto de encontro das medianas, segmentos que
ligam cada vrtice om o ponto mdiodo lado oposto). b) seu ortocentro (ponto de encontro das
alturas); b) seu circuncentro (ponto de encontro das mediatri;zes dos lados); c) seu incentro
(ponto de encontro das bissetrizes internas). d) Prove que os trs primeiros pontos esto na
mesma reta e encontre a equao dessa reta (chamada reta de Euler). Se o tringulo for
equiltero esses pontos coincidem e a reta no determinada.

Tema 19.8.1.
Consideremos o conjunto Z2 = {0, 1}, formado apenas pelos nmeros 0 e 1,

munido das seguintes operaes de adio e multiplicao, diferentes das operaes usuais:
0+0=0 0+1=1 1+0=1 1+1=0

00=0 01=0 10=0 11=1
Podemos compreender essa estrutura como uma representao do comportamento dos nmeros pares e mpares, com 0 representando os pares e 1, os mpares. Por exemplo, mpar mais
mpar par, e isso est associado ao fato de que estamos considerando 1 + 1 = 0.
a) Investigue a Geometria modelada pelo produto cartesiano Z2 Z2 . Estude quais so as suas
retas e suas propriedades.
b) Chamaremos de ter os nmeros inteiros que tm resto zero quando divididos por 3, de
nter os que tm resto 1, e alter os que tm resto 2. Dena um conjunto Z3 = {0, 1, 2} com
operaes de adio e multiplicao que reita o comportamento recproco dessas classes de
nmeros. Estude a Geometria representada por Z3 Z3 .
c) Investigue generalizaes dessas ideias para conjuntos Zn = {0, 1, . . . , n 1}.
232
Tema 19.8.2. Considerando o conjunto R3 como um modelo de Geometria Euclidiana Espacial,
d denies de retas e planos neste conjunto. Demonstre os primeiros cinco axiomas da

Geometria Euclidiana, enunciados na Seo 9.4, pgina 93.
Tema 19.8.3. Estude as origens histricas da Geometria Analtica, e o papel que nela tiveram
Descartes e Fermat. Em particular, Descartes se esforou para convencer seus contemporneos
de que ele havia descoberto um mtodo muito importante. Procure saber como ele fez isso.
Tema 19.8.4. Colecione problemas de Geometria que permitam comparar o mtodo tradicional
e o algbrico. Por exemplo, o estudo das posies relativas entre reta e circunferncia, feito no
Teorema 11.3, pgina 166. Como ca sua soluo atravs do mtodo das coordenadas?
Tema 19.8.5.
Se o modelo algbrico de geometria mais potente que o tradicional, ento por

que ainda ensinamos este ltimo?
Captulo 20
Isometrias do plano
20.1 Introduo
Comentamos no Captulo 9, Seo 9.12, pgina 115, como importante, no estudo da Geometria, o conceito de congruncia de guras. Alm de fornecer mtodos para a investigao
de propriedades geomtricas, esse conceito traz a ideia de classicar as guras e determinar as
propriedades comuns s guras de uma mesma classe.
Vimos que a congruncia entre tringulos exerce um papel fundamental, e sua denio
tradicional estabelece que dois tringulos so congruentes quando existe uma correspondncia entre os seis pares de elementos desses tringulos (trs lados e trs ngulos), e os pares
correspondentes tm a mesma medida. Esse o denominado conceito esttico de congruncia.
Essa denio resolve bem essa questo no mbito dos mtodos da Geometria de Posio,
descrita no Captulo 9. Entretanto observamos que essa tcnica no coincide com a noo
espontnea de congruncia, que envolve movimento. De acordo com essa noo, uma gura
congruente a outra quando podemos mover uma delas e faz-la coincidir com a outra.
Veremos no presente Captulo que a ideia de movimento em um plano pode ser operacionalizada pelas transformaes do plano. Estudaremos, em particular, um tipo especial de
transformao, a isometria, que pode ser vista como um movimento no plano que transporta
um tringulo qualquer sobre outro a ele congruente.
20.2 Transformaes do plano

Comeamos com a
Denio 20.1.
transporta
Uma transformao do plano uma funo T : R2 7 R2 . Dizemos que T

a gura F do plano sobre a gura G quando T (F) = G .
Vejamos alguns exemplos
Exemplo 20.2.
A funo T : R2 7 R2 denida por T (x, y) = (2x, 2y) um exemplo de

transformao do plano. Ela tem as seguintes particularidades: uma bijeo do plano sobre o
plano, transporta qualquer segmento AB sobre o segmento T (A)T (B), sendo que o comprimento
deste o dobro do primeiro. Em particular T transporta um tringulo em outro tringulo
semelhante ao primeiro, e a razo de semelhana 2. Conra a Figura 20.1, em que vemos
ilustrada a ao de T sobre um tringulo. Observe que podemos usar notao matricial para
expressar T :
(
)( )
2 0
x
T (x, y) =
0 2
y
233
234
..........
.......... ....
..........
.
..........
.
.
.
.
.
.
.
.
...
.
...........
...
.....
..
.....
.
.....
...
.....
...
.....
..
.....
..... ....
..... ..
.......
.
..........
.......... ....
..........
..........
...
..........
.
.
.
.
.
.
.
.
.
...
...
..
..........
..
..........
.
.
.
.
.
.
.
.
.
.
.
.
..........
...
.............
...
.....
..
.....
..
.....
.
.
.....
.....
...
.....
...
.....
...
.....
..
.....
.
.....
...
.....
.....
...
.....
...
.....
..
.
.....
.....
..
..... ....
..... .
........
.
Figura 20.1. Ao de T : R2 7 R2 , T (x, y) = (2x, 2y) sobre um tringulo
Denio 20.3.
Uma transformao linear do plano uma funo T : R2 7 R2 da forma

T (x, y) = (ax + by, cx + dy), em que a, b, c e d so nmeros reais. Em outros termos,
(
)( )
a b
x
T (x, y) =
c d
y
Exemplo 20.4.
Sejam k e l nmeros reais no simultaneamente nulos. A funo T : R2 7 R2

denida por T (x, y) = (x + k, y + l) um exemplo de transformao do plano, denominada
translao.
Exemplo 20.5.
A funo T : R2 7 R2 denida por T (x, y) = (x, 0) um exemplo de transformao do plano, denominada projeo ortogonal sobre o eixo Ox.
Exemplo 20.6.
Seja r uma reta. Se (x, y) um ponto fora de r, seu simtrico em relao a r

o nico ponto (x, y) tal que r a mediatriz do segmento de extremos (x, y) e (x, y). Por outro
lado, se (x, y) r dizemos que seu simtrico em relao a r ele mesmo. Denimos agora a
funo Tr : R2 7 R2 tal que Tr (x, y) o simtrico de (x, y) em relao a r. Esta transformao
do plano denominada reexo em relao a r. A reta r denominada reta de simetria da
reexo.
Exemplo 20.7. Fixemos um ngulo de medida = 0.
A rotao de ngulo em relao a (0, 0)

a transformao do plano T : R2 7 R2 denida da seguinte forma. Primeiro, T (0, 0) = (0, 0).
Se (x, y) = (0, 0), consideramos o segmento (0, 0)(x, y), e o rotacionamos em um ngulo de valor
|| no sentido anti-horrio se > 0, e no sentido horrio se < 0. Obtemos dessa forma um
segmento (0, 0)(x, y). Denimos ento T (x, y) = (x, y).
T (x, y)
...
.....
.....
.....
.....
.
.
.
...
.
.....
.......
.....
.......
.....
........
.......
.
.....
.
.
.
.
.
.
.
.
..
....
..... .........
..... .......
.... ........
............
.........
(x, y)
x
Figura 20.2. Ao de uma rotao de ngulo > 0 sobre um ponto
Para calcular a expresso de T em coordenadas, xemos (x, y) = (0, 0), e seja o ngulo
determinado pelo segmento (0, 0)(x, y) e o semieixo positivo Ox, no sentido anti-horrio. Ento
Isometrias do plano
235
+ o ngulo determinado pelo segmento (0, 0)T (x, y) e o semieixo positivo Ox (conra
ilustrao na Figura
20.2 para o caso em que > 0). Usando o Teorema de Pitgoras e
escrevendo d = x2 + y 2 temos
(x, y) = (d cos , d sen )
e
T (x, y) = (d cos( + ), d sen( + ))

Usando as frmulas cos( + ) = cos cos sen sen e sen( + ) = cos sen + sen cos
vem
T (x, y) = (x cos y sen , x sen + y cos )
Observe que T uma transformao linear, pois pode ser escrita na forma
(
)( )
cos sen
x
T (x, y) =
sen cos
y
20.3 Isometrias do plano

Conforme j comentamos, estamos interessados, nesta exposio de nosso modelo algbrico
de Geometria, em estudar movimentos do plano que transportam um tringulo sobre outro
congruente. Naturalmente o principal requisito para esse tipo de transformao que ela
deve transportar um segmento sobre outro segmento de mesmo comprimento. Veremos que
suciente denir
Denio 20.8.
Uma transformao do plano T : R2 7 R2 chama-se isometria euclidiana ou,

simplesmente, isometria, quando d(T (A), T (B)) = d(A, B) para quaisquer pontos A e B do
plano.
Em outros termos, as isometrias so transformaes que preservam distncias. Em particular, aqui estamos pensando na distncia euclidiana d, denida em 19.3, pgina 225.
Vejamos, antes de mais nada, exemplos de isometrias. Uma isometria trivial a identidade
Id : R2 7 R2 , dada por Id(x, y) = (x, y). Outros exemplos so:
Exemplo 20.9.
Toda translao T : R2 7 R2 , dada por T (x, y) = (x + k, y + l), denida no

Exemplo 20.4, uma isometria. De fato, se A = (x1 , y1 ) e B = (x2 , y2 ) so pontos quaisquer
do plano, temos
d(T (A), T (B)) = (x1 + k (x2 + k))2 + (y1 + l (y2 + l))2 =
= (x1 x2 )2 + (y1 y2 )2 = d(A, B)
Exemplo 20.10.
Toda reexo Tr : R2 7 R2 em relao a uma reta r, conforme denida no

Exemplo 20.6, uma isometria. A demonstrao deste fato est solicitada no Problema 20.8.7.
Exemplo 20.11.
Toda rotao T : R2 7 R2 de ngulo em relao a (0, 0), denida no

Exemplo 20.7, uma isometria. Isso pode ser vericado usando-se sua expresso em coordenadas (a demonstrao deste fato est solicitada no Problema 20.8.8). Esse fato tambm
consequncia do Teorema 20.13 demonstrado logo abaixo.
No Exemplo 20.7 denimos rotao de ngulo em relao a (0, 0), mas podemos denir
rotao de ngulo em relao a um ponto qualquer C do plano.
236
Denio 20.12.
Sejam C um ponto de R2 e = 0 um ngulo. A rotao de ngulo em

relao a C a transformao do plano R = TC, : R2 R2 denida da seguinte forma:
R(C) = C , e, se P = C um ponto qualquer de R2 , R(P ) o ponto tal que CR(P ) = CP e a
medida do ngulo P \
CR(P ) ||, medida contada a partir da semirreta CP no sentido horrio
se > 0 e no sentido anti-horrio se < 0.
Temos
Teorema 20.13.
Toda rotao uma isometria.
Seja R a rotao de centro C e ngulo . Sejam P e Q dois pontos quaisquer

do plano. Para provar que R uma isometria devemos vericar que P Q = R(P )R(Q).
Se P = C e Q = C , temos R(P )R(Q) = CR(Q) = CQ = P Q, por denio de rotao. O
mesmo ocorre se P = C e Q = C .
Suponhamos P = C e Q = C . Se C , P e Q forem colineares, ento C , R(P ) e R(Q) so
colineares, e suas posies relativas na reta so respectivamente as mesmas que as daqueles trs
pontos. Como CP = CR(P ) e CQ = CR(Q), ento R(P )R(Q) = P Q.
Suponhamos que C , P e Q no sejam colineares. Temos uma situao como a que est
ilustrada na Figura 20.3. Os tringulos P CQ e R(P )CR(Q) so congruentes pelo caso LAL,
pois CP = CR(P ), CQ = CR(Q) e P[
CQ
)CR(Q). Logo R(P )R(Q) = P Q, e R uma
= R(P\
isometria.
Demonstrao.
y
R(Q)
.
......
... .
... ..
... ....
.
.
.. .
... ....
.
...
...
...
...
.
..
.
..
..
.
.
.
.
...
...
..
...
...
..
...
..
...
.
.
.
.
..
.....
...
........
...
........
...
........
... ...............
.
.
. ...
... ........
.............................................................
............................................................................
..
.........
.......
.........
.......
.........
.......
.......
.........
.
.
.
.
.
.
.
.........
....................
R(P )
P
x
O
Figura 20.3. Ilustrao do Teorema 20.13.
20.4 Propriedades geomtricas das isometrias

Estamos interessados em compreender como as isometrias transformam as guras. A gura mais
elementar (depois do ponto) o segmento. Por denio, toda isometria preserva a distncia
de pontos. Portanto, dados A e B , temos d(T (A), T (B)) = d(A, B). Mas isso no signica
de imediato que o segmento AB transportado no segmento T (A)T (B). A imagem de AB
por T poderia ser uma curva. Mas podemos esperar que segmento vai em segmento, pois todo
X AB tem suas distncias at A e at B preservadas.
Vamos investigar essas questes comeando com a
Proposio 20.14.
Toda isometria
T : R2 7 R2
injetiva.
Isometrias do plano
237
uma consequncia imediata da denio de isometria. Se A = B ento

d(T (A), T (B)) = d(A, B) > 0, portanto T (A) = T (B).
Demonstrao.
Proposio 20.15.
quer. Ento
Seja
transporta
T : R2 7 R2 uma isometria e sejam A e B pontos diferentes

o segmento AB sobrejetivamente no segmento T (A)T (B).
quais-
No custa observar inicialmente que T (A)T (B) realmente um segmento, pois

T (A) = T (B).
Provemos primeiro que se X um ponto do segmento AB ento T (X) um ponto do
segmento T (A)T (B). Como X est em AB temos d(A, X) + d(X, B) = d(A, B), em virtude
da Denio 9.9, pgina 101. Em virtude de T ser uma isometria temos
Demonstrao.
d(T (A), T (X)) + d(T (X), T (B)) = d(A, X) + d(X, B) =

= d(A, B) = d(T (A), T (B))
Portanto T (X) um ponto do segmento T (A)T (B). Provamos assim que a imagem T (AB) do
segmento AB por T est contida em T (A)T (B).
Seja agora Y um ponto do interior do segmento T (A)T (B). Pelo Axioma da colocao da
rgua aplicado reta T (A)T (B) podemos supor que a coordenada de T (A) zero, a de T (B)
z > 0 e a de Y y . Como Y est entre T (A) e T (B) ento 0 < y < z . Pelo mesmo Axioma
da colocao da rgua, mas agora aplicado reta AB podemos supor que a coordenada de A
zero e a de B b > 0. Como T uma isometria temos b = z . Logo 0 < y < b, e existe no
segmento AB um ponto X de coordenada y . Como T uma isometria, a coordenada de T (X)
na reta T (A)T (B) y , portanto T (X) = Y . Isto prova a armao.

Na demonstrao da Proposio acima vimos que se A X B ento T (A) T (X) T (B),
e as distncias so preservadas. Podemos ver assim que vale o
Esclio 20.16.
Seja
T : R2 7 R2
uma isometria. Ento
transporta pontos colineares em
pontos colineares, preservando sua ordem na reta e suas distncias.
Corolrio 20.17.
A imagem de trs pontos no colineares por uma isometria
T : R2 7 R2
so trs pontos no colineares.
Sejam A, B e C trs pontos no colineares. Se T (A), T (B) e T (C) fossem colineares, com T (B) entre T (A) e T (C), por exemplo, teramos d(T (A), T (B)) + d(T (B), T (C)) =
d(T (A), T (C)). Mas, pela desigualdade triangular, temos d(A, B) + d(B, C) > d(A, C), contrariando a denio de isometria.
Demonstrao.
Vejamos agora o
Proposio 20.18.
Seja
T : R2 7 R2
uma isometria. Ento
transporta reta sobre reta.
Seja r uma reta, e sejam A e B pontos de r. Seja s a reta determinada por

T (A) e T (B). Armamos que T transporta r sobre s.
Vamos provar primeiro que T transporta r em s. Consideremos um ponto arbitrrio X de
r. Como A, B e X so colineares, segue que T (A), T (B) e T (X) so colineares. Dessa forma
T (X) est em s, e temos T (r) s.
Vamos provar agora que T transporta r sobrejetivamente em s. Para provar isso, colocamos
em r um sistema de coordenadas de forma que a coordenada de A seja 0 e a de B seja b > 0.
De forma anloga, colocamos em s um sistema de coordenadas de forma que a coordenada de
Demonstrao.
238
T (A) seja 0. Observe que, pelo fato de ser T uma isometria, a coordenada de T (B) tem que
ser b ou b; escolhemos que seja b.
Consideremos um ponto arbitrrio Y de s, e seja y sua coordenada. Podemos supor Y =
T (A) e Y = T (B), pois esses pontos j esto na imagem de T . Logo y = 0 e y = b. Seja X
o ponto de r de coordenada y . Ento X = A e X = B . Armamos que T (X) tambm tem
coordenada y . De fato, se AX B ou AB X , temos respectivamente T (A)T (X)T (B)
e T (A) T (B) T (X), e a coordenada c de T (X) positiva. Ainda, c = d(T (X), T (A)) =
d(X, A) = y , e a coordenada de T (X) y . Se X A B , a coordenada c de T (X) negativa,
e c = d(T (X), T (A)) = d(X, A) = y , e novamente a coordenada de T (X) y . Ento
T (X) = Y , e terminamos.
O estudante pode observar que a demonstrao da Proposio acima contm a do
Esclio 20.19.
Toda isometria
T : R2 7 R2
transporta semirreta sobre semirreta.
Sendo assim temos o
Corolrio 20.20.
A imagem de um ngulo por uma isometria
T : R2 7 R2
um ngulo de
mesma medida.
[ um ngulo. Como A, B e C so
Seja T : R2 7 R2 uma isometria e BAC
\
no colineares, T (A), T (B) e T (V ) tambm no so colineares, de modo que T (B)T
(A)T (C)

um ngulo. Ainda, as semirretas BA e BC so levadas, respectivamente, sobre as semirretas

\
[ por T o ngulo T (B)T
T (B)T (A) e T (B)T (C). Portanto a imagem de BAC
(A)T (C). Notemos agora que os tringulos ABC e T (B)T (A)T (C) so congruentes pelo caso LLL pois, sendo
\
[ e T (B)T
T uma isometria, preserva a medida dos lados. Segue que os ngulos BAC
(A)T (C)
tm a mesma medida.
Demonstrao.
Vamos provar agora o
Proposio 20.21.
Toda isometria
T : R2 R2
sobrejetiva (sua imagem
R2 ).
Sejam T : R2 R2 uma isometria e Q um ponto de R2 . Queremos mostrar

que existe P r tal que T (P ) = Q.
Sejam A e B pontos diferentes de R2 . Sabemos que toda isometria injetiva, assim T (A) =
T (B). Se T (A) = Q ou T (B) = Q, terminamos. Suponhamos T (A) = Q e T (B) = Q.
Ponhamos T (A) = A e T (B) = B . Existem apenas duas possibilidades para os pontos A , B
e Q: eles so colineares ou no.
Suponhamos primeiro que A , B e Q sejam colineares. Ento esto em uma reta s, que
imagem da reta r que contm A e B . Em virtude da Proposio 20.18 existe P r tal que
T (P ) = Q.
Suponhamos agora que A , B e Q no sejam colineares, e consideremos o tringulo QA B .
Construmos no lado AB os tringulos P AB e RAB congruentes a QA B , com P e R em

semiplanos opostos em relao reta AB . As semirretas AP e AR so levadas em semirretas
diferentes com origem A , pois T injetiva, P = R e AP = AR. Alm disso elas formam
B com a semirreta A B . Logo, como T preserva distncia,

\
ngulos de mesma medida que QA
T (P ) = Q ou T (R) = Q.
Demonstrao.
Com essa propriedade temos a
Proposio 20.22.
uma isometria.
Toda isometria invertvel, e a inversa de qualquer isometria tambm
Isometrias do plano
239
Seja T : R2 R2 uma isometria. Como T bijetiva, ela tem uma transformao inversa T 1 : R2 R2 . Provemos que T 1 tambm preserva distncia. Sejam A e B
pontos de R2 . Ento d(T 1 (A), T 1 (B)) = d(T (T 1 (A), T (T 1 (B)) = d(A, B). Logo T 1
uma isometria.
Demonstrao.
Aproveitamos a oportunidade para demonstrar a
Proposio 20.23.
A composta de duas isometrias tambm uma isometria.
Sejam T, S : R2 R2 isometrias, e A e B pontos de R2 . Temos d((T

S)(A), (T S)(B)) = d(T (S(A)), T (S(B)) = d(S(A), S(B)) = d(A, B). Portanto a composta
de isometrias uma isometria.
Demonstrao.
Na Denio 20.12 vimos o que uma rotao TC, : R2 R2 de ngulo em relao a

um ponto C , e no Teorema 20.13 vimos uma demonstrao geomtrica de que essas rotaes
so isometrias. Essa demonstrao pode ser feita de outra forma. Sabemos que a rotao
T : R2 R2 de ngulo em relao origem uma isometria. Seja T : R2 R2 a translao
que leva a origem a C . Ento TC, = T T T 1 . Usando as Proposies 20.22 e 20.23 vemos
que TC, uma isometria.
Pelas propriedades geomtricas das isometrias, estudadas acima, vemos que a condio
de preservar distncia bastante restritiva. Podemos prever que existem poucos tipos de
isometrias. Uma forma de fazer este estudo considerar seus pontos xos. Veremos que a
quantidade e o posicionamento dos pontos xos de uma isometria determinam seu tipo.
Denio 20.24.
Seja T : R2 R2 uma transformao. Chamamos de ponto

ponto P tal que T (P ) = P .
xo
de T a todo
Para estudar os pontos xos de uma isometria comearemos com a seguinte propriedade:
Proposio 20.25.
reta que passa por
A e B so pontos
B so xos.
Se
e
xos de uma isometria
T,
ento todos os pontos da
Sabemos que T transforma a reta r que passa por A e B na reta que passa por
T (A) e T (B). Uma vez que A e B so pontos xos, a reta r levada sobre si mesma. Seja
P um ponto qualquer de r. Suponha que P est entre A e B . Sabemos que T (P ) est entre
A e B . Como AP = T (A)T (P ) = AT (P ) e como P e T (P ) esto na mesma semirreta com
origem A, so o mesmo ponto, isto , T (P ) = P . A demonstrao para P em outras posies
anloga.
Demonstrao.
Proposio 20.26. Sejam S e T

em
tais que
S(A) = T (A)
isometrias e
S(B) = T (B)
uma reta do plano. Se existirem pontos
ento
S(X) = T (X)
para todo
X r.
A = B
Com efeito, nesse caso a isometria R = T 1 S tal que R(A) = A e R(B) = B .

Pela Proposio 20.25, todo ponto de r xado por R, ou seja S = T em r.
Demonstrao.
Lembremos que a transformao Id : R2 R2 denida por Id(P ) = P para todo P R2

chama-se identidade. Portanto a identidade do plano uma isometria que xa todos os pontos.
Veremos que isometrias diferentes podem xar, simultaneamente, no mximo, os pontos de
uma reta. Para ver isso faamos primeiro o
Teorema 20.27.
Se uma isometria
xa trs pontos no colineares, ento
a identidade.
240
Sejam A, B e C trs pontos xos no colineares da isometria T . Do teorema

anterior conclumos que T xa as retas que contm AB , AC e BC . Seja P um ponto fora
dessas retas e seja Q um ponto entre A e B (diferente de A e B ). A reta r determinada por P e
Q intercepta um dos outros dois lados do tringulo ABC em um ponto R (Teorema de Pasch,
pgina 109). Logo r tem dois pontos xados por T , a saber, Q e R. Pelo teorema anterior T
xa a reta r e portanto xa o ponto P. Uma vez que P foi escolhido arbitrariamente, T xa
todos os pontos do plano, ou seja, T a identidade.
Demonstrao.
Teorema 20.28. Se as isometrias T
coincidem em trs pontos no colineares, ento
T = S.
Vimos que toda isometria uma bijeo do plano, logo tem inversa, e sua
inversa uma isometria. Sabemos tambm que a composta de duas isometrias uma isometria.
Logo T S 1 uma isometria.
Sejam ento A, B e C os trs pontos no colineares xados por T e S simultaneamente.
Notemos que S 1 tambm xa esses trs pontos. Logo T S 1 xa esses trs pontos. Pelo
Teorema 20.27 T S 1 = Id. Conclumos que T = S .
Demonstrao.
Com esses resultados podemos classicar as isometrias em quatro tipos diferentes:

i) a identidade, que xa todos os pontos;
ii) as isometrias com dois pontos xos (e, portanto, com uma reta xa)
iii) as isometrias com um ponto xo;
iv) as isometrias com nenhum ponto xo.
J temos exemplos de todos esses casos. As reexes so isometrias que tm um reta de
pontos xos, e apenas eles. As rotaes so isometrias com um nico ponto xo. As translaes
so isometrias sem pontos xos.
20.5 Isometrias e congruncia de tringulos

Observamos no incio deste Captulo que estamos interessados em ver como transformaes do
plano podem movimentar tringulos sobre tringulos congruentes. Estamos interessados nas
duas questes seguintes:
Questo 1 A imagem de um tringulo por uma isometria um tringulo congruente ao primeiro?
Questo 2 Se dois tringulos so congruentes, existe uma isometria que transporta um sobre
o outro?
A Questo 1 praticamente j foi respondida na Seo anterior. Temos
Proposio 20.29. Sejam T

T (ABC)
de
ABC
por
: R2 7 R2 uma isometria e ABC um tringulo. Ento a imagem

tringulo T (A)T (B)T (C), que congruente a ABC .
Como A, B e C no so colineares vimos, na Seo anterior, que T (A), T (B)

e T (C) no so colineares, e formam um tringulo. Vimos tambm que T (AB) o segmento
T (A)T (B), T (AC) o segmento T (A)T (C) e T (BC) o segmento T (B)T (C). Logo a imagem
T (ABC) de ABC o tringulo T (A)T (B)T (C). Como T preserva distncias, esses tringulos
so congruentes pelo caso LLL.
Demonstrao.
Respondemos agora a Questo 2:
Isometrias do plano
ABC
= DEF tringulos congruentes. Existe uma isometria T
T (A) = D, T (B) = E e T (C) = F . Portanto T transporta ABC sobre DEF .
Teorema 20.30.
modo que
241
Sejam
de
Construmos no plano um sistema de coordenadas cartesianas de modo que

A = (0, 0) e B = (b, 0), com b > 0. Conra a Figura 20.4. Seja TAD a translao do plano
tal que TAD (A) = D. Essa transformao uma isometria e transporta o semieixo positivo
de Ox no semieixo positivo Ox e o semieixo positivo de Oy no semieixo positivo Oy . Sejam
A = TAD (A), B = TAD (B) e C = TAD (C). Portanto A = D
Seja a medida do ngulo entre semieixo positivo de Ox e a semirreta DE , medido no

sentido antihorrio. Consideremos a rotao T de ngulo em torno da origem A . Como T

uma isometria temos T (B ) = E e T (C ) = F , pois o ngulo entre DC e DF tambm mede
.
Para encerrar a demonstrao da armao basta considerar a isometria T = T TAD .
Demonstrao.
y
y
F...........
C
.....
... .......
... .........
.....
..
.
.....
...
.....
.....
...
.....
..
.
.....
..
.....
.
.....
..
.
.....
..
.
.....
..
.
.
..........................................................................
. ...
... .............
.......
...
.......
...
.......
.......
....
.......
...
.......
.......
...
........
...
............
.
.
.
.
.
.
.
...
........
.
.
.
.
.
.
.
.
.
.
.
...
.......
....................
.
............. .....
... .....................
... .. ...............
..........
.... ....
............
.. ..
..... .......
..... .......
... ....
..... ........
.... ...
..... ......
.. ......
... ...
................
......
............ .........
.
.
.
.
.
.
.
.
.
.
.......
.
..
......
................................................................................................
A = D
Figura 20.4. Construo de uma isometria que transporta um tringulo sobre outro congruente
20.6 Isometrias em coordenadas

No difcil obter uma expresso em coordenadas para qualquer isometria. Isto dado pelo
Teorema 20.31.
tais que
Seja
m +n =1
T : R2 7 R2
uma isometria. Ento existem nmeros reais
k , l, m
T (x, y) = (mx ny + k, nx + my + l)
(20.1)
ou
T (x, y) = (mx + ny + k, nx my + l)
(20.2)
Demonstrao. Seja OXY o sistema cartesiano de coordenadas (x, y). Os eixos numricos OX
e OY so perpendiculares e se encontram no ponto O = (0, 0), e seus semieixos positivos so

OX e OY , respectivamente. A isometria T transporta essas retas em um sistema cartesiano

O X Y , pois T transporta reta em reta e conserva a medida do ngulo. As retas O X e O Y
so perpendiculares e se encontram no ponto O = T (0, 0). Consideremos em O X um sistema
de coordenadas de forma que o semieixo positivo O X seja imagem por T de OX . Feita essa
escolha, a imagem O Y do semieixo positivo OY pode ser qualquer uma das semirretas de
T (OY ) com origem em O . Temos assim duas opes.
Suponhamos que o ngulo do semieixo positivo OX ao semieixo positivo OX , medido no
sentido anti-horrio, seja . Ento o ngulo do semi-eixo positivo OY ao semi-eixo positivo
O Y , tambm medido no sentido anti-horrio, pode ser ou 180 + .
242
Vamos examinar separadamente cada um desses casos. Escrevemos T (0, 0) = (k, l).

Caso 1. O ngulo do semieixo positivo OY ao semieixo positivo O Y , medido no sentido
anti-horrio, .
Nesse caso a isometria T uma mudana de coordenadas que leva o sistema OXY , de
coordenadas (x, y), no sistema O X Y , de coordenadas (x , y ), preservando a orientao. O
ponto P = (x, y) levado no ponto P = (x , y ) por T . Conra ilustrao na Figura 20.5.
Y
Y ............
.
...
..
...
...... ...
...
..
...
... ... .....
..
.....
...
...
...
..
...
...
...
...
..
...
...
...
...
..
.......
...
.......
...
...
........
...
..
.......
.
.
.
.
.
.
.
...
........
...
...
.......
..
...
........
...
.......
...
...
.......
.
.
.
.
.
.
.
.
...
.......
...
... ..............
..........
....
...
.......
...
.......
.
.
.
.
...
.
.
.. ................
.
..........
....... ....
...
.......
...
.
Figura 20.5. Ao de uma isometria que preserva orientao

Nesse caso, as equaes da mudana de coordenadas, segundo demonstrado em [49], pgina
117 e seguintes, so
x = x cos y sen + k
e y = x sen + y cos + l
Chamando cos = m e sen = n obtemos a expresso (20.1), com m2 + n2 = 1.

Caso 2. O ngulo do semieixo positivo OY ao semieixo positivo O Y , medido no sentido
anti-horrio, 180 + .
Nesse caso a isometria T uma mudana de coordenadas que leva o sistema OXY , de
coordenadas (x, y), no sistema O X Y , de coordenadas (x , y ), invertendo a orientao. O
ponto P = (x, y) levado no ponto P = (x , y ) por T . Conra ilustrao na Figura 20.6.
Nesse caso, as equaes da mudana de coordenadas, segundo demonstrado em [49], pgina
117 e seguintes, so
x = x cos + y sen + k
e y = x sen y cos + l
Chamando cos = m e sen = n obtemos a expresso (20.2), com m2 + n2 = 1.
Da demonstrao do Teorema 20.31 vemos que existem dois tipos de isometrias: as que
preservam orientao e as que invertem. As primeiras so da forma (20.1), e as outras da forma
(20.2). Est claro que as translaes e as rotaes preservam a orientao. No Problema 20.8.27
solicitado do estudante vericar que as reexes invertem a orientao.
Isometrias do plano
243
Y
P
...
.......
.......
........
........
.
.
.
.
.
.
..
.......
........
.......
.......
.......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
......
......
........
..... .
.......
...
...
.........
...
...
....... ..
... ................
....
...
........ ...
..
.....
.........
...
....... ....
...
...
... .....
..
...
...
....
...
...
.....
...
..
.......
...........................
...
...
..
...
...
...
...
..
...
...
...
...
..
...
...
...
..
...
...
...
...
..
...
...
.
.
.
.
. ..
...
.
.
.
.
.
... .. ..
.
....
...
...
...
...
...
...
...
.
180 +
Figura 20.6. Ao de uma isometria que no preserva orientao
20.7 Isometrias e o modelo algbrico

Comentamos no Captulo 19 que a Geometria Analtica Plana constitui um modelo algbrico
da Geometria Euclidiana Plana. Nesse contexto podemos denir as isometrias atravs de sua
expresso em coordenadas e demonstrar suas propriedades de forma independente dos axiomas
da Geometria Euclidiana. Nesse contexto podemos fazer uma denio algbrica de congruncia
da seguinte forma:
Denio 20.32.
Os subconjuntos F e G do plano se dizem

isometria T : R2 7 R2 tal que T (F) = G .
congruentes
quando existe uma
Com essa denio vemos que as isometrias realizam a noo espontnea de congruncia entre tringulos, que consiste em considerar congruentes tringulos que podem ser movimentados
um sobre o outro, coincidindo como conjunto de pontos.
20.8 Problemas
Problema 20.8.1.
Estude a transformao do plano T (x, y) = (x, y/2). Observe que ela tem
o efeito de reduzir verticalmente qualquer gura do plano. Como exemplo, determine a imagem
por T da circunferncia C = {(x, y)|x2 + y 2 = 1}. Mostre que T injetiva e sobrejetiva. D a
expresso transformao da inversa de T .
Problema 20.8.2.
Dada a transformao linear T : R2 7 R2 denida por T (x, y) = (x +

2y, 2x + y), descreva a imagem por T da circunferncia x2 + y 2 = 1.
Problema 20.8.3.
Verique todas as armaes do Exemplo 20.2 usando diretamente a expresso de T em coordenadas.
Problema 20.8.4. Estude as propriedades das translaes, denidas no Exemplo 20.4. Em

particular: a) prove que toda translao leva reta sobre reta, e calcule qual a reta que
imagem da reta Ra,b,c ; b) prove, usando a denio 19.8, que toda translao conserva a
medida de ngulos.
244
Problema 20.8.5.
Considere a reta r = Ra,1,0 . Determine a expresso em coordenadas da

transformao do plano T : R2 7 R2 denominada projeo ortogonal sobre r, isto , para
qualquer (x, y) R2 , T (x, y) o p da projeo de (x, y) sobre r.
Problema 20.8.6.
Considere a reta r = Ra,1,0 . Determine a expresso em coordenadas da

reexo em relao a essa reta.
Problema 20.8.7.
Mostre que reexo Tr : R2 7 R2 em relao a uma reta r, conforme

denida no Exemplo 20.6, uma isometria. Sugesto: tome um reta r e pontos quaisquer A
e B do plano. Sejam A e B os pontos simtricos respectivamente de A e B em relao
reta r. Prove que A B = AB usando congruncias de tringulos. Considere os vrios casos
necessrios, como A r, a
/ r, o mesmo para B , e ainda se A e B esto do mesmo lado de r,
ou no.
Problema 20.8.8.
Prove que toda rotao T : R2 7 R2 de ngulo em relao a (0, 0),

denida no Exemplo 20.7, uma isometria, usando sua expresso em coordenadas.
Problema 20.8.9.
Vimos, no Exemplo 20.7, que toda rotao T : R2 7 R2 de ngulo em

relao a (0, 0), uma transformao linear e uma isometria. Considere agora uma transformao linear qualquer do plano T : R2 7 R2 , da forma T (x, y) = (ax + by, cx + dy), em que a,
b, c e d so nmeros reais. a) Encontre condies sobre os nmeros a, b, c e d para que T seja
uma isometria. b) Investigue se existem transformaes lineares que sejam isometrias mas no
so rotaes.
Problema
20.8.10.
(
)
xy x+y
,
2
2
Prove que a transformao do plano T : R2 R2 denida por T (x, y) =
uma isometria. Ache a imagem da reta diagonal {(x, y)|x = y} por T .
Problema 20.8.11.
Prove que toda isometria transporta retas paralelas em retas paralelas.
Problema 20.8.12. Sejam T
: R2 7 R2 uma isometria e r uma reta. Mostre que T transporta

semiplano determinado por r sobre semiplano determinado por T (r).
Problema 20.8.13.
Prove que toda isometria T : R2 7 R2 transporta o interior do ngulo

\
[ sobre o interior do ngulo T (A)T
ABC
(B)T (C).
Problema 20.8.14.
Prove que toda isometria T : R2 7 R2 transporta o interior do tringulo

ABC sobre o interior do tringulo T (A)T (B)T (C).
Problema 20.8.15.
Prove, usando a recproca do Teorema de Pitgoras, que toda isometria

T :R
7 R transporta ngulo reto em ngulo reto.
2
Problema 20.8.16. Demonstre que toda isometria transporta qualquer circunferncia em uma
circunferncia de mesmo raio.
Problema 20.8.17. Considere um tringulo issceles no equiltero.
Encontre duas isometrias

que transportam esse tringulo em si mesmo. Existem outras isometrias?
Problema 20.8.18.
Considere um tringulo equiltero. Encontre seis isometrias que transportam esse tringulo em si mesmo. Existem outras isometrias?
Problema 20.8.19.
Sejam A e B pontos (diferentes) de R2 . Prove que existe uma nica

reexo R : R
7 R tal que R(A) = B .
2
Isometrias do plano
245
Problema 20.8.20.
Prove que se uma isometria T : R2 7 R2 xa todos os pontos de uma

reta r, ento T a identidade ou a reexo em relao a r. Sugesto: tome um ponto P fora
de r e mostre que T (P ) = P ou T (P ) o simtrico de P em relao a r.
Sejam ABC
= DEF tringulos congruentes. Mostre que existe uma
isometria que transporta um sobre o outro composta de no mximo trs reexes.
Problema 20.8.21.
Problema 20.8.22.
Prove que toda isometria a composio de no mximo trs reexes.
Problema 20.8.23.
Demonstre que toda translao a composio de duas reexes cujas

retas de simetria so paralelas.
Problema 20.8.24.
Prove a recproca do Teorema 20.31. Isto , se T : R2 7 R2 de uma das

formas (20.1) ou (20.2), ento T uma isometria.
Problema 20.8.25.
Explique por que as translaes e as rotaes preservam a orientao.
Problema 20.8.26.
Demonstre que as equaes da reexo R(x, y) = (x1 , y1 ) em relao
reta y = ax + b so
1 a2
2a
x1 =
x+
(y b)
2
1+a
1 + a2
2
2a
1a
y1 =
x
(y b) + b
2
1+a
1 + a2
Problema 20.8.27.
Prove que as reexes invertem a orientao.
Problema 20.8.28. a)
Encontre a imagem da reta reta Ra,b,c pela isometria T : R2 7 R2

denida por T (x, y) = (mx ny + k, nx + my + l). b) Encontre a imagem da reta reta Ra,b,c
pela isometria T : R2 7 R2 denida por T (x, y) = (mx + ny + k, nx my + l).
Problema 20.8.29.
Usando a expresso em coordenadas das isometrias e a Denio 19.8,

pgina 228, d outra demonstrao de que qualquer isometria conserva a medida de ngulos.
Problema 20.8.30.
Dado um nmero real positivo t, uma semelhana de razo t no plano

uma transformao T : R2 7 R2 tal que d(T (A), T (B)) = td(A, B) quaisquer que sejam os
pontos A e B do plano. Mostre que toda semelhana uma bijeo do plano do plano sobre o
plano. Ainda transporta o segmento AB sobre o segmento T (A)T (B), sendo que o comprimento
deste t vezes o comprimento do primeiro. Em particular T transporta um tringulo em
outro tringulo. Mostre que T transporta retas em retas, e retas paralelas em retas paralelas.
Prove que T transporta tringulos retngulos em tringulos retngulos, e, em consequncia,
transporta retas perpendiculares em retas perpendiculares. Prove que a transformao inversa
de uma semelhana de razo t uma semelhana de razo 1/t. Prove que a composta de duas
semelhanas uma semelhana, e calcule sua razo. Demonstre que toda semelhana conserva
a medida de ngulos.
Problema 20.8.31.
Mostre que toda transformao linear da forma

(
)( )
t 0
x
T (x, y) =
0 t
y
sendo t um nmero real positivo, uma semelhana, mas nem toda semelhana desta forma.
246
Problema 20.8.32.
Dizemos que duas guras F e G do plano so semelhantes se existe uma

semelhana T : R 7 R2 tal que T (F ) = G. Se t a razo de T , dizemos que t a razo de
semelhana de F para G. Prove que se dois tringulos tm ngulos correspondentes congruentes,
ento so semelhantes.
2
Problema 20.8.33.
A transformao T : R 7 R denida por T (x, y) = (kx, ky) para algum

nmero real positivo k chama-se homotetia de razo k e centro O. a) Prove que toda homotetia
leva segmento sobre um segmento cujo comprimento k vezes o comprimento do primeiro
segmento. Ainda, leva ngulo sobre ngulo, preservando sua medida. b) Como a imagem de
uma circunferncia por uma homotetia? c) E de um polgono regular?
Problema 20.8.34.
Chamamos de reexo com deslizamento composio de uma reexo

em relao a uma reta r com uma translao com vetor de deslocamento no nulo e paralelo
reta r. Prove que as isometrias do plano so: a identidade, as translaes, as rotaes,
as reexes e as reexes com deslizamento. Sugesto: seja T : R2 R2 uma isometria
diferente da identidade e seja A R2 tal que A = T (A) = A. Seja A = T (A ). Ento
d(A , A ) = d(A, A ) > 0. Considere os trs casos relativos ao posicionamento dos pontos A, A
e A : (i) A, A e A so no colineares; (ii) A, A e A so pontos diferentes e colineares; (iii)
A = A.

Tema 20.9.1.
Investigue como so as imagens de elipses, hiprboles e parbolas por transformaes lineares do plano.
Tema 20.9.2.
Investigue como so as isometrias que so compostas por duas reexes.
Tema 20.9.3.
Estude as isometrias que preservam o tringulo equiltero. Mostre que elas

formam um grupo algbrico em relao operao de composio. Estude as propriedades
desse grupo.
Tema 20.9.4.
Identique todas as isometrias que preservam o quadrado. Mostre que elas

formam um grupo algbrico em relao operao de composio. Estude as propriedades
desse grupo.
Tema 20.9.5.
Identique todas as isometrias que preservam um polgono regular com n 5

lados. Mostre que elas formam um grupo algbrico em relao operao de composio.
Estude as propriedades desse grupo.
Tema 20.9.6.
Dizemos que uma gura do plano tem simetria bilateral quando existe uma reta
tal que a reexo em relao a essa reta transporta a gura sobre si mesma. Investigue guras
com simetria bilateral. Um bom comeo pode ser polgonos regulares.
Captulo 21
Geometria da Superfcie Esfrica
21.1 Introduo
At o incio do Sculo XVII existia uma forte concepo na mente dos intelectuais de que a
Geometria Euclidiana era a nica possvel. Certamente que essa ideia advinha de nossa forma
de olhar o espao e o movimento das coisas. Embora vivemos em um planeta cuja superfcie tem
a forma aproximada de uma esfera, no dia a dia no nos damos conta disso, e, quando andamos
nesta superfcie imaginamos que estamos nos movimentando em um plano. Isso talvez ocorra
por que a superfcie da Terra , para ns, imensa, e no temos quotidianamente a conscincia
de que ela tem o formato de uma esfera. Hoje temos maior facilidade em compreender essa
situao devido ao progresso no conhecimento e na explorao do espao. Todos temos em
nosso imaginrio aquela famosa foto do planeta Terra obtida pelos astronautas da Apollo 17
em sua viagem Lua. Ao contrrio do que ocorria antigamente, no temos mais dvida de que
moramos na superfcie de uma esfera, e podemos at nos conscientizar desse fato no dia a dia,
embora isso cause pouco efeito em nossa movimentao diria.
Fotograa da Terra tirada em 7 de dezembro de 1972 a partir
da espaonave Apollo 17, a uma distncia de 29000 km. A
foto mostra a frica, a Antrtida e a Pennsula Arbica.
Esta foi a sexta e ltima viagem do programa Apollo em
que astronautas deixaram a rbita da Terra e pousaram na
Lua.
Figura 21.1
Esta imagem passou a fazer parte de nossos livros escolares e foi reproduzida amplamente nos meios de comunicao.
Ela modicou denitivamente a forma como vemos o lugar
onde moramos e sua posio relativa dentro do espao.
Veremos neste Captulo como podemos construir uma geometria diferente da euclidiana
simplesmente imaginando um mundo constitudo pela superfcie da esfera. Essa Geometria,
que denominamos Geometria da Superfcie Esfrica, abreviadamente GSE, tem aplicaes na
Matemtica, na Astronomia e na Geograa.
247
248
21.2 Ideias iniciais

Imaginemos, como um exerccio de abstrao, que vivemos restringidos superfcie de uma
esfera e que, ao nos movimentarmos, camos restritos a ela, sem poder nos mover para o
espao circundante, seja para o interior, seja para o exterior dessa esfera. Ou ento, se for mais
fcil, imagine um pequeno ser de duas dimenses que tem sua vida delimitada superfcie de
uma esfera.
Essa ideia no original! No livro Flatland: A Romance
of Many Dimensions, escrito pelo professor Edwin Abbott
Abbott e publicado em 1884 na Inglaterra, o autor descreve uma sociedade que funciona em duas dimenses. Os
personagens so guras como segmentos e polgonos, e o
prprio autor se coloca nela como um quadrado. Na estria o quadrado descobre a existncia de um ser de trs
dimenses, uma esfera, mas essa ideia no aceita pelo
grupo dominante daquela sociedade.
Figura 21.2
Esse romance sobre um mundo de duas dimenses teve uma continuao em Sphereland: A
Fantasy About Curved Spaces and an Expanding Universe, escrito em 1965 por Dionys Burger.
Imaginemos ento que o ser que mora na superfcie da esfera precisa ir do ponto A ao
ponto B . Se ele deseja percorrer o menor caminho possvel, que trajetria deve seguir? No
difcil percebermos que o menor caminho que conecta dois pontos em uma superfcie esfrica
o menor arco do crculo mximo que contm esses dois pontos. Vimos no Problema 16.5.3,
pgina 217, que sempre existe um crculo mximo ligando dois pontos dados de uma superfcie
esfrica. Veja ilustrao na Figura 21.3.
.......................................................
..........
........
........
.......
......
.......
......
......
.
.
.
.
.....
...
.
.
.....
.
.
.....
....
.
.
.
....
...
.
.
...
..
.
...
.
...
...
.
...
..
.
...
..
...
.
....... ....... ....... ....... ..
.
.
.
.
.
.
.
...
.
.
.
.
.
.
.
....
..... ....
......
.
...
.
.
.
.
.
.
.
...
.
..
.......
.
... .......
...... .....
..........
. ..
...
.....
.
....
...
.....
......
.
.........
.
.
... ...
.
... ........
.
.
.
.
..... ...
... ............
..........
.........
...
..........
.................
...
...
......................................................................................
...
...
...
...
...
..
.
...
...
...
...
...
...
.....
.....
.....
.
.
.
.
.....
.....
.....
.....
......
......
......
......
.......
.......
.........
.
.
.
.
.
.
.
..
............
..............................................
Figura 21.3. Crculo mximo passando por dois pontos na superfcie esfrica, com destaque
para o caminho mais curto.
A percepo dessa propriedade pode ser feita experimentalmente. Tomamos uma esfera de
isopor e desenhamos em sua superfcie um crculo mximo. Fixamos dois alnetes nessa curva
e esticamos de um ao outro um elstico, deixando-o tensionado. Vemos que a tendncia do
elstico se acomodar ao longo do crculo mximo. Isso signica que essa curva proporciona o
lugar geomtrico de menor tenso para o elstico e, portanto, seu formato mais curto.
Uma demonstrao mais formal dessa propriedade utiliza recursos de Clculo Diferencial e
Integral. O estudante pode consultar [52], pginas 117 e 128. Para constar enunciamos esse
249
resultado como o
Teorema 21.1.
Sejam
a esfera ligando
o menor arco do nico crculo mximo que os contm. Se
pontos no antpodas de uma esfera. O menor caminho sobre
so antpodas, o menor caminho sobre a esfera ligando
qualquer um dos semicrculos
mximos que os contm.
Na Geometria Euclidiana, uma das noes que temos agregada ao campo conceitual reta
a de que o segmento de reta que une dois pontos o menor caminho de um ao outro. Essa
uma noo que pouco exploramos aqui, mas muito utilizada na Fsica, por exemplo, na
tica. Isso nos d a ideia de construir uma geometria na superfcie esfrica em que as retas so
os crculos mximos. Veremos, na prxima seo, o que ocorre nessa geometria.
21.3 Bases da Geometria da Superfcie Esfrica

Consideremos uma esfera S de raio r e centro O. Denominamos Geometria da Superfcie Esfrica, ou, simplesmente, GSE, ao conjunto S em que consideramos subconjuntos distinguidos,
denominados geodsicas, denidos como segue:
Denio 21.2. Denominamos de geodsica da esfera a qualquer um de seus crculos mximos.

Nosso objetivo investigar as propriedades das guras formadas na esfera por suas geodsicas. Procedemos de forma similar ao que zemos na Geometria Euclidiana, sendo que agora
as geodsicas fazem o papel que as retas tinham naquela geometria.
Lembremos que dados dois pontos no antpodas A e B da esfera, eles e o centro O so
no colineares, portanto determinam um nico plano no espao. A interseo desse plano com
a esfera uma circunferncia de raio r no plano, denominada crculo mximo da esfera, e que
agora passamos a chamar de geodsica determinada por A e B .
Dois pontos no antpodas A e B de uma geodsica a repartem em dois arcos, um menor e
outro maior (ambos contendo os pontos A e B ). Isto nos d a ideia de denir segmentos nessa
Geometria.
Denio 21.3.
Dados dois pontos no antpodas A e B de uma geodsica, o arco menor por
eles determinado chamado de segmento geodsico de extremidades A e B , e indicado por AB.
Tambm dizemos que AB o segmento geodsico que liga A a B . Se for necessrio o arco maior
determinado por A e B pode ser chamado de segmento geodsico oposto de extremidades A e
B.
Vemos que, dados dois pontos no antpodas da esfera, existe um nico segmento geodsico
que os liga. Por outro lado, se A e B so pontos antpodas, existem innitos semicrculos
mximos com extremidades nesses pontos.
[ . Esse o ngulo
Dado um segmento geodsico AB podemos associar a ele o ngulo AOB
central determinado pelo arco AB na circunferncia de raio r e centro O que contm os pontos
[
A e B . Se estivermos usando a unidade graus para medir ngulos, diremos que = m(AOB)
a medida angular em graus do segmento geodsico AB. Sabemos que o comprimento desse
arco r/180, que chamaremos de comprimento em graus do segmento geodsico AB. Se

estivermos usando a unidade radiano para medir ngulos, a medida angular em radianos
do segmento geodsico AB, e o seu comprimento em radianos r.
250
Na GSE podemos denir o equivalente a semirretas da Geometria Euclidiana da seguinte

forma. Sejam A um ponto de S e B seu antpoda. Consideremos um crculo mximo contendo
A (e, portanto, B ). Ento esse crculo mximo repartido por A e B em dois semicrculos
mximos, digamos C1 e C2 (ambos os semicrculos contm A e B ). Ento C1 {B} e C2 {B}
so chamados semigeodsicas de origem A.
Imitando o que feito na Geometria Euclidiana, podemos denir ngulo como subconjunto
de S da seguinte forma. Sejam C e C duas semigeodsicas de mesma origem A e no contidas
na mesma geodsica. Dizemos que C C um ngulo de vrtice A. Sejam B um ponto de
C diferente de A e C um ponto de C diferente de A. O ngulo C C pode ser indicado por
[ , se estiver claro que se trata de um ngulo em S . A medida desse ngulo a medida
BAC

do diedro denido pelos arcos AB e AC. Mais exatamente, esse diedro tem como aresta a reta
r determinada pelo ponto A e por seu antpoda, uma das faces desse diedro o semiplano
determinado por r e por B , e a outra face o semiplano determinado por r e por C .
Dado um ponto A em uma geodsica, existe a reta tangente a essa circunferncia em A,
contida no plano determinado pela geodsica. Essa reta ser denominada reta tangente
geodsica em A.
Consideremos duas geodsicas que se encontram em um ponto A e, portanto, tambm
se encontram no antpoda de A, e em mais nenhum outro ponto. Podemos associar a essas
geodsicas um ngulo da seguinte forma. Consideramos os dois planos denidos por essas
geodsicas. Eles formam quatro diedros com aresta comum contendo o centro O da esfera. Se
esses diedros no so retos, o ngulo associado s duas geodsicas o menor ngulo normal
determinado por eles. Se os diedros so retos, o ngulo associado s duas geodsicas qualquer
um desses diedros retos. Dizemos tambm que o ngulo associado entre duas geodsicas o
ngulo entre as geodsicas.
Outra forma equivalente de denir o ngulo entre duas geodsicas considerar as duas retas
tangentes a elas num de seus pontos de encontro. Essas retas formam quatro ngulos, opostos
pelo vrtice aos pares, e escolhemos o menor deles, se foram diferentes, ou qualquer um se forem
retos. Se considerarmos o outro ponto de encontro das geodsicas, os ngulos correspondentes
determinados pelas retas tangentes nesse ponto so congruentes aos anteriores. A medida desse
ngulo igual medida do menor diedro determinado por essas geodsicas. Conra o Problema
21.7.3, em que so solicitadas as demonstraes dessas armaes.
Denio 21.4.
Sejam A, B e C pontos de uma esfera no contidos em uma mesma geodsica

(em particular dois quaisquer desses pontos no so antpodas). O tringulo esfrico de vrtices

A, B e C e lados AB, BC e AC o conjunto AB BC AC. Indicaremos esse conjunto por
ABC , desde que esteja claro que se trata de uma gura na superfcie esfrica. Os ngulos
[ , ABC
[ e ACB
[ , que podero ser indicados respectivamente
internos desse tringulo so BAC
por A, B e C .
Enunciamos algumas propriedades elementares dos tringulos na GSE. Conra [81], pgina
57 e seguintes.
Na GSE podemos denir tringulo issceles. Valem as seguintes propriedades: os ngulos
da base so congruentes, e a mediana relativa base tambm bissetriz e perpendicular
base.
Na GSE podemos denir congruncia entre tringulos e demonstrar os casos de congruncia
LAL, ALA e LLL. Diferentemente da Geometria Euclidiana, na GSE a correspondncia AAA
implica em congruncia. Portanto no possvel desenhar dois tringulos no congruentes mas
com trs pares de ngulos correspondentes congruentes.
251
Figura 21.4. Desenho de um tringulo esfrico mostrando as geodsicas que contm os lados.
Na GSE vale uma verso mais fraca da desigualdade do ngulo externo. Se , e so as
medidas dos ngulos de um tringulo, ento
180 > | |
(21.1)
Na GSE vale: em um tringulo qualquer, ao maior ngulo se ope o maior lado.

Na GSE vale a desigualdade triangular: em qualquer tringulo, qualquer um dos lados
menor do que a soma dos outros dois lados.
No vamos continuar nossos estudos sobre a GSE por imitao com a GE. O estudante
pode investigar outros resultados por conta prpria ou consultando textos especializados. Por
exemplo em [71] e [67] pode obter mais informaes.
Faremos aqui apenas mais uma interveno: como a soma dos ngulos internos de um
tringulo esfrico? Estudaremos essa questo a seguir.
21.4 Um resultado no to surpreendente na GSE

Investigando como so os tringulos esfricos, um fato nos chama de imediato a ateno: em S
existem tringulos com dois ngulos retos. Vemos um exemplo na Figura 21.5. Escolhemos uma
geodsica e nela tomamos dois pontos no antpodas A e B . Tomamos a reta perpendicular ao
plano da geodsica que passa por O. Essa reta intercepta S em dois pontos. Escolhemos um
deles, digamos N . Ento o tringulo esfrico ABN tem dois ngulos retos, em A e em B .
...........................................................
....... ........
............
.......
....
...... .......
.........
....
....
.......
..... .......
....
.....
......
.
....
.
....
.
.....
.
....
.
.
..... ..........
.....
....
....
......
.
.
.....
.....
.
.
.
......
....
.....
.........
....
.
.
.
.
.......
.....
.....
...
.....
...
.......
.
.....
.
...
.
.....
.........
........
..
...
.
......
.
.
.
.....
........
........
...
...
.....
.
.
......
...
...
........
......
..
......
.
.
.
...
......
...
.........
......
..
......
...
.
.
.......
...
......
.........
...
..
.......
.
.
.......
.
...
.......
...........
...
.......
.......
....
...........
...
.......
...
.......
...........
...
.
...
........
...
...........
.
........
...
.
.
.......
...
........ ...
........
...........
.
........
...
.
.
.
.
........
...
.................
............
........
.
........
.
.
....
.
.
.
.
.
.
........
........
...........
...........................
..
.
........
....
.
.........
...........
......................
.....
........
.
.
........
........
.
.
.
.
.
.
.
.
.
.
........
.
..........
........................
.. ..
.
........
.
... .......
.
.
.........
.
.
.
.
.
.
.
.
.
.
.
........
.
.
.
............
.........
... ...........
.............
......................... ....... ...
...........
...........................................
...
...............
...
...
.................
..................................
...
...
.............................................
..
...
..
.
...
.
..
...
...
...
...
...
...
....
....
.....
.
.
.
.....
....
.....
.....
......
.....
......
......
.......
.......
.
.
........
.
.
.
.
.
...........
....
....................................................
A B
Figura 21.5. Tringulo esfrico com dois ngulos retos.
252
Est claro que os ngulos internos de tringulos esfricos no se comportam como seus
correspondentes da Geometria Euclidiana. No difcil compreender isso se olharmos diversas
guras de tringulos esfricos. Parece que eles sempre tem algum lado curvado para fora, e o
prprio interior do tringulo tambm tem essa caracterstica.
Vamos investigar essa percepo. Consideremos um tringulo esfrico ABC . Desenhando
por completo as geodsicas determinadas pelos seus lados, vemos que elas formam outros tringulos. Em particular, um desses tringulos formado pelos antpodas dos pontos A, B e C ,
e congruente a ABC .
Vemos na Figura 21.6 uma ilustrao desse fenmeno. Nessa Figura, em que indicamos o
antpoda de P por P , vemos a esfera segundo a perspectiva da reta que perpendicular ao
plano determinado pelo crculo mximo que passa por AB. Observemos o tringulo esfrico
ABC e seu antpoda (A)(B)(C), e que ambos so congruentes.
.......................................................
..........
........
........
.......
......
.
......
.
.
.
.
......
......
.....
....... ...........
.
.
.
.
.
.
......
....
...
.
.
.
.
.
........
...
.....
.
.
. .
.
.
.. ...
......
...
.. .....
.
..
.
.
.
.
.
...
.
...
.
..
.
.
...
..
.....
...
...
..... ......... ....... ....... ....... ...... .....
...
...
... ....... .. ......
. .......
...
.... ....
.
.
.
.
....
.
.. .......
.
.
.
.......
...
.
.
...... ....
..
...
.
.
..
... ......
.
..
.
.
.
......
.
.
.
...
..
..
.
.
.
....
.
....
...
.
..
.
.
.......
.
.
.
.
....
.....
... .......
..... ....
.....
.
.
.
... .........
.
.
..
.
.
.
.
.
.
..
....
......... .
...
...
............
.....
..........
...
. ......................
.....
.............
...
...
.............................................................................
...
..
...
..
....
.
.
.
.
.
...
.
.
.
.....
...
...
...
.....
... .
...
......
... ..
...
......
... ..
...
......
.
.
.
.....
.
.
.
.
.
.
.
.
.....
.....
.....
...............................
....
.....
.....
......
......
......
......
.
.
.......
.
.
.
...
.........
.........
.............
...........................................
Figura 21.6. Fusos determinados por um tringulo esfrico.
Teorema 21.5. Dados uma esfera de raio r e um tringulo esfrico ABC , a soma, em radianos,
de seus ngulos internos
+ m(B)
+ m(C)
=+
m(A)
rea(ABC)
r2
(21.2)
Na Figura 21.6 [AC(C)B] o diedro cuja aresta contm o dimetro C(C)

e lados que contm os pontos A e B . Esse diedro determina na esfera um fuso que chamaremos
. De modo
de fuso C . Note que esse fuso tem ngulo C . Portanto a rea do fuso C 2r2 m(C)
2
2
. Portanto
anlogo temos os fusos A e B cujas reas so, respectivamente, 2r m(A) e 2r m(B)
(
)
2
rea fuso A + rea fuso B + rea fuso C = 2r m(A) + m(B) + m(C)
Demonstrao.
Por outro lado,
rea fuso A + rea fuso B + rea fuso C =
= rea da semiesfera + 2 rea(ABC) + rea (AB(C)) rea ((A)(B)C)

Como rea (AB(C)) = rea ((A)(B)C), segue o resultado.
Observemos que na frmula (21.2) do Teorema 21.5 o fator rea(ABC)/r2 sempre positivo.
Portanto, na GSE, a soma dos ngulos internos de qualquer tringulo excede radianos, ou
180 graus. Vamos destacar esse resultado no
Teorema 21.6. Na GSE, a soma dos ngulos internos de qualquer tringulo excede radianos,
ou 180 graus.
253
21.5 Comparando a GSE com a GE

Pudemos ver nas sees anteriores que a Geometria da Superfcie Esfrica (GSE) tem vrias
diferenas em relao Geometria Euclidiana (GE). A mais marcante que, na GSE, a soma
dos ngulos internos de qualquer tringulo excede 180 graus. Mas existem mais diferenas,
algumas das quais comentaremos agora. Outras sero objeto de problemas da Seo 21.7.
a) No vale na GSE o Axioma E1 Dados dois pontos diferentes, existe exatamente uma reta
que os contm. Essa armao tem que ser modicada para: Dados dois pontos diferentes e
no antpodas, existe exatamente uma geodsica que os contm. Dois pontos antpodas esto
em innitas geodsicas.
b) No vale na GSE o Axioma E7, que em particular diz que Os pontos de uma reta podem
ser postos em correspondncia biunvoca com os nmeros reais. Essa armao tem que ser
modicada para: Os pontos de uma geodsica podem ser postos em correspondncia biunvoca
com os nmeros reais do intervalo [0, 2)..
c) A GSE no tem um resultado correspondente ao Axioma E16 da GE por um ponto dado
fora de uma reta passa uma nica paralela reta dada. No vale nem mesmo a armao do
Teorema 10.6, pgina 142, por um ponto fora de uma reta passa uma paralela reta dada,
pois no existem retas paralelas.
Conforme comentamos na Seo 10.2, dados uma reta e um ponto fora dela podemos, a
princpio, considerar as seguintes possibilidades:
(i) no existe uma reta paralela reta dada contendo o ponto dado;
(ii) existe uma nica reta paralela reta dada contendo o ponto dado;
(iii) existe mais de uma reta paralela reta dada contendo o ponto dado.
Vemos que a possibilidade (i) corresponde GSE, e a possibilidade (ii) GE. Estudaremos,
no Captulo 22, a Geometria Hiperblica, que satisfaz condio (iii).
21.6 Geometrias elpticas

Para encerrar esta seo observamos que nossa apresentao da Geometria da Superfcie Esfrica
depende do fato de estarmos considerando a esfera como um objeto do espao euclidiano.
Portanto nessa geometria no temos axiomas, pois todas as propriedades podem ser provadas
usando as propriedades do espao euclidiano. O que zemos, foi, na verdade, apresentar um
modelo euclidiano de uma das chamadas Geometrias Elpticas.
Existem verses intrnsecas de Geometrias Elpticas, em que no se utiliza o espao euclidiano. Elas comeam com uma lista de axiomas, e o primeiro deles pode ser: duas retas
quaisquer se interceptam.
Para obter mais detalhes o estudante pode consultar [14], pgina 84 e seguintes, assim como
[52], pgina 129 e seguintes.
21.7 Problemas
Problema 21.7.1.
Explique a observao feita na Denio 21.4, que arma que se os pontos

A, B e C no esto na mesma geodsica ento dois quaisquer deles no so antpodas.
254
Problema 21.7.2.
Prove que as retas tangentes a uma geodsica em pontos antpodas so
paralelas.
Problema 21.7.3. Considere duas geodsicas que se encontram em um ponto A e em seu

antpoda A. a) Explique por que as retas tangentes s geodsicas em A determinam ngulos
congruentes queles correspondentes determinados pelas tangentes em A. b) Prove que a
medida do ngulo entre duas geodsicas a mesma considerando as duas possibilidades denidas
no texto (medida do diedro ou medida do ngulo dado pelas retas tangentes).
Problema 21.7.4.
Explique por que dados pontos no antpodas A e B da esfera de raio r,

existe uma correspondncia biunvoca entre os pontos da geodsica que os contm e os nmeros
reais do intervalo [0, 2r), de modo que ao ponto A corresponde o valor 0 e ao ponto B um
valor b tal que b [0, r). Explique por que essa propriedade substitui, na GSE, os axiomas de
medida da GE, e qual a diferena das duas geometrias sob este aspecto.
Problema 21.7.5.
Dena o que conjunto convexo na GSE. Depois prove o seguinte. Seja

g uma geodsica qualquer. Ento S g a unio de dois conjuntos (chamadas semiesferas
abertas determinadas por g ) tais que: (i) cada um deles convexo; (ii) se um ponto A est em
um desses conjuntos e B no outro, ento AB intercepta g .
Problema 21.7.6.
Explique por que na GSE vale o Teorema de Pasch.
Problema 21.7.7. Seja C uma semirreta de origem A e H uma das semiesferas abertas determinada pela geodsica que contm C . Seja x (0, 180). Explique por que existe um ponto
C H de forma que x a medida em graus do ngulo determinado por C e pela semigeodsica
de origem A que contm C . Explique por que na GSE valem os axiomas sobre ngulos adotados
na GE.
Problema 21.7.8. Dada uma geodsica, consideremos o plano por ela determinado e o dimetro da esfera perpendicular a ele. Os extremos desse dimetro chamam-se polos da geodsica.
Prove que, dada uma geodsica e um ponto que no um de seus polos, existe uma nica
geodsica que contm o ponto e perpendicular geodsica dada. O que ocorre se o ponto for
um polo da geodsica?
Problema 21.7.9. Justique por que o tringulo esfrico dado na Figura 21.5 tem dois ngulos
retos, em A e em B . A construo usada nessa Figura est explicada no texto antes dela.
Problema 21.7.10.
Explique por que um tringulo esfrico ABC e o tringulo antpoda

(A)(B)(C) so congruentes.
Problema 21.7.11.
Dena interior de um ngulo da GSE, e descreva esse conjunto.
Problema 21.7.12.
Na GSE trs pontos no colineares (isto , que no esto na mesma

geodsica) determinam um nico tringulo? possvel denir interior de um tringulo?
Problema 21.7.13.
Dada uma geodsica da GSE, prove que todas as geodsicas perpendiculares a ela se encontram em dois pontos.
Problema 21.7.14.
Problema 21.7.15.
Prove que na GSE todo tringulo est contido em uma semiesfera.
Prove que na GSE a soma dos lados de qualquer tringulo menor do

que 2 . Sugesto: dado um tringulo ABC , para mostrar que a soma de seus lados satisfazem
propriedade requerida, aplique a desigualdade triangular ao tringulo (A)BC , em que A
o antpoda de A.
255
Problema 21.7.16. D exemplo de um tringulo equiltero retngulo na GSE. Aproveite para
ver que na GSE no vale o Teorema de Pitgoras.
Problema 21.7.17. Na GSE, qual o maior valor que pode atingir a soma dos ngulos internos
de um tringulo?
Problema 21.7.18.
Existem retngulos na GSE?
Problema 21.7.19.
Prove que na GSE os ngulos do topo de um quadriltero de Saccheri

qualquer so congruentes e obtusos.
Problema 21.7.20.
Prove que na GSE a rea do tringulo ABC
+ m(B)
+ m(C)
180
rea(ABC) = r2 [m(A)
se os ngulos esto medidos em graus.
Problema 21.7.21.
Interprete e explique a Figura 21.7.
.
......
..... ..
...... ....
......
.
.
.
.
.
.
.....
...
.....
......
...
..
......
..
.....
.
.
.
.
.
.
.
..
......
...
.....
...
.....
..
......
..
.....
.
.
.
.
.
.
.
......
...
......
...
.....
..
......
..
.....
.
.
.
.
.
.
....
...
......
..
......
...
.....
< a + b na GSE
= a + b na GE
Figura 21.7. Figura do Problema 21.7.21
Problema 21.7.22.
Verique se na GSE vale um resultado correspondente ao Teorema do

ngulo externo 9.37 da GE.
Problema 21.7.23.
Verique se na GSE vale o caso de congruncia
LAA.
Problema 21.7.24.
No Teorema 10.6, pgina 142, foi provado que Por um ponto fora de uma
reta passa uma paralela reta dada. Esse resultado naturalmente no vale na GSE. Identique
em quais passos falha a demonstrao utilizada ali.
Problema 21.7.25.
Calcule a soma dos ngulos internos de um polgono esfrico.
Problema 21.7.26.
Explique o que ocorre na frmula (21.2) do Teorema 21.2, pgina 252,
quando r .

Tema 21.8.1.
Na Geometria da Superfcie Esfrica (GSE) existem guras poligonais de dois

lados, que chamaremos de digonos. Estude as propriedades dessas guras.
Tema 21.8.2.
propriedades.
Na GSE existem tringulos esfricos issceles? Se existirem, investigue suas
256
Tema 21.8.3.

Dena quadriltero na GSE e estude suas propriedades.
Tema 21.8.4.
Dena circunferncia na GSE e estude suas propriedades. Dada uma circunferncia, ela tem um nico centro?
Tema 21.8.5. O termo Geometria Elptica, utilizado na Seo 21.6, sugere que essa geometria
pode ser modelada na superfcie de um elipsoide. Investigue como so as retas nessa superfcie.
Tema 21.8.6.
Existe uma trigonometria esfrica, descoberta pelos matemticos rabes do

Sculo X, que estuda propriedades trigonomtricas dos tringulos esfricos. Investigue isso.
Por exemplo, em um tringulo ABC vale a seguinte frmula (lei dos senos da trigonometria
esfrica):
sen
sen
sen
=
=
sen a
sen b
sen c
sendo: a medida do ngulo interno A, a a medida angular do lado BC, etc, conforme notaes
da Figura 21.4.
Tema 21.8.7.
Neste projeto o estudante est convidado a estudar ladrilhamentos da esfera

com polgonos da GSE. Assim como ladrilhamos o plano, guras planas, o espao, etc., podemos
ladrilhar a esfera. Os lados desses polgonos devem ser segmentos geodsicos.
Observe que todo poliedro inscritvel em uma esfera pode ser projetado na esfera e gerar um
ladrilhamento com polgonos regulares. O exemplo mais conhecido o do icosaedro truncado,
cuja estrutura utilizada em bolas de futebol. Conra a Figura 21.8. Descreva que poliedros
esto nessa categoria. Faa desenhos desses ladrilhamentos na esfera.
Figura 21.8. Ilustraes do icosaedro truncado e o correspondente ladrilhamento na esfera.

Existem ladrilhamentos da esfera que no tm correspondentes como poliedros. So os
hosoedros. Conra as Figuras 21.9 e 21.10. Descreva esses ladrilhamentos e explique por que
no existem como poliedros.
Informaes podem ser obtidas na Wikipedia, atravs das palavras chaves spherical polyhedron e spherical tiling.
Figura 21.9 Hosoedro trigonal
257
Figura 21.10 Hosoedro quadrigonal
258
Captulo 22
Geometria hiperblica
22.1 Introduo
Neste captulo vamos estudar alguns aspectos da chamada Geometria Hiperblica (GH). Essa
Geometria admite todos os axiomas da Geometria Euclidiana com exceo de um, o axioma
das paralelas. Em seu lugar estabelece que por um ponto fora de uma reta existe mais de uma
paralela reta dada.
Desde a antiga civilizao grega at meados do Sculo XIX o modelo euclidiano de geometria era o nico vigente. Todo cientista, ao medir ou estudar fenmenos no espao circundante,
admitia, implicitamente, que a organizao geomtrica desse espao obedecia aos axiomas euclidianos. Essa concepo era to forte na mente de todas as pessoas que no era nem mesmo
questionada, contrariando o antigo aforisma da Filosoa: duvide de tudo. Muitos lsofos
armavam que a geometria (como a descrevia Euclides, pois no havia outra) era a geometria
natural do universo.
De fato, algumas propriedades da geometria euclidiana parecem ser bem naturais. Por
exemplo, existe uma nica reta contendo dois pontos dados. Outra propriedade, que o chamado axioma das paralelas: dada uma reta e um ponto fora dela, existe uma nica reta
paralela reta dada passando pelo ponto.
Os matemticos do tempo de Euclides e os que vieram depois dele tampouco questionavam
a existncia de outra geometria. Para eles aquela era a nica que existia. Os matemticos
simplesmente estudavam a geometria, expandindo seus resultados e melhorando a estrutura
proposta por Euclides. Foi esse estudo minucioso que levou descoberta de outras geometrias.
Isso se deu da seguinte forma.
Conforme j comentamos, a estrutura da geometria proposta por Euclides era composta
de denies, axiomas e teoremas. Esses elementos eram dispostos em uma ordem, do mais
simples para o mais complexo. Assim, Euclides inicia com as denies e os axiomas mais
simples possveis. Depois de cada grupo de denies e axiomas, demonstra o maior nmero
de teoremas que possvel deduzir desses elementos.
Observando a ordem com que Euclides disps esses elementos, vemos que ele postergou o
axioma das paralelas o mximo possvel, e demonstrou todos os teoremas que pde sem usar
esse axioma. Os matemticos perceberam que Euclides teria tentado admitir o axioma das
paralelas no como um postulado, mas como um teorema, mas no conseguiu uma demonstrao. Assim se perguntava: o axioma das paralelas poderia ser demonstrado usando apenas os
axiomas e denies anteriores a ele? Seria possvel descobrir alguma demonstrao que teria
passado despercebida a Euclides e seu grupo de matemticos da Escola de Alexandria?
O fato que, por muitos sculos, os matemticos tentaram descobrir essa demonstrao.
259
260
Por vezes acharam que a haviam encontrado, mas depois sempre se percebia algum defeito,
alguma pequena armao que fora usada mas no demonstrada. Depois de tanto esforo e
com poucos resultados, comearam a desconar que essa demonstrao no existia. Aos poucos
os matemticos aprenderam a olhar com mais maleabilidade para uma estrutura axiomtica,
e perceber que essas estruturas podiam variar, cada uma com seus axiomas e resultados. Comearam ento a se perguntar o que signicaria uma estrutura geomtrica sem o axioma das
paralelas, ou com um enunciado diferente daquele de Euclides. Perceberam que se obtinha
outra estrutura lgica, perfeitamente coerente, mas com propriedades geomtricas diferentes
das usuais.
Esses estudos levaram descoberta de outras geometrias. Num primeiro momento se pensava que essas geometrias constituiam um mero exerccio lgico, mas logo se percebeu que
existiam espaos matemticos nos quais essas geometrias eram naturais. Assim se foi modicando a mente humana, e a geometria euclidiana deixou de ser a nica estrutura geomtrica
residente em nosso mecanismo psicolgico, tendo esse se ampliado para abarcar outras possibilidades. Esse amadurecimento levou descoberta da teoria da relatividade, a qual prope que
a geometria natural do espao no necessariamente a euclidiana.
Essas descobertas tiveram outra consequncia. Os matemticos compreenderam que era
importante estudar teoricamente as estruturas axiomticas, sem se importar, a princpio, com
sua correlao com a realidade fsica ou com pr-concepes psicolgicas. Essa nova forma de
investigar trouxe muitas descobertas atravs das estruturas geomtricas, algbricas e analticas.
A Matemtica passou por um grande avano, que ocorre at hoje. Com isso se explica a importncia que os matemticos do s estruturas axiomticas. necessrio observar, entretanto,
que o estudo da Matemtica atravs de estruturas axiomticas exige muito amadurecimento
mental, e por isso esse mtodo no deve, em geral, ser utilizado para estudantes do ensino
bsico.
22.2 Axiomas da Geometria Hiperblica Plana

Nesta seo estudamos uma geometria diferente da Geometria Euclidiana. Admitimos a existncia de um plano como conjunto de pontos, de subconjuntos desse plano chamados retas, que
obedecem a determinadas propriedades, designadas por axiomas, que esto listados a seguir.
Todos esses axiomas, exceto um, so equivalentes aos da Geometria Euclidiana. Apresentamos
enunciados de axiomas que trazem pequenas mudanas em relao aos axiomas enunciados anteriormente, no Captulo 9. Como so mudanas que inuem muito pouco no processo dedutivo,
no vamos repetir aqui as denies e teoremas que deles decorrem.
Axioma H1 (da incidncia da reta)

Dados dois pontos diferentes, existe uma nica reta que os contm.
Axioma H2 (da rgua)

1) Dados dois pontos diferentes
distncia de
e indicado por
B,
AB .
e
existe um nmero positivo a eles associado chamado
2) Os pontos de uma reta qualquer podem ser postos em correspondncia com os nmeros reais
de modo que:
(i) a cada ponto da reta corresponde um nico nmero real, chamado coordenada do ponto;
(ii) a cada nmero real corresponde um nico ponto da reta;
(iii) a distncia entre dois pontos quaisquer o valor absoluto da diferena de suas coordenadas.
3) Dados dois pontos A e B
em uma reta, o sistema de coordenadas pode ser escolhido de tal
modo que a coordenada de
261
seja zero e a de
seja positiva.
[,
A partir desses axiomas podemos denir estar entre, segmento AB , semirreta, ngulo BAC
tringulo, conjunto convexo, etc, e obter vrias propriedades, como dados trs pontos, exatamente um deles est entre os outros dois.
Axioma H3 (da separao do plano)

Dada uma reta em um plano, os pontos do plano que no esto na reta formam dois conjuntos
chamados semiplanos, que satisfazem as seguintes condies:
(i) Cada semiplano no vazio e convexo;

(ii) Se o ponto A est em um semiplano e o ponto B no outro, ento o segmento AB intercepta
a reta.
A partir desse axioma podemos denir interior de tringulo e obter muitos resultados sobre
a posio relativa entre pontos e retas.
Axioma H4 (da medida de ngulos)
[ corresponde um nmero real a tal que 0 < a < 180,

BAC
[ .
em graus do ngulo, ou, simplesmente, medida, e indicado por m(BAC)
A todo ngulo
chamado
medida
Axioma H5 (da construo de ngulos)
AB uma semirreta contida na origem de um semiplano. Para todo nmero real a
tal que 0 < a < 180, existe uma nica semirreta AC , com C no semiplano dado, tal que
[ = a.
m(BAC)
Seja
Axioma H6 (da adio de ngulos)

Se o ponto
est no interior de
[
BAC
ento
[ = m(BAD)
\ + m(DAC)
\.
m(BAC)
Axioma H7 (do suplemento)

Quaisquer dois ngulos que formam um par linear so suplementares.
Axioma H8 (da congruncia LAL)

Toda correspondncia LAL uma congruncia.
Axioma H9 (da no unicidade da reta paralela)

Por um ponto dado fora de uma reta passa mais de uma reta paralela reta dada.
Em nossa breve exposio da geometria hiperblica poderemos eventualmente usar tambm

os seguintes axiomas:
Axioma H10 (da rea)

A toda regio poligonal corresponde um nmero positivo, denominado
gonal.
rea da regio poli-
Axioma H11 (da adio de reas)

Se uma regio poligonal a unio de duas ou mais regies poligonais tais que duas a duas
no tm ponto interior em comum, ento a rea da regio poligonal a soma das reas das
regies que a formam.
Axioma H12 (da rea de tringulos)

As reas de regies triangulares delimitadas por tringulos congruentes so iguais.
262
Denio 22.1.
O sistema de axiomas H1-H12 e o conjunto de propriedades que podem ser

obtidas deles chama-se Geometria Hiperblica Plana (GH), e um exemplo de geometria noeuclidiana.
Esperamos que na Geometria Hiperblica apaream propriedades e resultados diferentes
da Geometria Euclidiana. Certamente que um deles diz respeito soma dos ngulos internos
de um tringulo qualquer. Vamos provar que, na Geometria Hiperblica, a soma dos ngulos
internos de um tringulo qualquer 180, e que existem tringulos para os quais a soma
< 180. Devido s diculdades tcnicas, para no alongar demasiadamente este texto, deixamos
para o estudante provar que, na Geometria Hiperblica, a soma dos ngulos internos de um
tringulo qualquer < 180. Conra o Problema 22.6.29 e o Tema 22.7.4.
22.3 Propriedades de tringulos na GH

Observemos inicialmente que na GH (Geometria Hiperblica) valem todas as denies e resultados demonstrados at (inclusive) o Teorema 10.6, pgina 142, visto no incio da Seo
10.2 (Retas paralelas em um plano). Destacamos que o Teorema do ngulo Externo e suas
consequncias, estudadas na Seo 9.14, na pgina 129 e seguintes, valem nas duas geometrias.
Os trs primeiros resultados que estudamos logo a seguir so atribudos a Giovanni Saccheri
e a Adrien-Marie Legendre, e ainda valem na GE e na GH, pois se baseiam nos axiomas H1 a
H8, admitidos em ambas.
Teorema 22.2. Dado um tringulo qualquer ABC , existe outro tal que a soma dos seus ngulos
internos igual soma dos ngulos internos do anterior mas tem um ngulo que mede 2 m(A)
ou menos.
Consideremos, como referncia, a Figura 22.1. Dado o tringulo ABC , seja M

o ponto mdio do lado BC e seja AE o segmento do qual M tambm o ponto mdio.
Demonstrao.
B..............................
...
...........
........ .....
........
......
..
.........
..
......
........
..
.
.
.
..
.
.
.
.
.
.
.
.
.
.
......
.
.
.
......
.........
...
...
........
......
...
...
...... ................
..
.. ...
...
..
.................
.
.
.
.
..
.
.
.
.
.
.
......
...
..
..
......
.........
..
..
......
........
......
........
...
...
......
.........
...
...
.
........
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
......
.
..
...... ...
.........
...... ...
.. ..........
..
..........
Figura 22.1. Figura ilustrativa do Teorema 22.2.

Armamos que o tringulo AEC o outro tringulo procurado. Vamos mostrar primeiro
que a soma dos ngulos internos desses tringulos so iguais. Temos BAM
= CEM , o que
\
\
implica que m(B) = m(ECM ) e m(BAM ) = m(E). Portanto
soma dos ngulos do tringulo ABC =
+ m(BCA)
\
\ ) + m(B)
[ =
m(M
AC) + m(BAM
+ m(ECM
\
\ ) + m(BCA)
[ =
= m(M
AC) + m(E)
+ m(ECA)
\
[ = soma dos ngulos do tringulo AEC
= m(M
AC) + m(E)
.
\ e EAC
[ tem medida (1/2)m(A)
Notemos agora que pelo menos um dos ngulos BAM
\
[ tem
Como BAM
= CEM , temos BAM
= E . Portanto pelo menos um dos ngulos E e EAC
.
medida (1/2)m(A)
263
Como consequncia obtemos o teorema abaixo, ainda vlido igualmente na GE e na GH.
Teorema 22.3.
A soma dos ngulos internos de um tringulo qualquer
180.
Demonstrao. Seja ABC um tringulo, e suponhamos que a soma de seus ngulos internos
seja > 180. Ento
+ m(B)
+ m(C)
= 180 + r
m(A)
para algum nmero r > 0. Aplicando n vezes o Teorema 22.2, encontramos um tringulo DEF
tal que a soma de seus ngulos internos igual soma dos ngulos internos de ABC e que tem
. Digamos que esse ngulo seja D
. Se n for sucientemente
um ngulo que mede 21n m(A)
< r podemos admitir que m(D)
< r. Temos ento
grande para que 21n m(A)
+ m(E)
+ m(F ) = 180 + r
m(D)
<r
e m(D)
Combinando esses dois resultados temos m(E)+m(

F ) > 180. Mas isso contraria o Corolrio
9.38.
Teorema 22.4.
A medida de um ngulo externo qualquer de um tringulo arbitrrio maior
ou igual soma da medida dos dois ngulos internos no adjacentes.
Lembramos que, no caso da Geometria Euclidiana, a medida de um ngulo externo qualquer

de um tringulo arbitrrio igual soma da medida dos dois ngulos internos no adjacentes.
Tomando a Figura 22.2 como referncia, temos a + b + c 180 (Teorema 22.3).
Como c e so suplementares temos c+ = 180. Juntando essas informaes vem a+b .
Demonstrao.
.......
..... ..
...... ..
...... ....
.....
.
.
.
.
..
..
...
......
..
......
..
.....
.
.
.
.
.
.
.
......
...
.....
...
......
..
......
..
.....
.
.
.
.
.
.
.
..
......
...
.....
...
.....
..
......
..
.....
.
.
.
.
.
.
..
...
......
......
...
.....
...
......
Figura 22.2. Figura do Teorema 22.4

Chegou o momento em que mostramos que na GH existe um tringulo com ngulos internos
que somam menos do que 180. Naturalmente para isso precisamos usar o Axioma H9. A ideia
inicial a seguinte.
Consideremos a Figura 22.3 em que temos uma reta r, um ponto A em r, um segmento AB
perpendicular a r em A e uma reta s perpendicular a AB em B . As retas r e s so paralelas
pois, se no o fossem, se encontrariam em um ponto P , e o tringulo ABP teria dois ngulos
retos, contrariando o Corolrio 9.38 (ou o Teorema 22.3).
Em virtude do Axioma H9, existe outra reta paralela a AB por B , a qual chamaremos de
s . Seja a medida do ngulo determinado por s e s . Vamos trabalhar no lado de AB em que
a medida do ngulo determinando por BA e s 90 .

Consideremos um ponto C em r e movimentemos esse ponto para a direita, assim C assume
[ , 1 a medida do ngulo AC
\
posies C1 , C2 , ... Sejam a medida do ngulo ACB
1 B , etc. A
soma dos ngulos internos dos tringulos ABCi
\i ) + i + m(ABC
\i )
Si = m(BAC
264
B ........................................................................................................................................................................................................................................................
... ..... ......
... ...... ........
... ...... .......
... ..... .......
..... ......
...
..
.....
...
..... ...........
...
......
.....
...
......
.....
...
......
.....
......
...
.....
......
.....
...
......
.....
...
......
.
.....
...
......
.
.
...
......
.....
......
.....
...
......
.....
...
......
.....
...
......
.
.....
...
......
.
.
......
...
.....
......
.....
...
..
.
............................
C1
C2
Figura 22.3. Figura referente ao Teorema 22.5.
\i ) = 90 e m(ABC
\i ) < 90 . Logo
Notemos que m(BAC
Si < 90 + i + 90
ou
Si < 180 + i
Se conseguirmos um tringulo ABCi para algum i em que i 0, teremos encontrado

um tringulo em que a soma dos ngulos internos < 180.
Teorema 22.5.
Na GH existe um tringulo tal que a soma de seus ngulos internos
< 180.
Consideremos a construo iniciada acima com a Figura 22.3, sendo que agora
tomamos C1 de modo que CC1 = BC , tomamos C2 de modo que C1 C2 = BC1 , e assim por
diante. Obtemos a Figura 22.4.
\1 ) = 1 , o tringulo BC1 C2
Agora o tringulo BCC1 issceles com base BC1 , logo m(CBC
issceles com base BC2 , logo m(C\
1 BC2 ) = 2 , etc. Por causa do Teorema 22.4 temos 1 +1 ,
logo 1 (1/2) , e depois temos 2 + 2 1 , logo 2 (1/22 ) , e assim por diante, no i-simo
tringulo obtemos i (1/2i ) . Se i sucientemente grande para que (1/2i ) < , temos
i < . Ento a soma S dos ngulos internos do tringulo ABCi
Demonstrao.
S < 180 + i < 180
B ...........................................................................................................................................................................................................................................................................................
.......................................................
............
......
...
.......................................................
......
............
...
......
............
...
......
............
...
......
............
......
...
............
.
......
............
...
......
............
...
......
............
...
......
............
......
...
............
......
............
...
.
.
............
......
...
............
.
.
.
......
...
............
......
...
............
......
............
...
.
......
............
...
......
............
......
...
............
.
......
...
............
......
...
............
......
............
...
......
............
......
...
......
.
C1
C2
Figura 22.4. Figura 2 referente ao Teorema 22.5.

Vemos que possvel construir logicamente uma geometria em que so vlidos os axiomas
euclidianos com exceo do axioma das paralelas. A pergunta que surge se essa geometria um
mero exerccio especulativo ou se tem existncia como ente matemtico ou natural. Veremos, na
prxima Seo, que podemos construir modelos euclidianos de GH. Com isso podemos armar
que a GH to consistente quanto a GE.
265
22.4 Modelos euclidianos de GH

Existem muitos modelos de Geometria Hiperblica construdos como objetos euclidianos. Naturalmente esses modelos no so simples e, a princpio, parecem bem estranhos. Mas tm a
funo de nos convencer de que a GH tem existncia na Matemtica. Quanto existncia da
GH no mundo fsico, esse um problema cujo entendimento ainda est por ser aprofundado.
Exemplo 22.6.
O seguinte exemplo de geometria no-euclidiana atribudo a Felix C. Klein

e Eugenio Beltrami. Sejam C uma circunferncia e D o disco aberto formado pelos pontos
interiores de C . O espao de nossa geometria D. As retas dessa geometria so as cordas
abertas de C , isto , so todas as cordas de C sem os pontos extremos. A Figura 22.5 mostra uma
reta r nessa geometria, um ponto P fora dessa reta e retas que passam por P e no interceptam
r. Portanto, so retas paralelas a r. Dessa forma essa geometria obedece ao Axioma H9 e
um exemplo de geometria no-euclidiana. Se usarmos o conceito de distncia usual no vale
o Axioma H2, e esse modelo no uma geometria hiperblica no sentido que denimos neste
texto. Mas possvel redenir distncia e medida de ngulo de modo que estejam satisfeitos
os axiomas da geometria hiperblica.
Vamos comentar apenas a denio de distncia nesse modelo. Sejam P e Q pontos de D
e sejam S e T os pontos extremos da corda que contm P e Q na ordem S P Q T ou na
ordem S Q P T . Denimos a distncia entre P e Q por

1
P T QS
d(P, Q) = log
2
P S QT
Nesta frmula XY a distncia euclidiana entre os pontos X e Y , log o logaritmo neperiano
e se S P Q T podemos dispensar o sinal de valor absoluto nesta frmula. Os Problemas
22.6.20 e 22.6.22 complementam esse estudo.
....................................
.............
........
.......
........
........
... ....
...... ...........
.
.
...... ..........
.
.
......
.....
.....
.
....
.
.
.
.
.
.
.
.
......
.....
...
.
...
.
.
.
.
.
.
.
...
.
.
.
......
.
.
...
...... ..........
...
...
.........
..
.
...
.... ........
.
..
.
...
.
.
.
......
....
.
...
..
.
.
.
.
.
.
......
...
....
.
.
.
.
.
....
.
......
...
....
.
.
.
.
.
...
.
.
......
...
...
.
.
.
.
.
...
.
.
......
...
....
.
.
.
.
.
....
.
...
......
....
.
.
.
...
.
.
.
.
......
..
....
.
...
.
.
.
.
.
...... ...
... .........
.
.
.
.
.
........
........
.
.
...
...
...
...
...
..
...
..
...
.
.
...
..
...
...
.....
....
.....
.....
.....
.....
.
.
.
......
.
....
......
......
........
........
..........
...............................................
Figura 22.5. Ilustrao do modelo de GH de Klein-Beltrami
Exemplo 22.7.
O seguinte exemplo de geometria no-euclidiana atribudo a Jules H. Poincar. Seja C uma circunferncia e D o disco aberto formado pelos pontos interiores de C . O
espao de nossa geometria D. As retas dessa geometria so os dimetros de C e os arcos de
circunferncia que interceptam C em ngulos retos, isto , a tangente a C e a tangente ao arco
nos pontos de interseo so perpendiculares.
fcil observar, antes de mais nada, que essa Geometria obedece ao Axioma H9. Isso est
ilustrado na Figura 22.6, em que vemos uma reta r, um ponto P fora de r, e duas retas s e t
passando pelo ponto P e ambas paralelas a r.
A distncia entre dois pontos na GH do disco de Poincar dada pela mesma frmula
da distncia do modelo da Klein-Beltrami. Portanto os resultados dos Problemas 22.6.20 e
266
22.6.22 tambm se aplicam aqui. Podemos denir semirretas (que so arcos de circunferncias)
e ngulos, e tomar como medida de um ngulo a medida euclidiana do ngulo correspondente
formado pelas tangentes s semirretas no vrtice.
.......................................
............ ....
.. ..............
........
...
......
.......
...
...
......
......
.
....
.
.
.
...
.....
...
....
.
.....
.
.
.
...
...
.......
.
.
.
........
...
...
.. ........
.
..... .....
.
.
...
.....
...
....
...
.
.
...
.
.
.
.
.
..... ..
...
...
...
.......
...
...
...
...
...
.....
...
...
.. ...................................
...
.
.
.
....
...
...
...
.
.
.
...
...
...
...
...
...
....
...
...
.
...
...
...
..
...
....
...
.
.
.
...
...
...
..
..
.
...
..
...
...
.
..
.
.
...
...
.
...
.
.
.
.
.
...
...
...
...
...
...
...
...
...
..
...
...
...
...
...
..
...
...
....
...
..
.
...
.
.
.
.
.
.
.
...
.....
... ......
..... ......
...
... ......
.......
.......
...
.....
.....
...
.....
.....
.
...
.
......
.
.
....
......
.
.
.
.
.
.
.
.
........
...
........
..........
.................................................
P
s
Figura 22.6. Ilustrao do modelo de GH do disco de Poincar
Exemplo 22.8. O seguinte exemplo de geometria no-euclidiana denominado modelo do

semiplano de Poincar. Dado um sistema de coordenadas cartesianas Oxy , consideremos o
semiplano superior H = {(x, y)|y > 0}. O conjunto de pontos de H o nosso espao. As
retas dessa geometria so as semirretas abertas {(a, y)|y > 0}, a R, perpendiculares ao eixo
Ox, e as semicircunferncias abertas com centro no eixo Ox e contidas em H. Conra a Figura
22.7, em que vemos uma reta r, um ponto P fora de r, e trs retas s, t e u passando pelo ponto
P e paralelas a r.
t
................................
................................
...........
...........
.......
.......
.......
......
...... .............
......
.....
.........
.....
.....
..............
.....
....
.
.
.
.
.
.
...
...
..
..
.
.
.
.
...
...
...
...
...
.
.
.
...
...
..
..
.
.
.
...
...
....
....
...
...
...
...
...
...
...
...
...
...
.
.
......
............. ...................
.......
.....
.....
.....
....
...
.
.
...
...
.
...
...
....
...
...
.
.
Figura 22.7. Ilustrao do modelo de GH do semiplano de Poincar
22.5 Outras propriedades da GH

Para informao do estudante enunciamos sem demonstrao outras propriedades da GH. Certamente a que mais chama a ateno
Teorema 22.9.
Na GH em qualquer tringulo a soma dos ngulos internos
< 180.
O Problema 22.6.29 e o Tema 22.7.4 trazem mais detalhes sobre esse resultado.
Uma bela gura disponibilizada na Wikipedia. Mostra um tringulo hiperblico desenhado na superfcie de um parabolide
hiperblico. Vemos tambm (parte de)
duas retas paralelas mostrando uma perpendicular comum.
Figura 22.8
267
As reas de tringulos na GH tm tambm um comportamento peculiar. Vemos abaixo

uma sequncia de resultados. Conra mais detalhes em [14], pgina 74 e seguintes, [53], pgina
345, e [37], pgina 297 e seguintes.
Lema 22.10.
Se dois tringulos tm a mesma soma dos ngulos internos e um par de lados
congruentes, ento eles tm a mesma rea.
Lema 22.11.
tal que
EF
Seja
ABC
Lema 22.12.
E o ponto mdio de AC e seja F um

BC . Ento F ponto mdio de AB .
um tringulo, seja
perpendicular mediatriz de
ponto de
AB
Tm a mesma rea dois tringulos quaisquer cuja soma dos ngulos internos
a mesma.
Denio 22.13.
Chama-se decincia angular, ou simplesmente decincia, de um tringulo

+ m(B)
+ m(C)]
.
ABC ao nmero d(ABC) = 180 [m(A)
Teorema 22.14.
Na GH existe uma constante
que seja o tringulo
tal que rea(ABC)
= k 2 d(ABC),
qualquer
ABC .
Dado um tringulo retngulo de hipotenusa a e catetos b e c, vale a frmula
cosh a = cosh b cosh c

Esta frmula considerada o Teorema de Pitgoras da GH, pois uma relao algbrica entre
os lados de um tringulo retngulo qualquer. Conra ilustrao na Figura 22.9.
B ..................................
.......
...
......
...
......
...
......
...
......
...
......
......
...
......
...
.....
...
.....
...
.....
.....
...
.....
...
.....
...
.....
...
.....
.....
...
....
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
... ..............................................
...
....................
...
..............
.
........... ....
.......... ..
....
Figura 22.9. Um tringulo retngulo hiperblico.

Dado um tringulo qualquer ABC , sejam a a medida do lado oposto ao vrtice A, b a
medida do lado oposto ao vrtice B e c a medida do lado oposto ao vrtice C . Vale a seguinte
verso da lei dos senos:
sen B
sen C
sen A
=
=
senh a
senh b
senh c
Para o estudante que no conhece, denimos as funes cosh (denominada
e senh (denominada seno hiperblico ):
lico )
cosh x =
ex + ex
,
2
senh x =
ex ex
,
2
para todo x R
cosseno hiperb-
268
22.6 Problemas
Problema 22.6.1.
Sejam r e s retas da GH perpendiculares. Toda paralela a r encontra s?
Problema 22.6.2.
Seja r uma reta da GH, P um ponto de r e s uma reta perpendicular a r

por P . Seja T um ponto de s diferente de P . Explique por que existem por T uma paralela a
r que perpendicular a s, e uma paralela que no perpendicular a s.
Problema 22.6.3. Explique por que na GH no vale o resultado da GE enunciado no Problema
10.3.30: Em um plano, se duas retas so paralelas a uma terceira, ento elas so paralelas entre
si.
Problema 22.6.4.
Existem retngulos na GH? Justique. (lembrete: retngulos so quadrilteros com quatro ngulos retos.)
Problema 22.6.5.
Explique por que na GH no vale a seguinte armao: dadas duas retas

paralelas, qualquer transversal determina ngulos correspondentes congruentes.
Problema 22.6.6.
Na GH, qual o nmero mximo de ngulos retos que um quadriltero

pode ter? Faa uma construo que exemplique sua proposta.
Problema 22.6.7. Prove que na GH duas retas no podem ter mais de uma reta perpendicular
comum.
Problema 22.6.8.
Prove que na GH no existem duas retas equidistantes.
Problema 22.6.9.
Explique como se pode construir, na GH, um quadriltero no qual a soma

dos ngulos internos menor do que 360. Faa isso sem usar o Teorema 22.9.
Problema 22.6.10.
Tendo em vista o Teorema 22.9, o que se pode armar, na GH, a respeito

da soma dos ngulos internos de quadrilteros, pentgonos, etc?
Problema 22.6.11.
Prove que, na GH, dois tringulos que tm ngulos correspondentes congruentes so congruentes. Portanto, na GH, a similaridade AAA sempre uma congruncia.
Problema 22.6.12.
Lembramos que, segundo a Denio 22.13, d(ABC) a decincia angular do tringulo ABC . Dado um tringulo ABC , seja D um ponto entre A e B . Mostre que
d(ABC) = d(ACD) + d(BCD).
Problema 22.6.13.
Na GH construa, a partir de qualquer tringulo retngulo, um tringulo

cuja decincia o dobro da do tringulo original.
Problema 22.6.14.
Seja k a constante denida no Teorema 22.14. Explique por que na GH

a rea de qualquer tringulo menor do que 180k 2 (ou k 2 se os ngulos so medidos em
radianos).
Problema 22.6.15.
Na GH d uma denio apropriada de decincia de quadriltero convexo, de modo que se tomarmos um quadriltero e o dividirmos em dois quadrilteros com um
segmento que liga um lado ao lado oposto, ento a soma das decincias dos novos quadrilteros
igual decincia do quadriltero original. Com essa denio, o que ocorre com a decincia
de um quadriltero quando o dividimos em dois tringulos com uma diagonal? E se dividimos
o quadriltero em um tringulo e um quadriltero ligando um vrtice com um lado?
269
Problema 22.6.16.
De uma certa geometria sabe-se que valem os axiomas de H1 a H8. Sabese tambm que em qualquer tringulo a soma dos ngulos internos 180. Prove que vale o
Axioma E16 (unicidade da reta paralela, pg. 144).
Problema 22.6.17. De uma certa geometria sabe-se que valem os axiomas de H1 a H8. Sabese tambm que em qualquer tringulo a soma dos ngulos internos < 180. Prove que vale o
Axioma H9 (no unicidade das paralelas, pg. 261).
Problema 22.6.18. Complementando o Problema 21.7.21, na pgina 255, interprete e explique
a Figura 22.10.
.....
...... ..
..... ..
...... ....
.....
.
.
.
.
.
.
.
......
...
.....
...
......
..
......
..
.....
.
.
.
.
.
.
.
......
...
.....
...
......
..
......
..
.....
.
.
.
.
.
.
.
......
...
.....
...
.....
..
......
..
......
.
.
.
.
.
.
......
...
.....
...
......
> a + b na GH
= a + b na GE
< a + b na GSE
Figura 22.10. Figura do Problema 22.6.18
Problema 22.6.19.
Sabemos que na GE qualquer ngulo inscrito em uma semicircunferncia

reto. Explique por que, na GH, esses ngulos so agudos.
Problema 22.6.20.
Explique por que o modelo de Klein de GH, descrito no Exemplo 22.6,

satisfaz o Axioma H2.
Problema 22.6.21.
Explique por que o modelo de Poincar de GH, descrito no Exemplo 22.8,

satisfaz o Axioma H1.
Problema 22.6.22. Retomando o modelo de Klein de GH descrito no exemplo 22.6, prove que
se P , Q e R so pontos de uma reta dessa geometria, com P Q R, ento d(P, Q) + d(Q, R) =

d(P, R).
Problema 22.6.23.
Desenhe circunferncias e seus centros no modelo de Poincar de GH,

descrito no exemplo 22.7.
O quadriltero de Saccheri foi denido na pgina 123. Vamos relembrar aqui sua denio
e as propriedades j estudadas.
Denio 9.35 O quadriltero ABCD
chama-se quadriltero de Saccheri se AD = BC e se
A = B = 90. A medida de AD chama-se lado lateral, AB chama-se base, CD chama-se cume,

chamam-se ngulos do cume. Conra a Figura 22.11.
e C e D
Foi visto no Problema 9.13.33 que o segmento que liga os pontos mdios da base e do cume
de um quadriltero de Saccheri perpendicular a ambos. Foi provado tambm (Problema
9.13.34) que AC = BD e que os ngulos do cume so congruentes. Para provar esses resultados
foram utilizados os Axiomas de E1 a E15, portanto valem na GE e na GH.
No Problema 10.3.10, pgina 148, foi provado que todo quadriltero de Saccheri um
retngulo. Para isso foi usado o Axioma E16 (unicidade da paralela).
270
cume
base
Figura 22.11. O quadriltero de Saccheri.
Problema 22.6.24.
Explique por que, na GH, possvel construir quadrilteros de Saccheri.

Faa isso teoricamente, isto , usando os axiomas. Desenhe esses quadrilteros nos modelos
22.7 e 22.8 de GH de Poincar. Explique por que, em qualquer quadriltero de Saccheri, o
cume paralelo base.
Problema 22.6.25.
Explique por que, na GH, os ngulos do cume de qualquer quadriltero

de Saccheri no so retos, mas so agudos. Reestude agora o Problema 9.16.7, da pgina 140,
explicando por que usando apenas os axiomas de E1 a E15 no possvel mostrar que um
quadriltero de Saccheri qualquer um retngulo.
Problema 22.6.26.
Mostre que na GH todo quadriltero de Saccheri tem base menor do que

o cume. Prove tambm que o segmento que une os pontos mdios da base e do cume menor
do que o lado lateral.
Problema 22.6.27.
Chamamos de quadriltero de Lambert a qualquer quadriltero com trs

ngulos retos. Explique por que na GE todo quadriltero de Lambert um retngulo, mas
na GH qualquer quadriltero de Lambert no um retngulo. Verique que uma forma de
obter quadrilteros de Lambert dividir ao meio um quadriltero de Sacheri, e que todo
quadriltero de Lambert est dessa forma associado a um quadriltero de Sacheri. Explique
por que num quadriltero de Lambert agudo o ngulo no reto. Prove que num quadriltero
de Lambert cada um dos lados contguos ao ngulo agudo maior do que o respectivo lado
oposto.
Problema 22.6.28.
Mostre que na GH existem pentgonos quadriretngulos, isto , com

quatro ngulos retos. Desenhe esses pentgonos nos modelos 22.7 e 22.8 de GH de Poincar.
Problema 22.6.29. Suponha que em uma certa geometria valem os axiomas H1 a H9 e que
os ngulos do cume de qualquer quadriltero de Saccheri so agudos. Prove que em qualquer
tringulo a soma dos ngulos < 180.
Sugesto: Siga os seguintes passos. Seja ABC um tringulo qualquer. Sejam D e E os pontos
mdios de AB e AC , respectivamente. Sejam F , G e H pontos de DE tais que BF , AG e CH

so perpendiculares a essa reta. a) Prove que G = D = F ou que F e G esto em lados opostos
em relao reta AB . Portanto ocorrem apenas os casos descritos na Figura 22.12. b) Vamos
provar o resultado no caso (1) da Figura 22.12. Complete os detalhes. Temos BDF
= ADG
logo BF = AG. Ainda HCE
GAE
logo
AG
=
CH
.
Portanto
BF
=
CH
e
BCHF
=
um quadriltero de Saccheri com base HF e cume BC . Por hiptese os ngulos do cume so
\
\ < 180. Mas essa soma igual soma dos ngulos
agudos, e sua soma m(F
BC) + m(HCB)
internos do tringulo ABC . c) Prove o resultado nos casos (2) e (3) da Figura 22.12.
271
A...........
..
......
... ..
.. .....
...
...
.
.
...
..
...
...
...
...
...
...
.
.
.
...
.
..
...
.
.
...
..
.
.
...
...
.
...
.
.
...
.
..
.
...
.
..
...
.
.
...
..
.
.
...
...
.
...
.
.
.
...
..
.
...
.
..
...
.
.
.
...
...
E H
(1)
A.......
... ......
... .......
... ........
......
...
......
...
......
...
......
...
......
...
......
......
...
......
...
......
...
......
...
......
......
...
......
...
......
...
......
...
......
...
......
......
...
......
...
......
...
......
...
......
...
......
......
...
......
..
(2)
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
....
(3)
Figura 22.12. Figura do Problema 22.6.29.

Tema 22.7.1.
Leia em livros de Histria da Matemtica qual foi o papel dos seguintes pesquisadores no descobrimento das geometrias no-euclidianas: Gerolamo Saccheri, Nicolai Lobachevski, Johann Bolyai e Karl F. Gauss, dentre outros.
Tema 22.7.2.
O matemtico William K. Cliord, referindo-se ao trabalho de Lobachevski

sobre geometrias no-euclidianas, teria escrito que ele est para Euclides assim como Nicolau
Coprnico est para Cludio Ptolomeu ([24], pg. 125). Explique esse comentrio.
Tema 22.7.3.
Estude as implicaes loscas e cientcas da descoberta das geometrias no

euclidianas. Uma possibilidade o Captulo 8 de [32].
Tema 22.7.4. O Problema 22.6.29 encaminha a demonstrao do Teorema 22.9.
Est faltando
provar que se valem os axiomas H1 a H9, ento os ngulos do cume de todo quadriltero de
Saccheri so agudos. Estude uma demonstrao desse resultado em algum livro de Geometria
Hiperblica.
Tema 22.7.5.
Investigue sobre a convenincia ou no de abordar conceitos de geometrias

hiperblicas no ensino bsico, e, se for o caso, como isso poderia ser feito.
Tema 22.7.6.
Professores do ensino fundamental devem aprender geometrias no-euclidianas?

Se sim, como e o que assuntos.
272
Captulo 23
Tpicos de Geometria Elementar
EM CONSTRUO
23.1 Introduo
23.2 Os Princpios de Cavalieri para reas e volumes
O estudo de volumes de slidos no ensino mdio tem como base o Princpio de Cavalieri. Esse
princpio tambm pode ser usado para reas de regies do plano. Existem, inclusive, verses
mais gerais desse princpio, tanto para reas como para volumes, em que a razo entre os
comprimentos ou reas das fatias no precisa ser 1, mas pode ser uma razo positiva qualquer.
No nos esqueamos de que o Princpio de Cavalieri, normalmente adotado como postulado
nos textos para ensino da Matemtica Elementar, na verdade um teorema. Para demonstr-lo
suciente usar alguns poucos conceitos da teoria de integrao de funes reais. O Princpio de
Cavalieri adotado sem demonstrao para evitar as diculdades de se apresentar precocemente
essa teoria. As diculdades cam concentradas em uma nica armao, que assumida como
plausvel mediante uma boa explicao do professor. A ideia traduzida por esse princpio fcil
de entender, e parece que os estudantes do ensino mdio no tm resistncia em aceit-la.
Esses princpios levam o nome do matemtico italiano Bonaventura Francesco Cavalieri,
que os chamava de mtodo dos indivisveis, e os divulgou (em verses mais restritas) atravs
de seu famoso livro Geometria Indivisibilibus, de 1635. Mas, na verdade, esse mtodo muito
anterior a Cavalieri. Era conhecido dos antigos gregos, como Demcrito e Arquimedes, que
o utilizavam para obter volumes de slidos. Esses resultados eram depois demonstrados pelo
mtodo da dupla reduo ao absurdo, j que na poca no tinham uma teoria de integrao.
O mesmo faziam muitos matemticos dos sculos XVI e XVII.
Vejamos duas verses desse princpio, uma para reas e outra para volumes.
Princpio de Cavalieri para reas Sejam R e S regies limitadas de um plano, e seja r uma
reta desse plano. Suponha que, para toda reta s paralela a r, as intersees de R e S com s
sejam vazias ou segmentos tais que a razo entre seus comprimentos constante. Ento a razo
entre as reas de R e S essa mesma constante.
Princpio de Cavalieri para volumes
Sejam P e Q slidos limitados, e seja um plano.

Suponha que, para todo plano paralelo a , as intersees de P e Q com sejam vazias ou
regies tais que a razo entre suas reas constante. Ento a razo entre os volumes de P e Q
essa mesma constante.
273
274
Veremos agora como cam as verses dos Princpios de Cavalieri como teoremas.
Consideremos inicialmente o Princpio de Cavalieri para reas. possvel demonstrar esse
resultado desde que as regies no sejam muito complicadas. Em particular, vale para discos e
regies elpticas. A ideia inicial da demonstrao simples: estamos fatiando as duas regies.
Se a quantidade de fatias for nita e se cada fatia de uma regio tiver rea sempre na mesma
razo que a fatia correspondente da outra regio, ento somamos as reas das fatias de cada
regio e obtemos o resultado. A diculdade que, no Princpio de Cavalieri para reas, as
fatias so segmentos. Portanto no tm rea, mas comprimentos, e sua quantidade innita.
Assim, para a demonstrao, precisamos de uma tcnica que permita obter a rea de uma
regio atravs da soma dos comprimentos de innitos segmentos. Essa tcnica fornecida pela
teoria de integrao de funes reais, estudada nos cursos de Clculo Diferencial e Integral.
Consideraes semelhantes podem ser feitas para o Princpio de Cavalieri para volumes.
Portanto as demonstraes dos dois princpios de Cavalieri constituem uma aplicao direta
da teoria de integrao de funes reais. Observamos inicialmente que os enunciados desses
princpios feitos acima no se preocupam em denir condies sobre as fronteiras das regies
e dos slidos. Mas sabemos que necessrio impor condies de integrabilidade. Entendemos
que isso no feito nos livros textos do ensino bsico, primeiro para no desviar a ateno
do estudante, segundo por que, naqueles contextos, os princpios so aplicados para regies e
slidos muito simples, que satisfazem naturalmente as condies de integrabilidade.
Vejamos ento como podemos enunciar os princpios de Cavalieri na forma de teoremas. Se
R uma regio do plano, indicaremos sua rea por a(R).
Princpio de Cavalieri para reas Consideremos em um plano um sistema de coordenadas

cartesianas Oxy , e seja R a regio delimitada por y = 0, y = b > 0 e pelos grcos das
funes contnuas x = f1 (y) e x = f2 (y), 0 y b, com f1 (y) f2 (y) para todo y . Seja
S a regio delimitada por y = 0, y = b e pelos grcos das funes contnuas x = g1 (y) e
x = g2 (y), 0 y b, com g1 (y) g2 (y) para todo y . Suponhamos que exista k > 0 tal que
f2 (y) f1 (y) = k [g2 (y) g1 (y)] para todo y . Ento a(R) = ka(S).
Demonstrao.
Da teoria de integrao de funes reais temos:
b [
a(R) =
dxdy =
R
f1 (y)
[f2 (y) f1 (y)] dy =

0
k [g2 (y) g1 (y)] dy = k
dx dy =
f2 (y)
[g2 (y) g1 (y)] dy = = ka(S)

0
o que demonstra a armao.

Se P um slido, indicaremos seu volume por v(P).
Princpio de Cavalieri para volumes Consideremos um sistema de coordenadas cartesianas
Oxyz , e seja P um slido nito delimitado por z = 0, z = c > 0 e por uma quantidade nita de
grcos de funes contnuas do tipo y = f (x, z) e x = g(y, z). Para cada t tal que 0 t c,
seja Pt a interseo de P com o plano z = t. Seja Q outro slido nito delimitado por z = 0,
z = c > 0 e por uma quantidade nita de grcos de funes contnuas do tipo y = f (x, z)
e x = g(y, z). Para cada t tal que 0 t c, seja Qt a interseo de Q com o plano z = t.
Suponhamos que exista k > 0 tal que a(Pt ) = ka(Qt ) para todo t. Ento v(P) = kv(Q).

Demonstrao.
275
Da teoria de integrao de funes reais temos:
c
c
v(P) =
dxdydz =
a(Pz )dz =
dxdy dz =
0
a(Qz )dz = = kv(Q)
ka(Qz )dz = k
0
Pz
o que demonstra a armao.

Vejamos agora dois exemplos no usuais de aplicao dos princpios de Cavalieri, um para
reas, e outro para volumes.
rea da elipse A rea da regio elptica de semieixos a e b ab.
Consideremos, em um sistema de coordenadas Oxy , a regio semielptica R

dada por x /a + y 2 /b2 1 e y 0, sendo b a > 0.
Demonstrao.
2
2
y
b
...........................
.......
......
.....
.....
.....
.....
....
.
...
.
...
...
.
...
..
.
...
..
.
...
..
...
.
...
....
...
...
...
...
...
...
...
...
.
..............................
..............
........
........
.......
......
.......
.....
......
.
.
.
.
.....
....
.
.....
.
.
...
...
.
.
...
...
.
...
..
...
.
...
..
.
...
....
...
...
...
...
...
...
..
b x
Figura 23.1. rea da regio elptica
Sejam f1 (y) = a 1 y 2 /b2 e f2 (y) = a 1 y 2 /b2 , para

o
0 y b. Consideremos
2
2
2
2
2
2
2
semidisco S dado por x + y b e y 0. Sejam g1 (y) = b y e g2 (y) = b y ,
para 0 y b. Notemos que
y2
2a 2
a
f2 (y) f1 (y) = 2a 1 2 =
b y 2 = [g2 (y) g1 (y)]
b
b
b
Estamos assim em condies de aplicar o Princpio de Cavalieri para reas, com k = a/b. Com
isso temos
a
a b2
ab
a(R) = a(S) =
=
b
b 2
2
Essa a rea da regio semielptica. Duplicando, segue o resultado.
volume do elipside O volume do elipside de semieixos a, b e c

Demonstrao.
4
abc.
3
Suponhamos c b a > 0, e consideremos o semielipside P denido por
x2 y 2 z 2
+ 2 + 2 1,
a2
b
c
z0
fcil ver que esse slido delimitado pelos planos z = 0, z = c e pelos grcos de duas
funes contnuas do tipo y = f (x, z) (ou do tipo x = g(y, z)). Alm disso, para cada t tal que
0 t c, a interseo Pt de P com o plano z = t dada por
x2 y 2 t2
+ 2 + 2 1
a2
b
c
x2 y 2
t2
c2 t2
+
=
a2
b2
c2
c2
276
......................
.........
......
......
.....
.....
.....
.....
...
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.. ...... .....
.
.
.
. ....
..... .......
.
....
....
.
.....
.........
..... ..
.... ................................................................ .....
...
...
....... ......... .......
.
..
.. .......
....... ....
..
... . .....
..
......
.
.
........
..
..
.
...
.
.
...
......
...
......
..........
.................................................................
.
.
.
.
...
...
P
a
x
..............................
..............
........
........
.......
.......
.
...... ...... ....... ....... ....... ....... .. ..........
.
.
.
.
..... ......
........... .
.
.........
.
.
....
...
.
.
.
.
...
...
...
.......
.
.....
..... .....
.. ..........
.
.
.
.
................ ....... ....... .................. .....................
...
....
... .................................................................... .......
....... .....
.. .... ....
.
..
... ...
......
...
.
......
.
..
...
...
..
.....
...
.
.
.
.
.
.
.
.......
..
......
.........
........
...
.
.
..............
.
.
.
.
.
.
.
.
.
.
.
....................................................................
.
...
c
x
c y
Figura 23.2. Volume do elipside

Seja d =
(c2 t2 )/c2 = (1/c) c2 t2 . Ento Pt dado por

x2
y2
+
1
(ad)2 (bd)2
e, em virtude do resultado anterior, sua rea
ab 2
(c t2 )
c2
(ad)(bd) = abd2 =
Consideremos agora a semiesfera Q denida por
x2 + y 2 + z 2 c2 ,
z0
fcil ver que esse slido delimitado pelos planos z = 0, z = c e pelos grcos de duas
funes contnuas do tipo y = f (x, z) (ou do tipo x = g(y, z)). Alm disso, para cada t tal que
0 t c, a interseo Qt de Q com o plano z = t dada por
x2 + y 2 + t2 c2
Seja r =
c2 t2 . Ento Qt dado por
x2 + y 2 c2 t2
x2 + y 2 r2
e sua rea r2 = (c2 t2 ).
Notemos que, para cada t tal que 0 t c,
a(Pt ) =
ab 2
ab
(c t2 ) = 2 a(Qt )
2
c
c
Estamos assim em condies de aplicar o Princpio de Cavalieri para volumes com k = ab/c2 .
Temos ento
ab 1 4 3 1 4
v(P) = kv(Q) = 2
c =
abc
c 23
23
Esse o volume do semielipside. Duplicando, segue o resultado desejado.
23.3 Problemas
Problema 23.3.1.
Use o Princpio de Cavalieri para reas para deduzir a rea de um paralelogramo qualquer a partir da rea de um retngulo conveniente.
Problema 23.3.2.
Deduza a rea de um tringulo retngulo qualquer a partir da rea de

um retngulo conveniente. Usando o Princpio de Cavalieri para reas deduza a rea de um
tringulo qualquer a partir da rea de um tringulo retngulo conveniente.
277
23.4 Alguns desaos da Geometria Plana

Mesmo um assunto to antigo como a Geometria Elementar tem inmeros problemas dos quais
no conhecemos a soluo. Uma lista desses problemas, com pequena descrio de cada um,
pode ser consultada em [16].
Apresentamos aqui apenas um deles para apreciao de nosso leitor. Trata-se de um problema de Geometria Discreta, chamado espalhamento de pontos em um quadrado. Outros
problemas dessa rea podem ser estudados em [11].
Dados n pontos espalhados em um quadrado de lado 1, consideremos a menor das distncias
entre dois quaisquer desses pontos. Tomando todos os espalhamentos possveis de n pontos,
seja dn a maior dentre essas menores distncias.
Por exemplo, espalhando dois pontos em um quadrado unitrio, a maior distncia possvel
entre
eles obtida quando os pontos esto em vrtices opostos. Conra a Figura 23.3. Portanto
d2 = 2. Pode-se ainda ver na mesma Figura as conguraes para n = 4, 5 e 9.
So conhecidos valores exatos de dn para 2 n 9, assim como para n = 14, 16, 25 e
36. Outros valores at 28 foram obtidos com a ajuda de algoritmos computacionais. Para mais
detalhes conra [11] pgs. 28 a 43 e [16] pgs. 108 a 110.
.........
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.
d2 = 2
d4 = 1

d5 = 2/2
.........
..
...
...
...
...
...
...
.
...
.
...
...
...
...
... ....
.......
.....
.
.
... .....
...
...
...
...
...
...
...
...
.
.
...
..
.
...
.
..
...
.
.
.
..
d9 = 1/2
Figura 23.3. Espalhamento de pontos em um quadrado unitrio.

Alguns
valores conhecidos:
d2 = 2
d3 = 6 2
d4 = 1
d5 = 2/2
d6 = 13/6
d7 = 2(2
3)
d8 = ( 6 2)/2
d9 = 1/2
d10 0, 42127
d11 0,
398
d12 34/15
d13 (3
1)/2
d14 = ( 6 2)/3
Alguns valores sugeridos:
d15 = 4/(8 +
2 + 6)
d20 = (6 2)/16
d23 = ( 6 2)/4
d24 = 2/(4 + 2 + 6)
Para n sucientemente grande vale o seguinte:
278
2
dn
4
3 n
23.5 Problemas
Problema 23.5.1.
Estude alguns casos do problema de espalhamento de pontos em um quadrado. Por exemplo, para n = 3, 6, 25.
Problema 23.5.2. Seja s(n)

o lado do menor quadrado no qual se pode empacotar
n quadrados
unitrios. Prove que s(n) = n se n for um quadrado perfeito. Prove que

n s(n) n
1
para todo n. Estude os seguintes valores: s(2) = s(3) = 2, s(5) = 2 + 2 2 e s(7) = s(8) =
s(9) = 3.

Tema 23.6.1.
Examine os livros didticos que so ou foram adotados para o estudo da Matemtica no ensino mdio e analise como eles apresentam o Princpio de Cavalieri e exatamente
em que pontos da teoria de volumes esse princpio utilizado.
Tema 23.6.2.
Uma das mais belas aplicaes do Princpio de Cavalieri no clculo do volume

da esfera. Por que no vemos um clculo similar para a rea do disco?
23.7 Atividades para licenciandos e professores

Atividade 23.7.1. Comente a armao feita nesse texto (incio da Seo 23.2), de que a ideia
traduzida pelo Princpio de Cavalieri fcil de entender e parece que os estudantes do ensino
mdio no tm resistncia em aceit-la. Ela est de acordo com sua experincia pessoal?
Atividade 23.7.2.
No ensino mdio o Princpio de Cavalieri aceito como uma armao

plausvel, isto , o professor d uma boa explicao, que suciente para os estudantes entenderem, mas a armao no demonstrada. D exemplos de outras armaes matemticas
plausveis que costumam aparecer no ensino bsico.
Apndice A
Crditos das guras
As guras aqui no referidas foram construdos pelo autor com o uso do programa grco vetorial
Inkscape ou com o Pictex.
Observao:
Capa e Apresentao
Figura da capa externa
Construda pelo autor com o Inkscape.
Clip Art Inkscape http://www.openclipart.org/ Autor: Kattekrab. Domnio

pblico. Consultado em outubro de 2010.
Figura da capa interna
Figura da Apresentao, pgina vii Clip Art Inkscape http://www.openclipart.org/ Autor: Krauskopf
Tom Machovka. Domnio pblico. Consultado em outubro de 2010.
Captulo 1: Origem da Geometria

Figura 1.1, pgina 5: Imagem de Reto Stckli, disponvel em NASA Goddard Space Flight Center http:
//veimages.gsfc.nasa.gov/2429/globe\_west\_540.jpg Consultado em dezembro de 2010. Imagem de do-
mnio pblico.
Clip Art Inkscapehttp://www.openclipart.org/ Autor: Papapishu. Domnio pblico. Consultado em outubro de 2010.
Figura 1.2, pgina 6:
Recorte de foto de uma esttua de Jean Piaget obtida de http://www.picswiss.ch/

Genf/GE-05-07.html Os direitos autorais so de propriedade do fotgrafo Roland Zumbhl. Permitido uso
privado no comercial. Consultado em dezembro de 2010.
Clip Art Inkscape http://www.openclipart.org/ Autor: Papapishu. Domnio pblico. Consultado em outubro de 2010.
Imagem do artigo [82] http://rupestreweb.tripod.com/colorado.html Consultado
Imagem do artigo [82] http://rupestreweb.tripod.com/colorado.html Consultado
em dezembro de 2010.
http://en.wikipedia.org/wiki/Prehistoric_art Direitos de imagem de acordo

com o sistema GNU Free Documentation License. Consultado em dezembro de 2010.

National Park Service
http://www.nps.gov/meve/forteachers/artifactgallery\_basket.htm Stio do
do EEUU. Imagem de domnio pblico. Consultado em dezembro de 2010.
http://en.wikipedia.org/wiki/Ceramic\_art Direitos de imagem de acordo com o
sistema Creative Commons. Consultado em dezembro de 2010.
Foto de Ricardo Liberato, de 19 de junho de 2006. http://en.wikipedia.org/

wiki/File:All\_Gizah\_Pyramids.jpg Imagem de domnio pblico. Consultado em dezembro de 2010.
Composio do autor construda com o Inkscape com material disponibilizado pelo
279
280
Clip Art Inkscape http:/www.openclipart.org/ e por Clker.com http://www.clker.com/clipart-11547.

html. Consultado em dezembro de 2010.
http://pt.wikipedia.org/wiki/Discoidea Desenhos de Ernst Haeckel, em Kunst. Imagem de domnio pblico. Consultado em dezembro de 2010.

formen der Natur
http://en.wikipedia.org/wiki/Carbon_nanotubes Figuras construdas por Ar-
nero. Imagem de domnio pblico. Consultado em dezembro de 2010.
http://hubblesite.org/gallery/album/entire/pr2003028a/ Crdito: NASA

and The Hubble Heritage Team (STScI/AURA) Imagem de domnio pblico. Consultado em dezembro de
2010.
Clip Art Inkscape http://www.openclipart.org/ Autor: egonpin. Domnio pblico. Consultado em dezembro de 2010.
A foto do
Electron and Confocal Microscopy Laboratory, Agricultural Research
, disponvel em http://emu.arsusda.gov/snowsite/default.html.
Domnio pblico. Os desenhos foram extrados da classicao de cristais de gelo de Magono e Lee, disponvel em http://emu.arsusda.gov/snowsite/Magono_and_Lee/Magono_and_Lee_Classification1.html.
Consultado em dezembro de 2010.
Service, U. S. Department of Agriculture
Captulo 2: Gnese dos conceitos geomtricos

Figuras de [58], pginas 225 e 226.
Composio de guras adaptadas de Clip Art Inkscape http://www.openclipart.
org/
org/
Captulo 3: Presena da Geometria na sociedade

Foto do autor.
Foto do Congresso Nacional do Brasil, disponvel na pgina http://en.wikipedia.

org/wiki/File:National_Congress_of_Brazil.jpg Autor: Marcelo Jorge Vieira. Data: 5 de maio de 2006.
Licena sob Creative
. Consultado em maio de 2011.
Commons Attribution-Share
Foto da Biosfera de Montral, disponvel na pgina http://en.wikipedia.org/

wiki/File:Biosphre_Montral.jpg Autor: Cdric Thvenet. Data: 12 de outubro de 2001. Licena sob
. Consultado em dezembro de 2011.
GNU Free Documentation License
Clip Art Inkscape http://www.openclipart.org/ Autor: tom. Domnio pblico.

Consultado em maio de 2011.
Figura 3.6, pgina 25: Foto de janelas da Old Ship Church, Hingham, Massachusetts, disponvel em http:
//en.wikipedia.org/wiki/File:OldShipWindows.jpg Autor: Timothy Valentine. Data: 21 de fevereiro de
2009. Licena sob Creative
Detalhe do famoso mausolu Taj Mahal, disponvel em http://en.wikipedia.org/

wiki/File:Jali-inlay.jpg Autor: William Donelson. Data da publicao: 2 de julho de 2007. Licena sob
Creative Commons Attribution-Share
Composio adaptada de desenho disponvel em Wikipedia http://en.wikipedia.

org/wiki/File:Architectural_drawing_001.png Autor: ProfDEH. Data: 12 de junho de 2009. Licena sob
Creative Commons Attribution-Share
Composio de guras de Clip Art Inkscape http://www.openclipart.org/ Autores:

gustavorezende e Rfc1394. Domnio pblico. Consultado em dezembro de 2011.
Adaptao de gura de Krishnavedala, de 22 de maio de 2011, disponvel em http://

Creative Commons Attribution-Share. Consultado
en.wikipedia.org/wiki/File:Helicoid.svg Licena sob
Crditos das guras
281
Figura 3.12, pgina 27: Domnio pblico, disponvel em http://en.wikipedia.org/wiki/File:Archimedes_

screw.JPG Original publicado na Chambers's Encyclopedia (Philadelphia: J. B. Lippincott Company, 1875).
Consultado em dezembro de 2011.
Fotograa de M.A. Wijngaarden, de 22 de outubro de 2006. Disponvel em http://

en.wikipedia.org/wiki/File:IMG_1729_Gemaal_met_schroef_van_Archimedes_bij_Kinderdijk.JPG Licena
sob Creative
. Consultado em dezembro de 2011.
pgina 27: As guras dos alicates esto disponveis em Clip Art Inkscape http://www.
openclipart.org/ Autores: Raz Petr / Machovka. Domnio pblico. Consultado em dezembro de 2011.
Figura 3.14,
Ladrilhamento rmbico de Penrose, construdo por Inductiveload (http://commons.

wikimedia.org/wiki/User:Inductiveload) em 1 de fevereiro de 2009. Disponvel em http://en.wikipedia.
org/wiki/File:Penrose_Tiling_(Rhombi).svg Domnio pblico. Consultado em dezembro de 2011.
Fractal construdo com o programa Sterling2 (freeware) por Soler97 em 2 de outubro

de 2011. Disponvel em http://en.wikipedia.org/wiki/File:Sterling2_4906aa4.jpg Licena sob Creative
Commons Attribution-Share. Consultado em dezembro de 2011.
Disponibilizada pelo
html Consultado em dezembro de 2010.
, http:/www.roerich.org/index.
Nicholas Roerich Museum
Autor: Johnstone. Disponvel em http://en.wikipedia.org/wiki/File:Spacetime_

GNU Free Documentation License. Consultado em dezembro de 2011.
curvature.png Direitos sob

Autor: Michael Strck. Data: 6 de fevereiro de 2006. Disponvel em http:

GNU Free Documentation License. Consultado em
//en.wikipedia.org/wiki/File:C60a.png Direitos sob
dezembro de 2011.
em
Autor: Chris 73 (http://en.wikipedia.org/wiki/User:Chris_73). Disponvel
http://commons.wikimedia.org/wiki/File:NautilusCutawayLogarithmicSpiral.jpg
Direitos sob the creative commons cc-by-sa 3.0 (http://creativecommons.org/licenses/by-sa/3.0/). Con-
sultado em dezembro de 2011.
Detalhe de um vitral da Catedral Notre-Dame de Chartres, disponvel em Wikipedia
http://commons.wikimedia.org/wiki/File:Vitrail_Chartres_210209_26.jpg Autor: Vassil. Data: 01 de
abril de 2009. Domnio pblico. Consultado em dezembro de 2011.
Figura disponvel em Clip Art Inkscape http://www.openclipart.org/ Autores:

Josiah / yoderj. Domnio pblico. Consultado em dezembro de 2011.
Captulo 4: Investigaes iniciais

Foto do autor, 16 de fevereiro de 2011.
org/
Poliedros construdos e fotografados pela Profa. Marlusa Benedetti da Rosa (CApUFRGS), data de agosto de 2010. Publicado sob licena.
Poliedros construdos por estudante do curso de Licenciatura em Matemtica

da UFSCar. Foto do autor, 16 de fevereiro de 2011.
Figuras 4.6 e 4.7, pgina 39:

org/, Stock.XCHNG http://www.sxc.hu/ e Wikipedia http://en.wikipedia.org/wiki
org/
org/

282
Figura de [56], pgina 240.
org/
org/
http://pt.wikipedia.org/wiki/Cubo_soma Adaptao de guras construdas por

Rodrigo Rocha. Imagem de domnio pblico. Consultado em janeiro de 2011.
http://en.wikipedia.org/wiki/File:Tesseract2.svg Adaptao de gura construda por Stannered de primeiro de abril de 2007. Imagem de domnio pblico. Consultado em fevereiro de
2012.
Composio geomtrica com cores inspiradas em friso de vaso do povo indgena americano Pueblo, consultado em http://www.indianpueblo.org/museum/index.html, data dezembro de 2010.
Composio inspirada em friso de vaso Ming, conforme descrito em Frieze Patterns

, de Poh Kim Muay, pgina 33, consultado em www.math.nus.edu.sg/aslaksen/projects/
rp-urops.pdf, data dezembro de 2010.
on Ming Porcelans
Figura 4.43, pgina 54: Composio com desenho de Xah Lee em http://www.xahlee.org/MathGraphicsGallery_
dir/Tiling_dir/tiling.html. Permitido uso no comercial. Consultado em dezembro de 2010.
Captulo 5: Incio da construo da Geometria

org/
Captulo 15: Prismas e pirmides
Desenho da esquerda: http://http://en.wikipedia.org/wiki/File:Cube_t0_

fb.png Imagem de domnio pblico. Consultado em maro de 2014. Desenho central: http://en.wikipedia.
org/wiki/File:Cube_rotorotational_symmetry.png Autor: Tomruen, de 5 de fevereiro de 2014. Licena:
Creative Commons Attribution-Share Alike 3.0 Consultado em maro de 2014. Desenho da direita: http://
en.wikipedia.org/wiki/File:Hexahedron.svg Autor: DTR Licena: Creative Commons Attribution-Share
Alike 3.0 Consultado em maro de 2014.
Figura 15.10, pgina 210: Figura de Clip Art Inkscape http://www.openclipart.org/detail/104335/

3d-stairs-by-10binary Consultado em maro de 2014. Imagem de domnio pblico.
Desenho da esquerda: Figura de Clip Art Inkscape http://www.openclipart.

org/detail/60667/tetrahedron-by-laobc Imagem de domnio pblico. Consultado em maro de 2014.
Desenho central: Figura de Clip Art Inkscape Imagem de domnio pblico http://www.openclipart.org/
detail/181458/refactoring-pyramid-by-aulitin-181458 Consultado em maro de 2014. Desenho da direita: http://http://en.wikipedia.org/wiki/File:Tetrahedron.svg Autor: DTR Licena: Creative Com-
mons Attribution-Share Alike 3.0 Consultado em maro de 2014.
Captulo 21: Geometria na superfcie esfrica
Imagem dos astronautas Harrison Schmitt ou Ron Evans da Apollo 17, disponvel em
NASA Goddard Space Flight Center http://nssdc.gsfc.nasa.gov/imgcat/midres/a17_h_148_22727.gif
Consultado em abril de 2011. Imagem de domnio pblico.
Capa da sexta edio do livro Flatland: A Romance of Many Dimensions, escrito

pelo professor Edwin Abbott Abbott e publicado em 1884 na Inglaterra. Imagem de domnio pblico, obtida
em http://en.wikipedia.org/wiki/Flatland Consultado em abril de 2011.
Imagem de domnio pblico, obtida em http://en.wikipedia.org/wiki/File:
Imagem de domnio pblico, obtida em http://en.wikipedia.org/wiki/File:
Trunc-icosa.jpg Consultado em abril de 2011.
Trigonal_hosohedron.png Consultado em abril de 2011.
Crditos das guras
283
Figura 21.10, pgina 257: Obtida em http://en.wikipedia.org/wiki/File:4hosohedron.svg Consultado em abril de 2011. Autor: Papa November. Data da imagem: 2008-03-08. Permisso de cpia, distribuio
e modicao sob a GNU Free Documentation License.
Captulo 22: Geometria hiperblica

Imagem de domnio pblico, obtida em http://en.wikipedia.org/wiki/Hyperbolic_
geometry Consultado em abril de 2011.
284
Referncias Bibliogrcas
[1] Aaboe, A. Episdios
tica, 1984.
da Histria Antiga da Matemtica.
Sociedade Brasileira de Matem-
[2] Angelotti, V. C. Buscando Conexes da Geometria Euclidiana do Ensino Susperior com o

Ensino Mdio. Trabalho de concluso de curso. So Carlos, UFSCar, 2011. http://www.
dm.ufscar.br/dm/index.php/atalhos/tcc-dm-ufscar
[3] Baldin, Y. Y. e Furuya, Y. S. Geometria

Geogebra. So Carlos, EdUFSCar, 2012.
Analtica para todos e atividades com Octave e
[4] Barbosa, J. L. M. Geometria Euclidiana Plana. Dcima Edio. Coleo do Professor de

Matemtica. Rio de Janeiro, Sociedade Brasileira de Matemtica, 2006.
[5] Bass, L. E.
et alii. Geometry.
Boston, Massachusetts, Pearson, 2004.
[6] Betina, A.
Projeto: Construindo o conceito de ngulo.
uol.com.br/index.html
[7] Boldrini, J. L. et
[8] Boyd, C. J.
alii. lgebra Linear.
et alii. Geometry.
http://andreia-klitzke.blog.
3a. edio. So Paulo, Editora Harbra LTDA, 1986.
New York, McGraw Hill, 2004.
[9] Boyer, C. B. Histria da Matemtica. Traduo de Gomide, E. F. So Paulo, Editora

Edgard Blcher LTDA, 1974.
[10] Brasil. Parmetros Curriculares Nacionais. Matemtica, 5a. a 8a. sries. Braslia, Ministrio
da Educao, 1998.
[11] Brass, P., Moser W. e Pach, J. Research
ger Verlag, 2005.
Problems in Discrete Geometry.
New York, Sprin-
[12] Caminha, A. M. N. Geometria Euclidiana Plana. Coleo do Professor de Matemtica.

Rio de Janeiro, Sociedade Brasileira de Matemtica, 2012.
[13] Carvalho, P. C. P. Introduo Geomeria Espacial. Coleo do Professor de Matemtica.
Rio de Janeiro, Sociedade Brasileira de Matemtica, 1993.
[14] Cederberg, J. N.
[15] Cooke, R.
1997.
A Course in Modern Geometries.
New York, Springer Verlag, 2001.
The History of Mathematics. A brief course.
[16] Croft, H. T. e Falconer, K. J. Unsolved

1991.
New York, John Wiley & Sons,
Problems in Geometry.
285
New York, Springer Verlag,
286
[17] Crowley, M. L., O Modelo Van Hiele de desenvolvimento do pensamento geomtrico. in

Lindquist, M. M. e Shulte, A. P. (orgs). Aprendendo e Ensinando Geometria. Traduo de
Domingues, H. H. So Paulo, Atual Editora, 1994. Pgs. 1 a 20.
[18] Cundy, H. M. e Rollett, A. P.
1961.
Mathematical Models.
Oxford, Oxford University Press,
[19] Dolce, O. e Pompeo, J. N. Geometria Espacial, posio e mtrica. So Paulo, Atual Editora,
1995.
[20] Dunlap, R. A. Regular Polygon Rings. The College Mathematics Journal, Vol. 29, n. 4
(setembro de 1998), Mathematical Association of America.
[21] Eisenhart, L. P.
Coordinate Geometry.
[22] Eves, H. Foundations

blications, 1967.
New York, Dover Publications, 1967.
and Fundamentals Concepts of Mathematics.
[23] Eves, H. Introduo Histria

Editora UNICAMP, 2004.
[24] Faber, R. L. Foundations
Dekker, 1983.
da Matemtica.
New York, Dover Pu-
Traduo de Domingues, H. H. Campinas,
of Euclidean and Non-Euclidean Geometry.
New York, Marcel
[25] Florencio, M. P. Transformaes no Plano e Grupos de Simetria. Trabalho de concluso de

curso. So Carlos, UFSCar, 2011. http://www.dm.ufscar.br/dm/index.php/atalhos/
tcc-dm-ufscar
[26] Fowler, D. H. The Mathematics

rendon Press, 1990.
of Plato's Academy. A new reconstruction.
[27] Frommert, H. e Kronberg, C. Messier 104 ou Sombrero

messier/m/m104.html Consultado em dezembro de 2010.
[28] Galiazzi, M. C. et
Galaxy.
Oxford, Cla-
http://seds.org/
alii, Objetivos das atividades experimentais no ensino mdio: a pesquisa
coletiva como modo de formao de professores de cincias.
2, 2001, pgs. 249-263.
Cincia & Educao, v. 7, n.
[29] Gannon, G. E. et alii, One Good Problem Leads to Another and Another and ... The
Mathematics Teacher, Vol. 90, nmero 3 (maro de 1997), pginas 188 a 191, National
Council of Teachers of Mathematics.
[30] Grande, J. J. Percepo espacial e geometria primria. In Lindquist, M. M. e Shulte, A.
P. (orgs), Aprendendo e Ensinando Geometria. Traduo de Domingues, H. H. So Paulo,
Atual Editora, 1994.
[31] Grando, R. C., Nacarato, A. M. e Gonalves, L. M. G. Compartilhando saberes em geometria: investigando e aprendendo com nossos alunos. Campinas, Cad. CEDES vol. 28 n
.
74, 2008.
[32] Greenberg, M. J. Euclidean and
H. Freeman Company, 1993.
Non-Euclidean Geometries.
Third Edition. New York, W.
Referncias bibliogrcas
[33] Guidorizzi, H. L.
Editora, 2002.
287
Um Curso de Clculo.
[34] Henderson, D. W. e Taimina, D.

2005.
volumes 1 e 3, 5a. edio. Rio de Janeiro, LTC
Experiencing Geometry.
Upper Saddle River, Pearson,
[35] Holloway, G. E. T. Concepcion del espacio en el nio segun Piaget. Buenos Aires, Editorial
Paidos, 1969.
[36] Holloway, G. E. T. Concepcion
Editorial Paidos, 1969.
[37] Hvidsten, M.
Geometry.
de la geometria en el nio segun Piaget.
Boston, McGrawHill, 2006.
[38] Ignatiev, E. I.
Em el reino del ingenio.
[39] Jacobs, H. R.
Geometry.
[40] Karpinski, L. C.
[41] Kline, M.
1972.
Moscou, Mir, 1986.
Third Edition. New York, W. H. Freeman Company, 2003.
The History of Mathematics.
New York, Russel & Russel, 1965.
Mathematical Thought from Ancient to Modern Times.
[42] Krulik, S. e Reys, R. E. A Resoluo de Problemas na Matemtica

gos, H. H. e Corbo, O. So Paulo, Atual Editora, 1998.
[43] Lang, S. e Murrow, G.
Buenos Aires,
Geometry.
Ed. Oxford University,

Escolar.
Trad. Domin-
New York, Springer-Verlag, 1988.
[44] Larson, R. E., Boswell, L. e Sti, L. Geometry. Evanston, Illinois, McDougal Littell, 1998.
[45] Lima, E. L. reas e Volumes. Coleo Fundamentos da Matemtica Elementar. Rio de
Janeiro, Sociedade Brasileira de Matemtica, 1985.
[46] Lima, E. L. Isometrias. Coleo do Professor de Matemtica. Rio de Janeiro, Sociedade
Brasileira de Matemtica, 1995.
[47] Lima, E. L. et alii. A Matemtica do Ensino Mdio. Volumes 1, 2 e 3. Coleo do Professor
de Matemtica. Rio de Janeiro, Sociedade Brasileira de Matemtica, 1996.
[48] Lima, E. L. Geometria Analtica e lgebra Linear. Coleo Matemtica Universitria. Rio
de Janeiro, Instituto de Matemtica Pura e Aplicada, 2001.
[49] Lima, E. L. Coordenadas no Plano. Coleo do Professor de Matemtica. Rio de Janeiro,
Sociedade Brasileira de Matemtica, 2002.
[50] Lima, E. L. Curso de Anlise. Vol. 1. 11a. edio. Projeto Euclides. Rio de Janeiro, Instituto
Nacional de Matemtica Pura e Aplicada, 2004.
[51] Lindquist, M. M. e Shulte, A. P. (orgs). Aprendendo
Domingues, H. H. So Paulo, Atual Editora, 1994.
[52] Meyer, W.
Geometry and its Applications.
e Ensinando Geometria.
Traduo de
Second Edition. Amsterdan, Elsevier, 2006.
[53] Moise, E. E. Elementary Geometry from an advanced

Addison-Wesley Publishing Company, 1974.
standpoint.
Reading, Massachusetts,
288
[54] Moise, E. E. e Downs, F. L. Geometria Moderna. Volumes 1 e 2. Traduo de Watanabe,

R. e Mello. D. A. Braslia, Editora Universidade de Braslia e Editora Edgard Blcher,
1971.
[55] Monteiro, L. H. J., Elementos de lgebra. Coleo Elementos de Matemtica. Rio de
Janeiro, Instituto de Matemtica Pura e Aplicada, Universidade de So Paulo e Ao Livro
Tcnico, 1969.
[56] Nacarato, A. M.
Educao Continuada Sob a Perspectiva da Pesquisa-Ao: currculo em
ao de um grupo de professoras ao aprender ensinando geometria.
Campinas: UNICAMP, 2000.

[57] Nacarato, A. M. e Passos, C. L. B.
Car, 2003.
A Geometria nas Sries Iniciais.
Tese de doutorado.
So Carlos, EDUFS-
[58] Passos, C. L. B. Representaes, Interpretaes e Prtica Pedaggica:

Sala de Aula. Tese de doutorado. Campinas, FE/UNICAMP, 2000.
A Geometria na
Scrates e Mnon. http://www2.dm.ufscar.br/hp/hp157/hp157001/

hp157001.html Consultado em agosto de 2004.
[59] Paterlini, R. R.
[60] Paterlini, R. R. Os Teoremas de Cavalieri. Revista do Professor de Matemtica, nmero

72 (2010), pginas 43 a 47, Sociedade Brasileira de Matemtica.
Aritmtica dos nmeros inteiros.
http://www.dm.ufscar.br/~ptlini/
Aritmtica dos nmeros reais.
http://www.dm.ufscar.br/~ptlini/
livros/
livros/
[63] Piaget, J. A construo

Editores, 1970.
do real na criana.
[64] Piaget, J. e Inhelder, B. La

sitaires de France, 1948.
represntation de l'espace chez l'enfant.
[65] Piaget, J., Inhelder, B. e Szeminska, A. La

Universitaires de France, 1972.
[66] Pogorelov, A. V.,
Traduo de Cabral, A. Rio de Janeiro, Zahar
Geometria elemental.
[67] Polking, J. C. The Geometry

sultado em abril de 2011.
Gomtrie spontane de l'enfant.
Poliedros.
[70] Rocha, L. F. C.
Paris, Presses
Traduo de Vega, C. Moscou, Editora Mir, 1974.
of the Sphere.
http://math.rice.edu/~pcmi/sphere/ Con-
[68] Queiroz, M. L. B. e Rezende, E. Q. F. Geometria Euclidiana

tricas. 2a. edio. Campinas, Editora Unicamp, 2008.
[69] Rangel, A. P.
Paris, Presses Univer-
Plana e construes geom-
Rio de Janeiro, Livros Tcnicos e Cientcos S. A., 1982.
Introduo Geometria Hiperblica Plana.
Rio de Janeiro, IMPA, 1987.
Spherical Geometry. http://www.math.uncc.edu/~droyster/math3181/

notes/hyprgeom/node5.html Consultado em abril de 2011.
[71] Royster, D. C.
Referncias bibliogrcas
289
[72] Rudin, W. Princpios de Anlise Matemtica. Traduo de Brito, E. R. H. Rio de Janeiro,

Ao Livro Tcnico S. A. e Editora Universidade de Braslia, 1971.
[73] Sampaio, J. C. V. e Dias, C. Desao Geomtrico. Mdulo I, Curso de Especializao Matemtica na Prtica. UAB/UFMT 2010 http://www.dm.ufscar.br/~sampaio/
MatematicaNaPratica.html
[74] Sampaio, J. C. V., Rosa, M. B., Dias, C. e Barros, T. E., Geometria

Curso de Especializao Matemtica na Prtica. No prelo.
Espacial.
Mdulo II,
[75] Saraiva, J. C. V. O volume do elipside no ensino mdio. Revista do Professor de Matemtica, nmero 52 (2003), pginas 21 a 24, Sociedade Brasileira de Matemtica.
[76] Schwartzman, S. The Circle and Sphere as Great Equalizers The Mathematics Teacher,
Vol. 84, nmero 8 (novembro de 1991), pginas 666 a 672, National Council of Teachers of
Mathematics.
[77] Smith, D. E. History
[78] Stillwell, J.
of Mathematics.
Numbers and Geometry.
[79] Struik, D. J. A
1967.
volumes I e II. New York, Dover Publications, 1958.
New York, Springer-Verlag, 1998.
Concise History of Mathematics.
[80] Thompson, A. W.
On Growth and Form.
[81] Vinberg, E. B. (ed.) Geometry

Berlin, Springer Verlag, 1993.
II.
3a. edio. New York, Dover Publications,
New York, Dover Publications, 1942.
Encyclopaedia of Mathematical Sciences, volume 29.
[82] Vivas, E. A.
Arte Rupestre de Cerro Colorado (Crdoba, Argentina). In Rupestre/web

http://rupestreweb.tripod.com/colorado.html Consultado em dezembro de 2010.
[83] Waerden, B. L. van der.

Verlag, 1983.
[84] Weisstein, E. W.
Net.
Geometry and Algebra in Ancient Civilizations.
Berlin, Springer
From MathWorldA Wolfram Web Resource. http://mathworld.
wolfram.com/Net.html
[85]
Wikipedia.
http://wikipedia.org/wiki/ Consultada em 2007-2012.
[86] Williams, R.
cation, 1979.
The Geometrical Foundation of Natural Structure.
New York, Dover Publi-
ndice de nomes prprios

Abu Dhabi, 24
Alexandre III (356-323 a. C.), 83
Alexandria, 77
Amrica do Norte, 9
Antiga Grcia, 77
Antropologia, 8
Arquimedes (287-212 a. C.), 26, 27, 29, 178, 220,
273
Hiele-Geldorf, D. ( - ), 37
Higgs, P. W. (1929- ), 79
Hilbert, D. (1862-1943), 84
Beltrami, E. (1835-1900), 265

Biblioteca de Alexandria, 83
Biologia, 79
Birkho, G. D. (1884-1944), 84, 223
Bolvia, 24
Bolyai, J. (1802-1860), 271
Bourbaki, 163
Lambert, J.H. (1728 - 1777), 270

Legendre, A.M. (1752 - 1833), 262
Leibnitz, G. W. (1646-1716), 89
Lobachevski, N. (1793-1856), 271
Crdoba, Argentina, 8
Canad, 24
Cavalieri, B. F. (1598-1647), 273
Cerro Colorado, 8
Cerro Inti Huasi, 8
Cliord, W. K. (1845-1879), 271
Congresso Nacional do Brasil, 24, 30
Coprnico, N. (1473-1543), 271
Drer, A. (1471-1528), 28
Dali, S. (1904-1989), 28
Demcrito (460-370 a. C.), 273
Dumont, A. S. (1873-1932), 88
Egito, 83
Egito Antigo, 10
Escher, M. E. (1898-1972), 28
Escola
de Alexandria, 163
Pitagrica, 77, 81
Platnica, 77
Espao, 10
Estados Unidos, 24
Euclides (c. 300 a. C.), 77, 80, 83
Euler, L. (1707-1783), 39
Exposio Internacional de 1967, 25
Fsica, 79
Frana, 30
Francesca, P. (c. 1415-1492), 28
Fuller, R. B. (1895, 1983), 25
Gauss, K. F. (1777-1855), 271
Gourvitch, A. G. (1874-1954), 32
Haeckel, E. (1834-1919), 11, 13
Hein, P. (1905-1996), 52
Hiele, P. ( - ), 37
Idade da Pedra, 8
Japo, 24
Klein, F. C. (1849-1925), 265
Mesopotmia, 9
Montral, 24
Museum of Fine Arts, Boston, 9
Newgrange, Irlanda, 8
Newton, I. (1642-1727), 29
Niemeyer, O. (1907, - ), 24, 30
Notre-Dame de Chartres, 30
Os Elementos, 77, 80, 83, 163
Pasch, M. (1843-1930), 109
Piaget, J. (1896-1980), 3, 6, 15
Pitgoras (c. 585-500 a. C.), 77, 81, 89, 157
Plato (c. 428-427 a. C.), 83
Poincar, J. H. (1854-1912), 265, 266
PPGECE, vii
Proclus (410-485), 77
Ptolomeu I (367-283 a. C.), 83
Ptolomeu, C. (c. 85-165), 271
Pueblo, povo indgena, 9
Qumica, 79
Renascena, 26
Robinson, J. (1935-2007), 28
Roerich, N. K. (1874-1947), 28
Saccheri, G. (1667-1733), 2, 123, 262, 269, 271
Tales, c. 546 a. C., 81
Uccelo, P. (1397-1475), 28
UFSCar, vii, 2
Vinci, L. (1452-1519), 28
ndice de assuntos
A B C , 101
AB , 100, 101
AB < CD, 129
ABC , 101
ABCD, 122
AB
= CD, 101
, 84
, 84
, 129
A < B
, 84
/ , 84
AB , 94
AB , 101
, 178
, 84
\
AP
QB , 194
\
BAC , 110
d(A, B), 100
\ , 110
m(BAC)
ngulo, 109
agudo, 111
bissetriz, 111
complementar, 111
conceito, 59
congruente, 111
correspondente, 141, 144
exterior, 110
interior, 110
lado, 110
medida, 20, 110
obtuso, 111
oposto ao lado, 110
oposto pelo vrtice, 111
par linear, 111
reto, 111
suplementar, 111
vrtice, 110
rea
conservao, 21
Aritmtica
gnese da, 77
Axioma das Paralelas, 163
Axioma fundamental da Geometria Analtica, 224
axioma, o que , 82, 91
Axioma E1 (no trivialidade), 93
Axioma E2 (da reta), 94
Axioma E3 (incidncia entre pontos e planos), 94
Axioma E4 (incidncia entre reta e plano), 94
Axioma E5 (incidncia entre planos), 96
Axioma E6 (da distncia), 100
Axioma E7 (da rgua), 100
Axioma E8 (da colocao da rgua), 100
Axioma E9 (da separao do plano), 106
Axioma E10 (da separao do espao), 106

Axioma E11 (da medida de ngulos), 110
Axioma E12 (da construo de ngulos), 111
Axioma E13 (da adio de ngulos), 111
Axioma E14 (do suplemento), 111
Axioma E15 (da congruncia LAL), 118
Axioma E16 (unicidade da reta paralela), 144
Axioma E17 (da rea), 177
Axioma E18 (soma de reas), 177
Axioma E19 (rea de tringulos congruentes), 177
Axioma E20 (rea do quadrado), 177
Axioma E21 (do paraleleppedo), 179
Axioma E22 (do Princpio de Cavalieri), 179
baricentro, 160
bissetriz, 111
caracterstica de Euler, 206
cubo, 206
cateto, 111
centride, 160
ceviana, 119, 138
cilindro, 54
sees, 54
crculo mximo, 216
circuncentro, 169
circunferncia, 102
ngulo central, 167
ngulo inscrito, 167
arco, 167
comprimento, 178
corda, 102
dimetro, 102
exterior, 105
interior, 105
raio, 102
semicircunferncia, 167
tangente, 165
comprimento
gnese, 19
conceitos primitivos, 82
concorrentes, 94
conjunto, 84
convexo, 102
diferena, 84
interseo, 84
subconjunto, 84
unio, 84
unitrio, 102
vazio, 84
Constante de Arquimedes, 178
continuidade
gnese, 16
contraexemplo, 86
coordenada de um ponto, 100
coordenadas retangulares, 20
correspondncia
ALA, 117, 118
HC, 131
LAA, 130
LAL, 117, 118
LLL, 117, 120
cosseno, 157
cubo, 205
arestas, 205
denio, 205
interior, 206
planicao, 207
slido, 206
superfcie, 206
cubos-soma, 55
deduo, 77, 80
decincia angular, 267
demonstrao, 85
direta, 85
por contraposio, 85
por reduo ao absurdo, 85
desenhos rupestres, 7
desigualdade triangular, 133, 137
diedro, 194
ngulo plano, 194
medida, 195
seo normal, 194
disco, 178
rea, 178
distncia
gnese, 19
distncia entre parapelas, 145
distncia entre ponto e reta, 133
dividir na mesma razo, 153
domo geodsico, 24, 25, 30
elemento, 84
elipside
volume, 275
elipse
rea, 275
esfera, 215
rea, 219
rea da calota, 219
rea do fuso, 219
calota, 219
crculo mximo, 216
corda, 215
dimetro, 215
fuso, 219
plano tangente, 215
pontos antpodas, 215
reta tangente, 215
tringulo, 250
volume, 219
volume do fuso, 219
Espao, 5
espao, 91
estar entre, 101
experimentos
construo de slidos, 38, 41
cubos, 52
decomposio, 55
deformao, 42, 50
descrio de slidos, 38
disseces, 44
duplicao de reas e volumes, 43
ladrilhamento, 44, 52, 55, 66
losango, 50
mecnico, 44, 50, 51, 56, 161, 162, 171
permetro e rea, 42, 50, 51, 54
planicaes, 40, 47, 48, 51
problema do sitiante, 43, 50, 55
projees, 49
quadrados, 52
sees, 49
semelhana, 55
tringulo, 50, 54
tringulos, 41
uso no ensino, 56
friso, 53
Geometria
como cincia, 79
de trs pontos, 92
etimologia, 5
gnese antropolgica, 7
gnese cosmolgica, 10
gnese psicolgica, 6
o que , 5
Geometria com coordenadas, 223
Geometria da Superfcie Esfrica, 82, 97, 143
geodsica, 249
segmento geodsico, 249
Geometria Discreta, 277
Geometria e
Arquitetura, 23
Artes, 28
Astronomia, 29
Biologia, 29
Cincias Naturais, 29
Fsica, 29
Mecnica, 26
Qumica, 29
Geometria Euclidiana, 91
histria, 83
o que , 82, 91
Geometria Hiperblica, 261
geometria no-euclidiana, 261
geometrias no euclidianas, 82
grafeno, 11
helicide, 26
hipotenusa, 111
incentro, 169
induo, 80
Lgica, 85
losango, 148
lugares geomtricos, 20
mtodo axiomtico, 82
mtodo cientco, 79
mtodo matemtico, 79, 81
medianas
baricentro, 160
mediatriz, 113
nmero ureo, 159
nmero perfeito, 80
nanotubos, 11
objetos geomtricos, 5
ao da escola, 37
fase euclidiana, 18
fase projetiva, 17
fase topolgica, 15
fases iniciais, 15
gnese psicolgica, 15
representaes, 21, 45
ortocentro, 160
paralela
planos, 191
reta e plano, 191
retas, 141, 191
paralelas
axioma, 144
axioma hiperblico, 261
paralelogramo, 145
p da perpendicular, 121, 190
perpendicular, 23, 30, 111
p, 184
p, 121, 190
reta e plano, 184
perspectiva
cavaleira, 208
isomtrica, 209
pertence, 84
plano, 91
poligonal, 137
polgono, 173
convexo, 173
permetro, 173
regular, 173
ponto, 91
simtrico, 121
pontos
colineares, 93
coplanares, 93
Princpio de Cavalieri, 179
Princpios de Cavalieri, 273
projeo
axonomtrica, 24, 25
ponto sobre plano, 196
ponto sobre reta, 122
segmento sobre reta, 122
proporo, 153
proposio, 85
condicional ou implicativa, 85
contrria, 85
contrapositiva, 85
recproca, 85
psicologia gentica, 3, 6, 15
quadrado, 148
quadriltero, 2, 122, 128
circunscrito, 168
convexo, 122, 128
diagonal, 122, 128
inscrito, 168
plano, 122
quadriltero de Lambert, 270
quadriltero de Saccheri, 123, 128, 148, 269
razo de semelhana, 155
regio
poligonal, 177
triangular, 177
regio poligonal
rea, 177
retngulo, 2, 140, 148
retngulo ureo, 159
reta, 91
reta suporte, 101
retas
concorrentes, 94
paralelas, 46, 141, 191
perpendiculares, 113, 120
reversas, 141, 191
seo, 17
segmento, 101
comprimento ou medida, 101
congruncia, 101
extremidades, 101
interior, 101
liga ponto e reta, 121
semelhana, 155
semicircunferncia, 157
semiespao, 106
lado, 106
oposto, 106
origem, 106
semiplano, 106
lado, 106
oposto, 106
origem, 106
semirreta, 101
oposta, 101
origem, 101
seno, 157
separao da reta, 107, 108

sequncia dedutiva, 86
simtrico, 121
sistema articulado, 27
sistema de coordenadas, 100
superfcie regrada, 31
superfcie esfrica, 215
tangente, 157
Teorema
de Tales, 153, 154
Fundamental da Proporcionalidade, 153
Pitgoras, 157
tetraedro, 109
transformaes no plano, 233
trapzio, 163
tringulo, 101
ngulo, 110
ngulo adjacente, 129
ngulo externo, 129
altura, 118
bissetriz, 118
ceviana, 119
circunscrito, 168
congruncia, 116
equiltero, 62, 105
escaleno, 101
esfrico, 250
inscrito, 168
interior, 105, 108, 109
issceles, 101, 118
lado, 101
mediana, 118
ortocentro, 160
permetro, 101
reproduo, 20
retngulo, 61, 111, 131, 136, 156
semelhana, 155
semipermetro, 101
soma dos ngulos internos, 20, 60, 62, 65, 81,
82, 143, 150, 151
vrtice, 101
tringulo equiltero, 163
Trigonometria, 29
volume
axioma, 179

Demonstrações de Geometria

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Demonstrações de Geometria

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 14

14.2 Bases da Geometria Euclidiana no espao

(este o Axioma E3)

(este o Teorema 9.3)

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

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

Geometria Elementar: gnese e desenvolvimento

14.3 Perpendicularismo entre retas e planos

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

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

Ento todo ponto do segmento

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

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

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

Figura 14.1. Ilustrao do Lema 14.2

Perpendicularismo e paralelismo no espao

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

Figura 14.2. Ilustrao do Teorema 14.3

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

Se uma reta e um plano so perpendiculares em um ponto

contm toda reta que passa por

e perpendicular reta dada.

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

Geometria Elementar: gnese e desenvolvimento

Figura 14.3. Ilustrao da Proposio 14.4

Figura 14.4. Ilustrao da Proposio 14.5

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

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

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

Perpendicularismo e paralelismo no espao

Figura 14.5. Ilustrao do Teorema 14.7

Duas retas quaisquer perpendiculares a um mesmo plano so coplanares.

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

Geometria Elementar: gnese e desenvolvimento

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

Figura 14.7. Ilustrao da Proposio 14.9

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

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

Perpendicularismo e paralelismo no espao

Figura 14.8. Ilustrao do Teorema 14.10

plano que contm o ponto e perpendicular reta.

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

Figura 14.9. Ilustrao do Teorema 14.11

Geometria Elementar: gnese e desenvolvimento

reta que contm o ponto e perpendicular ao plano.

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

Figura 14.10. Ilustrao do Teorema 14.12

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

Aproveitamos o ensejo para denir distncia entre ponto e plano.

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

Perpendicularismo e paralelismo no espao

Estivemos estudando propriedades de perpendicularismo entre retas e planos. Precisamos

14.4 Paralelismo de retas e planos

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

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

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

Figura 14.11. Ilustrao da Proposio 14.16

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

Aproveitamos o ensejo para denir distncia entre ponto e plano.

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

Uma consequncia dessa armao

Para denir distncia entre planos paralelos precisamos ainda do

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