Dimostrare che il numero di Nepero e è irrazionale

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
#71251
avt
F3l1x
Cerchio

Salve ragazzi eccomi qua di nuovo per parlare del numero di Nepero e per chiedervi come dimostrare che e è un numero irrazionale

Studiando l'irrazionalità di e non capisco questo passaggio:

e = (p)/(q) con p ,q ∈ N e q ≥ 2

Sostituiamo ad e la seguente definizione:

Σ_(n = 0)^(∞)(1)/(n!) = e

e otteniamo così

((1)/(0!)+(1)/(1!)+(1)/(2!)+....) = (p)/(q)

successivamente si moltiplica ambo i membri per q!

((1)/(0!)+(1)/(1!)+(1)/(2!)+....)q! = p·2·3·.....·(q−1)

Perché il secondo membro diventa in quel modo?

Poi il primo termine viene riscritto in modo diverso:

(2+(1)/(2!)+(1)/(3!)+...+(1)/((q−2)!)+(1)/((q−1)!)+(1)/(q!)+(1)/((q+1)!)+(1)/((q+2)!)+...)q!

Perché?

Avrei altre domande da porvi sempre su questa dimostrazione ma non ho abbastanza tempo adesso, è possibile continuare su questa discussione?

Ringraziano: Kevintumby@gmail.com
#71265
avt
Amministratore

Ciao F3lix, sarebbe meglio che tu inserissi tutta la dimostrazione che e è un numero irrazionale in un solo colpo, così almeno colui che vuole aiutarti (il sottoscritto in questo caso) potrà rispondere in un sol colpo. emt

Per ora rispondo alle domande che hai fatto, inserisci le altre qui di seguito. emt

Partiamo da qui

((1)/(0!)+(1)/(1!)+(1)/(2!)+....) = (p)/(q)

Moltiplichiamo membro a membro per il fattoriale di q

((1)/(0!)+(1)/(1!)+(1)/(2!)+....)q! = (p)/(q)·q!

Per definizione di fattoriale puoi scrivere:

q! = 2·3·...·(q−1)q

Sostituisci:

((1)/(0!)+(1)/(1!)+(1)/(2!)+....)q! = (p)/(q)·2·3·...·(q−1)q

Puoi ora dividere per q, ti rimarrà:

((1)/(0!)+(1)/(1!)+(1)/(2!)+....)q! = q·2·3·...·(q−1)

Sempre per definizione di fattoriale hai che 0! = 1 così come 1! = 1 pertanto le frazioni:

(1)/(0!) = 1 e (1)/(1!) = 1

(1+1+(1)/(2!)+....)q! = q·2·3·...·(q−1)

Somma i due uni e hai l'espressione che segue ovvero:

(2+(1)/(2!)+....)q! = q·2·3·...·(q−1)

Ringraziano: Omega, F3l1x
#71502
avt
F3l1x
Cerchio

Continuando dall'ultima formula scritta nel mio messaggio si procede con il prodotto e avremo cosi:

2q!+3·4·...·q+4·5·...·q+...+(q−1)·q+q+1+(1)/(q+1)+(1)/((q+1)(q+2))+...

(1) come è avvenuto questo prodotto?

Successivamente vengono definiti i 3 numeri A,B,C

A = p·2·3·...(q−1)

B = 2q!+3·4·...·q+4·5·...·q+...+(q−1)·q+q+1

C = (1)/(q+1)+(1)/((q+1)(q+2))+...

Ora possiamo scrivere anche:

B+C = A

A,B sono interi per definizione. (2) Perché sono interi per definizione?

Se C non è intero siamo arrivati ad un assurdo poiché siamo partiti per ipotesi dalla razionalità di e.

La serie di C è minore della seguente serie:

Σ_(n = 0)^(∞)(1)/((q+1)^n)−1

Quindi si ha che :

C < Σ_(n = 0)^(∞)(1)/((q+1)^n)−1

Poi si ottiene il valore massimo della serie che è dato da q = 1 ma questo valore è escluso perchè q ≥ 2 quindi avremo:

Σ_(n = 0)^(∞)(1)/((2+1)^n)−1

Σ_(n = 0)^(∞)(1)/(3^n)−1

Σ_(n = 0)^(∞)(1)/((1−(1)/(3)))−1 = (1)/(2)

Essendo:

C < (1)/(2)

C ∉ N

La tesi è dimostrata: il numero di Nepero e è irrazionale.

#71529
avt
Ifrit
Amministratore

Ok, iniziamo emt

Nel primo passaggio utilizza la proprietà distributiva per le serie.

(2+(1)/(2!)+...+(1)/(q!)+(1)/((q+1)!)+...)q!

diventa:

2q!+(q!)/(2!)+...+(q!)/(q!)+(q!)/((q+1)!)+...

Ricorda che:

q! = 1·2·3·...·q

(è un prodotto di più fattori consecutivi)

Naturalmente hai che:

• , ,(q!)/(2!) = (1·2·3·...·q)/(1·2) =

= 3·...·q

• , ,(q!)/(3!) = (1·2·3·...·q)/(1·2·3) =

semplifica 2 e 3

= 4·5·...·q =

In generale:

(q!)/(k!) = (k+1)·(k+2)·...·q per ogni k ≤ q.

Quando k > q tutti i termini al numeratore si semplificano, mentre al denominatore ti rimangono prodotti. Giusto per fare qualche passaggio:

• , ,(q!)/((q+1)!) = (q!)/((q+1) q!) = (1)/(q+1)

• , , (q!)/((q+2)!) = (q!)/((q+2)(q+1)q!) = (1)/((q+2)(q+1))

e così via.

Ora per semplificare le notazioni chiama:

A = p·2·3·...(q−1)

B = 2q!+3·4·...·q+4·5·...·q+...+(q−1)·q+q+1

C = (1)/(q+1)+(1)/((q+1)(q+2))+...

Scriveremo che:

B+C = A

Nota che A è il prodotto di numeri interi e in quanto tale è un intero.

B è la somma di prodotti di numeri interi e dunque è un numero intero.

Se riusciamo a dimostrare che C non è un intero raggiungiamo l'assurdo.

Per mostrare che esso non è un intero facciamo così:

Facilmente hai che:

(q+1) ≤ (q+m) ∀ m ≥ 1 intero

Pertanto:

(q+1) (≥ (q+1))(q+2) (≥ (q+1))...(q+n) (≥ q+1) ≥ (q+1)^n.

Passando ai reciproci e cambiando verso della disuguaglianza:

(1)/((q+1)(q+2)(q+3)·...·(q+n)) ≤ (1)/((q+1)^n) ∀ n

Conseguentemente

(1)/(q+1)+(1)/((q+1)(q+2))+(1)/((q+1)(q+2)(q+3))+... (= C) ≤ Σ_(n = 0)^(∞)(1)/((q+1)^n)−1

Osserva che

Σ_(n = 0)^(∞)(1)/((q+1)^n)−1 = (1)/(q) ∀ |q+1| > 1

È una serie geometrica di ragione (1)/(q+1).

Ovviamente (1)/(q) decresce quando all'aumentare di q, di conseguenza per q ≥ 2 si ha che il massimo valore che la somma della serie può assumere è quando q=2:

Σ_(n = 0)^(∞)(1)/((2+1)^n)−1 = (1)/(2)

Pertanto C < (1)/(2) e dunque esso non può essere intero positivo,

Assurdo.

Ringraziano: Omega, F3l1x
#71658
avt
F3l1x
Cerchio

Grazie mille!emt

Ringraziano: Ifrit
  • Pagina:
  • 1