TCC Estudo de Conversao e Coodenacao de Registros de Represetacao o Caso de Integrais Multiplas VICTOR

UNIVERSIDADE ESTADUAL DE SANTA CRUZ-UESC
DEPARTAMENTO DE CI
ENCIAS EXATAS E TECNOL
OGICAS-DCET
COLEGIADO DO CURSO DE LICENCIATURA EM MATEM
ATICA
TRABALHO DE CONCLUS
AO DE CURSO
ESTUDO DE CONVERS
AO E COORDENAC

AO DE
REGISTROS DE REPRESENTAC

AO:
o caso de calculo de volumes por integrais m ultiplas
1
Victor Mielly Oliveira Batista
2
victormielly@hotmail.com
1 Resumo
A Geometria Analtica (GA) e uma das areas da Matematica constituda de objetos que
exercem diversas func oes na ecologia de outras areas da propria Matem atica, bem como
de areas a ns, em particular do ensino do calculo de Integrais M ultiplas (IM). Contudo,
muitos alunos chegam ao ensino desse ultimo com diversas diculdades, justicadas pelo
esquecimento dos conhecimentos adquiridos em GA. Alem disso, o ensino de GA tambem
n ao coloca em evidencia as possveis fun coes que seus objetos podem exercer no ensino
das IM. Todavia, esse ultimo, alimenta-se via representa cao gr aca dos conhecimentos
provenientes da GA, principalmente na visualiza cao gr aca de superfcies no espa co tridi-
mensional. Nesse ambito, no presente trabalho investimos no estudo das possveis relac oes
existentes entre a GA e o c alculo de IM, colocando em evidencia os registros de repre-
sentac ao predominantes nessa relac ao, com enfase no c alculo de volume por IM e para
isso nos baseamos na Noc ao de Registros de Representac ao Semiotica proposta por Duval
em 1995. Para melhor compreensao dessa relac ao nos propomos ainda estudar as tecnicas
instrumentais utilizadas em um ambiente computacional, como o Maple 12, a favor da
GA e das IM, e nos baseamos na Teoria da Instrumentac ao proposta por Rabardel em
1995 e na Teoria Antropol ogica do Did atico proposta por Chevallard em 1992.
2 Introducao/Problematica
O presente trabalho e fruto de nossos estudos desenvolvidos em dois trabalhos de ini-
ciac ao cientca na UESC em dois anos consecutivos enquanto bolsista CNPq/UESC. A
1
Elaborado como requisito para a conclusao do curso de Licenciatura em Matematica, sob orienta cao
do Prof. Dr. Afonso Henriques (DCET/UESC), lder do Grupo de Pesquisa em Ensino e Aprendizagem
da Matematica em Ambiente Computacional (GPEMAC).
2
Estudante do curso de Licenciatura em Matematica da Universidade Estadual de Santa Cruz (UESC)
e integrante do (GPEMAC)/DCET/UESC.
1
primeira, de 2009/2010 tratou do estudo de c alculo de areas por integrais, envolvendo o
ambiente computacional Maple e das praticas de estudantes da UESC em relac ao o calculo
de area por integral, e a segunda no perodo de 2010/2011 concentrou as atividades no
estudo de c alculo de integrais m ultiplas envolvendo o estudo do ambiente computacio-
nal Maple. Ambos os projetos despertam uma curiosidade no que diz respeito ao papel
que os objetos matem aticos exercem na evoluc ao ou sobrevivencia de diferentes domnios
da matematica. Em particular, no que diz respeito a Geometria Analtica e o Calculo
Diferencial e Integral, em especial, no calculo de volumes por integrais m ultiplas, des-
tacamos uma forte relac ao dos objetos do primeiro domnio (GA) com o segundo (IM).
Nessa relac ao, as representacoes gr acas de superfcies de equac oes conhecidas, ocupam
um espaco signicativo, e ao mesmo tempo problem atico no desenvolvimento de praticas
institucionais em torno das praxeologias das IM, na medida em que n ao s ao colocados
em evidencia as tecnicas de realizac ao. Com efeito, diversas diculdades s ao notadas na
aprendizagem dos estudantes que nao conseguem usufruir os conhecimentos anteriormente
adquiridos no estudo da Geometria Analtica.
Alem da representac ao gr aca, notamos quatro registros de representac ao (no primeiro
projeto de IC-2009/2010) predominantes na organiza cao do ensino de integrais. Mas, a
passagem de um registro para o outro e muito menos a coordenac ao entre os mesmos nao
e colocada em evidencia nesse ensino.
Assim, nesse trabalho, estudamos as possveis rela coes existentes entre os objetos da geo-
metria analtica e o calculo de volume por integrais m ultiplas, colocando em evidencia as
relac oes entre a representac ao graca e analtica no processo de c alculo de volumes por
integrais m ultiplas, contando com os recursos do ambiente computacional Maple. Dessa
forma, encontramos uma fundamentac ao na Teoria da Instrumentacao proposta por Ra-
bardel em 1995, questionando-nos sobre as tecnicas instrumentais que esse ambiente pode
proporcionar no tratamento de conhecimentos das IM e GA e com que modalidade de
ensino. Ora, como os objetos que nos referimos sao institucionais, recorremos tambem a
Teoria Antropol ogica do Didatico desenvolvida por Chevallard em 1992, questionando-nos
sobre a organizac ao proposta para o ensino das IM, particularmente, nos cursos de Ma-
tem atica da UESC (Bacharelado e Licenciatura) enquanto instituic ao de referencia. Alem
disso, o acesso aos conhecimentos matem aticos, em particular, das IM, passa pela mani-
pulac ao de objetos ostensivos e n ao-ostensivos atraves de registros. Nesse contexto, en-
contramos ainda uma fundamenta cao na No cao de Registros de Representac ao Semi otica,
proposta por Duval em 1995. Essas tres teorias constituem o quadro teorico que apresen-
tamos a seguir.
3 Quadro Teorico
3.1 Teoria da Instrumentacao
Esta teoria desenvolvida por Rabardel em 1995 refere-se ` a aprendizagem da utilizac ao de
ferramentas tecnol ogicas, e tem como ponto de partida a ideia de que uma ferramenta
(artefato) nao e automaticamente um instrumento ecaz. A passagem da ferramenta
` a instrumento e um processo complexo que est a fortemente ligado ` as caractersticas do
artefato. Por exemplo, um martelo e uma ferramenta sem utilidade, salvo a partir do
2
momento em que o utilizamos para inserir, moldar ou aprofundar. Dessa forma, o mar-
telo passa a ser um instrumento util. O processo de aprendizagem em que um artefato
torna-se progressivamente um instrumento e denominado genese instrumental. O sujeito
precisa desenvolver competencias para saber identicar se um dado instrumento e adap-
tado para resolver o problema ou tarefa inicialmente selecionada pelo sujeito. De acordo
com Rabardel apud Henriques, Attie e Farias (2007),
no que se refere à formacao em geral e ao ensino em particular, propos essa
teoria como uma abordagem para a modelizac ao didatica, onde essencialmente
distingue ferramenta (artefato) como o que e dado ao sujeito de instrumento,
que e construdo pelo sujeito. Esta construc ao ou genese instrumental, e um
processo complexo aliado ` as caractersticas do artefato suas potencialida-
des e suas limitac oes e ` as atividades do sujeito seus conhecimentos, suas
experiencias anteriores e suas habilidades.
Assim, no presente trabalho a ferramenta e um software matem atico, como o Maple, com
intuito de estudarmos objetos Matem aticos como integrais envolvendo sujeitos da insti-
tuic ao onde esse objeto e reconhecido, destacando assim algumas atividades com base na
an alise praxeol ogica que nos referimos mais adiante.
Para a analise de atividades Rabardel prop oe o modelo SAI (Situac ao de Atividades
Instrumentais), e evidencia as m ultiplas relac oes que intervem nas atividades instrumen-
tais (atividades realizaveis por meio de um instrumento). Isto e, considera alem da in-
terac ao sujeitoobjeto [SO], sujeitoinstrumento [Si] e o instrumentoobjeto [iO],
a relacao sujeitoobjeto mediado pelo instrumento [S(i)O], como ilustra a gura 1.
Esse modelo permite estudar processos de aprendizagem ligados ao artefato seja na ins-
trumentacao orientada a constituic ao de esquemas de utilizac ao, seja na instrumenta-
lizacao que se refere à emergencia das propriedades funcionais e estruturais do artefato.
Figura 1: Modelo SAI (Situacoes de Atividades Instru-
mentais)
Nesse trabalho, o sujeito s ao alunos
do curso de Matematica da UESC, o
instrumento e o software Maple e o
objeto e o Calculo de Volumes por
Integrais M ultiplas-CAVIM reconhe-
cido institucionalmente pelo curso de
matem atica da UESC, enquanto ins-
tituic ao de referencia. Esse reconhe-
cimento sugere recorrermos a Teoria
Antropol ogica do Did atico que apre-
sentamos resumidamente como se-
gue.
3.2 Teoria Antropologica do Didatico
Essa teoria foi proposta por Chevallard (1992) considerando a didatica como objeto de
estudo, a m de estudar, por exemplo, o aluno diante de um determinado problema.
E uma teoria que consiste no prolongamento da transposicao did atica. De acordo com
Henriques, Attie e Farias (2007):
3
essa teoria considera os objetos matem aticos, nao como existentes em si, mas
como entidades que emergem de sistemas de praticas que existem em da-
das instituic oes. Esses sistemas ou praxeologias sao descritos em termos de
exerccios especcos daquele objeto, das tecnicas que permitem resolve-los,
e atraves dos discursos que servem a explicar e justicar as tecnicas. Essas
tecnicas podem ser caracterizadas do ponto de vista instrumental.
O ponto de partida dessa teoria e que tudo e objeto, e distingue alguns tipos de objetos
especcos que s ao: Instituic ao (I), Objeto do saber (O) e Pessoa (X) e as posic oes que
estas ocupam nas instituic oes. Dependendo da posi cao de X na instituic ao, este ultimo
pode se tornar sujeito ativo da instituic ao que contribui para existencia de I.
Para Chevallard, um objeto O do saber existe no momento que uma pessoa X ou uma
instituic ao I o reconhece como existente. A rela cao entre I, X e O, que s ao os termos
primitivos da teoria se d a como segue: Um objeto O existe por uma pessoa X, se existe
uma relacao entre a pessoa e o objeto, denotado por R(X, O). O reconhecimento do objeto
pela institui cao e denotado por R(I, O), garantindo que O e um objeto da instituic ao I.
Nesse contexto, nosso interesse foi estudar as relacoes com alunos X da instituic ao I (cursos
do DCETUESC) considerando como objeto de estudo o CAVIM. Essas relac oes tambem
podem ser representadas da seguinte maneira:
R(X,O) relac ao pessoal de X ` a O X conhece O
R(I,O) relac ao institucional de I ` a O I reconhece O.
Esse reconhecimento passa pelos registros ociais, como o Projeto Academico da insti-
tuic ao onde se ensina o objeto O. Como visto acima, todo saber e ligado a uma instituic ao
e a relac ao R(X,O) ocorre no momento em que X entra na instituic ao I onde vive O. Por-
tanto, do ponto de vista dessa teoria, consideramos o C alculo de Volumes por Integrais
M ultiplas CAVIM como objeto O, e o curso de matem atica como a instituic ao I com o
intuito de vericar a existencia ou n ao da relac ao R(I,O).
Suponha agora que o instrumento (denotado pela letra i) ao qual se refere Rabardel na
teoria da instrumentac ao seja reconhecido pela instituicao I onde existe a rela cao R(I,O),
e que em I o objeto O tambem seja trabalhado por tecnicas instrumentais ou por tecnicas
tradicionais utilizando o ambiente papel/lapis. Assim, podemos falar da relac ao instituci-
onal e pessoal ao instrumento i. A gura 2 ilustra perfeitamente essas relac oes. Portanto,
quando i se torna um objeto da instituic ao I, a teoria da instrumenta cao e a teoria an-
tropologica do Did atico tornamse ntimas. Da, podemos falar do estudo das rela coes
institucionais ao CAVIM utilizando o ambiente computacional como o Maple, que de-
notamos por R[I,(i,O)]. De maneira an aloga, como a pessoa X inserida na institui cao I
reconhece o objeto O, existe a rela cao entre X e i, denotada por R(X,i), assim, podemos
falar da relac ao R(X,O) mediada pelo instrumento i, que denotamos por R[X,(i,O)], ou
seja:
R[I,(i,O)] relacao institucional ao instrumento: se i e O se encontram na instituic ao
I em torno do ensino e aprendizagem de O com i.
R[X,(i,O)] relac ao pessoal de X a O por mediac ao do instrumento i.
4
Uma das vertentes interessantes dessa teoria refere-se ao estudo da maneira como os obje-
tos O se organizam nas instituic oes. Nessa organizac ao, se prop oe estudar as praxeologias
que podem se construir numa sala de aula considerando quatro nocoes fundamentais que
s ao: Tipo de Tarefas T, Tipo de Tecnicas , Tecnologia e a Teoria , que
juntas comp oe uma praxeologia completa [T///] e podem se decompor em dois blo-
cos que s ao: [T/] que constitui o saber fazer [praxe] e [/] que constitui o bloco do
ambiente tecnol ogico te orico [logos].
Figura 2: Modelo SAI relacionado
à Teoria Antropologica do Didatico
Uma Tarefa T e um problema ou exerccio iden-
ticado numa praxeologia que pode ser realizado
utilizandose a tecnica justicada por uma
tecnologia (discurso racional que justica que a
tecnica permite realizar a tarefa T), esta por sua
vez e justicada pela teoria , onde e construda
essa tarefa.
A abordagem praxeologica e, portanto um mo-
delo para an alise da ac ao humana institucional.
A implementac ao de uma tecnica para resolver
um tipo de exerccio/tarefa e justicada pela ma-
nipulac ao de objetos ostensivos e objetos nao-
ostensivos.
ostensivos s ao todos os objetos que tem uma natureza sensvel, uma certa materia-
lidade que, com efeito, adquirem para o sujeito uma realidade perceptvel.
nao-ostensivos s ao objetos que existem institucionalmente sem poderem ser vistos ou
mostrados por si e s o podem ser resgatados com a manipulacao de objetos ostensivos.
Por exemplo, escrever a integral
_
2
0
_
0
_
1
0

2
sin ddd =
4
3
pode ser visto como uma
simples manipulac ao de objetos ostensivos, no entanto, para realizacao desse calculo, e
preciso a manipulacao de objetos nao-ostensivos, como a noc ao de integrais triplas.
Assim, podemos nos questionar sobre a forma como os estudantes podem se apropriar
desses objetos. Em nossa pesquisa evidenciamos o Calculo de Volumes por Integrais
M ultiplas-CAVIM a partir da mobilizac ao de diversos registros destacando como tais
registros interagem nas praticas institucionais. Desta forma, recorremos a Teoria dos
Registros de Representacao Semi otica que apresentamos a seguir.
3.3 Nocao de Registros de Representacao Semi otica
Essa teoria foi proposta por Duval em 1995, que sustenta que na matem atica os objetos
n ao s ao acessveis, a n ao ser, atraves de suas representac oes. Uma expressao, uma nocao,
um smbolo representam objetos matematicos tais como: um n umero, uma func ao, um
ponto, um crculo, o que signica dizer que os objetos n ao devem ser confundidos com suas
representa coes. Toda confus ao implicar a numa perda de compreens ao tornando os conhe-
cimentos adquiridos em conhecimentos inutiliz aveis no seu contexto de aprendizagem.
Esses princpios levaram Duval a se interessar pelo estudo de representac oes semioticas
5
de objetos matem aticos.
Representa cao semi otica e uma representac ao construda a partir da mobilizac ao de um
sistema de sinais. Sua signicacao e determinada, de um lado, pela sua forma no sistema
semi otico e de outro lado, pela referencia do objeto representado.
Uma gura geometrica, um enunciado em lngua materna, uma f ormula algebrica ou uma
representa cao gr aca, por exemplo, s ao representac oes semioticas que revelam sistemas
semi oticos diferentes. O tratamento dos objetos matem atico depende, portanto, das pos-
sibilidades de suas representa coes.
Duval distingue tres atividades cognitivas fundamentais ligadas aos registros de repre-
sentac oes: A formacao, o tratamento e a conversao.
A formacao de uma representac ao semi otica e baseada na aplicacao de regras de
conformidade e na selecao de certas caractersticas do conte udo envolvido. Por
exemplo: composic ao de um texto, desenho de uma gura geometrica.
O tratamento de uma representac ao e a transformacao desta representa cao no mesmo
registro onde foi formada, ou seja, uma transformac ao interna num registro.
A conversao de uma representac ao e a transforma cao desta representac ao numa
representa cao de outro registro.
No entanto, dispor de v arios registros de representac ao nao e suciente para garantir a
compreens ao de um determinado objeto, da, uma outra condic ao torna-se necess aria, que
e a coordenacao entre os registros de representacao, ou seja, o sujeito deve ser capaz de
observar em dois ou mais registros distintos o mesmo objeto. Assim, a coordenacao e
fundamental para qualquer tipo de aprendizagem.
As tres teorias que acabamos de apresentar se articulam, na medida em que o objeto de
estudo que nos referimos e um elemento institucional, e apresenta multiplicidade de regis-
tros de representac ao cujas intera coes entre estes podem ser mobilizadas com auxlio de
um software, como Maple, enquanto instrumento na realizac ao das pr aticas institucionais.
Assim, apresentamos a seguir uma an alise institucional em torno do objeto de estudo em
quest ao, a partir dos elementos institucionais que destacaremos mais adiante.
4 Analise Institucional
Inicialmente descreveremos o que entendemos por instituicao de referencia. Sabemos
que o processo ensino/aprendizagem envolve diversos elementos que intervem do sistema
social de ensino necess ario para a formac ao do cidad ao historicamente situado. Segundo
Henriques (2011), tais elementos constituem uma instituic ao. Para ele, uma instituic ao de
referencia deve satisfazer pelo menos um dos elementos evidenciados no quadro 1 seguinte.
O termo referencia e sugestivo, na medida em que identica, de fato, o local institucional da
realizac ao de uma pesquisa. Nesse trabalho consideramos como instituic ao de referencia os
cursos de Matematica da Universidade Estadual de Santa Cruz (UESC). Nessa institui cao
nos interessamos, particularmente com an alise do Projeto Academico Curricular (PAC),
6
Quadro 1: Elementos constituintes de uma instituicao
os livros didaticos, os alunos e as tecnologias, enquanto elementos institucionais. Pois,
segundo Henriques (2011), uma an alise institucional e
Um estudo realizado em torno de elementos institucionais, a partir de inqui-
etac oes/quest oes levantadas pelo pesquisador no contexto institucional corres-
pondente, permitindo identicar as condic oes e exigencias que determinam,
nessa instituic ao, as relac oes institucionais e pessoais a objetos do saber, em
particular, os objetos matem aticos, as organizac oes ou praxeologias desses
objetos que intervem no processo ensino/aprendizagem.
Nesse ambito, podemos nos questionar: o que a instituicao de referencia propoem relati-
vamente ao ensino e aprendizagem de CAVIM? Que lugar ocupa esse ensino relativamente
aos demais objetos de estudos propostos no PAC dessa instituic ao? Qual a sua func ao
nessa posicao? E como e organizada? Ou seja, qual e a praxeologia do PAC nessa insti-
tuic ao? Quais sao as praticas desenvolvidas por estudantes, em torno desse objeto nessa
instituic ao, seja no ambiente papel/l apis quanto computacional?
Para buscar respostas a essas quest oes, nos propomos ent ao a analisar o PAC, os livros
did aticos, as tecnologias (nesse caso) o Maple enquanto instrumento e as pr aticas dos
estudantes. Essas ultimas pr aticas, sugerem a organizac ao de uma sequencia didatica em
torno do CAVIM, com base na analise praxeol ogica.
4.1 Projetos Academicos Curriculares (PAC)
Os PAC dos cursos de Matem atica (licenciatura e bacharelado) da UESC, enquanto ins-
tituic ao de referencia colocam em evidencia a importancia da matem atica na vida socio-
econ omica e socio-cultural do indivduo, e caracteriza a matem atica como uma das criacoes
not aveis do ser humano, e propoe uma quantidade signicativa de disciplinas que o in-
divduo que entra nessa instituic ao deve cursar, a m de obter uma de suas formac oes.
Dentre essas disciplinas, nos interessamos em analisar particularmente as praxeologias pro-
postas na disciplina Calculo Diferencial e Integral, e a partir dessa elaborar uma sequencia
did atica.
Constatamos nos PAC que essa disciplina e subdividida em tres na licenciatura e em
quatro no bacharelado, como mostra a tabela 1.
Para cursar essas disciplinas o aluno precisa passar por uma serie de pre-requisitos ne-
7
Tabela 1: Calculo Diferencial e Integral nos cursos de Matematica da UESC
Bacharelado Licenciatura
C alculo I C alculo Diferencial e Integral I
C alculo II C alculo Diferencial e Integral II
C alculo III C alculo Diferencial e Integral III
C alculo IV
cess arios para a compreens ao destas, dentre esses pre-requisitos constamos que a Geome-
tria Analtica ocupa um lugar signicativo relativamente ` as ementas desses c alculos, onde
identicamos assuntos como: Limite e continuidade de func oes, derivada e aplicac oes;
Derivada das func oes algebricas, trigonometricas, logartmicas; maximos e mnimos; In-
tegral indenida; Antidiferenciac ao; Integral Impropria; Integral Denida; Aplicacoes;
Metodos de Integrac ao; Seq uencias Numericas; Series Numericas; Funcoes de varias
vari aveis; Limite; Continuidade, derivadas parciais, Gradiente; M aximos e Mnimos; In-
tegrais M ultiplas (duplas e triplas); Aplicac oes; Integrais de linha (teorema de Green).
Como veremos mais adiante, o C alculo de Volumes por Integrais M ultiplas (CAVIM) en-
contra um lugar no C alculo Diferencial e Integral III na licenciatura e no Calculo IV no
bacharelado.
Assim, podemos observar que o CAVIM e um objeto reconhecido institucionalmente pela
UESC, em particular, pelo curso de matem atica, e portanto, torna-se necess ario o estudo
de suas pr aticas de ensino.
Para compreendermos melhor as praxeologias propostas nessas disciplinas, nos propomos
em analisar alguns livros.
4.2 Analise dos Livros Didaticos
O PAC que acabamos de apresentar, sugere v arias referencias que podem ser usadas pelo
professor e estudante no processo ensino e aprendizagem do CAVIM. Dentre estes nos
interessamos, particularmente, pelos livros que listamos na tabela 2 seguinte.
Tabela 2: Livros escolhidos para analise institucional
C odigo
associado
Referencia do livro
Ttulo, autor, (tradutor) edic ao, editor, ano de edicao
P/n
SWOK
Calculo com Geometria Analtica. SWOKOWSKI, Earl
William. Traduc ao Alfredo Alves de Faria. 2a ed. Vo-
lume II, S ao Paulo Makron Books, 1994.
100/756
LEITH
O Calculo com Geometria Analtica. LEITHOLD,
Louis. 3
a
ed. Volume II, Editora: HARBRA Ltda, Sao
Paulo, 1994.
49/518
Nos preocupamos em apresentar inicialmente a estrutura organizacional global de um des-
ses livros, destacando os objetos de estudo propostos em cada captulo, onde destacamos
a estrutura organizacional do SWOK, identicando o local de vida das Integrais M ultiplas
8
(IM) e vericando quais s ao os objetos com os quais as IM interagem. N ao nos detemos
em apresentar a essa mesma estrutura em relac ao ao segundo livro (LEITH), na medida
que ambos revelam uma praxeologia analoga. Na tabela 2, (P/n) corresponde ao espaco
ou lugar de vida das IM, onde P indica o n umero de paginas ocupadas por esse objeto de
estudo, e n o n umero total de p aginas do livro.
4.3 Analise Swokowski
Como podemos observar na tabela 3, alem do apendice e da parte reservada para res-
postas de exerccios de n umeros mpares, ocupando 32 e 48 p aginas respectivamente, esse
livro livro e organizado com 19 captulos, 66 sessoes e ocupa um volume total de 756
p aginas. Nessa organiza cao constatamos que as integrais m ultiplas enquanto constituinte
de praxeologias para CAVIM, encontra um espaco ideal no captulo 17 (cf. tabela 3)
ocupando 9 sess oes em 100 paginas. Nessa praxeologia, percebemos uma forte ligacao das
Integrais M ultiplas-IM, com o ensino da Geometria Analtica-GA, proposta no captulo
12. Essa posicao nos faz entender que antes do ensina das IM, o sujeito deve estabelecer
uma rela cao institucional s olida com o estudo de GA, que prop oe uma praxeologia em
torno de registros algebricos e geometricos de par abolas, elipses, hiperboles e rotacao de
eixos coordenados. Alem da GA, constatamos ainda que o estudo das derivadas parciais
(cf. 16) e organizada com o estudo de representacao graca de funcoes em tres dimens oes,
que vao posteriormente subsidiar (alimentar) o estudo das IM. Na organizacao do livro o
autor deixa uma margem a esquerda para evidenciar registros gr acos e inicia o livro com
algumas Formulas de derivadas e de integrais, f ormulas de geometria, algebra, geometria
analtica e trigonometria.
Tabela 3: Organizacao global do Swokowski
Cap Captulos Sec oes P aginas
- F ormulas de Derivadas e F ormulas de Integrais - 01
- F ormulas da Geometria - 02
-

Algebra - 01
- Geometria Analtica - 01
- Trigonometria - 01
11 Series Innitas 10 110
12 T opicos de Geometria Analtica 04 48
13 Curvas Planas e Coordenadas Polares 05 52
14 Vetores e Superfcies 06 78
15 Func oes com valores Vetoriais 06 56
16 Diferenciacao Parcial 09 114
17 Integrais M ultiplas 09 100
18 C alculo Vetorial 07 78
19 Equac oes Diferenciais 06 40
- Apendice 04 32
- Respostas de Exerccios de N umero

Impar - 48
Total 66 756
Cada captulo e dividido em sess oes, cujo nal de cada sessao contem exerccios propostos,
9
e desses possuem solucoes apenas os n umeros mpares no nal do livro. Cada sess ao e
organizada da seguinte maneira:
Conte udo
Exemplos
Exerccios propostos
Esta e uma organizac ao did atica bastante classica. Alem disso, com essa organizac ao
constatamos que o incio de um novo conte udo come ca nesse livro com o ttulo da nova
sess ao, onde sao evidenciados exemplos com soluc oes detalhadas, revelando tecnicas es-
peccas para resolu cao dos exerccios propostos, que aparecem sistematicamente no nal
de cada sess ao.
A tabela a seguir, apresenta a estrutura organizacional local dos captulos 12 e 17 e suas
respectivas sessoes onde evidenciamos a quantidade de Denic oes-Def; Teoremas-Teo;
Corol arios-Cor; F ormulas-For; Exemplos-Ex; Quantidade de Exerccios-Qex; Pacotes de
Exerccios-Pac; e o N umero de p aginas de cada sessao-Pag. Nos entendemos por Paco-
tes de Exerccios como sendo o conjunto de exerccios que requerem a mesma tecnica ou
estrategia para sua realiza cao. As tabelas 4 e 5 trazem, respectivamente, os objetos de
estudos destacados na organizac ao de GA e de IM nesse livro. Em todas as sess oes do
Tabela 4: Organizacao das secoes do captulo 12 do Swokowski
Sec oes Ttulo Def Teo Cor For Ex Qex Pac Pag
12.1 Par abolas 01 - - 01 06 43 05 15
12.2 Elipses 02 02 - - 07 46 06 12
12.3 Hiperboles 01 02 - - 06 46 07 13
12.4 Rotac ao de Eixos - 02 - 01 04 16 02 06
Exerccios de Revis ao - - - - - 40 04 02
Total 04 06 - 02 23 191 24 48
captulo 12, as representac oes algebricas e geometricas de par abolas, elipses, hiperboles e
rotac oes de eixos coordenados, sao apresentadas de maneira independente e raramente e
pedida a obtenc ao de areas recorrendo ` as integrais simples, sendo que todo esse captulo
limita-se apenas ao plano xy, nao mencionando como os gr acos construdos se compor-
tam no espa co tridimensional.
Notamos, nas sessoes de ambos os captulos (12 e 17) que na maioria dos casos, o autor
recorre aos gr acos construdos na margem esquerda do livro. No entanto, nao evidencia
a maneira como tais gracos sao construdos, o que nos permite questionar como sao
construdos estes gr acos no ambiente computacional? Essas constru coes s ao evidentes?
Que tipo de tecnicas s ao necess arias?
Na resolucao de cada exemplo encontrado nesse livro, o autor sempre apresenta um
gr acodo s olido correspondente sem evidenciar as tecnicas necessarias para a obtenc ao
desse tipo de s olido. A ttulo de ilustrac ao, vejamos o exemplo extrado na p agina 504 do
Swokowski (1994).
10
Tabela 5: Organizacao das secoes do captulo 17 do Swokowski
Sec oes Ttulo Def Teo Cor For Ex Qex Pac Pag
17.1 Integrais Duplas 06 02 - - 07 54 10 15
17.2

Area e Volume 02 - - - 04 34 08 12
17.3 Integrais Duplas em
Coordenadas Polares
- 02 - 01 05 34 06 09
17.4

Area de uma Su-
perfcie
01 - - 01 02 16 06 04
17.5 Integrais Triplas 01 02 - 03 07 36 09 14
17.6 Momentos e Centros
de Massa
01 01 - 03 07 32 09 10
17.7 Coordenadas
Cilndricas
- 02 - - 06 40 05 10
17.8 Coordenadas
Esfericas
- 02 - - 06 42 07 09
17.9 Mudanca de Vari avel
e Jacobianos
02 02 01 01 06 38 08 14
Exerccios de Revis ao - - - - - 53 14 03
Total 20 13 01 09 50 379 82 100
Ache o volume da regi ao Q delimitada pelos gr acos de z = 3x
2
, z = 4 x
2
, y = 0
e z + y = 6
O autor inicia o texto armando: conforme a gura 17.43(i), Q esta sob o cilindro z =
4 x
2
, sobre o cilindro z = 3x
2
, à direita do planoxz e à esquerda do plano z + y = 6
[. . .]. A gura 17.43(ii) ilustra a regiao R no planoxz. Aplicando 17.20, temos
V =
_ _ _
Q
dV =
_
1
1
_
4x
2
3x
2
_
6z
0
dydzdx
=
_
1
1
_
4x
2
3x
2
[y]
6z
0
dzdx
=
_
1
1
_
4x
2
3x
2
(6 z)dzdx
=
_
1
1
_
6z
z
2
2
_
4x
2
3x
2
dx
=
_
1
1
(16 20x
2
+ 4x
4
)dx
=
304
15
20, 3
O autor naliza esse exemplo, questionando o leitor sobre a ordem de integracao. Assim,
na pagina 504 desse livro podemos ler: Se tivessemos tomado uma ordem diferente de
integracao, teriam sido necessarias varias integrais triplas. (Voce ve a razao disto?).
A aplicac ao 17.20 citada pelo autor, e um teorema de calculo que evidencia a seguinte
11
igualdade:
_ _ _
Q
f(x, y, z)dV =
_
b
a
_
h
2
(x)
h
1
(x)
_
k
2
(x,z)
k
1
(x,z)
f(x, y, z)dydzdx
Assim podemos destacar os seguintes tipos de registros de representacao encontrados na
praxeologia de tarefas (exemplos) realizadas nesse livro, sem falarmos dos exerccios pro-
postos que se encontram sistematicamente no nal de cada sessao: Linguagem Materna
(LM), Registro Algebrico (RAl), Registro Analtico (RAn), Registro Graco (RG) e o Re-
gistro por Integral (RI). No exemplo evidenciado acima, se faz presente de modo explcito
quatro desses registros, a saber LM, RAl, RG e RI, enquanto que RAn e empregado im-
plicitamente, em quase todos os exemplos do Swokowski. Esses tipos de registros evoluem
de modo an alogo na parte Curso de estudo das integrais do Leithold.
Para auxiliar o leitor na interpretac ao das nossas analises, e fundamental explicitarmos
o que entendemos por cada registro citado acima. Ao falarmos da linguagem materna,
estamos nos referindo à representac ao de conhecimentos na linguagem natural (lngua
portuguesa, por exemplo). Em relac ao ` as praticas institucionais, observamos tarefas re-
presentadas total ou parcialmente por um texto explicitando o que deve ser efetuado com
base nas tecnicas institucionais identicadas na organizac ao praxeologica correspondente
a tarefa em questao. O Registro algebrico consiste na representacao algebrica dos objetos
que compoem a tarefa, por exemplo, o plano de equac ao z +y = 6 na tarefa que acabamos
de analisar. O Registro analtico corresponde ` a representacao dos objetos ou da situac ao
em questao em um domnio restrito de validade em qualquer dimensao de representacao.
Um ret angulo, por exemplo, e um objeto bidimensional constitudo por um conjunto de
pares ordenados, podendo ser representado analiticamente por
R = {(x, y); a x b, c y d}
onde a, b, c e d s ao constantes. O registro graco consiste na representacao gr aca de ob-
jetos no espaco correspondente. O registro integral, por sua vez, consiste na representac ao
12
da expressao algebrica da integral, seja denida ou indenida.
O exemplo 4 da p agina 504 do Swokowski que analisamos acima e um tipo de exemplo em
que identicamos os registros: gr aco, algebrico, integral e linguagem materna. Somente
o registro analtico n ao se fez presente de forma explcita na resolucao exposta pelo livro,
e este que consideramos fundamental para entendimento do calculo de volumes por inte-
grais, seja por integrais simples ou m ultiplas. Pois e nesse registro que revela de forma
explcita os limites de integrac ao.
Assim, como podemos observar na tabela 6, quase todas as tarefas correspondentes a
praxeologia de integrais valorizam todos os registros considerados acima, menos o registro
analtico que aparece de maneira implcita no processo heurstico de c alculo de integrais.
Portanto, a representac ao analtica e a menos evidenciada nessa organizacao. O mesmo
ocorre na sess ao do estudo da Geometria Analtica GA.
Tabela 6: Mapeamento de tipo de registros presentes nos exerccios apresentados pelo autor no bloco
logos de estudo de integrais m ultiplas
Swokowski
17.5 Integrais Triplas
Exemplos LM RAl RAn RG RI
01 P P P A P
02 P P A P P
03 P P A P P
04 P P A P P
05 P P A P P
06 P P A P P
07 P P A P P
A tabela 6 evidencia os registro Ausentes (A) e Presentes (P) no bloco logos das Integrais
M ultiplas IM. Em nossas analises notamos presenca e ausencia de modo similar no estudo
da Geometria Analtica e das IM tanto no Swokowski como no Leithold.
Como j a sublinhamos anteriormente, assim como podemos observar no exemplo do livro
Swokowski (1994), que destacamos acima, o autor valoriza muito o registro graco a partir
dos registros algebricos, com detrimento do registro analtico, sem colocar em evidencia
como tais registros se articulam, e muito menos explicitar as tecnicas de realizac ao dos
gr acos construdos no computador. O que nos leva a questionar como um ambiente
computacional como o Maple pode interferir nesse processo? Para isso, nos propomos
analisar esse software como segue.
4.4 Analise do software Maple: o caso das representacoes gracas
e das integrais m ultiplas
Essa analise e centralizada no estudo das potencialidades e entraves relativas às ferramen-
tas utilizadas na realizac ao das tarefas propostas na sequencia did atica que apresentamos
mais adiante. Com efeito, destacamos alguns comandos (ferramentas) desse software, ne-
cess arios para resoluc ao das referidas tarefas.
Para isso, realizamos um senso das ferramentas necessarias para resoluc ao de tarefas que
13
envolvem integrais m ultiplas, bem como na construc ao gr aca de solidos delimitados por
gr acos de func oes ou equac oes conhecidas no registro algebrico.
4.4.1 Recenseamento das ferramentas necessarias para representacao graca
No Maple, para utilizar os comandos de representac ao graca de um objeto geometrico em
tres ou duas dimens oes, a partir de suas equac oes, e necessario carregar o pacote plots,
mediante o uso do comando with segundo a sintaxe with(plots), onde o Maple retorna
o seguinte conjunto de comandos:
[animate, animate3d, animatecurve, arrow, changecoords, complexplot, complexplot3d,
conformal, conformal3d, contourplot, contourplot3d, coordplot, coordplot3d, densityplot,
display, dualaxisplot, eldplot, eldplot3d, gradplot, gradplot3d, graphplot3d, implicit-
plot, implicitplot3d, inequal, interactive, interactiveparams, intersectplot, listcontplot,
listcontplot3d, listdensityplot, listplot, listplot3d, loglogplot, logplot, matrixplot, multi-
ple, odeplot, pareto, plotcompare, pointplot, pointplot3d, polarplot, polygonplot, poly-
gonplot3d, polyhedra-supported, polyhedraplot, rootlocus, semilogplot, setcolors, setopti-
ons, setoptions3d, spacecurve, sparsematrixplot, surfdata, textplot, textplot3d, tubeplot]
Dentre esses evidenciamos apenas o processo de utilizac ao das sintaxes dos comandos:
plot3d, implicitplot3d e display. O primeiro e o terceiro s ao can onicos e por isso nem
aparecem na relacao acima. Alem desses comandos consideramos tambem os que cor-
respondem ao tratamento de objetos geometricos em duas dimens oes. Assim, conforme
listado abaixo consideramos tres instru coes para cada caso. Uma instrucao e a utilizacao
conjunta do comando e sua sintaxe. Vale sublinharmos que uma instruc ao, pode n ao
conter um comando, e sim uma informa cao logica e compreensvel pelo software. Ou seja,
corresponde as informac oes que o sujeito insere na linha de comandos do Maple, as quais
devem ser executadas pelo usuario com apoio na tecla ENTER.
Na representacao graca em duas dimens oes, temos:
plot(f(x), x = a..b, options) (1)
plot([x(t), y(t), t = a..b], options) (2)
implicitplot(f(x, y) = g(x, y), x = a..b, y = c..d, options) (3)
Na representacao graca em tres dimensoes, temos:
plot3d(f(x, y), x = a..b, y = c..d, options) (4)
plot3d([x(t, s), y(t, s), z(t, s)], t = a..b, s = c..d, options) (5)
implicitplot3d(f(x, y, z), x = a..b, y = c..d, z = e..f, options) (6)
Em cada sintaxe acima, o espaco options e facultativo e e utilizado para as opcoes das
representa coes, tais como: scaling, color, labels, etc. Para obtenc ao de instruc oes de uso
dessas entre outras opc oes, basta inserir na ajuda do Maple a palavra options.
Na sintaxe (1), f(x) e uma express ao da func ao de uma variavel e a..b e o intervalo de
14
varia cao de x escolhido pelo usuario. A parte opc oes e da forma nome da opcao=tipo
da opcao. Isso vale para todas as sintaxes (i) com i = 1, ..., 6 descritas acima.
Na sintaxe (2), x(t) e y(t) s ao equac oes parametricas que dependem do parametro t,
com t variando de a a b.
Na sintaxe (3), f(x,y) e g(x,y) s ao express oes de func oes f e g de duas vari aveis x e y,
com x variando de a a b e y variando de c a d.
A ttulo de ilustrac ao, consideramos os seguintes exemplos que utilizam os comandos plot
e implicitplot de acordo com as sintaxes (1), (2) e (3). Para isso, entramos nas linhas de
comandos do Maple com as seguintes instru coes:
plot(x
2
,x=-2..2)
plot([cos(t),sin(t),t=0..2*Pi])
implicitplot(x = 1 y
2
,x=-1..1,y=-1..1)
obtendo nessa ordem os gracos apresentados nas guras 3, 4, e 5 respectivamente:
Figura 3: Exemplo
de utilizacao da ins-
trucao (1)
Figura 4: Exemplo
trucao (2)
Figura 5: Exemplo
trucao (3)
A seguir descrevemos as sintaxes dos comandos correspondentes a representac ao gr aca
em tres dimens oes. Na sintaxe (4) f(x,y) representa uma expressao da func ao f que
depende das variaveis x e y onde x=a..b e y=c..d s ao suas respectivas varia coes.
A sintaxe (5) corresponde a uma representa cao parametrica de objetos geometricos em
tres dimens oes, onde cada entrada x(t,s), y(t,s) e z(t,s) depende dos par ametros t e s,
com a..b e c..d, suas respectivas variac oes.
Na sintaxe (6) f(x,y,z) e uma func ao de tres vari aveis x, y e z, onde a..b, c..d e e..f s ao
suas respectivas variac oes.
Para utilizar as sintaxes (4), (5) e (6), consideramos por exemplo, as seguintes instrucoes:
plot3d(x
2
+ y
2
,x=-4..4,y=-4..4,color=green)
plot3d([sin(t)*sin(s),sin(t)*cos(s),cos(t)],s=0..2*Pi,t=0..2*Pi, color=yellow)
implicitplot3d(x
2
+ y
2
=1,x=-1..1,y=-1..1,z=-3..3,color=red)
O resultado nessa ordem consiste nas representa coes gracas em tres dimensoes dadas nas
guras 6, 7 e 8.
Note que para distinguirmos as cores desses gr acos, utilizamos na parte reservada para
15
Figura 6: Exemplo
trucao (4)
Figura 7: Exemplo
trucao (5)
Figura 8: Exemplo
trucao (6)
as opcoes o comando color, segundo a sintaxe color=tipo da opcao, onde tipo de opcao
corresponde as cores escolhidas pelo usu ario.
Segundo Henriques (2006), existem no Maple tres tipos de tecnicas, que ele denomina
por:
Tecnica de superposicao: Consiste na representa cao gr aca conjunta de objetos
geometricos cujas equac oes sao escritas em um mesmo sistema de coordenadas (car-
tesianas, polares, cilndricas e esfericas) utilizando uma unica instru cao.
Tecnica de atribuicao: Consiste em atribuir um resultado a uma variavel utilizando
o smbolo (:=).
Tecnica de recuperacao: Consiste em recuperar resultados precedentes em relac ao
a linha atual de comandos, utilizando o smbolo de porcentagem.
O terceiro comando que destacamos mais acima e o display, este tem a potencialidade de
reunir dois ou mais objetos previamente denidos. Sua sintaxe e dada por: display(nome
do objeto, options), em que a parte nome do objeto e utilizada para resgatar repre-
sentac oes construdas anteriormente. Esse resgate pode ser feito utilizando-se as duas
ultimas tecnica apresentadas acima.
Na utiliza cao da tecnica de recuperacao, no display, uma porcentagem resgata a ultima
instruc ao fornecida ao Maple, com duas porcentagens, o software resgata a pen ultima
instruc ao, e se entrarmos com tres porcentagens, o resultado e a recupera cao da ante-
pen ultima instruc ao. O uso desse smbolo resgata no m aximo tres instruc oes. Caso se
tenha mais de tres instru coes, deve-se recorrer a tecnica de atribuicao.
As instru coes a seguir permitem ilustrar como funciona o comando display, no caso em
que utilizamos a tecnica de atribuicao, onde utilizamos as vari aveis A e B. Essas variaveis
podem ser qualquer nome, desde que nao seja um comando utilizado pelo Maple.
A := plot3d(sqrt(x
2
+ y
2
), x = 1..1, y = 1..1, color = x) :
B := plot3d(x + 1, x = 1..1, y = 1..1, color = red) :
display(A, B, scaling = constrained)
A gura 9 e a representac ao graca nal fornecida pelo Maple ap os o display.
16
Figura 9: Representacao graca
de um cone e um plano juntos
Na parte correspondente ao tipo da opcao de color po-
demos atribuir, alem das cores predenidas, uma das
vari aveis da superfcie. J a a op cao scaling=constrained
apresenta a representacao gr aca numa escala de um
por um, onde em muitos casos este ultimo se torna
bastante apropriado.
Um outro detalhe que nao podemos deixar passar des-
percebido e o fato de que ao usar o smbolo de denir
objeto (:=), o Maple n ao ir a plotar cada representac ao
gr aca separadamente para depois juntar tudo, ou
seja, o Maple apenas guarda o objeto que denimos
e o comando display resgata esse objeto.
Observamos que o Maple permite representar varias superfcies em um mesmo sistema de
coordenadas. Todavia, n ao identicamos nenhum comando ou tecnica que permite visua-
lizar solidos isolados delimitados por essas superfcies, tal como visto em algumas situac oes
na analise praxeol ogica. Assim, podemos nos questionar que tecnicas s ao necess arias para
obter esse tipo de s olido no Maple. Ora, recorrendo a Henriques (2006), encontramos
como realizar tais tecnicas, que ele dene como Crivo Geometrico, conservacao unica de
partes de superfcies reunidas que formam o solido isolado enquanto objeto geometrico.
Utilizamos essa tecnica mais adiante. Como vimos na analise praxeol ogica das IM, esse
tipo de solido isolado tem um papel importante no processo heurstico de c alculo de
integrais m ultiplas. Essa import ancia conduz-nos a considerar o seguinte estudo.
4.4.2 Recenseamento das disponibilidades a respeito das Integrais
Na an alise sobre as disponibilidades do software Maple a repeito das integrais, nos depa-
ramos com dois tipos de comandos:
Int e int
Doubleint e Tripleint.
Para utilizar esses comandos e necess ario carregar o pacote student, mediante o uso do
comando with, segundo a sintaxe with(student). Sem esse pacote o Maple n ao realizara
os comandos Doubleint e Tripleint. Ao carregar esse pacote o software apresentar a uma
lista de comandos que comp oe o grupo student e para ocultar essas informac oes basta co-
locar dois pontos (:) ao nal de with(student). Caso os dois pontos n ao sejam inseridos,
o software Maple apresentara a referida lista como segue:
[D, Di, Doubleint, Int, Limit, Lineint, Product, Sum, Tripleint, changevar, completes-
quare, distance, equate, integrand, intercept, intparts, leftbox, leftsum, makeproc, mid-
dlebox, middlesum, midpoint, powsubs, rightbox, rightsum, showtangent, simpson, slope,
summand, trapezoid]
No nosso trabalho, destacamos apenas as sintaxes dos comandos Int, Doubleint e Tri-
pleint. Assim, conforme listado abaixo temos oito instruc oes para formac ao, tratamento
e convers ao de integrais denidas e indenidas, onde estamos tratando o caso de integrais
17
denidas. No caso das integrais indenidas basta omitir as variac oes das variaveis de
integra cao nessas instru coes.
int(f(x), x = a..b) (7)
Int(f(x), x = a..b) (8)
int(int(f(x, y), x = a..b), y = c..d) (9)
Int(Int(f(x, y), x = a..b), y = c..d) (10)
Doubleint(f(x, y), x = a..b, y = c..d) (11)
int(int(int(f(x, y, z), x = a..b), y = c..d), z = e..f) (12)
Int(Int(Int(f(x, y, z), x = a..b), y = c..d), z = e..f) (13)
Tripleint(f(x, y, z), x = a..b, y = c..d, z = e..f) (14)
Em todas essas sintaxes, notamos que no registro de uma integral simbolica basta utilizar
o comando int, que fornece um valor numerico no caso de uma integral denida ou uma
express ao no caso de uma integral indenida. Quando a primeira letra desse comando
for mai uscula, a integral assume sua forma inerte,
_
. Assim, (7) exibe o resultado e
(8) representa
__ _
uma integral simples na variavel x, no intervalo a..b o domnio de
integra cao. Um exemplo simples que ilustra essa sintaxe e Int(x
3
,x=-2..2)=int(x
3
,x=-
2..2), onde ao entrarmos com essa instru cao no Maple obtemos respectivamente
_
2
2
x
3
dx = 0.
A sintaxe (9) exibe o resultado, as sintaxes (10) e (11) representam
__ _ _
uma integral
dupla, onde f(x,y) e uma express ao fun cao f que depende de x e y, com a..b e c..d os
intervalos de variac ao das vari aveis de integracao. As duas primeiras sintaxes revelam a
utilizac ao sucessiva de integrais simples, o que corresponde ao registro de integrais iteradas
vistos na analise praxeol ogica do Swokowski, construindo assim a integral dupla. Assim,
se entrarmos no Maple com os comandos
Int(Int(x
2
+ y
2
,x=-1..1),y=-1..1)=int(int(x
2
+ y
2
,x=-1..1),y=-1..1)
Doubleint(x
2
+ y
2
,x=-1..1,y=-1..1)
obtemos, respectivamente, os seguintes resultados:
_
1
1
_
1
1
(x
2
+ y
2
)dxdy =
8
3
_
1
1
_
1
1
(x
2
+ y
2
)dxdy
A sintaxe (12) exibe o resultado, e as sintaxes (13) e (14) representam uma
__ _ _ _
integral tripla, onde f(x,y,z) e uma expressao da funcao f que depende das variaveis x, y
e z, com a..b, c..d e e..f os intervalos de variac ao das variaveis de integrac ao. Nas duas
primeiras sintaxes, tambem utilizamos a sintaxe de integral simples dentro de outra do
mesmo tipo simultaneamente. Como exemplo, digitamos no Maple os comandos
Int(Int(Int(1,z=0..1),y=-sqrt(1-x
2
)..sqrt(1-x
2
)),x=-1..1)=
int(int(int(1,z=0..1),y=-sqrt(1-x
2
) ..sqrt(1-x
2
)),x=-1..1)
Tripleint(1,z=0..1,y=-sqrt(1-x
2
)..sqrt(1-x
2
),x=-1..1)
18
obtemos, respectivamente, os seguintes resultados:
_
1
1
_

1x
2
1x
2
_
1
0
1dzdydx =
_
1
1
_

1x
2
1x
2
_
1
0
1dzdydx
Notamos que na utilizac ao dos comandos (11) e (14), o software Maple n ao fornece o valor
numerico da integral m ultipla. Porem, podemos utilizar a tecnica de atribuicao (:=), e
em seguida, o comando value, segundo a sintaxe: value(nome do objeto),tal como
ilustra o exemplo abaixo.
C := Tripleint(1, z = 0..1, y = sqrt(1 x
2
)..sqrt(1 x
2
), x = 1..1) :
value(C)
Nesse caso o Maple retorna o valor numerico .
Assim, visto como utilizar as sintaxes de construcoes de objetos geometricos e as sintaxes
de integrais m ultiplas, de maneira independente, queremos saber como os registros gracos
a partir da manipulac ao de express oes se articulam no processo de c alculo de integrais
m ultiplas.
4.4.3 Representacao Graca de S olidos Isolados por Crivo Geometrico
Antes de expormos sobre a representac ao de s olidos isolados por crivo geometrico, abor-
daremos sobre um entrave que identicamos na utiliza cao do software Maple em relac ao
ao conceito de func ao.
Na utilizacao da sintaxe (4) plot3d(f(x,y),x=a..b,y=c..d,options) o Maple reconhece
f(x, y) como uma func ao de duas variaveis x e y, tendo o plano xy como domnio de
denic ao.
Se a func ao f tem os planos xz ou yz como domnio de denic ao, esse software sempre
interpreta f como sendo denida no plano xy. A func ao f(x, z) = x
2
+ z
2
, por exemplo,
representa no ambiente papel/l apis, um paraboloide orientado ao eixo y, tendo o plano xz
como domnio. No entanto, na utilizac ao da sintaxe (4), notamos que o Maple reconhece
a func ao tendo o plano xy como domnio e orientada ao eixo z. O que entendemos como
um entrave aliado a no cao de func ao e o tipo da sintaxe do comando plot3d, que permite
a representac ao gr aca de funcoes de duas variaveis no Maple.
A priori, esse e um entrave de difcil visualizacao, pois ao inserirmos a express ao do pa-
raboloide, utilizando a sintaxe (4), obtemos uma representac ao que em primeiro instante
e correta, na medida em que o software ilustra, de fato, as vari aveis x e z no sentido
anti-hor ario, substituindo x por x e y por z, em relac ao ao sistema de representa cao usual
dos eixos coordenados, dado na ordem x, y e z. A gura 10 ilustra a representac ao forne-
cida pelo Maple ao inserirmos a express ao do referido paraboloide, utilizando a seguinte
instruc ao:
plot3d(x
2
+ z
2
,x=-1..1,z=-1..1,scalng=constrained,color=green)
19
A gura 11 e a gura 12 e o resultado da representac ao graca das func oes f(x, y) =
1 + x
2
+ y
2
e f(y, z) = 2 + y
2
+ z
2
utilizando as seguintes instru coes:
plot3d(1 + x
2
+ y
2
,x=-1..1,y=-1..1,scalng=constrained,color=red)
plot3d(2 + y
2
+ z
2
,y=-1..1,z=-1..1,scalng=constrained,color=yellow)
Como podemos observar, apesar das vari aveis correspondentes aos domnios das func oes
Figura 10: Paraboloide cons-
trudo com a sintaxe (4)
parecerem ser corretas, a orienta cao e visualmente incorreta, na medida em que a primeira,
por exemplo, deveria estar orientada da esquerda para direita. Para tornar mais clara
essa problematica de visualizac ao, representamos na gura 13 as tres superfcies no mesmo
sistema de coordenadas, utilizando a tecnica de recupera cao, como segue:
display(%,%%,%%%)
Figura 13: Paraboloides construdos com a sintaxe (4)
Como podemos notar, ao utilizarmos a sintaxe (4) o Maple reconhece as func oes, que a
priori tem domnios distintos (a saber: do plano xz, xy e yz respectivamente). Todavia,
como podemos observar na gura 13 ao representarmos as tres superfcies simultanea-
mente, o Maple reconhece-as como sendo denidos em um unico domnio, do plano xy.
20
Isso nos leva a concluir que esse software representa apenas gr acos de func oes denidas
no plano xy, a partir da sintaxe (4), o que de fato e um entrave sublinhado anteriormente.
Esse entrave pode ser superado a partir da mobilizac ao da no cao de parametrizacao de su-
perfcies, abandonando assim, a noc ao de funcao. Da, recorrendo a essa nocao utilizando
a sintaxe (5) plot3d([x(t,s),y(t,s),z(t,s)],t=a..b,s=c..d,options), podemos proceder
da seguinte forma:
plot3d([x,x
2
+ z
2
,z],x=-1..1,z=-1..1,color=green,scaling=constrained)
plot3d([x,y,1 + x
2
+ y
2
],x=-1..1,y=-1..1,color=red,scaling=constrained)
plot3d([2 + y
2
+ z
2
,y,z],y=-1..1,z=-1..1,color=yellow,scaling=constrained)
display(%, %%, %%%).
O resultado nal dessa sequencia de instrucoes utilizando a sintaxe (5) consiste na re-
presenta cao gr aca simultanea das tres superfcie num mesmo sistema de coordenadas,
onde cada superfcie e orientada de acordo com a funcao previamente dada, como se pode
observar na gura 14.
Figura 14: Paraboloides devidamente orientados nos seus respectivos eixos. A partir sintaxe (5)
A seguir, prosseguimos com a construcao de um solido isolado utilizando a tecnica Crivo
Geometrico, em particular, o s olido que identicamos anteriormente na sess ao Analise
Swokowski e em seguida calcularemos seu volume. Trata-se de um exemplo que encon-
tramos na pagina 504 do Swokowski (1994), onde o autor desse livro n ao apresenta as
tecnicas utilizadas na representac ao graca do s olido em quest ao. Assim, na p agina 504
desse livro, podemos ler:
Ache o volume da regi ao Q delimitada pelos gr acos de z = 3x
2
, z = 4 x
2
, y = 0
e z + y = 6
Antes de calcularmos o volume do solido Q, podemos tornar evidente a forte relac ao exis-
tente entre: o registro gr aco, o registro analtico do s olido e o registro do volume por
integral, utilizando o Maple. Para isso, entramos no Maple com as seguintes instrucoes,
que retorna a representacao gr aca das quatro superfcies das equac oes dadas nesse exem-
plo em um mesmo sistema de coordenadas. As guras 15 à 19 ilustram o resultado que o
21
Maple retorna:
plot3d([x,y,3*x
2
],x=-1..1,y=-1..6,scaling=constrained,color=green,labels=[x,y,z])
plot3d([x,0,z],x=-2..2,z=-1..6,color=red,scaling=constrained,labels=[x,y,z])
plot3d([x,6-z,z],x=-2..2,z=-1..4,color=yellow,scaling=constrained,labels=[x,y,z])
display(%,%%,%%%,labels=[x,y,z])
plot3d([x,y,4-x
2
],x=-1..1,y=-4..6,scaling=constrained,color=blue,labels=[x,y,z])
display(%,%%,labels=[x,y,z])
Figura 15: Calha
de equacao z = 3x
2
Figura 16: Plano
paralelo ao plano xz
Figura 17: Plano
de equa cao y = 6 z
Figura 18: Calha
de equacao z = 4x
2
Uma das tarefas difceis consiste na visualizac ao do s olido isolado, ou seja, sem as partes
de superfcies que n ao delimitam o solido. Essa diculdade deve ser uma das justicativas
que leva os autores a mostrarem apenas os s olidos prontos (isolados). Assim, voltamos
a pergunta feita anteriormente sobre quais tecnicas sao necess arias para construc ao de
s olidos geometricos igualmente presente nos livros didaticos. Para responder essa quest ao
encontramos a tecnica Crivo Geometrico desenvolvida por Henriques (2006) acordada
mais acima.
Na sua essencia, essa tecnica consiste na descricao do s olido de forma analtica. Com
efeito, devemos inicialmente determinar os contornos desse s olido. Ou seja, identicar
algebricamente as intersec oes das superfcies dadas pelas equac oes no problema. Assim,
identicamos por F
1
, F
2
, F
3
e F
4
as superfcies de equac oes z = 3x
2
, z = 4 x
2
, y = 0 e
22
z + y = 6, respectivamente.
A intersec ao das superfcies nos permite obter suas partes que delimitam o s olido. Essas
partes, sao dadas analiticamente como segue:
I
1
= {(x, y, z); 1 x 1, 3x
2
z 4 x
2
, (x, z) = 0}
I
2
= {(x, y, z); 1 x 1, 0 y 6 3x
2
, (x, y) = 3x
2
}
I
3
= {(x, y, z); 1 x 1, 3x
2
z 4 x
2
, (x, z) = 6 z}
I
4
= {(x, y, z); 1 x 1, 0 y 2 + x
2
, (x, y) = 4 x
2
}
Para obter essas partes de superfcies, e necess ario que haja interven cao do sujeito, pois no
Maple n ao existe um comando para descric ao do Crivo Geometrico de forma autom atica,
salvo a partir da elaborac ao de um pequeno programa no Maple, o que nao e interessante
para o sujeito que pretende calcular a integral, pois entendemos que a relac ao direta do
sujeito com esses objetos inuenciam fortemente no processo de aquisi cao de conhecimen-
tos nesse domnio.
As instrucoes abaixo permitem visualizar as partes das superfcies listadas acima.
plot3d([x,y,3*x
2
],x=-1..1,y=0..6-3*x
2
,color=green,scaling=constrained,labels=[x,y,z])
plot3d([x,0,z],x=-1..1,z=3*x
2
..4-x
2
,scaling=constrained,color=red)
A:=display(%,%%):
plot3d([x,6-z,z],x=-1..1,z=3*x
2
..4-x
2
,color=yellow,scaling=constrained)
display(%,%%,scaling=constrained)
plot3d([x,y,4-x
2
],x=-1..1,y=0..2+x
2
,scaling=constrained,color=blue)
display(%,%%,style=wireframe)
Note que no ultimo display apresentado acima utilizamos a instrucao style=wireframe,
pois esse nos permite visualizar o solido completo. Da, como resultado nal o Maple
apresenta o solido crivado, como mostra a gura 20.
23
Na descric ao do crivo calculamos as interse coes das superfcies dadas no problema. Alem
disso, notamos que a partir das instruc oes utilizadas para obtenc ao do solido, podemos
passar ao registro analtico correspondente e consequentemente ao registro de volume por
integral. Nesse caso, o s olido Q pode ser representado analtica por:
Q = {(x, y, z); 1 x 1, 3x
2
z 4 x
2
, 0 y 6 z}
onde as varia coes de x, y e z podem ser encontradas em I
1
e I
2
. Assim, a partir dessa
representa cao podemos passar ao registro do volume por integral, como segue abaixo:
V =
_
1
1
_
4x
2
3x
2
_
6z
0
dydzdx
Da, o sujeito poder a obter uma forte relac ao entre os registros de representac ao envol-
vidos no processo de calculo de volumes por integrais m ultiplas, onde a tecnica crivo
geometrico exerce um papel essencial na conversao e coordenac ao entre esses registros, a
saber, a linguagem materna, o registro algebrico, o registro graco, o analtico e o regis-
tro de volume por integral. Armamos que essa tecnica de construc ao pode melhorar a
maneira de abordar um problema do c alculo de volumes por integrais, visto que para de-
terminar a regi ao de integra cao o sujeito poder a recorrer a representacao graca do s olido,
que no Maple pode ser realizada com o auxlio do Crivo Geometrico. Para aprofundar-
mos conhecimentos em torno dessa armac ao, nos propomos em realizar uma sequencia
did atica necess aria para an alise de pr aticas de sujeitos na instituic ao de referencia que
reconhece as integrais m ultiplas como objeto de estudo.
5 Organizacao da Sequencia Didatica
Uma Sequencia Did atica (SD) e segundo Henriques (2001):
um esquema experimental de situac oes problemas desenvolvido por sessoes
de ensino a partir de um estudo preliminar, caracterizando os objetos es-
peccos de cada problema, a analise matematica e a an alise did atica relativa
as atividades propostas. A an alise matematica destaca as relac oes possveis,
a forma de controle e os resultados esperados, enquanto que a an alise did atica
se preocupa com as variaveis did aticas de situac oes, pre-requisitos e com a
competencia. Vari aveis did aticas s ao elementos matematicos que est ao ` a dis-
posic ao do professor, e que permitem a analise de situac oes didaticas durante
uma investigac ao.
Assim, a SD que organizamos para an alise das pr aticas dos alunos da instituic ao de re-
ferencia, e desenvolvida com base nas seguintes etapas: analises preliminares, an alise a
priori, aplicacao da sequencia e analise a posteriori. A primeira etapa, e correspondente
a analise institucional em torno do estudo do C alculo de Volumes por Integrais M ultiplas
(CAVIM). Na segunda realizamos um estudo aprofundado do CAVIM e organizamos al-
gumas tarefas enfatizando o estudo das tecnicas institucionais possveis na realizacao
das tarefas destacadas na praxeologia do CAVIM. Na terceira, realizamos a aplicac ao da
24
sequencia am de observar as pr aticas institucionais dos sujeitos envolvidos e nalmente,
na ultima, realizamos a analise a posteriori, destacando assim, as pr aticas efetivas dos
sujeitos envolvidos.
Assim, o confronto entre a an alise a priori e a analise a posteriori nos permite responder
e reetir sobre algumas questoes de pesquisa.
Para o estudo das Integrais M ultiplas IM destacamos inicialmente a forte relacao entre
as representac oes gracas no espaco bi e tridimensional, assim como as possveis ruptu-
ras na passagem das integrais simples para as IM. Com base nessas informac oes e na
an alise institucional selecionamos (na praxeologia das IM) e elaboramos algumas tarefas
que compoe nossa sequencia did atica.
O grau de diculdade dessas tarefas e baseado nos exemplos e nos exerccios propostos
pelos autores dos livros did aticos que analisamos: Swokowski (1994) e Leithold (1994).
Para obtenc ao de respostas sobre como os alunos da institui cao de referencia realizam a
convers ao e coordenac ao entre os registros de representac ao do CAVIM e como a cons-
truc ao de s olidos utilizando o crivo geometrico poderia colaborar na compreens ao desse
objeto, optamos em aplicar a sequencia em dois momentos: em um utilizando o ambiente
papel/l apis e em outro o ambiente computacional Maple. Vale ressaltar ainda que apli-
camos, tambem, dois questionarios em momentos distintos, o primeiro antes da aplica cao
das tarefas no ambiente papel/l apis e o segundo depois da aplicac ao das tarefas no ambi-
ente computacional Maple.
A seguir apresentamos os dispositivos que constituem nossa sequencia did atica, a m de
evidenciar as possveis estrategias de resolucao das tarefas que fazem parte da sequencia.
5.1 Dispositivos que comp oem a SD
A nossa SD e composta por quatro dispositivos experimentais, sendo que dois sa ques-
tion arios e dois s ao constitudos por tarefas de IM, realiz aveis no ambiente papel/lapis e
computacional. Os quadros a seguir apresentam cada um desses dispositivos.
Universidade Estadual de Santa Cruz
Departamento de Ciencias Exatas e Tecnologicas
Estudo de Conversao e Coordenacao de Registros de
Representacao: o caso de calculo de volumes por integrais
m ultiplas
Questionario 1
1. Voce conhece o software Maple? Em que circunst ancia?
2. Voce j a usou outro tipo de software matem atico? Qual? Em que circunst ancia?
25
3. Certamente voce j a estudou Geometria Analtica (GA) e Calculo de Volumes por
Integrais M ultiplas (CAVIM). Na sua opini ao, existem algumas relac oes entre GA
e CAVIM? Quais?
4. J a estudou esses objetos (GA e CAVIM) utilizando algum software matematico?
Qual software? Se sim, fale sobre sua experiencia adquirida nessa utilizac ao.
Sequencia Didatica: o calculo de volumes por integrais
m ultiplas utilizando o ambiente papel/lapis
Autor: Victor Mielly Oliveira Batista
Orientador: Afonso Henriques
T
1
) Em cada situac ao abaixo, calcule a integral tripla de f(x, y, z) = 1 sobre a regi ao
tridimensional Q indicada.
t
1
) Qe a regi ao do espaco tridimensional delimitada pelas superfcies de equac oes
y = x
2
+ z
2
e y = 2 x
2
z
2
.
t
2
x
2
+ y
2
= 1 e x
2
+ z
2
= 1.
t
3
) Q a regiao do espaco tridimensional delimitada pelas equa coes y = x
2
, z =
4 y e pelo plano xy.
t
4
) Q a regi ao do espaco tridimensional constituda pelas partes interiores dos
s olidos delimitados pelas superfcies de equac oes z = 1+
_
x
2
+ y
2
e x
2
+y
2
+(z
1)
2
= 1.
t
5
) Explique o que representa matematicamente e sicamente cada resultado
obtido acima. O que estamos calculando se f(x, y, z) = 1?
Sequencia Didatica: o calculo de volumes por integrais
m ultiplas utilizando o ambiente computacional Maple
Autor: Victor Mielly Oliveira Batista
Orientador: Afonso Henriques
26
T
2
Em cada situacao abaixo, obtenha a representac ao gr aca do espaco tridimensional
Q delimitado pelas superfcies das equac oes indicadas e calcule a integral tripla de
f(x, y, z) = 1 sobre Q.
t
2.1
) Qe a regi ao do espaco tridimensional delimitada pelas superfcies de equacoes
y = x
2
+ z
2
e y = 2 x
2
z
2
.
t
2.2
x
2
+ y
2
= 1 e x
2
+ z
2
= 1.
t
2.3
) Q a regiao do espaco tridimensional delimitada pelas equac oes y = x
2
,
z = 4 y e pelo plano xy.
t
2.4
) Q a regi ao do espaco tridimensional constituda pelas partes interiores dos
s olidos delimitados pelas superfcies de equac oes z = 1+
_
x
2
+ y
2
e x
2
+y
2
+(z
1)
2
= 1.
Departamento de Ciencias Exatas e Tecnologicas
Estudo de Conversao e Coordenacao de Registros de
Representacao: o caso de calculo de volumes por integrais
m ultiplas
Questionario 2
1. Em sua opiniao, existe alguma relac ao entre os objetos de estudo da Geometria
Analtica (GA) e o C alculo de Volumes por Integral M ultiplas (CAVIM)? Qual?
2. Fale sobre sua experiencia adquirida ou n ao durante a sua participac ao nesse projeto.
3. Que sugestoes voce daria para o melhor aproveitamento de sujeitos nesse tipo de
trabalho utilizando ambientes computacionais de aprendizagem.
As an alises que apresentamos a seguir consiste nas tarefas propostas no ambiente pa-
pel/lapis e no ambiente computacional.
5.2 Analise a priori referente a SD no ambiente papel/lapis
De acordo com o dispositivo experimental utilizando o ambiente papel/l apis, a primeira
tarefa proposta no dispositivo experimental tras o seguinte enunciado:
T
1
Em cada situacao abaixo, calcule a integral tripla de f(x, y, z) = 1 sobre a regi ao
t
1
y = x
2
+ z
2
e y = 2 x
2
z
2
.
27
O objetivo desta tarefa consiste no c alculo da integral tripla da func ao f(x, y, z) = 1
sobre Q. Para alcancar esse objetivo, o sujeito deve necessariamente determinar a repre-
sentac ao analtica de Q, seja implcita ou explicitamente. No contexto praxeol ogico, essa
determinac ao requer uma tecnica de realizacao justicada por um discurso racional, que
e uma tecnologia , desenvolvida por meio da teoria das IM reconhecida institucional-
mente. Assim, esta tarefa revela uma praxeologia completa. Essa praxeologia e similar ` a
todas subtarefas t
i
, i = 2, ..., 4, que analisaremos mais adiante.
A representac ao analtica de Q que nos referimos acima, passa pela manipula cao algebrica
das equacoes dadas no enunciado. Essa manipulac ao visa inicialmente a obtenc ao das in-
tersec oes das superfcies, igualando assim as equacoes y = x
2
+ z
2
e y = 2 x
2
z
2
, ou
seja:
x
2
+ z
2
= 2 x
2
z
2
2(x
2
+ z
2
) = 2
x
2
+ z
2
= 1
Figura 21: circunferencia
Notamos que a ultima equac ao corresponde a equa cao
da circunferencia centrada no ponto (0,1,0) e de raio
1, contida no plano y = 1, paralela ao plano xz. A
gura 21 apresenta a proje cao dessa circunferencia no
plano xz. Essa circunferencia pode ser representada
analiticamente em coordenadas polares por:
R
1
= {(r, ); 0 r 1, 0 2}.
Figura 22: Solido isolado
Assim, com essa representacao podemos
tracar o gr aco das superfcies que delimitam
a regi ao Q em R
1
. Para favorecer a visua-
lizac ao de Q, recorremos ao ambiente compu-
tacional Maple, obtendo assim, o s olido re-
presentado na gura 22, sem evidenciarmos
as tecnicas instrumentais que permitem a ob-
tenc ao desse tipo de solido no Maple, pois es-
sas tecnicas ser ao evidenciadas no momento
oportuno.
O s olido Q representado na gura 22 pode ser dado analiticamente em coordenadas
cilndricas como segue, onde consideramos x = r cos(), z = r sin() e y = y, da, te-
mos x
2
+ z
2
= r
2
.
Q = {(r, y, ); 0 r 1, r
2
y 2 r
2
, 0 2}
com essa representa cao, podemos obter o seguinte registro da integral tripla da funcao
f(r, y, ) sobre a regi ao Q.
_
1
0
_
2
0
_
2r
2
r
2
f(r, y, )rdyddr
28
Como f(r, y, ) = 1, ent ao
_
1
0
_
2
0
_
2r
2
r
2
rdyddr =
_
1
0
_
2
0
(2r 2r
3
)ddr
=
_
1
0
(2r 2r
3
)2dr
= 2
_
r
2
r
4
2
_
1
0
=
Podemos ainda resolver essa integral tripla em coordenadas cartesianas. Nesse caso, o
s olido Q pode ser representado analiticamente por:
Q =
_
(x, y, z); 1 x 1, x
2
+ z
2
y 2 x
2
z
2
,
1 x
2
z
1 x
2
_
.
Com essa representacao obtemos o seguinte registro da integral de f(x, y, z)
_
1
1
_

1x
2
1x
2
_
2x
2
z
2
x
2
+z
2
f(x, y, z)dydzdx
Sabendo que f(x, y, z) = 1, obtemos
_
1
1
_

1x
2
1x
2
_
2x
2
z
2
x
2
+z
2
dydzdx =
_
1
1
_

1x
2
1x
2
_
2 2(x
2
+ z
2
)
_
dzdx
=
_
1
1
_
2z 2x
2
z
2z
3
3
_
1x
2
1x
2
dx
=
_
1
1
_
4
1 x
2
4x
2
1 x
2
4
_
(1 x
2
)
3
3
_
dx
= 4
_
4
_
=
Assim, o resultado do c alculo da integral independe do tipo de sistema de coordenadas
considerado. Notamos ainda a forte relacao existente entre a representac ao analtica e a
representa cao graca favorece o processo do c alculo da integral.
A tarefa t
2
que analisamos a seguir, se desenvolve com uma praxeologia similar a de
um exemplo do livro Swokowski, onde temos a intersec ao de dois cilindros e Q a regi ao
delimitada pelas superfcies desses cilindros. Essa tarefa, tr as o seguinte enunciado:
t
2
) Q e a regiao do espa co tridimensional delimitada pelas superfcies de equac oes x
2
+
y
2
= 1 e x
2
+ z
2
= 1.
Lembramos que t
2
e subtarefa de T
1
, e tem por objetivo calcular a integral tripla da func ao
f(x, y, z) = 1 sobre a regi ao Q. Para isso, devemos inicialmente obter a representac ao
analtica de Q. Podemos obter a representacao graca de Q a partir das equac oes dadas
no enunciado, como mostra a gura 23. Tal como em t
1
, nao evidenciamos as tecnicas
instrumentais que permitem a obtenc ao desse tipo de s olido no Maple.
29
Figura 23: Intersecao de dois cilindros
Se cortarmos os cilindros x
2
+ y
2
= 1 e x
2
+
z
2
= 1 por sec oes transversais temos circun-
ferencias concentricas centradas na origem do
sistema de coordenadas de raio 1 paralelas aos
planos xy e xz respectivamente. Alem disso no-
tamos que, o s olido em quest ao e simetrico em
relac ao aos planos coordenados. Para simpli-
carmos os c alculos, nos restringimos a um dos
octantes em func ao da simetria, notadamente o
primeiro octante (onde x 0, y 0 e z 0)
do espa co tridimensional. Ora, o objetivo n ao e a representac ao gr aca e sim o calculo
da integral tripla da func ao f(x, y, z) = 1 sobre a regi ao Q. Assim, devemos obter a
representa cao analtica de Q, nesse octante.
Para isso consideramos a circunferencia x
2
+ y
2
= 1 de raio 1 no plano xy. Da, temos
que
x
2
+ y
2
= 1 y
2
= 1 x
2
y =
1 x
2
, onde 1 x 1
por simetria considerada acima, temos a seguinte representa cao analtica da regi ao R no
plano xy:
R = {(x, y); 0 x 1, 0 y
1 x
2
}.
Figura 24: Curvas de nvel x
2
+ y
2
= c no plano xy
Para favorecer a visualizac ao de
R, recorremos ao Maple, onde
a gura 24 representa algumas
curvas de nvel c, sobre a regi ao
R, com 0 c 1.
Na obtencao dessas curvas ze-
mos variar c variar ao longo do
eixo z, obtendo semiarcos em
func ao do cilindro x
2
+z
2
= 1, onde, ainda pela simetria, obtemos uma subregiao Q
1
Q,
no primeiro octante como mostra a gura 25. Notamos ainda que nesse octante, a partir
Figura 25: Varia cao das curvas de nvel x
2
+ y
2
= c ao longo do eixo z
do cilindro x
2
+z
2
= 1, temos que z =
1 x
2
e 0 x 1. Assim, a regiao Q
1
pode ser
dada analiticamente, como segue:
Q
1
= {(x, y, z); 0 x 1, 0 y
1 x
2
, 0 z
1 x
2
}
Assim, a partir dessa representacao analtica, podemos passar ao registro da integral
tripla de f(x, y, z) = 1 sobre Q
1
. Utilizando a simetria em quest ao, devemos multiplicar
30
a integral de f(x, y, z) = 1 sobre Q por 8, ou seja:
_ _ _
Q
f(x, y, z)dv = 8
_
1
0
_

1x
2
0
_

1x
2
0
f(x, y, z)dzdydx
= 8
_
1
0
_

1x
2
0
1 x
2
dydx
= 8
_
1
0
(1 x
2
)dx
= 8
_
x
x
3
3
_
1
0
=
16
3
Como podemos observar, nesse c alculo, consideramos R regi ao do tipo R
x
. Assim, pode-
mos calcular a integral tripla de f(x, y, z) = 1 sobre Q, considerando R como uma regiao
do tipo R
y
. Para isso, faremos as seguintes manipulac oes algebricas:
x
2
+ y
2
= 1 x
2
= 1 y
2
x =
_
1 y
2
, assim1 y 1
Assim, a regi ao R pode ser dada analiticamente como uma regiao do tipo R
y
como segue:
R
y
=
_
(x, y); 0 x 1, 0 y
1 x
2
_
.
Com essa representac ao podemos passar ao registro da integral, considerando a simetria:
8
_
1
0
_

1y
2
0
_

1x
2
0
f(x, y, z)dzdxdy =
16
3
Como podemos observar, nesse caso, a invers ao da ordem de integrac ao n ao altera o
resultado, o que satisfaz o teorema de Fubini. A tarefa t
3
, que como j a evidenciamos
anteriormente, tambem revela uma praxeologia completa e tras o seguinte enunciado.
t
3
) Q a regiao do espaco tridimensional delimitada pelas equacoes y = x
2
, z = 4 y e
pelo plano xy.
Sendo subtarefa de T
1
, t
3
tem tambem por objetivo calcular a integral tripla da func ao
f(x, y, z) = 1 sobre a regiao Q. Para isso podemos inicialmente, obter a representac ao
gr aca de Q, em seguida, obter sua representac ao analtica util para o registro da integral
tripla.
Para determinac ao dos limites de integrac ao evidenciamos inicialmente a representac ao
analtica e graca do s olido para assim expor o valor da integral tripla pedida. A partir
das equac oes dadas em t
3
, podemos representar Q gracamente, como mostra a gura 26.
Devemos lembrar ainda, que tal como nas tarefas anteriores, as tecnicas instrumentais que
permitem a obtenc ao desse s olido no Maple, ser ao abordadas num momento oportuno,
mais especicamente, na an alise a priori referente a SD no ambiente computacional Maple.
31
Figura 26: Representacao graca do solido
Para determinac ao da representac ao analtica de Q, notamos inicialmente que no plano
xy, temos:
z = 0 4 y = 0 y = 4
substituindo esse valor na equa cao y = x
2
, temos x = 2. Assim, nesse plano xy, a regiao
R pode ser dada analiticamente por:
R = {(x, y); 2 x 2, x
2
y 4}
Nesse caso encaramos R como uma regiao do tipo R
x
. Notamos ainda que o plano xy e
uma base do s olido Q. Com efeito, temos: 0 z 4y. O que nos estimula a representar
analiticamente a regiao Q, como segue:
Q =
_
(x, y, z); 2 x 2, x
2
y 4, 0 z 4 y
_
A partir dessa representac ao podemos determinar a integral tripla de f(x, y, z) = 1 sobre
essa regiao. Logo, temos:
_
2
2
_
4
x
2
_
4y
0
f(x, y, z)dzdydx =
_
2
2
_
4
x
2
_
4y
0
dzdydx
=
_
2
2
_
4
x
2
(4 y)dydx
=
_
2
2
_
4y
y
2
2
_
4
x
2
dx
=
_
2
2
(8 4x
2
+
x
4
2
)dx
=
_
8x
4x
3
3
+
x
5
10
_
2
2
=
256
15
Tal como na tarefa anterior podemos encarar a regi ao como uma regi ao do tipo R
y
.
Assim, realizando as seguintes manipulac oes algebricas, temos:
z = 0 4 y = 0 y = 4
y = x
2
x =
y
32
Com efeito,
R
y
= {(x, y); 0 y 4,
y x
y} .
A partir dessa representac ao analtica e sabendo que 0 z 4 y, temos que Q agora e
representado analiticamente da seguinte maneira:
Q = {(x, y, z); 0 y 4,
y x
y, 0 z 4 y} .
Assim, podemos obter a integral tripla de f(x, y, z) = 1 sobre Q considerando essa re-
presentacao.Os c alculos da integral conduzem ao mesmo valor numerico anteriormente,
vericando-se tambem o teorema de Fubini.
_
4
0
_

y
y
_
4y
0
dzdxdy
com R uma regi ao do tipo R
y
Deixamos ao leitor interessado, a verica cao de que o c alculo dessa ultima integral conduz
ao resultado
256
15
.
A tarefa t
4
, que tambem revela uma praxeologia completa, tr as o seguinte enunciado.
t
4
Q a regi ao do espa co tridimensional constituda pelas partes interiores dos solidos
delimitados pelas superfcies de equac oes z = 1+
_
x
2
+ y
2
e x
2
+y
2
+(z 1)
2
= 1.
Essa tarefa e tambem subtarefa de T
1
e tem por objetivo o calculo da integral tripla
de f(x, y, z) = 1 sobre Q. Assim, obtermos o registro analtico e fundamental para al-
cancarmos esse objetivo. Inicialmente determinamos a representacao graca de Q a m
de favorecer a coordenacao entre registros de representacao e consequentemente o calculo
da integral tripla. Notamos que esta tarefa pode ser realizada considerando-se o sistema
de representa cao em coordenadas cartesianas, coordenadas cilndricas e em coordenadas
esfericas. Comecamos considerando o sistema de representa cao em coordenadas cartesia-
nas. A gura 27 ilustra a representacao gr aca de Q.
Figura 27: Representacao graca do solido
Inicialmente, como podemos perceber na gura ao lado, deslocamos a regiao Q com o
intuito de simplicar o calculo da integral tripla de f(x, y, z) = 1 sobre Q, ou seja, deslo-
caremos o cone z = 1+
_
x
2
+ y
2
uma unidade negativa, em relac ao ao eixo z, juntamente
com a esfera x
2
+ y
2
+ (z 1)
2
= 1 de raio 1. Da, temos as equac oes z =
_
x
2
+ y
2
e
x
2
+ y
2
+ z
2
= 1, onde para calcular a integral tripla em quest ao equivale ` a calcular a
integral tripla de f sobre o s olido delimitado pelas equa coes deslocadas em mesmo sentido
e unidade. Este e um processo muito utilizado e que pode facilita bastante os calculos.
33
A seguir, encontramos a representac ao analtica da regi ao Q
1
delimitada pelas superfcies
de equac oes z =
_
x
2
+ y
2
e x
2
+ y
2
+ z
2
= 1.
Para obtenc ao de tal representacao analtica, comecamos isolando z na equac ao x
2
+y
2
+
z
2
= 1, como segue:
x
2
+ y
2
+ z
2
= 1 z
2
= 1 x
2
y
2
z =
_
1 x
2
y
2
Igualando essa ultima equac ao com a equac ao z =
_
x
2
+ y
2
, temos que:
_
x
2
+ y
2
=
_
1 x
2
y
2
_
_
x
2
+ y
2
_
2
=
_
_
1 x
2
y
2
_
2
logo
x
2
+ y
2
= 1 x
2
y
2
x
2
+ y
2
=
1
2
que e uma circunferencia de raio
2
2
, centrada na origem. A partir dessa ultima equa cao
obtemos
y
2
=
1
2
x
2
y =
_
1
2
x
2
assim,
2
2
x
2
2
Assim, a regi ao R correspondente a projec ao de Q no plano xy pode ser dada analitica-
mente, como segue:
R =
_
(x, y);
1
2
x
1
2
,
_
1
2
x
2
y
_
1
2
x
2
_
Notamos ainda que z varia de acordo com a seguinte inequac ao:
_
x
2
+ y
2
z
_
1 x
2
y
2
Com esse registro o solido Q pode ser dado analiticamente por:
Q
1
=
_
(x, y, z);
1
2
x
1
2
,
_
1
2
x
2
y
_
1
2
x
2
,
_
x
2
+ y
2
z
_
1 x
2
y
2
_
Podemos ainda representar analiticamente Q
1
por coordenadas cilndricas. Para isso,
consideramos as seguintes equac oes x = rcos() e y = rsen(). Da, x
2
+ y
2
= r
2
r
2
=
1
2
r =
1
2
. Como o raio e sempre maior ou igual a zero, temos 0 r
1
2
. Para
varrer toda regi ao R faremos 0 2, assim, temos a seguinte representac ao analtica
de R em coordenadas cilndricas.
R =
_
(r, ); 0 r
1
2
, 0 2
_
Alem disso, como em coordenadas cartesianas
_
x
2
+ y
2
z
_
1 x
2
y
2
e x
2
+y
2
=
r
2
, temos que r
2
z 1 r
2
. Portanto, podemos obter a representac ao analtica de Q
1
em coordenadas cilndricas:
Q
1
=
_
(r, , z); 0 r
1
2
, 0 2, r z
1 r
2
_
34
Alem disso, podemos ainda obter a representac ao analtica de Q
1
em coordenadas esfericas.
Para isso consideramos as equac oes x = sen()cos(), y = sen()sen() e z = cos(),
onde obtemos x
2
+ y
2
+ z
2
=
2
. Como j a temos que x
2
+ y
2
+ z
2
= 1, segue que
2
= 1 = 1, e como deve ser sempre maior ou igual a zero, temos que 0 1.
De z =
_
x
2
+ y
2
, obtemos que:
z =
_
(sen()cos())
2
+ (sen()sen())
2
=
_
sen
2
()[sen
2
() + cos
2
()]
=
_
sen
2
() assim,
z = sen() cos() = sen()
sen()
cos()
= 1 =

4
Logo, temos a variac ao 0

4
. Como a proje cao de Q sobre o plano xy, temos:
0 2. Da, obtemos a seguinte representac ao analtica de Q
1
em coordenadas
esfericas:
Q =
_
(, , ); 0 1, 0

4
, 0 2
_
Como nessa representac ao temos tres sistemas de representar Q, cada sistema favorece
seis possibilidades de registro da integral de f(x, y, z) sobre Q. Assim, na passagem ao
registro da integral tripla de f(x, y, z) = 1 sobre Q
1
, podemos utilizar qualquer uma das
representa coes analticas evidenciadas acima. Em qualquer caso sempre obtemos o mesmo
resultado. Utilizamos os dois ultimos, fazendo em coordenadas cilndricas f(r, , z) = 1 e
f(, , ) = 1 respectivamente. Portanto, em coordenadas cilndricas temos:
_
2
0
_ 1
2
0
_

1r
2
r
f(r, , z)rdzdrd =
_
2
0
_ 1
2
0
_
1 r
2
r r
2
_
drd
=
_
2
0
_
(1 r
2
)
3
2
3

r
3
3
_ 1
2
0
d
=
_
2
0
1 +
2
3
2
d
=
2
3

2
3
Como sublinhado acima, o seguinte calculo conduz ao seguinte resultado. Ou seja:
_
2
0
_
4
0
_
1
0
f(, , )
2
sin()ddd =
_
2
0
_
4
0
_
3
sin()
3
_
1
0
dd
=
_
2
0
_
4
0
sin()
3
dd
=
_
2
0
_
cos()
3
_
4
0
d
= (
2 + 2
6
)
_
2
0
d
=
2
3

2
3
35
A quinta e ultima subtarefa de T
1
tr as o seguinte enunciado:
t
5
Explique o que representa matematicamente e sicamente cada resultado obtido
acima. O que estamos calculando se f(x, y, z) = 1?
O bloco log os da organizac ao praxeologica sublinha que se f(x, y, z) = 1 ent ao a
_ _ _
Q
f(x, y, z)dV
corresponde ao volume do s olido Q. Suponhamos que Q admite uma representac ao do
tipo dado analiticamente abaixo em coordenadas cartesianas.
Q = {(x, y, z); (x, y) R, h
1
(x, y) z h
2
(x, y)}
onde
R = {(x, y); a x b, g
1
(x) y g
2
(x)}
com g
1
e g
2
func oes contnuas em [a, b] e h
1
e h
2
func oes de duas vari aveis dotadas de
derivadas parciais contnuas em R. Temos que
_ _ _
Q
f(x, y, z)dv =
_ _ _
Q
dV
=
_ _
R
_
_
h
2
(x,y)
h
1
(x,y)
dz
_
dA
=
_ _
R
(h
2
(x, y) h
1
(x, y)) dA
e o volume da regi ao tridimensional compreendida entre os gr acos de h
1
e h
2
da regi ao
R.
Se f(x, y, z) = 1 estaremos, matematicamente, nos referindo ao c alculo da integral tripla
de f sobre Q. Fisicamente, se f(x, y, z) e func ao densidade podemos nos referir ao calculo
de massa ou de momentos de inercia, etc.
A seguir nos referimos a analise a priori da nossa sequencia did atica considerando as
possveis tecnicas instrumentais de realiza cao no Maple.
5.3 Analise a priori referente a SD no ambiente computacional
Maple
Considerando que j a realizamos as tarefas no ambiente papel/lapis, o tratamento no Maple
segue uma praxeologia similar, colocando em evidencia alguns procedimentos omitidos na
praxeologia usual das IM nos livros. Como vimos anteriormente, na An alise do software
Maple, existem alguns pacotes que precisam ser carregados antes de utilizarmos alguns
comandos. Assim, para desenvolvimento das tarefas propostas na SD utilizando o Maple,
carregamos inicialmente os pacotes with(student) e with(plots).
Nosso objetivo principal na utiliza cao desse software e colocar em evidencia as rela coes
36
possveis existentes entre a representac ao gr aca e analtica no processo de c alculo de
integrais m ultiplas. Para isso, exploramos, com maior frequencia, a tecnica instrumental
que consideramos no captulo referente a an alise do software, dita Crivo Geometrico.
No tratamento de tipos de tarefas propostas na SD, Henriques (2011) destaca duas es-
trategias fundamentais:
I Estrategia
Analtico-Algebrico: Consiste na realizac ao de uma tarefa seguindo um proce-
dimento puramente analtico mediante manipulacao algebrica sem recorrer a repre-
sentac ao graca.
II Estrategia
Gr aco-Geometrico: consiste na realizac ao da tarefa com auxlio da repre-
sentac ao gr aca mediante a manipulac ao de elementos geometricos e suas arti-
culac oes com as expressoes algebricas constituintes da tarefa.
Levando em considera cao o nosso objeto sublinhado acima, escolhemos a segunda es-
trategia. Com essa escolha, colocamos em pr atica os seguintes procedimentos, baseados
na analise do software desenvolvida anteriormente.
1. Leitura e interpretac ao da tarefa proposta.
2. Extrair as expressoes algebricas no enunciado correspondentes as equac oes das su-
perfcies que delimitam um determinado espaco tridimensional. Descrever as su-
perfcies quando for possvel.
3. Obter as representacoes gr acas das superfcies de equacoes destacadas em 2. se-
paradamente, entrando no Maple com instrucoes apropriadas, considerando um
ret angulo (subconjunto de um plano can onico) como domnio dessa superfcie.
4. Reunir as representac oes gracas em um mesmo sistema de coordenadas.
5. Descrever o Crivo Geometrico, a m de visualizar apenas as partes de superfcies
obtidas em 3. que est ao, de fato, na fronteira do solido crivado.
6. Extrair nas instruc oes do crivo, os dados correspondentes a representac ao analtica
do solido crivado.
7. Estabelecer a integral utilizando a representac ao analtica do s olido (correspondente
ao domnio de integrac ao da func ao em quest ao)
8. Calcular a integral.
A primeira subtarefa t
2.1
de T
2
, da SD, tr as o seguinte enunciado:
t
2.1
) Q e a regiao do espaco tridimensional delimitada pelas superfcies de equac oes y =
x
2
+ z
2
e y = 2 x
2
z
2
.
37
Soluc ao:
(Etapas 1 e 2) Temos que y=x
2
+ y
2
e y=2 x
2
= z
2
s ao dois paraboloides tendo eixo
y como diretriz. Podemos obter as superfcies correspondentes utilizando as instrucoes
abaixo, no Maple (etapa 3):
plot3d([x,x
2
+ z
2
,z],x=-1..1,z=-1..1)
plot3d([x,2 x
2
z
2
,z],x=-1..1,z=-1..1)
que retornam as representa coes gr acas expostas nas guras 28 e 29 (etapa 4).
Figura 28: Repre-
sentacao no Maple
Figura 29: Repre-
sentacao no Maple
Figura 30: Repre-
sentacao no Maple
Tal como vimos na sess ao analise do Maple, essas superfcies podem ser representadas em
um mesmo sistema de coordenadas, como mostra a gura 30.
(Etapa 5) Descric ao do Crivo Geometrico: notamos que a intersecao das duas superfcies
e uma curva no plano y = 1. Essa curva e a circunferencia de raio 1 centrado no ponto
(0,1,0). A projec ao dessa curva no plano xy e a circunferencia de raio 1 centrada na
origem desse plano e corresponde ao domnio de denic ao das partes de superfcies que
determinam o s olido. Tal regi ao pode ser dada analiticamente por
R = {(x, z); 1 x 1,
1 x
2
z
1 x
2
}
em coordenadas cartesianas ou por
R = {(r, ); 0 r 1, 0 2}
em coordenadas polares. Com essa descric ao podemos obter os gr acos de y=x
2
+ z
2
e
y=2 x
2
z
2
ou y=r
2
cos
2
() + r
2
sen
2
() e y = 2 r
2
cos
2
() r
2
sen
2
() nesse domnio
respectivamente. Assim as instruc oes
>plot3d([x, x^2+z^2, z],x=-sqrt(1-z^2)..sqrt(1-z^2),z=-1..1,scaling=constrained,color=red)
>plot3d([x, 2-x^2-z^2, z],x=-sqrt(1-z^2)..sqrt(1-z^2),z=-1..1,scaling=constrained,color=green)
>display(%,%%)
retornam o s olido isolado ou crivado (gura 31)
38
Figura 31: Solido crivado
(Etapa 6) Observando as instru coes que permitiram
obter o s olido isolado, podemos notar que y varia da
superfcie do lado esquerdo de equac ao y = x
2
+ z
2
` a
superfcie do lado direito de equac ao y = 2 x
2
z
2
.
Assim, considerando a descric ao do Crivo Geometrico
podemos obter a seguinte representac ao analtica de
Q:
Q = {(x, y, z); (x, z) R, x
2
+ z
2
y 2 x
2
z
2
}
em coordenadas cartesianas, ou
Q = {(x, y, z); (x, z) R, r
2
y 2 r
2
}
em coordenadas cilndricas.
(Etapa 7) Com essa representac ao, podemos obter o seguinte registro por integral:
_
1
1
_

1x
2
1x
2
_
2x
2
z
2
x
2
+z
2
1dydzdx
em coordenadas cartesianas ou
_
1
0
_
2
0
_
2r
2
r
2
rdyddr.
(Etapa 8) Calcular a integral. Assim, inserimos no Maple a seguinte instrucao:
Int(Int(Int(1,y=x^2+z^2..2-x^2-z^2),z=-sqrt(1-x^2)..sqrt(1-x^2)),x=-1..1)=
int(int(int(1,y=x^2+z^2..2-x^2-z^2),z=-sqrt(1-x^2)..sqrt(1-x^2)),x=-1..1)
que retorna com o valor numerico dessa integral.
_
1
1
_

1x
2
1x
2
_
2x
2
z
2
x
2
+z
2
1dydzdx =
Deixamos para o leitor interessado a verica cao dessa integral em coordenadas cilndricas
no Maple. Notamos assim, que todos os registros utilizados no ambiente papel/lapis
s ao fundamentais para construc ao gr aca no ambiente computacional Maple, com forte
enfase no registro analtico. A tecnica utilizada para essa construc ao e baseada no Crivo
Geometrico, onde a interven cao do sujeito e fundamental para a construc ao do s olido.
A tarefa t
2.2
, que tambem e subtarefa de T
2
comporta o seguinte enunciado que reprodu-
zimos abaixo:
t
2.2
2
+
y
2
= 1 e x
2
+ z
2
= 1.
39
Para o c alculo da integral evidenciamos inicialmente no ambiente papel/lapis os registros
possveis para an alise da regi ao Q. Para facilitar os c alculos consideramos
1
8
dessa regi ao,
visto que esta e uma regi ao simetrica em rela cao aos planos coordenados. Em seguida
multiplicamos o resultado por 8 para obtermos o volume desejado.
(Etapas 1 e 2) Temos que x
2
+ y
2
= 1 e x
2
+ z
2
= 1 sao dois cilindros com os eixos z e y
como diretrizes respectivamente. Podemos obter essas superfcies utilizando as instruc oes
abaixo no Maple (etapa 3).
plot3d([cos(phi),sin(phi),z],phi=0..2*Pi,z=-1..1,color=yellow,scaling=constrained)
plot3d([cos(phi),y,sin(phi)],phi=0..2*Pi,y=-1..1,color=red,scaling=constrained)
que retornam as representacoes gr acas expostas nas guras 32 e 33 (etapa 4). Tal
como vimos na sessao de analise do Maple, essas superfcies podem ser representadas em
um mesmo sistema de coordenadas, como mostra a gura 34. (Etapa 5) Descric ao do
Figura 32: Repre-
sentacao no Maple
Figura 33: Repre-
sentacao no Maple
Figura 34: Repre-
sentacao no Maple
Crivo Geometrico: Como j a argumentamos anteriormente sobre a simetria dessa regiao,
realizamos as descric oes na parte do s olido localizado no primeiro octante. Assim, o
domnio de deni cao das partes das superfcies que delimitam o solido no primeiro octante
pode ser representada analiticamente por
R = {(x, y); 0 x 1, 0 y
1 x
2
}
em coordenadas cartesianas ou por
R = {(r, ); 0 r 1, 0

2
}
em coordenadas polares. Com essa descricao podemos obter os gr acos de x
2
+ y
2
= 1 e
x
2
+ z
2
= 1 nesses domnios respectivamente.
Assim, as instruc oes
>plot3d([x,sqrt(1-x^2),z],x=0..1,z=0..sqrt(1-x^2),color=yellow,scaling=constrained)
>plot3d([x,y,sqrt(1-x^2)],x=0..1,y=0..sqrt(1-x^2),color=red,scaling=constrained)
>A:=display(%,%%):
>plot3d([x,-sqrt(1-x^2),z],x=0..1,z=-sqrt(1-x^2)..0,color=yellow,scaling=constrained)
>plot3d([x,y,-sqrt(1-x^2)],x=0..1,y=-sqrt(1-x^2)..0,color=red,scaling=constrained)
>B:=display(%,%%):
>display(A,B)
>plot3d([x,y,-sqrt(1-x^2)],x=0..1,y=sqrt(1-x^2)..0,color=red,scaling=constrained)
>plot3d([x,sqrt(1-x^2),z],x=0..1,z=-sqrt(1-x^2)..0,color=yellow,scaling=constrained)
40
>C:=display(%,%%):
>display(A,B,C)
>plot3d([x,-sqrt(1-x^2),z],x=0..1,z=0..sqrt(1-x^2),color=yellow,scaling=constrained)
>plot3d([x,y,sqrt(1-x^2)],x=0..1,y=-sqrt(1-x^2)..0,color=red,scaling=constrained)
>E:=display(%,%%):
>plot3d([x,sqrt(1-x^2),z],x=0..-1,z=0..sqrt(1-x^2),color=yellow,scaling=constrained)
>plot3d([x,y,sqrt(1-x^2)],x=0..-1,y=0..sqrt(1-x^2),color=red,scaling=constrained)
>F:=display(%,%%):
>plot3d([x,-sqrt(1-x^2),z],x=0..-1,z=-sqrt(1-x^2)..0,color=yellow,scaling=constrained)
>plot3d([x,y,-sqrt(1-x^2)],x=0..-1,y=-sqrt(1-x^2)..0,color=red,scaling=constrained)
>G:=display(%,%%):
>plot3d([x,y,-sqrt(1-x^2)],x=0..-1,y=sqrt(1-x^2)..0,color=red,scaling=constrained)
>plot3d([x,sqrt(1-x^2),z],x=0..-1,z=-sqrt(1-x^2)..0,color=yellow,scaling=constrained)
>H:=display(%,%%):
>plot3d([x,-sqrt(1-x^2),z],x=0..-1,z=0..sqrt(1-x^2),color=yellow,scaling=constrained)
>plot3d([x,y,sqrt(1-x^2)],x=0..-1,y=-sqrt(1-x^2)..0,color=red,scaling=constrained)
>J:=display(%,%%):
>display(A,B,C,E,F,G,H,J)
retornam o s olido isolado ou crivado como mostra a gura 35
obter o s olido isolado, podemos notar que z varia do
plano xy ` a superfcie
1 x
2
. Assim, considerando
a descric ao do Crivo Geometrico podemos obter a se-
guinte representac ao analtica de Q
1
Q, onde Q
1
representa
1
8
de Q:
Q
1
= {(x, y, z); (x, y) R, 0 z
1 x
2
}
Q
1
= {(x, y, z); (x, y) R, 0 z
_
1 r
2
cos
2
()}
(Etapa 7) Com essa representac ao, podemos passar ao seguinte registro de integral:
_
1
0
_

1x
2
0
_

1x
2
0
1dzdydx
_
1
0
_
2
0
_

1r
2
cos
2
()
0
1rdzddr
(Etapa 8) Calcular a integral. Assim, inserimos no Maple a seguinte instrucao:
8*Int(Int(Int(1,z=0..sqrt(1-x^2)),y=0..sqrt(1-x^2)),x=0..1)=
8*int(int(int(1,z=0..sqrt(1-x^2)),y=0..sqrt(1-x^2)),x=0..1)
que retorna com o valor numerico dessa integral:
_
1
0
_

1x
2
0
_

1x
2
0
1dzdydx =
16
3
Podemos ainda explorar a regi ao Q
1
em coordenadas cilndricas. Da, inserimos no Maple
a instruc ao
41
8*Int(Int(Int(r,z=0..sqrt(1-r^2*cos(t)^2)),r=0..1),t=0..(1/2)*Pi)=
8*int(int(int(r,z=0..sqrt(1-r^2*cos(t)^2)),r=0..1),t=0..(1/2)*Pi)
que retorna
8
_
0
2
_
1
0
_

1r
2
cos
2
(t)
0
rdzdrdt =
16
3
Assim, da maneira que construmos o s olido crivado, a quantidade de pedacos que preci-
samos para determinar a representac ao gr aca da regi ao Q s ao muitos. Nessa construcao
precisamos conhecer todos os registros de representacao mostrados nesse trabalho e in-
clusive realizar intervenc oes no ambiente papel/l apis.
A tarefa t
2.3
2
comporta o seguinte enunciado que reprodu-
zimos abaixo:
t
2.3
2
, z = 4 y e
pelo plano xy.
Soluc ao:
(Etapas 1 e 2) Temos que y = x
2
e z = 4 y descrevem uma calha e um plano respecti-
vamente. O enunciado do problema j a evidencia o plano xy. Assim, podemos obter essas
superfcies utilizando as instrucoes abaixo no Maple (etapa 3).
plot3d([x,x
2
,z],x=-2..2,z=0..4,scaling=constrained,color=red)
plot3d([x,y,4-y],x=-2..2,y=0..4,scaling=constrained,color=green)
plot3d([x,y,0],x=-3..3,y=-1..5,scaling=constrained,color=yellow)
que retornam as representacoes gr acas expostas nas guras 36, 37 e 38 respectivamente.
Tal como vimos na sess ao de an alise do Maple, essas superfcies podem ser representadas
em um mesmo sistema de coordenadas, como mostra a gura 39 (etapa 4). (Etapa 5)
Figura 36: Repre-
sentacao no Maple
Figura 37: Repre-
sentacao no Maple
Figura 38: Repre-
sentacao no Maple
Figura 39: Repre-
sentacao no Maple
Descric ao do Crivo Geometrico: Notamos que a intersec ao da calha com o plano xy e o
plano z = 4 y determinam uma parabola de equa cao y = x
2
contida no plano xy e uma
reta paralela ao eixo x que passa no ponto (0, 4, 0) e tambem est a inteiramente contida
no plano xy. E o conjunto de pontos delimitados por essas curvas, determinam o domnio
42
de denic ao das partes das superfcies que delimitam o s olido. Tal regi ao pode ser dada
analiticamente por
R = {(x, y); 2 x 2, x
2
y 4}
Com essa descricao podemos obter os gr acos de x
2
+y
2
= 1 e x
2
+z
2
= 1 nesses domnios
respectivamente. Assim, as instruc oes
>plot3d([x,y,0],x=-2..2,y=x^2..4,scaling=constrained,color=yellow)
>plot3d([x,y,4-y],x=-2..2,y=x^2..4,scaling=constrained,color=green)
>plot3d([x,x^2,z],x=-2..2,z=0..4-x^2,scaling=constrained,color=red)
retornam o s olido isolado ou crivado, como mostra a gura 40.
obter o s olido isolado, podemos notar que z varia do
plano xy ` a superfcie 4 x
2
. Assim, considerando a
descric ao do Crivo Geometrico podemos obter a se-
guinte representac ao analtica de Q:
Q = {(x, y, z); (x, y) R, 0 z 4 x
2
}
(Etapa 7) Com essa representac ao, podemos passar ao registro da integral:
_
2
2
_
4
x
2
_
4y
0
1dzdydx
(Etapa 8) Calcular essa integral. Da, inserimos no Maple as seguintes instruc oes:
Int(Int(Int(1,z=0..4-y),y=x^2..4),x=-2..2)=int(int(int(1,z=0..4-y),y=x^2..4),x=-2..2)
Que retorna com:
_
2
2
_
4
x
2
_
4y
0
1dzdydx =
256
15
Analisamos a seguir a ultima tarefa proposta no ambiente computacional Maple.
t
2.4
) Q a regi ao do espa co tridimensional constituda pelas partes interiores dos solidos
_
x
2
+ y
2
e x
2
+y
2
+(z 1)
2
= 1.
Soluc ao:
(Etapas 1 e 2) Temos que z = 1 +
_
x
2
+ y
2
e um cone e x
2
+ y
2
+ (z 1)
2
= 1 e uma
esfera centrada no ponto (0,0,1) de raio 1. Podemos obter as superfcies correspondentes
utilizando as instru coes abaixo no Maple (etapa 3):
plot3d([cos(phi)*cos(theta),cos(phi)*sin(theta),sin(phi)+1],phi=0..2*Pi,theta=0..2*Pi,color=red)
plot3d(1+sqrt(x
2
+ y
2
),x=-1..1,y=-1..1,scaling=constrained,color=blue)
Que retorna as representac oes evidenciadas nas guras 41 e 42. Tal como vimos na sess ao
de analise do Maple, essas superfcies podem ser representadas em um mesmo sistema de
coordenadas, como mostra a gura 43 (etapa 4).
43
Figura 41: Repre-
sentacao no Maple
Figura 42: Repre-
sentacao no Maple
Figura 43: Repre-
sentacao no Maple
(Etapa 5) Descric ao do Crivo Geometrico: No ambiente papel/l apis deslocamos a esfera
e o cone de modo que n ao altere a valor numerico que representa o volume do s olido
delimitado por essas superfcies. Assim, deslocamos a esfera centrada em (0,0,1) e raio
1, para o centro no ponto (0,0,0) e raio 1, e tambem deslocamos o cone uma unidade
negativa em relacao ao eixo z. Da, notamos que a intersecao dessas duas superfcies e
uma curva no plano z =
1
2
. Essa curva e a circunferencia de raio
2
2
centrada no ponto
(0, 0,
1
2
). A projec ao dessa curva no plano xy e a circunferencia de raio
2
2
centrada na
origem desse plano, e corresponde ao domnio de denic ao das partes de superfcies que
delimitam o s olido. Tal regi ao pode ser dada analiticamente por
R =
_
(x, y);
1
2
x
1
2
,
_
1
2
x
2
y
_
1
2
x
2
_
em coordenadas cartesianas, ou por
R =
_
(r, ); 0 r
1
2
, 0 2
_
coordenadas polares. Com essa descric ao podemos obter os gr acos de z = 1 +
_
x
2
+ y
2
e x
2
+ y
2
+ (z 1)
2
= 1 nesses domnios, respectivamente. Assim, as instrucoes
>plot3d([r*cos(theta),r*sin(theta),sqrt(r^2*cos(theta)^2+r^2*sin(theta)^2)],theta=0..2*Pi,
r=0..1/sqrt(2),color=blue,scaling=constrained)
>plot3d([r*cos(theta),r*sin(theta),sqrt(1-r^2*cos(theta)^2-r^2*sin(theta)^2)],theta=0..2*Pi,
r=0..1/sqrt(2), color=green,scaling=constrained)
retornam o s olido isolado ou crivado, como mostra a gura 44.
44
(Etapa 6) Observando as instruc oes que permitiram obter o solido isolado, podemos notar
que z varia do cone z =
_
x
2
+ y
2
` a esfera x
2
+y
2
+z
2
= 1. Assim, considerando a descric ao
do Crivo Geometrico podemos obter a seguinte representac ao analtica de Q
1
:
Q
1
= {(x, y, z); (x, y) R,
_
x
2
+ y
2
z
_
1 x
2
y
2
}
Q
1
= {(r, , z); 0 r
2
2
, 0 2, r z
1 r
2
}
em coordenadas cilndricas, ou ainda
Q
1
= {(, , ); 0 1, 0

4
, 0 2}
em coordenadas esfericas.
(Etapa 7) Com essas representac oes podemos passar ao registro da integral:
_
2
0
_ 1
2
0
_

1r
2
r
rdzdrdt =
2
3
(
2 1)
(Etapa 8) Calcular a integral. Da, inserimos no Maple as seguintes instruc oes:
Int(Int(Int(r,z=r..sqrt(1-r^2)),r=0..1/sqrt(2)),t=0..2*Pi)=
int(int(int(r,z=r..sqrt(1-r^2)),r=0..1/sqrt(2)),t=0..2*Pi)
Que retorna com:
_
2
0
_ 1
2
0
_

1r
2
r
rdzdrdt =
2
3
(
2 1)
Deixamos ao cargo do leitor a vericac ao da integral tripla de f sobre Q, considerando
os outros tipos de coordenadas.
Assim, para o bom desempenho nas tarefas propostas para realizac ao no ambiente com-
putacional Maple, devemos saber realizar a convers ao e coordena cao entre os registros de
representa cao do CAVI.
5.4 Aplicacao das tarefas experimentais com alunos da Insti-
tuicao de Referencia
O objetivo dessa analise e vericar os tipos de registros de representacao semiotica utili-
zado pelos alunos participantes da pesquisa e analisar as estrategias utilizadas por eles na
resoluc ao das tarefas propostas tanto no ambiente papel/lapis como no ambiente computa-
cional Maple. A m de verica cao dos conhecimentos institucionais, faremos um confronto
entre a an alise a priori e a an alise que desenvolveremos aqui em torno das pr aticas dos
alunos. Para situar o leitor apresentamos inicialmente o questionario 1 em seguida o ins-
trumento que consiste na sequencia didatica utilizando o ambiente papel/l apis, discutido
45
na Organizac ao da Sequencia Did atica.
Essa sequencia didatica foi aplicada aos alunos do curso de Matem atica que no primeiro
semestre de 2011 j a haviam cursado pelo menos a disciplina C alculo III na Universidade
Estadual de Santa Cruz (UESC). No ato da aplicac ao, 3 alunos se zeram presentes e os
classicaremos como alunos A, B e C.
5.4.1 Analise a posteriori referente a SD no ambiente papel/lapis
O objetivo dessa analise e vericar os tipos de registros de representacao semiotica utili-
zado por alunos envolvidos na pesquisa e vericar as pr aticas efetivas desses estudantes
na aplicac ao da sequencia did atica. Confrontar a an alise a priori com essa analise, onde
podera surgir estrategias de resoluc ao das tarefas propostas que n ao prevemos na analise
a priori.
Inicialmente analisamos as respostas dadas no questionario 1 e as resolucoes feitas pelos
participantes da pesquisa no ambiente papel/l apis. Para analise dessas resoluc oes estabe-
lecemos alguns criterios.
De acordo com os dispositivos que compoem a sequencia did atica, o question ario 1 possui
as seguintes perguntas:
Questionario 1
1. Voce conhece o software Maple? Em que circunst ancia?
2. Voce j a usou outro tipo de software matem atico? Qual? Em que circunst ancia?
3. Certamente voce j a estudou Geometria Analtica (GA) e Calculo de Volumes por
Integrais (CAVI). Na sua opiniao, existem algumas relac oes entre GA e CAVI?
Quais?
4. J a estudou esses objetos (GA e CAVI) utilizando algum software matematico? Qual
software? Se sim, fale sobre sua experiencia adquirida nessa utiliza cao.
Assim, o aluno A respondeu:
1) Sim. Conheci o Maple no 3
o
semestre (do curso de Lic. em Matematica), quando estava utilizando
um computador do LAPEM
3
.
2) Utilizei os softwares: Winplot que conheci durante estudos realizados na disciplina Informatica
Aplicada ao Calculo; Cabri-Geometre, utilizado na disciplina Geometria Euclidiana Plana; Geogebra e
Scilab, ambos conheci pesquisando na internet motivado pelo uso do Winplot e Cabri-Geometre. Com
a participac ao na pesquisa PERSAC (Estudo das relacoes que emergem em sala de aula com uso de
ambientes computacionais) passei a utilizar com mais frequencia os softwares GeoGebra e Maple. Obs:
o software Maple foi utilizado na disciplina Calculo numerico para explanac oes de conceitos.
3) Sim. Algumas tecnicas usadas para CAVI envolvem representacoes analticas de conjuntos favo-
recendo o CAVI.
3
Laboratorio de Pesquisa em Ensino e Aprendizagem da Matematica em Ambiente Computacional
46
Quadro 2: Respostas do aluno A
4) Nunca utilizei software para o estudo de GA. Referindo-se ao CAVI, j a utilizei em computador
pessoal, mesmo nao sendo utilizado ocialmente em disciplinas de Calculo.
Como podemos notar nas respostas do aluno A, esse conhece bastantes softwares, num
total de 5. J a participou de uma pesquisa envolvendo ambiente computacional, onde
enfatiza o uso do GeoGebra e do Maple como os softwares que mais utilizou na pesquisa.
Esse aluno arma ainda que ha rela cao entre a Geometria Analtica (GA) e o Calculo de
Volumes por Integrais (CAVI), mas nao argumentou sobre essa rela cao. Ele nunca utilizou
nenhum software para o estudo de GA, no entanto, sua ultima resposta deixa claro sua
curiosidade em relacao ao estudo do CAVI envolvendo o ambiente computacional.
O aluno B respondeu:
Quadro 3: Respostas do aluno B
1) Ja, em mini-curso, mas nao tenho muita habilidade.
2) Ja, GeoGebra, Winplot: em aulas de Informatica Aplicada ao Calculo e em Desenho Geometrico
e Maple em mini-curso.
3) Em GA, aprendemos a calcular a distancia entre dois pontos marca o ponto em gracos tridimen-
sionais, coisas que sao muito uteis.
47
4) Para estes dois especicamente nao trabalhei com software.
Nas respostas do aluno B, podemos notar que ele conhece tres softwares, incluindo o
Maple, no entanto, arma n ao ter muita habilidade com esse ultimo. Na pergunta 3,
sobre sua opini ao na existencia de relacoes entre GA e CAVI, ele n ao deixa claro se ha ou
n ao a tal relacao, onde explana alguns conhecimentos adquiridos na disciplina GA.
Diferente do aluno A, o aluno B nunca utilizou softwares para o estudo do CAVI, e mesmo
conhecendo o software Maple, n ao o utilizou como instrumento de estudo nas disciplinas
de calculo, onde encontramos nosso objeto de estudo.
O aluno C respondeu:
Quadro 4: Respostas do aluno C
1) Nao. Ja tive contato com tal software em uma pesquisa.
2) Winplot, nas disciplinas introducao ao c alculo e informatica aplicada ao calculo e em dois mini-
cursos que ministrei. GeoGebra, na disciplina desenho geometrico. Cabri Geometre na disciplina geome-
tria euclidiana plana e em mini-curso que participei.
3) Sim. No estudo de areas e volumes por integral ha necessidade da representacao gr aca. Alem
disso, para calcular a area e volumes por integral, precisamos representar tais objetos analiticamente. Por
isso, acredito que existe relac ao entre GA e CAVI.
4) Sim. Estudei o CAVI por meio do Winplot (por iniciativa propria) quando z calculo IV. Utilizei
tal software com o intuito de visualizar tais superfcies e os solidos.
Portanto, os tres alunos que participaram da sequencia didatica j a tiveram contato com
o software Maple, dois deles ja participaram de uma pesquisa que envolve o ambiente
computacional e todos eles tambem j a tiveram contato com outros softwares. O fato
desses alunos conhecerem o software Maple, pode colaborar para o bom desempenho destes
na pesquisa. Uma observacao interessante e que esses tres alunos, no ato da aplica cao
da sequencia, ja haviam cursado a disciplina C alculo IV, que e uma disciplina optativa
para o curso de licenciatura em matem atica e obrigat oria no curso de bacharelado em
48
matem atica.
Para an alise das respostas reproduzidas pelos participantes da pesquisa nas tarefas t
1
` a t
4
,
que s ao subtarefas de T
1
, da sequencia utilizando o ambiente papel/l apis, consideramos
os seguintes criterios:
C
1
: Representac ao analtica da regiao Q.
C
1a
: Descric ao da regiao Q analiticamente, destacando assim o conjunto de
pontos que est ao nessa regi ao.
C
1b
: Descri cao de uma representac ao analtica que n ao corresponde a regi ao Q.
C
2
: Representar gracamente da regiao Q.
C
2a
: A representacao graca de cada superfcie de equacao, foi tracada correta-
mente.
C
2b
: O solido foi tracado sem as partes de superfcies que nao interessa, ou seja,
o solido foi tracado de forma isolada.
C
2c
: Tracado da representac ao gr aca correta, mas n ao corresponde ao problema
em questao.
C
2d
: Tra cado da representac ao graca correta, mas n ao corresponde as tecnicas
de representac ao graca do espaco tridimensional.
C
3
: Descric ao da integral tripla sobre Q.
C
3a
: A integral tripla foi descrita corretamente.
C
3b
: A integral tripla n ao corresponde a integral do problema em questao.
C
4
: Responde mais do que o necess ario, fornecendo informa coes erroneas.
De acordo com os dispositivos experimentais que comp oem a sequencia did atica, a tarefa
t
1
que e subtarefa T
1
consiste na seguinte pergunta:
T
1
Em cada situacao abaixo, calcule a integral tripla de f(x, y, z) = 1 sobre a regi ao
t
1
y = x
2
+ z
2
e y = 2 x
2
z
2
.
Assim, a partir dos criterios estabelecidos acima, temos os seguintes dados brutos das
respostas feitas pelos alunos em relac ao a tarefa t
1
, como mostra a tabela 7:
Tabela 7: Dados das respostas dos alunos na tarefa T
1
, t
1
Criterio C
1
C
2
C
3
C
4
C
1a
C
1b
C
2a
C
2b
C
2c
C
2d
C
3a
C
3b
P. Efetiva - 1 2 - 1 1 1 1 -
% 0 33,3 66,6 0 33,3 33,3 33,3 33,3 0
Com base na tabela 7, podemos notar a diculdade em expor a integral tripla de f(x, y, z) =
1 sobre a regi ao Q. Apenas um aluno tentou evidenciar a representac ao analtica mas
n ao explicou que se tratava dessa a sua intensao, onde de qualquer forma, n ao delimitou
a regiao Q analiticamente de maneira correta.
49
Figura 45: Tarefa t
1
Aluno A
Na tentativa de representar gracamente a regi ao
Q, o aluno A construiu duas parabolas con-
tidas em um dos planos coordenados, a -
gura 45 mostra a representac ao feita por esse
aluno. As tecnicas utilizadas por ele, nao cor-
responde às tecnicas de representacao gr aca em
tres dimensoes (criterio C
2d
) e sua representac ao
gr aca nao corresponde ao problema em quest ao
(criterio C
2c
). Como podemos notar nessa gura,
esse aluno nao nomeia os eixos coordenados, dicultando assim a maneira de construir Q
gracamente.
No ato da aplicac ao dessa sequencia houve algumas perguntas e questionamentos por
parte dos participantes. Nessa tarefa, o aluno A nao soube identicar inicialmente que os
gr acos de equac oes y = x
2
+ z
2
e y = 2 x
2
z
2
s ao paraboloides, achando ele que a
representa cao gr aca dessas superfcies de equa coes eram cilindros. Todavia, mesmo ao
apresentar uma representa cao gr aca, esta n ao corresponde ao gr aco de cada superfcie
de equac ao y = x
2
+ z
2
e y = 2 x
2
z
2
.
Figura 46: Tarefa t
1
Aluno B
O aluno B representou gracamente es-
ses paraboloides de maneira correta, no
entanto, nao apresenta o s olido delimi-
tado pela regi ao Q de maneira isolada
(criterio C
2a
). Ap os construc ao da repre-
sentac ao gr aca, esse aluno tenta conhe-
cer as variac oes m aximas de x, y e z, ou
seja, ele tenta esbocar a regi ao Q analiti-
camente, mas foi infeliz na sua tentativa
(criterio C
1b
). Da, como sua representacao
analtica nao e a representa cao da regiao
Q, o aluno B determina uma integral tripla
que nao corresponde ` a integral sobre a regi ao em questao (criterio C
3b
) e consequentemente
obtem outro valor numerico ao resolve-la. A gura 46 mostra os registros construdos por
esse aluno.
O aluno C tambem representou cada paraboloide de maneira correta, como mostra a
gura 47, mas n ao apresenta o s olido delimitado pela regi ao Q de maneira isolada (criterio
C
2a
). Em suas anotacoes notamos a ausencia do registro analtico da regiao do problema,
onde passa direto ao registro da integral, que por sua vez est a correta (criterio C
3a
), no
entanto, ao passar para coordenadas cilndricas houve uma confusao de sua parte, onde
essa nova integral, agora em coordenadas cilndricas, n ao e equivalente ` a integral dada
em coordenadas cartesianas, obtendo assim, um valor numerico que n ao corresponde ao
valor da integral pedida na tarefa. No ato da aplica cao dessa sequencia no ambiente
papel/l apis, esse aluno fez alguns questionamentos, apresentando muita diculdade em
montar a integral tripla de f(x, y, z) = 1 sobre Q. Ele ainda tentou apresentar o registro
analtico dessa regi ao, mas n ao conseguiu.
A segunda tarefa, que tambem e subtarefa de T
1
, comporta o seguinte enunciado:
t
2
2
+
50
Figura 47: Tarefa t
1
Aluno C
y
2
= 1 e x
2
+ z
2
= 1.
A partir dos criterios estabelecidos acima, temos os seguintes dados brutos das respostas
feitas pelos alunos em relacao a t
2
Tabela 8: Dados das respostas dos alunos em t
2
Criterio C
1
C
2
C
3
C
4
C
1a
C
1b
C
2a
C
2b
C
2c
C
2d
C
3a
C
3b
P. Efetiva 1 2 - - 2 2 3 - -
% 33,3 66,6 0 0 66,6 66,6 100 0 0
A partir desses dados, podemos notar que nenhum aluno conseguiu esbocar o gr aco da
regi ao delimitada por Q, no entanto, como veremos a seguir, todos conseguem montar de
maneira correta a integral tripla de f sobre a regi ao dada, e dentre esses alunos, apenas
um deles expos as varia coes de x, y e z varrendo toda a regiao Q. Como descrito na an alise
a priori, todos eles tambem usaram a simetria desse s olido para obter o valor numerico
da integral tripla em quest ao.
O aluno A determinou os valores de x, y e z que localizam-se em
1
8
da regi ao Q, mais
precisamente no primeiro octante, onde essas variac oes nao corresponde a toda regi ao em
quest ao (criterio C
1b
). Ate entao nenhum aluno escreveu uma representac ao analtica de
modo explcito, mas de qualquer maneira podemos notar nas escritas desse aluno que as
varia coes de x, y e z foram uma das primeiras coisas a serem escritas. Na representac ao
gr aca feita, foi tracado um s olido no primeiro octante, mas que nao corresponde a parte
do solido delimitado por Q e tambem contido no primeiro octante (criterio C
2c
). Ao mon-
tar a integral tripla, o aluno A usa a simetria do solido, e como ele ja havia determinado
analiticamente
1
8
da regiao em questao, mesmo nao tendo escrito tal representac ao de
forma explcita, ele monta sua integral a partir dessas variac oes, multiplicando-a por 8 e
51
Figura 48: Tarefa t
2
Aluno A
obtendo assim, o valor numerico correspondente a integral tripla de f sobre Q (criterio
C
3a
). A gura 48 mostra as escritas desse aluno em t
2
. No ato da aplicac ao, mesmo
achando as variac oes para x, y e z, ele se questiona sobre como montar a integral tripla,
se questionando inclusive sobre a ordem de integracao. No momento de calcular a inte-
gral determinada por ele, foi observado a diculdade em resolve-la, havendo momentos
de esquecimento sobre como utilizar o Teorema Fundamental do C alculo.
Figura 49: Tarefa t
2
Aluno B
O aluno B determinou todos os pontos
(x, y, z) que estao delimitados pela regiao
Q, e mesmo n ao tornando explcito, essa
e a representac ao analtica delimitada pe-
las superfcies de equac oes dadas no pro-
blema (criterio C
1a
). Na representac ao
gr aca feita por esse aluno, podemos perce-
ber que ele traca duas circunferencias con-
tidas nos planos xz e yx respectivamente,
que foram tracadas corretamente, mas n ao
corresponde ao gr aco do problema em
quest ao, alem disso as tecnicas utilizadas
por ele n ao correspondem as tecnicas de
representa cao gr aca do espaco tridimen-
sional (criterios C
2c
e C
2d
). Isso nos leva a
questionar sobre a confusao feita por alu-
nos de gradua cao na passagem das inte-
grais duplas para as triplas, pois no espaco
bidimensional o gr aco de equa cao x
2
+y
2
= 1 determina um crculo de raio 1 centrado na
origem, enquanto que o gr aco dessa mesma equa cao no espaco tridimensional representa
um cilindro. Na passagem do registro analtico para o integral esse aluno utiliza a simetria
do s olido, determinando assim a integral tripla de
1
8
da regiao Q e multiplicando-a por 8
para obtencao do valor numerico que corresponde a integral tripla de f sobre Q (criterio
C
3a
). A gura 49 mostra o manuscrito feito pelo aluno B.
No momento da aplicac ao dessas tarefas, o aluno C apresentou fortes diculdades para
determinar a representac ao graca de cada superfcie separadamente, e como podemos
perceber nos manuscritos desse aluno, na representac ao gr aca fornecida, como mostra
52
Figura 50: Tarefa t
2
Aluno C
a gura 50, n ao se utilizou tecnicas de representa cao gr aca do espaco tridimensional
(criterio C
2d
), onde este tambem traca um crculo e tem diculdades similares ao aluno B
para representar por exemplo o graco de equac ao x
2
+ y
2
= 1 no espaco tridimensional.
O aluno C apresenta uma variac ao que entendemos como uma regi ao do tipo R
x
=
{(x, y); 0 x 1, 0 y
1 x
2
}, e monta a integral tripla que corresponde a
1
8
do solido delimitado por Q e a determina de maneira correta (criterio C
3a
), encontrando
assim, o valor numerico que representa a integral tripla de f sobre Q.
A terceira tarefa que tambem e subtarefa T
1
comporta o seguinte enunciado:
t
3
2
, z = 4 y e
pelo plano xy.
A partir dos criterios estabelecidos acima, temos os seguintes dados brutos das respostas
feitas pelos alunos em relacao a tarefa t
3
3
Criterio C
1
C
2
C
3
C
4
C
1a
C
1b
C
2a
C
2b
C
2c
C
2d
C
3a
C
3b
P. Efetiva 1 - 1 2 1 - 2 1 -
% 33,3 0 33,3 66,6 33,3 0 66,6 33,3 0
A partir da tabela 9 podemos notar que quase todos os alunos conseguiram montar a inte-
gral pedida no problema de maneira correta e dois deles apresentaram o solido delimitado
por Q de forma isolada, ou seja, sem as partes das superfcies que nao interessa.
As guras 51 e 52 apresentam as representac oes construdas pelo aluno A.
Como podemos perceber em seus manuscritos, ele tenta apresentar as varia coes de x, y e
z, mas n ao chega a completar sua ideia, onde no ato da aplicac ao, apresenta diculdades
53
Figura 51: Manuscrito do aluno A Figura 52: Manuscrito do aluno A
para expor tais variac ao e ainda em seus questionamentos nota-se a ausencia de conceitos
fundamentais para construc ao de uma integral. Em seguida ele inicia a construc ao de
cada superfcie (criterio C
2a
). Nota-se ainda que esse aluno tem a visualizac ao graca
correta do problema e chega a montar o s olido de forma isolada (criterio C
2b
). Final-
mente ele apresenta a integral tripla sobre a regi ao Q, mas num primeiro instante esse
aluno apresenta o seguinte registro por integral:
_
4y
0
_
y
_
4
0
dydxdz que e incorreto, pois
basta notar que o domnio de integrac ao e R
x
= {(x, y); 2 x 2, x
2
y 4} ou
R
y
= {(x, y);
y x
y, 0 y 4}, ou seja, n ao houve um reconhecimento inicial

do domnio de integrac ao. E logo em seguida ele apresenta o seguinte registro por integral:
_
4
0
_
y
_
4y
0
dzdxdy que e uma integral tripla sobre Q, com o domnio de integra cao do
tipo R
y
.
Figura 53: Tarefa t
3
Aluno B
Na gura 53, podemos notar no manus-
crito do aluno B que ele tem uma visua-
lizac ao gr aca correta do problema, onde
j a apresenta inicialmente o solido isolado
(criterio C
2b
) e logo ao lado dessa repre-
sentac ao gr aca ele evidencia as varia coes
m aximas de x, y e z, ou seja, e eviden-
ciado o registro analtico da regi ao de-
limitada por Q (criterio C
1a
) de modo
implcito. A partir desse ultimo registro
o aluno monta a integral tripla de ma-
neira correta, onde usa a simetria do s olido
(criterio C
3a
). Assim, podemos notar a
maior facilidade desse aluno, comparado
ao aluno A, em passar da representacao
gr aca para o registro analtico e conse-
quentemente para a integral tripla de f so-
bre Q.
O aluno C construiu uma parte do s olido,
54
Figura 54: Tarefa t
3
Aluno C
onde no momento da aplicac ao dessa sequencia esse aluno n ao conseguiu de fato tracar
a representac ao graca do plano z = 4 y, e como podemos observar na gura 54, este
plano e a parte do s olido delimitado por Q que est a faltando tracar para nalizar o graco
do s olido em questao. Portanto, a representac ao gr aca est a correta, mas nao e o solido
delimitado por Q, se enquadrando assim no criterio C
2c
.

E not avel ainda, que esse aluno
tenta usar a simetria do solido para montar a integral tripla sobre Q, mas n ao multiplica a
integral por 2, visto que foi analisado apenas metade do domnio de integracao. Portanto,
mesmo que fosse colocado a ordem de integra cao, a integral escrita por esse aluno n ao cor-
responde a integral sobre Q (criterio C
3b
). Todavia, percebe-se diculdades na passagem
do registro gr aco para o registro analtico e as manipula coes algebricas apresentadas n ao
ajudam na construc ao da integral.
A tarefa t
4
que tambem e subtarefa da tarefa T
1
comporta o seguinte enunciado:
t
4
_
x
2
+ y
2
e x
2
+y
2
+(z 1)
2
= 1.
Agora, a partir dos criterios estabelecidos acima, temos os seguintes dados brutos das
respostas feitas pelos alunos em relac ao a tarefa t
4
4
Criterio C
1
C
2
C
3
C
4
C
1a
C
1b
C
2a
C
2b
C
2c
C
2d
C
3a
C
3b
P. Efetiva 1 - 1 - - - 1 - -
% 33,3 0 33,3 0 0 0 33,3 0 0
A partir dos dados apresentados na tabela 10, podemos notar a diculdade em resolver
essa tarefa, onde apenas um aluno conseguiu realiz a-la com exito, sendo que os outros
dois n ao sabiam que a representac ao gr aca da superfcie de equac ao z = 1 +
_
x
2
+ y
2
e
um cone deslocado uma unidade na direcao do eixo z. Assim como realizado na an alise a
priori, o aluno que resolveu essa tarefa tambem deslocou o s olido para origem, facilitando
assim seus c alculos.
O unico aluno que tentou resolver essa tarefa, e com exito, foi o aluno B. Em suas
anotac oes e not avel o reconhecimento das representacoes gr acas de cada superfcie dada
no problema, se enquadrando no criterio C
2a
. Na passagem da representac ao graca para
55
Figura 55: Tarefa t
4
Aluno B
o registro analtico, utilizou-se conceitos de coordenadas esfericas, deslocando a esfera com
centro no ponto (0,0,1) e raio 1, para o centro no ponto (0,0,0) e raio 1, facilitando assim
a visualizac ao da varia cao de , e (criterio C
1a
). Todavia, nao deixa evidente que ao
deslocar essa esfera deve-se deslocar de modo equivalente o cone, mas de qualquer forma
a integral descrita por esse aluno esta correta (criterio C
3a
) e corresponde a integral tripla
de f(x, y, z) = 1 sobre Q, obtendo assim, atraves de manipula coes algebricas e utilizando
conceitos de integrais, seu respectivo valor numerico. A gura 55 mostra as anota coes
desse aluno.
A ultima subtarefa de T
1
proposta aos estudantes comporta o enunciado que retomamos
abaixo:
t
5
Explique o que representa matematicamente e sicamente cada resultado obtido
acima. O que estaramos calculando se f(x, y, z) = 1?
Para analise das praticas dos estudantes em t
5
, consideramos os seguintes criterios:
C
1
: Reconhecimento de que as integrais triplas calculadas representam, matemati-
camente e sicamente, um volume de uma regiao, quando f(x, y, z) = 1.
C
2
: Interpreta que quando f(x, y, z) = 1, matematicamente a integral tripla repre-
senta o calculo de uma regi ao cujo domnio nao est a mais no R
2
.
56
C
3
: Interpreta que quando f(x, y, z) = 1, sicamente, existem algumas aplicac oes,
como o c alculo de massa, centro de massa e o momento de inercia.
C
4
: Nao reconhece que quando f(x, y, z) = 1, a integral tripla de f sobre Q repre-
senta um volume.
C
5
: Nao reconhece algumas aplicac oes fsicas quando f(x, y, z) = 1.
Agora, a partir dos criterios estabelecidos acima, temos os seguintes dados brutos das
respostas feitas pelos alunos em relac ao a t
5
5
Criterio C
1
C
2
C
3
C
4
C
5
P. Efetiva 2 1 - - 2
% 66,6 33,3 0 0 66,6
Nessa subtarefa de T
1
, apenas dois sujeitos a responderam e analisamos portanto apenas
essas duas respostas.
O manuscrito do aluno A em t
5
apresenta a seguinte responta:
Matematicamente os calculos realizados representam o volume das regioes dadas em
cada item. Nao sei o que representa quando f(x, y, z) = 1.
A partir da resposta apresentada pelo aluno A, podemos enquadr a-lo nos criterios C
1
e
C
5
. Apesar do reconhecimento de que quando f(x, y, z) = 1 a integral tripla de f sobre
Q representa um volume, este reconhecimento n ao foi imediato.
O manuscrito do aluno B em t
5
apresenta a seguinte resposta:
Cada resultado obtido acima representa o calculo do volume de um solido. Caso
f(x, y, z) = 1, estaramos utilizando o solido como regiao de integracao e estaramos
calculando uma coisa em 4
a
dimensao que ainda nao sei o nome, porque nao existe si-
camente.
A partir da resposta apresentada pelo aluno B, podemos enquadra-lo nos criterios C
1
, C
2
e C
5
. Como todos os participantes da pesquisa j a cursaram a disciplina Calculo IV e, pelo
menos teoricamente, ja viram aplicacao fsicas da integral tripla quando f(x, y, z) = 1,
mesmo assim nenhum deles recordaram dessas aplicacoes.
Analisamos, a seguir, as pr aticas dos alunos no ambiente computacional Maple. Antes dos
alunos resolverem as tarefas propostas no Maple, os mesmos participaram de um mini-
curso, onde apresentamos esse ambiente, mostramos aos alunos o entrave que havamos
observado em relac ao ao conceito de func ao e apresentamos a tecnica Crivo Geometrico
e construmos o solido que evidenciamos na An alise do Swokowski.
5.4.2 Analise a posteriori referente a SD aplicada no ambiente computacional
Maple
Inicialmente analisamos as estrategias utilizadas pelos alunos para resoluc ao das tarefas
no ambiente computacional Maple. Para an alise dessas estrategias, estabelecemos alguns
57
criterios. Em seguida analisamos as respostas dadas no question ario 2.
Para analise das estrategias reproduzidas pelos participantes da pesquisa nas tarefas t
2.1
` a
t
2.4
, que s ao subtarefas de T
2
das quest oes propostas com o uso do ambiente computacional
Maple, consideramos os seguintes criterios:
C
1
: Representac ao graca do solido delimitado por Q.
C
1a
: A representac ao graca de cada superfcie foi construda corretamente,
considerando ainda as partes que nao estao delimitadas por Q.
C
1b
: O gr aco de cada superfcie foi construdo sobre a regi ao Q separadamente.
C
1c
: O s olido foi tracado sem as partes de superfcies que n ao interessa, ou seja,
o solido foi tracado de forma isolada.
C
1d
: A representac ao gr aca nao corresponde ao problema.
C
2
: Substituic ao correta da expressao da funcao utilizando um comando para o
c alculo de integral e aplicac ao correta de tecnicas () sobre esse comando.
C
3
: Substituic ao incorreta da expressao da funcao utilizando um comando para o
c alculo de integrais.
A tarefa t
2.1
proposta aos estudantes, no Maple, comporta o enunciado que retomamos
abaixo:
T
2
Em cada situacao abaixo, obtenha a representac ao gr aca do espaco tridimensional
Q delimitado pelas superfcies das equac oes indicadas e calcule a integral tripla de
f(x, y, z) = 1 sobre Q.
t
2.1
y = x
2
+ z
2
e y = 2 x
2
z
2
.
A partir dos criterios estabelecidos acima, temos os seguintes dados brutos das tecnicas
reproduzidas pelos alunos em relacao a tarefa t
2.1
Tabela 12: Dados das respostas dos alunos na tarefa t
2.1
Criterio C
1
C
2
C
3
C
1a
C
1b
C
1c
C
1d
P. Efetiva - 3 3 - 3 -
% 0 100 100 0 100 0
Os dados dessa tabela mostram que utilizando a tecnica Crivo Geometrico, os sujeitos ja
n ao tra cam mais os gracos das superfcies separadamente e sem vnculo, eles realizam
as manipula coes necessarias para que cada superfcie esteja delimitada pela regiao Q,
construindo assim, apenas a parte de interesse de cada superfcie, tal que, ao junt a-las no
Maple, o s olido tome sua forma pedida na tarefa, ou seja, o solido se apresenta crivado.
Nessa tarefa, para representac ao gr aca de Q, os alunos utilizaram suas respostas apresen-
tadas no ambiente papel/l apis para evidenciar os limites de integrac ao. Utilizando esses
58
c alculos, os alunos A, B e C inseriram no Maple instruc oes bastante similares, relativas
ao comando plot3d respectivamente. Assim, por simplicidade, expomos aqui apenas as
instruc oes inseridas pelo aluno A, como segue:
plot3d([x,x
2
+ z
2
,z],x=-sqrt(1-z
2
)..sqrt(1-z
2
),z=-1..1,scaling=constrained,color=blue)
ga1:=%
plot3d([x,2-x
2
z
2
,z],x=-1..1,z=-sqrt(1-x
2
)..sqrt(1-x
2
),scaling=constrained)
ga2:=%
display(ga1,ga2)
onde obteve as seguintes representacoes gr acas evidenciadas nas guras 56, 57 e 58:
Figura 56: cons-
trucao do aluno A no
Maple
Figura 57: cons-
Maple
Figura 58: cons-
Maple
Assim, como podemos notar, o aluno A, bem como todos os outros, n ao representaram
gracamente cada superfcie separadamente, sem as partes que n ao estao delimitadas
por Q. Agora os alunos utilizam as anotac oes realizadas no ambiente papel/l apis, para
realizar a construc ao de cada superfcie sobre a regiao Q (criterio C
1b
), onde aqueles que
n ao representaram analiticamente a regiao Q de maneira correta, tiveram que representar
analiticamente essa regi ao de modo correto. Assim, uma vez construda cada superfcie
sobre Q, basta utilizar a tecnica de recupera cao display para obter de forma correta o
s olido de forma isolada, se enquadrando no criterio C
1c
.
Como todos conseguiram determinar a representacao gr aca de Q de forma isolada, todos
passaram ao registro da integral de maneira correta, onde utilizaram a representac ao
analtica para a passagem ao registro da integral tripla. Como todos os alunos inseriram
as mesmas instruc oes no Maple, apresentamos apenas as instruc oes inseridas pelo aluno
A, como segue:
Int(Int(Int(1,y=x
2
+ z
2
..2x
2
z
2
),z=-sqrt(1-x
2
)..sqrt(1-x
2
)),x=-1..1)
value(%)
Portanto, houve avanco por parte dos participantes da pesquisa, em relac ao a essa tarefa,
pois no ambiente papel/l apis, estes n ao responderam de maneira adequada o problema,
no entanto, no ambiente computacional Maple, conhecendo a tecnica Crivo Geometrico,
todos eles determinaram de maneira correta a regi ao Q de forma isolada e utilizando a
representa cao analtica, que nesse ambiente representaram de maneira correta, passaram
59
ao registro da integral tripla de f(x, y, z) = 1 sobre Q.
A tarefa t
2.2
2
, apresenta o seguinte enunciado:
t
2.2
2
+
y
2
= 1 e x
2
+ z
2
= 1.
Nessa subtarefa, todos os alunos apresentaram representac oes gracas distintas, e como
apresentamos a seguir, apenas um deles apresentou o solido crivado, no entanto, todos
conseguiram montar a integral tripla de f(x, y, z) = 1 sobre Q.
A partir dos criterios estabelecidos acima, temos os seguintes dados brutos das tecnicas
reproduzidas pelos alunos em relacao a tarefa t
2.2
2.2
Criterio C
1
C
2
C
3
C
1a
C
1b
C
1c
C
1d
P. Efetiva 1 1 1 1 3 -
% 33,3 33,3 33,3 33,3 100 0
Como podemos perceber na tabela 13, h a uma variedade muito grande entre erros e acertos
neste item, em relacao a constru cao do crivo. Por outro lado, como todos j a haviam
respondido de maneira correta o c alculo da integral tripla, no ambiente computacional
esse fato se repetiu.
Ao tentar montar o solido Q dado em t
2.2
, o aluno A inseriu no Maple as seguintes
instruc oes:
plot3d([sqrt(1-y
2
),y,z],z=0..1,y=0..z,scaling=constrained,color=green)
gb1 := %
plot3d([sqrt(1-z
2
),y,z],z=-4..4,y=0..1,scaling=constrained,color=blue)
gb2 := %
display(gb1, gb2)
onde o Maple retornou com as representac oes gr acas dadas nas guras 59, 60 e 61
respectivamente.
Da, a representac ao gr aca encontrada por esse aluno, n ao corresponde a representa cao
gr aca pedida no problema, e como podemos perceber nas instruc oes inseridas por esse
aluno no Maple, que este n ao utiliza de maneira adequada a representac ao analtica e por
isso n ao obteve exito na constru cao do solido utilizando a tecnica Crivo Geometrico, se
enquadrando no criterio C
1d
.
Em rela cao a integral tripla de f(x, y, z) = 1 sobre Q, todos os alunos obtiveram o mesmo
valor numerico, onde utilizaram as anotac oes realizadas no ambiente papel/lapis sobre
o registro analtico de Q para construc ao da integral no Maple. Assim, todos eles se
enquadram no criterio C
2
, onde inseriram no Maple a seguinte instruc ao:
60
Figura 59: Dados do aluno A Figura 60: Dados do aluno A Figura 61: Dados do aluno A
Int(Int(Int(1,z=-sqrt(1-x
2
)..sqrt(1-x
2
)),y=-sqrt(1-x
2
)..sqrt(1-x
2
)),x=-1..1)
value(%)
16
3
Na construc ao da regi ao Q, o aluno B inseriu no Maple as seguintes instrucoes:
plot3d([x,y,-sqrt(1-x
2
)],x=-1..1,y=-sqrt(1-x
2
)..sqrt(1-x
2
),scaling=constrained,color=red)
J := %
plot3d([x,y,sqrt(1-x
2
)],x=-1..1,y=-sqrt(1-x
2
)..sqrt(1-x
2
),scaling=constrained,color=yellow)
M := %
plot3d([x,sqrt(1-x
2
),z],z=-1..1,x=-sqrt(1-z
2
)..sqrt(1-z
2
),scaling=constrained,color=blue)
N := %
plot3d([x,-sqrt(1-x
2
),z],z=-1..1,x=-sqrt(1-z
2
)..sqrt(1-z
2
),scaling=constrained,color=green)
Q := %
display(Q, N, M, J)
onde o Maple retornou com as representac oes gracas apresentadas nas guras 62 à 66
respectivamente.
Figura 62: Figura 63: Figura 64: Figura 65: Figura 66:
O aluno B utilizou muito bem o registro analtico para constru cao do solido Q no Maple.
61
A construc ao desse solido que realizamos na analise a priori, possui um maior n umero de
instruc oes, e a construc ao realizada pelo aluno B e mais simplicada e mais acessvel. Ele
determinou a representac ao das partes de cada cilindro sobre Q separadamente (criterio
C
1b
) e utilizando o display p ode juntar as constru coes realizadas, onde o produto nal
e o solido isolado, se enquadrando no criterio C
1c
. E como j a foi dito anteriormente,
nessa tarefa todos os alunos se enquadram no criterio C
2
, onde para a construc ao da
integral tripla de f(x, y, z) = 1 sobre Q, os alunos realizaram inicialmente, ou pelo menos
tentaram realizar, a construc ao da representac ao graca do s olido Q de forma isolada e
para tal construc ao, a Representac ao Analtica (RA) faz-se necess aria, em seguida, ainda
utilizando RA, os sujeitos puderam passar ao registro da integral tripla, pedida.
O aluno C inseriu no Maple as seguintes instrucoes:
plot3d([sqrt(1-y
2
),y,z],y=-1..1,z=-1..1,scaling=constrained,color=green)
plot3d([-sqrt(1-y
2
),y,z],y=-1..1,z=-1..1,scaling=constrained,color=red)
A := display(%, %%)
plot3d([sqrt(1-z
2
),y,z],y=-1..1,z=-1..1,scaling=constrained,color=yellow)
plot3d([-sqrt(1-z
2
),y,z],y=-1..1,z=-1..1,scaling=constrained,color=blue)
B := display(%, %%)
display(A, B)
onde o Maple retornou com as seguintes representac oes gracas apresentadas nas guras
67 à 71.
Figura 67: Figura 68: Figura 69: Figura 70: Figura 71:
Assim, como podemos perceber nas representac oes gracas encontradas pelo aluno C, este
consegue apenas determinar o graco de cada superfcie apresentada em t
2.2
, ainda com
as partes que nao est ao delimitadas por Q (criterio C
1a
), onde esse aluno n ao utilizou de
modo adequado a representac ao analtica nas instruc oes inseridas por ele no Maple para
determinar o solido Q de maneira isolada. Portanto, alem de conhecer a representa cao
analtica, o sujeito precisa utiliza-la de maneira adequada na construc ao do crivo.
Portanto, como no ambiente papel/l apis os alunos nao conseguiram determinar a re-
presentacao gr aca de Q e no ambiente computacional pelo menos um aluno conseguiu
determinar o solido de maneira isolada, consideramos que houve avanco, pois a simples
visualizac ao do solido pode permitir que o sujeito compreenda melhor tarefas que envol-
vem o calculo de volume por integrais, pois na constru cao do solido crivado o registro
analtico se faz presente, podendo passar ao registro da integral tripla de f sobre Q.
A tarefa t
2.3
que tambem e subtarefa de T
2
apresenta o seguinte enunciado:
62
t
2.3
2
, z = 4 y e
pelo plano xy.
A partir dos criterios estabelecidos anteriormente, temos os seguintes dados brutos das
tecnicas reproduzidas pelos alunos em relac ao a tarefa t
2.3
Tabela 14: Dados das respostas dos alunos nn tarefa t
2.3
Criterio C
1
C
2
C
3
C
1a
C
1b
C
1c
C
1d
P. Efetiva - 3 3 - 3 -
% 0 100 100 0 100 0
Como podemos notar na tabela 14, todos os alunos obtiveram exito neste item, onde a
representa cao analtica foi evidenciada de maneira correta por todos e a forma com esta re-
presentacao foi inserida na utilizac ao do comando plot3d([x(t,s),y(t,s),z(t,s)],t=a..b,s=c..d,options)
favoreceu para a construcao do solido crivado.
Nessa tarefa, notamos que todos os alunos haviam inserido no Maple a mesma instruc ao,
tanto em relac ao a representac ao gr aca de Q, quanto a integral tripla de f(x, y, z) = 1
sobre Q. Portanto, por simplicidade expomos apenas uma dessas construc oes. Da, es-
colhemos as construc oes realizadas pelo aluno A, que inseriu as seguintes instruc oes no
Maple:
plot3d([x,x
2
,z],z=0..4-x
2
,x=-2..2,scaling=constrained,color=blue)
gc1 := %
plot3d([x,y,4-y],y=x
2
..4,x=-2..2,scaling=constrained,color=red)
gc2 := %
plot3d([x,y,0],y=x
2
..4,x=-2..2,scaling=constrained,color=yellow)
gc3 := %
display(gc1, gc2, gc3)
onde o Maple retornou as representac oes gr acas expostas nas guras 72 ` a 75.
Figura 72: Figura 73: Figura 74: Figura 75:
Em seguida, para determinar a integral tripla de f(x, y, z) = 1 sobre Q, esse aluno inseriu
no Maple a seguinte instruc ao:
63
Int(Int(Int(1,z=0..4-y),x=-sqrt(y)..sqrt(y)),y=0..4)
value(%)
256
15
Portanto, na tarefa t
2.3
houve um grande avanco em rela cao a mesma tarefa realizada
no ambiente papel/l apis, pois, nesse ultimo ambiente, dos tres participantes da pesquisa
apenas dois deles conseguiram determinar a integral tripla de f(x, y, z) = 1 sobre Q e
desses dois, apenas um conseguiu obter o valor numerico correto dessa integral. J a no
ambiente computacional, todos conseguiram obter exito em todos os requisitos solicitados
em t
2.3
e inclusive as tecnicas utilizadas pelos participantes da pesquisa foram similares
as tecnicas que utilizamos para construc ao desse s olido na an alise a priori.
Apresentamos a seguir as an alises da tarefa t
2.4
que tambem e subtarefa de T
2
, e apresenta
o seguinte enunciado:
t
2.4
_
x
2
+ y
2
e x
2
+y
2
+(z 1)
2
= 1.
A partir dos criterios estabelecidos anteriormente, temos os seguintes dados brutos das
estrategias realizadas pelos alunos em relac ao a tarefa t
2.4
2.4
Criterio C
1
C
2
C
3
C
1a
C
1b
C
1c
C
1d
P. Efetiva - 1 1 1 - 1
% 0 33,3 33,3 33,3 0 33,3
Assim, como podemos perceber na tabela acima, nenhum aluno conseguiu determinar a
integral tripla pedida, onde apenas um participante determinou uma regi ao mais proxima
da regiao Q, que foi o aluno A, que inseriu no Maple as seguintes instru coes:
plot3d([x,y,1+sqrt(x
2
+ y
2
)],x=-sqrt(1/2-y
2
)..sqrt(1/2-y
2
),y=-1..1,scaling=constrained,color=yellow)
gd1 := %
plot3d([x,y,1+sqrt(1-x
2
y
2
)],x=-sqrt(1/2-y
2
)..sqrt(1/2-y
2
),y=-1..1,scaling=constrained,color=blue)
gd2 := %
display(gd1, gd2)
onde o Maple retornou com as representa coes gr acas apresentadas nas guras 76, 77 e
78 respectivamente.
Esse aluno foi o unico a apresentar a representa cao graca mais pr oxima da regi ao Q,
pois como podemos notar nas guras acima, a representac ao graca de cada superfcie
encontrada por ele esta faltando alguns pedacos e uma justicativa para essa ausencia
e porque a representac ao analtica nao foi utilizada de maneira adequada para obtenc ao
64
Figura 76: Figura 77: Figura 78:
da regi ao Q, mas podemos enquadra-lo nos criterios C
1b
e C
1c
. Assim, podemos armar
mais uma vez que alem de conhecer a representac ao analtica de Q, e preciso saber uti-
liz a-la de maneira adequada para obtenc ao do solido crivado. Da, a construc ao de um
s olido utilizando a tecnica Crivo Geometrico n ao e uma tarefa evidente. E como a Repre-
sentac ao Analtica (RA) utilizada por esse aluno nao e exatamente a RA de Q, a integral
evidenciada tambem possui alguns erros, onde foi inserido no Maple a seguinte integral:
_
1
1
_

1
2
y
2
1
2
y
2
_
1+
1x
2
y
2
1+
x
2
+y
2
1dzdxdy
onde o Maple apresentou um erro. Portanto, o enquadramos no criterio C
3
O aluno B inseriu no Maple as seguintes instrucoes:
plot3d([x,y,1+sqrt(x
2
+ y
2
)],y=-1..1,x=-sqrt(1-y
2
)..sqrt(1-y
2
),scaling=constrained,color=blue)
H := %
plot3d([theta,phi,2*cos(phi)],phi=0..(1/4)*Pi,theta=0..2*Pi,scaling=constrained,color=red)
Y := %
plot3d([x,y,1-sqrt(1-x
2
y
2
)],y=-1..1,x=-sqrt(1-y
2
)..sqrt(1-y
2
),scaling=constrained,color=green)
C := %
display(H, Y, C )
onde o Maple retornou com as seguintes representac oes gracas apresentadas nas guras
79 à 82 respectivamente.
Figura 79: Figura 80: Figura 81: Figura 82:
Notamos nas instruc oes inseridas no Maple pelo aluno B, que a Representac ao Analtica
(RA) utilizada n ao corresponde a RA de Q, o que reforca nossa armac ao de que a RA e
fundamental para a compreensao de estudos sobre o c alculo de volumes por integrais.
O aluno C nao respondeu essa tarefa e portanto passamos a apresentac ao das respostas
65
dadas pelos participantes da pesquisa em relac ao ao segundo question ario. Essas respostas
foram apresentadas no ambiente computacional Maple, onde inicialmente apresentamos
as respostas dadas pelos participantes da pesquisa, em seguida realizamos um coment ario
geral sobre essas respostas. Para situar o leitor apresentamos novamente as perguntas
que zeram parte do segundo questionario:
Questionario 2
1. Em sua opiniao, existe alguma relac ao entre os objetos de estudo da Geometria
Analtica (GA) e o C alculo de Volumes por Integral (CAVI)? Qual?
2. Fale sobre sua experiencia adquirida ou n ao durante a sua participac ao nesse projeto.
3. Que sugestoes voce daria para o melhor aproveitamento de sujeitos nesse tipo de
trabalho utilizando ambientes computacionais de aprendizagem.
Assim, o aluno A respondeu:
1) Sim. A analise feita em torno de elementos, os quais queremos realizar esses calculo, envolve
conhecimentos da geometria analtica.
2) Eu ja conhecia o software Maple, como tambem ja tinha estudado sobre os assuntos abordado,
porem, percebi que sem fazer uma revisao tive muitas d uvidas em utilizar os saberes envolvidos, tanto os
comandos do software, quanto os saberes da disciplina.
O aluno B respondeu:
1) Acredito que sim, pois depois que estudei GA tive muitas nocoes do espaco e do plano, coisas que
sao muito uteis para o tratamento no calculo de volumes por integral
2) Tive uma experiencia muito boa, pois ja havia esquecido muita coisa do programa, e pude relembrar
de muitos comandos.
3) Que antes de introduzir os conte udos matem aticos, e muito importante trabalhar bastante o pro-
grama para quando for apresentado o conte udo matematico, facilitaria muito no momento das resoluc oes
das atividades, podendo visualizar os s olidos e suas planicacoes.
O aluno C respondeu:
2) A experiencia adquirida foi muito graticante, pois, pude relembrar alguns conceitos. Alem disso,
construir um solido no Maple, e depois poder visualiza-lo enriquece a aprendizagem.
3) Acredito que para os sujeitos participantes de pesquisa obterem exito na realizacao das tarefas
propostas e essencial ter conhecimento tecnico do software. Por isso, seria essencial se o tempo de
duracao do mini-curso fosse maior.
Portanto, os alunos reconhecem a rela cao entre Geometria Analtica (GA) e as Integrais
M ultiplas (IM), onde para todos a utiliza cao do software Maple p ode beneciar o estudo
do C alculo de Volumes por Integrais (CAVI). Como foi observado anteriormente, esses
alunos j a haviam cursado a disciplina C alculo IV, e como podemos notar nas respostas
do question ario 2 apresentadas acima, suas diculdades em responderem as tarefas foram
justicadas pelo esquecimento anteriormente adquiridos no estudo do CAVI, bem como
no esquecimento dos comandos do Maple. E para o melhor aproveitamento de trabalhos
66
envolvendo sujeitos utilizando o ambiente computacional, foi sugerido um maior tempo
de durac ao no contato entre os participantes da pesquisa e o ambiente computacional,
facilitando assim no momento de resoluc ao das tarefas.
6 Considerac oes Finais
Ao longo dos nossos estudos, realizamos an alises sobre as relac oes entre os objetos da
Geometria Analtica (GA) e o C alculo de Volumes por Integrais M ultiplas (CAVI). Nessa
relac ao, percebemos que nos livros didaticos escolhidos para analise, nao e evidenciado,
quase em momento algum, o ensino de GA no espaco tridimensional. Como as Integrais
M ultiplas (IM) alimentam-se via representac ao gr aca, consideramos que as praticas ins-
titucionais da GA deveriam tratar com mais enfase no estudo de representac oes gr acas
no espaco tridimensional.
Nas an alises dos livros didaticos, identicamos a presen ca de cinco registros de repre-
sentac ao: a Linguagem Materna, o Registro Gr aco, o Registro Analtico, o Registro
Algebrico e o Registro por Integral. Dentre esses registros de representacao, entendemos
que o analtico, assume import ancia exclusiva no estudo do CAVI, no entanto, n ao e
evidenciado de maneira explcita nos livros analisados, onde esses livros s ao geralmente
bastante utilizados nessa institui cao de referencia (o curso de matem atica da UESC).
Alem disso, o ambiente computacional Maple e um instrumento que permite o estudo
do CAVI. Na an alise do Maple, evidenciamos algumas estrategias de construc ao de re-
presentacoes gr acas, onde para as representac oes de regioes no espaco tridimensional,
destacamos a tecnica Crivo Geometrico, que n ao e tao evidente. Identicamos ainda um
entrave no Maple, em particular, no conceito de func ao, onde recorremos a sintaxe de
parametrizac ao para realizar as construcoes de s olidos isolados. Notamos ainda a forte
relac ao entre a representacao analtica e a constru cao de uma regi ao no espaco tridimensi-
onal utilizando a tecnica Crivo Geometrico no Maple, pois nas instruc oes utilizadas para
construc ao de um solido crivado no Maple, a intervenc ao do sujeito e fundamental, e nas
instruc oes inseridas devem aparecer a representac ao analtica de uma regi ao no espaco
tridimensional. Da, podemos concluir que a utilizac ao do software Maple e muito impor-
tante na construcao do conhecimento de sujeitos que estudam o CAVI.
Na aplicacao da sequencia did atica, os sujeitos puderam conhecer a tecnica Crivo Geometrico
e a forte relac ao desta com a representacao analtica de uma regiao tridimensional. Como
o ndice de acertos no ambiente computacional foi maior que no ambiente papel/lapis,
consideramos que a utilizac ao do Maple pode beneciar alem da visualizac ao adequada
da regiao em quest ao, a passagem para o registro da integral tripla mediado pelo registro
analtico, tornando assim explcito esse ultimo registro e evidenciado sua import ancia.
Referencias
HENRIQUES, A. Dinamicas dos elementos da geometria plana em ambiente
computacional Cabri-Gèometre II. [S.l.]: Ilheus, 2001. 200 p.
67
HENRIQUES, A. LEnseignement Et Lapprentissage des Integrales Multiples:
Analyse Didactique Integrant Lusage du Logiciel Maple. Tese (Doutorado) Universite
Joseph Fourier, 2006.
HENRIQUES, A. REFLEX
OES SOBRE AN
ALISE INSTITUCIONAL E
SEQU
ENCIA DID
ATICA: o caso do ensino e aprendizagem de integrais m ultiplas.

indenido, p. 47, 2011.
HENRIQUES, A.; ATTIE, J. P.; FARIAS, L. M. S. Referencias Teoricas da Didatica
Francesa: an alise did atica visando o estudo de integrais m ultiplas com auxlio do
software maple. Revista Educacao Matematica Pesquisa, v. 9.1, p. 29, 2007. Disponvel
em: <http://sites.google.com/site/gpemac/artigos Acesso: 4 de abril de 2010>.
LEITHOLD, L. Calculo com Geometria Analtica. 3. ed. [S.l.]: Harbra Ltda: Sao
Paulo, 1994.
SWOKOWSKI, E. W. Calculo com Geometria Analtica. 2. ed. [S.l.]: Traduc ao
Afredo Alves de Faria. Macro Books: Sao Paulo, 1994.
68

TCC Estudo de Conversao e Coodenacao de Registros de Represetacao o Caso de Integrais Multiplas VICTOR

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

TCC Estudo de Conversao e Coodenacao de Registros de Represetacao o Caso de Integrais Multiplas VICTOR

Uploaded by

Copyright:

Available Formats

UNIVERSIDADE ESTADUAL DE SANTA CRUZ-UESC

ENCIAS EXATAS E TECNOL

y, 0 y 4}, ou seja, n ao houve um reconhecimento inicial

ATICA: o caso do ensino e aprendizagem de integrais m ultiplas.

You might also like