IMO 1992 LL ROM63

Let a and b be integers. Prove that 2a2−1

IMO 1992 LL ROM63

Origin: ROM

Problem

Let a and b be integers. Prove that 2a2−1 b2+2 is not an integer.