Informática no Ensino da Matemática EP/05 1

Informática no Ensino da Matemática

EP/05 — 13/08/2016

ATIVIDADE 2
Seja ΔABC um triângulo qualquer. Sobre os lados AB e AC construa, respectivamente,
triângulos equiláteros ΔP AB e ΔRCA “para fora” do triângulo ΔABC. Sobre o lado BC,
construa o triângulo equilátero ΔQCB “para dentro” do triângulo ΔABC. Por fim, trace
os segmentos P Q e QR.

B C

Implemente essa construção no GeoGebra 5.x e, então, salve-a com o nome “invariante.ggb”.
Anexe este arquivo em uma mensagem no fórum da plataforma de nome “AE-01 do EP-
05: Invariante Geométrico”. Quais são os pontos livres da construção? Identifique um
invariante geométrico para o quadrilátero P QRA e demonstre-o!
(a) Os pontos livres são A, B e C. Todos os demais pontos são fixos. Não existem pontos
semilivres.

(b) Um invariante geométrico é uma propriedade geométrica (concorrência, colinearidade,

comprimento, medida de ângulo, etc) que permanece constante (invariante!) para qual-
quer configuração satisfazendo certas propriedades pré-estabelecidas. Como a propri-
edade geométrica do quadrilátero AP QR ser um paralelogramo ocorre para qualquer

Fundação CECIERJ HJB Consórcio CEDERJ

Informática no Ensino da Matemática EP/05 2

escolha dos pontos livres A, B e C, podemos considerar a afirmação “o quadrilátero

AP QR é um paralelogramo” como um invariante geométrico para a construção.

(c) Vamos dividir a demonstração em três passos.

1. Os triângulos ΔABC e ΔP BQ são congruentes. De fato: m(BC) = m(BQ), pois

o triângulo ΔQBC é equilátero. Ocorre também que m(AB) = m(P B), pois o
triângulo ΔP BA é equilátero. Agora m(∠QBP ) = 60◦ −m(∠ABQ) = m(∠CBA).
Pelo critério LAL, os triângulos ΔABC e ΔP BQ são congruentes.
2. Os triângulos ΔABC e ΔRQC são congruentes. De fato: m(BC) = m(QC), pois
o triângulo ΔQBC é equilátero. Ocorre também que m(AC) = m(RC), pois o
triângulo ΔRAC é equilátero. Agora m(∠RCQ) = 60◦ −m(∠QCA) = m(∠ACB).
Pelo critério LAL, os triângulos ΔABC e ΔRQC são congruentes.
3. Como ΔP BQ é congruente a ΔABC e ΔABC é congruente a ΔRQC, segue-se que
ΔP BQ é congruente a ΔRQC. Portanto, m(P B) = m(QR) e m(P Q) = m(RC).
Mas os triângulos ΔP BA e ΔRAC são equiláteros, 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átero AP QR é um paralelogramo.

ATIVIDADE 3
Estude os tutoriais do GeoGebra 5.x de números 17 a 21 disponı́veis no seguinte endereço
(escolha a opção “VÍDEOS TUTORIAIS” no menu principal):

http://www.uff.br/geogebra/.

Nestes tutoriais, você aprenderá a definir e usar macros com o GeoGebra 5.x. Atenção: re-
comendamos que, além de assistir aos tutoriais, você tente, concomitantemente,
reproduzir as instruções apresentadas! Afinal, uma coisa é ver, outra é fazer.

Implemente a construção descrita no tutorial 21 e, então, salve-a com o nome “tutorial-

21.ggb”. Anexe este arquivo em uma mensagem na atividade da plataforma de nome
“AE-01 do EP-05: Construções do Tutorial 21”. Prazo de entrega dessa atividade:
24/08/2016.

ATIVIDADE 4
(O teorema de Napoleão) O tutorial 21 ilustra a construção do teorema de Napoleão:
o triângulo cujos vértices são os baricentros dos triângulos equiláteros construı́dos “para
fora” sobre cada um dos três lados de um triângulo qualquer é sempre equilátero. O que
aconteceria se os triângulos equiláteros fossem construı́dos “para dentro” ao invés de “para
fora” do triângulo inicial? E se apenas um triângulo equilátero fosse construı́do “para

Fundação CECIERJ HJB Consórcio CEDERJ

Informática no Ensino da Matemática EP/05 3

dentro” e os demais fossem “para fora”? A tese permaneceria a mesma do teorema de

Napoleão? Experimente no programa!
Solução. Se todos os três triângulos equiláteros fossem construı́dos “para dentro”, a tese
seria a mesma, isto é, o triângulo cujos vértices são os baricentros dos triângulos equiláteros
construı́dos “para dentro” sobre cada um dos três lados de um triângulo qualquer é sempre
equilátero. Este resultado deixa de valer se um triângulo equilátero é construı́do “para
dentro” e outro para fora.

Aqui está uma prova do Teorema de Napoleão usando números complexos. Considere o
triângulo ΔABC no plano complexo de forma que o vértice A esteja na origem e B em 1.
Defina z como o número complexo associado ao vértice C (veja a figura a seguir). Como P
é obtido a partir da rotação de π/3 no sentido anti-horário do vértice 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ão dadas por

π
A+B+P 2 − e3 i
X = = ,
3 3
π π
B+C +Q (2 − e 3 i ) z + 1 + e 3 i
Y = = e
3 3
π
i
C +A+R (1 + e 3 ) z
Z = = .
3 3

Fundação CECIERJ HJB Consórcio CEDERJ

Informática no Ensino da Matemática EP/05 4

Queremos mostrar que o triângulo de Napoleão ΔXY Z é equilátero. Para isso, basta
verificarmos que Y é a rotação de π/3 de X em torno de Z:

π
Y = (X − Z) e 3 i + Z.

Em termos da variável z, devemos então verificar que

π  π π  π
1 + z + (1 − z) e 3 i + z 2 − e3 i z + z e3 i π
i z + z e3 i
= − e 3 +
3 3 3 3

ou ainda, que    
π 2π π 2π
1 − e3 i + e 3
i
z + 1 − e 3 i + e 3 i = 0.
π 2π
Mas isto segue imediatamente da identidade 1 − e 3 i + e 3
i
= 0.

ATIVIDADE 5
Crie uma macro no GeoGebra 5.x que desenha um quadrado e seu baricentro dados dois
vértices que determinam um de seus lados. Salve esta macro em um arquivo em disco para
uso futuro.

ATIVIDADE 6
Verdadeiro ou falso? O quadrilátero cujos vértices são os baricentros dos quadrados cons-
truı́dos “para fora” sobre cada um dos quatro lados de um quadrilátero qualquer é sempre
um quadrado. Apresente uma prova se o resultado for verdadeiro ou um contraexemplo
se ele for falso! Dica: implemente esta construção no GeoGebra 5.x! Envie o arquivo
da construção e registre sua resposta em uma mensagem na atividade da plataforma de
nome “AE-02 do EP-05: Verdadeiro ou Falso?”. Prazo de entrega dessa atividade:
24/08/2016.
Solução. A sentença é falsa! Você encontrará um contraexemplo facilmente se você fizer a
construção no GeoGebra 5.x. A figura abaixo, por exemplo, é um contraexemplo.

Fundação CECIERJ HJB Consórcio CEDERJ

Informática no Ensino da Matemática EP/05 5

ATIVIDADE 7
(O teorema de Thébault) Verdadeiro ou falso? O quadrilátero cujos vértices são os
baricentros dos quadrados construı́dos “para fora” sobre cada um dos quatro lados de um
paralelogramo qualquer é sempre um quadrado. Apresente uma prova se o resultado for
verdadeiro ou um contraexemplo se ele for falso! Dica: implemente esta construção no Ge-
oGebra 5.x!
Solução. Os triângulos ΔAEH, ΔBEF , ΔCGF e ΔDGH são congruentes e, assim, o qua-
drilátero EF GH é um losango. Mas ∠DHG ≡ ∠AHE, logo m(∠GHE) = m(∠DHA) =
90◦ . Isto mostra que EF GH é um quadrado.

A
G D O
E
B
C

ATIVIDADE 8
(O teorema de van Aubel) Considere um quadrilátero qualquer de vértices A, B, C e D.
Sobre cada um dos lados deste quadrilátero, desenhe um quadrado “para fora”. Em seguida,
marque os baricentros X, Y , Z e W , conforme indicado na figura a seguir. Implemente esta
construção no GeoGebra 5.x, tente levantar conjecturas sobre seus invariantes geométricos
movendo os pontos livres A, B, C, D. Opcional: tente demonstrar sua conjectura!

Fundação CECIERJ HJB Consórcio CEDERJ

Informática no Ensino da Matemática EP/05 6

D Z

C
W

A B

Solução. Um invariante geométrico é o seguinte: a reta que contém o segmento XZ é

sempre perpendicular à reta que contém o segmento W Y . Daremos uma demonstração
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: Demonstração do teorema de van Aubel usando-se vetores.

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

Fundação CECIERJ HJB Consórcio CEDERJ

Informática no Ensino da Matemática EP/05 7

nadas do ponto médio de um segmento. Sendo assim,

   
0+2 0+0 2+2a 0+2b
P = , = (1, 0), Q = , = (a + 1, b),
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) é um vetor não-nulo, então −
→
v = (−b, a) é um vetor ortogonal a −→
u e de mesmo
tamanho. Mais precisamente, − →v = (−b, a) é o vetor obtido pela rotação de 90 ◦ no sentido
−−→ −→
anti-horário 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
−−→ −→ −−→
| + b −{zc + d + 1}, −a
W Y = AY − AW = (+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ão sempre perpendiculares.

ATIVIDADE 9
Construa um triângulo ABC de vértices A, B e C. Sobre os lados AB, BC e AC, construa,
respectivamente, os quadrados AXY B, BU V C e CRSA para fora do triângulo ABC. Em
seguida, construa os segmentos SX, Y U e V R e os seus pontos médios N , O e M , como
mostra a figura a seguir. Por fim, construa o triângulo M N O.

Fundação CECIERJ HJB Consórcio CEDERJ

Informática no Ensino da Matemática EP/05 8

S
N
X

A R

B C
M
O

U V

O triângulo M N O é sempre um triângulo equilátero? Implemente a construção no GeoGe-

bra 5.x e estude o problema! Envie o arquivo da construção e registre sua resposta em uma
mensagem na atividade da plataforma de nome “AE-03 do EP-05: Verdadeiro ou Falso?”.
Prazo de entrega dessa atividade: 24/08/2016.
Solução. O triângulo M N O nem sempre é equilátero. Se, por exemplo, A = (0, 1), B =
√ √
(0, 0) e C = (1, 0), é possı́vel mostrar que N O = M O = 217 enquanto que M N = 3 2 2 .

Fundação CECIERJ HJB Consórcio CEDERJ