已知{a_n}是由非负整数组成的无穷数列，该数列前n项的最大值记为A_n，第n项之后各项，…的最小值记为B_n，d_n=A_n－B_n.
(1)若{a_n}为2，1，4，3，2，1，4，3…，是一个周期为4的数列(即对任意n∈N^*，)，写出d₁，d₂，d₃，d₄的值；
(2)设d为非负整数，证明：d_n=－d(n=1,2,3…)的充分必要条件为{a_n}为公差为d的等差数列；
(3)证明：若a₁=2，d_n=1(n=1,2,3…)，则{a_n}的项只能是1或2，且有无穷多项为1.