Siano $ a_1,a_2\cdots ,a_n $ numeri reali positivi tali che $ \prod a_i=1 $ . Dimostrare che
$ \displaystyle \frac{a_1}{(1+a_1)}+\frac{a_2}{(1+a_1)(1+a_2)}+ \cdots +\frac {a_n}{(1+a_1)(1+a_2)\cdots (1+a_n)} \ge \frac{2^n-1}{2^n} $
In Canada ci sono i telescopi
- 6frusciante9
- Messaggi: 46
- Iscritto il: 12 mar 2015, 17:47
- Località: Rimini
In Canada ci sono i telescopi
Chi lotta con i mostri deve star attento a non diventare un mostro. E se guarderai a lungo un abisso, l'abisso finirà per guardare in te
Re: In Canada ci sono i telescopi
Ispirato dal TELESCOPICO suggerimento si potrebbe fare così:
$\begin{align}
& \frac{{{a}_{1}}}{(1+{{a}_{1}})}=1-\frac{1}{(1+{{a}_{1}})} \\
& \frac{{{a}_{2}}}{(1+{{a}_{1}})(1+{{a}_{2}})}=\frac{1}{(1+{{a}_{1}})}-\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})}... \\
& ...... \\
& \frac{{{a}_{n}}}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})}=\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n-1}})}-\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})} \\
\end{align}$
e sommando membro a membro si otterrebbe
$\frac{{{a}_{1}}}{(1+{{a}_{1}})}+\frac{{{a}_{2}}}{(1+{{a}_{1}})(1+{{a}_{2}})}+\cdots +\frac{{{a}_{n}}}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})}=1-\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})}$ .
Ma per AM-GM ${{a}_{n}}+1\ge 2\sqrt{{{a}_{n}}}\Rightarrow \frac{1}{2\sqrt{{{a}_{n}}}}\ge \frac{1}{{{a}_{n}}+1}\quad \forall n\in \mathbb{N}$, ossia, moltiplicando membro a membro,
$1-\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})}\ge 1-\frac{1}{\left( {{2}^{n}} \right)\sqrt{{{a}_{1}}\cdot {{a}_{2}}\cdot ...\cdot {{a}_{n}})}}=1-\frac{1}{{{2}^{n}}}$.
$\begin{align}
& \frac{{{a}_{1}}}{(1+{{a}_{1}})}=1-\frac{1}{(1+{{a}_{1}})} \\
& \frac{{{a}_{2}}}{(1+{{a}_{1}})(1+{{a}_{2}})}=\frac{1}{(1+{{a}_{1}})}-\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})}... \\
& ...... \\
& \frac{{{a}_{n}}}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})}=\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n-1}})}-\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})} \\
\end{align}$
e sommando membro a membro si otterrebbe
$\frac{{{a}_{1}}}{(1+{{a}_{1}})}+\frac{{{a}_{2}}}{(1+{{a}_{1}})(1+{{a}_{2}})}+\cdots +\frac{{{a}_{n}}}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})}=1-\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})}$ .
Ma per AM-GM ${{a}_{n}}+1\ge 2\sqrt{{{a}_{n}}}\Rightarrow \frac{1}{2\sqrt{{{a}_{n}}}}\ge \frac{1}{{{a}_{n}}+1}\quad \forall n\in \mathbb{N}$, ossia, moltiplicando membro a membro,
$1-\frac{1}{(1+{{a}_{1}})(1+{{a}_{2}})\cdots (1+{{a}_{n}})}\ge 1-\frac{1}{\left( {{2}^{n}} \right)\sqrt{{{a}_{1}}\cdot {{a}_{2}}\cdot ...\cdot {{a}_{n}})}}=1-\frac{1}{{{2}^{n}}}$.
- 6frusciante9
- Messaggi: 46
- Iscritto il: 12 mar 2015, 17:47
- Località: Rimini
Re: In Canada ci sono i telescopi
Giusta , anche se la prima parte andrebbe ( credo ) dimostrata ( ma è induzione semplice semplice ) ...
Chi lotta con i mostri deve star attento a non diventare un mostro. E se guarderai a lungo un abisso, l'abisso finirà per guardare in te