Editing Problema 2 (section)

=== Soluție ===
&emsp;&emsp;Vom prezenta o soluție asemănătoare cu cea dată în concurs de ''Edis'', ''Ciprian'' și ''loan''. Vom arăta că numerele căutate sunt multiplii lui 3. Să observăm de la început că putem prelungi șirul la unul infinit, periodic de perioadă <math>n</math>.<br/>
&emsp;&emsp;Dacă <math>n</math> este divizibil cu 3, atunci o soluție este<br/>
<div style="text-align: center;"><math>(a_1,a_2,...) = (-1,-1,2,-1,-1,2,...)</math></div>.
&emsp;&emsp;Nu există în șir un termen <math>a_i = 0</math>. Altfel, începând cu rangul <math>i + 2</math> șirul este strict crescător (se demonstrează ușor prin inducție), contrazicând periodicitatea. Începând cu termenul <math>a_i+1</math>, sirul este <math>(1, 1,2,3, 7, 22, . . )</math>.<br/>
&emsp;&emsp;Nu există doi termeni consecutivi <math>a_i</math> și <math>a_{i+1}</math> din șir care să fie strict pozitivi. Altfel, <math>a_i a_{i+1} +1 = a_{i+2} > 1</math> și prin inducție se arată că (începând cu <math>a_{i+3}</math>) șirul este strict crescător, contrazicând periodicitatea.<br/>
&emsp;&emsp;Este clar că după doi termeni consecutivi negativi <math>a_i</math> și <math>a_{i+1}</math> urmează un termen pozitiv: <math>a_{i+2} = a_i a_{i+1}+1 > 1 > 0</math>.<br/>
&emsp;&emsp;Nu este posibil ca termenii șirului să alterneze in semn. Presupunem că <math>a_i</math> este negativ, <math>a_{i+1}</math> pozitiv, <math>a_{i+2}</math> este negativ iar <math>a_{i+3}</math> din nou pozitiv. Atunci <math>a_i a_{i+1}+1 = a_{i+2} < 0 < a_{i+3} = a_{i+1}a_{i+2}+1</math>. Deoarece <math>a_{i+1} > 0</math> rezultă că <math>a_i < a_{i+2}</math>. Am arătat că termenii negativi formează un subșir strict crescător, ceea ce este din nou o contradicție.<br/>
&emsp;&emsp;A mai rămas doar un singur caz de studiat: există doi termeni consecutivi negativi în șir. Presupunem că <math>a_i</math> și <math>a_{i+1}</math> sunt strict negativi. Atunci <math>a_{i+2} = a_i a_{i+1} + 1 > 1</math>. Evident numărul <math>a_{i+3}</math> trebuie să fie negativ. Arătăm că <math>a_{i+4}</math> trebuie să fie tot negativ. Observăm mai întâi că, deoarece <math>a_{i+3}</math> este negativ, avem <math>a_{i+4} = a_{i+2} a_{i+3} + 1 < 1 < a_i a_{i+1} + 1 = a_{i+2}</math>. De aici obținem 
<div style="text-align: center;"><math>a_{i+5}-a_{i+4} = (a_{i+3} a_{i+4} + 1) - (a_{i+2} a_{i+3} + 1) = a_{i+3}(a_{i+4}-a_{i+2}) > 0</math>,</div>
și deci <math>a_{i+5} > a_{i+4}</math>. Cum nu pot exista doi termeni consecutivi strict pozitivi, rezultă că <math>a_{i+4}</math> trebuie să fie negativ.<br/>
&emsp;&emsp;Astfel <math>a_{i+3}</math> și <math>a_{i+4}</math> sunt negativi iar <math>a_{i+5}</math> este pozitiv, și deci după doi termeni negativi și unul pozitiv, următorii trei vor repeta aceeași ordine a semnelor. În concluzie <math>n</math> trebuie să fie multiplu de trei.<br/>