We have
a+a1=[a]+[a1]+{a}+{a1}=[a]+[a1]+1
is an integer and denote this integer by k. Let Sn=an+an1, n=0,1,2,… Since a and a1 are the roots of quadratic equation x2−kx+1=0, it follows that
Sn+2=kSn+1−Sn,n=0,1,2,…
We have S0=2, S1=k hence, by induction of step 2, we obtain that Sn∈Z for n=2,3,…
It follows
{an}+{an1}=an+an1−[an]−[an1]=Sn−[an]−[an1]∈Z,
that is {an}+{an1}∈Z. We get {an}+{an1}∈{0,1}. If {an}+{an1}=0, then an and an1 are both integers, not possible. Therefore, {an}+{an1}=1, and we are done.