已知定义域为[0，1]的函数f（x）同时满足以下三个条件：①对于任意的x∈[0，1]，总有f（x）≥0；
②f（1）=1；③当x₁，x₂∈[0，1]且x₁+x₂∈[0，1]时，f（x₁+x₂）≥f（x₁）+f（x₂）成立，则称函数f（x）为“友谊函数”．给出下列命题：
（1）“友谊函数”f（x）一定满足f（0）=0；
（2）函数y=log₂（x+1），y=2^x-1，y=2x²-x在[0，1]上都是“友谊函数”；
（3）“友谊函数”f（x）一定不是单调函数；
（4）若f（x）为“友谊函数”，假设存在x₀∈[0，1]使得f（x₀）∈[0，1]且f[f（x₀）]=x₀，则f（x₀）=x₀．
其中正确的命题的序号为（把所有正确命题的序号都填上）

定义：设函数y=f（x）在（a，b）内可导，f'（x）为f（x）的导数，f''（x）为f'（x）的导数即f（x）的二阶导数，若函数y=f（x） 在（a，b）内的二阶导数恒大于等于0，则称函数y=f（x）是（a，b）内的下凸函数（有时亦称为凹函数）．已知函数f（x）=xlnx
（1）证明函数f（x）=xlnx是定义域内的下凸函数，并在所给直角坐标系中画出函数f（x）=xlnx的图象；
（2）对?x₁，x₂∈R⁺，根据所画下凸函数f（x）=xlnx图象特征指出x₁lnx₁+x₂lnx₂≥（x₁+x₂）[ln（x₁+x₂）-ln2]与x₁lnx₁+x₂lnx₂≥（x₁+x₂）[ln（x₁+x₂）-ln2]的大小关系；
（3）当n为正整数时，定义函数N （n）表示n的最大奇因数．如N （3）=3，N （10）=5，…．记S（n）=N（1）+N（2）+…+N（2ⁿ），若

2n

i=1

xi=1，证明：

2n

i=1

xilnxi≥-ln2nln

1

3S(n)-2

（i，n∈N^*）．