Strane successioni (IMO SL 2010/A4)

Polinomi, disuguaglianze, numeri complessi, ...
Rispondi
Avatar utente
Federico II
Messaggi: 230
Iscritto il: 14 mag 2014, 14:56
Località: Roma

Strane successioni (IMO SL 2010/A4)

Messaggio da Federico II »

Una successione $x_1,x_2,\ldots$ è definita come $x_1=1$ e poi per ricorrenza $x_{2k}=-x_k$ e $x_{2k-1}=(-1)^{k+1}x_k$ per ogni $k\geq1$. Dimostrare che $x_1+x_2+\ldots+x_n\geq0$ per ogni $n\geq1$.
Il responsabile della sala seminari
cip999
Messaggi: 153
Iscritto il: 26 nov 2013, 14:44

Re: Strane successioni (IMO SL 2010/A4)

Messaggio da cip999 »

Sbaglio o il livello è inferiore a quello di un normale SL 4?
Testo nascosto:
Dimostriamo la tesi per induzione (estesa) su $n$, distinguendo i casi $n$ pari e $n$ dispari.
Il passo base è banale. Supponiamo ora che $\sum_{i = 1}^j \ge 0$ per $j = 1, \: \cdots, \: n - 1$.
  • $n = 2k$. Allora si ha
    $$\sum_{i = 1}^{2k} x_i = \sum_{i = 1}^k x_{2i - 1} + \sum_{i = 1}^k x_{2i} = \sum_{i = 1}^k (-1)^{i + 1}x_i - \sum_{i = 1}^k x_i = \\
    = -2\sum_{i = 1}^{\left\lfloor\frac{k}{2}\right\rfloor} x_{2i} = 2\sum_{i = 1}^{\left\lfloor\frac{k}{2}\right\rfloor} x_i \stackrel{\text{Hp ind.}}{\ge} 0$$
  • $n = 2k + 1$.
    $$\sum_{i = 1}^{2k + 1} x_i = \sum_{i = 1}^{k + 1} x_{2i - 1} + \sum_{i = 1}^k x_{2k} = \sum_{i = 1}^{k + 1} (-1)^{i + 1}x_i - \sum_{i = 1}^k x_i \qquad (\star)$$
    A questo punto conviene spezzare di nuovo in due casi, $k$ pari ($n \equiv 1 \pmod{4}$) e $k$ dispari ($n \equiv 3 \pmod{4}$).
    • Se $k$ è dispari, il RHS di $(\star)$ diventa
      $$-2\sum_{i = 1}^{\frac{k - 1}{2}} x_{2i} - x_{k + 1} = 2\sum_{i = 1}^{\frac{k - 1}{2}} x_i + x_{\frac{k + 1}{2}} = \sum_{i = 1}^{\frac{k - 1}{2}} x_i + \sum_{i = 1}^{\frac{k + 1}{2}} x_i \ge 0$$
    • $k$ pari è più interessante. Ponendo $k = 2h$, il RHS di $(\star)$ si riscrive come
      $$-2\sum_{i = 1}^h x_{2i} + x_{2h + 1} = 2\sum_{i = 1}^h x_i + x_{2h + 1}$$
      Se $h$ è dispari, $\sum_{i = 1}^h x_i$ ha un numero dispari di addendi dispari, e quindi, essendo non negativa (ipotesi induttiva) è $\ge 1$, dunque vale la tesi. Poniamo ora $h = 2\ell$ e supponiamo che $\sum_{i = 1}^h x_i = 0$ (altrimenti come prima). Poiché (sempre per ipotesi induttiva, dato che $h + 1 = \frac{n - 1}{4} + 1 < n$) anche $\sum_{i = 1}^{h + 1} x_i \ge 0$, si ha $x_{h + 1} = 1$. Ma allora
      $$x_{2h + 1} = x_{2(2\ell + 1) - 1} = (-1)^{2\ell + 2}x_{2\ell + 1} = x_{h + 1} = 1$$
      Dunque $2\displaystyle \sum_{i = 1}^h x_i + x_{2h + 1} = 0 + 1 \ge 0$. Questo conclude.
EvaristeG
Site Admin
Messaggi: 4896
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Re: Strane successioni (IMO SL 2010/A4)

Messaggio da EvaristeG »

Io penso di non avere idea di quale sia il "livello di un normale SL 4" ... :D
cip999
Messaggi: 153
Iscritto il: 26 nov 2013, 14:44

Re: Strane successioni (IMO SL 2010/A4)

Messaggio da cip999 »

No boh, è che solitamente tra i problemi delle shortlist dal 3/4 in su vengono scelti gli IMO 2/5 e 3/6, mentre questo l'avrei visto bene come un 1/4... Poi ovviamente è anche abbastanza soggettiva la cosa.
Avatar utente
Federico II
Messaggi: 230
Iscritto il: 14 mag 2014, 14:56
Località: Roma

Re: Strane successioni (IMO SL 2010/A4)

Messaggio da Federico II »

La soluzione é giusta, un'idea alternativa è la seguente:
Testo nascosto:
Dimostri che $S_{4n+2}=S_{4n}=2S_n$ e concludi con qualche caso, qui $S_n=x_1+x_2+\cdots+x_n$.
Di solito SL 4 potrebbe diventare IMO 2/5 ma è molto variabile non c'è una regola fissa, qualche volta finiscono anche nei TST italiani.
Il responsabile della sala seminari
cip999
Messaggi: 153
Iscritto il: 26 nov 2013, 14:44

Re: Strane successioni (IMO SL 2010/A4)

Messaggio da cip999 »

Federico II ha scritto:un'idea alternativa è la seguente:
Testo nascosto:
Dimostri che $S_{4n+2}=S_{4n}=2S_n$ e concludi con qualche caso, qui $S_n=x_1+x_2+\cdots+x_n$.
È praticamente la stessa :D
Rispondi