求证:方程x^3-4x-2=0在区间[-2,0]内至少有两个实数解