（2012•马鞍山二模）下面命题：
①函数f（x）=lg

x

x2+1

的定义域是（0，+∞）；
②在空间中，若四点不共面，则每三个点一定不共线；
③若数列{a_n}为等比数列，则“a₃a₅=16”是“a₄=4”的充分不必要条件；
④直线l₁经过点（3，a），B（a-2，3），直线l₂经过点C（2，3），D（-1，a-2），若l₁⊥l₂，则a=0；
其中真命题的序号为（写出所有真命题的序号）．

给出下列命题，其中正确的命题是（写出所有正确命题的编号）．
①在△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为恒均变函数．