2023 2 Ep 14 Iem

Informática no Ensino da Matemática EP/14 1
Informática no Ensino da Matemática

EP–14 — 29/10/2023
Prezado aluno,
Vamos continuar estudando as capacidades simbólicas do GeoGebra! Veremos a ha-

bilidade do programa em lidar com sı́mbolos e obter respostas exatas para muitos
problemas matemáticos, o que inclui, por exemplo, a fatoração de números inteiros
e polinômios, o cálculo com matrizes, a resolução de sistemas lineares e não-lineares
de equações, números complexos, trigonometria, limites, derivadas, integrais, equações
diferenciais, e muito mais! Cálculos aproximados também podem ser feitos, com um
número arbitrário de dı́gitos (limitado apenas pela memória do computador).
ATENÇÃO!
As notas das ADs serão dadas pelas notas das AEs. O cálculo da nota de cada AD
será feito da seguinte maneira: ela é a média aritmética simples das notas atribuı́das
para cada AE até antes da data de cada AP. Importante: as respostas das AEs devem
ser sempre justificadas, mesmo que esta solicitação não esteja explicitamente colocada
no enunciado!
Humberto José Bortolossi
Fundação CECIERJ HJB Consórcio CEDERJ

ATIVIDADE 1
Responda ao questionário Google disponı́vel em:
https://bit.ly/sobreoteoremadepitágoras
ou em
https://forms.gle/EDKQcSHXBKdc3Bhk6:
( você receberá uma cópia de suas respostas no email informado) imprima/salve a página
respondida(ou o email recebido com as respostas como um arquivo PDF a partir do seu
navegador. anexe o arquivo PDF em uma mensagem na tarefa da Plataforma Moodle
com o tı́tulo “AE-01 do EP–14: Sobre O Teorema de Pitágoras”. se você não sabe como
salvar uma página web como PDF, assista a este vı́deo: https://youtu.be/EqQf6nBJRXo ou
a este outro vı́deo https://youtu.be/tSVNt8DEtKk. Prazo de entrega dessa atividade:
05/11/2023.
ATIVIDADE 2
(a) Sejam u = (a − b)/(a + b), v = (b − c)/(b + c) e w = (c − a)/(c + a). Mostre que
(1 + u) ∙ (1 + v) ∙ (1 + w) = (1 − u) ∙ (1 − v) ∙ (1 − w).
Tente fazer a mão e, depois, tente fazer usando o GeoGebra 5.x.
(b) Mostre que se a, b e c são números diferentes de zero, distintos dois a dois e tais que
a + b + c = 0, então

a b c b−c c−a a−b
+ + ∙ + + = 9.
b−c c−a a−b a b c
Tente fazer a mão e, depois, tente fazer usando o GeoGebra 5.x.
ATIVIDADE 3
O GeoGebra 5.x possui várias funções e constantes matemáticas já definidas. Na Tabela
a seguir temos uma lista de sı́mbolos mais usados com as respectivas representações e, na
Tabela seguinte, uma lista com as funções matemáticas mais conhecidas. Por exemplo,
√
no GeoGebra 5.x, i = −1 é representado pelo sı́mbolo ı́ (este sı́mbolo pode ser aces-
sado clicando-se no ı́cone α à direita da célula da Janela CAS onde se está digitando um
comando).
√
Seja f (n) = in , onde i = −1 e n ∈ N. Calcule f (5), f (500) e f (587). É possı́vel estabelecer

uma fórmula geral?
Objeto Representação no GeoGebra 5.x

números inteiros -47, 1, 2
números racionais 3/5, -1/3
representações decimais 1.0, 0.002, .35*10^(-45)
verdadeiro, falso true, false
π pi, Pi, π
e (base logarı́tmica
√ natural) exp(1), e
−1 ı́, (-1)^(1/2)
∞ infinity, ∞
Tabela 1: Sı́mbolos matemáticos no GeoGebra 5.x. Os sı́mbolos π, ı́, e e ∞ (entre outros

sı́mbolos) estão disponı́veis clicando-se no ı́cone α .
Função Representação no GeoGebra 5.x

√
x (raiz quadrada de x) sqrt(x), x^(1/2)
ex (exponencial) exp(x), e^x
ln x (logaritmo natural) log(x), ln(x)
log10 x lg(x), log(10, x)
log2 x ld(x), log(2, x)
logb x log(b, x)
|x| (módulo de x) abs(x)
seno, cosseno, tangente sen(x), cos(x), tg(x)
secante, cossecante, cotangente sec(x), cossec(x), cotg(x)
funções trigonométricas inversas arcsen(x), arccos(x), arctg(x)
funções hiperbólicas senh(x), cosh(x), tgh(x)
sech(x), cossech(x), cotgh(x)
funções
hiperbólicas inversas arcsenh(x), arccosh(x), arctgh(x)
n
coeficiente binomial CoeficienteBinomial[n, m]
m
Tabela 2: Funções matemáticas no GeoGebra 5.x.
ATIVIDADE 4
O comando Fatorar[...] também pode ser usado para fatorar polinômios. Por exemplo,
o comando
Fatorar[ 3 x^4 + 5 x^3 - 3 x - 1]
devolverá a expressão algébrica
(x + 1)2 (3 x2 − x − 1)

Note que o GeoGebra 5.x procura simplificar fatores comuns em funções racionais, isto
é, ele devolve uma expressão na forma “numerador/denominador”, onde o numerador e
o denominador são polinômios relativamente primos com coeficientes inteiros.
(x∧ 2 − 1)/(x − 1)
1
→ (x + 1)
(x∧ 2 − 5 x + 6)/(x − 3)
2
→ (x − 2)
Para o GeoGebra CAS, (x2 − 1)/(x − 1) e x + 1 são expressões iguais. Elas são realmente
iguais? Mais precisamente, se
x2 − 1
f (x) = e g(x) = x + 1,
x−1
então as funções f e g são iguais? Registre sua resposta em uma mensagem na atividade da
plataforma de nome “AE-04 do EP-14: Cuidados com Simplificações Automáticas”. Prazo
de entrega dessa atividade: 05/11/2023.
ATIVIDADE 5
O GeoGebra 5.x, além de trabalhar simbolicamente com números inteiros, racionais e ir-
racionais, também reconhece números representados através de sua representação decimal!
Para isto, basta usar o comando ValorNumérico[...].
ValorNumérico[sqrt(2), 23]
1
→ 1.4142135623730950488017
Cuidado: o último dı́gito pode estar arredondado!
ValorNumérico[sqrt(2), 24]
2
→ 1.41421356237309504880169
Também é possı́vel converter uma representação decimal para uma fração da forma p/q,

com p e q 6= 0 inteiros.
FormaFracionária[0.25]
3 1
→
4
Se você digitar um número decimal, ele será automaticamente convertido para o formato
p/q, com p e q números inteiros primos entre si (q 6= 0).
0.25
4 1
→
4
(a) Use o GeoGebra 5.x para decidir quais dos números 19/6, 22/7 e 25/8 melhor apro-
xima π.
(b) Os números a = 8712870/48506557 e b = 505149/2812281 são iguais? Tente desco-

brir uma resposta usando o comando ValorNumérico[...] com um número de dı́gitos
adequado.
(c) Verdadeiro ou falso? Se ValorNumérico[a, n] = ValorNumérico[b, n], então a =

b? Justifique sua resposta!
√
8
(d) Use o GeoGebra 5.x para colocar os números 2, 1 + sen(597) e ln(3) em ordem cres-
cente. Justifique seu procedimento!
ATIVIDADE 6
Quais dos dois números abaixo está mais próximo do número π?
a = 72330238236742559890684000025/23023429900783988308169421772,
b = 53686027289178694741704702234/17088793236078350364533888675.
Dica importante: você não precisa digitar os números um a um. Copie os números deste
arquivo PDF e os cole na célula da Janela CAS do GeoGebra 5.x.
ATIVIDADE 7
√
Quais dos dois números abaixo está mais próximo do número 7? Registre sua resposta em
uma mensagem na atividade da plataforma de nome “AE-07 do EP-14: Valor Numérico”.
Indique que comandos do GeoGebra 5.x você usou para obter a resposta. Prazo de entrega

dessa atividade: 05/11/2023.
a = 42537970523649350163636250016270/16077841611853168190657358518623,
b = 51694287268873842499412586548877/19538604045167506118097869511631.
Dica importante: você não precisa digitar os números um a um. Copie os números
deste arquivo PDF e os cole na célula da Janela CAS do GeoGebra 5.x.
ATIVIDADE 8
O comando SimplificarExpress~ oesTrigonométricas[...] é usado para simplificar ex-
pressões com funções trigonométricas.
f(x) := (cos(x))∧ 2 + (sen(x))∧ 2

1 2
→ cos2 (x) + sen(x)
SimplificarExpressõesTrigonométricas[f(x)]
2
→1
Existe também um comando para “expandir” funções trigonométricas:
ExpandirExpressõesTrigonométricas[cos(a + b)]
3
→ cos(a) cos(b) − sen(a) sen(b)
(a) Usando o GeoGebra 5.x, encontre uma expressão para cos(7 a) em termos de cos(a).
Dica: use o comando
ExpandirExpress~
oesTrigonométricas[...].
(b) Use o GeoGebra 5.x para calcular
ExpandirExpress~
oesTrigonométricas[sec(arctan(x))].
Tente demonstrar o resultado dado pelo GeoGebra 5.x!
ATIVIDADE 9
O GeoGebra 5.x possui um mecanismo que permite gerar muito facilmente uma sequência
(finita) de elementos definidos por alguma lei de formação. Este tipo de recurso é muito

útil quando queremos gerar exemplos ou procurar contra-exemplos para certas afirmações
matemáticas. Vamos acompanhar um exemplo.
O comando Sequ^ encia[..] permite gerar uma sequência finita de elementos. Sua sintaxe
é a seguinte: Sequ^
encia[f(n), n, a, z), onde f(n) é uma expressão que depende de n
que, por sua vez, é uma variável que assume valores inteiros entre a e z. Vamos usar este
comando para listar os 12 primeiros números ı́mpares positivos.
Sequência[2 n − 1, n, 1, 12]
1
→ {1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23}
Se combinarmos o comando Sequ^ encia[...] com o comando ÉPrimo[...], podemos iden-

tificar facilmente quais números entre 1 e 50 são primos:
Sequência[{n, ÉPrimo[n]}, n, 1, 50]
(não vamos colocar o resultado deste comando, pois ele ocuparia muito espaço).
(a) Verdadeiro ou falso? 2n − 1 é um número primo para todo natural n > 1. Justifique
sua resposta!
(b) Verdadeiro ou falso? n2 + n + 41 é um número primo para todo n ∈ N. Justifique sua

resposta!
(c) Verdadeiro ou falso? n3 − 5 n + 1 não é divisı́vel por 5 para todo natural n positivo.
Justifique sua resposta!
(d) Verdadeiro ou falso? n3 −n+2 é um número par para todo natural n positivo. Justifique
sua resposta!
ATIVIDADE 10
Outro grande recurso do GeoGebra 5.x é o de resolver simbolicamente equações e sistemas
de equações, sejam elas lineares ou não-lineares. Vamos acompanhar o exemplo a seguir.
É o comando
Resolver[...]

que permite calcular as soluções de equações e sistemas de equações. Por exemplo, o co-
mando abaixo encontra as soluções da equação quadrática x2 − 5 x + 6 = 0.
Resolver[x∧ 2 − 5 x + 6 = 0, x]
1
→ {x = 2, x = 3}

O GeoGebra 5.x também consegue resolver equações cujos coeficientes são parâmetros.
Resolver[x∧ 2 + b x + c = 0, x]
√ √
2 −b + b2 − 4 c −b − b2 − 4 c
→ x= ,x =
2 2
O comando Resolver[...] calcula apenas raı́zes reais. Para obter as raı́zes complexas, é
preciso usar o comando ResolverNosComplexos[...].
Resolver[x∧ 4 = 1, x]
3
→ {x = 1, x = −1}
ResolverNosComplexos[x∧ 4 = 1, x]
4
→ {x = i, x = −i, x = 1, x = −1}
Você pode combinar o comando ValorNumérico[...] com o comando Resolver[...] para

obter aproximações das soluções de uma equação:
ValorNumérico[ResolverNosComplexos[x ∧ 5 = 1, x], 20]
Soluções de sistemas de equações também são calculadas com o comando Resolver[...].
Resolver[{x + y + z = 1, x - y + z = 3, 2 x - y + 3 z = 1}, {x, y, z}]

5
→ {x = 6, x = −1, x = −4}
Use o GeoGebra 5.x para encontrar as três soluções da equação cúbica
42 x3 − 71 x2 + 10 x + 3 = 0.
ATIVIDADE 11
Ao tentar resolver a equação a x − 1 = 0, com a uma constante, um aluno digitou o co-
mando Resolver[a x - 1 = 0] em uma célula da Janela CAS do GeoGebra 5.x e, então,
pressionou a tecla ENTER. O resultado dado pelo GeoGebra 5.x foi

1
x= .
a

A solução dada pelo GeoGebra 5.x está correta? Em caso negativo, qual seria a resposta
correta? Escreva sua resposta em uma mensagem no fórum da plataforma de nome “AE-11
do EP-14: Resolução de equações”. Não se esqueça de justificar sua resposta! Prazo de
entrega dessa atividade: 05/11/2023.
ATIVIDADE 12
Neste exercı́cio aprenderemos como trabalhar com matrizes no GeoGebra 5.x. Vamos definir
as matrizes      
1 2 3 1 0 0 1
     
A =  1 0 1 , B =  0 1 0  e C =  2 .
1 2 1 0 0 1 3
A := {{1, 2, 3}, {1, 0, 1}, {1, 2, 1}}

 
1 2 3
1  
→ A :=  1 0 1 
1 2 1
B := {{1, 0, 0}, {0, 1, 0}, {0, 0, 1}}

 
1 0 0
2  
→ B :=  0 1 0 
0 0 1
C := {{1}, {2}, {3}}

 
1
3  
→ C :=  2 
3
Para somar, subtrair e multiplicar matrizes, basta usar os operadores “+”, “-” e “*” (ou
um espaço em branco):
A+B
 
2 2 3
4  
→ 1 1 1 
1 2 2

A−B
 
0 2 3
5  
→ 1 −1 1 
1 2 0
AB
 
1 2 3
6  
→ 1 0 1 
1 2 1
AC
 
14
7  
→ 4 
8
Para calcular potências de matrizes, basta usar o operador “^”. Por exemplo, o comando
abaixo calcula a potência A10 = A ∙ A ∙ A ∙ A ∙ A ∙ A ∙ A ∙ A ∙ A ∙ A da matriz A.
A∧ 10
 
268640 353152 408704
8  
→  116064 152576 176576 
176576 232128 268640
Também é possı́vel, no GeoGebra 5.x, multiplicar uma matriz por um escalar (número):
2A
 
2 4 6
9  
→ 2 0 2 
2 4 2
Para calcular a transposta de uma matriz, basta usar o comando MatrizTransposta[...].

Os comandos Determinante[...] e MatrizInversa[...] calculam, respectivamente, o de-

terminante e a inversa de uma matriz.
MatrizTransposta[A]
 
1 1 1
10  
→ 2 0 2 
3 1 1
Determinante[A]
11
→4
MatrizInversa[A]
 
1 1
 2− 1 
 2 
12  1 1 
→ 0 − 
 2 2 
 1 1 
0 −
2 2
(a) Considere a matriz " #

0 −1
A= .
1 0
Calcule A5 , A500 e A587 . É possı́vel estabelecer uma fórmula geral?
(b) Considere a matriz  

1 2 3 1
 
 0 1 0 a 
A=

.

 1 0 1 0 
0 1 0 1
Para quais valores de a, se é que existem, a matriz A possui uma inversa?
(c) Como você usaria a Janela CAS do GeoGebra 5.x para calcular a matriz inversa de
 
cos(a) − sen(a) 0
 
A= sen(a) cos(a) 0 ?
0 0 1
Escreva a solução do Item (c) em uma mensagem no fórum da plataforma de nome “AE-12
do EP-14: Matrizes e Determinantes”. Não se esqueça de justificar sua resposta! Prazo

de entrega dessa atividade: 05/11/2023.
ATIVIDADE 13
Neste exercı́cio veremos como usar o GeoGebra 5.x para calcular derivadas e integrais (es-
tudadas no curso de Cálculo). Para derivar uma função de uma variável, basta usar o co-
mando Derivada[...], como ilustram os exemplos a seguir.
Derivada[x∧ 2, x]
1
→ 2x
Derivada[sen(t), t]
2
→ cos(t)
Derivadas de ordem superior podem ser calculadas usando-se uma variação da sintaxe do
comando Derivada[...]. Por exemplo, para calcular a derivada de ordem 4 da função
2
f (x) = x e(x ) , basta digitar Derivada[x exp(x∧ 2), x, 4].
Derivada[x exp(x∧ 2), x, 4]

3
→ 16 x5 e(x ) + 80 x3 e(x ) + 60 x e(x )
2 2 2
Para calcular integrais, basta usar o comando Integral[...].
Integral[2 x, x]
4
→ x 2 + c1
Integral[sen(t), t]
5
→ cos(t) + c2
Aqui, c1 e c2 representam constantes de integração.
(a) Considere a função f (x) = sen(2 x). Calcule as derivadas de ordem 5, 500 e 587 de f .
É possı́vel estabelecer uma fórmula geral?
(b) Sem usar o GeoGebra 5.x, qual deve ser a resposta do programa ao comando
Simplificar[Derivada[Integral[exp(-t ∧ 2), t, 0, x], x]]?

2023 2 Ep 14 Iem

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

2023 2 Ep 14 Iem

Enviado por

Direitos autorais:

Formatos disponíveis

Informática no Ensino da Matemática EP/14 1

Informática no Ensino da Matemática

Vamos continuar estudando as capacidades simbólicas do GeoGebra! Veremos a ha-

Humberto José Bortolossi

Fundação CECIERJ HJB Consórcio CEDERJ

(a) Sejam u = (a − b)/(a + b), v = (b − c)/(b + c) e w = (c − a)/(c + a). Mostre que

Tente fazer a mão e, depois, tente fazer usando o GeoGebra 5.x.

Tente fazer a mão e, depois, tente fazer usando o GeoGebra 5.x.

Fundação CECIERJ HJB Consórcio CEDERJ

uma fórmula geral?

Objeto Representação no GeoGebra 5.x

Tabela 1: Sı́mbolos matemáticos no GeoGebra 5.x. Os sı́mbolos π, ı́, e e ∞ (entre outros

Função Representação no GeoGebra 5.x

Tabela 2: Funções matemáticas no GeoGebra 5.x.

Fatorar[ 3 x^4 + 5 x^3 - 3 x - 1]

devolverá a expressão algébrica

Fundação CECIERJ HJB Consórcio CEDERJ

Cuidado: o último dı́gito pode estar arredondado!

Fundação CECIERJ HJB Consórcio CEDERJ

(b) Os números a = 8712870/48506557 e b = 505149/2812281 são iguais? Tente desco-

(c) Verdadeiro ou falso? Se ValorNumérico[a, n] = ValorNumérico[b, n], então a =

Fundação CECIERJ HJB Consórcio CEDERJ

dessa atividade: 05/11/2023.

f(x) := (cos(x))∧ 2 + (sen(x))∧ 2

Existe também um comando para “expandir” funções trigonométricas:

(b) Use o GeoGebra 5.x para calcular

Tente demonstrar o resultado dado pelo GeoGebra 5.x!

Fundação CECIERJ HJB Consórcio CEDERJ

Se combinarmos o comando Sequ^ encia[...] com o comando ÉPrimo[...], podemos iden-

Sequência[{n, ÉPrimo[n]}, n, 1, 50]

(b) Verdadeiro ou falso? n2 + n + 41 é um número primo para todo n ∈ N. Justifique sua

Fundação CECIERJ HJB Consórcio CEDERJ

Fundação CECIERJ HJB Consórcio CEDERJ

Você pode combinar o comando ValorNumérico[...] com o comando Resolver[...] para

ValorNumérico[ResolverNosComplexos[x ∧ 5 = 1, x], 20]

Soluções de sistemas de equações também são calculadas com o comando Resolver[...].

Resolver[{x + y + z = 1, x - y + z = 3, 2 x - y + 3 z = 1}, {x, y, z}]

Use o GeoGebra 5.x para encontrar as três soluções da equação cúbica

Fundação CECIERJ HJB Consórcio CEDERJ

A := {{1, 2, 3}, {1, 0, 1}, {1, 2, 1}}

B := {{1, 0, 0}, {0, 1, 0}, {0, 0, 1}}

C := {{1}, {2}, {3}}

Fundação CECIERJ HJB Consórcio CEDERJ

Para calcular a transposta de uma matriz, basta usar o comando MatrizTransposta[...].

Fundação CECIERJ HJB Consórcio CEDERJ

terminante e a inversa de uma matriz.

(a) Considere a matriz " #

Calcule A5 , A500 e A587 . É possı́vel estabelecer uma fórmula geral?

(b) Considere a matriz  

Fundação CECIERJ HJB Consórcio CEDERJ

de entrega dessa atividade: 05/11/2023.

Derivada[x exp(x∧ 2), x, 4]

Para calcular integrais, basta usar o comando Integral[...].

Aqui, c1 e c2 representam constantes de integração.

Simplificar[Derivada[Integral[exp(-t ∧ 2), t, 0, x], x]]?

Fundação CECIERJ HJB Consórcio CEDERJ

Você também pode gostar