Let's consider the equation x2−3x−1=0. The discriminant equals to D=9+4=13. So the equation has irrational roots: α=23+√3,β=23−√3 . From the Viet theorem α+β=3,αβ=−1. If n=0 we have y0=α0+β0=2 . If n=1 we have y1=α+β=3. So gcd(y0;y1)=gcd(2;3)=1. In case n=2 we have y2=(α+β)2−2αβ=9+2=11,gcd(y1;y2)=1 Let's prove that yn is natural and gcd(yn,yn+1)=1 with the help of the method of mathematical induction. The base of induction is true. Let the proposition is true for all n=1,...,k∈N , and y1,yk∈N.gcd(yn−1,yn)=1. If n=k+1 we have yn+1=(α+β)yn+αβyn−1 . Si we have yn+1∈N. And gcd(yk,yk+1)=gcd(yk,yk−1)=1.
Comments