形如的函数称为“幂指型函数”，它的求导过程可概括成：取对数——两边对求导——代入还原；例如：，取对数，对求导，代入还原；给出下列命题：
①当时，函数的导函数是；②当时，函数在上单增，在上单减；③当时，方程有根；④当时，若方程有两根，则；
其中正确的命题是           ．