求证方程lnx=x e-定积分上限π下限0根号下1-cos2x