Geometria per scuola elementare/Una dimostrazione di irrazionalità: differenze tra le versioni

faii na pera
 
FACCIA DI CULO JEANS
== Irrazionalità della radice quadrata di 2 ==
 
Una dimostrazione dell'irrazionalità della radice quadrata di 2 è il seguente ragionamento per assurdo. Si assume che la proposizione sia falsa mostrando che questo porta ad una contraddizione; questo vuol dire che la proposizione deve essere vera.
 
Nella dimostrazione useremo il termine ''coprimo'': due interi sono ''coprimi'' se l'unico intero che li divide entrambi è 1.
 
# Assumiamo, per assurdo, che <math>\sqrt{2}</math> sia un numero razionale. Questo vuol dire che esistono due interi ''a'' e ''b'' tali che ''a'' / ''b'' = <math>\sqrt{2}</math>.
# Inoltre ''a'' / ''b'' può essere scritta in modo che sia ''a'' e ''b'' siano coprimi.
# Ovviamente si ha (''a'' / ''b'')<sup>2</sup> = 2.
# ne segue che ''a''<sup>2</sup> / ''b''<sup>2</sup> = 2 da cui ''a''<sup>2</sup> = 2 ''b''<sup>2</sup>.
# Ma allora ''a''<sup>2</sup> è pari perché uguale al doppio di un numero intero (2''b''<sup>2</sup>).
# Ne segue che anche ''a'' deve essere pari. Infatti un numero dispari, elevato al quadrato, dà un numero dispari mentre un numero pari, al quadrato, dà un numero pari.
# Siccome ''a'' è pari, deve esistere un intero ''k'' di cui è il doppio: ''a'' = 2''k''.
# Inseriamo quest'ultimo risultato nell'ultima equazione del punto 3). Avremo (2''k'')<sup>2</sup> = 2''b''<sup>2</sup> che è equivalente a scrivere 4''k''<sup>2</sup> = 2''b''<sup>2</sup> che a sua volta si può scrivere come 2''k''<sup>2</sup> = ''b''<sup>2</sup>.
# Siccome 2''k''<sup>2</sup> è pari ne segue che anche ''b''<sup>2</sup> è pari. Ma allora anche ''b'' è pari perché, come già visto, solo numeri pari hanno il quadrato pari.
# Quindi da (5) e (8) sappiamo che ''a'' e ''b'' sono entrambi pari: questo contraddice il fatto che ''a'' e ''b'' siano coprimi.
 
Siccome siamo giunti a una contraddizione, l'assunzione (1) secondo cui <math>\sqrt{2}</math> era un numero razionale deve essere falsa.
 
Quindi è vero l'opposto: <math>\sqrt{2}</math> è irrazionale.
 
<!-- Suggerimento per la versione italiana: provare l'irrazionalità con un ragionamento "riga e compasso". Un accenno si trova su en.wikipedia: http://en.wikipedia.org/wiki/Irrational_number#Example_proofs#Another_proof -->
 
[[Categoria: Geometria per scuola elementare|Una prova d'irrazionalità]]
 
[[en:Geometry for Elementary School/A proof of irrationality]]
Utente anonimo