充分性：∵a_n+a_n+1=2n+1，
∴a_n+a_n+1=n+1+n，
即a_n+1-（n+1）=-（a_n-n），
若a₁=1，則a₂-（1+1）=-（a₁-1）=0，
∴a₂=2，以此類推得到a_n=n，
此時{a_n}為等差數(shù)列．
必要性：
∵a_n+a_n+1=2n+1，
∴a_n+2+a_n+1=2n+3，
兩式相減得a_n+2-a_n=2，
若數(shù)列{a_n}為等差數(shù)列，則a_n+2-a_n=2d，
即2d=2，∴d=1．
則a_n+a_n+1=2a_n+1=2n+1，
∴a_n=n，即a₁=1成立．
綜上數(shù)列{a_n}為等差數(shù)列的充要條件是a₁=1．