4、已知数列{a_n}中，a₁=1，a₂=2，a_n+1=2a_n+a_n-1（n∈N^*），用数学归纳法证明a_4n能被4整除，假设a_4k能被4整除，应证（　　）

用数学归纳法证明“

n2+n

＜n+1 （n∈N^*）”．第二步证n=k+1时（n=1已验证，n=k已假设成立），这样证明：

(k+1)2+(k+1)

=

k2+3k+2

＜

k2+4k+4

=（k+1）+1，所以当n=k+1时，命题正确．此种证法（　　）

用数学归纳法证明（n+1）（n+2）（n+3）…（n+n）=2ⁿ•1•2•3•…•（2n-1）（n∈N*），则当n=k+1时，左边的式子是（　　）

4、用数学归纳法证明“当n为正奇数时，xⁿ+yⁿ能被x+y整除”，第二步归纳假设应写成（　　）