$\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

$\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$

Messaggio da jordan » 21 gen 2013, 17:56

Siano fissati dei reali $a_0,a_1,a_2,\ldots,a_n \in (0,\pi/2)$ tali che $\sum_{i=0}^n{\tan\left(a_i-\pi/4\right)}\ge n-1$. Mostrare che $\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$.
The only goal of science is the honor of the human spirit.

Avatar utente
Karl Zsigmondy
Messaggi: 138
Iscritto il: 09 lug 2011, 14:32
Località: Città di Altrove, Kansas

Re: $\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$

Messaggio da Karl Zsigmondy » 10 feb 2013, 11:41

Pongo per abbreviazione $ \tan{(a_i)}=t_i $. Allora abbiamo che $ \sum_{i=o}^{n}{\tan{(a_i - \frac{\pi}{4})}}=\sum_{i=o}^{n}{\frac{t_i-1}{t_i+1}} = n+1-2 \cdot \sum_{i=o}^{n}{\frac{1}{t_i+1}} $, quindi l'ipotesi equivale al fatto che $ \sum_{i=o}^{n}{\frac{1}{t_i+1}} \leq 1 $. Si ha ora per AM-HM che $ \sum_{i=o}^{n}{\frac{1}{t_i+1}} \geq \frac{(n+1)^2}{S+n+1} $ dove $ S=\sum_{i=o}^{n}{t_i} $, quindi dall'ipotesi segue che $ S \geq n \cdot (n+1) $.
Ora si ha per HM-GM che:
$ \displaystyle \prod_{i=o}^{n}{t_i} \geq \left(\frac{n+1}{\sum_{i=o}^{n}{\frac{1}{t_i}}} \right)^{n+1} $, quindi, affinché valga la tesi, mi basterebbe dimostrare che:$ \sum_{i=o}^{n}{\frac{1}{t_i}} \leq \frac{n+1}{n} $. Per AM-HM si ha ora che: $ \sum_{i=o}^{n}{\frac{1}{t_i}} \geq \frac{(n+1)^2}{S} $ e dato che $ S \geq n(n+1) $ si ottiene che $ \sum_{i=o}^{n}{\frac{1}{t_i}} \leq \frac{n+1}{n} $ da cui segue la tesi.
"Un matematico è una macchina che converte caffè in teoremi."
"Life is very short and there's no time for fussing and fighting, my friend!"

patatone
Messaggi: 160
Iscritto il: 20 gen 2011, 19:25

Re: $\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$

Messaggio da patatone » 11 feb 2013, 13:47

hai sbagliato il verso alla fine... in realtà potresti accorgerti che con HM-GM è impossibile che venga perchè se un t_i andasse a 0 e tutti gli altri a infinito (caso limite) la somma dei reciproci andrebbe a infinito...

Avatar utente
Karl Zsigmondy
Messaggi: 138
Iscritto il: 09 lug 2011, 14:32
Località: Città di Altrove, Kansas

Re: $\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$

Messaggio da Karl Zsigmondy » 11 feb 2013, 14:52

patatone ha scritto:hai sbagliato il verso alla fine... in realtà potresti accorgerti che con HM-GM è impossibile che venga perchè se un t_i andasse a 0 e tutti gli altri a infinito (caso limite) la somma dei reciproci andrebbe a infinito...
In effetti hai ragione...
"Un matematico è una macchina che converte caffè in teoremi."
"Life is very short and there's no time for fussing and fighting, my friend!"

Rispondi