Parte do artigo Processos de prova e validao de Nicolas Balacheff INTRODUO O conceito demonstrao oc pa m l gar importante no !

nsino da "atem#tica na $rana o ela aparece no %e& ivalentes no nosso ensino $ ndamental' nono ano %() anos de idade' o no e& ival s*timo ano %(+ anos de idade', !les apresentam significativas dific ldades de aprendi-agem, . convencional de informar & e essas dific ldades esto essencialmente relacionadas com a passagem de ma matem#tica /pr#tica/0 caracteri-ada pela ao e o1servao nos dois primeiros anos do ensino sec nd#rio %nosso se2to e oitavo ano'0 a ma matem#tica mais te3rica caracteri-ada precisamente pela introd o da demonstrao, !sta passagem parece ser ma verdadeira & e1ra de contrato did#tico & e0 antes desta introd o0 reg lava as rela4es entre est dantes e professores so1re a atividade matem#tica, Propomo5nos a a1ordar este pro1lema0 form lando5o como ma das condi4es did#ticas determinantes para a g6nese cognitiva da demonstrao, "as antes de prosseg ir0 * necess#rio & e n3s esclareamos alg ns pontos de voca1 l#rio7 as palavras razo (argumentar?)0 provar e demonstrar0 so m itas ve-es consideradas sin8nimas por matem#ticos 0 especialmente & ando se trata de ed cao , Isto *0 em nossa opinio m o1st#c lo para a investigao so1re estas & est4es, 9hamamos de explicao m disc rso para tornar intelig:vel a nat re-a da verdade0 ad& iridos pelo loc tor0 so1re ma proposio o m res ltado, ;s ra-4es %os arg mentos<' podem ser disc tidas0 re=eitadas o aceitas, 9hamamos de prova ma e2plicao aceita por ma determinada com nidade em m determinado tempo, !sta deciso pode ser o1=eto de m de1ate c =o significado * a e2ig6ncia de determinar m sistema com m de validao para os interloc tores, Dentro da com nidade matem#tica no pode ser aceito como prova e2plica4es & e adotam ma forma partic lar, !les so o res ltado de declara4es organi-adas de acordo com regras determinadas> m en nciado * conhecido por ser verdade0 o * derivado de os anteriores0 com ma regra de ded o levado em m con= nto 1em definido de regras, 9hamamos estas demonstraes de provas, Reservamos o so da palavra Argumentao para designar a atividade intelect al0 a maior parte do tempo no e2plicitada0 de manip lao da informao para0 a partir de dados0 gerar novas informa4es, !stas distin4es de voca1 l#rio visam destacar os aspectos sociais da demonstrao0 como res ltado de m processo partic lar de prova, Propomos mostrar & e o est do do processo de provas deve efect ar5se em refer6ncia tanto para & em implementa como m s =eito com o conhecimento e a sit ao em & e ele coloca em pr#tica,, !m seg ida destacaremos a variedade de s a nat re-a e alg ns elementos da comple2idade da s a operao, !ste est do nos cond - a diferenciar os n:veis de evid6ncia & e podem acontecer na g6nese da demonstrao em ma perspectiva de aprendi-agem,

Na $rana0 a classe de & atri?me %nosso oitavo ano do !$0 (+ anos' oferece at almente0 na geometria0 m 1om e2emplo dessa transio da pr#tica @ teoria, ; marca * apenas a o1rigao de apresentar provas %demonstra4es', ; diviso entre geometria pr#tica %a da r*g a e compasso0 a prod o de fig ra' e a geometria % ded tiva ' *0 de fato 0 no s3 ma m dana no estat to epistemol3gico 0 mas tam1*m ma m dana de contrato 0 tal como il strado pelo tra1alho de 9hevallard e BoAer em / provas e demonstrao/ % BoAer 0 (BCD', ; pes& isa & e reali-aram so1re a geometria0 no final do cin& i?me %correspondente ao se2to ;no do !nsino $ ndamental ' e no final do & atri?me %corresponde ao oitavo ano do ensino f ndamental'0 mostra & e0 em ve- da disposio precisa das fig ras0 a Eeometria torna5se o local do est do de fig ras, !sta r pt ra * claramente identific#vel no c rr:c lo !sta m dana contrato se manifesta pela m dana de stat s da atividade matem#tica 0 alterando s a f no, De m aprendi-5praticante0 orientado para o dom:nio de ma ha1ilidade0 ele passa ao stat s de aprendi-5teori-ador0 a = stificativa para isso * a atividade de sa1er, !m nome do conhecimento & e a evid6ncia * re=eitada para esta1elecer ma verdade em no em nome da pr#tica Para isso0 * necess#rio ir a m local onde o teste * o da efic#cia0 a o tro onde o crit*rio * a rigor> o rigor como fim em si mesmo * estranho para a pr#tica0 & e * ma preoc pao do aprendido, O rigor0 como fim em si mesmo * estranho para a pr#tica e ma preoc pao do est dioso ,

Tipos de provas
O desenvolvimento de prova pragm#tica a evid6ncia intelect al e a demonstrao0 no s3 * marcado por ma alterao de caracter:sticas ling :sticas0 mas tam1*m pelo estado e da nat re-a do conhecimento, ;s provas pragmticas so 1aseadas no conhecimento pr#tico essencialmente envolvido na ao0 as provas intelectuais & e tal conhecimento possa ser tomado como m o1=eto de refle2o, Isto corresponde a ma evol o classicamente descrita pela psicologia cognitiva de Eene1ra, O desenvolvimento de demonstrao re& er estado mais especial de tal conhecimento, !les devem ser incorporados em ma teoria real e ser reconhecido como tal 0 isto *0 aceito /por ma com nidade & e no permite mais atraente o ela & er os arg mentos & e ele sa, ; demonstrao matem#tica * 1aseada em m con= nto de conhecimentos fortemente instit cionali-ada con= nto de defini4es 0 teoremas 0 regras de infer6ncia 0 & e validade * socialmente compartilhados, !ste princ:pio * m dos pilares do rigor matem#tico 0 s a apropriao pelos al nos e2igir# estr t ra cognitiva especial no apenas m /marcador / do conhecimento em & esto ; transio entre as provas pragmticas @s provas intelectuais0 incl indo a demonstrao0 * 1aseada em tr6s p3los interagem fortemente> 5 o p3lo de conhecimento> nat re-a do conhecimento dos al nos %no sentido de Fergna d 0 (BC)' 5 O p3lo da ling agem o form lao0 5 validao0 o tipos de racionalidade s 1=acente @s provas, Das provas pragm#ticas para as provas intelect ais pode reconhecer v#rios tipos0 & e diferem tanto pelo estado de conhecimento envolvidas e da nat re-a da racionalidade s 1=acente ,

O empirismo ingnuo nessa hierar&

ia * o primeiro tipo de evid6ncia & e encontramos, . ela1orado a partir da o1servao de m pe& eno nGmero de casos0 a certe-a da verdade de ma afirmao a& i est# m e2emplo do est do & e reali-amos so1re o pro1lema de contar as diagonais de m pol:gono > Hionel Ha rent e conto cinco diagonais em m pent#gono, ;p3s a verificao da contagem de ma nova representao do pent#gono0 & e reli a declarao do pro1lema e 0 em seg ida0 concl ir > Ha rent > / I ,,,J calc lar o nGmero de ,,, 1em0 sim0 * ,,, h# K v*rtices e K diagonais /, Hionel > / sim e I provado, /

! HL desafiar o espectador com ma mensagem descrevendo a s a contagem e res ltado, Oferece 5lhes m he2#gono, Hionel ento di- 0 com o consentimento do HaArence > / Bem 0 haver# seis diagonais /,

O experimento crucial

* m m*todo de validar ma afirmao em & e o indiv:d o e2plicitamente o pro1lema da generali-ao e resolve falar s a resol o de m caso para reconhecer to po co & anto poss:vel0 especialmente no e2emplo o casi da contagem das diagonais m pol:gono * o caso deste est dante /oferece so1re s a con=ect ra >/ N3s vamos fa-er ma fig ra enorme para M % , Ha ra 0 ref (BC' checNM o o tra1alho do al no ao m con= nto diferente com se parceiro prop4e /tentar ma ve- com (K M e 0 em seg ida0 se ele f nciona0 assim & e significa & Ma tra1alhar com os o tros / % Nadine0 B( ref, ' , ;ssim0 a e2peri6ncia cr cial * fa-er com & e m evento onde / n3s no temos presente / 0 afirmando & e / se f nciona 0 ento ele vai f ncionar sempre, / !sta a1ordagem permanece f ndamentalmente diferente emp:ricos de empirismo ing6n o em & e o pro1lema * generali-ado e de fato o al no d# ma maneira de decidir o contr#rio do & e peremptoriamente ,

O exemplo genrico na e2plicao de ra-4es, ; validade de

reali-ao de ma operao o de transformao em m

ma afirmao pela

o1=eto no para si mesmo0 mas como ma caracter:stica representativa de ma classe de indiv:d os, ; $orm lao li1era as propriedades caracter:sticas e estr t ras de ma fam:lia & e contin em ligadas ao 1om nome e @ e2posio de m dos se s representantes, No e2emplo %$ig, +' a seg ir0 Hionel Ha rent e primeira con=ect ra e2pressa sando o he2 & e tem m gen*rico em se pro=eto como m e2emplo & e destaca o /mesmo/ e eles esto se movendo em direo a ma forma O o & e emerge de marcas0 incl indo >

A experincia mental

invoca a internali-ao e destacando a s a reali-ao em m representante partic lar, . marcado pela temporalidade aned3tica0 mas as opera4es e rela4es

f ndadoras da prova so designadas seno como res ltado de s a implementao7 este era o caso para o e2emplo geral0 a ;m*rica, O caso de 9hristopher e Bertrand * ma il strao %fig, )', Isto * algo entre o e2emplo gen*rico e e2peri6ncia mental & e ocorre a evid6ncia pragm#tica passagem para demonstrar de intelect ais, Uma marca dessa passagem * ma evol o dos meios de ling agem tili-ada,

!m relao @ matem#tica0 da prova5e2peri6ncia mental @ demonstrao 0 a demonstrao demonstrao pode sugerir que h ' diferentes tipos de provas %por e2emplo0 M ; 5 an#lise de prova no sentido de HaNatos ' 0 devem ser diferenciados por se n:veis de conte2t ali-ao 0 e despersonali-ao do d*temporalisation mencionado acima 0 1em como o se n:vel de formalidade %o se=a0 a respectiva & ota de ling agem nat ral e ling agem sim13lica ' , !sta tipologia permanece , !scolaridade das provas Demonstrao pr#tica e2ige racionalidade e m estado espec:fico de conhecimento, ;l*m disso0 significa aderir a m pro1lema & e no * mais efici6ncia cel(e % e2ig6ncia da pr#tica '0 mas & e de rigor %re& isito te3rico', !m & arto l gar0 onde ele aparece como m o1=etivo e2pl:cito 0 ensino0 demonstrao para o campo geometria especial, "as por& e a geometria no si2i?me %nosso se2to ano' e no cin& i?me %nosso s*timo ano' * ma geometria de o1servao, o 0 a nat re-a do conhecimento assim constr :do no vai atender imediatamente @s necessidades espec:ficas de ma demonstrao, Independentemente disso, a
qualidade da negociao de um novo contrato didtico, no pode ser uma simples passagem de pragmtica e fundamentalmente emprica prova vlida at ento, a demonstrao. , !sta passagem revela

m edif:cio no terreno para tanto o conhecimento e racionalidade, 9omo & al& er constr o cognitiva P re& er m po co de tempo compat:vel com as am1i4es dos programas e2istentes, " ito cedo0 di-er na se2ta %nosso se2to ano ' deve ser colocado o pro1lema da evol o dos f ndamentos racionais da atividade matem#tica dos al nos 0 ao mesmo tempo e com o mesmo estat to & e o da constr o de conhecimento, ; e2ig6ncia de provas deve ser capa- de encontrar o se l gar como as primeiras a las de matem#tica pr#tica 0 aceitando & e as evid6ncias ser reconhecido por algo diferente de manifesta4es em sentido estrito, Isso vai levar em conta a nat re-a da racionalidade dos al nos e as condi4es de s a evol o0 mas tam1*m apoiar a an#lise da formao aceites crit*rios de evid6ncia & e deve ser capa- de evol ir ao longo da escolaridade ,

http>QQfrances,for mdeidiomas,com,1rQDR(RQRBQo5sistema5ed cacional5francesQ http>QQonlinetrad tor,comQ