Inform´atica no Ensino da Matem´atica

EP/14

1

Inform´
atica no Ensino da Matem´
atica
EP/14 — 18/10/2014

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/14

2

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 m˜ao e, depois, tente fazer usando o GeoGebra 4.x.
(b) Mostre que se a, b e c s˜ao n´
umeros diferentes de zero, distintos dois a dois e tais que
a + b + c = 0, ent˜ao 

a
b
c
+
+
b−c c−a a−b 

 

b−c c−a a−b
·
= 9.
+
+
a
b
c

Tente fazer a m˜ao e, depois, tente fazer usando o GeoGebra 4.x.
Solu¸c˜ao. Lembrando que se a + b + c = 0, ent˜ao c = −a − b, basta usarmos os seguintes
comandos do GeoGebra 4.x:
x := (a/(b - c) + b/(c - a) + c/(a - b))*((b - c)/a + (c - a)/b + (a b)/c)
y := Substituir[x, c = - a - b]

ATIVIDADE 3
O GeoGebra 4.x possui v´arias fun¸c˜oes e constantes matem´aticas j´a definidas. Na Tabela 1
temos uma lista de s´ımbolos mais usados com as respectivas representa¸c˜oes e, na Tabela 2,
uma lista com as fun¸c˜oes matem´aticas mais conhecidas. Por exemplo, no GeoGebra 4.x,

´ (este s´ımbolo pode ser acessado clicando-se no ´ıcone
i = −1 ´e representado pelo s´ımbolo ı
α `a direita da c´elula da Janela CAS onde se est´a digitando um comando).

´ poss´ıvel estabelecer
Seja f (n) = in , onde i = −1 e n ∈ N. Calcule f (5), f (500) e f (587). E
uma f´ormula geral?
Solu¸c˜ao. f (5) = i, f (500) = 1 e f (587) = −i. A regra geral ´e a seguinte:


+i, se n − 1 ´e divis´ıvel por 4,



 −1, se n − 2 ´e divis´ıvel por 4,
f (n) =
 −i, se n − 3 ´e divis´ıvel por 4,



 +1, se n ´e divis´ıvel por 4.

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/14

3

Objeto

Representa¸c˜
ao no GeoGebra 4.x


umeros inteiros

umeros racionais
representa¸c˜oes decimais
verdadeiro, falso
π
e (base logar´
√ıtmica natural)
−1

-47, 1, 2
3/5, -1/3
1.0, 0.002, .35*10^(-45)
true, false
pi, Pi, π
exp(1), e
ı
´, (-1)^(1/2)
infinity, ∞

Tabela 1: S´ımbolos matem´aticos no GeoGebra 4.x. Os s´ımbolos π, ´ı, e e ∞ (entre outros
s´ımbolos) est˜ao dispon´ıveis clicando-se no ´ıcone α .

Fun¸

ao

Representa¸c˜
ao no GeoGebra 4.x

x (raiz quadrada de x)
ex (exponencial)
ln x (logaritmo natural)
log10 x
log2 x
logb x
|x| (m´odulo de x)
seno, cosseno, tangente
secante, cossecante, cotangente
fun¸c˜oes trigonom´etricas inversas
fun¸c˜oes hiperb´olicas

sqrt(x), x^(1/2)
exp(x), e^x
log(x), ln(x)
lg(x), log(10, x)
ld(x), log(2, x)
log(b, x)
abs(x)
sen(x), cos(x), tg(x)
sec(x), cossec(x), cotg(x)
arcsen(x), arccos(x), arctg(x)
senh(x), cosh(x), tgh(x)
sech(x), cossech(x), cotgh(x)
arcsenh(x), arccosh(x), arctgh(x)

fun¸ 
c˜oes 
hiperb´olicas inversas
n
coeficiente binomial
m

CoeficienteBinomial[n, m]

Tabela 2: Fun¸c˜oes matem´aticas no GeoGebra 4.x.
ATIVIDADE 4
O comando Fatorar[...] tamb´em pode ser usado para fatorar polinˆomios. Por exemplo,
o comando
Fatorar[ 3 x^4 + 5 x^3 - 3 x - 1]
devolver´a a express˜ao alg´ebrica
(x + 1)2 (3 x2 − x − 1)
Note que o GeoGebra 4.x procura simplificar fatores comuns em fun¸c˜oes racionais, isto
Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/14

4

´e, ele devolve uma express˜ao na forma “numerador/denominador”, onde o numerador e
o denominador s˜ao polinˆomios relativamente primos com coeficientes inteiros.

1

2

(x∧ 2 − 1)/(x − 1)
→ (x + 1)
(x∧ 2 − 5 x + 6)/(x − 3)
→ (x − 2)

Para o GeoGebra CAS, (x2 − 1)/(x − 1) e x + 1 s˜ao express˜oes iguais. Elas s˜ao realmente
iguais? Mais precisamente, se
x2 − 1
e
g(x) = x + 1,
x−1
ent˜ao as fun¸c˜oes f e g s˜ao iguais? Registre sua resposta em uma mensagem na atividade da
plataforma de nome “AE-03 do EP-14: Cuidados com Simplifica¸c˜oes Autom´aticas”. Prazo
de entrega dessa atividade: 29/10/2014.
Solu¸c˜ao. As fun¸c˜oes n˜
ao s˜
ao iguais, pois elas possuem dom´ınios (naturais) diferentes: f
est´a definida em R − {1}, enquanto que g est´a definida em R.
f (x) =

ATIVIDADE 5
O GeoGebra 4.x, al´em de trabalhar simbolicamente com n´
umeros inteiros, racionais e irracionais, tamb´em reconhece n´
umeros representados atrav´es de sua representa¸c˜ao decimal!
Para isto, basta usar o comando ValorNum´
erico[...].
ValorNum´erico[sqrt(2), 23]
1
→ 1.4142135623730950488017
Cuidado: o u
´ltimo d´ıgito pode estar arredondado!
ValorNum´erico[sqrt(2), 24]
2
→ 1.41421356237309504880169
Tamb´em ´e poss´ıvel converter uma representa¸c˜ao decimal para uma fra¸c˜ao da forma p/q,

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/14

5

com p e q 6= 0 inteiros.
FormaFracion´aria[0.25]
3

1
4

Se vocˆe digitar um n´
umero decimal, ele ser´a automaticamente convertido para o formato
p/q, com p e q n´
umeros inteiros primos entre si (q 6= 0).
0.25
4

1
4

(a) Use o GeoGebra 4.x para decidir quais dos n´
umeros 19/6, 22/7 e 25/8 melhor aproxima π.
Solu¸c˜ao. Lembramos que π = 3.14159265 . . .. Usando o comando ValorNum´
erico[...],
vemos que
19/6 = 3.16666666 . . . ,

22/7 = 3.14285714 . . .

e

25/8 = 3.125.

Assim, entre os trˆes n´
umeros, 22/7 ´e o que d´a a melhor aproxima¸c˜ao para π.
(b) Os n´
umeros a = 8712870/48506557 e b = 505149/2812281 s˜ao iguais? Tente descobrir uma resposta usando o comando ValorNum´
erico[...] com um n´
umero de d´ıgitos
adequado.
Solu¸c˜ao. Usando-se os comandos
ValorNum´
erico[8712870/48506557, 20] e ValorNum´
erico[505149/2812281, 20],
conclu´ımos que
8712870
505149
= 0.1796225198997323186 . . . 6= 0.1796225199402193450 . . . =
.
48506557
2812281
Sua calculadora deve achar que os n´
umeros s˜ao iguais, pois suas expans˜oes decimais
coincidem at´e a nona casa ap´os o ponto decimal.
(c) Verdadeiro ou falso? Se ValorNum´
erico[a, n] = ValorNum´
erico[b, n], ent˜ao a =
b? Justifique sua resposta!

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Inform´atica no Ensino da Matem´atica

EP/14

6

Solu¸c˜ao. A senten¸ca ´e falsa, pois se a = 8712870/48506557 e b = 505149/2812281,
ent˜ao ValorNum´
erico[a] = 0.1796225199 = ValorNum´
erico[b] (supondo que o GeoGebra 4.x esteja configurado para 10 casas decimais), mas a 6= b, como mostrou o item
acima desta quest˜ao.
(d) Use o GeoGebra 4.x para colocar os n´
umeros
cente. Justifique seu procedimento!


8

2, 1 + sen(597) e ln(3) em ordem cres-

Solu¸c˜ao. Usando o GeoGebra 4.x, vemos que os comandos
ValorNum´
erico[2^(1/8), 16], ValorNum´
erico[1 + sin(597), 15] e
ValorNum´
erico[ln(3), 16]
d˜ao como resposta
1.090507732665258, 1.097241909054905, 1.09861228866811.
Consequentemente, vale que


8

2 < 1 + sen(597) < ln(3).

ATIVIDADE 6
Quais dos dois n´
umeros abaixo est´a mais pr´oximo do n´
umero π? Registre sua resposta em
uma mensagem na atividade da plataforma de nome “AE-05 do EP-14: Valor Num´erico”.
Indique que comandos do GeoGebra 4.x vocˆe usou para obter a resposta. Prazo de entrega
dessa atividade: 29/10/2014.
a = 72330238236742559890684000025/23023429900783988308169421772,
b = 53686027289178694741704702233/17088793236078350364533888675.
Dica importante: vocˆ
e n˜
ao precisa digitar os n´
umeros um a um. Copie os n´
umeros
deste arquivo PDF e os cole na c´
elula da Janela CAS do GeoGebra 4.x.

Funda¸c˜ao CECIERJ

HJB

Cons´orcio CEDERJ

Sign up to vote on this title
UsefulNot useful