Informatica no Ensino da Matematica

EP/05

Inform
atica no Ensino da Matem
atica
EP/05 16/08/2014

ATIVIDADE 2
Seja ABC um triangulo qualquer. Sobre os lados AB e AC construa, respectivamente,
triangulos equilateros P AB e RCA para fora do triangulo ABC. Sobre o lado BC,
construa o triangulo equilatero QCB para dentro do triangulo ABC. Por fim, trace
os segmentos P Q e QR.

Q
R
P

Implemente essa construcao no GeoGebra 4.x e, entao, salve-a com o nome invariante.ggb.
Anexe este arquivo em uma mensagem no forum da plataforma de nome AE-01 do EP05: Invariante Geometrico. Quais sao os pontos livres da construcao? Identifique um
invariante geometrico para o quadrilatero P QRA e demonstre-o!
(a) Os pontos livres sao A, B e C. Todos os demais pontos sao fixos. Nao existem pontos
semilivres.
(b) Um invariante geometrico e uma propriedade geometrica (concorrencia, colinearidade,
comprimento, medida de angulo, etc) que permanece constante (invariante!) para qualquer configuracao satisfazendo certas propriedades pre-estabelecidas. Como a propriedade geometrica do quadrilatero AP QR ser um paralelogramo ocorre para qualquer
Fundacao CECIERJ

HJB

Consorcio CEDERJ

Informatica no Ensino da Matematica

EP/05

escolha dos pontos livres A, B e C, podemos considerar a afirmacao o quadrilatero

AP QR e um paralelogramo como um invariante geometrico para a construcao.
(c) Vamos dividir a demonstracao em tres passos.
1. Os triangulos ABC e P BQ sao congruentes. De fato: m(BC) = m(BQ), pois
o triangulo QBC e equilatero. Ocorre tambem que m(AB) = m(P B), pois o
triangulo P BA e equilatero. Agora m(QBP ) = 60 m(ABQ) = m(CBA).
Pelo criterio LAL, os triangulos ABC e P BQ sao congruentes.
2. Os triangulos ABC e RQC sao congruentes. De fato: m(BC) = m(QC), pois
o triangulo QBC e equilatero. Ocorre tambem que m(AC) = m(RC), pois o
triangulo RAC e equilatero. Agora m(RCQ) = 60 m(QCA) = m(ACB).
Pelo criterio LAL, os triangulos ABC e RQC sao congruentes.
3. Como P BQ e congruente a ABC e ABC e congruente a RQC, segue-se que
P BQ e congruente a RQC. Portanto, m(P B) = m(QR) e m(P Q) = m(RC).
Mas os triangulo P BA e RAC sao eqwuilateros, logo m(P A) = m(P B) e
m(AR) = m(RC). Conclumos assim que m(P A) = m(QR) e m(P Q) = m(AR).
Portanto, o quadrilatero AP QR e um paralelogramo.
ATIVIDADE 3
Estude os tutoriais do GeoGebra 4.x de n
umeros 17 a 21 disponveis no seguinte endereco
(escolha a opcao VIDEOS TUTORIAIS no menu principal):
http://www.uff.br/geogebra/.
Nestes tutoriais, voce aprendera a definir e usar macros com o GeoGebra 4.x. Atenc
ao: recomendamos que, al
em de assistir aos tutoriais, voc
e tente, concomitantemente,
reproduzir as instruc
oes apresentadas! Afinal, uma coisa e ver, outra e fazer.
Implemente a construcao descrita no tutorial 21 e, entao, salve-a com o nome tutorial21.ggb. Anexe este arquivo em uma mensagem na atividade da plataforma de nome
AE-02 do EP-05: Construcoes do Tutorial 21. Prazo de entrega dessa atividade:
27/08/2014.
ATIVIDADE 4
(O teorema de Napole
ao) O tutorial 21 ilustra a construcao do teorema de Napoleao:
o triangulo cujos vertices sao os baricentros dos triangulos equilateros construdos para
fora sobre cada um dos tres lados de um triangulo qualquer e sempre equilatero.
O que aconteceria se os triangulos equilateros fossem construdos para dentro ao inves
de para fora do triangulo inicial? E se apenas um triangulo equilatero fosse construdo
Fundacao CECIERJ

HJB

Consorcio CEDERJ

Informatica no Ensino da Matematica

EP/05

para dentro e os demais fossem para fora? A tese permaneceria a mesma do teorema
de Napoleao? Experimente no programa!
Solucao. Se todos os tres triangulos equilateros fossem construdos para dentro, a tese
seria a mesma, isto e, o triangulo cujos vertices sao os baricentros dos triangulos equilateros
construdos para dentro sobre cada um dos tres lados de um triangulo qualquer e sempre
equilatero. Este resultado deixa de valer se um triangulo equilatero e construdo para
dentro e outro para fora.
Aqui esta uma prova do Teorema de Napoleao usando n
umeros complexos. Considere o
triangulo ABC no plano complexo de forma que o vertice A esteja na origem e B em 1.
Defina z como o n
umero complexo associado ao vertice C (veja a figura a seguir). Como P
e obtido a partir da rotacao de /3 no sentido anti-horario do vertice A em torno de B,
podemos escrever

P = (A B)e 3 i + B = 1 e 3 i .
Analogamente, temos que

Q = (B C)e 3 i + C = (1 z)e 3 i + z

R = (C A)e 3 i + A = z e 3 i .

Desta maneira, conclumos que as coordenadas de X, Y e Z sao dadas por

2 e3 i
A+B+P
,
=
X =
3
3

B+C +Q
(2 e 3 i ) z + 1 + e 3 i
Y =
=
3
3

i
C +A+R
(1 + e 3 ) z
Z =
=
.
3
3

Fundacao CECIERJ

HJB

Consorcio CEDERJ

Informatica no Ensino da Matematica

EP/05

Queremos mostrar que o triangulo de Napoleao XY Z e equilatero. Para isso, basta

verificarmos que Y e a rotacao de /3 de X em torno de Z:

Y = (X Z) e 3 i + Z.
Em termos da variavel z, devemos entao verificar que

1 + z + (1 z) e 3 i + z
=
3
ou ainda, que

1 e3 i + e

2
3


i

2 e3 i z + z e3 i

3
3

z + z e3 i
+
3




2
z + 1 e 3 i + e 3 i = 0.

Mas isto segue imediatamente da identidade 1 e 3 i + e

2
3

= 0.

ATIVIDADE 5
Crie uma macro no GeoGebra 4.x que desenha um quadrado e seu baricentro dados dois
vertices que determinam um de seus lados. Salve esta macro em um arquivo em disco para
uso futuro.
ATIVIDADE 6
Verdadeiro ou falso? O quadrilatero cujos vertices sao os baricentros dos quadrados construdos para fora sobre cada um dos quatro lados de um quadrilatero qualquer e sempre
um quadrado. Apresente uma prova se o resultado for verdadeiro ou um contraexemplo se
ele for falso! Dica: implemente esta construcao no GeoGebra 4.x!
Solucao. A sentenca e falsa! Voce encontrara um contra-exemplo facilmente se voce fizer a
construcao no C.a.R.. A figura abaixo, por exemplo, e um contra-exemplo.

Fundacao CECIERJ

HJB

Consorcio CEDERJ

Informatica no Ensino da Matematica

EP/05

ATIVIDADE 7
(O teorema de Th
ebault) Verdadeiro ou falso? O quadrilatero cujos vertices sao os
baricentros dos quadrados construdos para fora sobre cada um dos quatro lados de
um paralelogramo qualquer e sempre um quadrado. Apresente uma prova se o resultado
for verdadeiro ou um contra-exemplo se ele for falso! Dica: implemente esta construcao
no GeoGebra 4.x! Registre sua resposta em uma mensagem na atividade da plataforma de
nome AE-06 do EP-05: O Teorema de Thebault. Prazo de entrega dessa atividade:
27/08/2014.
Solucao. Os triangulos AEH, BEF , CGF e DGH sao congruentes e, assim, o quadrilatero EF GH e um losango. Mas DHG AHE, logo m(GHE) = m(DHA) =
90 . Isto mostra que EF GH e um quadrado.

A
G

O
B

ATIVIDADE 8
(O teorema de van Aubel) Considere um quadrilatero qualquer de vertices A, B, C e D.
Sobre cada um dos lados deste quadrilatero, desenhe um quadrado para fora. Em seguida,
marque os baricentros X, Y , Z e W , conforme indicado na figura a seguir. Implemente esta
construcao no GeoGebra 4.x, tente levantar conjecturas sobre seus invariantes geometricos
movendo os pontos livres A, B, C, D e, em seguida, tente demonstra-las!

Fundacao CECIERJ

HJB

Consorcio CEDERJ

Informatica no Ensino da Matematica

EP/05

C
W

A
B

Solucao. Um invariante geometrico e o seguinte: a reta que contem o segmento XZ e

sempre perpendicular `a reta que contem o segmento W Y . Daremos uma demonstracao
desta propriedade usando-se vetores. Sem perda de generalidade, podemos considerar um
sistema de eixos onde os pontos A, B, C e D possuem coordenadas A = (0, 0), B = (2, 0),
C = (2 a, 2 b) e D = (2 c, 2 d).

D
Z
R

C
W
S
Y
Q
P
A
B

Figura 1: Demonstracao do teorema de van Aubel usando-se vetores.

Para calcular as coordenadas dos pontos P , Q, R e S, basta usar a formula para as coorde-

Fundacao CECIERJ

HJB

Consorcio CEDERJ

Informatica no Ensino da Matematica

EP/05

nadas do ponto medio de um segmento. Sendo assim,




2+2a 0+2b
0+2 0+0
= (1, 0), Q =
= (a + 1, b),
P =
,
,
2
2
2
2




2a + 2c 2b + 2d
0+2c 0+2d
R=
= (a + c, b + d) e S =
= (c, d).
,
,
2
2
2
2


Consequentemente, AS = (c, d)(0, 0) = (c, d), DR = (a+c, b+d)(2 c, 2 d) = (ac, bd),

CQ = (a + 1, b) (2 a, 2 b) = (1 a, b) e BP = (1, 0) (2, 0) = (1, 0). Para obter as

coordenadas dos vetores SW , RZ, QY e P X, vamos usar a seguinte propriedade importante,

se
u = (a, b) e um vetor nao-nulo, entao
v = (b, a) e um vetor ortogonal a
u e de mesmo

tamanho. Mais precisamente,

v = (b, a) e o vetor obtido pela rotacao de 90 no sentido

anti-horario do vetor
u = (a, b). Sendo assim, SW = (d, c), RZ = (d b, a c),

QY = (b, 1 a) e P X = (0, 1). Note que AX = AP + P X = (1, 0) + (0, 1) = (1, 1).
Analogamente,

AY = AQ + QY = (a + 1, b) + (b, 1 a) = (a + b + 1, b a + 1),

AZ = AR + RZ = (a + c, b + d) + (d b, a c) = (a b + c + d, a + b c + d) e

AW = AS + SW = (c, d) + (d, c) = (c d, c + d).
Consequentemente, X = (1, 1), Y = (a + b + 1, b a + 1), Z = (a b + c + d, a + b c + d)
e W = (c d, c + d). Temos que

XZ = AZ AY = (+a
| b +{zc + d 1}, |+a + b {zc + d + 1}) = (, )

W Y = AY AW = (+a
| + b {zc + d + 1}, a
| + b {zc d + 1}) = (, ).

Consequentemente, h XZ, W Y i = h(, ), (, )i = = 0 e, portanto, podemos

concluir que vetores XZ e W Y sao sempre perpendiculares.

Fundacao CECIERJ

HJB

Consorcio CEDERJ