恒等式的化简可以通过举例完成。关于x的n次恒等式举n+1个例子即可,因为如果不是恒等式就是方程,n次方程至多有n个复根(代数基本定理)。多元恒等式也可以通过举例证明。甚至所有恒等式只需要举一个例子就够了,这个例子必须足够大,至于大到什么程度,可以参考张景中的《数学与哲学》。
不等式的证明千奇百怪,机械证明主要是分拆,著名的分拆方法有舒尔分拆,pqr,uvw,abc,sos分拆等等,篇幅过大,LZ可自行百度查阅。
据我所知,对于不等式,还没有统一的机械证明方法,上述方法都只适合满足一定特征不等式。