Simplify吧?
不过你这样直接消会有反函数的问题,感觉如果这样的话会保险一些:
equ1 = AA a Cos[t] x + BB/2 (a Cos[t] y + b Sin[t] x) + CC b Sin[t] y +
DD/2 (x + a Cos[t]) + EE/2 (y + b Sin[t]) + FF;
equ2 = D[equ1, t];
Sin[t]^2 + Cos[t]^2 == 1 /.
First@Solve[equ1 == 0 && equ2 == 0, {Cos@t, Sin@t}] // Simplify
(*
(2 FF + DD x + EE y)^2/(a^2 (DD + 2 AA x + BB y)^2 + b^2 (EE + BB x + 2 CC y)^2) == 1
*)
不过你这样直接消会有反函数的问题,感觉如果这样的话会保险一些:
equ1 = AA a Cos[t] x + BB/2 (a Cos[t] y + b Sin[t] x) + CC b Sin[t] y +
DD/2 (x + a Cos[t]) + EE/2 (y + b Sin[t]) + FF;
equ2 = D[equ1, t];
Sin[t]^2 + Cos[t]^2 == 1 /.
First@Solve[equ1 == 0 && equ2 == 0, {Cos@t, Sin@t}] // Simplify
(*
(2 FF + DD x + EE y)^2/(a^2 (DD + 2 AA x + BB y)^2 + b^2 (EE + BB x + 2 CC y)^2) == 1
*)

