e
Moderatore: tutor
- Antimateria
- Messaggi: 651
- Iscritto il: 01 gen 1970, 01:00
- Località: Vergate sul Membro
f(x)=(x+1/x)^x
<BR>
<BR>se x<=0 non esiste in R
<BR>se x>0 :
<BR>
<BR>(x+1/x)^x=e^ln((x+1/x)^x)=e^(x*ln(x+1/x))
<BR>
<BR>f\'(x)=e^ln(x*ln(x+1/x))*(ln(x+1/x)+(x/(x+1/x)*(1-1/x^2)))
<BR>
<BR>f\'(x)=(x+1/x)^x*(ln(x+1/x)+(x^2-1)/(x+1))
<BR>
<BR>f\'(x)<=0 se e solo se ln(x+1/x)+(x^2-1)/(x+1)<=0
<BR>
<BR>
<BR>
<BR>quindi se ln(x+1/x)<=(1-x^2)/(x+1) <- A<=B
<BR>
<BR>se mi metto a risolvere sta cosa faccio casino^^ ti do una soluzione arrangiata, anke se secondo me è esatta:
<BR>
<BR>e^x è f(x) crescente. Quindi se a < c allora e^a < e^c.
<BR>
<BR>quindi
<BR>e^A<=e^B
<BR>A(x) e B(x) sono funzioni continue.
<BR>
<BR>x+1/x<=e^((1-x^2)/(x+1))
<BR>
<BR>PICCOLA DIGRESSIONE:
<BR>ln(x+1/x)+(x^2-1)/(x+1) è negativo SE e solo se almeno uno dei due addendi è <0 (ovviamente).
<BR>ln(x+1/x) NON è mai <0: infatti x+1/x<1 non ha soluzioni
<BR>
<BR>quindi la somma è <0 SE x^2-1<0 quindi se 0 < x < 1.
<BR>
<BR>
<BR>Proseguo la dimostrazione considerando 0 < x < 1.
<BR>
<BR>x+1/x<=e^((1-x^2)/(x+1))
<BR>
<BR>la seconda è una funzione decrescente (è facile dimostrarlo, se aumenta x diminuisce l\'esponente e diminuisce la funzione) quindi ha il suo massimo relativo al limite di x->0 (0 è escluso dal dominio). ma se x->0 la prima tende a +infinito. Quindi la disequazione NON ha soluzioni.
<BR>
<BR>Quindi f\'(x)>0 per qualsiasi x>0.
<BR>
<BR>La funzione è quindi crescente. Se è SEMPRE crescente non ha massimo relativo e il suo \"valore massimo\" è il limite della funzione per x->+infinito.
<BR>
<BR>ma lim[x->+infinito] (x+1/x)^x è un limite fondamentale ed è uguale ad e
<BR>
<BR>quindi f(x) < e < 3
<BR>
<BR>
<BR>la dimostrazione ke ho fatto può contenere errori^^ ed è sicuramente pesante: ce ne sono altre più veloci. Ti ho postato questa xkè se sai due o tre cose di analisi forse per quanto pedestre è la più comprensibile.
<BR>
<BR>ciao
<BR>
<BR>[ Questo Messaggio è stato Modificato da: AleX_ZeTa il 30-10-2003 19:21 ]<BR><BR>[ Questo Messaggio è stato Modificato da: AleX_ZeTa il 30-10-2003 20:41 ]
<BR>
<BR>se x<=0 non esiste in R
<BR>se x>0 :
<BR>
<BR>(x+1/x)^x=e^ln((x+1/x)^x)=e^(x*ln(x+1/x))
<BR>
<BR>f\'(x)=e^ln(x*ln(x+1/x))*(ln(x+1/x)+(x/(x+1/x)*(1-1/x^2)))
<BR>
<BR>f\'(x)=(x+1/x)^x*(ln(x+1/x)+(x^2-1)/(x+1))
<BR>
<BR>f\'(x)<=0 se e solo se ln(x+1/x)+(x^2-1)/(x+1)<=0
<BR>
<BR>
<BR>
<BR>quindi se ln(x+1/x)<=(1-x^2)/(x+1) <- A<=B
<BR>
<BR>se mi metto a risolvere sta cosa faccio casino^^ ti do una soluzione arrangiata, anke se secondo me è esatta:
<BR>
<BR>e^x è f(x) crescente. Quindi se a < c allora e^a < e^c.
<BR>
<BR>quindi
<BR>e^A<=e^B
<BR>A(x) e B(x) sono funzioni continue.
<BR>
<BR>x+1/x<=e^((1-x^2)/(x+1))
<BR>
<BR>PICCOLA DIGRESSIONE:
<BR>ln(x+1/x)+(x^2-1)/(x+1) è negativo SE e solo se almeno uno dei due addendi è <0 (ovviamente).
<BR>ln(x+1/x) NON è mai <0: infatti x+1/x<1 non ha soluzioni
<BR>
<BR>quindi la somma è <0 SE x^2-1<0 quindi se 0 < x < 1.
<BR>
<BR>
<BR>Proseguo la dimostrazione considerando 0 < x < 1.
<BR>
<BR>x+1/x<=e^((1-x^2)/(x+1))
<BR>
<BR>la seconda è una funzione decrescente (è facile dimostrarlo, se aumenta x diminuisce l\'esponente e diminuisce la funzione) quindi ha il suo massimo relativo al limite di x->0 (0 è escluso dal dominio). ma se x->0 la prima tende a +infinito. Quindi la disequazione NON ha soluzioni.
<BR>
<BR>Quindi f\'(x)>0 per qualsiasi x>0.
<BR>
<BR>La funzione è quindi crescente. Se è SEMPRE crescente non ha massimo relativo e il suo \"valore massimo\" è il limite della funzione per x->+infinito.
<BR>
<BR>ma lim[x->+infinito] (x+1/x)^x è un limite fondamentale ed è uguale ad e
<BR>
<BR>quindi f(x) < e < 3
<BR>
<BR>
<BR>la dimostrazione ke ho fatto può contenere errori^^ ed è sicuramente pesante: ce ne sono altre più veloci. Ti ho postato questa xkè se sai due o tre cose di analisi forse per quanto pedestre è la più comprensibile.
<BR>
<BR>ciao
<BR>
<BR>[ Questo Messaggio è stato Modificato da: AleX_ZeTa il 30-10-2003 19:21 ]<BR><BR>[ Questo Messaggio è stato Modificato da: AleX_ZeTa il 30-10-2003 20:41 ]
"E se si sono rotti i freni?"
"Se si sono rotti i freni non ci resta che l'autostop e il viaggio si complica. Faremo il giro del mondo a piedi."
"Se si sono rotti i freni non ci resta che l'autostop e il viaggio si complica. Faremo il giro del mondo a piedi."
-
- Messaggi: 774
- Iscritto il: 01 gen 1970, 01:00
errore di battitura^^
<BR>
<BR>\"pedestre\"
<BR>
<BR>(nn so se esiste... lo usa la mia prof di mate quindi va bene <IMG SRC="images/forum/icons/icon_razz.gif">)
<BR>
<BR>\"pedestre\"
<BR>
<BR>(nn so se esiste... lo usa la mia prof di mate quindi va bene <IMG SRC="images/forum/icons/icon_razz.gif">)
"E se si sono rotti i freni?"
"Se si sono rotti i freni non ci resta che l'autostop e il viaggio si complica. Faremo il giro del mondo a piedi."
"Se si sono rotti i freni non ci resta che l'autostop e il viaggio si complica. Faremo il giro del mondo a piedi."
- Antimateria
- Messaggi: 651
- Iscritto il: 01 gen 1970, 01:00
- Località: Vergate sul Membro
Alex, credo che Biagio volesse una dimostrazione che non usasse il numero di Nepero, visto che quest\'ultimo e\' definito proprio dalla suddetta funzione! Secondo me occorre dimostrare prima che e\' vera sui naturali, poi (una volta definito il numero e, ed aver dimostrato tutte le proprieta\' sulle derivate), calcolare la derivata seconda e sfruttare semplicemente la concavita\' per estendere le proprieta\' dai narurali ai reali.
beh allora la prima parte (quella x dimostrare ke f(x) è crescente) rimane uguale, basta sostituire, ad es., 2 a e e log in base 2 a ln.
<BR>
<BR>la seconda ovviamente no^^ lo si fa con la successione
<BR>
<BR>la seconda ovviamente no^^ lo si fa con la successione
"E se si sono rotti i freni?"
"Se si sono rotti i freni non ci resta che l'autostop e il viaggio si complica. Faremo il giro del mondo a piedi."
"Se si sono rotti i freni non ci resta che l'autostop e il viaggio si complica. Faremo il giro del mondo a piedi."
- Antimateria
- Messaggi: 651
- Iscritto il: 01 gen 1970, 01:00
- Località: Vergate sul Membro
Anzitutto, dimostriamo per induz. che a(n)>a(n-1):
<BR>(1+1/n)^n > (1+1/(n-1))^(n-1) =>((n+1)/n)^n > (n/(n-1))^(n-1) => [dividiamo per (n/(n-1))^n] =>(n^2/(n^2-1))^n > (n-1)/n =>
<BR>(1-1/n^2)^n > (1-1/n). Ma questa sappiamo che è vera per la disuguaglianza di Bernoulli. Infatti:
<BR>(1-1/n^2)^n>1-n*1/n^2=1-1/n.
<BR>
<BR>Perciò il valore massimo della successione è espresso dal valore limite di questa succ., ovvero e. Per dire che e è minore di 3, o ti accontenti di guardare nella prima tabella che ti dia il valore di e, oppure fai così:
<BR>1. applicando il binomio di Newton a (1+1/n)^n e facendone il limite a infinito, ottieni l\'altro modo di scrivere è, ovvero e=sum [k=0,+inf] 1/k!.
<BR>2. dimostri per induzione che, per n>=4, n!>2^n => 1/n!<1/2^n =>
<BR>=> sum [k=4,+inf]1/k! < sum[k=4,+inf]1/2^k = 1/2^4.
<BR>3. finalmente ottieni e=1/0! + 1/1! + 1/2! + 1/3! + sum[k=4,+inf]1/k! <
<BR>< 1/0! + 1/1! + 1/2! + 1/3! + 1/2^4 = (circa) 2,9 < 3.
<BR>
<BR>Dim lunga e noiosa, ma è l\'unica che ho trovato. <IMG SRC="images/forum/icons/icon_cool.gif">
<BR>(1+1/n)^n > (1+1/(n-1))^(n-1) =>((n+1)/n)^n > (n/(n-1))^(n-1) => [dividiamo per (n/(n-1))^n] =>(n^2/(n^2-1))^n > (n-1)/n =>
<BR>(1-1/n^2)^n > (1-1/n). Ma questa sappiamo che è vera per la disuguaglianza di Bernoulli. Infatti:
<BR>(1-1/n^2)^n>1-n*1/n^2=1-1/n.
<BR>
<BR>Perciò il valore massimo della successione è espresso dal valore limite di questa succ., ovvero e. Per dire che e è minore di 3, o ti accontenti di guardare nella prima tabella che ti dia il valore di e, oppure fai così:
<BR>1. applicando il binomio di Newton a (1+1/n)^n e facendone il limite a infinito, ottieni l\'altro modo di scrivere è, ovvero e=sum [k=0,+inf] 1/k!.
<BR>2. dimostri per induzione che, per n>=4, n!>2^n => 1/n!<1/2^n =>
<BR>=> sum [k=4,+inf]1/k! < sum[k=4,+inf]1/2^k = 1/2^4.
<BR>3. finalmente ottieni e=1/0! + 1/1! + 1/2! + 1/3! + sum[k=4,+inf]1/k! <
<BR>< 1/0! + 1/1! + 1/2! + 1/3! + 1/2^4 = (circa) 2,9 < 3.
<BR>
<BR>Dim lunga e noiosa, ma è l\'unica che ho trovato. <IMG SRC="images/forum/icons/icon_cool.gif">