Escolar Documentos
Profissional Documentos
Cultura Documentos
Geração Automatica de Exercicios Mat
Geração Automatica de Exercicios Mat
(x) =
2
/(2x+1) e visto que
2
/(2x+1) > 0 (respectivamente < 0) quando
x >
1
/2 (resp. x <
1
/2), a funo f crescente em ]
1
/2, +[ e decrescente
em ],
1
/2[. Logo, necessrio, nos problemas que envolvam derivao de funes,
comear-se no s com a determinao da expresso analtica da derivada mas tambm
do seu domnio.
Quando um aluno consegue derivar duas funes derivveis f e g, que outras funes
obtidas a partir destas que ele tambm sabe derivar? Uma resposta simples : todas!
Mais precisamente, um aluno do secundrio que saiba derivar f e g, tambm saber
derivar f g, f.g,
f
/g e g f, recorrendo s expresses:
1. (f g)
= f
;
2. (f.g)
= f
.g + f.g
;
3.
_
f
g
_
=
g.f
f.g
g
2
;
16
4. (g f)
= (g
f).f
.
Assim sendo, se, por exemplo, se pedir a um aluno do ensino secundrio que calcule a
derivada de
f(x) = log
_
sen(x)e
x
2
+1
tan(e
x
)
_
,
ele dever ser capaz de o fazer.
No entanto, se alguma das funes f ou g no for derivvel em todos os pontos do seu
domnio, a situao torna-se mais delicada.
Exemplo 2.2 Calcular f
+
(0) nos seguintes casos:
1. f(x) = cos
_
x
_
.
2. f(x) =
_
1 cos(x);
Embora ambas as funes sejam derivveis direita no ponto 0 (sendo a primeira
tambm derivvel esquerda, embora as derivadas esquerda e direita no coinci-
dam), isto no resulta da aplicao mecnica das regras anteriores, visto que
x no
derivvel em 0(= 1 cos 0). Aparentemente, os mtodos de clculo de derivadas
de que os alunos do ensino secundrio dispem no permitem abordar este tipo de
derivadas, a menos que a funo dada seja simplicvel de uma maneira bvia (como,
por exemplo, no caso de f(x) = |e
x
| = e
x
). Por outro lado, considere-se o seguinte
teorema (veja-se [18, cap. 11]):
Teorema 2.1 Seja f uma funo real de varivel real contnua num ponto a do seu
domnio e suponha-se que f derivvel em cada ponto x de algum intervalo do domnio
que contenha a excepto, eventualmente, no prprio ponto a. Se o limite lim
xa
f
(x)
existir, ento f derivvel em a e
f
(a) = lim
xa
f
(x)
Este teorema permite realizar o clculo do exemplo 2.2.1, pois tem-se ento
f
(0
+
) = lim
x0
+
f
(x) = lim
x0
+
sen (
x)
2
x
=
1
2
lim
x0
+
sen (
x)
x
=
1
2
(0
+
) = lim
x0
+
f
(x) = lim
x0
+
sen x
2
1 cos x
17
e os mtodos empregues pelos alunos do ensino secundrio para levantarem indeter-
minaes (veja-se o captulo 3) no parecem permitir resolver este problema, embora
este no seja particularmente difcil; basta ver que
lim
x0
+
sen x
2
1 cos x
= lim
x0
+
1 cos
2
x
2
1 cos x
= lim
x0
+
1 + cos x
2
=
2
2
Vejamos agora que problemas podem surgir relativamente derivabilidade de somas
e de produtos de funes. Se se somarem n funes tais que, para cada ponto a do
domnio, n 1 delas so derivveis em a enquanto que a restante funo no o ,
ento a soma no derivvel em a. Com o produto, a situao j mais complexa.
De facto, se se multiplicam duas funes das quais uma derivvel num ponto a do
domnio, enquanto que a outra no o , nada se pode concluir quanto ao produto.
Assim, por exemplo, se se tiver f(x) = |x| e g(x) = x, ento f no derivvel no
ponto 0, enquanto que g e f.g so-no. Por outro lado, se h(x) = e
x
, ento f.h no
derivvel no ponto 0. A no derivabilidade de f.h no ponto 0 est ligada ao facto de
h
(a) = 0,
ento a funo
1
/g tambm derivvel nesse ponto (ver [18, pp. 169170]), donde
f = f.g.
1
/g derivvel em a, o que absurdo. Conclumos ento que f.g no
derivvel em a.
Do que foi escrito acima, resulta que, numa primeira fase, talvez fosse prefervel que o
programa, ao criar problemas em que se pea para calcular derivadas de funes, que
estas funes sejam obtidas somente a partir de funes simples que sejam derivveis
em todos os pontos do domnio ou ento funes que se possam escrever como soma
de funes simples de modo que, em cada ponto do domnio, haja, no mximo,
uma nica parcela no derivvel. Caso se queira gerar uma funo derivvel custa
do produto de parcelas de funes simples, teremos de ter tambm no mximo
uma parcela no derivvel em cada ponto do domnio e, nos pontos em que existir
tal parcela, o computador ter de vericar se a derivada da funo constituda pelo
produto de todas as outras parcelas nula nesse ponto.
2.2 Funes denidas por ramos
Ao nvel do ensino secundrio, quando se estuda a derivabilidade de uma funo f
denida por dois ou mais ramos, num dos pontos de juno, x
0
, o que se pretende
18
que aluno calcule as derivadas laterais nesse ponto e verique se so iguais ou no. Ou
seja, tem de calcular f
(x
0
) e f
(x
+
0
) e a derivada em x
0
s existir se f
(x
0
) = f
(x
+
0
).
Exemplo 2.3 Consideremos a funo f(x) = |x|. Esta ainda pode ser denida por:
f(x) =
_
x se x < 0,
x se x 0.
Vejamos se existe derivada no ponto 0, calculando as derivadas laterais; tem-se
f
(0
) = lim
x0
f(x) f(0)
x 0
= lim
x0
x 0
x 0
= 1
e
f
(0
+
) = lim
x0
+
f(x) f(0)
x 0
= lim
x0
+
x 0
x 0
= 1.
As derivadas laterais existem, mas no so iguais. Portanto a funo no derivvel
no ponto x = 0.
O que se pretende que o computador gere funes denidas por ramos, cuja deriva-
bilidade possa ser estudada por um aluno do nvel secundrio.
O que se poderia passar se dssemos total liberdade ao computador para gerar as
funes seria que elas provavelmente no seriam derivveis ou ainda os pontos de
juno seriam demasiado estranhos para um aluno do ensino secundrio, etc.
Pretende-se que o utilizador controle o mais possvel as caractersticas desejadas em
determinado exerccio, sem perder alguns factores aleatrios que permitem ter sua
disposio um nmero relativamente grande de opes vlidas. Neste caso particular
das funes por ramos, poderamos comear ento por escolher o nmero de ramos de-
sejado e o(s) ponto(s) de juno pretendidos num determinado intervalo (por exemplo
[2, 2]). Finalmente escolheramos o tipo de funes que apareceria em cada ramo.
Uma questo importante que se levanta como fazer com que o computador gere
funes por ramos derivveis no ponto de juno sem recorrer ao acaso, ou seja,
que relao tm de ter as funes pertencentes a cada ramo para isso acontecer.
Consideremos o seguinte teorema:
Teorema 2.3 Seja h uma funo denida do seguinte modo:
h(x) =
_
f(x) se x x
0
g(x) se x < x
0
,
sendo f e g funes derivveis em x
0
. Ento h derivvel em x
0
se e s se f(x
0
) =
g(x
0
) e f
(x
0
) = g
(x
0
).
19
Demonstrao: Vamos supor que h derivvel num ponto x
0
. Temos ento que
h
(x
+
0
) = h
(x
0
) lim
xx
+
0
h(x) h(x
0
)
x x
0
= lim
xx
0
h(x) h(x
0
)
x x
0
lim
xx
+
0
f(x) f(x
0
)
x x
0
= lim
xx
0
g(x) f(x
0
)
x x
0
lim
xx
+
0
f(x) f(x
0
)
x x
0
= lim
xx
0
g(x) g(x
0
)
x x
0
g
(x
0
) = f
(x
0
)
No caso de termos a funo h denida do seguinte modo:
h(x) =
_
f(x) se x > x
0
g(x) se x x
0
.
o teorema tambm vlido fazendo uma demonstrao anloga.
Consideremos uma funo denida por ramos em que num deles temos uma funo f
qualquer e que o ponto de juno x = c.
2.2.1 Funo polinomial
Se pretendemos que no outro ramo esteja uma funo g polinomial, de modo a que a
funo por ramos seja derivvel em c, pelo teorema anterior, temos que ter
g
(c) = f
(c)
e
g(c) = f(c)
ou seja, como g(x) = a
0
+ a
1
x + a
2
x
2
+ , obtemos
a
0
+ a
1
c + a
2
c
2
+ = f(c)
e
a
1
+ 2a
2
c + 3a
3
c
2
+ = f
(c).
Exemplo 2.4 Consideremos a funo denida por:
h(x) =
_
f(x) = log(2x + x
2
) se 0 < x 1,
g(x) se x > 1.
Vamos procurar agora uma funo g polinomial que faa com que h seja derivvel em
x = 1.
Temos assim que f(1) = log 3 e f
(1) =
4
/3.
Ento g(x) = (x 1)
4
/3 + log 3 uma funo com a propriedade designada.
20
Note-se ainda que qualquer funo polinomial g do tipo:
g(x) = (x 1)
4
/3 + log 3 + a
2
(x 1)
2
+ a
3
(x 1)
3
+
com a
2
, a
3
, . . . R, tambm tem a propriedade procurada no exemplo.
2.2.2 Funo racional
Passemos agora ao caso de g ser uma funo racional, ou seja, da forma g(x) =
P(x)
Q(x)
,
com P(x) e Q(x) polinmios. Designemos por x
0
o ponto de juno; para termos ento
uma funo por ramos derivvel nesse ponto tem que se vericar:
g(c) =
P(c)
Q(c)
=
a
0
+ a
1
c + a
2
c
2
+
b
0
+ b
1
c + b
2
c
2
+
= f(c)
e
g
(c) =
P
(c)Q(c) Q
(c)P(c)
Q
2
(c)
= f
(c).
Vejamos um exemplo prtico deste processo:
Exemplo 2.5 Consideremos f(x) = 2x3, o ponto de juno x
0
= 1 e g uma funo
racional da forma g(x) =
ax+b
cx+d
. Seja h a funo
h(x) =
_
f(x) se x 1,
g(x) se x > 1.
Pretendemos encontrar a, b, c e d de modo que h seja derivvel em 1. Usando as
condies do teorema obtemos o seguinte sistema:
_
a+b
c+d
= 1
ad+cb
(c+d)
2
= 2.
Para o podermos resolver, vamos dar valores a duas das incgnitas e resolver o sistema
em ordem s outras duas, desde de que se considere sempre c = d. Faamos ento
c = 2 e d = 1, cando o sistema:
_
a+b
3
= 1
a+2b
9
= 2
cuja soluo a = 24, b = 21. Logo a funo g pode ser g(x) =
24x+21
2x+1
. Mais
geralmente, se no nos quisermos restringir a quocientes de funes polinomiais de
primeiro grau, podemos considerar qualquer funo da forma
g(x) =
24x + 21
2x + 1
+ (x 1)
2
+ (x 1)
3
+ .
21
2.2.3 Funo logartmica
Vejamos agora o caso em que g uma funo logartmica, isto , da forma g(x) =
log(u(x)), onde u(x) um polinmio.
Para que a funo seja derivvel no ponto de juno x = c faamos: f(c) = g(c) =
log(u(c)), tendo em ateno que o valor da funo f no ponto de juno no negativo,
e f
(c) = g
(c) =
u
(c)
u(c)
. Assim, dependendo do ponto c, temos as condies que nos
permitem construir o polinmio u(x) e a funo g.
Exemplo 2.6 Consideremos f(x) = x e o ponto de juno c = 1. Queremos encon-
trar uma funo g(x) = log(u(x)) tal que a funo por ramos denida por f e g seja
derivvel. Das condies vistas anteriormente decorre o sistema:
_
log(u(1)) = 1
u
(1)
u(1)
= 1,
que equivalente a termos
_
u(1) = e
u
(1) = e.
Portanto conclumos que a funo g pode ser
g(x) = log(e(x 1) + e) g(x) = log(e.x) = log e + log x = 1 + log x.
Note-se que qualquer funo do tipo g(x) = log(e.x + (x 1)
2
+ (x 1)
3
+ ) +
(x 1)
2
+ (x 1)
3
+ tambm pode ser usada.
2.2.4 Funo exponencial
Se pretendermos que g seja uma funo exponencial, g(x) = e
u(x)
, onde u(x) um
polinmio, considerando o ponto x = c como ponto de juno, as condies para que a
funo por ramos seja derivvel em c so: f(c) = e
u(c)
, desde que a imagem do ponto
c por f seja positiva, e f
(c) = u
(c)e
u(c)
= u
(1)e
u(1)
= 3,
cuja soluo
_
u(1) = 0
u
(1) = 3.
Sendo assim, uma funo com a propriedade pretendida g(x) = e
3x3
ou qualquer
uma da forma g(x) = e
3x3+(x1)
2
+(x1)
3
+
+ (x 1)
2
+ (x 1)
3
+ .
22
2.2.5 Funo irracional
Consideremos agora o caso em que g uma funo irracional (ao nvel do secundrio
aparece geralmente raiz quadrada, embora possa aparecer, muito raramente, uma raiz
cbica), g(x) =
_
u(x), onde u(x) um polinmio; representemos uma vez mais por c
o ponto de juno. Das condies de derivabilidade do teorema conclumos que f(c) =
_
u(c), desde que a imagem de c por f no seja negativa, e f
(c) = u
(c)/(2
_
u(c)),
que so as propriedades a que tem de obedecer o polinmio u(x) para temos uma
funo por ramos derivvel em c.
Exemplo 2.8 Se tomarmos para f a funo f(x) = 2x 3 e como ponto de juno
c = 2, para obtermos uma funo g(x) =
_
u(x) em que a funo por ramos denida
por f e g seja derivvel em 2 temos de resolver o sistema:
__
u(2) = 1
u
(2)
u(2)
= 2,
donde se obtm
_
u(2) = 1
u
(2) = 4.
Portanto a funo g pode ser g(x) =
_
1 + 4(x 2) ou qualquer funo da forma
g(x) =
_
1 + 4(x 2) + (x 2)
2
+ (x 2)
3
+ + (x 2)
2
+ (x 2)
3
+ .
2.2.6 Funo trigonomtrica
Outro tipo de funes que se podem tambm usar so as funes trigonomtricas:
seno, cosseno, tangente e cotangente. Comecemos pela funo seno e faamos g(x) =
sen(u(x)), sendo u(x) um polinmio e c o ponto de juno. Para a funo por
ramos ser derivvel nesse ponto, deduzem-se as condies f(c) = sen(u(c)) e f
(c) =
u
(c) cos(u(c)), que nos permitiro encontrar o polinmio u(x). Analogamente, para
o caso de g(x) = cos(u(x)), as condies de derivabilidade no ponto de juno x = c
so: f(c) = cos(u(c)) e f
(c) = u
(c) =
u(c)
cos
2
(u(c))
tm de ser satisfeitas para a funo por
ramos ser derivvel no ponto de juno x = c e, nalmente, no caso de termos g(x) =
cot(u(x)), as condies de derivabilidade so: f(c) = cot(u(c)) e f
(c) =
u(c)
sen
2
(u(x))
.
Apesar de termos estabelecido as condies para gerarmos funes por ramos derivveis
com senos, cossenos, tangentes e cotangentes, s em casos muito particulares poder
uma tal funo ser apresentada ao aluno sem que apaream coecientes ou pontos de
juno demasiado estranhos (tipo: arcsen(2) ou ainda arccos(
_
arccos(5)
/7)). No caso
do seno, da primeira condio obtemos que u(c) = arcsen(f(c)) e, portanto, f(c) tem
que pertencer a um conjunto muito restrito de valores: 0,
1
/2,
3
/2,
2
/2 ou 1.
Da segunda condio temos u
(c) =
f
(c)
cos(u(c))
, logo o nmero u(c) que resulta da frmula
anterior tem que ser um ngulo do qual se conhea o cosseno.
23
Exemplo 2.9 Tomando para f a funo f(x) =
e
x
/2 e como ponto de juno c = 0.
Vamos procurar uma funo g(x) = sen(u(x)) em que a funo por ramos denida por
f e g seja derivvel em 0. Vamos ento resolver o sistema:
_
sen(u(0)) =
1
/2
u
(0) cos(u(0)) =
1
/2,
donde se obtm, como uma das possveis solues,
_
u(0) =
/6
u
(0) =
3
/3.
Logo, a funo g pode ser g(x) = sen(
/6 +
3x
/3) ou qualquer funo da forma g(x) =
sen(
/6 +
3x
/3 + x
2
+ x
3
+ ) + x
2
+ x
3
+ .
No caso da tangente, dada uma funo f e um ponto de juno c, as condies para se
gerar uma funo g(x) = tanu(x) so: u(c) = arctan(f(c)) e u
(c) =
f
(c)
1+tan
2
u(c)
, donde
f(c) s pode tomar um dos valores 0, 1,
3
/3 ou
3
u
(1)(tan
2
(u(0)) + 1) = 1,
logo, uma das possveis solues,
_
u(1) = arctan(
3) =
/3
u
(1) =
1
1+tan
2
(
/3)
=
1
/4.
Portanto, a funo g pode ser g(x) = tan(
/3+
3
/3(x1)) ou qualquer funo da forma
g(x) = tan(
/6 +
1
/4(x1) +(x1)
2
+(x1)
3
+ ) +(x1)
2
+(x1)
3
+ .
O raciocnio para o caso do cosseno e da cotangente anlogo.
2.3 Derivadas de segunda ordem
As derivadas de ordem superior primeira so introduzidas no ensino secundrio no
mbito da anlise de grcos de funes, nomeadamente pontos de inexo e sentidos
da concavidade, que utiliza as derivadas de ordem dois.
24
No mbito do nosso estudo, pretendemos que o computador gere funes, das quais
seja razovel pedir a um aluno do secundrio, ou de nvel mais avanado, que calcule a
segunda derivada e de seguida calcular os seus zeros e estudar o sinal. evidente que
no se pode dar total liberdade ao computador para que gere as funes aleatoriamente,
em virtude de corrermos o risco de obtermos funes no derivveis, derivadas dema-
siado complicadas para o aluno calcular e derivadas em que o aluno no sabe calcular
os zeros ou o sinal. Portanto algumas restries tero de ser feitas. Comecemos ento
por analisar o tipo de funes que podem ser usados neste nvel de ensino.
As funes polinomiais so uma escolha bvia quando se faz uma introduo a este
assunto, mas algumas restries tm de ser consideradas para que o aluno, ao derivar
duas vezes, seja confrontado com um polinmio do qual saiba calcular os zeros. Sendo
assim, convm que o computador gere apenas polinmios da forma x
n
(P(x
m
)), onde
n, m N e P(x) um polinmio de grau no superior a dois. Note-se que a derivada
de segunda ordem de um polinmio deste tipo do tipo kx
2m+n2
+px
m+n2
+qx
n2
,
que constitui um polinmio do qual o aluno sabe calcular os zeros (coloca-se x
n2
em
evidncia e usa-se a regra do anulamento do produto e a frmula resolvente). Vejamos
alguns exemplos:
Exemplo 2.11 Calcule os zeros da segunda derivada das seguintes funes:
1. f(x) = x
4
12x + 1
2. g(x) = x
2
6x + 8
3. h(x) = 3x
7
+ 7x
6
Um tipo de funes muito mais usado neste assunto so as funes racionais. Nesse
caso, o que aparece habitualmente uma fraco com dois polinmios em que a segunda
derivada uma fraco do tipo
x
n
P(x
m
)
Q(x)
,
em que P(x) um polinmio de grau menor ou igual a 2 e Q(x) um polinmio
qualquer diferente do polinmio nulo. Embora seja um caso de maior diculdade e
no seja propriamente uma funo racional, ainda que o aluno calcule os seus zeros
de uma forma anloga, podemos apresentar tambm funes em que se tenha em
denominador ou em numerador um polinmio at grau dois e uma raiz quadrada de
um polinmio de grau um. Vejamos alguns exemplos:
Exemplo 2.12 Calcule os zeros da segunda derivada das seguintes funes e estude
o sentido das concavidades:
1. f(x) =
x 1
x
2. g(x) =
x + 3
x
2
4x + 3
25
3. h(x) =
5x 6
x 1
4. i(x) =
x 1
x
2.3.1 Funes racionais com segunda derivada racional e cl-
culo dos zeros da funo
Procuremos agora um mtodo de o computador gerar funes racionais, cuja segunda
derivada uma funo racional, da qual o aluno sabe calcular os zeros e do tipo
descrito acima. Para tal comeamos por gerar uma funo racional do tipo
f(x) =
a
(x c)
3
+
b
(x d)
3
,
sendo a, b, c, d R. Se a primitivarmos duas vezes obtemos a funo
g(x) =
1
2
(a + b)x ad bc
(x c)(x d)
+ x + ,
com , R, que ainda uma funo racional, ou seja, ao apresentarmos ao aluno
uma funo racional da forma de g, sabemos que a segunda derivada resulta numa
funo do tipo de f. Resta ento saber em que circunstncias possvel calcular os
zeros de f. Ao reduzirmos ao mesmo denominador essa funo, obtemos em numerador
o polinmio (a+b)x
3
+(3ad3bc)x
2
+(3ad
2
+3bc
2
)x+(bc
3
ad
3
) que sendo de grau
trs e se estiver completo, inibe o clculo dos zeros de f pelos mtodos convencionais.
Sendo assim devemos fazer algumas restries para que isso no acontea:
1. fazendo a = b, o coeciente de x
3
torna-se nulo e portanto o polinmio em
numerador passa a ser de grau dois;
2. podemos anular os termos de grau dois e um, desde que faamos ad = bc e
ad
2
= bc
2
, respectivamente;
3. de modo anlogo, anular o termo independente, logo que se imponha bc
3
= ad
3
.
Conclumos ento que para ser possvel ao aluno calcular os zeros da segunda derivada
temos de fazer algumas restries relativamente aos valores de a, b, c e d.
2.3.2 Funes racionais com primeira derivada racional
Suponhamos agora que se pretende um mtodo de gerar funes que os alunos consigam
derivar e cuja primeira derivada uma funo racional. Uma forma de o conseguir
26
gerando funes do tipo f(x) =
P(x)
Q(x)
, em que P(x) e Q(x) so polinmios, primitivar f
e o resultado ser a funo a apresentar ao aluno. A questo que se coloca a de saber
se os polinmios P(x) e Q(x) podem ser quaisquer ou se, pelo contrrio, temos de
fazer algumas restries para que, depois de primitivar f, no apaream funes que
os alunos no conheam ou no saibam derivar. Vejamos ento o seguinte teorema:
Teorema 2.4 Sejam A um aberto de R e f uma funo de A em R tal que:
(x A) : f(x) =
P(x)
(x a
1
)
n
1
(x a
2
)
n
2
(x a
m
)
nm
,
onde P uma funo polinomial, m, n
1
, n
2
, . . . , n
m
N e a
1
, a
2
, . . . , a
m
R. En-
to existe uma primitiva de f que pode ser escrita custa de funes racionais e
logartmicas. Mais precisamente, existe uma primitiva de f da forma
r(x) + C
1
log |x a
1
| + C
2
log |x a
2
| + + C
m
log |x a
m
|,
onde r uma funo racional e C
1
, C
3
, . . . , C
m
R.
Demonstrao: Comecemos por supor que o grau do numerador menor que o do
denominador. Para primitivarmos f faamos a sua decomposio em fraces parciais,
obtendo ento:
f(x) =
m
i=1
nm
j=1
A
i,j
(x a
i
)
j
,
onde cada A
i,j
um nmero real. Uma primitiva das parcelas em que j = 1
A
i,j
log |x a
i
|, para i {1, . . . , m}. Nas parcelas em que j = 1, qualquer primitiva
uma funo racional. Conclumos ento que f possui uma primitiva da forma do
enunciado do teorema, com C
1
= A
1,1
, C
2
= A
2,1
, . . . , C
m
= A
m,1
.
Considerando agora o caso em que o grau do numerador maior ou igual ao do
denominador, para calcular uma primitiva de f comecemos por dividir o numerador
pelo denominador. Temos assim que:
_
f(x) dx =
_
Q(x) dx +
_
R(x)
(x a
1
)
n
1
(x a
2
)
n
2
(x a
m
)
nm
dx,
em que Q(x) o polinmio quociente e R(x) o polinmio resto da diviso. As
primitivas de Q(x) so ainda funes polinomiais e qualquer primitiva de
R(x)
(x a
1
)
n
1
(x a
2
)
n
2
(x a
m
)
nm
vai ser da forma do enunciado do teorema, pois o grau do numerador menor que o do
denominador e, portanto, camos reduzidos ao caso acima estudado. Obtemos assim
uma primitiva de f que se pode escrever custa de funes racionais e logartmicas.
27
Repare-se que se Q(x) no for factorizvel em potncias de polinmios de grau um,
podemos concluir que o seu produto de factores contm pelo menos um polinmio
de grau dois irredutvel, o que signica que, ao primitivarmos, iro aparecer funes
trigonomtricas inversas. Portanto, apenas nos casos em que o aluno estiver apto a
derivar este tipo de funes podemos considerar qualquer polinmio para denominador
da funo, caso contrrio temos de usar funes do tipo referido no teorema anterior.
Exemplo 2.13 Exemplo de funes geradas por este sistema:
1. f(x) =
3
8
log(x 2) +
5
8
log(x + 6)
2. g(x) =
1
2
x
4
8x +
9
8
log(x 9) +
215
8
log(x + 6)
2.3.3 Funes no racionais
Pode igualmente ser apresentado ao aluno uma funo no racional cuja segunda
derivada resulte tambm numa funo no racional, da qual o aluno saiba calcular os
zeros de forma anloga a funes racionais. Comecemos por referir que se consideram
funes irracionais todas as que so racionais em
n
x, para algum n N.
Partindo da funo
f(x) =
ax
2
+ bx + c
n
rx + s
,
claramente uma funo em que os alunos sabem calcular os zeros, embora no seja
racional, se a primitivarmos duas vezes, obtemos uma funo
g(x) = (rx + s)
2n1
n
P(x) + x + ,
em que P(x) um polinmio de grau dois, e que ser a funo a apresentar no exerccio.
2.3.4 Funes exponenciais
Outro tipo de funes usadas o das funes exponenciais, ou seja do tipo e
f(x)
. Para
f temos trs tipos de funes escolha, com as respectivas restries de modo a que
a resoluo no envolva equaes de grau superior a trs (a, b, c, d, k R):
1. funo polinomial de grau no superior a dois;
2. funo irracional em que o radicando da forma ax + b;
3. funco racional da forma
ax+b
cx+d
.
28
Notemos tambm que estes tipos de funes exponenciais no podem ser somadas
com polinmios de grau maior ou igual a dois, para que o clculo dos zeros da segunda
derivada da funo no inclua equaes que o aluno saiba resolver. Tendo isso em
ateno, podemos ter tambm o produto de um polinmio de grau um por uma
exponencial do tipo e
k
ax+b
ou de um polinmio at grau dois por e
ax+b
.
Exemplo 2.14 Calcule os zeros da segunda derivada das seguintes funes e estude
o sentido das concavidades:
1. f(x) =
x
e
+ e
x
2. g(x) = xe
12x
3. h(x) = e
2x
x+1
Se pretendermos que seja o computador a gerar funes exponenciais que sejam ade-
quadas ao clculo da segunda derivada por um aluno do ensino secundrio, a situao
torna-se mais complicada, pois no podem aparecer funes que os alunos no co-
nhecem ou das quais no saibam calcular a derivada. medida que se pretendem
obter mais informaes sobre uma funo, mais restries se tm de fazer. Sendo
assim vamos agora supor que se pretende calcular apenas a derivada de ordem 1 e os
respectivos zeros. Comecemos pela funo que ser a nossa primeira derivada e que
da forma:
f(x) = R(e
x
),
em que R uma funo racional em que o polinmio do numerador da forma
P(x
n
)x
m
, sendo m 0 e P(x) um polinmio de grau menor ou igual a dois e
o denominador no tenha razes complexas no reais. Vamos calcular agora uma
primitiva de f, que ser a funo a apresentar ao aluno. Esta ltima restrio no
denominador de R, que tambm ser referida no processo de gerao de exerccios
com funes logartmicas, deve-se ao facto de no se pretender que no clculo da
primitiva de f aparea a funo arco tangente, a qual um aluno do secundrio no
conhece. Caso se desejem gerar exerccios para um nvel de ensino mais avanado,
ento a restrio pole ser omitida.
Fazendo a mudana de varivel y = e
x
, obtemos a primitiva de uma funo racional
em que o denominador no tem razes complexas no reais e que, pelo teorema 2.4,
pode ser escrita custa de funes racionais e logartmicas, das quais o aluno sabe
calcular a derivada para chegar funo f.
Exemplo 2.15 Exemplo de exerccios gerados por este sistema:
1. Partindo da funo R(x) =
x
(x1)(x2)
, obtemos a funo j(x) = log(e
x
1) +
log(e
x
2);
2. Partindo da funo R(x) =
x
3
(x5)(x+3)
, obtemos a funo g(x) = e
x
+
65
8
log(e
x
5)
9
8
log(e
x
+ 3).
29
2.3.5 Funes logartmicas
Neste assunto, resta-nos ento abordar as funes logartmicas. Embora ao nvel do
ensino secundrio aparea habitualmente apenas a funo log(x), podemos, atendendo
ao nvel de ensino pretendido, usar a funo logartmica em formas mais complexas.
Na verdade podemos usar exerccios que envolvam a funo logartmica e tambm
polinmios usando as operaes usuais (soma, multiplicao, diviso e composio).
Relativamente soma e composio, usamos funes do tipo
h(x) = g(x) + log(f(x)),
em que f(x) e g(x) so polinmios, mas, atendendo ao facto de h
(x) = g
+
ff
(f
)
2
f
2
=
g
f
1
+ff
(f
)
1
f
2
e da obtermos que a frmula do grau do numerador gr(g
f
2
+ ff
(f
)
2
) = gr(g
f
2
) = 2. gr(f(x))+gr(g(x))2, temos de conciliar o grau dos polinmios
f(x) e g(x) com a diculdade dos alunos em calcular os zeros de polinmios de grau
superior a dois. Logo, se, por exemplo, o grau de g(x) for dois (caso seja inferior a
dois no aparecer na expresso da segunda derivada), o grau de f(x) tem de ser de
grau um para que se obtenha na segunda derivada um numerador com, no mximo,
grau dois. Quanto multiplicao da funo logartmica por um polinmio, apenas se
torna acessvel o clculo dos zeros da segunda derivada quando temos uma funo do
tipo
(ax + b)(log(cx + d)),
com a, b, c, d R. Relativamente diviso e, mais uma vez, para que seja possvel
calcular os zeros da segunda derivada, apenas podemos usar funes do tipo
log(ax+b)
cx+d
,
considerando a, b, c, d R.
Exemplo 2.16 Calcule os zeros da segunda derivada das seguintes funes e estude
o sentido das concavidades:
1. f(x) = 1 + x
2
log(x)
2. g(x) = xlog(x)
3. h(x) =
log(x + 1)
x + 1
Ao tentar gerar exerccios em que se multiplica uma qualquer potncia de log(x) por
uma funo polinomial obtemos ainda alguns casos bastante interessantes. Vamos
supor que temos uma funo do tipo f(x) = kx log(x)
n
, n N. Calculemos a primeira
e segunda derivadas:
(kx log(x)
n
)
= k log(x)
n
+ knlog(x)
n1
e
(kx log(x)
n
)
=
knlog(x)
n1
x
+
(kn
2
kn) log(x)
n2
x
.
30
Notemos que k e n so constantes e portanto, a segunda derivada uma funo onde
possvel a um aluno do secundrio achar os zeros.
Consideremos agora o caso em que se tem f(x) = x
2
log(x)
n
, n N. Calculemos ento
a primeira e segunda derivadas:
(x
2
log(x)
n
)
= 2xlog(x)
n
+ xnlog(x)
n1
e assim,
(x
2
log(x)
n
)
= 2 log(x)
n
+ 3nlog(x)
n1
+ (n
2
n) log(x)
n2
.
Para calcularmos os zeros da segunda derivada fazemos uma mudana de varivel e
obtemos uma equao do segundo grau com razes:
_
3
4
n +
n
2
+ 8n
4
,
3
4
n
n
2
+ 8n
4
_
.
evidente que para um aluno do ensino secundrio se torna mais acessvel estudar
estas razes se n
2
+ 8n for um quadrado perfeito. Para n = 1 isso de facto acontece.
Vejamos se se passa o mesmo para outros valores de n N \ {1}.
Dizer-se que n
2
+ 8n um quadrado perfeito o mesmo que armar que, para algum
k Z, (n, k) soluo da equao diofantina
n
2
+ 8n = k
2
. (2.1)
Provemos que o conjunto de solues da equao (2.1)
{(9, 3), (7, 0), (3, 0), (1, 3)}. (2.2)
Comecemos por observar que
n
2
+ 8n = k
2
(n + 4)
2
16 = k
2
(n + 4)
2
k
2
= 16. (2.3)
Resulta daqui que |n + 4| > |k|. Alm disso, uma vez que a diferena entre (n + 4)
2
e
k
7
par, resulta que n+4 e k tm a mesma paridade, pelo que se tem |n+4| |k| +2.
Logo,
16 = (n + 4)
2
k
2
(por (2.3))
(|k| + 2)
2
k
2
= 4|k| + 4.
Deduz-se ento que |k| 3. Testemos agora os valores de k {3, 2, , 2, 3} em
que k
2
da forma n
2
+3n, para algum n Z, ou, o que equivalente por (2.3), quando
que k
6
+ 16 um quadrado perfeito. Facilmente se verica que isso no acontece se
k {1, 2} e que o conjunto de solues (2.2). Donde se conclui que se n N\{1}
31
ento n
2
+ 8n no um quadrado perfeito, o que de certa forma diculta a utilizao
prtica deste tipo de funes.
Tal como no caso das funes exponenciais, fazer o computador gerar funes logart-
micas de forma a que seja possvel calcular as suas segundas derivadas e os seus zeros
uma tarefa bastante complicada, pois o risco de aparecerem funes desconhecidas
para os alunos durante a resoluo do exerccio enorme, o que obriga a fazer restries
nas funes a apresentar e limita bastante a diversidade de situaes que podem ser
propostas. Devido a este facto e analogamente s funes exponenciais, criemos um
mtodo de gerar funes logartmicas em que se pretende fazer o estudo somente at
derivada de ordem um. Sendo assim, tomemos como primeira derivada uma funo
f do tipo:
f(x) =
1
/xR(log x),
em que R uma funo racional em que o polinmio do numerador da forma
P(x
n
)x
m
, sendo m > 0 e P(x) um polinmio de grau menor ou igual dois e o
denominador no tem razes complexas no reais. De seguida, para obtermos a funo
a apresentar no exerccio temos que primitivar f, o que envolve uma mudana de
varivel do tipo y = log x de forma a aparecer uma primitiva de uma funo racional
em que o denominador s tem razes reais. Daqui resulta, pelo teorema 2.4, uma
funo que se pode escrever custa de funes racionais e logartmicas, das quais o
aluno sabe calcular as derivadas.
Exemplo 2.17 Exemplo de exerccios gerados por este sistema:
1. f(x) = log x 2 log(log x + 1)
2. g(x) =
1
2
log x
2
3 log x + 8 log(log x + 3))
2.3.6 Funes trigonomtricas
Vejamos agora que tipo de funes trigonomtricas possvel usar. Convm no
esquecer que se pretende que o aluno calcule a segunda derivada de uma determinada
funo e os respectivos zeros, de modo a poder estudar a sua concavidade. Sendo
assim, temos de ter em conta que tipos de equaes trigonomtricas que o aluno est
capacitado a resolver. A um nvel mais elementar podemos considerar as equaes dos
tipos cos x = a, tanx = a, cot x = a e sen x = a, ou ento cos x = sen x para um nvel
mais avanado.
O tipo de funes trigonomtricas mais usado neste assunto :
f(x) = ax + b + c sen(kx + p)
ou
f(x) = ax + b + c cos(kx + p),
32
onde a, b, c, k, p R (as constantes k e/ou p aparecem muitas vezes sob a forma q,
com q racional). Repare-se que quando derivamos duas vezes estas funes obtemos
uma expresso do tipo ck
2
cos(kx +p) ou ck
2
sen(kx + p) cujos zeros o aluno sabe
determinar.
Um outro tipo de funes que tambm aparece, embora com menos frequncia, :
f(x) = ax + b + c sen
2
(kx + p)
ou
f(x) = ax + b + c cos
2
(kx + p),
em que a, b, c, k, p R, tal como atrs. Ao derivarmos duas vezes estas funes
obtemos expresses do tipo 2ck
2
cos
2
(kx + p) 2ck
2
sen
2
(kx + p) (para o seno, com o
cosseno anlogo) e, usando frmulas trigonomtricas, simplicamos a expresso para
t cos(2(kx + p)). Se igualarmos esta ltima expresso a zero obtemos uma equao
trigonomtrica de resoluo acessvel a um aluno do ensino secundrio.
Exemplo 2.18 Calcule os zeros da segunda derivada das seguintes funes:
1. f(t) = t
1
5
sen
2
(t)
2. g(x) = 0,8 cos
t
6
+ 8
3. h(x) = 2 sen t + t
Tambm podem, episodicamente, aparecer expresses em que se misturem funes
trigonomtricas com exponenciais, mas esses casos saem um pouco fora do mbito do
nosso estudo, porque s podemos usar e
ax+b
ou e
ax+b
a multiplicar por sen x ou cos x,
para que resultem apenas equaes trigonomtricas que um aluno do secundrio saiba
resolver. Na verdade no podemos falar de um tipo genrico de funes que podemos
utilizar, mas sim em alguns casos isolados de funes que o computador no pode
gerar aleatoriamente.
Como j foi referido acerca das funes exponenciais e logartmicas, a gerao auto-
mtica de exerccios sobre o clculo da segunda derivada de funes trigonomtricas
torna-se uma tarefa complicada, em virtude de, por vezes, nem todas as funes trigo-
nomtricas serem conhecidas dos alunos num determinado nvel de ensino, o que leva a
que a probabilidade de aparecerem funes cuja derivada desconhecida seja bastante
elevada. Sendo assim, e tal como nos caso vistos anteriormente, vamos restringir-nos
apenas a gerar exerccios sobre o clculo da primeira derivada e respectivos zeros.
Comecemos por considerar uma funo R, denida num intervalo I de R, da forma
(x I) : R(x) =
P(x
n
)x
m
Q(x)
,
33
em que, de modo anlogo aos dois tipos de funes vistos anteriormente, P uma
funo polinomial de grau no superior a dois e, se quisermos garantir que no apare-
am arcos tangentes, Q(x) um polinmio que se pode decompor como produto de
polinmios de grau um.
Nota 2.1 Se tivermos uma funo do tipo
R(x) = P(x) +
1
(x a
1
)
n
1
+
2
(x a
2
)
n
2
+ +
k
1
f
1
(x)
f
1
(x)
+
k
2
f
2
(x)
f
2
(x)
+ ,
em que cada f
i
uma funo polinomial de grau dois sem razes reais, tambm no
vo aparecer arcos tangentes e no estamos no caso descrito acima. O que no se pode
garantir que o aluno saiba calcular os seus zeros.
Para poder gerar as funes a apresentar aos alunos vamos considerar primitivas de
R(sen(x)) cos(x), R(cos(x)) sen(x) ou R(tan(x))(1 + tan(x)
2
). Reparemos que nestas
funes, que vo corresponder primeira derivada das funes propostas nos exerccios,
se pode fazer o clculo dos zeros e o estudo do sinal quer factorizando o numerador e
usando a regra do anulamento do produto, quer fazendo uma mudana de varivel de
modo a obter uma equao de grau dois. Para se determinar a funo que o aluno ir
derivar temos que primitivar a funo R e tal possvel fazendo a mudana de varivel
u = tan(
x
/2) e deduzindo que: sen x =
2u
1+u
2
, cos x =
1u
2
1+u
2
e dx =
2
1+u
2
du. Fazendo
as substituies na expresso obtemos a primitiva de uma funo racional que, pelo
teorema 2.4, pode ser escrita custa de funes logartmicas e racionais, sendo assim
possvel ao aluno calcular a derivada.
Vejamos agora um exemplo do processo de gerao de um exerccio:
Exemplo 2.19 Seja R uma funo da forma:
R(x) =
x
3
x
(x 1)(x + 4)
x + 7)
2. lim
x
(x + x
2
)
Uma das situaes mais interessantes com que os alunos so confrontados no clculo de
limites o levantamento de indeterminaes, pois vrias situaes podem acontecer,
bem como os mtodos de resoluo:
1. lim
x2
x + 2 2
x 2
2. lim
x+
2x
x
2
3. lim
x
(3x
3
+ 4x
2
)
Comecemos pelas indeterminaes do tipo . Quando aparece uma indetermi-
nao deste tipo podemos estar perante limites de funes polinomiais, irracionais,
funes do tipo (f
1
k)f
2
ou f
1
(f
2
k) onde k uma constante e f
1
e f
2
so funes
35
que tendem para innito quando a incgnita tambm tende para innito, entre outras.
No caso de se pretender uma indeterminao envolvendo funes polinomiais temos de
gerar um polinmio em que a substituio resulte em pelo menos um dos monmios
e outro +. Para tal, basta que, no caso da incgnita tender para +, exista
pelo menos um termo com coeciente negativo e quando a incgnita tender para ,
haja duas potncias da mesma paridade com sinais contrrios. No caso de querermos
uma indeterminao com funes irracionais temos, normalmente, uma subtraco de
duas razes quadradas de polinmios do primeiro grau, em que os termos de grau um
tm o mesmo coeciente. Note-se que embora este caso seja o mais elementar para os
alunos (resolve-se multiplicando e dividindo pelo conjugado) e, por isso, o que mais
aparece, podemos na realidade apresentar duas razes de qualquer ndice e resolver
usando a frmula
_
n
a
n
b
_
((
n
a)
n1
+ (
n
a)
n2
n
b + (
n
a)
n3
(
n
b)
2
+ + (
n
b)
n1
) = a b.
O ndice das razes pode, portanto, variar de acordo com a diculdade pretendida pelo
utilizador, embora seja claro que usar um ndice maior que trs complicaria muito os
clculos.
Exemplo 3.2 Indeterminaes do tipo :
1. lim
x+
3x 5
3x
7
2. lim
x
(3x
3
+ 5x
2
x)
3. lim
x+
(x
4
3x + 5)
4. lim
x+
3
x + 1
3
x
Outro tipo de indeterminaes que aparecem quando se calcula o limite para x
de uma funo
x 3
x
3. lim
x+
(6x + 3)
7 + x
2
No clculo de limites de produtos de funes podem surgir indeterminaes do tipo
0. Estas situaes, no contexto do tipo de funes que estamos a estudar, resultam
de calcular limites de produtos de funes polinomiais ou irracionais com racionais, em
que o grau de denominador maior que o do numerador. Repare-se que assim, quando
temos a incgnita a tender para , o polinmio ou a funo irracional tende para e
a funo racional tende para zero. A forma mais usual que os alunos tm de levantar
esta indeterminao multiplicar as duas funes e, no caso da funo irracional, fazer
com que a raiz abranja toda a fraco, reduzindo assim a uma indeterminao do tipo
.
Exemplo 3.4 Calcule os limites:
1. lim
x
_
1
x
2
(x
3
1)
_
2. lim
x+
_
x
5
x
2
+ 1
x
3
1
_
3. lim
x+
_
1
x 2
(
x
3
1)
_
Por m temos as indeterminaes do tipo
0
/0, que acontecem, nesta primeira fase em
que no usamos limites notveis, quando temos uma funo racional ou irracional
em que o valor para o qual tende a incgnita resulta em 0, quer no numerador quer
no denominador. Para tal podemos usar quocientes de polinmios ou que envolvam
funes racionais.
Exemplo 3.5 Indeterminaes do tipo
0
/0:
1. lim
x3
x 3
x
2
9
37
2. lim
x1
x
2
+ 4x + 3
x
2
x 2
3. lim
x4
x 2
x 4
4. lim
x0
3 + x
2
3
x
Pretendemos ento que o computador gere dois polinmios com, pelo menos uma raiz
comum. Para tal o computador deve escolher um nmero , de preferncia inteiro,
que ser a raiz comum (valor para o qual vai tender a incgnita) e obter os polinmios
multiplicando o factor (x) por outros polinmios, no numerador e no denominador.
Ou seja vamos ter um limite do tipo:
lim
x
(x )P
1
(x)
(x )P
2
(x)
,
com P
1
(x) e P
2
(x) polinmios de qualquer grau. A forma habitual dos alunos levanta-
rem esta indeterminao seria simplicar a fraco usando, por exemplo, a Regra de
Runi e substituir a incgnita. tambm possvel obter indeterminaes deste tipo
com funes irracionais, usando para tal o exemplo clssico de
lim
xb
n
_
f(x)
n
_
f(b)
x b
.
Para isso o computador teria de gerar um nmero b e uma funo racional f, denida
me b, escrevendo o limite nesta forma ou trocando o numerador com o denominador.
O mtodo de resoluo para os alunos seria, no caso de n = 2, multiplicar e dividir a
fraco por
_
f(x) +
_
f(b) para levantar a indeterminao. Caso os alunos estejam
familiarizados com o clculo de derivadas pela denio e com o seu uso no clculo de
limites, f pode ser substituda por qualquer funo derivvel em b e que seja positiva
perto de b.
3.2 Limites com exponenciais e logaritmos Limites
notveis
Para completar este tema, vamos agora abordar o clculo de limites com a ajuda de
limites notveis e natural que se estenda o assunto a funes exponenciais e logart-
micas. Rera-se que os limites que sero propostos tambm podem ser, eventualmente,
resolvidos pela regra de LHpital ainda que esta no seja dada no ensino secundrio,
por isso no se dar prioridade resoluo por esse mtodo embora possam haver
casos em que este mtodo realmente o mais indicado. Tambm nos casos que vamos
analisar agora, se pode trocar o numerador com o denominador, obtendo o resultado
inverso.
38
Comecemos pelos limites notveis com exponenciais, que so:
lim
x+
e
x
x
p
= +, com p R
e
lim
x0
e
x
1
x
= 1.
O primeiro limite tem uma utilizao bastante limitada e aparece somente em casos
simples. Para criar exerccios em que o limite notvel no fosse bvio para o aluno, o
computador poderia considerar, usando o prprio limite notvel, uma potncia quer
do numerador, quer do denominador e o aluno teria de encontrar a potncia adequada
a pr em evidncia para identicar o limite notvel. No entanto, tambm podem ser
gerados limites um pouco mais complexos da forma lim
x+
e
f
g
, onde f e g so funes
tais que lim
x+
f = + e que o limite lim
x+
f
g
seja no nulo. Na resoluo, no caso
de obter uma indeterminao, o aluno deve multiplicar e dividir a expresso por f
obtendo
lim
x+
e
f
f
f
g
.
Atendendo a que o limite do produto igual ao produto dos limites, o primeiro resolve-
se fazendo a mudana de varivel y = f e aplicando o limite notvel e o segundo um
limite de resoluo acessvel ao aluno.
Exemplo 3.6 Uso do limite notvel lim
x+
e
x
x
p
= +:
1. lim
x+
e
3x
x
8
2. lim
x+
e
x
3
+4
5x + 7
3. lim
x+
e
3
x
2
+1
2x 4
Quanto ao uso do segundo limite notvel, este aparece com bastante frequncia e em
casos bastante variados. Consideremos duas funes f e g geradas pelo computador
de tal forma que o limite quando x tende para 0 de f e g 0 e tambm que os alunos
saibam calcular lim
x0
f
g
. O limite seria apresentado ao aluno na forma
lim
x0
e
f
1
g
.
Para resolver, o aluno teria de multiplicar e dividir a fraco por f, obtendo assim
lim
x0
e
f
1
f
f
g
.
39
Fazendo a mudana de varivel y = f, resulta um produto de um limite notvel por
um limite que os alunos sabem resolver.
Exemplo 3.7 Uso do limite notvel lim
x0
e
x
1
x
= 1:
1. lim
x0
e
2x
1
x
2. lim
x0
e
x
1
x
3. lim
x0
e
4
e
x+4
3x
4. lim
x0
e
x
2
+x
1
x
3
2x
5. lim
x0
e
x
3
1
e
x+3
1
Passemos agora ao clculo de limites que envolvam funes logartmicas. Tambm
aqui os limites so quocientes de funes e os casos que vamos ver tambm so vlidos
trocando o numerador com o denominador. Os alunos usam o limite notvel
lim
x0
log(x + 1)
x
= 1
para resolver os exerccios ou outros limites que resultem deste fazendo uma mudana
de varivel.
Para gerar limites que se resolvam com este limite notvel, fazemos o computador gerar
duas funes: f com pelo menos um zero, k, uma funo g tal que lim
xk
g = 0 e ter em
considerao que os alunos saibam calcular lim
xk
f
g
. O limite seria ento apresentado
na forma:
lim
xk
log(f + 1)
g
.
Para resolver o aluno puder multiplicar e dividir por f e separar o limite num produto
de dois em que um um limite notvel a menos de uma mudana de varivel y = f e o
outro um limite que o aluno sabe calcular. De realar tambm que o limite da funo
f
/g quando x tende para k tem de existir, seno o limite de toda a expresso tambm
no existe. Por exemplo, lim
x0
log(x + 1)
x
2
no existe, pois lim
x0
x
x
2
= lim
x0
1
x
tambm no
existe.
De um modo geral os alunos resolvem estes limites tendo em ateno algumas propri-
edades dos logaritmos para passarem o expoente, caso ele exista, para fora do limite;
depois de identicar a funo f, multiplicar e dividir a expresso por alguma constante
40
para a fazer aparecer em denominador e, por m, fazer uma mudana de varivel, por
exemplo y = f(x) e substituir na expresso. Se, para fazer aparecer a funo f em
denominador, o aluno teve de por em evidncia uma funo no constante, tem de
calcular o limite dessa funo.
Exemplo 3.8 Uso do limite notvel lim
x0
log(x + 1)
x
= 1:
1. lim
x0
log(2x + 1)
3x
2. lim
x0
log(x + 1)
2
2x
3. lim
x3
x
2
9
log(x 2)
Dos limites notveis exponenciais resulta ainda um outro limite notvel logartmico,
embora seja usado com menos frequncia, que :
lim
x
log x
x
= 0,
sendo para estes casos usados limites de expresses do tipo lim
x
log f
g
. O computador
geraria as funes f e g tais que o limite de ambas quando x tende para innito seja
tambm innito e de modo a que lim
x
f
g
= . O mtodo de resoluo bastante
simples e semelhante aos casos anteriores, bastando multiplicar e dividir a fraco por
f e fazer a mudana de varivel y = f, resultando assim um limite notvel e um limite
de resoluo acessvel ao aluno.
Exemplo 3.9 Uso do limite notvel lim
x
log x
x
= 0:
1. lim
x+
log 2x
3x
2. lim
x
log(3x + 5)
x
3
7x
3. lim
x+
log(
x + 1)
2x
3.3 Limites de funes trigonomtricas
Para resolver limites de funes trigonomtricas, os alunos devem partir do conheci-
mento do limite notvel:
lim
x0
sen x
x
= 1
41
e tentar fazer transformaes nas expresses das funes, de modo a aplicar o resultado
do limite j conhecido. Evidentemente que isso s deve ser feito quando o limite da
funo resulta numa indeterminao e nem todas as funes trigonomtricas se prestam
a este m, ou porque as transformaes a fazer seriam muito complicadas ou porque
no seria possvel obter e aplicar o limite notvel. Convm recordar tambm que no
caso de termos limites de funes com numerador e denominador, se pode fazer a troca
entre eles, obtendo-se assim o resultado inverso e, embora possam haver constantes
que possam ser qualquer nmero real, mais habitual neste nvel de ensino aparecerem
mltiplos inteiros ou fraccionrios de .
As funes onde mais comum a aplicao do limite notvel so as do tipo:
lim
x
sen f
g
,
com lim
x
f(x) = lim
x
g(x) = 0 e sendo f e g funes tais que o aluno saiba calcular
lim
x
f
g
. Aqui, o que o aluno tem a fazer multiplicar e dividir a funo por f e fazer
uma mudana de varivel y = f, donde se obtm
lim
x
sen f
f
.
f
g
= lim
y0
sen y
y
. lim
x
f
g
= lim
x
f
g
,
que um limite que os alunos sabem calcular. Para criarmos as funes a usar podemos
tambm ter em ateno propriedades relevantes da reduo ao primeiro quadrante quer
do seno, quer do cosseno. Assim, em vez de termos somente sen kx, podemos passar
a sen( kx) ou at cos(
2
kx), o que aumenta ainda mais o leque de situaes que
podem aparecer.
Exemplo 3.10 Calcule os limites:
1. lim
x0
sen(4x)
7x
2. lim
x0
sen 6x
sen
_
3
x
_
3. lim
x1
sen(x + 1)
1 x
2
4. lim
x0
sen(2x)
e
3x
1
5. lim
x0
log(x + 1)
sen(2x)
6. lim
x0
cos(
2
+ 6x)
5x
42
7. lim
x
xsen(
1
x
)
8. lim
x+
x
2
sen(
x
)
O seno no a nica razo trigonomtrica que pode estar presente nas expresses
das quais queremos saber o limite. O cosseno tambm pode ser utilizado, mais
concretamente a expresso cos f 1. Usam-se ento limites do tipo
lim
x
cos f 1
g
,
em que lim
x
f(x) = lim
x
g(x) = 0 e que lim
x
f
2
2g
seja de resoluo acessvel aos alunos.
Realce-se que, para se calcular o limite, o aluno tem de multiplicar e dividir a fraco
por cos f +1, obtendo assim no numerador um caso notvel. Vejamos com mais detalhe
uma resoluo envolvendo um limite que satisfaz as condies atrs referidas:
lim
x
cos f 1
g
= lim
x
cos
2
f 1
g(cos f + 1)
= lim
x
cos
2
f 1
2g
= lim
x
sen
2
f
2g
(pela frmula fundamental da trigonometria)
= lim
x
_
_
sen f
f
_
2
.
f
2
2g
_
= 1. lim
x
_
f
2
2g
_
.
Facilmente se verica que a resoluo deste limite depende do clculo de lim
x
_
f
2
2g
_
e
que, portanto, tem de ser um limite de que o aluno conhea uma resoluo.
Exemplo 3.11 Calcule os limites:
1. lim
x0
xcos x x
x
4
2. lim
x+
e
x
(cos(
1
/x) 1)
Por ltimo vamos agora abordar limites com a funo tangente da forma:
lim
x
tan f
g
,
43
com tal que lim
x
f = lim
x
g = 0 e de modo a que lim
x
f
g
seja de resoluo acessvel
ao aluno. Para os resolver, o aluno deve ter sempre presente que a tangente se pode
escrever custa do seno e do cosseno e que quando x tende para , cos f tende para
1. Sendo assim o aluno pode resolver o limite inicial fazendo:
lim
x
tanf
g
= lim
x
sen f
cos f
g
= lim
x
sen f
g
,
cuja resoluo j foi descrita anteriormente.
Exemplo 3.12 Calcule os limites:
1. lim
x0
tan 3x
tan(4x)
2. lim
x
tan
_
1
5x
2
_
e
x
Passando agora ao processo de gerao de exerccios, notemos que, usando as operaes
com funes, as propriedades dos limites e as tcnicas de levantamento de indetermi-
naes, se podem gerar uma grande diversidade de exerccios envolvendo vrios tipos
de funes. Assim, usando a composio de funes, se considerarmos duas funes f
e g e se tivermos que lim
xa
f(x) = b, com a R , ento, ao calcular o limite de g
composta com f quando x tende para a, obtemos:
lim
xa
g(f(x)) = lim
xb
g(x),
desde que lim
xb
g(x) no resulte em nenhuma das indeterminaes j referidas. Partindo
agora do conhecimento de que se lim
xa
f(x) = s e lim
xa
g(x) = t, ento lim
xa
f(x) +g(x) =
s +t, podemos apresentar limites de somas de n N funes, desde que no se tenha
que o limite de uma das funes +e de outra . De modo anlogo, e sabendo
que se lim
xa
f(x) = s e lim
xa
g(x) = t, ento lim
xa
f(x) g(x) = s t, pode ser proposto
ao aluno o clculo de limites de produtos de n N funes, tendo em ateno que no
se pode ter que o limite de uma das funes 0 e o de outra . Quanto a limites
de quocientes, podemos usar os vrios tipos de funes j vistos, bem como, pelo que
foi referido acima, produtos e somas de funes. Se bem que temos de nos certicar
de que o limite do numerador e do denominador no simultaneamente 0 ou .
possvel ainda criar indeterminaes diferentes das analisadas anteriormente e onde
a regra de LHpital, embora no seja o nico mtodo de resoluo, mais frequente-
mente usada. Para tal tero de ser dadas instrues ao computador para que, quando
gerar uma funo da forma log(f(x)).g(x), que eventualmente se enquadraria numa
das situaes anteriores, averigue se existe um a R que satisfaa alguma das
situaes:
44
1. lim
xa
f = 1 e lim
xa
g = ;
2. lim
xa
f = e lim
xa
g = 0;
3. lim
xa
f = 0 e lim
xa
g = 0.
Se tal acontecer o computador passar a funo gerada forma (f(x))
g(x)
, pedindo
que se calcule o limite quando x tende para a. Temos assim um mtodo de gerar
indeterminaes do tipo 1
, 0
0
e
0
, que se podem resolver aplicando a funo
exponencial e logartmica simultaneamente, usando uma propriedade dos logaritmos
para obter uma indeterminao do tipo
0
/0 ou
/ e aplicando a regra de LHpital.
Exemplo 3.13 Calcule os limites:
1. lim
x+
(3x + 9)
1
/x
2. lim
x1
x
1
1x
3. lim
x0
x
sen x
3.4 Limites de sucesses
Tal como nos limites de funes, com sucesses todas as propriedades dos limites se
mantm, bem como alguns mtodos de levantamento de indeterminaes. claro que
tambm podem ser propostos limites que no resultem em indeterminao.
Exemplo 3.14 Considere as sucesses denidas por:
u
n
= 5 +
3
n
e v
n
= 3n.
Calcule:
1. limu
n
e limv
n
2. lim(u
n
v
n
)
3. lim
_
2v
n
5
_
Quanto a limites de sucesses que resultem em indeterminaes, podem-se obter quan-
do calculamos lim
un
/vn, onde u
n
e v
n
so duas sucesses da forma a
0
n
p
+ a
1
n
p1
+
+ a
n1
n + a
n
, com a
0
, a
1
, , a
n1
, a
n
R e p N. Se substituirmos a incgnita
por +, resulta uma indeterminao do tipo
e o mtodo de levantamento da
45
indeterminao semelhante ao caso de limites de funes racionais quando x tende
para , ou seja, basta calcular o limite do quociente entre o termo de maior grau
do numerador e do denominador. Alm disso, podemos ter no numerador e/ou no
denominador uma sucesso do tipo
an
2
+ bn + c, o que o aluno ter de fazer pr
em evidncia o termo em n
2
e coloc-lo fora da raiz.
Exemplo 3.15 Calcule cada um dos limites:
1. lim
3 + 5n
n
3
7
2. lim
6n
4
+ 5n
2n + 9
3. lim
3n
2
5 4n + 2
n
3
+ 3n 2
Com limites de sucesses tambm podemos ter indeterminaes do tipo . Como
no caso das funes, tal pode resultar do limite de uma sucesso do tipo u
n
= a
0
n
p
+
a
1
n
p1
+ + a
n1
n + a
n
com a
0
, a
1
, , a
n1
, a
n
R e p N, em que um dos
coecientes, excepto o termo independente, negativo. Outra forma de obtermos este
tipo de indeterminaes subtraindo, ou somando, sucesses do tipo
an
2
+ bn + c.
Analogamente s funes, o aluno deve multiplicar e dividir a expresso pelo conjugado
do numerador de forma a obter a um caso notvel, depois tem de pr em evidncia a
maior potncia do numerador e do denominador para simplicar a expresso e calcular
o limite.
Exemplo 3.16 Calcule cada um dos limites:
1. limn
4
5n
3
+ 3
2. lim
2n + 5 +
n
2
7
3. lim
3n
2
+ 4n 2
n
2
n + 1
Devido ao conhecimento dos alunos de que lima
n
= 0 se 0 < a < 1 e lima
n
= +
se a > 1, podemos construir limites que resultem em indeterminaes dos dois tipos
anteriores. Para a indeterminao ser do tipo podemos usar uma sucesso do
tipo a
n
b
n
, com a, b N, que se resolve pondo em evidncia a potncia de maior
base. Relativamente a indeterminaes do tipo
3
2
_
n
5.
(n + 2)! sen(5n)
(n + 3)!
47
Para resolver este tipo de exerccios, o aluno tem que identicar e pr em evidncia
a sucesso que sabe ser limitada e de seguida calcular o limite da outra sucesso
resultante. No caso da sucesso limitada ser (1)
n
e o limite da outra sucesso ser
o aluno apenas pode dizer que um innitamente grande em mdulo.
Embora este processo que acabamos de descrever seja aparentemente simples, a ques-
to de fazer o computador gerar sucesses limitadas sem recorrer a uma base de dados
bastante problemtica. No entanto, usando apenas as sucesses (1)
n
, cos n, sen n,
arctan n ou ainda do tipo
P(n)
/Q(n), com P(x) e Q(x) polinmios tais que o grau de P(x)
no exceda o de Q(x), podemos gerar uma grande variedade de sucesses limitadas,
utilizando combinaes lineares dos vrios casos.
48
Captulo 4
Assmptotas
No seguimento do estudo, feito ao nvel do ensino secundrio, sobre a continuidade de
uma funo num ponto e visando realar possveis consequncias ao nvel do esboo
do grco, resultantes da descontinuidade de uma funo num ponto ou da existncia
de pontos isolados que no pertencem ao domnio, os alunos so confrontados com o
clculo das assmptotas do grco de uma funo.
Para determinarmos as assmptotas verticais do grco de uma funo f devemos
comear por calcular o seu domnio e, de seguida, identicar os pontos x = a tais
que a no pertence ao domnio, mas seu ponto de acumulao ou a pertence ao
domnio de f, mas a funo descontnua nesse ponto. Por m, calcular lim
xa
+
f(x)
e/ou lim
xa
_
1
x 3
x > 0,
x
4x
2
9
x 0.
2. y =
|x + 3|
x
4.2 Assmptotas de funes exponenciais e logartmi-
cas
Convm agora generalizarmos o clculo de assmptotas para funes no racionais.
Para tal vamos comear por analisar as funes exponenciais e logartmicas.
As funes a usar no devem, evidentemente, ser quaisquer. Se repararmos nos limites
a calcular para se obter m e b, facilmente se conclu que podem, eventualmente,
resultar indeterminaes que os alunos tm de resolver somente com a ajuda dos
limites notveis j referidos. Sendo assim, comeando pelas exponenciais, funes do
tipo
f(x) =
e
P(x)
Q(x)
,
com P(x) e Q(x) polinmios, podem ser usadas, bem como trocando o numerador com
o denominador, pois quer no clculo de m quer no clculo de b existe um limite notvel
que resolve o limite. No entanto, na medida em que o exerccio tambm pode pedir o
clculo de assmptotas verticais, os alunos podem-se confrontar com a necessidade de
resolverem a equao Q(x) = 0, pelo que car ao cuidado do utilizador adequar o grau
de Q(x) aos conhecimentos dos alunos. Podemos usar ainda funes da forma e
P(x)
,
em que P(x) pode ser uma funo polinomial ou racional, com coecientes inteiros, e
que se resolve, no caso do clculo de m e de P(x) tender para +, multiplicando e
dividindo por P(x) e aplicando um limite notvel.
51
Exemplo 4.3 Calcule as assmptotas do grco das funes:
1. f(x) =
e
3x+7
x
2
5x
2. f(x) =
x
3
27
e
4x9
3. f(x) = e
x
2
+7
3x5
4. f(x) = e
4x
5
3
2x
2
+3
Relativamente a funes logartmicas, partindo do limite notvel lim
x+
log x
x
= 0 e
eventualmente trocando o numerador com o denominador, podem ser usadas funes
do tipo
f(x) =
log P(x)
Q(x)
,
com P(x) e Q(x) polinmios. As indeterminaes que possam ocorrer no calculo de m
e/ou b resolvem-se, como j foi referido anteriormente, multiplicando e dividindo por
P(x) e usando um limite notvel e propriedades dos limites. Verica-se ainda que se
podem usar funes logartmicas com mdulos da forma f(x) = log |P(x)|, em que o
aluno tem que separar em dois ramos, tratando cada um como no caso anterior. Mais
uma vez se chama a ateno para o facto de ter de se restringir o grau dos polinmios
de acordo com os mtodos de resoluo e os conhecimentos do aluno.
Exemplo 4.4 Calcule as assmptotas do grco das funes:
1. f(x) =
log x
5
+ 3x
2
3x
2
7
2. f(x) =
3x
7
log x
3
+ 5
3. f(x) = log |6x 2|
Outro tipo de funo que possvel gerar, mas que tem um uso mais restrito, em
virtude de o estudo das suas assmptotas verticais resultar num limite que envolve
uma dupla mudana de varivel, :
f(x) = P(x) log P(x),
sendo P(x) uma funo qualquer. Para resolver, o aluno deve fazer a mudana de
varivel y = log(P(x)), donde resulta que y , e de seguida substituir y por y
para obter que y + de modo a poder usar o limite notvel.
Exemplo 4.5 Calcule as assmptotas do grco das funes:
52
1. f(x) = xlog x
2. f(x) = (x
2
2) log(x
2
2)
4.3 Assmptotas de funes irracionais
Um tipo de funes que tambm usado so as da forma
n
x
2. f(x) =
x
2
2
3. f(x) =
3
x
4
2x
4. f(x) =
4
_
3x
5
2x
3
7
3x 3
4.4 Assmptotas de funes trigonomtricas
Ao analisarmos a existncia de assmptotas no grco de funes trigonomtricas,
depara-mo-nos com os casos da tangente e da cotangente, em que aparece um grande
nmero de assmptotas verticais. Isto deve-se ao facto de no estarem denidas para
x =
/2 + k e x = k com k Z, respectivamente. Sendo assim podemos compor a
funo tangente e a cotangente com qualquer funo f, tendo em ateno que, para
existirem assmptotas verticais, j que, como veremos mais adiante, no vo existir
assmptotas no verticais, o seu contradomnio tem de conter algum ponto da forma
x
, g
2
(x) =
1
x
e g
3
(x) =
1
x
x
,
ento f tem uma assmptota oblqua em + (nomeadamente y = x) e cada g
i
tem
em + a assmptota horizontal y = 0, mas
1. f.g
1
no tem qualquer assmptota em +;
2. f.g
2
tem a assmptota horizontal y = 1 em +;
3. f.g
3
tem a assmptota horizontal y = 0 em +.
No que diz respeito s assmptotas verticais, podemos calcular as assmptotas da soma,
desde que o limite seja sempre + ou em todas as funes que formam a soma,
quando x tende para alguma da(s) assmptota(s) de cada funo (podendo, inclusive,
algumas das parcelas serem constantes), e do produto, a menos que o limite de alguma
das parcelas seja 0, quando x tende para alguma das assmptotas das funes que
constituem o produto.
A composio de funes tambm pode ser usada para gerar exerccios sobre assmp-
totas, pois, no caso de assmptotas no verticais, no vai haver qualquer alterao,
isto , se uma funo f tem uma assmptota no vertical direita e se temos uma
funo g tal que lim
x+
g(x) = +, ento a funo f g tem, direita, essa mesma
55
assmptota. O raciocnio e o resultado anlogo se a assmptota no vertical for
esquerda. Nas assmptotas verticais passa-se algo de bastante similar, embora haja
uma alterao na assmptota. Mais concretamente, se temos que uma funo f tem
uma assmptota em x = a, isto , lim
xa
f(x) = , e tambm que lim
xb
g(x) = a, ento
lim
xb
(f g)(x) = lim
xb
f(g(x)) = . Conclumos assim que a recta x = b assmptota
vertical de f g.
Vejamos agora alguns exemplos de funes que podem ser geradas usando processo. Se
usarmos a funo f(x) =
x
2
+ 1, que possui duas assmptotas no verticais y = x e
y = x, e a funo g(x) =
x
x+1
que tem uma nica assmptota no vertical esquerda
e direita, y = 1, ento podemos facilmente calcular as assmptotas no verticais da
funo (f + g)(x) =
x
2
+ 1 +
x
x+1
, obtendo, pelo que foi visto acima, y = x + 1 e
y = x + 1.
Quanto a assmptotas verticais, usando a funes f(x) =
1
x3
, que tem uma assmptota
vertical em x = 3, e g(x) =
_
x
x3
, que tambm tem uma assmptota vertical em x = 3,
conclumos que a funo (f +g)(x) =
1
x3
+
_
x
x3
tambm tem uma nica assmptota
vertical x = 3, pois o limite quando x tende para 3 em ambas as funes +. Para
o produto, podemos usar as funes f(x) =
x5
x
2
2x+1
e g(x) = log(x + 4), pois quando
a incgnita tende para alguma das assmptotas, neste caso 1 ou -1, o limite de ambas
as funes diferente de 0. Temos ento que a funo (f.g)(x) =
x5
x
2
2x+1
. log(x + 4)
vai ter duas assmptotas verticais: x = 1 e x = 1.
Relativamente composio de funes, quando abordamos o clculo de assmptotas de
funes trigonomtricas referimos vrios exemplos, tornando-se agora um pouco mais
claro todo o processo de criao dessas funes bem como de resoluo dos exerccios.
No entanto as funes trigonomtricas no so as nicas que se podem usar. Pegando
na funo f(x) =
x
x7
, que tem uma assmptota em x = 7 e compondo-a com a funo
g(x) = e
x
, resulta que (f g)(x) =
e
x
e
x
7
vai ter uma assmptota na soluo da equao
e
x
= 7, ou seja, em x = log 7.
Note-se que podemos ainda fazer combinaes que envolvam mais do que um dos
casos vistos. Por exemplo: considerando as funes f(x) =
x
3
x1
, g(x) = log x e
h(x) = x + 5, temos que f tem uma assmptota vertical em x = 1, g(e) = 1 e
lim
xe
h(x) = 0. Podemos ento pedir ao aluno que calcule as assmptotas verticais
da funo h(x).(f g)(x) =
(x+5)(log x)
3
log x1
, que a recta x = e, pelo raciocnio feito
anteriormente.
Com estes exemplos pretendemos mostrar como o computador pode, a partir de
funes mais simples criar exerccios mais complexos (sem serem necessariamente de
resoluo mais complicada), aumentando assim a diversidade de situaes que podem
ser propostas aos alunos sem sair fora do mbito dos seus conhecimentos.
56
Captulo 5
Concluses
Ao construir um exerccio que se adapte a determinado nvel de ensino, notamos que
temos de ter em conta os conhecimentos dos alunos que lhes permitem compreender
e resolver o problema. Sendo assim h que impor restries, nem sempre fceis
de identicar e implementar, que no tornem nem o enunciado nem a resoluo
em si demasiado articial e estranha ao aluno. Claro est ento que, apesar de
se pretender que a mquina gere exerccios aleatoriamente para conseguirmos mais
diversidade, o utilizador deve ter mecanismos de controlo para adaptar os exerccios
resultantes ao nvel de ensino que deseja. Note-se que os assuntos tratados neste
estudo, embora sejam dados no 12.
o
ano, so muitas vezes ainda abordados nos
primeiros anos de alguns cursos universitrios. No entanto, a adaptao possvel
alterando as restries pretendidas e fazendo, por exemplo, com que sejam usadas
funes trigonomtricas inversas.
J foi atrs referido que nem todos os assuntos tm uma resoluo algortmica dos
exerccios correspondentes, mas o que acontece tambm que muitos assuntos se
prestam a exerccios que se resolvem sempre da mesma forma, como por exemplo
os problemas de optimizao, em que o aluno tem de pr o problema em equao,
identicar a restrio, deduzir a funo a derivar e calcular mximos e mnimos, mas
que se baseiam muito na interpretao de enunciados, que tm de ser claros e com
termos que sejam entendidos pelos alunos. Estamos ento perante questes de ordem
semntica e de vocabulrio que saem do mbito deste trabalho.
Outro aspecto que importa realar o facto de o computador poder apresentar imedia-
tamente uma resoluo do exerccio, o que ajuda o aluno a perceber ideias algbricas e
mtodos (ver [7]) e, alm disso, identicar com relativa facilidade o passo do algoritmo
da resoluo do problema em que errou ou o obstculo que no conseguiu ultrapassar.
57
Referncias
[1] Michle Artigue, Learning Mathematics in a CAS Environment: The Genesis
of a Reection about Instrumentation and the Dialectics between Technical and
Conceptual Work, CAME 2001, Freudenthal Institute, University of Utrecht
[2] Robert K. Atkinson, Sharon J. Derry, Alexander Renkl e Donald
Wortham, Learning from Examples: Instructional Principles from the Worked
Examples Research, Review of Educational Research (RER), vol. 70, N
o
2
(Summer 2000)
[3] M.V. Belmonte, E. Guzmn, L. Mandow, E. Milln e J.L. Prez de
la Cruz Automatic generation of problems in web-based tutors, in L.C.
Jain, N.S. Ichalkaranje, R.J. Howlett e G. Tonfoni (Eds.), Virtual
Environments for Teaching and Learning Series on Innovative Intelligence 1,
World Scientic Publishing, New Jersey, December 2002
[4] Sharon J. Derry e Lori Adams DuRussel Assessing Knowledge Construc-
tion in On-Line Learning Communities, AIED99, Conference of the International
Society for Articial Intelligence in Education, July 1999 Lemans, France
[5] Shelley Goldman, Technology in the Mathematics Classroom: Guidelines
from the Field, ERIC Clearinghouse on Information and Technology, Syracuse
University, Winter 2001, vol. 22, no. 2
[6] M. Kathleen Heid, Theories that Inform the Use of CAS in the Teaching and
Learning of Mathematics, IJCAME vol. 9, no. 2, 2002
[7] Yasuto Kajiwara, Hitoshi Nishizawa e Takayoshi Yoshioka, Eect-
tivness of the hints given at a WWW-based On-line Exercise System, Toyota
National College of Technology
[8] Jack McGourty, Using Multisource Feedback in the Classroom: A Computer-
Based Approach, IEEE Transactions on Education, vol. 43, N
o
2 (May 2000)
[9] Manuel Meirinhos, http://www.ipb.pt/~meirinhos/soft.doc
[10] Lisa Denise Murphy, Computer Algebra Systems in Calculus Reform, http:
//www.mste.uiuc.edu/users/Murphy/Papers/CalcReformPaper.html
58
[11] Maria Augusta Ferreira Neves, Matemtica 12.
o
Ano, Porto Editora, 2000
[12] Maria Augusta Ferreira Neves e Maria Lusa Monteiro Faria,
Exerccios Matemtica 12.
o
Ano, Porto Editora, 2000
[13] Roy D. Pea, Cognitive technologies for mathematics education, in Alan Scho-
enfeld, Cognitive Science and Mathematics Education, Hillsdale, NJ: Lawrence
Erlbaum Associates
[14] Werner Peschek e Edith Schneider CAS and Communication With
Experts, University of Klagenfurt, Austria http://ltsn.mathstore.ac.uk/
came/events/freudenthal/3-Peschek-Schneider.pdf
[15] Dick Pountain, Constraint Logic Programming, Byte (February 1995)
[16] Ingrid M. Rewitzky, Towards Automated Testing, Department of Mathe-
matics and Applied Mathematics, University of Cape Town, South Africa
[17] Marcelle Siegel e outros, Promoting Teachers Flexible Use of the
Learning Sciences through Case-Based Problem Solving in the WWW: A The-
oretical Design Approach, STEP Project Group, National Institute for Science
Education, University of Wisconsin-Madison
[18] Michael Spivak, Calculus (third edition), Publish or Perish, Houston, 1994
[19] Ana Paula Toms e Jos Paulo Leal, A CLP-based tool for computer
aided generation and solving of maths exercises, in V. Dahl and P. Wadler
(Eds.), Practical Aspects of Declarative Languages, Lecture Notes in Computer
Science 2562, Springer-Verlag, New York, 2003
[20] Ana Paula Toms e Pedro Vasconcelos, Generating Mathematics exer-
cises by computer, Technical Report Series: DCC0106
59