Prove that there are infinitely many pairs $(a, b)$ of positive integers with the following properties: $\bullet$ $a+b$ divides $ab+1$, $\bullet$ $a-b$ divides $ab -1$, $\bullet$ $b > 2$ and $a > b\sqrt3 - 1$.
Source: 2013 Cuba 2.8
Tags: number theory, divides
Prove that there are infinitely many pairs $(a, b)$ of positive integers with the following properties: $\bullet$ $a+b$ divides $ab+1$, $\bullet$ $a-b$ divides $ab -1$, $\bullet$ $b > 2$ and $a > b\sqrt3 - 1$.