NMEROS COMPLEXOS E GEOMETRIA ANALTICA: QUANTOS

EXEMPLOS BASTAM PARA PROVAR UM TEOREMA?

Humberto Jos Bortolossi, UESC, hjbortol@uesc.br

Silvana Marini Rodrigues Lopes, PUC-Rio, silvana@mat.puc-rio.br
Carlos Tomei, PUC-Rio, tomei@mat.puc-rio.br

O TEOREMA DE NAPOLEO

Nosso primeiro exemplo o teorema de Napoleo. Comeamos com os enuncia-

dos clssicos. Dado um tringulo ABC qualquer, construa tringulos equilteros apoia-
dos externamente sobre cada um de seus lados. O tringulo externo de Napoleo obti-
do unindo-se os baricentros X, Y e Z destes tringulos (figura 1). Se, por outro lado, os
tringulos equilteros so construdos internamente a ABC, seus baricentros X', Y' e Z'
formam o tringulo interno de Napoleo (figura 1).
Teorema 1. Os tringulos externo e interno de Napoleo de qualquer tringulo
so equilteros.

C C
Z
Y X0

0
Y
Z
A B A B

O tringulo externo de Napoleo O tringulo interno de Napoleo

Figura 1.
Anais do VIII ENEM Minicurso 2
GT 3 Educao Matemtica no Ensino Mdio

O teorema atribudo a Napoleo Bonaparte (1769-1821), embora no haja evi-

dncias de que seja ele o autor do mesmo (SCRIBA, 1980). A referncia mais antiga
que relaciona Napoleo com este teorema o livro (FAIFOFER, 1911).
O teorema tem um enunciado simples, mas sua demonstrao no o : no se es-
pera que um aluno do ensino mdio seja capaz de obt-la. O teorema e suas extenses
foram tratados com tcnicas de geometria sinttica (COXETER; GREITZER, 1967),
variveis complexas (HAHN, 1994), lgebra linear (YAGLOM, 1973), trigonometria
(BRODIE; LAMBROU, 2000), anlise harmnica (PECH, 2001), geometria discreta
(RIGBY, 1988) e geometria mecanizada (CHOU; GAO; ZHANG, 1998). Nosso ponto
de vista ainda outro, bastante elementar.
Quando A, B e C so colineares, a construo dos tringulos de Napoleo no faz
sentido. Faremos, agora, uma construo semelhante que permite enunciar o teorema
para quaisquer vrtices A, B e C e que unifica os casos interno e externo. Sejam dados
trs pontos A, B e C, no plano. Gire de 60o no sentido anti-horrio o segmento AB em
torno do vrtice B, o segmento BC em torno de C e CA em torno de A, obtendo os pon-
tos P, Q e R, vrtices dos tringulos equilteros ABP, BCQ e ACR, respectivamente.
Chamaremos o tringulo de Napoleo obtido por rotaes ou, mais simplesmente, o
tringulo de Napoleo, aquele obtido pela unio dos baricentros X, Y e Z desses trs
tringulos equilteros. O tringulo de Napoleo agora est bem definido para quaisquer
pontos A, B e C, inclusive quando eles so colineares ou coincidentes (figura 2).

Q
Z
Y
A C B

Figura 2.
Anais do VIII ENEM Minicurso 3
GT 3 Educao Matemtica no Ensino Mdio

Quando os vrtices A, B e C esto dispostos no sentido anti-horrio, o tringulo

de Napoleo obtido por rotaes coincide com o tringulo externo de Napoleo e, quan-
do os vrtices A, B e C esto dispostos no sentido horrio, o tringulo de Napoleo ob-
tido por rotaes coincide com o tringulo interno de Napoleo (figura 3).
Teorema 2. O tringulo de Napoleo equiltero.
Rotaes no plano so fceis de descrever em notao complexa: isso simplifica em muito as
contas, como veremos.
Demonstrao do teorema 2 (usando nmeros complexos).
Desenhe o tringulo ABC no plano complexo, de forma que o vrtice A esteja
na origem e B em 1. Seja z o nmero complexo associado ao vrtice C (figura 4). Como
P obtido a partir da rotao de /3 no sentido anti-horrio do vrtice A em torno de B,
podemos escrever
P = (A B) ei/3 + B = 1 ei/3.
Analogamente, temos que
Q = (B C) ei/3 + C = (1 z) ei/3 + z e R = (C A) ei/3 + A = zei/3.
R
R

Z C Q B
X
Y

Y
A B A C
Z Q

P
Figura 3.
Anais do VIII ENEM Minicurso 4
GT 3 Educao Matemtica no Ensino Mdio

i/3
R = ze

i/3

Q
= (1 z)e + z
C= z
Z
Y

A=0 B= 1

P= e + 1

Figura 4.
Desta maneira, conclumos que as coordenadas de X, Y e Z so dadas por
X = (A + B + P)/3 = (2 ei/3)/3,
Y = (B + C + Q)/3 = ((2 ei/3) + 1 + ei/3)/3 e
Z = (C + A + R)/3 = (1 + ei/3) z/3.
Queremos mostrar que o tringulo de Napoleo XYZ equiltero. Para isso, basta veri-
ficarmos que Y a rotao de /3 de X em torno de Z:
Y = (X Z) ei/3 + Z.
Em termos da varivel z, devemos ento verificar que
(1 ei/3 + e2i/3) z + (1 ei/3 + e2i/3) = 0.
Mas isto segue imediatamente da identidade 1 ei/3 + e2i/3 = 0.
Anais do VIII ENEM Minicurso 5
GT 3 Educao Matemtica no Ensino Mdio

As contas acima so mais simples do que as necessrias para uma demonstrao

por geometria analtica, e, como veremos, elas so at dispensveis! De fato, como vi-
mos, todos os pontos envolvidos no teorema podem ser escritos como funes afins de
z, isto , que os nmeros complexos relevantes so da forma
a z + b,
com a e b constantes complexas.

Nova demonstrao do teorema 2 (limitando a complexidade algbrica).

Mais uma vez, como na figura 4, o tringulo inicial ABC est no plano comple-
xo com os vrtices A, B e C em 0, 1 e z (qualquer). No plano complexo, girar um nme-
ro em torno da origem o mesmo que multiplicar este nmero por uma constante com-
plexa de mdulo 1; girar em torno de um ponto qualquer uma operao afim. Assim,
os nmeros complexos associados aos vrtices P, Q e R so expresses afins em z, pois
so rotaes dos nmeros complexos 0, 1 e z em torno de 1, z e 0, respectivamente. Os
vrtices X, Y e Z tambm so expresses afins em z, pois so mdias aritmticas de ex-
presses afins.
Para ver que o tringulo XYZ equiltero, verificaremos que Y pode ser obtido
atravs da rotao no sentido anti-horrio de /3 do vrtice X em torno de Z, ou seja,
que Y = (X Z) ei/3 + Z, ou ainda, que
Y (X Z) ei/3 Z = 0.
Como X, Y e Z so expresses afins em z, devemos ento mostrar que uma certa expres-
so afim em z (um mero polinmio de grau 1!) zero para qualquer valor de z.
Para isto basta encontrarmos dois valores de z que so razes desta expresso a-
fim. Por exemplo, os valores
z = ei/3 e z = ei/3,
cujas configuraes geomtricas correspondentes so mostradas na figura 5.
Anais do VIII ENEM Minicurso 6
GT 3 Educao Matemtica no Ensino Mdio

R C

Z Y

A B A=Q B= R

X X=Y=Z

P C =P

Figura 5.

A demonstrao do teorema de Napoleo dada acima sugere uma tcnica de de-

monstrao de teoremas em geometria: obtm-se um polinmio que identicamente
nulo se, e somente se, o teorema verdadeiro, e identifica-se um nmero suficiente de
situaes para o qual o teorema obviamente correto. Assim, o grau do polinmio
pode ser tomado como uma medida da complexidade algbrica do teorema, estimando
alm disso o nmero de casos particulares necessrios para a sua demonstrao. Ao teo-
rema de Napoleo, por exemplo, conseguimos associar um polinmio de grau 1 e, ento,
com apenas dois exemplos (banais), provamos o caso geral! Vejamos agora outros e-
xemplos do uso desta tcnica.

Propriedade 1. Os tringulos de Napoleo externo e interno tm o mesmo bari-

centro, que coincide com o do tringulo inicial.
Demonstrao. Considere a configurao da figura 4. Os baricentros dos trin-
gulos externo e interno de Napoleo do tringulo inicial so expresses afins em z. Ver
que este baricentros coincidem tambm resulta em uma equao afim. Assim, para veri-
ficarmos a propriedade, basta exibirmos duas configuraes desta propriedade. Conside-
re, por exemplo, aquelas indicadas na figura 5.
Propriedade 2. A diferena entre as reas dos tringulos externo e interno de
Napoleo igual a rea do tringulo inicial.
Demonstrao. Novamente, considere a configurao da figura 4, onde A = 0, B
= 1 e C = z. J vimos que os tringulos externo e interno de Napoleo so equilteros e
que seus vrtices so expresses afins em z.
Anais do VIII ENEM Minicurso 7
GT 3 Educao Matemtica no Ensino Mdio

Se l e l' so os lados destes tringulos, respectivamente, ento podemos escrever

l = z+b e l' = z + , onde , , , .

Se X, Y e Z so os vrtices do tringulo externo de Napoleo e X', Y', Z' so os vrtices

do tringulo interno de Napoleo (figura 1), ento
1 zz
rea(ABC ) = ,
2 2i
3 2 3 3 2 3
rea(XYZ ) = l = z + e rea(X ' Y ' Z ') = l' = z + .
4 4 4 4
Queremos mostrar que rea ( ABC ) = rea( XYZ ) rea(X ' Y ' Z '), isto , que

1 zz 3 3
= z + z + .
2 2i 4 4
Desenvolvendo esta equao, chegamos seguinte expresso em z e z :

( ) z z + 4 33i z + + 4 33i z + = 0,

de modo que a propriedade 2 verdadeira se, e somente se, a expresso
4 3i 4 3i
( )
P ( z ) = z z + z + +
3 3
z +

igual a zero para todo z .
Observe que P um polinmio de grau 2 nas variveis x = Re(z) e y = Im(z). Na
verdade, esse resultado pode ser deduzido sem fazer contas (por qu mesmo?). As con-
tas dizem mais: P(z) = 0 a equao de um crculo, em notao complexa. Sabemos que
existe uma nica circunferncia que passa por trs pontos no colineares. Portanto, se
encontrarmos quatro razes de P que no esto em uma mesma circunferncia (isto ,
quatro configuraes geomtricas para as quais a propriedade 2 verdadeira) ento,
obrigatoriamente, P(z) = 0 para todo z .
Para isto, basta considerar as quatro configuraes da figura 6, correspondentes
aos valores z = 0, z = 1, z = ei/3 e z = ei/3, respectivamente.
Anais do VIII ENEM Minicurso 8
GT 3 Educao Matemtica no Ensino Mdio

Q =P0 R =P 0

Y =X0 Z=X 0

R = R0 Q =Q0
A =C B A B=C
Z = Z0 Y =Y 0

X =Y 0 X =Z0

0
P =Q P = R0

0
R C= P Q P0

Z Y

0 0 0 0
X =Y = Z X

A = Q0 B = R0 A= B=

X =Y = Z
X

Y0

Figura 6.

Propriedade 3. Na configurao de Napoleo, as retas que unem os vrtices P,

Q e R dos tringulos equilteros aos vrtices opostos do tringulo inicial ABC se en-
contram em um nico ponto I. Alm disso, as retas fazem 60 o entre si, e os segmentos
AQ, BR e CP tm o mesmo comprimento.
Demonstrao. O fato que os segmentos AQ e BR tm o mesmo comprimento e
se encontram fazendo 120 o segue do fato que, em notao complexa, R B uma rota-
o de 120 o de Q A. Como nos exemplos acima, fcil ver que esta uma proprieda-
de afim: dois exemplos em que ela se verifica so bvios (os da figura 5).
Para demonstrar a afirmao que falta, considere desta vez o tringulo ABC no
2
plano cartesiano , de forma que seus vrtices tenham coordenadas reais, A = (0, 0), B
= (1, 0) e C = (x, y) qualquer. fcil ver que, mais uma vez, as coordenadas de P, Q e R
Anais do VIII ENEM Minicurso 9
GT 3 Educao Matemtica no Ensino Mdio

so expresses afins em x e y, isto , elas so da forma x + y + , com , , constan-

tes reais. Sobre o ponto P sabemos um pouco mais: suas coordenadas so constantes.
Portanto, podemos escrever P = (a,b) e, usando a notao afim para indicar uma expres-
so afim nas variveis x e y, Q = (afim, afim) e R = (afim, afim) (figura 7).

R = (afim ,afim )

Q = (afim ,afim )
C = (x,y)

A = (0,0) B = (1,

P = (a,b)
Figura 7.

Em termos das seguintes parametrizaes das retas AQ, BR e CP,

r a A + r (Q A) = (0, 0) + r (afim, afim),
s a B + s ( R B) = (1, 0) + s (afim 1, afim) = (1, 0) + s (afim, afim),
t a P + t (C P) = (a, b) + t (afim a, afim b) = (a, b) + t (afim, afim),
vemos que elas se interceptam em um mesmo ponto I se, e somente se, existem valores
de r, s e t tais que
(0, 0) + r (afim, afim) = (1, 0) + s (afim, afim),
Anais do VIII ENEM Minicurso 10
GT 3 Educao Matemtica no Ensino Mdio

(0, 0) + r (afim, afim) = (a, b) + t (afim, afim),

ou ainda, que existem valores de r, s e t que satisfazem a seguinte equao matricial
1 afim afim 0 1 0

0 afim afim 0 r 0
=
a afim 0 afim s 0

b afim
1444 0 afim t 0
424444 3
M

Mas a fim de que (1, r, s, t) seja uma soluo no trivial do sistema linear homogneo definido pela ma-
triz M, devemos ter que
det(M) = 0.
Por outro lado, o determinante de qualquer matriz da forma

constante afim afim afim

constante afim afim afim
constante afim afim afim

constante afim afim afim
um polinmio nas variveis x e y do tipo
p(x,y) = (x) y3 + (x) y2 + (x) y + (x),
onde , , e so polinmios na varivel x.
Assim sendo, se mostrarmos que p(x,y) = 0 para todo ( x, y ) 2
, teremos ento
estabelecido que a propriedade 3 verdadeira. Faremos isto usando a tcnica de provar
a partir de casos particulares. Para a propriedade 3, a configurao geomtrica evidente
aquela onde o tringulo inicial ABC issceles (figura 8).

R Q

I
A B

Figura 8.
Anais do VIII ENEM Minicurso 11
GT 3 Educao Matemtica no Ensino Mdio

Fixe agora x = x0 no intervalo (0, 1/2), conforme a figura 9. Se escolhermos C

como sendo um dos pontos (x0, y1), (x0, y2), (x0, y3) e (x0, y4), obtidos a partir da interse-
o da reta x = x0 com os crculos de raio 1 e centro em (0, 0) e (1, 0), veremos que o
tringulo ABC correspondente ser issceles.

y1

y2

0 x0 1/2 1 x

y3

y4

Figura 9.

Desta maneira, segue-se que y1, y2, y3 e y4 so quatro razes distintas do polin-
mio
q(y) = p(x0,y) = (x0) y3 + (x0) y2 + (x0) y + (x0).
Como q tem grau 3, vemos que q(y) = p(x0,y) = 0, para todo y . Mas se isto aconte-
ce, ento (x0) = (x0) = (x0) = (x0) = 0. Uma vez que x0 um ponto qualquer no
intervalo (0, 1/2) e , , e so polinmios, segue-se que
(x) = (x) = (x) = (x) = 0,
Anais do VIII ENEM Minicurso 12
GT 3 Educao Matemtica no Ensino Mdio

para todo x . Conseqentemente, p(x, y) = 0 para todo ( x, y ) 2

, como queramos
demonstrar.

A GENERALIZAO DE BARLOTTI

Uma pergunta natural se a construo e as concluses sugeridas pelo teorema

de Napoleo podem ser generalizadas para outros polgonos alm do tringulo. Mais
precisamente, queremos saber se os baricentros dos n-gonos regulares construdos (ex-
ternamente ou internamente) sobre cada um dos lados de um dado n-gono formam, por
sua vez, um outro n-gono regular. A resposta no, j para n = 4, como mostra a figura
10.

W Z

D C

A B
Y

Figura 10.

Contudo, ainda com relao ao caso n = 4, Thbault (THBAULT, 1937) de-

monstrou que para um paralelogramo, os baricentros dos quadrados construdos (exter-
namente ou internamente) sobre cada um de seus lados formam sempre um outro qua-
drado (figura 11).
Anais do VIII ENEM Minicurso 13
GT 3 Educao Matemtica no Ensino Mdio

Z
W

D C

A B

Y
X

Figura 11.
Tanto o tringulo quanto o paralelogramo so exemplos de polgonos regulares
afins, isto , polgonos que podem ser escritos como a imagem por uma transformao
afim de um n-gono regular. A. Barlotti mostrou que a propriedade de regularidade afim
suficiente para se obter uma generalizao dos teoremas de Napoleo e de Thbault
para outros tipos de polgonos.
Teorema 3. Sejam Pn um n-gono qualquer e Qn o n-gono cujos vrtices so os
baricentros dos n-gonos regulares construdos (todos externamente ou todos interna-
mente) sobre cada um dos n lados de Pn. Se Pn regular afim, isto , se Pn a imagem
por uma transformao afim de um n-gono regular, ento Qn regular.
Barlotti apresentou sua generalizao em 1955, usando trigonometria no plano complexo para
justific-la (BARLOTTI, 1955). Desde ento, vrias alternativas de demonstrao foram sugeridas:
(GERBER, 1980) usando trigonometria, (RUOFF; SHILLETO, 1978) usando polgonos recursivos,
(FISHER; RUOFF; SHILLETO, 1985) usando anlise de Fourier e formas hermitianas.
Daremos a seguir uma demonstrao cotando a complexidade algbrica do resul-
tado. Mais precisamente, vamos mostrar que a generalizao de Barlotti associada a
uma expresso afim. Desta maneira, como no caso do teorema de Napoleo, duas confi-
guraes geomtricas (onde a generalizao de Barlotti claramente verdadeira) sero
suficientes para estabelecer o resultado no caso geral.
 Anais do VIII ENEM Minicurso 14
GT 3 Educao Matemtica no Ensino Mdio

Demonstrao do teorema 3. Como a propriedade de um n-gono ser regular

invariante por translaes, rotaes e homotetias, basta considerar os casos em que Pn
a imagem por uma transformao linear T : (sobre o corpo dos reais) do n-
gono regular Rn cujos vrtices so as n-simas razes da unidade 1, w1, , wn 1.
A partir desta observao, fcil de ver que a generalizao de Barlotti equiva-
lente a seguinte sentena: para cada transformao linear T : , os baricentros dos
n-gonos regulares construdos sobre os lados de Pn = T(Rn) formam um n-gono Qn
regular. Vamos apresentar uma demonstrao deste resultado supondo que T uma
transformao linear inversvel. Uma vez feito isto, o caso em que T no inversvel
seguir por continuidade.
Se T inversvel, ento podemos supor que T(1) = 1. Toda transformao linear
deste tipo fica completamente identificada pelo seu valor z em i: T(i) = z. Sendo assim,
para estabelecer o resultado, devemos mostrar que para cada z , os centros O1(z),
O2(z), , On1(z) dos n-gonos regulares construdos sobre os lados do n-gono de vr-
tices T(1), T(w1),,T(wn 1) formam, por sua vez, um outro n-gono regular (figura 12).

Im

O 2(z)

O 1(z)
T (w 1)
Im T (w 2)
w1
2
w
T (1)= 1
1 T (i)= z
0 Re 0 T (1)= 1 Re
O 3(z)

w n {1
O n(z)
n {1
T (w )

Figura 12.

Em termos algbricos, precisamos verificar que

Anais do VIII ENEM Minicurso 15
GT 3 Educao Matemtica no Ensino Mdio

Oj+1(z) Oj(z) e2i/n = 0 (*)

para cada z e para cada j = 1, , n. Mas cada centro Oj(z) uma expresso afim
em z, dado que cada vrtice T(wj) tambm uma expresso afim em z, pois se wj = aj +
bj i, ento
T(wj) = T(aj + bj i) = aj T(1)+ bj T(i) = aj + bj z.
Desta maneira, duas solues particulares z1 e z2 da equao (*) (isto , duas escolhas de
transformaes lineares para as quais a generalizao de Barlotti verdadeira) so sufi-
cientes para estabelecer o resultado no caso geral. Basta tomar, por exemplo, z1 = i
(quando T a identidade) e z2 = i (quando T a reflexo com relao ao eixo real).

OBSERVAES FINAIS

O que a tcnica que descrevemos acima mostra que cabe ao professor escolher
entre duas alternativas: ou induzir o aluno a buscar um argumento geral (que o que se
faz habitualmente), ou pedir para que ele considere o problema de contar quantos exem-
plos so necessrios para que o resultado geral seja uma conseqncia deles nesse
caso, poucos exemplos demonstram o caso geral!
Geometria analtica freqentemente apresentada como uma panacia universal:
problemas em geometria convertem-se em contas, ainda que enfadonhas. A afirmao
entretanto passvel de crtica, e seria interessante apresentar essa opinio em sala de
aula. Para comear, as contas, como descritas nos cursos em geral, no so as mais ade-
quadas (evidncia de que ningum realmente resolve problemas dessa maneira). Mais, a
maioria das contas pode ser literalmente evitada, como mostra o argumento que cota a
complexidade algbrica de um problema. O tema abre muitas possibilidades didticas:
exemplos abundam no currculo escolar de geometria.
A escolha de exemplos no texto acima foi motivada para mostrar ainda um pe-
queno conjunto de tcnicas de clculo, entre elas, frmulas para rea de um tringulo se
os vrtices so dados como nmeros complexos, a equao do crculo em notao com-
plexa, o uso de transformaes lineares no plano. evidente que poucos alunos seriam
capazes de usar confortavelmente todos estes recursos, mas o objetivo mostrar a alu-
nos e professores a riqueza de conexes e estruturas em assuntos j to batidos. Idias
desse tipo so fundamentais em pesquisam contempornea em geometria: robtica, de-
monstradores automticos de teoremas. Um exemplo tradicional de aplicao de geome-
tria em robtica o problema da mudana do piano. Como fazer para que um rob en-
Anais do VIII ENEM Minicurso 16
GT 3 Educao Matemtica no Ensino Mdio

contre, a partir da disposio dos mveis em uma sala (que ele obtm por uma cmera),
um caminho para levar um piano sem danificar mveis e piano?
Usando o programa de computador Geometry Expert (CHOU; GAO; ZHANG,
2002), Chou demonstrou automaticamente cerca de 366 problemas extrados de um li-
vro tpico de geometria do ensino mdio (ALTSHILLER-COURT, 1952). A estatstica
foi a seguinte: 219 deles so lineares e os demais so quadrticos, no sentido que os
polinmios em vrias variveis obtidos na converso do contexto geomtrico para o
contexto algbrico so tais que, considerando-se uma varivel de cada vez, apenas poli-
nmios de grau no mximo igual a 1 e 2 aparecem, respectivamente. Um problema de
geometria de grau 3 (que no estudado no ensino mdio) o teorema de Morley: os
pontos de interseo das trissetrizes adjacentes dos ngulos de um tringulo qualquer
formam sempre um tringulo equiltero. Com este levantamento, Chou tambm props
uma classificao do nvel de dificuldade dos teoremas de geometria em termos dos
vrios tipos de construes geomtricas envolvidas: colinearidade, paralelismo, propor-
cionalidade, perpendicularidade, crculo, ngulo, em ordem crescente de dificuldade.

Palavras-chave: interdisciplinaridade, geometria, lgebra.

BIBLIOGRAFIA

ALTSHILLER-COURT, N. College Geometry: A Second Course in Plane Geometry

for Colleges and Normal Schools. Barnes & Noble, Inc., 1952.
BARLOTTI, A. Una propriet degli n-agoni che si`ottengono transformando in una
affinit un n-agono regolare. Bollettino della Unione Matematica Italiana, vol. 10,
no. 3, pp. 96-98, 1955.
BRODIE, S., LAMBROU, M. Napoleon's Theorem. Internet WEB link:
http://www.cut-the-knot.com/proofs/napoleon.shtml, 2000.
CHOU, S.-C. Mechanical Geometry Theorem Proving. Dordrecht Reidel Publishing
Company, 1988.
CHOU, S.-C., GAO X.-S., ZHANG, J.-Z. Machine Proofs in Geometry: Automated
Production of Readable Proofs for Geometry Theorems. World Scientific Publish-
ing, 1998.
CHOU, S.-C., GAO X.-S., ZHANG, J.-Z. Geometry Expert. Internet WEB link:
http://www.mmrc.iss.ac.cn/~xgao/gex.html, 2002.
Anais do VIII ENEM Minicurso 17
GT 3 Educao Matemtica no Ensino Mdio

FAIFOFER, A. Elementi di Geometria, dcima stima edio, 1911.

FISHER, J. C.; RUOFF, D.; SHILLETO, J. Perpendicular Polygons. The American
Mathematical Monthly, vol. 92, no. 1, pp. 23-37, 1985.
GERBER, L. Napoleon's Theorem and Parallelogram Inequality for Affine-Regular
Polygons. The American Mathematical Monthly, vol. 87, pp. 644-648, 1980.
HAHN, L. S. Complex Numbers & Geometry. Spectrum Series, MAA, 1994.
LAISANT, C. A. Sur quelques proprietes des polygones. Compte rendu: Association
Franaise pour l'Avancement des Sciences, pp. 142-154, 1877.
PECH, P. The Harmonic Analysis of Polygons and Napoleon's Theorem. Journal of Ge-
ometry and Graphics, vol. 5, no. 1, pp. 13-22, 2001.
RIGBY, J. F. Napoleon Revisited. Journal of Geometry, vol. 33, pp. 129-146, 1988.
RUOFF, D.; SHILLETO, J. Recursive Polygons. Bollettino della Unione Matematica
Italiana, vol. 15- B, no. 5, pp. 968-981, 1978.
SCRIBA, C. J. Wie kommt Napoleon Satz zu seinem Namem? Historia Mathematica, vol. 8, pp. 458-
459, 1980.
THBAULT, V. Solution to Problem 169. National Mathematics Magazine, vol. 12, pp. 192-194, 1937-
38.
TURNER, G. Elementi di Geometria, vol.~I, 1843.
YAGLOM, I. M. Geometric Transformations I. New Mathematical Library, MAA, 1973.