关于倒代换求解∫dx/x(x^7+2)