Question 9Let $a,b,n$ be positive integers such that $a\gt b$ and $ab-1=n^2$. Prove that $a-b\ge\sqrt{4n-3}$, and justify exactly when equality holds.