关于适用mathematica化简多项式，求教简单快速的方法

关于适用mathematica化简多项式，求教简单快速的方法

要使s1和s2等价，其实隐含了几个假设，其一，x1, x2, x3必须是整数；其次，x1, x2, x3必须在一定范围内，我没仔细考虑，但是应该是由很少的几组“基本解”构成的一个系列，否则，比如在x1=12, x2=1, x3=1的时候，s2的第一项就是错的。 所以，你想要

化简多项式： in[1]:= fullsimplify[x^3 - 6 x^2 + 11 x - 6] out[1]= (-3 + x) (-2 + x) (-1 + x) in[2]:= fullsimplify[(x^10 - 1) (x^10 + 1)] out[2]= -1 + x^20 将双曲线表达式化简为指数形式： in[1]:= fullsimplify[cosh[x] - sinh[x]] out[1]= e^-x 将指数表达式化简为三角形式： in[1]:= fullsimplify[(1 + i) e^(-i x) + (1 - i) e^(i x)] out[1]= 2 (cos[x] + sin[x]) 化简一个代数数： in[1]:= fullsimplify[sqrt[2] + sqrt[3] - sqrt[5 + 2 sqrt[6]]] out[1]= 0 化简超越数： in[1]:= fullsimplify[-i log[(1 + 2 i)/sqrt[5]]] out[1]= arctan[2] in[2]:= fullsimplify[16 arctan[1/5] - 4 arctan[1/239]] out[2]= \[pi] 化简包含特殊函数的表达式： in[1]:= fullsimplify[expintegrale[1 - n, x] x^n] out[1]= gamma[n, x] in[2]:= fullsimplify[csc[pi v] (besseli[-v, z] - besseli[v, z])/2] out[2]= besselk[v, z]/\[pi] 用假设化简表达式： in[1]:= fullsimplify[productlog[x e^x], x >= -1] out[1]= x in[2]:= fullsimplify[e^(ellipticf[x, 1]), -pi/2 < x < pi/2] out[2]= sec[x] + tan[x] in[3]:= fullsimplify[eulerphi[p^2] + p, element[p, primes]] out[3]= p^2 根据公理系统证明定理： in[1]:= fullsimplify[f[f[b, a], a] == f[a, f[b, a]], forall[{a, b}, f[a, b] == f[b, a]]] out[1]= true in[2]:= fullsimplify[f[a, a] == f[a, b], forall[{a, b}, f[f[a, a], b] == a]] out[2]= true 任意表达式可以用作一个变量： in[3]:= fullsimplify[ subscript[a, 1]\[circleplus]subscript[a, 1] == subscript[a, 1]\[circleplus]subscript[a, 2], forall[{a, b}, (a\[circleplus]a)\[circleplus]b == a]] out[3]= true 在定理中，无定量的变量被当作常量处理： in[4]:= fullsimplify[f[f[e, e], e] == e, forall[a, f[a, e] == a]] out[4]= true 假定左边的恒等性和逆的存在性，证明右边逆的存在： in[5]:= fullsimplify[forall[x, exists[y, g[x, y] == e]], forall[{x, y, z}, g[x, g[y, z]] == g[g[x, y], z] && g[e, x] == x && g[inv[x], x] == e]] out[5]= true 多看看自带帮助（f1）