HumanTorch ha scritto:[...] dati $ n $ numeri la cui media è data, il valore minimo per $ \sum^n_{i=1} a_i^2 $ è dato quando $ a_i=a_j $ per ogni $ i,j $ distinti.
Essì, su questo punto mi ritrovo, sì... Del resto, basta giusto invocare la disuguaglianza QM-AM, tenendo conto del fatto che - per ipotesi - la media aritmetica di $ a_1, a_2, \ldots, a_n $ è fissata.
HumanTorch ha scritto:Quindi consideriamo il peggiore dei casi, ovvero quello appena esposto. Ma la disuguaglianza fra tutti i termini si ottiene solo quando $ x_i=x_j $, con $ i,j $ naturali distinti (il rapporto deve essere sempre $ 1 $ altrimenti non c'è coincidenza con le altre frazioni); ma in tale caso si ha l'uguaglianza ($ n=n $); quindi per tutti i restanti casi si ha la tesi dimostrata.
HumanTorch, in questo modo dimostri soltanto che le espressioni $ E_1(x_1, \ldots, x_n) := \dfrac{x_1^2}{x_2^2} + \ldots + \dfrac{x_n^2}{x_1^2} $ ed $ E_2(x_1, \ldots, x_n) := \dfrac{x_1^2}{x_2^2} + \ldots + \dfrac{x_n^2}{x_1^2} \leq n $ raggiungono entrambe il proprio
minimo se $ x_1 = x_2 = \ldots = x_n $, supposte le variabli reali e positive. Ma d'altro canto questo non implica affatto che, in generale, sia $ E_1(x_1, \ldots, x_n) \geq E_2(x_1, \ldots, x_n) $, se $ x_1, x_2, \ldots, x_n\in\mathbb{R}^+ $. Una tal conclusione sarebbe valsa, casomai, se il minimo dell'una espressione fosse coinciso con il massimo dell'altra! Ma siccome non è questo il caso...
