UNIVERSIDADE DA BEIRA INTERIOR

Departamento de Matemática
Ensino de Matemática no 3o Ciclo do Ensino Básico e no
Ensino Secundário

Modelo de Minkwoski para a

Geometria de Laguerre

Ricardo Filipe Marques Portugal

Número m3226

Covilhã 2010
Conteúdo

Introdução 1

1 Geometria de Laguerre 3
1.1 As geometrias de Lie, Laguerre e Möbius . . . . . . . . . . . . . . . . 3
1.2 Tangência entre ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Espaço de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Modelo de Minkowski para a geometria de Laguerre . . . . . . . . . . 11
1.5 Separação . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

2 Teorema de Pitágoras-Laguerre 18
Introdução

Este trabalho iniciou-se com um estudo prévio de pontos notáveis associados a três
circunferências ([6], ver anexo) a partir de um lema de incidência no plano projectivo
([6], Lema 1). Particularizando ao caso das três circunferências estarem ex-inscritas
a um triângulo, este lema parece estabelecer uma caracterização geométrica unifi-
cadora de muitos centros de Kimberling.1
Querendo explorar mais profundamente a riqueza geométrica destas configura-
ções, acreditamos que, para tal, seria interessante estabelecer uma generalização
do Teorema de Ceva. Ora, a geometria de Laguerre será talvez o contexto teórico
adequado a esta generalização. De facto, nesta geometria, pontos e circunferências
são tratados como objectos matemáticos equivalentes. Por outro lado, em traba-
lhos recentes [2, 5], tem sido colocada em evidência a possibilidade de utilizar esta
geometria, no âmbito do seu modelo de Minkowski, para o estudo de problemas
clássicos em geometria euclidiana.
Neste trabalho procurámos apresentar de forma completa e detalhada as ideias
e resultados principais que estão presentes em [2]. Em particular, começamos por
definir, de acordo com as princı́pios de Félix Klein e do seu Programa de Erlangen,
as geometrias de Lie, Laguerre e Mobius. De seguida, descrevemos o modelo de
Minkowski para a geometria de Laguerre. Este é um modelo que é fácil de manipular
e que evidencia de forma clara que o espaço subjacente à geometria de Laguerre é um
1
Clark Kimberling elaborou uma lista [4] exaustiva de pontos notáveis associados a um triângulo,
catologando-os de acordo com as suas propriedades conhecidas. Por exemplo, o primeiro ponto é
precisamente o incentro, denotado por X(1). Os pontos aı́ presentes passaram a ser conhecidos
por centros de Kimberling.

1
espaço homogéneo. Por fim, enunciamos e provamos um resultado que generaliza o
clássico Teorema de Pitágoras. Em trabalho futuro, procuraremos aplicar algumas
destas ideias na perspectiva de encontrar uma generalização adequada do Teorema
de Ceva.

2
Capı́tulo 1

Geometria de Laguerre

1.1 As geometrias de Lie, Laguerre e Möbius

Em 1872, Felix Klein publica um texto onde desenvolve uma forma inovadora e
clara de classificar e caracterizar diferentes geometrias [1]: uma geometria consiste
num espaço de objectos e de um grupo de transformações que sobre ele actua; as
propriedades relevantes dessa geometria são propriedades invariantes para a acção
do grupo que lhe subjaz. Por exemplo, o conceito de paralelismo que é preservado
na geometria afim, deixa de ser significativo na geometria projectiva, daı́ que as
transformações que preservam o paralelismo sejam importantes para a classificação
da geometria afim, mas não para a geometria projectiva. Estas ideias de Klein, ao
estabelecerem as bases de um projecto de investigação abrangente, conhecido por
Programa de Erlangen, que promovia uma visão unificadora da geometria, marcaram
decisivamente os desenvolvimentos desta área da matemática ao longo das décadas
seguintes. Nesta secção procuraremos definir a geometria de Lie e as sub-geometrias
de Laguerre e Möbius de acordo com os princı́pios gerais do Programa de Erlangen.
Um ponto do plano euclidiano é chamado ponto-finito. Acrescentando um novo
ponto no infinito, distinto de todos os outros no plano euclidiano, designado por
ponto-ideal, obtemos o plano inversivo. Pontos no plano inversivo são chamados
de pontos-ciclo. Uma circunferência orientada é um ciclo-próprio. O sinal do raio

3
de um ciclo-próprio define a sua orientação: caso o sinal do raio seja positivo a
orientação é no sentido anti-horário; caso o sinal do raio seja negativo a orientação é
no sentido horário. Um ciclo-ponto não tem orientação: o seu raio é zero. O termo
ciclo de Laguerre refere-se a ciclos-próprios (circunferências orientadas) ou a pontos-
finitos (pontos no plano Euclidiano); o termo ciclo de Lie refere-se a ciclos-próprios,
a pontos-ciclo ou a rectas orientadas. Estamos agora em condições de definir as
geometrias acima referidas:

• Geometria de Lie. Nesta geometria os objectos são os ciclos de Lie. As

transformações de Lie transformam ciclos de Lie em ciclos de Lie e preservam
as relações de incidência. Assim, em geral, os pontos-ciclo não são preservados
por transformações Lie. Foi Sophus Lie que no século XIX desenvolveu esta
geometria.

• Geometria de Laguerre. Os objectos desta geometria são precisamente os

ciclos de Laguerre. As transformações de Laguerre são transformações de Lie
que fixam o ponto-ideal. Em particular, estas transformações transformam
rectas orientadas em rectas orientadas. A geometria de Laguerre é uma sub-
geometria de Lie e foi formulada axiomaticamente por Van Warden e Smid em
1935.

• Geometria de Möbius - Na geometria de Möbius, desenvolvida por August

Ferdinand Möbius (1790-1868), os objectos são todos os pontos-ciclo. As trans-
formações de Möbius são transformações de Lie que transformam pontos-ciclo
em pontos-ciclo.

1.2 Tangência entre ciclos

De seguida vamos expor as definições de tangência (ou toque) entre ciclos. Deve-se
ter em atenção que, entre ciclos, a noção de tangência é um pouco mais forte que a
usual: aqui é necessário ter em conta a existência de orientações.

4
Definição 1. a) Um ciclo-próprio (circunferência orientada) e uma recta orientada
tocam-se se a circunferência e a recta subjacentes forem tangentes e, no ponto de
contacto, as suas orientações coincidirem.

b
A

Figura 1.
Tangência entre circunferência e recta orientada

b) Um ponto-ciclo (ponto no plano inversivo) e uma recta orientada tocam-se

quando o ponto pertence à recta.
c) Dois ciclos-próprios tocam-se se as circunferências subjacentes forem tangen-
tes e, no ponto contacto, as suas orientações coincidirem (isto é, se partilharem
exactamente uma recta orientada).

b A

Figura 2.
As duas circunferências orientadas tocam-se.

5
 b

Figura 3.
As duas circunferências orientadas não se tocam, pois partilham duas rectas orientadas.

d) No plano inversivo todas as rectas se intersectam no ponto-ideal, situado no

infinito. Por isso, duas rectas orientadas tocam-se se forem paralelas e se tiverem a
mesma orientação.

1.3 Espaço de Minkowski

O espaço de Minkowski está presente no estudo das propriedades do espaço-tempo
da Relatividade Geral de Einstein. O seu nome é uma referência ao matemático
alemão Hermann Minkowski (1864-1909) que curiosamente foi professor de ma-
temática de Einstein em Zurique.

Vamos fixar em R3 o produto interno

~x · ~y = x1 x2 + y1 y2 − z1 z2 ,

onde ~x = (x1 , y1 , z1 ) e ~y = (x2 , y2 , z2 ) são dois vectores arbitrários de R3 . Este

produto interno satisfaz as seguintes propriedades fundamentais:

• Simetria
~a · ~b = ~b · ~a ∀~a, ~b ∈ R3

• Bilinearidade

(~a + ~b) · ~c = ~a · ~c + ~b · ~c ∀~a, ~b, ~c ∈ R3

(λ~a) · ~b = λ~a~b ∀~a, ~b ∈ R3 , ∀λ ∈ R

6
Definição 2. Se ~x · ~x < 0, ~x diz-se um vector tipo-tempo. Se ~x · ~x > 0, ~x diz-se um
vector tipo-espaço. Se ~x · ~x = 0, ~x diz-se um vector tipo-luz.

O produto interno que fixámos tem assinatura (+, +, −), no sentido em que
existe uma base de R3 formada por dois vectores do tipo-espaço e um vector do
tipo-tempo. O espaço de Minkowski M 3 é o espaço R3 munido de um produto
interno de assinatura (+, +, −).

Definição 3. O cone luz com vértice em A ∈ M 3 é o conjunto dos pontos X ∈ M 3

−−→
para os quais XA é um vector do tipo-luz.

Observação 1. a) A equação do cone luz com vértice em A = (a, b, c) é dada

por:
−→ −→
P A · P A = (x − a)2 + (y − b)2 − (z − c)2 = 0.

w
~

~u
b

A ~v

Figura 4.
Os vectores ~u, ~v e w
~ são do tipo-espaço, luz e tempo, respectivamente.

b) Os vectores do tipo-tempo apontam para o interior do cone luz; os vectores

do tipo-luz estão sobre o cone luz; os vectores do tipo-espaço apontam para o
exterior do cone luz (ver Figura 4).

Definição 4. a) Um plano diz-se euclidiano se for ortogonal a um vector do

tipo-tempo (ver Figura 5).

7
 Figura 5.
Plano Euclidiano

b) Um plano diz-se de Lorentz se for ortogonal a um vector do tipo-espaço (ver

Figura 6).

Figura 6.
Plano de Lorentz

c) Um plano diz-se singular se for ortogonal a um vector do tipo-luz; estes planos

são tangentes ao cone luz (ver Figura 7).

8
 Figura 7.
Plano Singular

Observação 2. a) Um plano euclidiano admite uma base formada por dois vec-
tores do tipo espaço: tem assinatura (+, +).

b) Um plano de lorentz admite uma base formada por um vector do tipo-espaço

e outro do tipo-tempo: tem assinatura (+, −).

c) Um plano singular admite uma base formada por um vector do tipo-espaço e

outro do tipo-luz: tem assinatura (+, 0).

Lema 1. Consideremos uma recta do tipo-tempo ou do tipo-espaço. Suponha-se que

esta recta intersecta o cone luz com vértice em A nos pontos P e Q, não necessari-
amente distintos (ver Figura 8). Seja Z um ponto qualquer da recta. Então

−→ −→ −→ −→
ZP · ZQ = ZA · ZA.

−→
Demonstração. Sejam ~s = 12 P Q e M o ponto médio do segmento P Q. Uma vez que
−→ −−→ −→ −−→
AP = AM − ~s e AQ = AM + ~s são vectores do tipo-luz, vamos ter

−−→
−−→

AM − ~s · AM − ~s = 0 (1.1)
−−→
−−→

AM + ~s · AM + ~s = 0. (1.2)

9
Pela bilinearidade e simetria do produto interno, (1.1) e (1.2) são equivalentes,
respectivamente, a
−−→ −−→ −−→
AM · AM − 2AM · ~s + ~s · ~s = 0 (1.3)
−−→ −−→ −−→
AM · AM + 2AM · ~s + ~s · ~s = 0 (1.4)
−−→ −−→
Somando (1.3) a (1.4) resulta que AM · AM + ~s · ~s = 0. Assim,
−→ −→ −−→ −−→ −−→ −−→
ZP · ZQ = (ZM − ~s) · (ZM + ~s) = ZM · ZM − ~s · ~s
−−→ −−→ −−→ −−→
= ZM · ZM + AM · AM . (1.5)
−−→
Por outro lado, subtraindo (1.3) a (1.4) obtemos AM · ~s = 0, ou seja, as rectas
AM e ZM são perpendiculares. Assim,
−→ −→ −−→ −−→ −−→ −−→ −−→ −−→ −−→ −−→
ZA · ZA = (ZM + MA) · (ZM + MA) = ZM · ZM + AM · AM . (1.6)
−→ −→ −→ −→
Finalmente, de (1.5) e (1.6) concluimos que ZP · ZQ = ZA · ZA.

Para provar o próximo teorema vamos necessitar da definição de homotetia, re-

cordemos que:

Definição 5. Uma homotetia com centro no ponto Z e razão λ 6= 0 é a trans-

−−→ −→
formação em M 3 que envia o ponto A para o ponto A′ de modo que ZA′ = λZA.

Estas transformações enviam rectas, planos e cones luz para rectas, planos e
cones luz, respectivamente, preservando o tipo. Se Z, A, e A′ são pontos sobre uma
recta em M 3 , então existe uma única homotetia de centro em Z que envia A para
A′ .

Teorema 2. Consideremos uma recta do tipo-espaço ou tipo-tempo que passa pelos

pontos Z, A e A′ em M 3 . Qualquer outra recta do tipo-espaço ou tipo-tempo que
passe por Z intersecta o cone luz com vértice em A nos pontos P e Q (não necessa-
riamente distintos). Essa recta intersecta o cone luz com vértice em A′ e os pontos
P e Q são transformados por uma homotetia nos pontos P ′ e Q′ , respectivamente.
Então:
−−→′ −−→′ −−→′ −−→′
P P · QQ = AA · AA .

10
 A′
b

Q′
A P′
b

M
b
b

Q
P
Z
b

Figura 8.
−−→′ −−→′ −−→′ −−→′
P P · QQ = AA · AA

Demonstração. Consideremos a homotetia de razão λ e centro em Z que envia A

−−→ −−→ −−→
para A′ . Para qualquer ponto X temos que XX ′ = XZ + ZX ′ , sendo X ′ a sua
−−→ −−→
imagem. Assim, pela definição de homotetia: XX ′ = (λ − 1)ZX. Então:
−−→′ −→ −−→ −→
P P = (λ − 1)ZP , QQ′ = (λ − 1)ZQ

Sendo assim,
−−→′ −−→′ −→ −→
P P · QQ = (λ − 1)2 ZP · ZQ. (1.7)
−→ −→ −→ −→
Pelo Lema 1, sabemos que: ZP · ZQ = ZA · ZA, logo
−→ −→ −→ −→ −→
−→
−−→ −−→
(λ − 1)2ZP · ZQ = (λ − 1)2 ZA · ZA = (λ − 1)ZA · (λ − 1)ZA = AA′ · AA′ . (1.8)
−→ −→ −−→ −−→
Finalmente, de (1.7) e (1.8) concluimos que ZP · ZQ = AA′ · AA′ .

1.4 Modelo de Minkowski para a geometria de

Laguerre
A utilização do modelo de Minkowski no estudo da geometria de Laguerre apresenta
duas grandes vantagens: por um lado, torna possı́vel efectuar cálculos analı́ticos,
uma vez que se fixa um produto interno; por outro lado, torna evidente que o
espaço dos ciclos de Laguerre na geometria de Laguerre é um espaço homogéneo,
isto é, se considerarmos dois objectos distintos no espaço, temos a garantia de que

11
todas as propriedades que se verificam na vizinhança de um dos objectos também
se verificam na vizinhança do outro.
No modelo de Minkowski para a geometria de Laguerre os ciclos são represen-
tados por pontos e as rectas orientadas por planos singulares. Fixando um plano
euclidiano, um ponto A ∈ M 3 representa um ciclo de Laguerre no mesmo plano,
como mostra o seguinte teorema.

Teorema 3. A intersecção do cone luz com vértice no ponto A com um plano

euclidiano Π2E é uma circunferência orientada de centro A0 , o pé da perpendicular
por A a Π2E . O raio da circunferência é dado por

−−→
−~u · A0 A,

onde ~u é o vector unitário ortogonal ao plano euclidiano tal que ~u · ~ez < 0, com
~ez = (0, 0, 1).

A ~
u
b

b
P
b

A0

Figura 9.
Circunferência orientada de centro A0 .

−−→
Demonstração. O que se pretende provar é que, pondo r = −~u · A0 A, vamos ter
−−→ −−→
r 2 = A0 P · A0 P para qualquer ponto P na intersecção do cone luz com o plano
euclidiano fixado.
Fixemos uma base ortonormada de M 3 com assinatura (+, +, −) formada por
v~1 , v~2 e ~u. Então:
−→ −→ −→
AP = −(AP · ~u)~u + AP ⊥ , (1.9)

12
 −→ −→ −→ −→
onde AP ⊥ = (AP · v~1 )v~1 + (AP · v~2 )v~2 é a projecção ortogonal de AP sobre o plano
−−→
Π2E . Como ~u e A0 P são perpendiculares, vamos ter:

−→ −−→ −−→ −−→ −−→

AP · ~u = (AA0 + A0 P ) · ~u = AA0 · ~u = −A0 A · ~u. (1.10)

−−→
Por outro lado, como A0 A e ~u são paralelos,

−−→ −−→ −−→ −−→ −−→

A0 A · A0 A = − (A0 A · ~u)~u · − (A0 A · ~u)~u = −(A0 A · ~u)2 .



(1.11)

−→ −→ −→
Tendo ainda em conta que AP é um vector do tipo-luz, de onde AP · AP = 0, e que
−−→ −→⊥
A0 A · AP = 0, resulta de (1.9), (1.10) e (1.11) que:

−−→ −−→ −−→ −→ −−→ −→

A0 P · A0 P = (A0 A + AP ) · (A0 A + AP )
−−→ −−→ −−→ −→
−→ −→
= A0 A · A0 A + 2 A0 A · AP + AP · AP
−−→ −−→ −−→ −→ −→

= A0 A · A0 A + 2A0 A · − (AP · ~u)~u + AP ⊥
−−→ −−→ −→ −−→ −−→ −−→ −−→
= A0 A · A0 A − 2(AP · ~u)(A0 A · ~u) = A0 A · A0 A + 2(A0 A · ~u)2
−−→ −−→ −−→
= −(A0 A · ~u)2 + 2(A0 A · ~u)2 = (A0 A · ~u)2 ,

como queriamos demonstrar.

Observação 3. a) Quando aqui nos referimos a circunferência de raio r no plano

euclidiano Π2E , estamos a considerar a distância induzida pela restrição do
produto interno em M 3 a Π2E , que não coincide, em geral, com a distância
induzida pela restrição do produto interno usual em R3 . Em relação a esta
última, a intersecção do plano com o cone resulta obviamente numa elipse.

b) Para definir a orientação dos ciclos há que ter em consideração se o ponto A se
encontra, relativamente ao sentido positivo definido por ~ez = (0, 0, 1), acima
ou abaixo do plano euclidiano. Quando o ponto está acima do plano, então a
orientação do ciclo é no sentido anti-horário; se o ponto está abaixo do plano,
então a orientação é no sentido horário.

Sejam A e A′ dois pontos de M 3 , um situado acima do plano euclidiano Π2E

e outro abaixo, e consideremos os respectivos cones luz. Suponha-se que ℓ é uma

13
recta comum aos dois cones luz. Neste caso, os pontos A e A′ vão gerar dois ciclos
tangentes, com orientações opostas, de acordo com o que vimos na Observação 3.
Por outro lado, a intersecção do plano singular Π2S que contém a recta ℓ e é tangente
aos dois cones luz com o plano euclidiano origina a única recta orientada que toca
ambos os ciclos. A orientação da recta é definida de acordo com a Figura 2 da
Definição 1. A orientação desta recta não depende obviamente do par de cones luz
escolhido tangente ao plano singular Π2S . Vemos assim como um plano singular no
espaço de Minkowski representa uma recta orientada no plano euclidiano.

Figura 10.
Ciclos Tangentes

1.5 Separação
Consideremos duas circunferências A e A′ , com centros em C1 e C2 , respectivamente,
no plano euclidiano. Seja Z um centro de similitude [3] de A e A′ ; tracemos por Z
uma recta ℓ que intersecta A em P e Q, como mostra a figura seguinte, e A′ em P ′
e Q′ .

14
 Q′
b

P′ b

Q
b

P b

b
Z b

C2
C1

T1

T2

Figura 11.
Separação e distância tangencial

A homotetia que transforma A em A′ transforma também a recta P C1 na recta

P ′ C2 . Assim, as rectas P C1 e P ′ C2 são paralelas, uma vez que qualquer homotetia
transforma rectas em rectas paralelas. Do mesmo modo, as rectas QC1 e Q′ C2 são
também paralelas. Recordemos [3] ainda que o produto ZP · ZQ não depende da
secante escolhida (para cada par de pontos X e Y , XY denota a distância orientada
de X a Y ). Este produto é precisamente a potência de Z relativamente a A:

P(Z; A) = ZP · ZQ.

Dois ciclos próprios tem exactamente um centro de similitude. Caso os raios

sejam iguais, o ponto de similitude é o ponto-ideal (ponto no infinito).

Teorema 4. Relativamente à Figura 11, o produto P P ′ · QQ′ não depende da recta

ℓ escolhida. Essa quantidade é chamada de separação entre A e A′ .

Demonstração. Observemos a Figura 11 e reparemos que, pelo Teorema de Tales,

obtemos as seguintes relações:

PP′ C1 C2 QQ′ C1 C2
′
= e ′
= .
ZP ZC2 ZQ ZC2

Daqui,    
′ C1 C2 ′ ′ C1 C2
PP = ZP e QQ = ZQ′ .
ZC2 ZC2

15
Logo,  2  2
′ ′ C1 C2 ′ ′ C1 C2
P P · QQ = ZP · ZQ = P(Z, C2)
ZC2 ZC2

Consideremos uma tangente comum aos ciclos A e A′. Sejam T1 e T2 os respec-

tivos pontos de tangência (ver Figura 11). Então |T1 T2 | é designada por distância
tangencial entre os dois ciclos. Repare-se que a separação s é precisamente o qua-
drado da distância tangencial t. De facto, aplicando o Teorema de Tales, obtemos
as seguintes relações:
PP′ T1 T2
′
= (1.12)
ZP ZT2
QQ′ T1 T2
= . (1.13)
ZQ′ ZT2
Multiplicando (1.12) a (1.13) temos que:
P P ′ · QQ′ (T1 T2 )2
=
ZP ′ · ZQ′ (ZT2 )2
Assim,
ZP ′ · ZQ′ ′
2 P(Z, A )
s = P P ′ · QQ′ = (T1 T2 )2 = (T1 T2 ) = (T1 T2 )2 = t2
(ZT2 )2 P(Z, A′)
Observação 4. Sejam A e A′ os vértices dos cones-luz que representam A e A′ ,
−−→ −−→
respectivamente. Como s = t2 e t2 = T1 T2 · T1 T2 , pelo Teorema 2 vamos ter:
−−→ −−→
s = AA′ · AA′ .

Teorema 5. A separação s entre dois ciclos é dada por: s = (C2 C1 )2 − (r2 − r1 )2 .

Demonstração. Pelo critério de semelhança AA, os triângulos △ZT1 C1 e △ZT2 C2

são semelhantes e portanto
ZT2 r2 ZC2
= = .
ZT1 r1 ZC1
Assim,
2 
2 r2
2 2
(T1 T2 ) = (ZT2 − ZT1 ) = (ZT1 ) · −1
r1
 2
2 2 2 r2
(C1 C2 ) = (ZC2 − ZC1 ) = (ZC1 ) · −1
r1

16
Aplicando o Teorema de Pitágoras ao triângulo △ZT1 C1 , obtemos

(ZT1 )2 = (ZC1 )2 − r12 .

Logo:
 2  2  2
2 2 r2 2 r2 r2
(T1 T2 ) = (ZT1 ) · −1 = (ZC1 ) · −1 − r12 · −1
r1 r1 r1
= (C2 C1 )2 − (r2 − r1 )2 ,

como queriamos demonstrar, tendo em atenção que s = t2 .

17
Capı́tulo 2

Teorema de Pitágoras-Laguerre

Neste capı́tulo vamos apresentar uma generalização do clássico Teorema de Pitágoras

a uma configuração de três circunferências orientadas. Com este exemplo, pretende-
mos ilustrar a possibilidade de usar a geometria de Laguerre em problemas clássicos
de geometria euclidiana.
Convém recordar que, quando usamos o termo ponto, nos referimos a um deter-
minado ponto P do espaço de Minkowski. Fixado um plano euclidiano, esse mesmo
ponto representa, no quadro da geometria de Laguerre, um ciclo, que também de-
notamos por P . Apenas o contexto nos permite distinguir os dois casos.

Teorema 6 (Pitágoras-Laguerre). Sejam A, R, B, S ciclos de modo que R e S

tenham orientações opostas e cada um toque o seguinte, com os quatro pontos de
tangência colineares. Se C for um ciclo que toque R e S, então o quadrado da
distância tangencial entre A e B é a soma dos quadrados das distâncias tangenciais
entre B e C e entre C e A (ver Figura 12).

Demonstração. A figura geométrica associada a este teorema é, no âmbito da Geo-

metria de Laguerre, equivalente a um triângulo rectângulo, como de seguida passa-
mos a explicar em detalhe.

18
 b

C
R
B
b

S b
Y
Y′
A b

b
Z′
Z b

Figura 12.
Transformação de Laguerre para o Teorema de Pitágoras no plano Π2E

Consideremos um plano euclidiano Π2E em M 3 onde fixamos o produto interno

obtido por restrição do produto interno de Minkowski. Sejam Z, Z ′ , Y e Y ′ os
pontos de contacto entre os ciclos A e R, A e S, B e R, B e S, respectivamente.
Ora, de acordo com o modelo de Minkoski, cada ciclo é gerado pela intersecção de
um cone luz com o plano euclidiano Π2E . Aos ciclos em questão correspondem então
cones-luz com vértices em A, B, C, R e S, repectivamente.

Figura 13.
Teorema de Pitágoras-Laguerre

19
 Os pontos A, B, C, Z e Y pertencem ao cone luz R. Os pontos Z ′ e Y ′ pertencem
ao cone luz S. Consideremos o plano definido pelos pontos R, A e B. Este plano
contém ainda a recta ZY . Por outro lado, o plano definido pelos pontos S, A e
B contém a recta Z ′ Y ′ , que, por hipótese, coincide com ZY . Logo os dois planos
também coincidem, ou seja, os pontos A, B, R e S são complanares.
Designemos por Π2 o plano euclidiano que contém os pontos A, B e C. A
intersecção do cone-luz com vértice em R com o plano Π2 é uma circunferência C,
de acordo com o Teorema 3. Esta circunferência contém obviamente os pontos A,
B e C. O próximo passo é provar que o centro dessa circunferência pertence ao
segmento AB. Deste modo, o triângulo △ABC é rectângulo em C, pois ∠ACB é
um ângulo inscrito numa semi-circunferência.
Como vimos, os pontos A, B, R e S são complanares. As rectas AR e BR são
do tipo-luz, uma vez que estão contidas no cone luz com vértice em R. Do mesmo
modo, as rectas AS e BS, contidas no cone-luz com vértice em S, são também do
tipo luz. Sendo assim, as rectas AR e BS são paralelas, tal como as rectas AS e
BR. Logo, RASB é um paralelogramo:

Rb

B
A b

Figura 14.
RASB é um paralelogramo

O centro da circunferência C que passa por A, B e C é o ponto de intersecção

−→ −→ −→ −→
do segmento AB e RS. De facto, como RB = AS e AR = −RA, vamos ter

−→ −→ −→ −→ −→ −→
AB · RS = (AR + RB) · (RA + AS)
−→ −→ −→ −→ −→ −→ −→ −→
= AR · AS + RB · RA = AR · AS − AS · AR = 0.

20
Logo, o ponto de intersecção do segmento AB e RS é o pé da perpendicular por
R ao plano Π2 . Logo, pelo Teorema 3, este ponto é o centro da circunferência C.
Assim, o triângulo △ABC é rectângulo em C, de onde resulta, pelo Teorema de
Pitágoras, que:
−→ −→ −→ −→ −−→ −−→
AB · AB = AC · AC + CB · CB.

O teorema é agora consequência imediata da Observação 4.

21
Bibliografia

[1] H.S.M. Coxeter, The Erlangen program, Math. Intelligencer, 0:22, 1977.

[2] Jay P. Fillmore and Arthur Springer, New Euclidean Theorems by the use of
Laguerre Transformations - some geometry of Minkowski (2+1) - space, Journal
of Geometry, Vol. 52, 1995.

[3] Paulo Araújo Ventura, Curso de Geometria, 2a edição, 1999.

[4] C. Kimberling, Clark Kimberling’s Encyclopedia of Triangle Centers–ETC.

http://faculty.evansville.edu/ck6/encyclopedia/ETC.html.

[5] Robert D.Knight The Apollonius contact problem and Lie contact geometry,
Journal of Geometry, Vol. 83, 2005.

[6] R. Pacheco, F. Pinheiro and R. Portugal, A note on the geometry of three

circles, 2009 (Submetido para publicação).

22