Mathematica基础——消元法

本文，学习一下Mathematica用Resultant来处理消元法的问题，本质就是消去某些相同的项，保留剩余的项。

2、Resultant[x^2-a x+b, x-c, x]相当于，先求出x=c，然后把x带入到x^2-a x+b里面。

2、在处理等腰三角形等内切圆问题的时候，我们遇到两个高次方程式：根据内切圆半径相等，等式倦虺赳式有理化，得到(x+y-a)*(x-y+a)*(-x+y+a)*(2*x+b) -b*b*(x + x - b像粜杵泳)*(x + y + a)==0；根据勾股定理，等式有理化，得到a^4 -2a^2 x^2 + x^4 -2a^2 y^2+b^2y^2 -2 x^2 y^2 +y^4==0；我们的目标是，用a、b来表示x和y的值，消去y，得到一个关于x的方程，进而解这个方程。