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:

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

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.

ou dos quinze?

10 i -1 = 10 k +1 -1 = 10 k .10-1= 10 k (9+1)-1= 9.10 k + 10 k

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.

-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

Exemplos:

Mostraremos que:

a) 15 "noves-fora" 6, pois 15-9 = 6 ou porque o resto

da diviso de 15 por 9 6.

a e a soma dos seus algarismos, quando divididos

por 9, deixam o mesmo resto.

b) 35 "noves-fora" 8, pois 35-27 = 8 ou porque o resto

da diviso de 35 por 9 8.

Sejam a e a nmeros naturais tais que a = 9q + r

onde q e r so nmeros naturais e

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.

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 .

Vejamos outros exemplos:

Observe que r e r 1 so os restos das divises de a e a

por 9 respectivamente.

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.

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

Caderno de Licenciatura em Matemtica

20

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

346
+ 683

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.

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:

r2

III - Prova dos Noves

Com estas hipteses vejamos a aplicao da prova

dos noves para as operaes de adio, subtrao, multiplicao e diviso.

Subtrao:

Esse procedimento conhecido como 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 .

1029

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.

"noves- fora de"

r2 + r3

r3

r1

Ex.:

88
- 14
74

Adio:
Multiplicao:

Supondo-se a + b = c
temos (9q1 + r1) + (9q2 + r2) = 9q3 + r3
Da 9 (q1 + q2) + (r1+ r2) = 9q3 + r3 ; r1 , r2 , r3 e

r4

Supondo a . b = c,

< 9.

temos ( 9q1 + r1) x (9q2 + r2) = 9q3 + r3

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 .

da 81.q1.q2 + 9q1r2 + 9q2.r1 + r1. r2 = 9q3 + r3

O esquema:

"noves-fora" de
r1

r1 + r2

r2

r3

um dispositivo prtico de apresentar os noves-fora

dos termos da adio.

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:

r1
r2

"noves-fora" de
r1 x r2
r3

Maro 1998 - Nmero 1 - ano 1

86
x 22
1892

21

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:

Por que utilizar a prova dos noves, e no a dos setes

ou dos quinzes?

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:

r2

"noves-fora" de
r2 x r3 + r4

r3

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.

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.

r1

IV - Concluso

Ex.:

362
072
14

29
12

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

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.

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.