Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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 em B, o plano
BC em B e que e se interceptam em
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