@ MementoMori: Una dimostrazione possibile per induzione fa uso di un trucco inventato da Cauchy
di persona personalmente (cit.) e che si basa sulla seguente idea:
- innanzitutto, dimostrare che la disuguaglianza AMGM è vera se \(n\) è una potenza di \(2\);
- dimostrare che se essa vale \(n\) allora vale (attenzione!) per \(n-1\);
- applicare quanto stabilito nei punti 1 e 2 per gestire il caso generale.
Il punto 1 è facile e si usa l'induzione in maniera canonica.
Testo nascosto, fai click qui per vederlo
Infatti, la base dell'induzione si ottiene tenendo presente che il quadrato di binomio \((a_1-a_2)^2\) è sempre non negativo; mentre il passo induttivo, i.e.:
\[
\sqrt[2^h]{\prod_{i=1}^{2^h} a_i}\leq \frac{1}{2^h}\cdot \sum_{i=1}^{2^h} a_i\quad \Rightarrow\quad \sqrt[2^{h+1}]{\prod_{i=1}^{2^{h+1}} a_i}\leq \frac{1}{2^{h+1}}\cdot \sum_{i=1}^{2^{h+1}} a_i\; ,
\]
si dimostra introducendo la quantità \(a_i^\prime := \frac{a_i+a_{i+1}}{2}\) (con \(i=1,3,5,\ldots, 2^{h+1}-1\)) nella sommatoria all'ultimo membro ed applicando la AMGM assunta come ipotesi induttiva ai \(2^h\) numeri \(a_1^\prime,a_3^\prime,\ldots,a_{2^{h+1}-1}^\prime \).
(La notazione è un po' brutta, ma puoi modificartela a piacere...
)
Il punto 2 è pure semplice.
Testo nascosto, fai click qui per vederlo
Questo si fa semplicemente sostituendo nella AMGM con \(n\) termini \(a_n=\frac{a_1+a_2+\cdots +a_{n-1}}{n-1}\) e facendo un po' di contarielli.
Il punto 3 è quello davvero sballoso!
Testo nascosto, fai click qui per vederlo
Infatti, se \(n\) è arbitrario, esso o è una potenza di \(2\) oppure non lo è: nel primo caso, sei a posto (per 1); nel secondo caso ti basta notare che la AMGM vale per la più piccola potenza di \(2\), diciamola \(2^\nu\), che supera \(n\) (per 1) e che essa vale anche per \(2^\nu -1\) (per 2), e poi per \((2^\nu -1)-1=2^\nu -2\) (per 2), e poi per \((2^\nu -2)-1 = 2^\nu -3\) (per 2), ..., infine per \(2^\nu -(2^\nu -n) =n\) (sempre per 2).
@alexp: Credo che la difficoltà di MementoMori stia nel passo induttivo, piuttosto che nella base dell'induzione...
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)