La prova del nove
Un sistema rapido e veloce per controllare i risultati di un'operazione
Come ho già menzionato, ho scoperto con non poca sorpresa che a scuola non insegnano piú la prova del nove, e benché la pagina Wikipedia dica già tutto quello che c'è da dire, ho deciso di inaugurare proprio con questa la mia serie sulla “scuola dimendicata”.
Nota: questo articolo fa uso di MathML, lo standard XML per le formule matematiche. Purtroppo, questo non è supportato correttamente in alcuni browser sedicenti ‘moderni’ o ‘ricchi di funzionalità’. Se le formule non hanno senso nel tuo browser, segnala il problema agli sviluppatori (del browser), o passa ad un browser che supporti questi standard.
Cos'è
Cos'è quindi la prova del nove? È un meccanismo semplice e veloce per verificare la correttezza di un'operazione. La verifica non è completa (nel senso che non coglie alcuni errori: ha falsi positivi), ma se fallisce siamo sicuri di aver commesso uno sbaglio (non ha falsi negativi).
Come funziona
La prova del nove funziona sommando tra loro le cifre di ciascun operando, eliminando i 9, fino ad ottenere due numeri ad una cifra (riduzione che rappresenteremo con il simbolo ). Se l'operazione tra questi operandi ridotti dà un risultato diverso dalla riduzione del risultato originale, abbiamo commesso un errore, altrimenti il risultato è probabilmente giusto (ma potrebbe essere comunque sbagliato).
Esempio
Abbiamo provato a calcolare e ci è venuto .
Come prima cosa, riduciamo gli operandi ed il risultato.
Riduzione di 1024:
Riduzione di 768 (qui sfruttiamo il fatto che possiamo fare riduzioni parziali intermedie, trasformando il in ):
Riduzione di 785432 (qui sfruttiamo il fatto che nelle riduzioni parziali possiamo direttamente eliminare 0 e 9):
(Notate come avremmo potuto anche continuare , facendo però piú operazioni.)
Se moltiplichiamo i nostri operandi ridotti otteniamo , che ridotto ulteriormente viene : sappiamo quindi che abbiamo commesso un errore, perché la riduzione del risultato () è diversa dal risultato applicato agli operandi ridotti (). La prova ci dice anzi qualcosa di piú: probabilmente l'errore che abbiamo commesso è una sottostima di una delle cifre, poiché . (Il risultato corretto della moltiplicazione è infatti , non .)
Rappresentazione
Nota: questo articolo mette alla prova il supporto per SVG. Purtroppo, alcune funzionalità non sembrano essere correttamente supportate in alcuni browser sedicenti ‘moderni’ o ‘ricchi di funzionalità’. Alcune delle immagini potrebbero quindi risultare vuote o altrimenti errare nel vostro browser. In tal caso, segnalate il problema agli sviluppatori, e/o passate ad un browser con un support migliore per questi standard.
Convenzionalmente, la prova del nove viene rappresentata in uno schemino con quattro numeri “in croce”: si traccia una croce (+), nelle caselle superiori si mettono le riduzioni degli operandi, in quella in basso a sinistra la riduzione del risultato, ed in quella in basso a destra il risultato ottenuto operando sulle riduzioni:
Una rappresentazione grafica della prova del nove per la moltiplicazione (corretta) di 1024 per 768. Normalmente le operazioni di riduzione verrebbero fatte a mente, ma in questo caso sono rappresentate per mostrare come vengono riempite le caselle dello schema della prova del nove (a sinistra nel diagramma).
Alle quattro operazioni
La prova del nove può essere applicata ad addizione, moltiplicazione, sottrazione e divisione. Per le due operazioni inverse (sottrazione e divisione) conviene però applicarla al contrario.
Invece di verificare una sottrazione, verificate se la somma della riduzione di differenza e sottraendo vi dà la riduzione del minuendo. Ad esempio per verificare se (ridotti: ) controllate se (ridotti: ).
Questo è particolarmente importante per la divisione con resto. Abbiamo infatti che con resto , ma se facciamo l'operazione sulle riduzioni degli operandi () otteniamo con resto di , che sembrerebbe indicare un errore1, mentre se verifichiamo che in forma ridotta abbiamo
che corrisponde alla riduzione del dividendo .
Nessuno è perfetto
Si può sbagliare anche nella prova del nove. Errare è umano, e anche sommando tanti numeri piccoli si può sbagliare. Ad esempio, mentre scrivevo il paragrafo di esempio sulla moltiplicazione avevo inizialmente sbagliato a fare la riduzione del risultato, ed ero arrivato ad una riduzione di : in questo caso avrei comunque osservato una discrepanza, ma sarebbe stato un caso (e mi sono accorto dell'errore perché avendo costruito io l'esempio sapevo già che la riduzione del risultato errato doveva darmi , avendo intenzionalmente cambiato una cifra in difetto).
Quindi in caso di discrepanza, come prima cosa ricontrollate le riduzioni! Sono piú facili da ricontrollare dell'operazione originale (soprattutto nel caso della moltiplicazione).
Ma soprattutto, ricordatevi che la prova del nove non trova tutti gli errori. Se avessimo sbagliato la nostra moltiplicazione ottenendo invece del risultato corretto , non ci saremmo accorti di aver sbagliato, poiché:
per la proprietà commutativa dell'addizione.
BONUS: la prova dell'undici
Esiste una prova simile alla prova del nove, e che non insegnavano a scuola nemmeno ai miei tempi, che è la prova dell'11.
Se vi ricordate il criterio di divisibilità per 9, questo consisteva nel sommare tutte le cifre, ripetutamente, fino ad ottenere un numero che fosse un multiplo di 9, o per il quale fosse facile verificare che non era un multiplo di 9. Il parallelo tra il criterio di divisibilità per 9 e la riduzione dei numeri nella prova del nove non è un caso, ed è legata all'aritmetica modulare, che sta alla base della prova e che non andrò qui a spiegare.
Piuttosto, se vi ricordate, esiste anche un criterio di divisibilità per 11, che consiste nell'alternare somme e differenze, partendo dalla cifra meno significativa: bene, sulla stessa falsariga si può fare una prova dell'undici.
Torniamo al nostro esempio di . In questo caso le nostre riduzioni vanno fatte in questa maniera alternata, e bisogna ricordarsi, nel caso in cui un numero venga negativo, di prendere il suo complementare con (ovvero aggiungere) .
La riduzione di è .
La riduzione di è .
Il prodotto dei numeri ridotti è .
La riduzione di è2:
dove abbiamo applicato la correzione per il numero negativo. Sapevamo già che questo risultato era sbagliato dalla prova del nove, e questo lo conferma.
La riduzione del risultato corretto è:
che corrisponde al prodotto dei fattori ridotti.
Infine, se controlliamo la riduzione del risultato errato , che la prova del nove dava come falso positivo, abbiamo:
che è diverso dal prodotto dei fattori ridotti: la prova dell'undici riconosce un errore che la prova del nove non può riconoscere.
Quale prova?
Esistono errori che la prova del nove trova e la prova dell'undici non trova?
Tecnicamente è possibile: può succedere ad esempio se sbagliamo due cifre consecutive (o comunque una di posto pari ed una di posto dispari) della stessa quantità. Un esempio di risultato errato che il 9 trova e l'11 no è il seguente, costruito “ad arte”:
Prendiamo invece del corretto .
Nella prova del nove abbiamo: e riduce a , quindi sappiamo che è sbagliato.
Nella prova dell'undici, la riduzione di è 0, e la riduzione di è , quindi abbiamo: , ma la riduzione di è : la prova dell'undici non trova l'errore.
Detto questo, è molto difficile che errori simili si verifichino in calcolo manuali, per cui alcuni considerano la prova del nove “superflua” avendo a disposizione la prova dell'undici, che trova piú errori “comuni” di quella del nove.
D'altra parte, è anche vero che la prova del nove è molto piú semplice (tutte somme, non bisogna alternare con il segno, non bisogna “correggere” eventuali risultati negativi, è facile eliminare i 9); e questo è il motivo per cui la prova del nove veniva insegnata a scuola, ai miei tempi fin dalle elementari, senza dovercisi preoccupare di spiegare i numeri negativi o l'aritmetica modulare.
In realtà anche funziona, se consideriamo che con resto , essendo , ed essendo l'aritmetica modulare con modulo 9 la base matematica della prova del nove. ↩
quando si usa il simbolo andrebbe sempre specificata la base del modulo per cui si sta facendo la riduzione; qui per semplicità la omettiamo, sperando che sia comunque chiaro che in questo paragrafo si parla di riduzioni modulo 11, e per questo le operazioni sono diverse da quelle dei paragrafi precedenti, in cui le riduzioni erano modulo 9, nonostante si stia usando lo stesso simbolo. ↩