设函数y＝f(x)的定义域为R，对任意实数m，n，有f(m＋n)＝f(m)f(n)，且当x＜0时，f(x)＞1数列{a_n}满足a₁＝f(0)，且(n∈N^*)．

(1)求证：y＝f(x)在R上单调递减．

(2)求数列{a_n}的通项公式．

(3)是否存在正数k，对一切n∈N^*均成立？若存在．试求出k的最大值并证明：若不存在，请说明理由．

对于函数y＝f(x)，定义域为D＝[－2，2]．

①若f(－1)＝f(1)，f(－2)＝f(2)，则y＝f(x)是D上的偶函数；

②若对于x∈[－2，2]，都有f(－x)＋f(x)＝0，则y＝f(x)是D上的奇函数；

③若函数y＝f(x)在D上具有单调性且f(0)＞f(1)则y＝f(x)是D上的递减函数；

④若f(－1)＜f(0)＜f(1)＜f(2)，则y＝f(x)是D上的递增函数．

以上命题正确的是________(写出所有正确命题的序号)．