Let x=(83+13)13 and y=(72+9)9. If [t] denotes the greatest integer ≤t, then [2023]
(2)
x=(83+13)13=C013·(83)13+C113(83)12(13)1+…
And x'=(83-13)13=C013(83)13-C113(83)12(13)1+…
∴ x-x'=2[C113·(83)12(13)1+C313(83)10·(13)3+…]
Thus, x-x' is an even integer, hence [x] is even.
Now, y=(72+9)9=C09(72)9+C19(72)8(9)1+C29(72)7(9)2+…
And y'=(72-9)9=C09(72)9-C19(72)8(9)1+C29(72)7(9)2…
∴ y-y'=2[C19(72)8(9)1+C39(72)6(9)3+…]
Thus, y-y' is an even integer, hence [y] is even.