Escolar Documentos
Profissional Documentos
Cultura Documentos
Luciano G. M. Castro
Nvel Avanado
Artigo baseado em aula ministrada na III Semana Olmpica
Piracicaba - SP
Comeamos com um problema de Geometria Euclidiana:
Problema Inicial:
Dada uma circunferncia , de centro O e raio R, vamos criar uma associao entre
pontos e retas do plano, da seguinte maneira: Para cada ponto A distinto de O, seja A' o ponto
da semi-reta OA tal que OA OA' R 2 . (A' chamado inverso de A em relao a . A
transformao A A' a inverso relativa a ). Seja a a reta perpendicular a OA
passando por A'. Dizemos que a a reta polar de A em relao a , e que A o plo de a em
relao a .
A'
A transformao do plano que leva cada ponto em sua polar e cada reta em seu plo
chamada de polaridade. Para simplificar a notao, usaremos a mesma letra para designar um
ponto (maiscula) e sua polar (minscula).
Teorema 1: Sejam A e B dois pontos do plano, a e b suas respectivas polares. Se
a
b
A'
O
B'
Considere um ponto B a.
Seja B' OB tal que AB ' OB. Os
tringulos OAB' e OBA' so retngulos e tm
um ngulo comum ( AB ' BA' ), logo
so semelhantes. Assim,
OA OB'
OB OB' OA OA' R 2 .
OB OA'
Logo B' o inverso de B, de onde AB ' b e
A b.
Assim, se imaginarmos o ponto B variando ao longo da reta a, sua polar, b, variar ao longo
do feixe de retas que passam pelo ponto A.
Diremos que um ponto e uma reta so incidentes quando o ponto pertence reta, o que o
mesmo que dizer que a reta passa pelo ponto.
A polaridade, portanto, uma transformao que preserva incidncias.
Exerccio 1: Se um ponto conjugado a si mesmo, ento ele pertence circunferncia e sua
C
a
2. O PLANO PROJETIVO
...
...
...
B
3. O PRINCPIO DA DUALIDADE
Dual
Observao:
Apesar de termos definido o plano projetivo como uma extenso do plano euclidiano, isto no
necessrio. O plano projetivo existe de forma independente, podendo ser caracterizado a
partir de um conjunto de axiomas, entre os quais esto as propriedades duais citadas
anteriormente.
4. QUDRUPLAS HARMNICAS
,
BC
BD
dizemos que C e D "dividem harmonicamente" o segmento AB .
Observe que, de acordo com a definio, isto tambm implica que A e B dividem
harmonicamente o segmento CD . Representaremos esta situao com o smbolo
H( AB, CD ). Tambm diremos que A, B, C e D , nesta ordem, formam uma "qudrupla
harmnica".
Dados os pontos A, B e C sobre uma reta, o ponto D tal que H( AB; CD ) chamado
"conjugado harmnico" de C em relao a AB .
Surpreendentemente, apesar da definio utilizar a noo de distncia (que no faz sentido no
plano projetivo), o conceito de qudruplas harmnicas faz sentido no Plano Projetivo, por
meio da seguinte construo para o conjugado harmnico:
E
F
G
Figura 1
a1
H
c
b1
b2
a2
A
Dados os pontos A, B e C sobre uma reta r, traamos duas retas quaisquer a1 e a2 passando por
A e uma reta c passando por C. Unindo a B os pontos de incidncia de c com a1 e a2 ,
respectivamente, obtemos as retas b1 e b2. Fica ento formado um quadriltero (EFHG, na
figura) tal que os lados opostos concorrem em A e B, e tal que uma de suas diagonais passa
por C. Seja D o ponto de encontro de r com a outra diagonal do quadriltero. Ento D o
conjugado harmnico de C em relao a AB .
Esta construo a definio de qudruplas harmnicas no plano projetivo. Vejamos que ela
coincide, no plano Euclidiano, com a definio usual. Sejam os pontos E, F, G como na figura
1.
Aplicando o Teorema de Menelaus* no ABE , secante DGF, temos:
AD BG EF
1.
BD EG AF
No
(1)
EC , BF e AG :
AC BG EF
1.
BC EG AF
( 2)
AC
AD
.
BC
BD
*Ver apndice.
5. PONTO MDIO E CONJUGAO HARMNICA
A2
Figura 2
B1
C
A1
a
B2
c
b
Teorema 2: Uma reta qualquer do plano corta um feixe harmnico em quatro pontos que
7. O TEOREMA DE PASCAL
Sem dvida, um dos mais belos teoremas da Geometria Projetiva. vlido para qualquer
cnica, apesar de que aqui s veremos a demonstrao para a circunferncia, no plano
euclidiano. importante mencionar, no entanto, que no Plano Projetivo no h qualquer
diferena entre uma circunferncia e qualquer outra cnica no-degenerada.
Teorema 3: Os pontos de encontro entre os 3 pares de lados opostos de um hexgono ABCDEF
1
PY DZ EX
A
R
D
QZ BX CY
1
QX BY CZ
RY AX FZ
1
RZ AY FX
1.
PY QX RZ
Logo, pelo recproco do Teorema de Menelaus no tringulo XYZ, secante PQR, temos
que P, Q e R so colineares.
Fazendo coincidir certos pares de pontos no hexgono ABCDEF, podemos deduzir
teoremas anlogos ao de Pascal para pentgonos, quadrilteros e at tringulos
inscritos na circunferncia. Por exemplo, fazendo coincidir A com B e D com E, as
retas AB e DE tornam-se tangentes circunferncia, e obtemos a seguinte configurao:
F
AB
Q
P
A
DE
Figura 3
Exerccio 4:
Agora estamos prontos para retomar nosso estudo das polaridade. Aproveitando tudo o que
vimos at aqui, vamos deduzir algumas propriedades mais avanadas.
Teorema 4: (Construo da reta polar usando apenas rgua)
R
C
Q
A
As polares de B, C, D e E so as retas b,
c, d, e e
tangentes a em seus
respectivos plos.
Sendo R b c e S d e, temos
que as polares de R e S so as retas
r BC e s DE.
Como A r s, sua polar a reta
a RS .
Sendo P BE CD e Q BD EC ,
um dos corolrios do Teorema de Pascal
garante que P, Q, R e S so colineares,
a PQ,
logo
como
queramos
demonstrar.
S
(Dica: na figura anterior, use o quadriltero PBQC para encontrar o conjugado harmnico de
A em relao a ED ).
Podemos agora apresentar uma soluo simples e elegante para o problema proposto no incio
deste artigo.
A'
C'
B'
B
c
d
D
OS .
Isto simples:
SD AB s c, e
s) .
sua polar , portanto, SC , como queramos demonstrar.
APNDICE:
TEOREMA DE CEVA:
A
1.
CN BM AP
N
Q
Prova:
AN CM BP t 3 t 2 t1
1
CN BM AP t1 t 3 t 2
TEOREMA DE MENELAUS:
Y BC e Z AC
AX BY CZ
1.
BX CY AZ
Prova:
C
Y
Suponha que X tA (1 t ) B e
Y sB (1 s )C.
Ento Z uX (1 u )Y , onde u tal que
(1 t )u s (1 u ) 0, ou seja,
(1 s )(1 t )
st
Z
A
C . Assim,
s t 1
s t 1
AX BY CZ 1 t 1 s
st
1
BX CY AZ
t
s
(1 s )(1 t )