Integer both Square and Triangular

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

Then:


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




 * $\paren {a b}^2$ is both square and triangular.