A PROVA DOS NOVE

Alexand Andrade de Oliveira Bolsista PADCT UFF 96/97 Lisete Godinho Lustosa (Prof. Orientador) Mestre em Matemtica - UFF Professora Adjunta - GAN / UFF

A PROVA DOS NOVE

I - Introduo
Como bolsista do projeto PADCT/UFF me motivei a escrever um trabalho baseado na leitura de um artigo da Revista do Professor de Matemtica nmero 14, 1989, da autoria de Flvio Wagner Rodrigues (IME-USP), que recordava a todos, velhos companheiros de geraes passadas na Matemtica de 1o grau: o "noves-fora" e a prova dos noves de um nmero natural. Neste artigo, o autor formula as seguintes perguntas: Vamos justificar matematicamente a regra prtica para achar o noves-fora de um nmero natural. Para isso, em primeiro lugar mostraremos por induo matemtica o seguinte resultado: para todo nmero i natural 10 i -1 mltiplo de 9.

Demonstrao:
Se i = 0, 10 i -1 = 10 0 -1 = 0 mltiplo de 9. Suponhamos que a propriedade seja vlida para o nmero natural k, isto , 10 k -1 mltiplo de 9 ( hiptese de induo). Provemos que vlida para o nmero natural i = k+1. 10 i -1 = 10 k +1 -1 = 10 k .10-1= 10 k (9+1)-1= 9.10 k + 10 k -1. Como 9.10k mltiplo de 9 e 10k -1 tambm (pela hiptese de induo), a soma 9.10 k + 10 k -1 = 10 i -1 mltiplo de 9. Logo, mostramos que a propriedade vlida para todo nmero natural. Consideremos agora, a representao decimal do nmero natural a como ( an an-1....a1 a0 ) onde para todo nmero natural i, 0 i n , ai um algarismo do nosso sistema de numerao. Ento a decomposio decimal de a pode ser expressa por: a = 10n an + 10 n -1 an -1 + ......... + 10 a1 + a0 Mostraremos que: a e a soma dos seus algarismos, quando divididos por 9, deixam o mesmo resto. Sejam a e a nmeros naturais tais que a = 9q + r onde q e r so nmeros naturais e 0 r < 9 e a = an + an -1 + ....... + a1 + a0 = 9q1 + r1 onde q 1 e r 1 so nmeros naturais e 0 r1 < 9 . Observe que r e r 1 so os restos das divises de a e a por 9 respectivamente. Como a = 10n an + 10 n -1 an -1 + ....... 10a1 + a0 ento a = (10n -1 + 1) an + (10n -1 -1 +1) an -1 + .... + (10-1+1) a1 + a0 = (10n -1) an + (10 n -1 - 1 ) an -1 + ....+ (10-1) a1+ an + an -1 +.... a1 + a0

O que o noves-fora de um nmero natural? O que a prova dos noves? Por que ela funciona? Por que, s vezes, ela falha? Por que prova dos noves e no dos sete, dos trezes
ou dos quinze? Tentaremos responder ao longo deste trabalho as perguntas citadas acima. Primeiramente, trataremos do que o noves-fora de um nmero natural. Em seguida, falaremos do que se trata a prova dos noves, mostrando como ela funciona e aplicada nas operaes fundamentais, alertando a todos que a mesma em determinadas situaes pode falhar. E por fim, mostraremos o porqu de utilizar a prova dos noves, e no dos setes, dos quinzes ou dos dozes.

II - O noves - fora de um nmero natural

Sendo a um nmero natural , tirar o noves-fora de a significa subtrair de a o maior mltiplo de 9 menor que a, o que equivalente, achar o resto da diviso do nmero a por 9.

Exemplos:
a) 15 "noves-fora" 6, pois 15-9 = 6 ou porque o resto da diviso de 15 por 9 6. b) 35 "noves-fora" 8, pois 35-27 = 8 ou porque o resto da diviso de 35 por 9 8. Existe uma maneira prtica para achar o noves-fora de um nmero natural, que consiste em somar seus algarismos e tirar do resultado o maior mltiplo de 9 nele contido. Vejamos outros exemplos: a) Para o natural 282, a soma de seus algarismos 12. Ento 282 noves-fora 3, isto , 3 o resto da diviso de 282 por 9. b) Para o natural 564, a soma de seus algarismos 15. Ento 564 noves-fora 6, 6 o resto da diviso de 564 por 9.

20

Caderno de Licenciatura em Matemtica

Considerando o nmero natural Ex.:

b= (10n -1)an + (10n-1 -1) an -1 +...+(10- 1) a1 que mltiplo de 9, pois soma de mltiplos de 9. Logo, temos b = 9q onde q 2 um nmero natural. 2 Assim a = b + a ou 9q + r = 9q 2 + 9q 1 + r1 = = 9(q2 + q 1) + r1 , donde podemos afirmar que r = r1 , pois r e r1 so menores que 9. Portanto a e an + an-1 + ..... + a1 + a0 deixam o mesmo resto quando divididos por 9 . Logo, podemos garantir que os restos das divises de um nmero natural e da soma dos seus algarismos por 9 so iguais. Isso justifica a regra prtica de se determinar "novesfora" de qualquer nmero natural, principalmente aqueles constitudos por vrios algarismos. A seguir, utilizaremos o "noves-fora" de nmeros naturais para verificar se o resultado de operaes aritmticas envolvendo tais nmeros est correto. Esse procedimento conhecido como prova dos noves.

346 + 683 1029

4 8

3 3

Subtrao:
Supondo-se a - b = c, temos a = b + c donde 9q1 + r1 = 9q2 + r2 + 9q3 + r3 ento 9q1 + r1 + 9 (q2 + q3) + r2 + r3 . O que mostra que o "noves-fora" do minuendo igual ao "noves-fora" de soma dos noves-fora do subtraendo e do resto , isto , o noves-fora de r2 + r3 igual a r1 . O Esquema:

III - Prova dos Noves

Consideremos a, b, c e d nmeros naturais tais que a = 9q1 + r1 , b= 9q2 +r2 , c= 9q3 + r3 e d= 9q4 + r4 onde q1, q2, q3, q4 so respectivamente os quocientes da diviso de a, b, c e d por 9 e os nmeros naturais r1, r2 , r3 e r4 so os respectivos noves-fora de a, b, c e d . Com estas hipteses vejamos a aplicao da prova dos noves para as operaes de adio, subtrao, multiplicao e diviso.

r2 r3

"noves- fora de" r2 + r3 r1

Ex.:

88 - 14 74

5 2

7 7

Adio:
Supondo-se a + b = c temos (9q1 + r1) + (9q2 + r2) = 9q3 + r3 Da 9 (q1 + q2) + (r1+ r2) = 9q3 + r3 ; r1 , r2 , r3 e < 9. O que mostra que o "noves-fora" da soma dos noves - fora das parcelas igual ao "noves-fora" da soma , isto , o noves-fora de r1 + r2 igual a r3 . O esquema: r4 Supondo a . b = c, temos ( 9q1 + r1) x (9q2 + r2) = 9q3 + r3 da 81.q1.q2 + 9q1r2 + 9q2.r1 + r1. r2 = 9q3 + r3 ento 9 ( 9q1 q2 + q1r2 +q2 r1 ) + r1 . r2 = 9q3 + r3 . O que mostra que o "noves-fora" do produto dos "noves-fora" dos fatores igual ao "noves-fora" do produto, isto , o noves-fora de r1 . r2 igual a r3. O Esquema:

Multiplicao:

"noves-fora" de r1 r2 r1 + r2 r3

r1 r2

"noves-fora" de r1 x r2 r3

um dispositivo prtico de apresentar os noves-fora dos termos da adio.

Maro 1998 - Nmero 1 - ano 1

21

86 x 22 1892

5 4

2 2

Notem que a verificao pela prova dos noves pode nos levar a garantir que esta multiplicao est correta. Mas na verdade, houve a inverso na ordem dos algarismos do resultado, o que no foi detectado pela prova, uma vez que a ordem das parcelas no altera a soma. De fato, a prova dos noves no saber distinguir 1287 do resultado correto, 1278, da operao 213 X 6 .

Sugerimos considerar quatro nmeros naturais: a, b, c e d, nas hipteses iniciais, mesmo utilizando-se a d somente na regra da diviso.

Diviso:
Admitindo a = b . c + d, onde 0 d < b, temos 9q1 + r1 = (9q2 + r2) . (9q3 + r3) + (9q4 + r4 ) da 9q1 + r1 = 9 (9q2q3 + q2 r3+ q3 r2 + q4 ) + r2 . r3 + r4. O que mostra que o "noves-fora" do produto dos "noves-fora" do divisor pelo "noves-fora" do quociente somado com o "noves-fora" do resto igual ao noves-fora do dividendo, isto , o "noves-fora" de ( r2 . r3 + r4) igual a r1. O Esquema:

Podemos ento concluir que, quando a prova dos nove acusa erro, certeza de que o resultado da operao est errada. Mas, quando ela no acusa erro, o resultado da operao pode estar correta ou no. Por que utilizar a prova dos noves, e no a dos setes ou dos quinzes? No existe nenhuma restrio terica em utilizarmos, por exemplo, uma prova dos quinzes. O problema essencialmente de ordem prtica, pois o resto da diviso de um nmero natural no nulo por 15 no obtido to simplesmente quanto o resto da diviso por 9. Usamos a prova dos noves porque a base do nosso sistema de numerao 10 e, conforme mostramos, cada nmero natural e a soma dos algarismos da sua decomposio decimal deixam o mesmo resto quando divididos por nove. Se a base do nosso sistema fosse, por exemplo 21, ns certamente teramos a prova dos vintes e no dos noves.

r2 r3
Ex.:

"noves-fora" de r2 x r3 + r4 r1

IV - Concluso
29 12 2 3 2 2
Ns que pensamos no mundo matemtico numa concepo de ensino que valorize mais a percepo, a compreenso e a formao do pensamento matemtico do aluno, concordamos com a no utilizao da prova dos noves nos moldes em que era utilizada, pois no passava da aplicao de uma regra tcnica que podia levar a concluses incorretas. Com este trabalho, tivemos a oportunidade de comprovar que a prova dos noves, to utilizada em dcadas passadas, no deve ser vista como uma simples regra de verificao para exatido das operaes fundamentais. Nela se escondem diversos conceitos matemticos, como divisibilidade, decomposio decimal de um nmero natural, induo matemtica e outros estudados pela Teoria dos Nmeros que justificam todos os procedimentos adotados como regra.

362 072 14

A verificao da prova dos noves em cada operao consiste na obteno dos dois nmeros iguais direita no esquema, quando a conta est correta. Existe um perigo na utilizao dessa regra, ela pode no ser suficiente para detectar uma operao errada.

Observemos a seguinte multiplicao: 213 x6 1287

6 6

0 0

Obras consultadas
TRAJANO, Aritmtica progressiva . 90a edio Rio de Janeiro. Editora Paulo de Azevedo LTDA. 1962. WATANABE, Vivendo a Matemtica na Terra dos noves fora. Editora Scipione. FILHO, Edgard de Alencar. Teoria Elementar dos nmeros. 3a edio, 4a reimpresso, Editora Nobel, 1992. IEZZI, DOLCE. Osvaldo e outros. Tpicos da Matemtica. 2a edio, Volume 2, Editora Atual.