证:设等差为p,
a8=a1+7p=16,a1+a2+a3=3a1+3p=12,
p=2,a1=2.
an=2(n-1)+2-2=2(n-1),
an-a(n-1)=2(n-1)-2(n-2)=2,为常数,为等差数列.