For the equation $x^2+1$ is divisible by $y$ and $y^2+1$ is divisible by $x$ the solutions come out to be alternate terms of the Fibonacci sequence that is (1,2) (2,5) (5,13) (13,34) (34,89) and so on.
I would like to know the proof or reason for this.