Problem

Source: Baltic Way 1999

Tags: modular arithmetic, number theory proposed, number theory



Let $m$ be a positive integer such that $m=2\pmod{4}$. Show that there exists at most one factorization $m=ab$ where $a$ and $b$ are positive integers satisfying \[0<a-b<\sqrt{5+4\sqrt{4m+1}}\]