已知等差数列{a_n}首项为a，公差为b，等比数列{b_n}首项为b，公比为a，其中a，b 都是大于1的正整数，且a₁＜b₁，b₂＜a₃，那么a=；若对于任意的n∈N^*，总存在m∈N^*，使得   b_n=a_m+3成立，则a_n=．

给出下列命题，其中正确的命题是（写出所有正确命题的编号）．
①在△ABC中，若tanA+tanB+tanC＞0，则△ABC是锐角三角形；
②在△ABC中，A＜B是cosA＞cosB的充要条件；
③已知非零向量

a

、

b

，则“

a

•

b

＞0”是“

a

、

b

的夹角为锐角”的充要条件；
④若数列{a_n}为等比数列，则“a₃a₅=16”是“a₄=4”的充分不必要条件；
⑤函数f（x）的导函数为f'（x），若对于定义域内任意x₁，x₂（x₁≠x₂），有

f(x1)-f(x2)

x1-x2

=f′(

x1+x2

2

)恒成立，则称f（x）为恒均变函数，那么f（x）=x²-2x+3为恒均变函数．