Dimostrazione: radice di 2 è irrazionale

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.

Dimostrazione: radice di 2 è irrazionale #70566

avt
69GiGi96
Punto
Salve ragazzi, rileggendo gli appunti non ho capito la dimostrazione del fatto che radice di 2 è irrazionale, che viene svolta dal professore per assurdo. Non sono riuscito a trovarla altrove quindi posto quello che sono riuscito ad appuntare sperando che si capisca qualcosa...

Suppongo che √(2) = (m)/(n); m,n∈ N ridotta ai minimi termini, da cui

2 = (m^(2))/(n^(2))

e quindi 2n^(2) = m^(2)

Fin qui tutto ok, è banale. A questo punto ci sono tre ipotesi: se n è pari posso considerarlo come

n = s^(p)·q

allora

n^(2) = 2^(2p)·q^(2)

E quindi?

Stessa cosa per l'ipotesi di m pari e per quella di (m)/(n) dispari.
 
 

Dimostrazione: radice di 2 è irrazionale #70567

avt
Omega
Amministratore
Ciao Gigi emt

Può darsi che i tuoi appunti siano incompleti e/o errati? Può capitare... emt

Ad ogni modo puoi trovare non una, ma ben due dimostrazioni del fatto che radice di 2 è irrazionale qui: dimostrare che radice di 2 non è razionale.

Se hai dubbi relativi alle dimostrazioni proposte in quel topic, sei libero di postarle là in risposta.
Ringraziano: CarFaby, 69GiGi96

Dimostrazione: radice di 2 è irrazionale #70568

avt
69GiGi96
Punto
Si scusa, ho dimenticato di specificare che gli appunti sono incompleti.
Rimasi un attimo perplesso e non ho avuto il tempo di ricopiare il resto..
Le due dimostrazioni che mi hai indicato, leggendole velocemente mi sembrano chiare.
Avrei voluto delucidazioni su questa, gira voce che la prof pretende le dimostrazioni così come le spiega... emt

Altra info, leggendo bene dice che m,n∈ N con n diverso da 0

Dimostrazione: radice di 2 è irrazionale #70595

avt
Galois
Amministratore
Ciao 69GiGi96 emt

Per dimostrare l'irrazionalità della radice di 2, hai supposto per assurdo che √(2) sia un numero razionale, ovvero che √(2) può essere scritto come:

√(2) = (m)/(n)

con

m, n ∈ N, n ≠ 0 ed (m)/(n) frazione ridotta ai minimi termini.

A questo punto, segue, banalmente che:

2 = (m^2)/(n^2)

e quindi

2n^2 = m^2

Fin qui non ci piove.

Ora, oltre alle due dimostrazioni proposte nel topic linkato da Omega posso proportene un'altra.

Dall'uguaglianza (*) 2n^2 = m^2

ricaviamo, immediatamente, che m^2 è pari, da cui segue che anche m è pari ed il motivo è presto detto.

Visto infatti che il prodotto di due numeri dispari è dispari, se m fosse dispari si avrebbe:

m^2 = m·m = numero dispari

ma abbiamo visto che m^2 deve essere pari.

A questo punto, essendo m un numero pari, lo possiamo scrivere come:

m = 2k, k ∈ N-0

e, conseguentemente:

m^2 = 4k^2

Inserendo questa uguaglianza in (*) abbiamo:

2n^2 = 4k^2

da cui, dividendo per 2:

n^2 = 2k^2

il che dimostra che anche n^2 (e quindi n) è pari.

Cadiamo così in un assurdo! Infatti, essendo n ed m due numeri pari, la frazione

(m)/(n)

non è più irriducibile (ovvero non è ridotta ai minimi termini)

---------------

Personalmente non vedo la necessità di distinguere i casi

n pari ed n dispari

Inoltre, quello che scrivi, non è corretto.


A questo punto ci sono tre ipotesi: se n è pari posso considerarlo come

n = s^(p)·q


è falso! Prendiamo

3^2·5 = 45

è un numero dispari, e lo abbiamo scritto nella forma

s^(p)·q

con s = 3, p = 2, q = 5

Stesso discorso quando scrivi


Stessa cosa per l'ipotesi di m pari e per quella di (m)/(n) dispari.


Come fa (m)/(n) (frazione irriducibile) ad essere un numero dispari? emt

Se non cerchi di essere più chiaro, purtroppo, è impossibile venirti incontro emt
Ringraziano: Omega, Pi Greco, CarFaby, Iusbe, 69GiGi96, Sashimiasha

Re: Dimostrazione: radice di 2 è irrazionale #70751

avt
69GiGi96
Punto
Anche questa dimostrazione (come sempre su youmath) mi è chiarissima, ma ho come l'impressione che non sia nemmeno questa.

[Edit]Come da linee guida è stato tolta l'immagine che non può essere sostitutiva del testo[/Edit]

Comunque chiedo scusa, ho fatto un macello con il LaTex emt

Se n è pari posso considerarlo come:
n = 2^(p)·q
e non
n = s^(p)·q
come avevo erroneamente scritto emt


Inoltre l'altra ipotesi era che sia m che n siano due numeri dispari. Ma anche qui ho fatto un altro macello con i comandi emt

Grazie a tutti per l'attenzione emt

Re: Dimostrazione: radice di 2 è irrazionale #70780

avt
Galois
Amministratore
Rieccoci qua emt

Come hai potuto notare ci sono svariati modi per dimostrare l'irrazionalità della radice di 2. Con i presupposti (questa volta corretti) che hai fatto vediamo una quarta dimostrazione, con l'augurio che, questa volta, sia quella scelta dalla tua docente emt

Supponendo sempre, per assurdo, di poter scrivere √(2) come:

√(2) = (m)/(n)

con

m, n ∈ N, n ≠ 0 ed (m)/(n) frazione ridotta ai minimi termini.

Arriviamo, elevando al quadrato, all'ugualgianza:

2 = (m^2)/(n^2)

ovvero:

2n^2 = m^2

Ora, supponiamo che:

n sia pari

Come numero pari, n sarà un numero della forma:

n = 2^p·q, con p,q ∈ N-0

Ne segue che:

n^2 = [2^p·q]^2 = 2^(2p)·q^2

Allora

m^2 = 2n^2 = 2[2^(2p)·q^2] = 2^(2p+1)·q^2

Cadiamo qui in un assurdo!

Infatti 2p+1, con p ∈ N-0 è, necessariamente, un numero dispari (in quanto ottenuto da un numero pari (2p) a cui è stato aggiunto 1.

Conseguentemente m^2 = 2^(2p+1)·q^2 non è un quadrato perfetto da cui segue che m non potrà essere un numero naturale, così come supposto inizialmente.

---------

Se m è pari allora:

m = 2^p·q, con p,q ∈ N-0

Ne segue che:

m^2 = [2^p·q]^2 = 2^(2p)·q^2

Ora, essendo 2n^2 = m^2 si ha che:

2n^2 = 2^(2p)·q^2

e quindi

n^2 = 2^(2p-1)·q^2

Anche qui l'assurdo dovuto al fatto che, essendo 2p-1, con p ∈ N-0, un numero dispari, n^2 non è un quadrato perfetto e conseguentemente n non sarà un numero naturale.

------------

Se m è dispari lo possiamo scrivere nella forma

m = 2p+1, con p ∈ N

Allora

m^2 = (2p+1)^2 = 4p^2+4p+1 = 4(p^2+p)+1

Conseguentemente, essendo m^2 = 2n^2, si ha:

2n^2 = 4(p^2+p)+1

il quale, per com'è scritto, è un numero dispari.

Ragion per cui, n^2 (e quindi n) non sarà un numero intero (poiché n^2 si ottiene dividendo per 2 un numero dispari)

-------------

Stesso identico discorso supponendo che n sia dispari e che conclude tutti i casi possibili.

emt
Ringraziano: Omega, Pi Greco, CarFaby, 69GiGi96

Re: Dimostrazione: radice di 2 è irrazionale #71060

avt
69GiGi96
Punto
Sisisi è questa!!! Grazieee emt

Re: Dimostrazione: radice di 2 è irrazionale #71063

avt
Galois
Amministratore
Bene, son contento emt

Prego! emt
  • Pagina:
  • 1
Os