3. When a,b are one odd and one even, an+bn+1 is always a multiple of 2, satisfying the condition.
When a,b are both odd or both even, by d∣(an+bn+1), we know d is an odd number.
Also, a2+b2+1=(a+b)2−2ab+1,d∣(a+b+1),d∣(a2+b2+1),
Thus, d∣[(−1)2−2ab+1], i.e.,
d∣2(1−ab).
Therefore, d∣(ab−1).
By a3+b3+1=(a+b)(a2+b2−ab)+1 ≡(−1)(−1−1)+1=3(modd), d∣(a3+b3+1),
Thus, d∣3.
Since d>1, then d=3.
Because (a−b)2=a2+b2−2ab
≡−1−2≡0(mod3),
So, a≡b(mod3).
By 0≡a+b+1≡2a+1(mod3), we know a≡1(mod3).
Thus, a≡b≡1(mod3).
On the other hand, when a≡b≡1(mod3), for any positive integer n we have
an+bn+1≡1+1+1≡0(mod3).
Therefore, an+bn+1 is a multiple of 3, satisfying the condition.
In summary, the integer pairs (a,b) are (2k,2l+1),
(2k+1,2l),(3k+1,3l+1)(k,l∈Z).