Você está na página 1de 72

FERNANDA APARECIDA FERREIRA

DIMAS FELIPE DE MIRANDA












DEMONSTRAES EM GEOMETRIA
EUCLIDIANA:

Uma seqncia Didtica como recurso
metodolgico para seu ensino

















2008


2





























FICHA CATALOGRFICA
Elaborada pela Biblioteca da
Pontifcia Universidade Catlica de Minas Gerais


Ferreira, Fernanda Aparecida
F383d Demonstraes emgeometria euclidiana: uma seqncia didtica
como recurso metodolgico para seu ensino / Fernanda Aparecida Ferreira , Dimas
Felipe de Miranda. Belo Horizonte : FUMARC/PUC-MG, 2008.
67 p. : il. (Ensino de Cincias e Matemtica, 2)

Bibliografia.

1. Geometria euclidiana Estudo e ensino. 2. Teoria das
demonstraes Estudo e ensino. I. Miranda, Dimas Felipe de. II. Pontifcia
Universidade Catlica de Minas Gerais. Mestrado emEnsino de Cincias e
Matemtica. III. Ttulo.

CDU: 513.81

Bibliotecria : Mnica dos Santos Fernandes Rodrigues CRB 6/1809

3


PREFCIO


Este trabalho um produto decorrente de um processo de pesquisa no Mestrado
de Ensino de Cincias e Matemtica da PUC-Minas, cujo objetivo mais amplo era
trabalhar com Tcnicas de Demonstrao no ensino de Geometria Euclidiana.

A demonstrao desempenha um papel central na teorizao da Matemtica e no
desenvolvimento do raciocnio lgico dedutivo. Julgou-se, ento, oportuno extrair
do material da pesquisa o presente produto, com uma didtica apropriada para
facilitar o trabalho dos que se propem a ensinar ou estudar a demonstrao em
geometria.

Uma seqncia de atividades sobre demonstraes geomtricas esto disponveis
nesta publicao. As atividades foram especialmente preparadas dentro de uma
linha metodolgica definida e testadas durante o processo da pesquisa. Aps o
contato com estas atividades, muitas outras podem ser preparadas pelo prprio
usurio que tenha interesse docente.

A inteno que este trabalho, como modelo didtico-metodolgico, contribua
para o desenvolvimento de habilidades e de conceitos geomtricos, de raciocnio
lgico e, em suma, de compreenso do processo de demonstrao em geometria.

Espera-se que este material didtico seja til aos que ensinam e mais ainda aos que
aprendem.

Os autores.






4

INTRODUO



Caro (a) leitor (a),

Juntamente com as atividades disponibilizadas neste livro, apresenta-se o aporte
terico utilizado para a concepo e modelamento da seqncia didtica. Os
objetivos de cada atividade que compem a seqncia so expostos, direcionando
o futuro uso do material.

Apresenta-se tambm uma descrio de cada uma das atividades, para que o leitor
se oriente e compreenda a lgica utilizada no desenvolvimento das tarefas.





















5

SUMRIO




1 A SEQNCIA DIDTICA ................................................................................................................... 6
1.1 Finalidade da seqncia didtica ................................................................................................ 6
1.2 Concepes do modelo proposto ................................................................................................ 8
1.3 Engenharia da seqncia didtica ............................................................................................. 11
1.4 Aplicao da seqncia didtica................................................................................................ 14
2 ATIVIDADES DA SEQUNCIA APRESENTAO E DESCRIO ..................................................... 15
Atividade I ........................................................................................................................................... 15
Atividade II .......................................................................................................................................... 24
Atividade III ......................................................................................................................................... 30
Atividade IV ........................................................................................................................................ 38
Atividade V .......................................................................................................................................... 49
RESPOSTAS DAS ATIVIDADES DA SEQUNCIA .................................................................................. 56
REFERNCIAS BIBLIOGRFICAS ................................................................................................... 69
































6

1 A SEQNCIA DIDTICA


Apresentamos aqui, a seqncia didtica, destacando sua concepo, os
procedimentos adotados na execuo da seqncia, a descrio das atividades
propostas e os objetivos de cada atividade.

Ressaltamos que, neste trabalho, no temos a pretenso de determinar a
melhor forma de trabalhar as demonstraes matemticas no ensino de Geometria
Euclidiana, mas, sim, de criar propostas metodolgicas alternativas para os que
interessam em aventurar-se neste campo da Matemtica, despertando um olhar
crtico na aquisio de tcnicas de demonstrao e na compreenso dos
conceitos geomtricos envolvidos no processo de demonstrar.

Evidenciamos que nosso trabalho foi direcionado para alunos de um curso
de formao de professores de Matemtica, dessa forma, toda nossa descrio ser
respaldada neste aspecto. Entretanto, frizamos que as atividades da seqncia
podem ser estendidas para outros nveis de ensino e, servir de material de apoio
para professores e estudantes.

1.1 Finalidade da seqncia didtica

Adotar uma proposta metodolgica para introduzir tcnicas de
demonstrao em um curso de licenciatura em Matemtica para alunos que
cursam as disciplinas de Geometria Plana e Espacial. Para conduzirmos nosso
trabalho na elaborao da seqncia didtica, consideramos os seguintes
aspectos:

- motivar os alunos, realizando uma abordagem histrica sobre o
sistema formal seus elementos e a importncia da demonstrao
matemtica na Geometria. Usamos textos para desempenhar este
papel;
7

- apresentar aos alunos os diferentes registros de representao e
como mobiliz-los na aquisio de uma demonstrao;
- trabalhar o estatuto do teorema, definindo hipteses e teses e a
importncia de distingui-los no teorema;
- expor e solicitar figuras geomtricas associadas a teoremas,
propriedades e definies;
- evidenciar a seqncia lgica envolvida em esquemas de
demonstraes e a necessidade da mesma durante todo o processo;
- oferecer subsdios que levem o aluno a redigir uma demonstrao
em dois registros de representao: natural e algbrico, com o
auxlio da representao figural.

Para alcanarmos os objetivos traados, utilizando-se das teorias estudadas,
organizamos nossa seqncia de acordo com o modelo abaixo:


















Figura 1: Modelo utilizado para trabalhar tcnicas de demonstrao
Fonte: Dados da Pesquisa
Determinao das dificuldades dos
alunos:
Experincia profissional e diagnstico
Apresentao do sistema formal: reconhecimento
do estatuto de seus elementos, a saber:
postulados, definies, propriedades e teoremas.
Destacar/
determinar as
hipteses e teses
de um teorema
Elaborao da seqncia
Registros de
representao
Congruncia e no-
congruncia entre os
registros de
representao.
Justificaes
entre relaes
estabelecidas
Estatuto das figuras
geomtricas; identificao
de elementos implcitos
nos teoremas
Aquisio
parcial da
prova
Aquisio
integral da
prova
Redao da demonstrao
Visualizao
Caixa de
ferramentas
Raciocnio
X
Visualizao Caixade
ferramentas
Tratamento das
informaes
Transposio
didtica
Demonstrao
Mobilizao dos registros
de representao figural,
algbrico e natural;
mudanas de registros

8

1.2 Concepes do modelo proposto

De acordo com o levantamento bibliogrfico realizado em nossa pesquisa
1

percebemos que o ensino de Geometria tem sugerido vrias discusses no mbito
do seu ensino e aprendizagem, porm, no que diz respeito ao ensino efetivo das
demonstraes em Geometria (euclidiana), as discusses, em sua maioria, esto
aliceradas no papel que a prova matemtica desempenha neste ensino e sobre as
diversas facetas que se pode atribuir demonstrao matemtica. Trabalhamos
com a idia de que a demonstrao matemtica um processo e no um produto.
Uma atividade do pensamento que, por meio de uma seqncia lgica, conectada
ao estatuto dos elementos inerentes ao processo, procura, por meio de
argumentaes, produzir um discurso que convena os outros da veracidade de
um enunciado.

Em nossa seqncia, tentamos trabalhar a demonstrao de acordo com o
conceito dado por Balacheff (1987), caracterizando a demonstrao como uma
atividade complexa do raciocnio, intervindo em capacidades cognitivas,
metodolgicas e lingsticas. Para tal, buscamos, na teoria de Registros de
Representao Semitica de Duval, adaptar nossa proposta na busca de atividades
que contribussem para a aquisio/ compreenso de tcnicas de demonstrao.

Duval (1995) acredita que a Geometria envolve trs processos cognitivos,
sinergicamente imbricados: a visualizao, a construo e o raciocnio e, estes, so
indispensveis para a sua aprendizagem. Para ele, um dos maiores problemas
relacionados aprendizagem da Geometria so as formas de apreender e registrar
as figuras geomtricas e, no caso da demonstrao, na distino do raciocnio
argumentativo e o raciocnio dedutivo.

No raciocnio dedutivo, com vistas demonstrao, Duval afirma que as
proposies esto organizadas de acordo com seu estatuto e que esta organizao
ocorre por substituies de proposies, como em um clculo. Todavia, a heurstica

1
Para maiores informao, ver Demonstraes em Geometria Euclidiana: o uso da seqncia
didtica como recurso metodolgico em um curso de licenciatura em Matemtica (FERREIRA,
2008. Dissertao de Mestrado em ensino de Matemtica, PUC/ MG)
9

de problemas envolvendo a Geometria est baseada em registros espaciais que
permitem interpretaes autnomas, classificadas por Duval em: apreenso
seqencial, apreenso discursiva, apreenso perceptiva e apreenso operatria.
pela distino das apreenses da figura que a resoluo de um problema
geomtrico e o tipo de raciocnio que este exige sero determinadas.

A distino entre as apreenses perceptivas e discursivas , para Duval, um
dos problemas centrais na compreenso dos conceitos geomtricos por meio das
figuras, pois nem sempre possvel visualizar todas as informaes que um
enunciado estabelece pela sua representao figural. Dessa forma, a apreenso
operatria fundamental, pois nela que ajustes sero feitos, na busca da
soluo do problema, utilizando-se da operao de reconfigurao intermediria.

Para que ocorra uma compreenso do estatuto das figuras geomtricas e
das formas de apreenses das mesmas, necessrio um trabalho com distintos
registros de representao. Duval afirma que a mobilizao desses registros
fundamental para a funo cognitiva do pensamento humano. Acreditamos, como
ele, que a conscincia do que vem a ser uma demonstrao somente ocorre numa
articulao de dois registros, em que um deles a linguagem natural. Essa tomada
de conscincia surge da interao entre a representao nodiscursiva
produzida e o discurso expresso. O reconhecimento dos objetos matemticos e
suas caractersticas, fator necessrio na articulao de conhecimentos para
aquisio de uma prova, s sero apreendidos na unio de diferentes registros
desses objetos.

Para os sujeitos, uma representao pode apenas
funcionar como representao, isto , lhes dar acesso
ao objeto representado, quando duas condies forem
preenchidas: que eles disponham ao menos de dois
sistemas semiticos diferentes para produzir a
representao de um objeto, de uma situao ou de
um processo e, que eles possam converter
espontaneamente um sistema semitico em outro
(DUVAL, 1995, p.22).
10


Com base nas idias de DUVAL e nas produes estudadas, percebemos que
obstculos foram evidenciados na tentativa de trabalhar as demonstraes no
ensino de Geometria. Dentre eles, destacamos os de natureza epistemolgica,
didtica e lingstica:

1. Obstculos epistemolgicos: inerentes ao prprio conhecimento sobre
demonstrao, s suas caractersticas e ao seu desenvolvimento. Obstculos
apontados:

- a coordenao de diferentes registros de representao no ocorre
espontaneamente;
- o conceito de demonstrao (vimos, no captulo destinado ao estudo
da demonstrao, que matemticos, filsofos e educadores tm
opinies diferentes sobre a demonstrao matemtica e o papel que
ela desempenha);
- a figura geomtrica pode se destacar como um obstculo, pois, ao
mesmo tempo em que contribui na explorao de conceitos na
obteno de uma demonstrao, ela nem sempre facilita enxergar
as propriedades atribudas hiptese de um enunciado;
- o aluno no entende a necessidade de provar algo que ele observa
na figura;
- a falta de compreenso entre a relao semntica entre os registros
de representao utilizados em uma demonstrao pode constituir
um obstculo na percepo da seqncia lgica envolvida no
processo de demonstrar.

2. Obstculos didticos: relacionados com as estratgias de ensino.
Destacamos:

- a formao dos professores, baseada na analogia (modelos), no
permite um trabalho crtico e compreensivo da demonstrao; dessa
11

forma ocorre um obstculo na mobilizao dos conceitos envolvidos
em um determinado problema (Pavanello, 2002);
- os livros didticos no costumam apresentar problemas que
envolvam, efetivamente, a demonstrao (Gouva, 1998);
- os problemas geomtricos tm sido tratados de forma experimental,
sem uma preocupao com a sistematizao do processo.

3. Obstculos lingsticos: relacionados compreenso dos textos
apresentados, seja em linguagem natural ou matemtica:

- leitura fragmentada dos enunciados matemticos, acarretando em
dificuldades de entender o problema;
- os alunos conseguem raciocinar corretamente na soluo de um
problema, mas no conseguem responder a questionamentos com
argumentos precisos.

Fundamentados e orientados pelas idias expostas, desenvolvemos nossa
seqncia didtica no intuito de trabalhar tcnicas de demonstrao. O fizemos de
tal forma que a demonstrao se caracterizasse mais como uma hierarquia de
tarefas do que uma hierarquia de contedos, privilegiando a compreenso dos
processos e de habilidades a serem desenvolvidas para a aquisio e a articulao
de conceitos geomtricos.

1.3 Engenharia da seqncia didtica


Com a finalidade de trabalhar tcnicas de demonstrao de forma significativa,
a seqncia didtica proposta tem como objetivos principais:
- trabalhar, inicialmente, os postulados, propriedades, definies e
teorema como objetos de estudo de um sistema formal;
- clarificar o estatuto do teorema, de forma que as hipteses e a tese
sejam reconhecidas e distinguidas no mesmo;
- esclarecer que o recproco de um teorema nem sempre verdadeiro;
12

- evidenciar o estatuto da figura geomtrica, de forma que seus atributos
fundamentais estejam associados s hipteses de um teorema;
- utilizar os postulados, definies, propriedades e teoremas como
ferramentas indispensveis na produo de uma demonstrao;
- estabelecer uma rede semntica e lgica entre os esquemas de
demonstraes, os enunciados, as figuras geomtricas e as ferramentas
utilizadas.

Para alcanarmos nossos objetivos, dividimos a seqncia em cinco atividades,
cada qual com um objetivo especfico.

a) Objetivos da Atividade 1:

- apresentar os elementos de um sistema formal;
- fazer as distines dos elementos de um sistema formal;
- trabalhar os diferentes registros de representao;
- apresentar ferramentas necessrias para se fazer uma demonstrao;
- evidenciar hipteses e teses de um enunciado;
- trabalhar as relaes entre os conceitos primitivos por meio dos
postulados.

b) Objetivos da Atividade 2:

- destacar a congruncia e a no-congruncia entre os registros de
representao;
- reforar a mobilizao entre os registros de representao;
- determinar a figura geomtrica da hiptese e da tese a partir de
teoremas.

c) Objetivos da Atividade 3:

- apresentar o recproco de um teorema;
- escrever o recproco de um teorema e o teorema unificado;
13

- apresentar ferramentas de "justificao";
- trabalhar a veracidade do recproco atravs de contra-exemplos.

d) Objetivos da Atividade 4:

- ressaltar os tipos de demonstraes;
- trabalhar as hipteses de um teorema como ferramenta fundamental na
obteno de uma demonstrao;
- apresentar caixas de ferramentas auxiliares para a demonstrao de um
teorema;
- apresentar esquemas de demonstrao em registros de representao
distintos;
- destacar a congruncia semntica dos registros de representao at
ento trabalhados;

e) Objetivos da Atividade 5:

- criao de caixa de ferramentas para demonstrao;
- elaborao de esquemas de demonstrao.

Esperamos que, ao final da seqncia, os alunos sejam capazes de:

- reconhecer a lgica de um sistema formal;
- trabalhar na mobilizao de diferentes registros de representao;
- reconhecer o estatuto de um teorema;
- reconhecer o estatuto da figura geomtrica;
- desenvolver habilidades de raciocinar logicamente em problemas
envolvendo demonstraes;
- conseguir redigir uma demonstrao.



14

1.4 Aplicao da seqncia didtica

Nossa seqncia didtica foi aplicada a alunos do 4 perodo de um curso de
licenciatura plena em matemtica na regio metropolitana de Belo Horizonte do
perodo noturno. A turma foi escolhida por se tratar de alunos que j haviam
cursado a disciplina de Geometria Plana e estava cursando a disciplina de
Geometria Espacial, da qual a pesquisadora era a professora. Assim escolhemos, no
intuito de tentar amenizar as dificuldades que os mesmos relataram, ao responder
o questionrio, a respeito de se fazer uma demonstrao em geometria e sobre o
que realmente uma demonstrao.

Para a aplicao da seqncia, contamos com 8 aulas, cada uma delas com
uma hora e quarenta minutos de durao. O tempo foi suficiente para a
apresentao das atividades que compunham a seqncia e para todas as
discusses que surgiram durante a aplicao. Os encontros com a turma eram
semanais.

Todas as atividades da seqncia foram entregues pela prpria
pesquisadora que, ao final de cada aula (aplicao de uma atividade), recolheu as
atividades feitas pelos alunos.

Os alunos tiveram a liberdade de fazer as atividades individualmente ou em
duplas, porm, as duplas foram supervisionadas constantemente pela
pesquisadora, para que os alunos no fizessem cpias uns dos outros. Apenas na
ltima atividade a pesquisadora solicitou que os alunos a desenvolvessem
individualmente.

Ressaltamos que estabelecemos como regra que os alunos fizessem
ordenadamente as atividades de nossa seqncia e, caso percebessem que erros
foram cometidos ao longo do desenvolvimento das tarefas, estes no deveriam ser
retomados, a no ser oralmente. Assim foi determinado para que as dificuldades
encontradas nas solues dos problemas servissem de fonte de informaes para
melhor analisarmos o progresso dos alunos na execuo da seqncia.
15

2 ATIVIDADES DA SEQUNCIA APRESENTAO E DESCRIO

Atividade I

Atividade I - Sistema formal: reconhecendo o estatuto dos conceitos,
postulados, definies, teoremas e os registros de representao

Como os objetivos da primeira atividade estavam centrados no
reconhecimento de um sistema formal, seus elementos e as relaes entre os
mesmos, inicialmente apresentamos um breve texto-histrico, evidenciando a
criao feita por Euclides de uma formatao lgica dos conceitos geomtricos.
Ressaltamos a noo de ponto, reta e plano e apresentamos alguns postulados e
definies que seriam, posteriormente, ferramentas fundamentais para o
aprendizado da tcnica de demonstrao, assim como o reconhecimento do
estatuto dos elementos inerentes de um sistema formal.

Trabalhamos tambm com a representao desses elementos em linguagem
natural, algbrica e figural por achar importante a mobilizao destes registros
como um facilitador da aquisio do processo de se demonstrar (fundamentao
terica).

A organizao lgica da geometria euclidiana:

"Euclides , provavelmente, o autor cientfico melhor sucedido que j
existiu. Seu famoso livro, Os Elementos, um tratado sobre geometria e
teoria dos nmeros. Por cerca de dois mil anos, todo estudante que
aprendeu geometria, aprendeu-a de Euclides. E durante todo este
tempo, Os Elementos serviram como modelo de raciocnio lgico para
todo o mundo.
Ningum sabe, hoje, exatamente, o quanto da geometria contida nos
Elementos trabalho de Euclides. Alguma parte dela pode ter sido
baseada em livros que j existiam antes e algumas das idias mais
16

importantes so atribudas a Eudoxus, que viveu mais ou menos na
mesma poca. De qualquer forma, dos livros que chegaram at ns, Os
Elementos o primeiro que apresenta a geometria de uma forma
lgica, organizada, partindo de algumas suposies simples e
desenvolvendo-se por raciocnio lgico" (Moise e Downs, 1971).


Elementos e conceitos fundamentais

Conceitos primitivos: Termos simples e fundamentais que no so definidos,
"nascem" em nossa mente pela observao e experincia (intuitivamente). Nossos
conceitos primitivos sero o ponto, a reta e o plano.

Registro de representao (linguagens): Nossos registros sero feitos na
linguagem natural, algbrica e geomtrica (figura), buscando compreender a
sinergia entre as mesmas.

Linguagem natural Linguagem algbrica Linguagem geomtrica
Ponto
Letras do nosso alfabeto
Maisculas. Ex: A, B e C

. A
Reta
Letras do nosso alfabeto
minsculas. Ex: r, s e t

Plano
Letras gregas minsculas.
Ex: , e


Postulados: Nossas afirmaes mais simples e fundamentais de uma determinada
teoria (nosso caso a Geometria) aceita sem demonstraes sero as verdades
incontestveis.

Feito isso, criamos situaes para trabalhar os conceitos primitivos e as
relaes entre os mesmos.

17

O objetivo da situao 1 era verificar a noo que os alunos tinham sobre os
entes primitivos, uma vez que os mesmos j haviam passado pela disciplina de
Geometria Plana e Espacial. No ressaltamos, na atividade, tratar-se de uma figura
plana, pois nosso objetivo geral era trabalhar com as demonstraes no espao.

Situao 1: Trabalhando os conceitos primitivos

1) Dada a figura 01, respondas s questes apresentadas:






Figura 01


Em seguida, apresentamos alguns postulados e definies que auxiliariam e
justificariam as respostas da situao 1, acreditando que os alunos de prontido
fariam tal relao. Esses postulados e definies tambm seriam importantes para
a prxima tarefa.

Postulado da existncia:
1. Em uma reta e fora dela existem quantos pontos quisermos.
2. Dados dois pontos distintos de uma reta, existe pelo menos outro ponto entre os
dois pontos dados.
3. Em um plano e fora dele, existem tantos pontos quanto quisermos.

Definio: Determina os atributos essenciais e especficos de um ente, de tal forma
que o torne inconfundvel com outro.
Definio 1: Pontos distintos so colineares se estiverem sobre uma mesma reta.

a) Quantos pontos nomeados temos
sobre a reta r?
b) Quantos pontos temos fora da reta r?
c) Podemos afirmar que P est entre M e
N?
d) Quantos pontos h entre Q e M?
e) Considerando a folha de papel a
representao de um plano, quantos
pontos temos neste plano?
f) Quantos pontos temos fora do plano?
18

Na situao 2, buscamos estabelecer, por meio de perguntas e figuras, o
estatuto dos postulados, definies e a importncia dos mesmos nas relaes entre
os entes primitivos, de tal forma que uma reflexo sobre os conceitos apresentados
seria fundamental na resoluo das atividades, alm de uma noo espacial.
Tambm nessa situao, trabalhamos diferentes registros de representao.

Situao 2: Utilizando postulados/ definies e estabelecendo relaes:

2)Dada a figura 02, faa o que se pede:





Figura 02



3) Estabelea, por meio da figura 03, as solues para as questes apresentadas,
justificando-as:





Figura 03

Com o objetivo de mostrar a lgica e a consistncia necessrias de um
sistema formal , a atividade 4 pressupunha um postulado ainda no trabalhado e
que, posteriormente, foi apresentado junto com outros postulados. Estes seriam
fundamentais para a soluo da atividade 5.

a) Represente na figura a reta que
passa por L e M.
b) Quantas retas distintas passam por
Q e M?
c) Os pontos Q, L e P so colineares?
d) Os pontos Q, M e P so colineares?
e) Dados dois pontos distintos, estes
sero sempre colineares?
f) Dados trs pontos distintos, estes
sempre sero colineares?
a) Os pontos O e P pertencem ao plano o?
b) Os pontos O, P e L pertencem ao plano
o?
c) A reta que passa por O e L, pertencem
ao plano o?
19

4) Os pontos P e Q so pontos distintos. O ponto P est na reta a e na reta b. O ponto
Q est na reta a e na reta b. O que se pode concluir a respeito de a e b? Que postulado
garante sua concluso?
Postulado da determinao:

4. Dois pontos distintos determinam uma nica reta que os contm.
5. Trs pontos distintos e no colineares determinam um nico plano que os contm.

Postulado de pertinncia:

6. Uma reta est contida em um plano, se dois de seus pontos pertencem ao plano.

- Representao de reta, segmento de reta e semi-reta.

Linguagem natural Linguagem algbrica Linguagem geomtrica
Segmento de reta de
extremidades A e B
AB


Semi-reta de origem em A que
contm B
AB


Reta suporte do segmento
AB
AB



5) Dados uma reta r e um ponto P, conforme a figura 04, responda s perguntas,
justificando a opo:




Figura 04

Reforando a necessidade da consistncia de um sistema formal, as
atividades 6 e 7 tambm necessitavam de postulados ainda no apresentados. A
a) Existe um plano que contm a
reta r e o ponto P?
b) Existe um nico plano que
contm a reta r e o ponto P?

20

fim de fazer com que os alunos inferissem o resultado, pedimos que a figura
referente atividade fosse esboada.

6) As retas r e s so retas distintas. O ponto P pertence reta r e a reta s. O ponto Q
pertence reta r e a reta s. O que podemos concluir a respeito de P e Q? Qual
postulado justifica sua concluso. Faa uma representao geomtrica da situao.

7) Os planos o e | so planos distintos. A reta r pertence aos dois planos
simultaneamente. O que podemos concluir sobre a reta r? Que postulado justifica sua
concluso? Faa a representao geomtrica da situao.

Postulado da Interseo:

7. Se duas retas distintas se interceptam, a interseo um nico ponto.
8. Se dois planos distintos de interceptam, a interseo uma nica reta.

A prxima situao evidencia o estatuto dos teoremas e os diferentes registros
que podem ser utilizados para represent-los. Criamos situaes para que os
alunos reconhecessem as hipteses e teses e pudessem, dessa forma, represent-
las de formas distintas.

Situao 3: Teoremas: hipteses, teses e registros de representao

Teorema: Uma proposio matemtica que, para ser aceita como verdade, dever
ser demonstrada. O teorema compe-se em duas partes:
Hiptese: Informaes conhecidas
Tese: O que se deseja concluir, provar.
Todo teorema poder ser escrito na forma condicional:

"Se [hipteses], ento [tese].

As hipteses e teses podero ser representadas na linguagem natural, algbrica e
geomtrica.
21

- Identificando as hipteses e tese de um teorema, fazendo o registro e
reescrevendo o enunciado na forma condicional.
Exemplo:

Teorema: Dadas duas retas que se interceptam, existe exatamente um plano que as
contm.

Forma condicional: se duas retas se interceptam, ento existir um nico plano que
as contm.

Registros de representao:

Teorema Linguagem
natural
Linguagem
geomtrica
Linguagem
algbrica
Hipteses
r e s so retas que se
interceptam

r s =P
Tese
r e s determinam um
plano o que as
contm.
r c o, sc o e
(r,s) =o

8) Dado o teorema, determine sua forma condicional e registre as hipteses e tese
nas linguagens natural, geomtrica e algbrica.

Teorema 1: Uma reta e um ponto fora dela determinam um nico plano que os
contm.

Forma condicional: .....................................................................................................................................
.................................................................................................................................................................................





22

Registros de representao:

Teorema Linguagem natural Linguagem
geomtrica
Linguagem
algbrica

Hipteses





Tese




Teorema 2 : Duas retas paralelas a uma terceira so paralelas entre si.

Forma condicional: .........................................................................................................................
....................................................................................................................................................................


Registros de representao:

Teorema Linguagem
natural
Linguagem
geomtrica
Linguagem
algbrica

Hipteses





Tese







23

Teorema 3: Por um ponto dado, fora de uma reta, existe uma nica reta
perpendicular reta dada.

Forma Condicional:.......................................................................................................................
...................................................................................................................................................................

Registros de representao:

Teorema Linguagem natural Linguagem
geomtrica
Linguagem
algbrica

Hipteses





Tese














24

Atividade II

Atividade II - Associando s propriedades, definies e teoremas figura
geomtrica adequada: transposio didtica dos registros de representao.

A atividade II foi elaborada com a inteno de trabalhar o conceito de figura
geomtrica na mobilizao dos registros de representao, destacando, assim, a
congruncia ou no das formas representadas. Reforamos, nesta atividade, a
determinao das hipteses e tese de um teorema e suas representaes.

Iniciando a atividade, apresentamos novamente alguns conceitos j
trabalhados apenas para retomar a proposta da atividade anterior.

Lembrando alguns conceitos fundamentais

Definio: Determina os atributos essenciais e especficos de um ente, de tal forma
que o torne inconfundvel com outro.
Teoremas: Verdades aceitas mediantes demonstraes pela comunidade de
matemticos.

Na primeira situao, exploramos a figura geomtrica e seus atributos,
pedindo que os alunos correlacionassem, a partir da representao na linguagem
natural, as definies apresentadas figura correspondente. Tentamos criar
situaes de forma que as representaes figurais pudessem gerar interpretaes
dbias. Esta situao foi feita na questo 1. Na segunda questo, alm de explorar a
associao de enunciados com suas respectivas figuras geomtricas, pedimos que
as hipteses e tese fossem determinadas. Assim fizemos para trabalhar a questo
da congruncia dos registros de representao, fator determinante para a
compreenso dos processos envolvidos na construo de conhecimento e,
conseqentemente, no processo de demonstrar (referncias DUVAL).



25

Situao 1: Congruncia dos registros de representao

1)Associe a cada definio a representao geomtrica que mais lhe convier.
Definies Figura Geomtrica
( 1 ) A distncia de um plano com um
ponto exterior a ele, o comprimento do
segmento perpendicular do ponto ao
plano.

( )
( 2 ) Duas retas so concorrentes, se a
interseo entre as duas for um nico
ponto.


( )
( 3 ) Duas retas so perpendiculares, se
forem concorrentes e o ngulo entre as
retas for um ngulo reto.


( )
( 4 ) Mediatriz de um segmento a reta
perpendicular ao segmento passando
pelo seu ponto mdio.
( )
( 5 ) Um ponto M ponto mdio de um
segmento, se pertencer ao segmento e for
eqidistante de suas extremidades.


( )
( 6 ) Um conjunto M chamado convexo
se, para todo par de pontos P e Q do
conjunto, o Segmento PQ est
inteiramente contido no conjunto.

( )
26

( 7 ) Um conjunto de pontos se diz
coplanar se existe um plano que contm
todos os pontos do conjunto.


( )

2) Escreva na linguagem algbrica as hipteses e teses dos teoremas apresentados e
associe a cada um deles a figura geomtrica correspondente.
Teorema Linguagem algbrica Linguagem geomtrica
(1) Se uma reta
perpendicular a um plano,
ento, qualquer reta
paralela reta dada
tambm ser perpendicular
ao plano
Hiptese: ()
Tese:
(2) Duas retas em um plano
so paralelas se ambas
forem perpendiculares a
uma mesma reta


Hiptese:


( )
Tese:
(3) Se um plano intercepta
dois planos paralelos,
ento, as intersees so
duas retas paralelas


Hiptese:


( )
Tese:
(4) Duas retas
perpendiculares a um
mesmo plano so paralelas



Hiptese:


( )
Tese:
27

(5) Se duas retas so
perpendiculares a uma
terceira, ento, elas so
paralelas entre si.


Hiptese:


( )
Tese:
(6) Duas retas
perpendiculares a um
mesmo plano so
coplanares.


Hiptese:


( )
Tese:

Na situao 2, trabalhamos a criao da figura geomtrica para destacarmos
a diferena entre figura
2
e desenho
3
. Propositalmente, criamos situaes em que a
figura desenhada poderia representar mais de uma situao. Tambm pedimos
que as hipteses e tese fossem destacadas para frisar a congruncia ou no dos
enunciados e suas representaes.


Situao 2: Desenho e figura geomtrica: distino associada s propriedades
geomtricas.

1) Dados os teoremas, preencha o quadro abaixo com o que se pede:


Teorema 1: Teorema fundamental do perpendicularismo

- Se uma reta perpendicular a duas retas que se interceptam em seu ponto de
interseo, ento, ela perpendicular ao plano que as contm.


2
Figura a classe de todos os desenhos possveis do objeto matemtico (DUVAL, 1993)
3
Desenho o traado sobre o suporte material (DUVAL, 1993)
28

Representao algbrica Figura geomtrica
Hiptese:



Tese:



Teorema 2:
- Se uma reta e um plano so perpendiculares, ento, o plano contm toda reta
perpendicular reta dada no seu ponto de interseo com o plano dado.

Representao algbrica Figura geomtrica
Hiptese:



Tese:



Teorema 3:
- Duas retas perpendiculares a um mesmo plano so coplanares.


Representao algbrica Figura geomtrica
Hiptese:



Tese:




29

Teorema 4:

- Duas retas em um plano so paralelas se ambas forem perpendiculares a um
mesmo plano.


Representao algbrica Figura geomtrica
Hiptese:



Tese:


























30

Atividade III

Atividade III: Teoremas recprocos: "se e somente se"

A atividade III tem como objetivo apresentar aos alunos o recproco de um
teorema. Comeamos a atividade destacando, por meio de um breve esquema, o
que um recproco, ressaltando que o mesmo no necessariamente verdadeiro.

Apresentamos nesta atividade ferramentas de justificao para estabelecer
a veracidade/ falsidade de um recproco, utilizando, para isso, definies e figuras
geomtricas. Frisamos que o uso de mais de um registro de representao se apia
em nossas hipteses de pesquisa, que determina que os conceitos geomtricos
envolvidos na obteno de uma demonstrao, s sero compreendidos na
mobilizao de mais de um registro (Duval, 1995).

Dado dois teoremas, estes sero chamados de "teoremas recprocos", se a
hiptese e a tese de um dos teoremas forem trocadas, respectivamente, pela tese e a
hiptese do outro.

Teorema 1:
1 1
Tese Hiptese e Teorema 2:
2 2
Tese Hiptese
Teorema 1 e Teorema 2
so recprocos




2 1
Tese Hiptese = e
1 2
Tese Hiptese =


Se um teorema e seu recproco so verdadeiros, ento, podemos combin-los
em um teorema nico, usando a frase se, e somente se".
Porm, nem todo recproco de um teorema verdadeiro e, para mostrarmos que o
recproco falso, utilizamos de um contra-exemplo, ou seja, um exemplo que o
contradiz, isto , mostra que o recproco falso.

31

Na situao 1, propomos uma atividade para que os alunos determinassem,
por meio de um teorema dado, o seu recproco. No nos preocupamos inicialmente
em estabelecer se os recprocos eram verdadeiros ou no. Pretendamos somente
que os alunos fossem capazes de distingui-los, reforando, com isso, o estatuto de
um teorema. Pedimos tambm que escrevessem o teorema e o recproco em uma
expresso unificada e que a figura do teorema fosse feita. Nas atividades propostas,
criamos situaes que poderiam confundir os alunos na hora de estabelecer o
recproco, por isso pedimos que a figura fosse feita, no intuito de que a associao
dos registros fosse percebida e verificada.

Situao 1: Escrevendo o recproco de um teorema
Exemplo:

Teorema: Se uma reta paralela a um plano, ento, ela paralela a uma reta do
plano
Hiptese 1: r / / o recproco Hiptese 2: r / / s, sc o, r . o
Tese 1: r / / s, sc o. Tese 2 : r / / o

Teorema Recproco: Se uma reta no contida em um plano paralela a uma reta do
plano, ento, ela paralela ao plano.
Teorema unificado: Uma reta paralela a um plano se, e somente se, ela for
paralela a uma reta deste plano.

Figura:



Nota: Nem sempre todas as informaes que temos na hiptese e tese de um teorema
sero exatamente as mesmas que teremos no seu recproco, pois algumas
informaes esto implcitas no teorema. A escrita da expresso unificada
importante neste aspecto.

32

1) Dados os teoremas, escreva seu recproco e o teorema unificado seguindo as
orientaes:

Teorema 1: Se um plano contm duas retas concorrentes, ambas paralelas a um
outro plano, ento, esses planos so paralelos.

Preencha o quadro utilizando a representao algbrica:

Teorema Recproco
Hiptese


Tese



Faa a figura geomtrica do teorema:






Escreva na linguagem natural

Recproco do teorema:
.................................................................................................................................................................................
.................................................................................................................................................................................
.................................................................................................................................................................................

Teorema unificado:
.................................................................................................................................................................................
.................................................................................................................................................................................
................................................................................................................................................................................

33

Teorema 2: Se uma reta perpendicular a duas retas concorrentes, em seu ponto de
interseo, ento, ela perpendicular ao plano que contm as duas retas.

Preencha o quadro utilizando a representao algbrica:

Teorema Recproco
Hiptese


Tese



Faa a figura geomtrica do teorema:







Escreva na linguagem natural

Recproco do teorema:
.................................................................................................................................................................................
.................................................................................................................................................................................
.................................................................................................................................................................................

Teorema unificado:
.................................................................................................................................................................................
.................................................................................................................................................................................
.................................................................................................................................................................................

Na situao 2 apresentamos ferramentas para que fosse estabelecido se um
recproco era falso ou no. Nesta atividade, a necessidade de compreenso dos
34

conceitos geomtricos envolvidos era fundamental. Mais uma vez reforamos o
papel da figura para tentarmos comprovar nossas hipteses de trabalho,
colocando a figura como ncora no estabelecimento das atribuies de
propriedades dos conceitos geomtricos.

Na primeira atividade da situao 2, apresentamos, como ferramentas de
justificao, apenas algumas definies. Nem todas seriam utilizadas na atividade.
Optamos por elucidar conceitos (definies) que poderiam gerar dvidas aos
alunos, porm, a figura geomtrica pedida poderia ser a ferramenta que facilitaria
a resoluo do problema.

Situao 2: Verificando a veracidade do recproco atravs dos contra-exemplos

Para contradizer um recproco de um teorema podemos utilizar de postulados,
definies, propriedades, figuras geomtricas.

Exemplo:

Teorema: Se duas retas so paralelas, ento, elas so coplanares.
Recproco: Se duas retas so coplanares, ento, elas so paralelas.

Contra-exemplo: Duas retas concorrentes tambm so coplanares.




1) Escreva o recproco dos enunciados e justifique se o recproco falso ou
verdadeiro, utilizando as definies abaixo como contra-exemplos.

Definio 1: Retas reversas so retas que no se interceptam e no so coplanares.
Definio 2: Retas ortogonais so reversas e formam um ngulo reto.
Definio 3: Retas perpendiculares so concorrentes e formam ngulo reto.
Definio 4: Retas concorrentes so retas que se interceptam em um nico ponto.
r s =P
r c o
s c o
(r,s) =o
35

a) Enunciado 1: Se duas retas so perpendiculares, ento, elas formam um ngulo
reto.
Recproco:
.................................................................................................................................................................................
.................................................................................................................................................................................

( ) verdadeiro ( ) falso

Justificativa:
............................................................................................................................................................................
..............................................................................................................................................................................

Esboce a figura que justifica a veracidade/ falsidade.







b) Enunciado 2: Se duas retas so paralelas, ento, elas no se interceptam.

Recproco:
.................................................................................................................................................................................
................................................................................................................................................................................

( ) verdadeiro ( ) falso

Justificativa:
.................................................................................................................................................................................
.................................................................................................................................................................................


36

Esboce a figura que justifica a veracidade/ falsidade.








c) Enunciado 3: Se duas retas so perpendiculares, ento, elas so concorrentes.

Recproco:
.................................................................................................................................................................................
.................................................................................................................................................................................

( ) verdadeiro ( ) falso

Justificativa:
.......... .....................................................................................................................................................................
................................................................................................................................................................................

Esboce a figura que justifica a veracidade/ falsidade.







A atividade II faz apelo apenas figura geomtrica na tentativa de justificar
a falsidade dos recprocos apresentados, de forma que os alunos pudessem
perceber as propriedades que as figuras mostram que contrapem o recproco
dado.
37


2) Correlacione as colunas, para justificar a falsidade dos recprocos por meio das
figuras geomtricas.

Enunciados/ recprocos Figuras geomtricas
(1) Enunciado: Se uma reta concorrente
com um plano, ento, ela concorrente
com pelo menos uma reta do plano.
Recproco: Se uma reta concorrente com
pelo menos uma reta do plano, ento, ela
concorrente com o plano.
( )
(2) Enunciado: Se uma reta est contida
em um plano, ento, eles tm um ponto em
comum.
Recproco: Se uma reta e um plano tm
em comum um ponto, ento, a reta est
contida no plano.
( )
(3) Enunciado: Se uma reta
perpendicular a um plano, ento, ela
forma ngulo reto com pelo menos uma
reta do plano.
Recproco: Se uma reta forma ngulo reto
com uma reta de um plano, ento, ela
perpendicular ao plano.
( )


Reforamos na atividade III, alm do recproco, o papel fundamental da
figura em atividades geomtrica que visam verificao e ao estabelecimento de
verdades. O fizemos, pois as atividades que se seguem tero na representao
figural um apoio na obteno de uma demonstrao.


38

Atividade IV

Atividade IV Demonstrando teoremas: utilizao de ferramentas na
construo de um raciocnio lgico dedutivo.

A quarta atividade tem foco central nas demonstraes de propriedades e
conceitos geomtricos. Na tentativa de auxiliara os alunos na obteno de uma
demonstrao, apresentamos caixas de ferramentas que julgamos importantes na
redao de uma demonstrao (hipteses de trabalho) e algumas tcnicas de
demonstrao. Trabalhamos os diferentes registros de representao na busca da
demonstrao dos teoremas, reforando a congruncia semntica dos mesmos.

Para que os alunos compreendessem o significado e os objetivos de uma
demonstrao, um texto explicativo foi abordado, explicitando, tambm, a lgica
subjacente de um sistema formal e a importncia de conhecimento operacional no
mesmo para se alcanar uma demonstrao matemtica. Apresentamos tambm
uma caixa contendo smbolos que usualmente so utilizados nas demonstraes
em registro algbrico, alm de outros que foram utilizados na atividade com
significados atribudos pela pesquisadora.

Um exame mais detalhado do que vem a ser uma demonstrao matemtica.

Ao longo das atividades desenvolvidas, apresentamos alguns elementos que
compem um sistema formal e, mais especificamente, aqueles fundamentais para o
processo de se demonstrar. Destacamos, por meio de situaes, a necessidade do
reconhecimento desses elementos para uma operacionalizao em um sistema
formal, explicitando a consistncia lgica envolvida na Engenharia da
Demonstrao em teoremas da geometria euclidiana.
A atividade que se segue tem como foco tcnicas de demonstrao e, para
fazermos uma demonstrao matemtica de um determinado teorema, necessrio
que compreendamos seu significado, a hierarquizao dos processos envolvidos nesta
tarefa, os elementos adjacentes explcitos e implcitos no teorema e que saibamos
39

mobilizar, alm dos registros de representao, as ferramentas necessrias para o
processo de se demonstrar. Sendo assim, alguns pontos seguem esclarecidos:

- O que demonstrar?
De acordo com o mtodo do qual se vale a matemtica para se criar teorias,
demonstrar provar, sem qualquer dvida, que um enunciado verdadeiro, de
tal forma que esta prova seja aceita por uma comunidade de matemticos.

Utilizando a definio dada por Balacheff (1987), podemos dizer que uma
demonstrao matemtica uma atividade de raciocnio lgico, encadeada por
uma seqncia de enunciados organizados numa regra de deduo, interferindo
nas capacidades cognitivas, metodolgicas e lingsticas, objetivando validar
teoremas por meio de uma explicao que leva a convico.

- Para que demonstrar?
Para explicar, verificar, esclarecer, validar e convencer a si e a outros que um
enunciado matemtico verdadeiro.

- Como fazer uma demonstrao?
Na matemtica, para fazermos uma demonstrao, utilizamos postulados,
definies, propriedades e teoremas estabelecidos em um critrio lgico e
seqencial. Estas sero nossas ferramentas de trabalho na obteno de uma
demonstrao. Nossas demonstraes tambm devero seguir uma
hierarquizao na utilizao das ferramentas, organizadas de acordo com regras
determinadas.
- Tipos de demonstrao
As demonstraes podem ser diretas ou indiretas (reduo por absurdo).
As diretas so feitas no sentido de hipteses para a tese, ou seja, admitindo que
as informaes nas hipteses de um teorema sejam verdadeiras, ento, a partir de
uma organizao lgica de procedimentos, chegaremos concluso tambm
verdadeira.
40

As indiretas so feitas no sentido oposto das demonstraes diretas (da tese para
hiptese), com a particularidade de se negar a tese intentando chegar negao
da hiptese gerando, assim, um absurdo.

Alguns smbolos importantes:

Smbolo significado smbolo significado
e pertence contm
e no pertence para todo
- existe logo
perpendicular implica
/ / paralelas se, e somente se
c est contido ~ congruente
. no est contido tal que


Significado das simbologias utilizadas na atividade IV:


Simbologia Significado
(A,B) =r
Os pontos A e B determinam a reta r.

(A, B, C) = Os pontos A, B e C determinam o plano .
( r, A) =
A reta r e o ponto A determinam o plano
.
(r, s) =

As retas r e s determinam o plano .

Na situao 1 da atividade IV, apresentamos alguns esquemas de demonstrao
na linguagem figural, algbrica e natural. O objetivo da representao figural
destacar a relao entre apreenso perceptiva e discursiva (relacionada aos dados
do teorema) por meio da apreenso operatria. Colocamos disposio dos
alunos, caixas de ferramentas auxiliares para justificar os passos da demonstrao
logicamente. A mobilizao dos registros de representao tambm desempenhava
esse papel. A hierarquizao dos passos evidncia nosso objetivo em destacar a
demonstrao mais como uma hierarquizao de passos do que uma
hierarquizao de contedos.
41

Situao 1: Utilizando uma caixa de ferramentas para justificar os passos de
esquemas de demonstrao

1) Dado o teorema, preencha o que se pede utilizando seus conhecimentos
adquiridos at o momento e a caixa de ferramentas apresentada.
Teorema 1: Dados uma reta r e um ponto P fora dela, existe exatamente um
plano que os contm.

a) Preencha o quadro.
linguagem natural linguagem algbrica
Hipteses



Tese




b) Utilizando a caixa de ferramentas apresentada e as hipteses do teorema 1,
justifique os passos da demonstrao feita a partir da mobilizao das figuras,
completando os espaos em branco.
Caixa de ferramentas (CF):
Postulado 1: Dois pontos distintos determinam uma nica reta que os contm.
Postulado 2: Trs pontos no colineares determinam um nico plano que os contm.

Figuras:
Passo 1: Passo 2: Passo 3:


Justificativa:
Justificativa:
Justificativa: Justificativa: Justificativa:

Dado na hiptese ....................................... ...................................
42

- r e - .....
/ Pe.....
- A e .... e ...
com .....=......
/ (A, B) =.....
(P,A,B) =.....
(r,P) = .....
c) complete a redao da demonstrao na linguagem natural:

Temos que, por hiptese, existe uma reta r e um ponto P no pertencente a
................ . Em r, existem os pontos ........ e ......., pois dois pontos ....................
determinam uma nica reta (postulado 1 da CF). Os pontos .......,........ e .........
determinam o plano ......., pois trs pontos no colineares determinam um
...................................... que os contm (postulado 2 da CF). Como os pontos ...... e ......
pertencem reta ......, ento, temos que r e ......, determinam o plano ...... .

d) Complete os espaos em branco do esquema demonstrao na linguagem
algbrica:





e) A demonstrao feita direta ou indireta? Justifique sua escolha.
..........................................................................................................................................................................
..........................................................................................................................................................................
.................................................................................................................................................................

Teorema 2: Se duas retas r e s so concorrentes, ento, elas determinam um
nico plano que as contm.
Definio: Retas concorrentes so retas que se interceptam em um nico ponto.

a) Preencha o quadro.
linguagem natural linguagem algbrica
Hipteses


Tese



Post. 1
(C.F)
..............

43

b) Utilizando a caixa de ferramentas apresentada e as hipteses do teorema 2,
justifique os passos da demonstrao feita a partir da mobilizao das figuras,
completando os espaos em branco.

Caixa de ferramentas (CF) :

Postulado 1: Dois pontos distintos determinam uma nica reta que os contm.
Postulado 2: Trs pontos no colineares determinam um nico plano que os contm.
Postulado 3: Se dois pontos de uma reta esto em um plano, ento, a reta est
contida neste plano.


Figuras:

Passo 1: Passo 2: Passo 3:




Justificativa: Justificativa: Justificativa:
.................................. ................................ ................................
.................................. .................................. ................................

c) complete a redao da demonstrao na linguagem natural:

Temos que as retas ........ e ........ so concorrentes por ......................., logo, a interseo
entre elas um ...............P. (definio de retas ......................). Existe na reta r um ponto
....... e na reta ...... um ponto ......., de tal forma que os pontos ....... e ...... so diferentes do
ponto ...... .(Postulado 1 da CF). Ento, temos que os pontos ......, ....... e ...... determinam
um nico plano ....... (postulado ...... da CF). Como os pontos ...... e ...... determinam a
reta ..... e os pontos ....... e ....... determinam a reta ......, temos que as retas ...... e ....... esto
contidas no ................ (................................... da CF). Logo, as retas ....... e ........ determinam
o plano ...... e nele esto contidas.


44

rs =.......
.........
.........
............
d) Complete o esquema da demonstrao na linguagem algbrica:







e) A demonstrao feita direta ou indireta? Justifique sua escolha.
.................................................................................................................................................................................
........................................................................................................................................................................

Teorema 3: Se duas retas r e s distintas se interceptam, a interseo um nico
ponto P.

a) Preencha o quadro.

linguagem natural linguagem algbrica
Hipteses


Tese



b) utilize a caixa de ferramentas e as hipteses do teorema 3 para completar os
espaos em branco do esquema de demonstrao abaixo:


Caixa de ferramentas (CF) :

Postulado 1: Dois pontos distintos determinam uma nica reta que os contm.




Post. 1 (C.F)
- A e....../
A = .....
- ......
e...../ .....=
P
(A,B,P)=
(A,P) =r e
(B, P) =.......


r e ...... c ......
(r, s) =.......

45

Suponha que
r s =P e Q /
P=Q.
P e..... e .....
...... e r e s
.................
(P,Q)=r e
......
Construo
Demonstrao
Afirmativas/ construes Justificativas
Suponha que a interseo entre as
retas sejam os pontos distintos P e Q.


Temos que P e Q pertencem reta r e
reta .......

P e Q determinam uma nica reta.


As retas r e s so coincidentes.
Como ainda no sei quantos pontos tem a
interseo das retas, posso supor a
quantidade que quiser.

Como P e Q esto na ........................ de r e s,
ento, pertencem as duas ..............

...................................................................
...................................................................

Absurdo, pois, por hiptese, temos que r e ......
so retas .......................

Logo, a interseo de ..... e ..... s pode ser um
nico ponto.


c) Escreva na linguagem natural a demonstrao do teorema, utilizando o esquema
da letra b como referncia.
.................................................................................................................................................................................
.................................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
............................................................................................................................................................................

d) Complete o esquema da demonstrao na linguagem algbrica:





Absurdo, pois, por hiptese, ...... = ......, r s =........

r =s
46

e) A demonstrao feita direta ou indireta? Justifique sua escolha.
...............................................................................................................................
.....................................................................................................................

f) A figura correspondente demonstrao no foi feita. possvel fazer a figura
referente aos passos dados na demonstrao feita? Justifique.
...............................................................................................................................
...............................................................................................................................

Na situao 2, desenvolvemos uma demonstrao fora de ordem para que
os alunos a organizassem logicamente, justificando com o auxlio da caixa de
ferramentas e das hipteses do teorema s opes feitas. Na atividade proposta, o
aluno, aps organizao dos passos, deveria apresentar, nos trs registros de
representao (figural, algbrico e natural), a demonstrao feita, uma vez que a
coordenao destes registros importante para a compreenso dos conceitos
geomtricos envolvidos nos problemas (hipteses de trabalho).

Situao 2: Organizando logicamente o esquema de demonstrao

1)Dado o teorema, faa o que se pede:
Teorema: Se dois planos so perpendiculares e uma reta de um deles
perpendicular interseo dos planos, ento, essa reta ser perpendicular ao
outro plano.
Palavrachave: Planos perpendiculares so concorrentes.
Caixa de ferramentas (CF):
Postulado 1: Em um plano e fora dele existem tantas retas quanta desejarmos.
Postulado 2: A interseo de dois planos uma nica reta.
Postulado 3: A interseo de uma reta e um plano um nico ponto.
Teorema 1: Dois planos so perpendiculares se uma reta contida em um deles
perpendicular ao outro.
Teorema 2: Se duas retas so paralelas e uma delas perpendicular a um plano, ento, a
outra reta tambm o ser.
Teorema 3: Duas retas perpendiculares ao mesmo plano so paralelas.
Teorema 4: Se uma reta perpendicular a um plano, ento, ela perpendicular a toda reta
deste plano no seu ponto de interseo.
Teorema 5: Duas retas em um plano so paralelas se ambas forem perpendiculares a uma
mesma reta.
47

a) Enumere corretamente de 1 a 6 para obter a redao da demonstrao, sem
deixar de justificar os passos que julgar ser necessrio. Para isso, utilize a caixa de
ferramentas apresentada.
( ) Sendo r perpendicular reta s e r perpendicular reta s, ambas contidas em
, teremos que r e r so retas paralelas.
Justificativa:................................................................................................................................................
( ) Ainda por hiptese, existe uma reta r contida em , de modo que r
perpendicular reta s. Justificativa:...............................................................................................
( ) Logo, a reta r e perpendicular a .Justificativa: ................................................................
( ) Por hiptese, temos que os planos e so perpendiculares e que a interseo
dos mesmos uma reta s. Justificativa: .........................................................................................
( ) Como perpendicular a , ento, existe uma reta r em , tal que r
perpendicular a . Justificativa: .......................................................................................................
( ) Se r perpendicular a , ento, r perpendicular reta s no ponto P.
Justificativa:................................................................................................................................................

b) Utilizando a demonstrao feita no item a, complete o quadro:
linguagem natural linguagem algbrica
Hipteses


Tese



c) Faa as figuras do esquema de demonstrao feito no item a, justificando os
passos.
Figura 1 Figura 2 Figura 3



Justificativa: Justificativa: Justificativa:
.......................... ............................ ...........................
.......................... ............................ ............................
48


r c e
rs


r/ / r

Figura 4 Figura 5 Figura 6




Justificativa Justificativa Justificativa
........................... ................................ ............................
........................... ............................... ............................

d) Complete o esquema de demonstrao algebricamente. Justifique os passos





e) Redija a demonstrao na linguagem natural
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................

Nas situaes realizadas na quarta atividade, reforamos, a todo o
momento, o estatuto do teorema e a importncia da definio das suas hipteses
para que os alunos a reconhecessem como ferramentas indispensveis na
demonstrao de um teorema.






49

Atividade V

A proposta da quinta atividade que o aluno coloque em prtica tudo que foi
apreendido com as outras atividades, criando ele mesmo seus esquemas de
demonstrao, suas caixas de ferramentas para justificao dos passos adotados e
coordene os registros de representao at ento trabalhados.

Atividade V: Criando esquemas de demonstrao: utilizando todas as
ferramentas anteriores.

Informaes adicionais:

Postulado 1: Em um plano e fora dele existem quantos pontos quisermos.
Postulado 2: A interseo de dois planos uma nica reta.
Postulado 3: Dados dois tringulos, se dois lados e o ngulo determinado por eles em
um dos tringulos forem congruentes aos elementos correspondentes do outro
tringulo, ento, esses tringulos so congruentes.
Teorema 1: Por um ponto fora de uma reta, existe um nico plano que os contm.
Teorema 2: Se um plano intercepta dois planos paralelos, ento, as intersees so
duas retas paralelas.
Teorema 3: Se uma reta perpendicular a duas retas concorrentes em seu ponto de
interseo, ento, ela perpendicular ao plano que as contm.
Teorema 4: Em um plano, se uma reta perpendicular a uma de duas retas
paralelas, ento, perpendicular outra.
Teorema 5: Se uma reta e um plano so perpendiculares, ento, o plano contm toda
reta perpendicular reta dada, no seu ponto de interseo com o plano dado.

Na primeira atividade, foi solicitado que os alunos associassem aos passos
apresentados a figura geomtrica mais adequada. Para resolver a atividade,
necessrio que, a partir da apreenso discursiva, o aluno consiga relacionar a
figura geomtrica associada s propriedades de cada enunciado. Implicitamente,
trabalhamos a apreenso operatria nas reconfiguraes feitas nas figuras de
acordo com cada passo.
50

Com os conhecimentos e tcnicas adquiridos ao longo das atividades, resolva as
situaes apresentadas de acordo com o que se pede.

1) Dado o teorema abaixo, associe a cada um dos passos apresentados a figura
correspondente mais adequada.
Teorema: Se uma reta perpendicular a um de dois planos paralelos, ento,
ela perpendicular ao outro.

(1) Dados os planos paralelos e e a reta r perpendicular a .
(2) Seja A um ponto qualquer do plano no pertencente a r.
(3) O ponto A e a reta r determinam um plano que os contm.
(4) O plano intercepta os planos e nas retas t e s, respectivamente, tal que t e
s so retas paralelas.
(5) A reta r perpendicular as retas s e t.
(6) Seja B um ponto qualquer do plano no pertencente a r.
(7) O ponto B e a reta r determinam um plano | que os contm.
(8) O plano | intercepta os planos e nas retas u e v, respectivamente, tal que u
e v so retas paralelas.
(9) A reta r perpendicular s retas v e u.











( ) ( )


51










( ) ( )









( ) ( )











( ) ( )


52










( )

A partir da numerao feita, pedimos aos alunos que fizessem a
demonstrao do teorema, se orientando pelas figuras, no esquecendo de
justificar cada passo. A criao de uma caixa de ferramentas tambm foi solicitada
nesta atividade.

Para que os passos apresentados constituam uma demonstrao, so necessrias
algumas informaes adicionais que justifiquem tais passos. Tente identificar tais
informaes e crie uma caixa de ferramentas para esse teorema (utilize as
informaes dadas no incio da atividade). Antes, preencha o quadro com as
hipteses e tese do teorema.

linguagem natural linguagem algbrica
Hipteses


Tese



Caixa de ferramentas:





53


Utilize os passos apresentados, as hipteses e a caixa de ferramentas criada para
escrever a demonstrao do teorema na linguagem algbrica.






Na atividade 2, um problema envolvendo congruncia de tringulos foi
sugerido. Os ajustes na figura apresentada se mostrariam como ferramentas teis
na soluo do problema, caso os alunos conseguissem mobilizar as informaes
dadas no enunciado (discursivo) com a figura dada. Novamente pedimos que uma
caixa de ferramentas fosse criada para justificar as opes escolhidas na resoluo
da tarefa. Deixamos que os alunos escolhessem o esquema de demonstrao a ser
feito.

2) Seja a figura 1. Sabendo que A, B e C esto no plano ,que P externo a
, o PA e AB AC ~ , demonstre que PB PC ~ .











Figura 1

Caixa de ferramentas:






Faa as modificaes que achar necessrio
na figura para resolver o problema.
Justifique suas concluses utilizando seus
conhecimentos e as informaes adicionais
no incio da atividade. Crie uma caixa de
ferramentas para esse problema.
54

Demonstrao do problema:











A ltima tarefa da atividade 5 trabalha com todos os itens destacados nas
atividades anteriores: o estatuto do teorema e das figuras geomtrica, os diferentes
registros de representao, a congruncia semntica entre as representaes
utilizadas, a caixa de ferramentas como auxlio nas justificaes dos passos
adotados na obteno de uma demonstrao, a apreenso operatria e as
reconfiguraes intermedirias na figura. Todos eles com o objetivo de facilitar a
redao de uma demonstrao.

3) Faa a demonstrao do enunciado abaixo de acordo com o que se pede:
Enunciado: Sabendo que as retas

BC e

BD esto em um plano , que o plano


BD em B, o plano

BC em B e que e se interceptam em

AB, demonstre que

AB .

a) Preencha o quadro:
linguagem natural linguagem algbrica
Hipteses



Tese






55


b) Faa uma figura para o enunciado e os ajustes necessrios para obter a
demonstrao do teorema:







c) Crie uma caixa de ferramentas para esse problema:
Caixa de ferramentas:










d) Demonstre algebricamente o enunciado:








e) Escreva na linguagem natural a demonstrao feita no item anterior.
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
...............................................................................................................................
56

RESPOSTAS DAS ATIVIDADES DA SEQUNCIA

Atividade I

Situao 1:
1 a) 4 b) infinitos c) sim d) infinitos e) infinitos f) infinitos

Situao 2:
2 - a) b) uma nica reta c) no d) sim


e) sim f) no

3 a) sim b) sim c) sim

4 so retas coincidentes. Ainda no foi apresentado. (ser o postulado 4)

5 a) sim. Justificativa: Pelo postulado 4, sabemos que a reta r determinada por
dois pontos distintos A e B. Os pontos A, B e P no so colineares, logo determinam
um plano, como estabelece o postulado 5.
b)sim. Justificativa: Postulado 5.

6 - So o mesmo ponto. Ainda no foi apresentado. (ser o postulado 6)




7 A reta r a interseo dos planos e . Ainda no foi apresentado. (ser o
postulado 7)




57

Situao 3:
8
Teorema 1: Uma reta e um ponto fora dela determinam um nico plano que os
contm.
Forma condicional: Se dados uma reta e um ponto fora dela, ento estes
determinaro um nico plano que os contm.
Registros de representao:

Teorema Linguagem natural Linguagem
geomtrica
Linguagem
algbrica

Hipteses

Uma reta e um ponto
fora dela.

- r e - P/
Pe r

Tese

Determinam um
nico plano.
(r,P) =

Teorema 2 : Duas retas paralelas a uma terceira so paralelas entre si.

Forma condicional: Se duas retas so paralelas a uma terceira, ento elas so
paralelas entre si
Registros de representao:

Teorema Linguagem
natural
Linguagem
geomtrica
Linguagem
algbrica

Hipteses

Duas retas
paralelas a uma
terceira

r/ / t e s/ / t

Tese

So paralelas entre
si
r/ / s

58

Teorema 3: Por um ponto dado, fora de uma reta, existe uma nica reta
perpendicular reta dada.

Forma Condicional: Se dados uma reta e um ponto fora dela, ento pelo ponto
passar uma nica reta perpendicular a reta dada.
Registros de representao:

Teorema Linguagem natural Linguagem
geomtrica
Linguagem
algbrica

Hipteses

Dados uma reta e
um ponto fora dela

- r e - P/
Pe r

Tese

Existir uma
perpendicular a reta
pelo ponto.
sr /
Pes

Atividade II
Situao 1:
1 (6)
(7)
(3)
(5)
(4)
(2)
(1)
2 -
Teorema Linguagem algbrica Linguagem geomtrica
(1) Se uma reta
perpendicular a um plano,
ento, qualquer reta
paralela reta dada
tambm ser perpendicular
ao plano
Hiptese:
r e s/ / r
(5)
Tese:
s
59

(2) Duas retas em um plano
so paralelas se ambas
forem perpendiculares a
uma mesma reta

Hiptese:
r/ / s
rc e sc
(3)
Tese:
- t / rt e st

(3) Se um plano intercepta
dois planos paralelos,
ento, as intersees so
duas retas paralelas


Hiptese:
/ /
=s e =r
(1)
Tese:

s/ / r
(4) Duas retas
perpendiculares a um
mesmo plano so paralelas


Hiptese:
r e s

(2)
Tese:
r/ / s
(5) Se duas retas so
perpendiculares a uma
terceira, ento, elas so
paralelas entre si.


Hiptese:
rt e st

(6)
Tese:
r/ / s

(6) Duas retas
perpendiculares a um
mesmo plano so
coplanares.


Hiptese:
r e s

(4)
Tese:
rc e sc




60

Situao 2:
1 -
- Se uma reta perpendicular a duas retas que se interceptam em seu ponto de
interseo, ento, ela perpendicular ao plano que as contm.

Representao algbrica Figura geomtrica
Hiptese:
r s =P ; tr e ts em P;
(r,s) =

Tese:
t



Teorema 2:

- Se uma reta e um plano so perpendiculares, ento, o plano contm toda reta
perpendicular reta dada no seu ponto de interseo com o plano dado.

Representao algbrica Figura geomtrica
Hiptese:
r; r =P


Tese:
- sc / sr em P



Teorema 3:

- Duas retas perpendiculares a um mesmo plano so coplanares.

61

Representao algbrica Figura geomtrica
Hiptese:
r e s


Tese:
rc e sc



Teorema 4:

- Duas retas em um plano so paralelas se ambas forem perpendiculares a um
mesmo plano.

Representao algbrica Figura geomtrica
Hiptese:
r e s


Tese:
rc e sc / r//s


Atividade III
Situao 1:
1
Teorema 1
Teorema Recproco
Hiptese

rs =P; r e s c
r// e s//
/ /

Tese

/ /

- r e sc /rs=P
e r// e s//

62

figura geomtrica do teorema:






Recproco do teorema: Dois planos so paralelos, se um deles conter duas retas
concorrentes, paralelas ao outro plano.
Teorema unificado: Um plano contm duas retas concorrentes e paralelas a um
outro plano, se, e somente se, estes planos forem paralelos.

Teorema 2
Teorema Recproco
Hiptese

r s =P ; tr e ts em P;
(r,s) =
t

Tese

t

- r e s c / r s=P
tr e ts em P

figura geomtrica do teorema:






Recproco do teorema: Se uma reta perpendicular a um plano, ento esta reta
ser perpendicular a duas retas concorrentes deste plano no seu ponto de interseo
com o mesmo.
Teorema unificado: Uma reta perpendicular a um plano, se, e somente se, for
perpendicular a duas retas concorrentes deste plano no seu ponto de interseo com
o mesmo.

63

Situao 2:

1
a) Recproco: Se duas retas formam um ngulo reto, ento elas so perpendiculares.
Falso. Pois elas podem ser ortogonais (definio 2).
Figura:




b)Recproco: Se duas retas no se interceptam, ento elas so paralelas. Falso. Elas
podem ser reversas. (definio1).
Figura:





c)Recproco: Se duas retas so concorrentes, ento elas so perpendiculares. Falso.
Elas podem se concorrer, sem necessariamente formarem ngulo reto. (definio 4).
Figura:




2 (3)
(1)
(2)

Atividade IV

Situao 1:

64

- r e - P
/ Pe r
- A e B e r
com A = B
/ (A, B) =r
(P,A,B) =.
(r,P) =
1
Teorema 1: Dados uma reta r e um ponto P fora dela, existe exatamente um plano
que os contm.
a)
linguagem natural linguagem algbrica
Hipteses Uma reta e um ponto
fora dela.
r e P / Pe r
Tese Existe um plano que os
contm.
(r,P)= / r e Pc

b)
Figuras:

Passo 1: Passo 2: Passo 3:


Justificativa:
Justificativa:
Justificativa: Justificativa: Justificativa:
Dado na hiptese postulado 1 postulado 2

c) complete a redao da demonstrao na linguagem natural:
Temos que, por hiptese, existe uma reta r e um ponto P no pertencente a reta r .
Em r, existem os pontos A e B, pois dois pontos distintos determinam uma nica reta
(postulado 1 da CF). Os pontos A, B e P determinam o plano , pois trs pontos no
colineares determinam um nico plano que os contm (postulado 2 da CF). Como os
pontos A e B pertencem reta r, ento, temos que r e P, determinam o plano .

d)




Post. 1
(C.F)
Post.2
(C.F)

65

rs =P
Post.2
Post.3
e) Direta. Por definio.

Teorema 2: Se duas retas r e s so concorrentes, ento, elas determinam um nico
plano que as contm.
Definio: Retas concorrentes so retas que se interceptam em um nico ponto.

a) linguagem natural linguagem algbrica
Hipteses Duas retas concorrentes

rs =P

Tese Determinam um nico
plano que as contm.
(r,s) = / r e s c


b) Figuras:
Passo 1: Passo 2: Passo 3:




Justificativa Justificativa: Justificativa:
Dado na hiptese Postulado 1 Postulado 2

c) Temos que as retas r e s so concorrentes por hiptese, logo, a interseo entre
elas um ponto P. (definio de retas concorrentes). Existe na reta r um ponto A e
na reta s um ponto B, de tal forma que os pontos A e B so diferentes do ponto P.
(Postulado 1 da CF). Ento, temos que os pontos A, B e P determinam um nico plano
(postulado 2 da CF). Como os pontos A e P determinam a reta r e os pontos B e P
determinam a reta s, temos que as retas r e s esto contidas no plano . (postulado
3 da CF). Logo, as retas r e s determinam o plano e nele esto contidas.

d)



Post. 1 (C.F)
- A e r/
A = P
- Be s/
B= P
(A,B,P)=
(A,P) =r e
(B, P) =s


r e s c
(r, s) =

66

e)Direta. Por definio.

Teorema 3: Se duas retas r e s distintas se interceptam, a interseo um nico ponto
P.
a)


linguagem natural linguagem algbrica
Hipteses Se duas retas distintas de
interceptam

r = s e r intercepta s
Tese A interseo um ponto r s =P

b)
Demonstrao
Afirmativas/ construes Justificativas
Suponha que a interseo entre as retas
sejam os pontos distintos P e Q.


Temos que P e Q pertencem reta r e
reta s

P e Q determinam uma nica reta.


As retas r e s so coincidentes.
Como ainda no sei quantos pontos tem
a interseo das retas, posso supor a
quantidade que quiser.

Como P e Q esto na interseo de r e s,
ento, pertencem as duas retas

Postulado 1 da caixa de ferramentas



Absurdo, pois, por hiptese, temos que r
e s so retas distintas

Logo, a interseo de r e s s pode ser
um nico ponto.

c)Suponha que a interseo das retas r e s so os pontos, distintos, P e Q. Ento
temos que P e Q pertencem, simultaneamente, as retas r e s. Temos que P e Q
determinam uma nica reta (postulado 1 da C.F), Ento P e Q determinam r e s,
logo r e s so coincidentes. Absurdo, pois por hiptese as retas so distintas. Ento
a interseo das retas r e s s pode ser um nico ponto.
67

Suponha que
r s =P e Q /
P=Q
P er e s
Q e r e s
Post.1 (C.F)
(P,Q)=r e s
Construo
d)




Absurdo, pois, por hiptese, r = s, r s =P

e) Indireta. Por definio
f) No se justificaria fazer uma figura de uma situao que no existe.

Situao 2:
1 a) (5) Teorema 5
(2) Por hiptese
(6) Teorema 2
(1) Postulado 2
(3) Teorema 1
(4) Teorema 4
b)


linguagem natural linguagem algbrica
Hipteses Dois planos
perpendiculares e uma
reta de um deles
perpendicular a
interseco dos planos
; r c
= s
r s

Tese A reta ser perpendicular
ao outro plano


r

c) Figura 1 Figura 2 Figura 3



r =s
68


= s
r c e
rs
- rc /
r
r s
r/ / r
r
Figura 4 Figura 5 Figura 6





d)





e) utilize os dados da letra a, para redigir a demonstrao.

Atividade 5
1 - (6)
(9)
(3)
(2)
(1)
(8)
(5)
(7)
(4)

Adiante, as questes tm uma liberdade maior de escolha de procedimentos, dessa
forma, deixamos a cargo do leitor, atribuir solues para as tarefas. Ressaltamos que
as questes da atividade IV tambm podem apresentar outras solues, porm os
resultados devem convergir com as respostas expostas.




69

REFERNCIAS BIBLIOGRFICAS


BALLACHEFF, N. Es la argumentacion un obstculo? 1999. Disponvel em
www.Athena.mat.ufrgs.br/ ~portosil/ result2.html.

BALACHEFF, N. Etude des processes de preuve chez des lves de collge.
Thse de doctorat dtat en-science. Grenoble: Universit Joseph Fournier, 1988.
Acesso: Dezembro, 2007. Disponvel em:
www.cabri.image.fr/ Preuve/ indexFR.htmlUTH
BALLACHEFF, N. Processus de preuve et sitations de validation. Educational
Studies in Mathematics. Vol. 18, n.2, p.147-176, Mai 1987.

BALLACHEFF, N. The benefits and limits of social interactions . The case of
mathematical proff. In Alan J. Bishop et al. (Eds.), Mathematical know ledge: Its
growth throught teaching (p. 175 - 192). Nether lands: Kluwner Academic
Publishers, 1991.

BALLACHEFF, N. Une tude des processus de preuve en mathmatiques chez
des leves de collge. Thse d'tet, Grenoble: Universit Joseph Fourier, 1988.

BARBIN, E. La demonstration mathemthique: significations epistemologiques
et questions didactiques. Bulletin de IAPMEP, n.366, dez 1988.

BERTONHA, R. A. O ensino de geometria e o dia-a-dia em sala de aula.
Dissertao de Mestrado. UNICAMP SP. So Paulo, 1989.

BOYER,Carl B. Histria da Matemtica. 2. Ed. trad Elza F. Gomide. So Paulo:
Edgard Blncher ltda,1996.

DUVAL, Raymond. Approche cognitive des problemes de geometrie en termes
de congruence. Annales de Didactique et de sciences cognitives. IREM de
Strasbourg, Vol. 1, p.57-74, 1988.

70

DUVAL, Raymond. Argumenter, dmontrer, expliquer: continuity ou rupture
cognitive? Petit, 1992.

DUVAL, Raymond. Comment analyser le fonctionnemment reprsentationnel
des tableaux et leur diversit? In: Sminaires de Recherche Conversion et
articulation des reprsentations. Vol II. diteur Raymond Duval, IUFM Nord-Pas
de Calais, 2002.

DUVAL, Raymond. Conversion et articulation des representations analogiques.
In: Sminaires de Recherche Conversion et articulation des reprsentations. Vol
I. diteur Raymond Duval, IUFM Nord-Pas de Calais, 1998.

DUVAL, Raymond. carts smantiques et cohrence mathmatique:
introduction aux problmes de congruence. Annales de Didactique et de
Sciences Cognitives, v. 1, IREM de Strasbourg, p. 7-25, 1988.

DUVAL, Raymond. Geometry from a cogmitive point of view. Artigo 1995.

DUVAL, Raymond. Quel cognitive retenir em didactique des mathmatiques?
Recherches em didactique des mathmatiques. La pense Sauvage. v. 16/ 3, n. 48, p.
349-380, 1996

DUVAL, Raymond. Rgistres de rpresentation smiotique et fonctionnement
cognitif de la pense. Annales de Didactique et des Sciences Cogmitives, vol. V, p.
37-65, IREM de Strasbourg, 1993.

DUVAL, Raymond. Registros de representao semiticas e funcionamento
cognitivo da compreenso em matemtica. In: MACHADO, S.D.A. (Org.).
Aprendizagem em Matemtica: registros de representao semitica. Campinas:
Papirus, 2003.

DUVAL, Raymond. Semiosis et pense humaine. Peter Lang, 1995.

71

DUVAL, Raymond. Structure du raisonnement deductif et apprentissage de la
demonstration. Educational Studies in Mathematics, 1991.

DUVAL, Raymond. Smiosis et pense humaine: Registres smiotiques et
apprentissages intellectuels. Suisse: Peter Lang S. A., 1995.

GOUVA, Filomena. Aprendendo e ensinando geometria com a demostrao:
uma contribuio para a prtica pedaggica do professor de matemtica do ensino
fundamental. Dissertao de Mestrado, PUC-SP. So Paulo, 1998.

MOISE, Edwin E. & DOWNS Jr., Floyd L. Geometria moderna. Vol. 1 e 2. So Paulo:
Editore Edgar Blucher, 1971.

PAVANELLO, Regina Maria & ANDRADE, R. N. G. Formar professores para
ensinar geometria: um desafio para as licenciaturas em Matemtica. Educao
Matemtica em Revista, n. 11A, Edio Especial, Abril de 2002.

POLYA, George. A Arte de resolver problemas: um novo aspecto do mtodo
matemtico.Trad. Heitor Lisboa de Arajo. Rio de Janeiro: Intercincia,1995.

POLYA, George. Mathematics and Plausible Reasoning. Induction and analogy in
Mathematics, Princeton,vol.1,1954.

SANGIACOMO, Lgia. O processo da mudana de estatuto: de desenho para a
figura geomtrica. Uma engenharia didtica com o auxlio do Cabri - Gomtre.
Dissertao de Mestrado. PUC-SP. So Paulo, 1996.











72