Demuestra que existen infinitamente muchos pares $(a, b)$ de enteros positivos con la propiedad de que $a+b$ divide a $ab+1$ , $a-b$ divide a $ab-1$ , $b>1$ y $a>b\sqrt{3}-1$