Prueba del nueve

La prueba del nueve es un artificio matemtico utilizado para verificar, de una forma
sencilla, si una operacin de suma, sustraccin, multiplicacin o divisin, realizada a mano,
ha dado un resultado errneo.
Mediante esta prueba se puede comprobar si la operacin tiene algn error o no. Si el
resultado de la prueba da errneo se puede asegurar que la operacin no es correcta;
sin embargo, si el resultado de la prueba da correcto esto no implica necesariamente
que la operacin est bien (existe una probabilidad de slo el 10% que un resultado
errneo no sea detectado).
Esta prueba fue muy popular hasta mediados de la dcada de 1970, cuando
las calculadoras porttiles se hicieron usuales. Hasta entonces la forma habitual de
verificar la bondad de una operacin realizada era mediante este tipo de artificios
matemticos o mediante la repeticin de la operacin por otra persona y el cotejo de los
resultados obtenidos.

ndice
[ocultar]

1Definicin de la RAE

2Prueba del nueve para operaciones bsicas

o 2.1Prueba del nueve en la multiplicacin

o 2.2Prueba del nueve en la divisin

o 2.3Prueba del nueve para la suma y la resta

3Base de la prueba del nueve

4Historia

5Referencias

o 5.1Enlaces externos

Definicin de la RAE[editar]
Clculo sencillo que sirve para verificar el resultado de las operaciones aritmticas,
especialmente en la multiplicacin y en la divisin, fundado en que el resto de dividir un
nmero por nueve es el mismo que el de dividir tambin por nueve la suma de sus cifras. 1

Prueba del nueve para operaciones bsicas[editar]

Todas las pruebas del nueve explicadas a continuacin requieren el clculo de la suma de
cifras, para un nmero natural:
La suma de sus cifras es:
esta operacin de suma de cifras coincide con el resto de la divisin entera entre 9:
razn por la cual al resto a se le califica de "resto mdulo 9 de A" y se designa por (A mod
9).
Prueba del nueve en la multiplicacin[editar]
Para comprobar si el resultado de una multiplicacin (A*B*C=D) es errneo:

1. Se calcula el resto de dividir el resultado obtenido entre 9. d = (D mod 9).

2. Se calcula el resto de los multiplicandos dividindolos entre 9. a = (A mod 9); b = (B

mod 9); c = (C mod 9).

3. Se multiplican estos restos y se obtiene su resto al dividirlo entre 9. a*b*c = N; n =

(N mod 9).

4. Se comprueba si los dos valores obtenidos son iguales. d = n.

Si d distinto que n Sabemos que la multiplicacin no es correcta (A x B x C distinto D).
Si d igual que n. Es probable, aunque no seguro, que la multiplicacin sea correcta.
Prueba del nueve en la divisin[editar]
Para comprobar si el resultado de una divisin entera (A/B=C y con resto D) es errneo A /
B = C con resto D A = B*C+D
1. Se calcula el resto de dividir cada uno de los nmeros intervinientes entre 9.
a = (A mod 9).
b = (B mod 9).
c = (C mod 9).
d = (D mod 9).

2. Se multiplican los restos (de dividir entre 9) del denominador por el del cociente.
b*c

3. Se le suma al resultado anterior el resto (de dividir entre 9) del resto de la divisin.
E=b*c + d

4. Se obtiene el resto de dividir entre 9 este resultado obtenido e = (E mod 9).

5. Se comprueba si el resto obtenido es igual al resto del numerador e=a.

Si e distinto que a Sabemos que la divisin no es correcta (A distinto de B*C+D).
Si e igual que a. Es probable, aunque no seguro, que la divisin sea correcta.
Prueba del nueve para la suma y la resta[editar]
Anlogamente puede desarrollarse una prueba del nueve para la resta C = A - B
1. a:= (A mod 9), b:= (B mod 9) y c:= (C mod 9).
Se calcula a+c (mod 9)
Si este ltimo resultado no coincide con entonces la operacin contiene algn error. Si a+c
coinicde con b, entonces probablemente la operacin es correcta (aunque no puede
excluirse un improbable falso positivo). Para la suma A1+A2+...+An = B la prueba sera:
1. ai:= (Ai mod 9) [para i = 1 ... n.
Se calcula a1+a2+...+an (mod 9)
Se calcula b:= (B mod 9)
Si los nmeros de los ltimos dos pasos difieren existe algn error, si coinciden
probablemente la operacin es correcta (aunque no puede descartarse del todo un falso
positivo).
Base de la prueba del nueve[editar]
La base del mtodo reside en substituir nmeros grandes por otros nmeros ms
pequeos obtenidos como la suma de sus dgitos. As para verificar la multiplicacin de
dos nmeros y cuyo resultado calculado sea (ak, bk, ck son las cifras decimales de dichos
nmeros), se obtienen la suma de sus cifras:
Puede demostrarse que se cumplen las siguientes implicaciones:
El xito de este artificio para saber si una operacin es o no correcta se basa en
la congruencia entre nmeros y en su facilidad de clculo. Se basa en el hecho de que
para cualesquiera nmeros a y b
Puesto que la congruencia "mod 9" coincide con la suma de las cifras. Por tanto, si la
suma o el producto de dos nmeros dados es igual a un tercero, esto implica que el
producto del resto de dividir cada uno de esos nmeros entre 9 es igual al resto del tercer
nmero dividido entre nueve. Ejemplo:
Si se suman las cifras de cada uno de los nmeros (si resulta un nmero de dos o ms
cifras se vuelve a repetir la operacin de sumar las cifras, hasta reducir el dgito; esto es
equivalente a encontrar el resto de una divisin entera con divisor 9), multiplicando la cifras
obtenidas se obtiene un nmero:
La "prueba del nueve" en este caso en concreto consiste en verificar si la suma de las
cifras del multiplicando y la suma de las cifras del multiplicador coincide con la suma de las
cifras del resultado:
En este caso puesto el primer trmino resulta igual al segundo la prueba se considera
satisfactoria.
La sencillez de esta prueba reside en que es fcil encontrar el resto de la divisin de un
nmero entero entre nueve, que coincide con la suma de las cifras. El resto de dividir un
nmero entre 9 es igual que el resto de dividir la suma de sus cifras entre 9:
(12.587.626 mod 9) = (1+2+5+8+7+6+2+6) mod 9 = 37 mod 9 = (3+7) mod 9 = 10
mod 9 = 1
(9.857.231 mod 9) = (9+8+5+7+2+3+1) mod 9 = 35 mod 9 = (3+5) mod 9 = 8 mod
9=8
(124.079.137.223.606 mod 9) = (1+2+4+0+7+9+1+3+7+2+2+3+6+0+6) mod 9 = 53
mod 9 = (5+3) mod 9 = 8 mod 9 = 8
O de una forma ms simple, "eliminando los nueves":
(12.587.626 mod 9)
1 + 2 = 3;
3 + 5 = 8;
8 + 8 = 16; Eliminando los nueves (16 mod 9) = 7;
7 + 7 = 14; Eliminando los nueves (14 mod 9) = 5;
5 + 6 = 11; Eliminando los nueves (11 mod 9) = 2;
2 + 2 = 4;
4 + 6 = 10; Eliminando los nueves (10 mod 9) = 1;
(12.587.626 mod 9) = 1;