反证：方程x^3+3x+c=0在区间[0,1]有两个相同的实根 f‘（x）=3x^2-3=0 x=±1 根据罗尔定理，f’(x)在[x1,x2]连续，在（x1，x2）可导，且f‘（x1）=f’（x2），至少有一点m使得f‘’（m）=0 显然与假设矛盾 故原命题成立
