mathematica消掉元的时候，如何移项，右边等于零！

mathematica

https://bbs.emath.ac.cn/forum.ph ... 788&fromuid=865

1. Clear["Global`*"];(*mathematica11.2,win7(64bit)Clear all variables*)
   
2. {x0,y0}={2,1};
   
3. ans=Simplify@Solve[{
   
4.     x1^2/6+y1^2/3==1,(y1-y0)/(x1-x0)==k,
   
5.     x2^2/6+y2^2/3==1,(y2-y0)/(x2-x0)==-1/k,
   
6.     Det[{{x1,y1,1},{x2,y2,1},{x3,y3,1}}]==0,
   
7.     (x1-x2)*(x0-x3)+(y1-y2)*(y0-y3)==0
   
8. },{x1,y1,x2,y2,x3,y3}]
   
9. {x3,y3}={x3,y3}/.ans//Flatten
   
10. aaa=Eliminate[{x-x3==0,y-y3==0},{k}]

复制代码

比如这的代码的运行结果
最后运行结果是
\[-3 y^2+2 y-3=3 x^2-8 x\]
但是这不是我要的结果，我要的结果是
\[3 x^2-8 x+3 y^2-2 y+3==0\]
我需要的等式是左边或者右边等于零，软件化简出来的结果我觉得难看。
不知道mathematica软件如何操作
@chyanog @wayne

chyanog

1. Defer@*Plus@@MonomialList[-Eliminate[{x,y}=={(6 (1+4 k+4 k^2-4 k^3+k^4))/(5+6 k+8 k^2-6 k^3+5 k^4),-((3 (1+2 k-8 k^2-2 k^3+k^4))/(5+6 k+8 k^2-6 k^3+5 k^4))},k]/.Equal->Subtract,{x,y}]
   
2. 
   
3. GroebnerBasis[{x1^2/6+y1^2/3==1,x2^2/6+y2^2/3==1,(y1-y0)/(x1-x0)==k,(y2-y0)/(x2-x0)==-(1/k),Det[{{x1,y1,1},{x2,y2,1},{x,y,1}}]==0,(x1-x2) (x0-x)+(y1-y2) (y0-y)==0},{x1,y1,x2,y2}][[1]]//Factor
   
4. 
   
5. ParametricPlot[{4-(2 (5 Cos[4 θ]+23))/(6 Sin[4 θ]+Cos[4 θ]+19), (22-14 Cos[4 θ])/(6 Sin[4 θ]+Cos[4 θ]+19)-1},{θ,0,Pi/2}]
   

复制代码

mathematica

chyanog 发表于 2021-2-5 11:32

% /. Equal -> Subtract  用这个就够了，感觉你搞复杂了

mathematica

chyanog 发表于 2021-2-5 11:32

第二行，第三行代码是什么意思？