证明,（1）函数y=x²+3x+1有两个不同的零点；（2）函数f（x）=x^3+x-1在区间（0,1）上有零点.