Questa è una dimostrazione della prova del nove. La formalizzazione è forse eccessiva rispetto alle intenzioni iniziali, ma formalizzare la notazione posizionale non è molto agevole. Se qualcuno è a conoscenza di un modo più semplice rispetto a quello da me ideato è pregato di farmelo sapere.
Livello: Biennio universitario
Prerequisiti: Spazio di Minkowski e sua metrica (nozioni base). La maggior parte del testo è dedicata allo spazio tridimensionale, che non necessita della metrica di Minkowski.
Questo lavoro è stato concepito per rendere più fluido del solito, il passaggio della descrizione di funzioni, da una a più variabili; le notazioni e i metodi sono stati concepiti proprio a questo scopo. Anche la trattazione del differenziale in una variabile è stata fatta in modo tale che la condizione di differenziabilità in più variabili richiedesse solo qualche precisazione.