Inform´atica no Ensino da Matem´atica

EP/05

1

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

ATIVIDADE 2
Seja ∆ABC um triˆangulo qualquer. Sobre os lados AB e AC construa, respectivamente,
triˆangulos equil´ateros ∆P AB e ∆RCA “para fora” do triˆangulo ∆ABC. Sobre o lado BC,
construa o triˆangulo equil´atero ∆QCB “para dentro” do triˆangulo ∆ABC. Por fim, trace
os segmentos P Q e QR.

Q
R
P

A

B

C

Implemente essa constru¸c˜ao no GeoGebra 4.x e, ent˜ao, salve-a com o nome “invariante.ggb”.
Anexe este arquivo em uma mensagem no f´orum da plataforma de nome “AE-01 do EP05: Invariante Geom´etrico”. Quais s˜ao os pontos livres da constru¸c˜ao? Identifique um
invariante geom´etrico para o quadril´atero P QRA e demonstre-o!
(a) Os pontos livres s˜ao A, B e C. Todos os demais pontos s˜ao fixos. N˜ao existem pontos
semilivres.
(b) Um invariante geom´etrico ´e uma propriedade geom´etrica (concorrˆencia, colinearidade,
comprimento, medida de ˆangulo, etc) que permanece constante (invariante!) para qualquer configura¸c˜ao satisfazendo certas propriedades pr´e-estabelecidas. Como a propriedade geom´etrica do quadril´atero AP QR ser um paralelogramo ocorre para qualquer
Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/05

2

escolha dos pontos livres A, B e C, podemos considerar a afirma¸c˜ao “o quadril´atero
AP QR ´e um paralelogramo” como um invariante geom´etrico para a constru¸c˜ao.
(c) Vamos dividir a demonstra¸c˜ao em trˆes passos.
1. Os triˆangulos ∆ABC e ∆P BQ s˜ao congruentes. De fato: m(BC) = m(BQ), pois
o triˆangulo ∆QBC ´e equil´atero. Ocorre tamb´em que m(AB) = m(P B), pois o
triˆangulo ∆P BA ´e equil´atero. Agora m(∠QBP ) = 60◦ −m(∠ABQ) = m(∠CBA).
Pelo crit´erio LAL, os triˆangulos ∆ABC e ∆P BQ s˜ao congruentes.
2. Os triˆangulos ∆ABC e ∆RQC s˜ao congruentes. De fato: m(BC) = m(QC), pois
o triˆangulo ∆QBC ´e equil´atero. Ocorre tamb´em que m(AC) = m(RC), pois o
triˆangulo ∆RAC ´e equil´atero. Agora m(∠RCQ) = 60◦ −m(∠QCA) = m(∠ACB).
Pelo crit´erio LAL, os triˆangulos ∆ABC e ∆RQC s˜ao 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 triˆangulo ∆P BA e ∆RAC s˜ao eqwuil´ateros, logo m(P A) = m(P B) e
m(AR) = m(RC). Conclu´ımos assim que m(P A) = m(QR) e m(P Q) = m(AR).
Portanto, o quadril´atero AP QR ´e um paralelogramo.
ATIVIDADE 3
Estude os tutoriais do GeoGebra 4.x de n´
umeros 17 a 21 dispon´ıveis no seguinte endere¸co
(escolha a op¸c˜ao “V´IDEOS TUTORIAIS” no menu principal):
http://www.uff.br/geogebra/.
Nestes tutoriais, vocˆe aprender´a a definir e usar macros com o GeoGebra 4.x. Aten¸c˜
ao: recomendamos que, al´
em de assistir aos tutoriais, vocˆ
e tente, concomitantemente,
reproduzir as instru¸c˜
oes apresentadas! Afinal, uma coisa ´e ver, outra ´e fazer.
Implemente a constru¸c˜ao descrita no tutorial 21 e, ent˜ao, salve-a com o nome “tutorial21.ggb”. Anexe este arquivo em uma mensagem na atividade da plataforma de nome
“AE-02 do EP-05: Constru¸c˜oes do Tutorial 21”. Prazo de entrega dessa atividade:
27/08/2014.
ATIVIDADE 4
(O teorema de Napole˜
ao) O tutorial 21 ilustra a constru¸c˜ao do teorema de Napole˜ao:
o triˆangulo cujos v´ertices s˜ao os baricentros dos triˆangulos equil´ateros constru´ıdos “para
fora” sobre cada um dos trˆes lados de um triˆangulo qualquer ´e sempre equil´atero.
O que aconteceria se os triˆangulos equil´ateros fossem constru´ıdos “para dentro” ao inv´es
de “para fora” do triˆangulo inicial? E se apenas um triˆangulo equil´atero fosse constru´ıdo
Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/05

3

“para dentro” e os demais fossem “para fora”? A tese permaneceria a mesma do teorema
de Napole˜ao? Experimente no programa!
Solu¸c˜ao. Se todos os trˆes triˆangulos equil´ateros fossem constru´ıdos “para dentro”, a tese
seria a mesma, isto ´e, o triˆangulo cujos v´ertices s˜ao os baricentros dos triˆangulos equil´ateros
constru´ıdos “para dentro” sobre cada um dos trˆes lados de um triˆangulo qualquer ´e sempre
equil´atero. Este resultado deixa de valer se um triˆangulo equil´atero ´e constru´ıdo “para
dentro” e outro para fora.
Aqui est´a uma prova do Teorema de Napole˜ao usando n´
umeros complexos. Considere o
triˆangulo ∆ABC no plano complexo de forma que o v´ertice A esteja na origem e B em 1.
Defina z como o n´
umero complexo associado ao v´ertice C (veja a figura a seguir). Como P
´e obtido a partir da rota¸c˜ao de π/3 no sentido anti-hor´ario do v´ertice 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

e

π

π

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

Desta maneira, conclu´ımos que as coordenadas de X, Y e Z s˜ao 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

Funda¸c˜ao CECIERJ

HJB

e

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/05

4

Queremos mostrar que o triˆangulo de Napole˜ao ∆XY Z ´e equil´atero. Para isso, basta
verificarmos que Y ´e a rota¸c˜ao de π/3 de X em torno de Z:
π

Y = (X − Z) e 3 i + Z.
Em termos da vari´avel z, devemos ent˜ao verificar que
π

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

π

1 − e3 i + e


3 

i

π

π

2 − e3 i z + z e3 i

3
3  

π

e

π
3

i

z + z e3 i
+
3  

π

z + 1 − e 3 i + e 3 i = 0.
π

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


3

i

= 0.

ATIVIDADE 5
Crie uma macro no GeoGebra 4.x que desenha um quadrado e seu baricentro dados dois
v´ertices que determinam um de seus lados. Salve esta macro em um arquivo em disco para
uso futuro.
ATIVIDADE 6
Verdadeiro ou falso? O quadril´atero cujos v´ertices s˜ao os baricentros dos quadrados constru´ıdos “para fora” sobre cada um dos quatro lados de um quadril´atero qualquer ´e sempre
um quadrado. Apresente uma prova se o resultado for verdadeiro ou um contraexemplo se
ele for falso! Dica: implemente esta constru¸c˜ao no GeoGebra 4.x!
Solu¸c˜ao. A senten¸ca ´e falsa! Vocˆe encontrar´a um contra-exemplo facilmente se vocˆe fizer a
constru¸c˜ao no C.a.R.. A figura abaixo, por exemplo, ´e um contra-exemplo.

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/05

5

ATIVIDADE 7
(O teorema de Th´
ebault) Verdadeiro ou falso? O quadril´atero cujos v´ertices s˜ao os
baricentros dos quadrados constru´ıdos “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 constru¸c˜ao
no GeoGebra 4.x! Registre sua resposta em uma mensagem na atividade da plataforma de
nome “AE-06 do EP-05: O Teorema de Th´ebault”. Prazo de entrega dessa atividade:
27/08/2014.
Solu¸c˜ao. Os triˆangulos ∆AEH, ∆BEF , ∆CGF e ∆DGH s˜ao congruentes e, assim, o quadril´atero EF GH ´e um losango. Mas ∠DHG ≡ ∠AHE, logo m(∠GHE) = m(∠DHA) =
90◦ . Isto mostra que EF GH ´e um quadrado.

H

A
G

D

O
B

E

C

F

ATIVIDADE 8
(O teorema de van Aubel) Considere um quadril´atero qualquer de v´ertices A, B, C e D.
Sobre cada um dos lados deste quadril´atero, desenhe um quadrado “para fora”. Em seguida,
marque os baricentros X, Y , Z e W , conforme indicado na figura a seguir. Implemente esta
constru¸c˜ao no GeoGebra 4.x, tente levantar conjecturas sobre seus invariantes geom´etricos
movendo os pontos livres A, B, C, D e, em seguida, tente demonstr´a-las!

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/05

D

6

Z

C
W

Y

A
B

X

Solu¸c˜ao. Um invariante geom´etrico ´e o seguinte: a reta que cont´em o segmento XZ ´e
sempre perpendicular `a reta que cont´em o segmento W Y . Daremos uma demonstra¸c˜ao
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

X

Figura 1: Demonstra¸c˜ao do teorema de van Aubel usando-se vetores.
Para calcular as coordenadas dos pontos P , Q, R e S, basta usar a f´ormula para as coorde-

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/05

7

nadas do ponto m´edio 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) = (a−c, b−d),
−→
−−→
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 n˜ao-nulo, ent˜ao −
v = (−b, a) ´e um vetor ortogonal a −
u e de mesmo

tamanho. Mais precisamente, −
v = (−b, a) ´e o vetor obtido pela rota¸c˜ao de 90 ◦ no sentido
−−→
−→

anti-hor´ario 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}) = (α, β)
α

β

e

−−→ −→ −−→
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 s˜ao sempre perpendiculares.

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Sign up to vote on this title
UsefulNot useful