李大仁和程又青:为何命题:由f(x1)=f(x2)=0得x1-x2是派的整数倍。对于函数f(x)=4sin(2x+派/3)(x属于R)不成立