Podemos empezar por una definicin formal de la prueba del nueve. Ya que la edicin 23 del diccionario de la Real Academia Espaola tambin recoger su significado matemtico, se puede empezar por dicha definicin: 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. En realidad esta prueba se puede aplicar a todas las operaciones con nmeros naturales. Consiste en: 1) Hallar los restos de la divisin por 9 de los componentes de la operacin aritmtica. 2) Realizar con estos restos la misma operacin aritmtica y calcular para el resultado obtenido su resto cuando se divida por 9. 3) Obtener tambin el resto de dividir por 9 el resultado de la operacin aritmtica. 4) Comparar los nmeros obtenidos en los pasos 2 y 3. Se pasa la prueba si coinciden. Visto as el asunto parece lioso y largo pues se est diciendo que hay que dividir por 9 varias veces, sin embargo el nmero 9 es especial cuando de dividir por l se trata: se puede conocer el resto de dividir cualquier nmero por 9 sin ms que sumar sus cifras y hacerlo de nuevo con el resultado hasta que quede una sola cifra que ser el resto, excepto si la cifra es precisamente 9, entonces el resto es cero. Los ejemplos en este caso sern ms clarificadores:
Cada vez que se obtiene el resto de esta manera es cuando se debe decir fuera los nueves o fuera de los nueves, as, decimos: 3548 fuera de los nueves 2. Como vemos
obtener el resto de dividir entre 9 es muy sencillo y se puede hacer mentalmente.
Aplicaciones prcticas de la prueba del nueve
Abordemos la prueba para la multiplicacin. En la figura 1 anterior se ha multiplicado 2567 x 78, siendo el resultado que queremos comprobar 200226. Recordemos que 2567 es el multiplicando, 78 es el multiplicador y 200226 es el producto. En primer lugar se trazar un aspa a la derecha de la multiplicacin para delimitar cuatro huecos que rellenaremos de la siguiente manera:
2567 x 78 = 200226 Paso n Objetivo Clculo Resultado 1 Calcular el resto de dividir por 9 el multiplicando Multiplicando = 2567 2 + 5 + 6 + 7 = 20 2+0 = 2 2 (lo anotamos en el hueco superior del aspa, figura 2a) Calcular el resto de dividir por 9 el multiplicador Multiplicador = 78 7 + 8 = 15 1 + 5 = 6 6 (lo anotamos en el hueco inferior del aspa, figura 2b) 2 Obtener el resto del producto multiplicando las dos cifras obtenidas en el paso 1 y calculando el resto de dividir por 9 el resultado obtenido 2 x 6 = 12 1 + 2 = 3 3 (lo anotamos en el hueco izquierdo del aspa, figura 2c) 3 Obtener el resto del producto a partir del resultado de la multiplicacin Producto = 200226 2 + 0 + 0 + 2 + 2 + 6 = 12 1 + 2 = 3 3 (lo anotamos en el hueco derecho del aspa, figura 2d) 4 Comparar los resultados de los pasos 2 y 3 La multiplicacin ha pasado la prueba del nueve
Veamos ahora cmo aplicar la prueba del 9 a una suma como la siguiente:
36987 9520 + 10587 6 15228 3
En este caso hay que calcular los restos de dividir por 9 cada uno de los sumandos. La suma de estos restos debe coincidir con el resto de dividir por 9 el resultado que se desea comprobar:
36987 + 9520 + 105876 = 152283
Clculo del resto Rest o Suma de los restos de los sumandos Primer sumando 3 + 6 + 9 + 8 + 7 = 33 3 + 3 = 6 6 13, su resto es 1 + 3 = 4 Segundo sumando 9 + 5 + 2+ 0 = 16 1 + 6 = 7 7 Tercer sumando 1 + 0 + 5 + 8 + 7 + 6 = 27 2 + 7 = 9 0
No coinciden luego la suma est mal. El resultado de la suma es en realidad 152383, cuyo resto da, evidentemente, 4.
Por ltimo, en la figura 3 se ha aplicado la prueba del nueve a la comprobacin de una divisin (fig. 3).
Figura 3
En este caso hay que tener en cuenta el resto de la operacin pues como sabemos Dividendo = (divisor x cociente) + resto. As, una vez calculados los restos de dividir por 9 el dividendo, divisor, cociente y resto, tambin deben cumplir la ecuacin anterior. Veamos:
13976 : 23 = 607, R = 15 Paso n Objetivo Clculo Resultado 1 Calcular el resto de dividir por 9 el divisor Divisor = 23 2 + 3 = 5 5 (lo anotamos en el hueco superior del aspa, figura 3) Calcular el resto de dividir por 9 el cociente Cociente = 607 6 + 0 + 7 = 13 1 + 3 = 4 4 (lo anotamos en el hueco inferior del aspa, figura 3) Calcular el resto de dividir por 9 el resto de la divisin Resto = 15 1 + 5 = 6 6 2 Obtener el resto del dividendo Dividendo = 13976 1 + 3 + 9 + 7 + 6 = 26 8 (lo anotamos en el hueco izquierdo del 2 + 6 = 8 aspa, figura 3) 3 Obtener el resto del dividendo a partir de los resultados del paso 1: (divisor x cociente) + resto (5 x 4) + 6 = 26 2 + 6 = 8 8 (lo anotamos en el hueco derecho del aspa, figura 3) 4 Comparar los resultados de los pasos 2 y 3 La divisin ha pasado la prueba del nueve
Como ya mencion anteriormente, la prueba del nueve es condicin necesaria pero no suficiente para establecer que una operacin algebraica est bien realizada. Por tanto, si no se supera la prueba del nueve la operacin tendr un error pero, si se supera no se tiene una garanta plena de la validez del resultado. Se pueden dar varios casos: - Un caso en el que la prueba fracasa se da cuando se altera el orden de las cifras del resultado. As, en la multiplicacin anterior el resultado correcto era 200226. Cualquier alteracin del orden de estas cifras tambin pasara la prueba del nueve, por ejemplo 200262. - Otro caso de fallo se da cuando se obtiene un resultado errneo cuyo resto coincide con el del resultado correcto, por ejemplo, para el caso de la misma multiplicacin, un resultado errneo como 200046 tambin pasara la prueba del nueve. - Por ltimo, si el resultado tuviera un 9, al cambiarlo por un cero (o viceversa) tambin pasara la prueba. Orgenes de la prueba del nueve
A punto de comenzar el ltimo cuarto del siglo VIII d. C, ao 773, sabios procedentes de la India, territorio invadido por los rabes a comienzos de ese siglo, se presentaron en Bagdad ante el califa al-Mansur y le ofrecieron sus conocimientos astronmicos y matemticos as como los escritos en snscrito (la antigua lengua de los brahmanes) que recogan dichos conocimientos. Es probable que entre estos escritos se encontrara la obra del astrnomo y matemtico indio Brahmagupta (598-670) que, en lo referente a la matemtica, contena el principio de la numeracin decimal posicional, el cero, los mtodos de clculo y los fundamentos del lgebra india. El califa retuvo a los sabios indios en su palacio y orden que se tradujeran al rabe estos conocimientos y que se escribiera una obra que pudieran tomar los rabes como base para sus estudios astronmicos.
Pronto reconocieron los rabes la superioridad del mtodo de clculo indio. Alrededor de medio siglo despus (c. 815), durante el califato de al-Mamun (hijo Harun al-Rashid, califa que inspir las mil y una noches) se estableci en Bagdad la Casa de la Sabidura combinando en el mismo espacio una academia y una biblioteca. En este lugar el matemtico al-Khwarizmi [1] (783 c. 850) se hizo clebre por dos obras que contribuyeron al conocimiento de las cifras y los mtodos de clculo de origen indio. La primera de estas obras titulada Transposicin y reduccin (Al jabr wal muqbala) es un tratado de matemticas elementales para resolver cuestiones prcticas como herencias, legados, operaciones comerciales, repartos, etc. A este libro se le debe el origen de la palabra lgebra, por transformacin de la primera palabra rabe del ttulo, aunque slo la primera parte se ocupa del lgebra elemental, mientras que las otras dos se dedican a mediciones y herencias. Sin embargo, es la segunda obra de este matemtico la que interesa en cuanto a la prueba del nueve. Mientras que la primera obra de al-Khwarizmi ha llegado hasta nosotros tanto en su versin rabe como en una traduccin latina elaborada en la Edad Media por Gerardo de Cremona, el original de la segunda obra, titulada Libro de la adicin y la sustraccin segn el clculo de los indios (Kitb al jmi wal tafrq b hisb al hind), se ha perdido aunque quedan traducciones latinas realizadas a partir del siglo XII. Se trata del primer libro rabe conocido en el que se dan explicaciones detalladas, con numerosos ejemplos, de la numeracin decimal posicional y de los mtodos de clculo de origen indio, incluyendo la prueba del nueve. El siguiente fragmento de la obra de al-Khwarizmi, tomado de M. Ballieu (citado en la bibliografa), explica la prueba:
Sello de la URSS conmemorativo del duodcimo centenario del nacimiento de al-Khwarizmi (ao 1983) . Y cuando quieras multiplicar un nmero cualquiera por otro nmero y quieras hacer la prueba (.), divide por 9 el nmero que has multiplicado, y lo que sobre de este lado de 9, gurdalo. De igual manera, divide el segundo nmero por 9, y lo que sobre de este lado de 9, gurdalo. A continuacin, multiplica lo que te sobr la primera vez por lo que te sobr la segunda, y elimina de este resultado todo lo que, reunido, d 9, si es que lo hay, y si no lo hay, lo que quede ser la marca. Pero si hay 9, echa fuera 9 y guarda lo que quede, y entiende que sa ser la marca. Despus, multiplica uno por otro los nmeros que has de multiplicar y divide el producto por 9, y si lo que queda es lo mismo que lo que te he dicho al respecto de la marca, sabe que has acertado. Si no es lo mismo, comprende que te has equivocado El prestigio de al-Khwarizmi ha sido tal que su nombre latinizado ha dado lugar al trmino algoritmo, conjunto ordenado y finito de operaciones que permite hallar la solucin de un problema. La prueba del nueve se puede considerar un algoritmo. Leonardo Fibonacci, llamado Leonardo de Pisa (c. 1170 1250), viaj por los pases rabes del Mediterrneo donde aprendi a utilizar el sistema de clculo transmitido por al-Khwarizmi. Fibonacci vio que era muy superior al procedimiento utilizado en Occidente basado en el baco. Regres a Italia en el 1200 y en 1202 public lo que haba aprendido en el Liber abaci (libro del baco). Consta de 15 captulos de los que lo siete primeros estn dedicados al clculo mediante el sistema de numeracin posicional. En el captulo 5 expone un ejemplo y una demostracin de la prueba el nueve e indica que tambin es posible utilizar la prueba por 7 y por 11. La influencia de esta obra fue muy importante en la implantacin en Occidente del sistema de numeracin indo-rabe.