高一函数证明题带根号