In matematica, un sofisma algebrico è una dimostrazione o un ragionamento matematico contenente un errore, che porta quindi ad un risultato errato o contraddittorio. Usualmente questi sofismi sono utilizzati a scopo didattico, per dimostrare l'importanza del rigore nelle dimostrazioni matematiche; per questo motivo, gli errori presenti sono in generale molto sottili e difficili da rilevare (relativamente al pubblico cui sono destinati) ma alla fine il ragionamento presenta conclusioni evidentemente erronee. La storia della matematica registra comunque numerosi casi di ragionamenti erronei dovuti a matematici importanti.
Di seguito vengono riportati alcuni esempi classici di sofismi algebrici, suddivisi in base alla tipologia dell'errore che viene introdotto.
Divisione o moltiplicazione per zero
[modifica | modifica wikitesto]Il secondo principio di equivalenza afferma che, data un'equazione o un'uguaglianza, è possibile ottenerne un'altra equivalente moltiplicando o dividendo entrambi i suoi membri per lo stesso valore reale, che però deve essere diverso da zero.[1] L'errata applicazione di questa regola conduce a risultati errati, come nell'esempio seguente. Siano e due numeri reali non nulli uguali fra loro:
Moltiplicando entrambi i membri dell'uguaglianza per e sottraendo si ottiene:
Scomponendo in fattori entrambi i membri dell'equazione si ottiene come fattore comune :
Dividendo per si ottiene:
Avendo posto come condizione iniziale possiamo eseguire, senza che risulti errata, la sostituzione ottenendo:
da cui però, ponendo per esempio , si avrebbe la conclusione errata , ossia che un numero risulti uguale al suo doppio. Il passaggio errato consiste nella divisione per , che è uguale a 0, dato che era stato supposto e che, quindi, non si può effettuare.
Applicazione di regole al di fuori dei limiti di validità
[modifica | modifica wikitesto]Un altro errore diffuso è l'applicazione di teoremi e proprietà al di fuori dei loro limiti di validità,[2] come nell'esempio sotto:
L'ultimo passaggio riportato è errato in quanto il passaggio della radice su ogni elemento della frazione è valido solamente se e sono numeri positivi. A partire da qui, utilizzando i numeri complessi si ottiene:
- .
Moltiplicando per l'unità immaginaria si ha infine:
- .
Serie infinite
[modifica | modifica wikitesto]Le serie rappresentano somme di infiniti termini; l'applicazione ad esse di proprietà caratteristiche delle somme finite può condurre a risultati erronei.[3] Ad esempio la serie di Grandi.
può essere rappresentata come
oppure
- .
Da cui segue . L'errore consiste in questo caso nell'utilizzo della proprietà associativa, che vale solamente se la serie senza parentesi è convergente.
In passato, errori analoghi furono commessi anche da matematici famosi, come Guido Grandi, che diede addirittura un aspetto filosofico al risultato precedente, sostenendo che fosse il modo con cui Dio creò il mondo dal nulla. Lo stesso Grandi ottenne anche un terzo risultato errato nel calcolo della serie: partendo dalla nota formula per la serie geometrica:
- ,
valida solo quando , Grandi estrapolò per il risultato
- .
Eulero commise un analogo errore ponendo e ottenendo
- ,
ovvero una successione di numeri positivi la cui somma è negativa.
Osserviamo tuttavia che tramite la somma di Cesàro è possibile dare significato al caso .
Note
[modifica | modifica wikitesto]- ^ (EN) Alexander Bogomolny, Multiplication of Equations, su Interactive Mathematics Miscellany and Puzzles. URL consultato il 2 agosto 2008.
- ^ (EN) Philip Spencer, 1=2: A Proof using Complex Numbers, su Classic Fallacies, University of Toronto, 26 maggio 1998. URL consultato il 2 agosto 2008.
- ^ Piergiorgio Odifreddi, Dai paradossi ai teoremi, in C'era una volta un paradosso, 1ª ed., Torino, Einaudi, 2001, pp. 255-257, ISBN 88-06-15090-1.
Voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]Wikimedia Commons contiene immagini o altri file su sofisma algebrico