The sequence $a_{n+1}=\left\lceil \frac{-1+\sqrt{5}}{2}a_{n}-a_{n-1} \right\rceil$ is periodic 
Let $(a_{n})_{n \ge 1}$ be a sequence of integers such that for all $n \ge 2$:  
$0\le a_{n-1}+\frac{1-\sqrt{5}}{2}a_{n}+a_{n+1} <1$.
Prove that the sequence $(a_{n})$ is periodic.

This question was asked at the Miklos Schweitzer Competition 2005, problem 2 (in Hungarian). 
Since $(a_{n})$ is integer it follows that $a_{n+1}=\left\lceil \frac{-1+\sqrt{5}}{2}a_{n}-a_{n-1} \right\rceil$ is periodic.  
Some discussion regarding this question can be found at Mathlinks,
and apparently we can choose $a_{1}$ and $a_{2}$ to make this period as large as we want.
Any help would be appreciated, thanks.




I would like to clarify some points about this problem:
1) There is a ceiling function ($\lceil x \rceil$) at the recursive sequence which makes it considerably harder.
The period is not 5 as claimed by some answers.
2) Miklos Schweitzer is not a conventional competition. This competition for undergraduate students is unique.
The contest lasts 10 days with 10-12 problems, which are quite challenging and basically of research level.
Moreover any literature can be used.
3) An example of Miklos Schweitzer problem can be found here at MO.
It was indeed a very nice question with an even nicer solution. I'm not sure Art of Problem Solving would be better. 
I am sorry for any inconvenience caused and I hope this question do not get closed.
 A: Tilting Peter Mueller's image by -18° as suggested by Noam D. Elkies and coloring the interior of certain orbits shows again the 5-fold symmetry, self-similarity and the closeness to Penrose tilings.

A: This is really more of an extended comment, but it would be unpleasant to write it in that format. I am commenting on the suggestion of Peter Mueller to argue that the boundary of the triangles he constructs goes to the boundary. 
While I don't have a complete answer, here is a plausible line of attack,
which clarifies the role of the Fibonacci numbers.
Let me define $\epsilon_n=a_{n-1}-wa_n+a_{n+1}$ to be the "error terms" of the recursion. Then we have 
$$
a_2-a_7 = \epsilon_3+w\epsilon_4-w\epsilon_5-\epsilon_6.
$$
I would like to show (among other things) that if $a_2=F_{2i+1}-1$ and $-a_2\leq a_1\leq a_2$ then $a_2-a_7\geq 0$. For this, consider 
$$\epsilon_3+w\epsilon_4=a_2+w(a_4+a_5).$$
This lies in $a_2+ w\mathbb Z$.
The nature of $a_2=F_{2i+1}-1$ is (I think) such that the fractional part of $a_2/w$ is close to $1$. In fact, it is not possible to achieve a larger fractional part with smaller positive integers. As a consequence, since
$\epsilon_3+w\epsilon_4$ is positive, it will be either larger than $w$
or at least very close to $w$.
When we combine this with $-w e_5-e_6$ which are at most $-w$ and $-1$,
but can not be too close to them, we see that overall we have $a_2-a_7>-1$, as desired.
The devil is in the detail, of course. We need to be specific as to how close $\epsilon_5,\epsilon_6$ could be to $1$: this is where the bound on $a_1$ must come in. It looks tedious but doable. There are other inequalities to check, but I am guessing that similar ideas might do the job.
A: This is not a solution, but a plot suggesting that the recursion has the
geometric structure of a planar quasicrystal with the fivefold symmetry of
a Penrose tiling:

(source: harvard.edu) 
It's obtained by connecting each integer point $(x,y)$ to its image,
rotated by 72 degrees with respect to the quadratic form invariant
under the linearized recursion $(x,y) \mapsto (y, \frac{-1+\sqrt{5}}{2} y - x)$
[without ceiling functions, whose removal makes this map an exact
72-degree rotation].  The center is the green dot; other points
get circles whose sizes keep track of how many times mod 5 they've been rotated;
the orbits of $(5,0)$ and $(13,0)$ are in blue and red respectively.
(The Mathlinks discussion suggested that starting at Fibonacci numbers
yields long orbits.)  For a larger picture see
http://math.harvard.edu/~elkies/mo229714.pdf .
A: Another visualization, similar to Noam's, together with a modification of a comment by David, might lead to a solution of the question: Define $T:\mathbb Z^2\to\mathbb Z^2$ by $T(a_1,a_2)=(a_6,a_7)$. It is easy to see that $T(v)-v$ is in $\{-1,0,1\}^2$ (and distinct from $(1,-1)$ and $(-1,1)$) for all $v\in\mathbb Z^2$. Let $F_i$ be the $i$-th Fibonacci number. Then all points on the border of the triangle $\Delta_{2i+1}$ with vertices $(z,-z)$, $(-z,z)$, $(-z,-z)$ with $z=F_{2i+1}-1$ seem to be fixed under $T$. So, by the other remark about the step lengths of $T$, $\Delta_{2i+1}$ is invariant under $T$. Similarly, the triangles $\Delta_{2i}$ with vertices $(z,-z)$, $(-z,z)$, $(z,z)$ where $z=F_{2i}$ seem to have the property that each point on the border is either fixed, or still stays on the border.
Working out these observations seems to be somewhat technical. Set $\omega=\frac{\sqrt{5}-1}{2}$. The identity $\omega F_i=F_{i-1}-(-\omega)^i$, together with bad rational approximately of $\omega$, implies for instance $\lceil(\omega(\pm F_i+k)\rceil=\pm F_{i-1}+\lceil\omega k\rceil$ for each integer $k$ with $|k|<F_i$. That's something which would be needed.
The following draws the lines connecting $v$ with $T(v)$ (and nothing if $v=T(v)$) and the triangles $\Delta_j$.

