求∫x^2arctanxdx的定积分(下限0,上限1)