函数f'(x)=ax^3+x+1有极值的充要条件