设 $a,b\in \mathbb{Z}$，求证$\frac{2a^2-1}{b^2+2}\notin \mathbb{Z}$。

反证未果。