Integer both Square and Triangular

Theorem
Consider a pair of (strictly) positive integers $m$ and $n$ such that $n < m$.

Then:


 * $\dfrac m n$ is a best rational approximation to the square root of $2$




 * $\paren {m n}^2$ is both square and triangular.