Artigo Original

DOI:10.5902/2179-460X14657

Cincia e Natura, Santa Maria v.37 n.3, 2015, Set.- Dez. p. 898 909
Revista do Centro de Cincias Naturais e Exatas - UFSM
ISSN impressa: 0100-8307
ISSN on-line: 2179-460X

Alguns teoremas clssicos da geometria sinttica e aplicaes

Some Classical Theorems of Synthetic Geometry and Applications
Vincius Paulo Freitas1 e Nilomar Vieira Oliveira 2
1

Docente - Instituto Federal de Educao, Cincia e Tecnologia do Amazonas, AM - Brasil

viniciusmat2003@yahoo.com.br

- Universidade
do Amazona, AM
- Brasil
Alguns Teoremas Docente
Clssicos
daFederal
Geometria
Sinttica
e Aplicaes
nilomar@gmail.com
2

Some Classical Theorems of Synthetic Geometry and Applications

Resumo
O presente artigo fruto de uma parte da dissertao de mestrado, onde procuramos fazer uma abordagem simples de alguns
teoremas clssicos da Geometria Euclidiana Plana e torn-los mais conhecidos, pois embora tenham um grande papel na resoluo
de muitos problemas geomtricos, esto de certa forma esquecidos tanto no ensino bsico quanto no ensino de graduao. No
intuito de resgatar tais teoremas, desenvolvendo assim habilidades em Geometria, exploramos os seguintes teoremas: Menelaus,
Ceva, Ptolomeu, Hiparco,Desargues, Feuerbach. Para as demonstraes destes teoremas, fizemos o uso de alguns resultados da
Geometria Plana e da Geometria Inversiva. Acreditamos que tanto o enfoque da realizao desse trabalho, com a utilizao da
Geometria Inversiva, por exemplo, como os teoremas clssicos, que utilizamos simplesmente mtodos elementares da Geometria
Sinttica, pode servir para a melhoria do ensino-aprendizagem de Geometria Euclidiana Plana e possivelmente servir de elemento
motivador para alunos e professores que busquem aprimorar seus conhecimentos em Geometria nos seus diversos desdobramentos.
Palavras-chave: Ensino -Aprendizagem, Geometria Euclidiana, Teoremas Clssicos.

Abstract
This article is based on a part of the dissertation, where we try a simple approach of some classical theorems of Euclidean geometry
Plana and make them better known, because although they have a great role in solving many geometrical problems, they are
somehow forgotten both in primary and in undergraduate education. In order to redeem such theorems, therefore developing the
people skills in Geometry, we explored the following Theorems:Menelaus, Ceva, Ptolemy, Hipparchus, Desargues, and Feuerbach.
For the proofs of the mentioned theorems, we use some results of Plane Geometry and Inversive Geometry. We believe that both
approach the making of this work, with the use of Inversive Geometry, for instance, as the classical theorems which we used only
elementary methods of Synthetic Geometry, can serve to improve the teaching and learning of Euclidean Plane Geometry and
possibly serve as the motivating element for students and teachers seeking to improve their knowledge in Geometry in its various
ramifications.
Keywords: Teaching-Learning, Euclidean Geometry, Classical Theorems.

Recebido: 30/06/2014 Aceito: 13/11/2014

* viniciusmat2003@yahoo.com.br

Cincia e Natura v.37 n.3, 2015, p. 898 909

Cincia e Natura

Introduo

Atualmente com a decadncia do ensino de Geometria

na educao bsica brasileira, tem-se aumentado o interesse de pesquisadores de Ensino da Matemtica em
debater esta problemtica nas escolas e, at mesmo, nas
Universidades. Alm disso, h uma conscincia coletiva da importncia deste ramo da Matemtica, como
rea de aprendizagem, pela sua contribuio na formao e cultura dos alunos e pela aplicao que tem em
outras Cincias, inclusive dentro da prpria Matemtica
(SARMENTO, 2007).
Foi nesse intuito de tornar o ensino de Geometria
mais interessante e resgatar alguns de seus resultados
clssicos j at esquecidos no ensino bsico e, geralmente, no ensino de graduao, que foi desenvolvido
este trabalho, objetivando criar um roteiro de estudo direcionado aos nveis de educao supracitados. A ideia
desenvolver habilidades em Geometria, explorando alguns teoremas clssicos da Geometria Euclidiana, tais
como os Teoremas de Menelaus e Ceva, que tratam, respectivamente, de problemas de colinearidades e concorrncias; o Teorema de Ptolomeu, que relaciona as diagonais e os lados de um quadriltero inscritvel, e tambm
nos d uma condio de inscrio de quadrilteros sem a
utilizao de anlise ngulos; a Circunferncia dos nove
pontos, que tratam de resultados surpreendentes envolvendo alguns pontos notveis dos tringulos; o Teorema
de Feuerbach, que fornece uma propriedade importante
da Circunferncia dos nove pontos, e outros no
menos interessantes que sero chamados, neste trabalho,
de aplicaes, pois seguem diretamente dos teoremas
acima citados.

2
2.1

899
2

Definio 2.1. (Razo orientada) A razo orientada r =

( M, AB), em que o ponto M divide a reta AB, um nmero

AM
.
tal que |r | =
MB
Dada esta definio, a pergunta agora : Como sabermos se o ponto M est ou no entre os pontos A e B ?.
A resposta vem das propriedades da razo orientada de
segmentos, que so elas:
AM
Se M AB, ento
> 0. De fato, neste caso
MB

AB e MB tem a mesma orientao.
AM
/ AB, ento
< 0. De fato, neste caso
Se M
MB

AM e MB tem orientao oposta.
Para o Teorema de Menelaus, consideraremos apenas
as medidas que levam em conta a orientao dos segmentos, que so chamadas de medidas algbricas. J aquelas
medidas que no levam em considerao a orientao
do segmento so chamadas de medidas geomtricas.
Teorema 2.1. (Teorema de Menelaus) Sejam trs pontos L, M
e N localizados respectivamente nas retas suportes dos lados
AB, BC e CA de um tringulo ABC (qualquer) e diferentes
dos vrtices. Ento L, M e N so colineares se, e somente se
LA MB NC

=1
LB MC N A

Os Teoremas Clssicos Abordados

O Teorema de Menelaus e o Teorema de
Ceva

Muitos dos problemas envolvendo tringulos esto relacionados com conjuntos de determinados pontos que so
colineares, ou com conjuntos de segmentos que so concorrentes. Problemas estes que podem ser solucionados
atravs
de
dois
Teoremas
Clssicos
da
Geometria Euclidiana: O Teorema de Menelaus e o
Teorema de Ceva. O primeiro trata de colinearidade
de pontos e o segundo de concorrncia de segmentos.
Com a ajuda destes dois teoremas, provas que envolvem
colinearidade e concorrncia, que antes eram longas e
complicadas, passaram a ser simplificada, tornando-as
acessveis a todos os nveis de ensino.
Como o Teorema de Menelaus faz uso de razo orientada de segmentos colineares, faremos um breve resumo
sobre este assunto antes de sua demonstrao.

Figura 1: Teorema de Menelaus.

Demonstrao. Seja o ABC, e sejam L, M e N

pontos colineares pertencentes as retas AB, BC e CA,

respectivamente. Pelo vrtice A, traa-se uma reta AD

paralela a transversal LM.

Pelo Teorema de Tales as paralelas AD e LM cor

tam as secantes AB e BC em partes proporcionais,

da
LA
LB
LA MB
=
=

=1
MD
MB
MD LB

(1)

900
3

Freitas e Oliveira: Alguns Teoremas Clssicos da Geometria Sinttica e Aplicaes

Autores: Ttulo curto do artigo

Observao 2.1. Quando utilizamos medidas geomtricas

dos segmentos envolvidos, o Teorema de Menelaus vlido
parcialmente, pois a recproca deste falsa. Por isso, consideramos apenas as medidas algbricas dos segmentos. Como
contra-exemplo consideremos, agora, L, M e N como sendo
os pontos mdios dos lados AB, BC e AC respectivamente,
de um ABC. Consideremos as medidas geomtricas dos
LA
segmentos BM, CM, CN, AN, AL e BL. Temos que

LB
MB NC

= 1, mas L, M e N no so colineares. Sendo

MC N A
assim, no vale a recproca do Teorema de Menelaus.

Figura 2: AD  LM.

Aplicando o Teorema de Tales s paralelas AD e

LM que cortam, tambm, as secantes AN e DM em

partes proporcionais. Assim
MD
MC
MD NC
=
=

=1
NA
NC
N A MC

(2)

Multiplicando (1) e (2), temos que

LA MB NC

=1
LB MC N A

O Teorema de Menelaus tambm pode ser apresentado como

 ) sen( M AB
 ) sen( N BC
 )
sen( LCA
=1

 )
 ) sen( M AC
 ) sen( N BA
sen( LCB

chamada forma Trigonomtrica do Teorema de Menelaus.

Teorema 2.2. (Teorema de Ceva) Num tringulo ABC, trs
cevianas1 AL, BM e CN so concorrentes, se e somente se,
AN BL CM

=1
NB LC MA

(3)

Reciprocamente, sejam L, M e N pontos pertencentes

as retas suportes AB, BC e CA, respectivamente, de um

ABC tais que satisfazem a relao (3). Seja N  o ponto

de interseco de LM com AC, conforme figura abaixo.

Figura 4: AL, BM e CN so concorrentes em P.
Demonstrao. Seja r uma reta paralela a BC passando por A, conforme figura abaixo.

Figura 3: LM AC = { N  }.
Pelo que foi provado, temos que
LA MB N  C

=1
LB MC N  A

Figura 5: r  BC.
(4)

NC
NC
=  . Como existe apenas
NA
NA
um nico ponto que divide o segmento CA numa dada
razo, temos que N  = N.
Portanto L, M e N so colineares.
De (3) e (4), temos

Temos as seguintes semelhanas

AMR CMB =

MA
AR
=
CM
BC

(5)

BNC ANS =

NB
BC
=
AN
SA

(6)

1 So segmentos que possuem extremidades no vrtice e na reta

suporte ao lado oposto a este vrtice.

Cincia e Natura v.37 n.3, 2015, p. 898 909

Cincia e Natura

901
4

LC
LP
CPL SPA =
=
SA
AP

(7)

BL
LP
=
AR
AP

(8)

BPL RPA =
De (7) e (8) vem que

LC
BL
SA
LC
=
=
ou
SA
AR
BL
AR

(9)

Multiplicando membro a membro (5), (6) e (9), obtemos

MA NB LC
AR BC SA

=1
CM AN BL
BC SA AR
ou

Os trabalhos de Hiparco e de outros estudiosos da

matemtica e astronomia, foram reunidos em um compndio composto de 13 livros pelo matemtico e astrnomo Cludio Ptolomeu (127 - 150 d.C.). No Almagesto, como foi chamado, Ptolomeu desenvolve no
somente modelos astronmicos, mas tambm as ferramentas matemticas, alm da Geometria elementar,
necessrias para a Astronomia, entre elas a Trigonometria.
Foi no Almagesto que Ptolomeu apresentou os dois
Teoremas que abordaremos a seguir.
Teorema 2.3. (Teorema de Ptolomeu) Num quadriltero inscritvel, o produto das diagonais igual soma dos
produtos dos lados opostos.

AN BL CM

=1
NB LC MA

Seja agora, BM AL = { P} (veja Figura 5) e esten

dendo o segmento PC at intersectar AB em N  . Como

AL, BM e CN  so concorrentes, aplicando o que foi
provado anteriormente temos
BL CM AN 

=1
LC MA N  B
Mas por hiptese,

AN BL CM

= 1, o que implica
NB LC MA

AN
AN 
=
. Mas isso s ocorre se, e somente se, N =
N B
NB

N.


Observao 2.2. O Teorema de Ceva tambm pode ser apresentado como
 ) sen(C BM
 )
 ) sen( ACN
sen( B AL

=1
 ) sen( BCN
 ) sen( A BM
 )
sen( L AC

chamada forma Trigonomtrica do Teorema de Ceva.

2.2

Teorema de Ptolomeu e o Teorema de

Hiparco

Neste tpico, apresentamos dois importantes teoremas

produzidos no perodo Alexandrino: O Teorema de Hiparco
e o Teorema de Ptolomeu.
Hiparco (180 - 125 a.C.), matemtico e astrnomo,
nasceu na cidade egpicia de Nicia. considerado o
fundador da Trigonometria, pois na segunda metade
do sculo II a.C., fez um tratado em doze livros que se
ocupa da construo do que deve ter sido a primeira
tabela trigonomtrica, uma tbua de doze cordas. Evidentemente fez esta tabela para us-la em sua astronomia.

Figura 6: Teorema de Ptolomeu.

Demonstrao. Sejam AB = a, BC = b, CD = c, DA =
d, AC = p e BD = q. Mostraremos que p q = a c +
b d.
 = C AD.

Seja P um ponto sobre BD tal que B AP
 = P DA

Como ACB
(ngulo inscrito na circunferncia
de mesmo arco AB), temos que APD ABC, da
PD
d
=
= PD p = b d
b
p

(10)

Analogamente os APB e ADC so semelhantes,

o que implica
a
BP
=
= BP p = a c
c
p

(11)

Somando (10) e (11) temos

BD =q

  
p( PD + BP) = a c + b d = p q = a c + b d

902
5

Freitas e Oliveira: Alguns Teoremas Clssicos da Geometria Sinttica e Aplicaes

Autores: Ttulo curto do artigo

Teorema 2.4. (Desigualdade de Ptolomeu) Se ABC um

tringulo e P um ponto do plano deste tringulo, ento AB
CP + BC AP AC BP. A igualdade ocorre se, e somente
se o quadriltero ABCP inscritvel.

Demonstrao. Sejam B1 AC, A1 BC e C1

AB, tais que PC1 AB, PB1 AC e PA1 BC. Consideremos os segmentos A1 C1 , A1 B1 e B1 C1 . Como
1 P + A 
AC
B1 P = 180o , o quadriltero AB1 PC1 inscritvel, sendo AP um dimetro do crculo circunscrito
1 P = 90o ).
(pois AC
 1 = 180o , mas C1 AB
 1=
 1 + C1 AB
Alm disso, B1 PC
o
 onde A
 um ngulo interno do tringulo ABC.
180 A,

 1 = A.
Logo B1 PC

Logo
AB CP + BC AP > AC BP

(14)

Do Teorema de Ptolomeu e de (14) temos que

AB CP + BC AP AC BP
onde a igualdade ocorre se, e somente se os pontos
A1 , B1 e C1 esto alinhados, fazendo com que esta reta
seja uma Reta de Simpson-Wallace 2 e o ponto P pertena
ao crculo circunscrito ao tringulo ABC.


Observao 2.3. A Desigualdade de Ptolomeu um Teorema bem mais geral que o Teorema de Ptolomeu. Esta
desigualdade permite descobrir se um quadriltero ABCD
inscritvel ou no, a partir dos valores dos lados e diagonais,
sem que seja necessrio fazer uma anlise dos ngulos. Para
isto, basta que se verifique a igualdade AB CD + BC AD =
AC BD. Se por acaso ocorrer de AB CD + BC AD >
AC BD, ento ABCD no inscritvel.
Teorema 2.5. (Teorema de Hiparco) A razo das diagonais
de um quadriltero inscritvel igual a razo entre as somas
dos produtos dos lados que concorrem com as respectivas
diagonais.

Figura 7: AB1 PC1 inscritvel.

Aplicando a Lei dos Senos no tringulo PB1 C1 , temos
que
B1 C1

sen A

= AP

Demonstrao. Considerando o quadriltero inscritvel

ABCD, com AB = a, BC = b, CD = c, AD = d,
AC = p e BD = q, conforme Figura 8. Mostraremos
ab+cd
p
que
=
.
q
ad+bc

(12)

Pela Lei dos Senos aplicado no tringulo ABC, temos

 = BC
sen A
2R

(13)

onde R o raio do crculo circunscrito ao ABC.

De (12) e (13) vem que
BC AP
2R
Como os quadrilteros BA1 PC1 e CPB1 A1 tambm
so inscritveis, temos de modo anlogo
AC BP
AB CP
A1 C1 =
e A1 B1 =
2R
2R
Pela Desigualdade Triangular, temos no tringulo
A1 B1 C1 que
AB CP
BC AP
A1 B1 + B1 C1 > A1 C1 =
+
>
2R
2R
AC BP
2R
B1 C1 =

Figura 8: Teorema de Hiparco.

Observemos que a rea de ABCD equivalente
soma de dois tringulos com um lado comum AC ou
BD, o que nos perminte escrever S( ABC) + S( DAC) =
S( ABD) + S(CBD) .
2 Reta que passa pelos ps das trs perpendiculares traadas a partir
de um ponto P sobre um crculo cincunscrito a um tringulo.

Cincia e Natura v.37 n.3, 2015, p. 898 909

Cincia e Natura

903
6

Como esses quatro tringulos possuem o mesmo crculo circunscrito, temos pelo Teorema da rea de um
tringulo em funo dos seus lados e do raio da circunferncia circunscrita que que
abp cdp
adq bcq
+
=
+
=
4R
4R
4R
4R
p( a b + c d) = q( a d + b c)

2.3

Teorema de Feuerbach

Iniciemos este tpico falando, brevemente, de Leonhard

Euler, matemtico que produziu cerca de 886 trabalhos
em diversas reas da Matemtica, tais como Clculo,
Geometria e Grafos. Alm disso, tambm ficou famoso
por seus trabalhos em Mecnica, ptica e Astronomia.
Vrios resultados na Geometria levam o seu nome; neste
artigo apresentaremos dois deles sem demonstr-lo: a
Reta de Euler e a Circunferncia dos nove pontos.
Teorema 2.6. (Reta de Euler) Em um tringulo, o ortocentro
(H), o baricentro (G) e o circuncentro (O) esto alinhados.
Alm disso, o baricentro divide o segmento cujas extremidades
so o circuncentro e o ortocentro, na razo 1:2.
O prximo teorema atribudo a Euler, conhecido
como Circunferncia dos nove pontos, considerada a
primeira circunferncia famosa depois da era grega.
Euler sabia algumas de suas propriedades, mas foi o
matemtico francs Poncelet que publicou, em 1821, um
artigo demonstrando que para todo tringulo possvel
encontrar uma circunferncia passando pelos pontos mdios dos lados, os ps das alturas e os pontos mdios dos
segmentos que unem os vrtices do tringulo ao ortocentro.
Teorema 2.7. (Circunferncia dos nove pontos) Seja ABC um
tringulo de circuncentro O e ortocentro H. Ento os pontos
mdios dos lados, os ps das alturas e os pontos mdios dos
segmentos que ligam H aos vrtices esto em uma circunferncia cujo centro o ponto mdio do segmento OH e cujo raio
a metade do raio da circunferncia circunscrita ao tringulo
ABC.
Falamos que Euler tinha provado algumas propriedades da Circunferncia dos nove pontos. Na verdade, Euler provou que passa uma mesma circunferncia
sobre os vrtices dos tringulos medial, que o tringulo
formado unindo os pontos mdios do tringulo, e rtico
de um tringulo ABC. Mais tarde, este trabalho foi redescoberto por Karl Feuerbach, Matemtico alemo do
sculo XIX, que acrescentou uma propriedade notvel,
que induziu muitos autores a chamar a Circunferncia
dos nove pontos de Circunferncia de Feuerbach.
Feuerbach comprovou que a Circunferncia dos nove
pontos intersecta as quatro circunferncias tritangentes

Figura 9: Circunferncia dos nove pontos.

de um tringulo ABC qualquer, ou seja, ela intersecta
a circunferncia inscrita e s trs circunferncias exinscrita 3 ao tringulo ABC.
Para demonstrarmos esse teorema, faremos o uso da
Geometria Inversiva. Essa Geometria foi desenvolvida no
sculo XIX por Jacob Steiner e permitiu a soluo de
problemas que at ento estavam sem soluo ou com
solues complicadssimas, se resolvidos pela Geometria Euclidiana. Faremos um breve resumo, mostrando
alguns de seus principais resultados.
Definio 2.2. (Conjugados harmnicos) Seja um segmento
de reta AB. Dizemos que dois pontos M e N, pertencentes

reta AB, so conjugados harmnicos de AB se

NA
MA
.
=
MB
NB
Como existe apenas um ponto que divide interiormente o segmento AB em uma dada razo, conclumos
que apenas um deles, M ou N, est entre os pontos A
e B.
Definio 2.3. (Inverso de um ponto) Seja S = C(O,r) um
crculo de centro O e raio r. Dado um ponto P, diferente de

O, o ponto P na semi-reta OP tal que OP OP = r2 dito

o inverso de P em relao a S.

Figura 10: Inverso de um ponto.

3 uma circunferncia externa ao tringulo, tangente a um de seus
lados e s extenses dos outros dois.

904
7

Freitas e Oliveira: Alguns Teoremas Clssicos da Geometria Sinttica e Aplicaes

Autores: Ttulo curto do artigo

Nos referimos ao crculo S = C(O,r) como sendo o

crculo de inverso e diremos que o ponto O o centro de
inverso.
De uma forma geral, se denotarmos E2 como sendo o
plano
euclidiano,
a
transformao
I : E2 {O} E2 {O} que leva qualquer ponto P
E2 {O} a seu inverso referente a S = C(O,r), chama-se
inverso. Notemos que I uma aplicao bijetiva.
Uma vez fixado o crculo de inverso, denotaremos
o inverso de qualquer figura (ou ponto) X como sendo
X, ou seja, Inv( X ) = X  .
Observao 2.4. Considerando a inverso referente a S =
C(O,r), temos:
1. Se P o inverso de P, ento P e o inverso de P .
2. Se P = Q, ento P = Q .
3. Se P S, ento P = P.
Definio 2.4. (Curvas ortogonais) Duas curvas so ortogonais em um ponto de interseo, se as retas tangentes s
curvas nesse ponto forem perpendiculares.
Teorema 2.8. (Circunferncias ortogonais) Seja S = C(O,r).
Se os pontos P, P e O esto alinhados, ento P e P so inversos em relao a S se, e somente se, qualquer circunferncia
que passa por P e P for ortogonal a S.
Demonstrao. Suponhamos que P e P so pontos
inversos em relao S. Seja K = C(Q,k) uma circunferncia com centro em Q e raio k, que passa por P e P .
Como um dos pontos interno a S, as circunferncias S
e K se intersectam em G e H.

OM2

= (OP + P M)2
2

PP
OP +
=
2

2
OP OP

OP +
=
2

2

OP + OP
=
2

(16)

No tringulo QMP, temos

QM2

= QP P M2
  2
PP
= k2
2
2

OP OP
2
= k
2

(17)

Substituindo as equaes (16) e (17) na equao (15)

obtemos
OQ2 = OP OP + k2
como por hiptese OP OP = r2 , ento
OQ2 = r2 + k2
o que implica que os tringulos OHQ e OGQ so retn respectivamente.
 e G,
gulos em H
Reciprocamente, seja K = C(Q,k) uma circunferncia
ortogonal a S = C(O, r) e que passa por P e P . Ento, se
H um ponto de interseo entre S e K, a reta s tangente
K no ponto H perpendicular reta s tangente S no
ponto H. Assim, a reta s passa por O. Como OH 2 = r2 ,
por Potncia de Ponto teremos que
OP OP = OH 2 = r2
o que mostra que os pontos P e P so inversos em
relao a S.

Figura 11: Circunferncias ortogonais.

Seja M o p da perpendicular traada de Q reta OP,

conforme figura acima. Do tringulo retngulo OQM
vem que
OQ2 = OM2 + QM2

(15)

Por outro lado, OM = OP + P M. Elevando ambos

os membros desta equao ao quadrado, temos

Como consequncia direta do teorema acima temos

o sequinte corolrio:
Corolrio 1. Uma circunferncia K = C(Q,k) invariante
em relao a uma circunferncia de inverso S = C(O,r) se, e
somente se, K ortogonal a S.
Teorema 2.9. Os pontos P e P so inversos em relao a S
= C(O,r) se, e somente se, P e P so conjugados harmnicos
em relao ao dimetro AB determinado pela interseco da

reta OP com a circunferncia S.

Cincia e Natura v.37 n.3, 2015, p. 898 909

Cincia e Natura

905
8

  = BOA,
 conclumos que os tringulos
e como B OA
AOB e AOB so semelhantes.
Logo A B O reto, o que nos mostra que B pertence
a uma circunferncia K = (Q, OQ) que tem o segmento
A O como dimetro.
Decorre imediatamente que:

Figura 12: P e P so conjugados harmnicos.

Corolrio 2. Se s uma reta tangente a circunferncia K =

(Q, OQ) no ponto O, ento s paralela a s.

Demonstrao. Considerando a Figura 12, temos

Teorema 2.11. (Inverso de reta: Parte II) Seja S = C(O,R).

A inversa em relao a S de uma reta s que passa por O,
a prpria reta s, ou seja, uma reta invariante quando esta
passa pelo centro de inverso.

PA = r + OP
P B = OP r
e
PB = r OP
P A = OP + r
ento

Assim,

Demonstrao. Se P = O um ponto da reta s,

ento, o inverso P de P pertence semirreta OP, logo,

como P e O pertencem s, ento, P s. Portanto
s = Inv(s).

P A
OP + r
r + OP
PA
=
=
e

PB
OP r
PB
r OP
PA
P A
=

PB
PB

OP + r
r + OP
=

OP r
r OP
(OP + r ) (r OP) =

OP OP = r2

(OP r ) (OP + r )


Teorema 2.12. (Inverso de circunferncia) Seja S = C(O,r).
A inverso em relao a S de uma circunferncia K = C(Q,k)
que passa por O uma reta.


Teorema 2.10. (Inverso de reta: Parte I) Seja S = C(O,R).
A inversa em relao a S de uma reta s que no passa por O,
uma circunferncia que passa por O.
Demonstrao. Seja A o p da perpendicular traada
de O reta s, e B um ponto qualquer distinto de A,
pertencente a s. Sejam A e B os inversos de A e B,
respectivamente. Ento OA OA = OB OB = r2 , o
que implica

Demonstrao. Seja P um ponto pertencente ao

dimetro OP tal que OP OP = r2 .
Consideremos uma reta s, que contm P e perpendicular a OP, conforme Figura 14. Seja B um ponto
da circunferncia K = (Q, OQ), vamos provar que B ,
pertencente ao segmento OB, o inverso de B.

Figura 14: Inverso de circunferncia que passa por O.

Como os tringulos OPB e OBP so semelhantes,
temos que
Figura 13: Inverso de reta que no passa por O.
OA
OB
=
OB
OA

OP
OB
=
= OB OB = OP OP = r2
OB
OP
O que nos mostra que B = Inv( B). Logo s = Inv(K )

906
9

Freitas e Oliveira: Alguns Teoremas Clssicos da Geometria Sinttica e Aplicaes

Autores: Ttulo curto do artigo

Observao 2.5. Considerando S a circunferncia de inverso, mostra-se que a inversa de uma circunferncia que no
passa por O uma circunferncia que, tambm, no passa por
O.
P

Lema 2.1. Se dois pontos P e pertencem, respectivamente,

s curvas inversas C e C, ento as tangentes a essas curvas

em P e P formam ngulos iguais com a reta PP .

importantes para a demonstrao do teorema supracitado. As demonstraes podem ser vistas em Freitas,
2013.
Lema 2.2. Sejam M, N e P os pontos mdio dos lados de
um tringulo ABC, a sua Circunferncia dos nove pontos,
s uma reta tangente as circunferncias inscrita e ex-inscrita a
este tringulo e, r uma reta tangente a por M. Ento r
paralela a s.

Teorema 2.13. Se duas curvas C1 e C2 formam um ngulo

em um ponto de interseo P, as suas inversas C1 e C2 ,
na mesma inverso, formaro um ngulo em um ponto de
interseo P , inverso de P.
Demonstrao. Considerando a Figura 15, temos
pelo Lema 2.1 que os tringulos MPP e NPP so issceles. Conclumos imediatamente que os ngulos e 
so iguais.


Figura 17: r  s.
Lema 2.3. Considerando a Figura 18, M ponto mdio do
segmento XY.

Figura 15: =  .
Enunciamos outro corolrio que nos diz que a inversa mantm a tangncia entre reta e circunferncia,
propriedade que ser usada na demonstrao do Teorema de Feuerbach.
Corolrio 3. Seja s uma reta tangente a uma circunferncia
K = (Q, k) num ponto P, ento a inversa s da reta s tangente
a K, inversa da circunferncia K, em P .

Figura 18: M ponto mdio de XY.

Lema 2.4. Considerando a Figura 19, os pontos I e I  so
conjugados harmnicos referente ao segmentos AK.

Figura 19: I e I  so conjugados harmnicos de AK.

Figura 16: Inverso preserva tangncia.
Antes de demonstrarmos o Teorema de Feuerbach
vamos enunciar, sem demostr-los, alguns resultados

Lema 2.5. Os pontos X e Y, projees ortogonais de I e I  ,

respectivamente, sobre a reta BC, so conjugados harmnicos

em relao ao segmento cuja extremidade so as projees
ortogonais dos pontos A e K.

Cincia e Natura v.37 n.3, 2015, p. 898 909

Cincia e Natura

907
10

Teorema 2.14. (Teorema de Feuerbach) Sejam ABC um tringulo e sua Circunferncia dos nove pontos. Ento
tangente circunferncia inscrita e s trs circunferncias
ex-inscrita ao tringulo ABC.
Demonstrao. Pelo Lema 2.4, os pontos I e I  da
Figura 20, so conjugados harmnicos referente ao segmentos AK. Segue, pelo Lema 2.5, que os pontos X e
Y so, tambm, conjugados harmnicos em relao ao
segmentos KH1 .
Figura 21: Teorema de Feuerbach.

Figura 20: Reta s a inversa da Circunferncia dos nove

pontos.
Consideremos,
agora,
uma
circunferncia
S = ( M, MX ), de centro M e que passa por X, conforme
Figura 20. Pelo Lema 2.3, S tambm passa pelo ponto Y.

Como a reta BC tangente as circunferncias inscrita

e ex-inscrita em X e Y, respectivamente, e o dimetro

de S est sobre BC. Temos que estas circunferncias

so ortogonais a S, donde conclumos, pelo Corolrio
1, que estas circunferncias permanecem invariantes em
relao S. O mesmo acontece com o segmento BC, pois
este segmento passa pelo centro de inverso.
Sendo a Circunferncia dos nove pontos do tringulo ABC. Como passa pelo centro de inverso, pois
passa por M, pelo Teorema 2.12, sua inversa uma reta
s que passa pelo ponto K, pois K = Inv( H1 ), conforme
Teorema 2.9.
Por outro lado, s paralela tangente a no ponto
M (ver Corolrio 2). O Lema 2.2 nos mostra que s coincide com s, ou seja, s tangente a circunferncia inscrita
e ex-inscrita. Logo pelo Corolrio 3, tangente as
circunferncias inscrita e ex-inscrita.
Por procedimentos similares, mostra-se que
tangente as outras duas circunferncias ex-inscritas.

Algumas Aplicaes dos Teoremas

Estudados

Nesta Seo apresentamos algumas aplicaes dos teoremas de Menelaus, Ceva e Ptolomeu.

Exemplo 1. Se dois tringulos situados no mesmo

plano esto relacionadas de maneira que as retas que unem
vrtices homlogos passam por um mesmo ponto (tringulos
copolares), ento os lados homlogos se cortam nos pontos
de uma mesma reta (tringulos colineares). Reciprocamente,
tringulos colineares so copolares.
Demonstrao. Aplicando o Teorema de Menelaus
aos trs trios de pontos {D, R , Q }, {E, P , R }, {F, Q ,
P } em relao aos tringulos OQR, ORP, e OPQ,
respectivamente, da Figura 22, teremos

Figura 22: Exemplo 1.

QD RR OQ

=1
RD OR QQ

(18)

RE PP OR

=1
PE OP RR

(19)

PF QQ OP

=1
QF OQ PP

(20)

Multiplicando membro a membro (18), (19) e (20),

temos
QD RE PF

=1
RD PE QF

(21)

Mas a equao (21) nos mostra a recproca do Teorema de Menelaus aplicado ao PQR. Portanto E, F e
D so colineares.

908
11

Freitas e Oliveira: Alguns Teoremas Clssicos da Geometria Sinttica e Aplicaes

Autores: Ttulo curto do artigo

Reciprocamente, considerando os PQR e P Q R

da Figura 22, temos que os pontos PR P R = { E},

PQ P Q = { F } e QR Q R = { D } so colineares.

Sendo PP RR = {O}, mostraremos que a reta


QQ passa por O, ou seja, RR PP QQ = {O}.
Aplicando aos FPP e DRR o que foi mostrado
na primeira parte deste teorema, teremos que
 

PP RR = {O}, P F R D = { Q } e FP DR = { Q}
so colineares e que os dois tringulos possuem os vrtices dois a dois sobre trs retas concorrentes.


O enunciado do Exemplo 1 conhecido como Teorema de Gerard Desargues (1591 - 1661). Desarques foi
matemtico e engenheiro francs, precursor da Geometria Projetiva. Sua principal obra foi sobre as propriedades
imutveis dos crculo, publicada em 1639.
Exemplo 2. (Ponto de Gergonne) Sejam AB, AC e BC
os lados de um tringulo ABC, e um crculo inscrito no tringulo ABC (incrculo). Se { X }= BC
, {Y } = AC e { Z } = AB , ento as cevianas
AX, BY e CZ so concorrentes em um nico ponto.

Figura 24: N o ponto de Nagel.

p c, analogamente temos que BZb = CYb = p
a e AZb = CXb = p b. Logo
pb pc pa
AZb BXb CYb

=1
BZb CXb AYb
pa pb pc
Portanto, pelo Teorema de Ceva, as cevianas AXb , BYb eCZb
so concorrentes em um nico ponto.


Exemplo 4. Seja A1 A2 A3 An um polgono regu1
1
1
=
+
, ento este
lar de n lados. Se
A1 A2
A1 A3
A1 A4
polgono tem 7 lados.
Demonstrao. Seja A1 A2 = A2 A3 = = An1 An =
a, A1 A3 = b, A1 A4 = c e A1 A5 = d.
Pela figura abaixo, temos que o quadriltero A1 A3 A4 A5
inscritvel. Aplicando o Teorema de Ptolomeu temos

Figura 23: P o ponto de Gergonne.

Demonstrao. Pela Figura 23, temos que AZ =
AY, BZ = BX e CX = CY. Logo
BX AZ CY
BZ AY CY

=1
CX BZ AY
CY BZ AY
Portanto, pelo Teorema de Ceva, as cevianas AX, BY e CZ
so concorrentes em um nico ponto.


Exemplo 3. (Ponto de Nagel) Sejam AB, AC e BC
os lados de um tringulo ABC, e 1 , 2 e 3 crculos
tangentes aos lados do tringulo ABC (ex-crculo). Se
{ Xb } = BC 1 , {Yb } = AC 2 e { Zb } = AB 3 ,
ento as cevianas AXb , BYb e CZb so concorrentes em
um nico ponto.
Demonstrao. Sejam BC = a, AC = b e AB = c e
p o semipermetro de ABC. Temos que BXb = AYb =

Figura 25: n-gono regular.

b c = a d + a b = a d = b c a b

(22)

mas por hiptese

1 1
1
= +
= b c a b = a c
a
b
c

(23)

Cincia e Natura v.37 n.3, 2015, p. 898 909

Cincia e Natura

909
12

De (22) e (23) temos

a c = a d = c = d
Como A5 A6 = a e A1 A5 = d = c devemos ter
A1 A6 = b, para isso, basta termos um nico ponto
sobre a circunferncia entre os pontos A1 e A6 . Logo
teremos um heptgono regular.

CARVALHO, J. B. P. (1994). Os Elementos de Euclides.

RPM-Revista do Professor de Matemtica, no 1.

COXETER, H. S. M., GREITZER, S. L. (1967). Geometry

Revisited. The Mathematical Association of America.
Washington.

Concluses

Neste trabalho procuramos fazer uma abordagem simples de alguns teoremas clssicos da Geometria Plana
e torn-los mais conhecidos, pois embora tenham um
grande papel na resoluo de muitos problemas, esto
de certa forma esquecidos tanto no ensino bsico quanto
no ensino de graduao.
Vimos ao longo do artigo, que muitos desses teoremas clssicos so construdos por meio de teoremas,
proposies e corolrios bastante conhecidos e ensinados nos diversos nveis de ensino, podendo, portanto,
serem abordados, pois no necessitariam de assuntos
que no fossem ministrados em tais nveis de ensino.
Para o ltimo teorema do Seo 2, fizemos o uso de uma
Transformao Geomtrica que tem a propriedade de
preservar ngulos e que muito utilizada em problemas que envolvem tangncias, a chamada Transformao
Inversiva. Transformaes Geomtricas so aplicaes
bijetivas de pontos do plano sobre si mesmo, ou seja,
uma transformao geomtrica transporta um ponto
do plano para outro lugar do plano, segundo uma lei
de associao. Apesar desse tema no est incorporado s prticas escolares e, at mesmo na formao
de professores, sua forma aqui utilizada e suas generalizaes para dimenses superiores, so frequentemente
utilizadas em demonstraes de problemas geomtricos, pois constituem um campo rico de conexes para
raciocinar sobre o plano e o espao (BASTOS, 2007).
Acreditamos que tanto o enfoque da realizao desse
trabalho, com a utilizao da Geometria Inversiva, por
exemplo, como os teoremas clssicos, que utilizamos
simplesmente mtodos elementares da Geometria Sinttica, pode servir para a melhoria do ensino-aprendizagem de Geometria Euclidiana Plana e possivelmente
servir de elemento motivador para alunos e professores
que busquem aprimorar seus conhecimentos em Geometria nos seus diversos desdobramentos.

Referncias
BARBOSA, J. (1994). Geometria Euclidiana Plana. Sociedade Brasileira de Matemtica.
BASTOS, R. (2007). Notas sobre o ensino de Geometria:
Transformaes Geomtricas. Revista da APM, Lisboa.

COSTA, C., TRALEA, P. (2007). Argumentao e conceito

de prova em Matemtica. UFF-Universidade Federal Fluminense, Rio de Janeiro.

DOLCE, O., POMPEO, J. N. (1985). Fundamentos de

Matemtica Elementar, 7o edn. Atual.
FREITAS, V. P. (2013). Algunas Teoremas Clssicos da
Geometria Sinttica e Aplicaes. Universidade Federal
do Amazonas.
GUALBERTO, K. J. (2005). Colinearidade e Concorrncia
na Geometria Plana. Universidade Federal de Santa
Catarina.
JOHNSON, R. A. (1960). Advanced Euclidean Geometry.
Dover Publications, Inc. New York.
MORGADO, A. C., WAGNER, E., JORGE, M. (2008).
Geometria II. VestSeller.
SARMENTO, M. I. (2007). Um Passeio Proveitoso Pelos
Crculos de Apolnio. Universidade do Porto, Portugal.