Equivalent conditions for the $n$th element of the Beatty sequence $B_{\sqrt{2}}$ being even

Abstract

We provide equivalent conditions for the $n$th element of the Beatty sequence $B_{\sqrt{2}}$ being even. In particular, we show that the integer sequences A090892 and A120752 in the OEIS are essentially identical.