9.
若函数y=f(x),x∈A满足:∀x
1,x
2∈A,(x
1-x
2)[f(x
1)-f(x
2)]≤0恒成立,则称函数y=f(x)为定义在A上的“非增函数”,若函数f(x)是区间[0,1]上的“非增函数”,且f(0)=1,f(x)+f(1-x)=1,又当x∈[0,
]时,f(x)≤-2x+1恒成立,有下列命题:①∀x∈(0,1],f(x)≥0;②若x
1,x
2∈[0,1],且x
1≠x
2,则f(x
1)≠f(x
2);③f(
)+f(
)+f(
)+f(
)=2.其中正确的是( )