Dimostrare che il numero di Nepero e è irrazionale

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 non capisco questo passaggio:

Sostituiamo ad e la seguente definizione:

e otteniamo così

successivamente si moltiplica ambo i membri per

Perché il secondo membro diventa in quel modo?

Poi il primo termine viene riscritto in modo diverso:

Perché?

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

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.

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

Partiamo da qui

Moltiplichiamo membro a membro per il fattoriale di

Per definizione di fattoriale puoi scrivere:

Sostituisci:

Puoi ora dividere per q, ti rimarrà:

Sempre per definizione di fattoriale hai che così come pertanto le frazioni:

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

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

(1) come è avvenuto questo prodotto?

Successivamente vengono definiti i 3 numeri

Ora possiamo scrivere anche:

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:

Quindi si ha che :

Poi si ottiene il valore massimo della serie che è dato da ma questo valore è escluso perchè quindi avremo:

Essendo:

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

Ok, iniziamo

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

diventa:

Ricorda che:

(è un prodotto di più fattori consecutivi)

Naturalmente hai che:

semplifica 2 e 3

In generale:

.

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

e così via.

Ora per semplificare le notazioni chiama:

Scriveremo che:

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

è 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:

Pertanto:

.

Passando ai reciproci e cambiando verso della disuguaglianza:

Conseguentemente

Osserva che

È una serie geometrica di ragione .

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

Pertanto e dunque esso non può essere intero positivo,

Assurdo.

Grazie mille!