本文，学习一下Mathematica用Resultant来处理消元法的问题，本质就是消去某些相同的项，保留剩余的项。
工具/原料
电脑
Mathematica
Resultant
1、用Resultant可以消元：Resultant[x-y,x-z,x]相当于，用x-y=0来用y表示出x的值，然后把x带入到x-z里面。
2、Resultant[x^2-ax+b,x-c,x]相当于，先求出x=c，然后把x带入到x^2-ax+b里面。
3、下面这段代码的意义，大家仔细看树形图：Resultant[(x-a)(x-b),(x-c)(x-d),x]Resultant[(x-a)(x-b)(x-p),(x-c)(x-d)(x-q),x]关于x的高次方程，比较难以理解。
应用
1、消去下面两个三角函墙绅褡孛数多项式里面的某个相同的项：Sin[α]/Sin[60°+α-γ]-Si荏鱿胫协n[β]/Sin[60°+β-α],Sin[β]/Sin[60°+β-α]-Sin[γ]/Sin[60°+γ-β],这里消去Sin[β]。
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^2x^2+x^4-2a^2y^2+b^2y^2-2x^2y^2+y^4==0；我们的目标是，用a、b来表示x和y的值，消去y，得到一个关于x的方程，进而解这个方程。
3、解一下上面那个方程，发现，等腰三角形等内切圆问题，可以用尺规进行作图。Solve[%==0,x]//Column
