mathematica消掉元的时候，如何移项，右边等于零！
https://bbs.emath.ac.cn/forum.php?mod=redirect&goto=findpost&ptid=17684&pid=87788&fromuid=865Clear["Global`*"];(*mathematica11.2,win7(64bit)Clear all variables*)
{x0,y0}={2,1};
ans=Simplify@Solve[{
x1^2/6+y1^2/3==1,(y1-y0)/(x1-x0)==k,
x2^2/6+y2^2/3==1,(y2-y0)/(x2-x0)==-1/k,
Det[{{x1,y1,1},{x2,y2,1},{x3,y3,1}}]==0,
(x1-x2)*(x0-x3)+(y1-y2)*(y0-y3)==0
},{x1,y1,x2,y2,x3,y3}]
{x3,y3}={x3,y3}/.ans//Flatten
aaa=Eliminate[{x-x3==0,y-y3==0},{k}]
比如这的代码的运行结果
最后运行结果是
\[-3 y^2+2 y-3=3 x^2-8 x\]
但是这不是我要的结果，我要的结果是
\
我需要的等式是左边或者右边等于零，软件化简出来的结果我觉得难看。
不知道mathematica软件如何操作
@chyanog @wayne 本帖最后由 chyanog 于 2021-2-5 11:33 编辑
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}]
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}][]//Factor
ParametricPlot[{4-(2 (5 Cos+23))/(6 Sin+Cos+19), (22-14 Cos)/(6 Sin+Cos+19)-1},{θ,0,Pi/2}]
chyanog 发表于 2021-2-5 11:32
% /. Equal -> Subtract用这个就够了，感觉你搞复杂了 chyanog 发表于 2021-2-5 11:32
第二行，第三行代码是什么意思？
页:
[1]