Re: Una disuguaglianza

Messaggioda tommik » 13/12/2019, 18:41

farei così:

1) se $a<b$ riscrivo la cosa così

$((b-a)/2)^n<=a^n+b^n$

dato che $(b-a)/2<=b$ varrà anche $((b-a)/2)^n<=b^n$ ed a maggior ragione varrà anche la disuguaglianza proposta, essendo $a^n>=0$

2) se $a>b$ stessa cosa...dato che $(a-b)/2<=a$ ecc ecc

3) se $a=b$ è ovvio.
tommik
Moderatore
Moderatore
 
Messaggio: 5159 di 11278
Iscritto il: 23/04/2015, 13:13
Località: Cassano Magnago

Re: Una disuguaglianza

Messaggioda Bokonon » 13/12/2019, 19:51

Sarà poco elegante ma...per $a>=b$ pongo $k=a-b rArr a=k+b$
Sostituendo $k^n<=2^n[(k+b)^n+b^n]$ da cui, sviluppando, si ottiene $k^n(2^n-1)+P>=0$
dove $P>=0$ mi risparmia di scrivere la sommatoria di tutti i prodotti interni + $2b^n$
Il primo membro è sempre positivo oppure zero per $a=b=0$

Discorso analogo per $b>=a$
Avatar utente
Bokonon
Cannot live without
Cannot live without
 
Messaggio: 1809 di 5942
Iscritto il: 25/05/2018, 20:22

Re: Una disuguaglianza

Messaggioda obnoxious » 13/12/2019, 20:42

Puoi vederla anche come una versione indebolita e (molto) particolare della disuguaglianza di Clarkson.

In realtà mi sa che Clarckson usa proprio una disuguaglianza simile per provare la sua... se ti interessano i dettagli, qui.
Morì mentre noialtri fumavamo nel cortile
obnoxious
Average Member
Average Member
 
Messaggio: 151 di 676
Iscritto il: 22/03/2019, 11:45

Re: Una disuguaglianza

Messaggioda gugo82 » 13/12/2019, 23:35

arnett ha scritto:È probabilmente qualcosa di ovvio, ma è tutto il giorno che cerco di provare che
per ogni $a, b \ge 0$ e per ogni $n\ge 1$ risulta
$|a-b|^n\le 2^n (a^n+b^n)$
.


Qualcuno ha suggerimenti? Grazie.

La disuguaglianza è simmetrica ed è vera per $a=b$, dunque basta provarla sotto l’ipotesi $a>b>=0$.

Dividendo m.a.m. per $a$ e ponendo $x=b/a$, si ottiene $(1-x)^n <= 2^n (1+x^n)$, sicché basta dimostrare che $phi(x) = 2^n (1+x^n) - (1 - x)^n >=0$ per $0<=x<1$.
Derivando si trova $phi’(x) = 2^n n x^(n-1) + n (1-x)^(n-1) >0$, quindi $phi(x)$ cresce in $[0,1[$ e da ciò segue $phi(x) >= phi(0) = 2^n - 1 > 0$ per ogni $n>0$; dunque hai addirittura la disuguaglianza forte $2^n (1+x^n) > (1 - x)^n$ che implica:

$|a-b|^n < 2^n (a^n + b^n)$.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 22982 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli

OT che gira e se ne va

Messaggioda dissonance » 16/12/2019, 10:47

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
@arnett:

Chiedo scusa per entrare così nella discussione, però è da tanto che te lo volevo chiedere: ma chi è che scruta, poi gira e se ne va?

Ogni volta che lo leggo mi viene da ridere
dissonance
Moderatore
Moderatore
 
Messaggio: 15886 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Una disuguaglianza

Messaggioda jinsang » 16/12/2019, 11:06

Un altro modo ancora potrebbe essere questo:
Siccome $a,b>=0$ ho $|a-b|<=a+b$.
Inoltre vale la disuguaglianza $(a/2+b/2)^n<=a^n/2+ b^n/2$ per convessità della funzione $f(x)=x^n$ (con $n >= 1$).
Riorganizzando si ottiene qualcosa di migliore della disuguaglianza voluta, ovvero:
\[|a-b|^n \leq (a+b)^n \leq 2^{n-1}(a^n+b^n)\]
Avatar utente
jinsang
Junior Member
Junior Member
 
Messaggio: 140 di 346
Iscritto il: 03/01/2017, 19:41

Re: Una disuguaglianza

Messaggioda dissonance » 17/12/2019, 18:03

Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
Una bellissima poesia. Io invece pensavo a un cane, che scruta in un anfratto annusandolo, poi gira, ci fa su la pipì, e se ne va. Una immagine completamente diversa.
dissonance
Moderatore
Moderatore
 
Messaggio: 15898 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade


Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: 3m0o e 1 ospite