复数变换

TSC999

1. Clear["Global`*"];
   
2. z1 = (2 (2 (-I + Sqrt[3]) v^5 u^6 + v^4 (-(7 I + Sqrt[3]) v + Sqrt[3] + 11 I) u^5 + v^3 ((I - 3 Sqrt[3]) v^2 + (I + 11 Sqrt[3]) v - 8 Sqrt[3] - 6 I) u^4 + v^2 (2 I v^3 - (13 I + Sqrt[3]) v^2 - 7 (-3 I + Sqrt[3]) v + 8 Sqrt[3] - 6 I) u^3 - v ((-I + 3 Sqrt[3]) v^3 - 2 (I + 4 Sqrt[3]) v^2 +
   
3.           2 (9 I + 2 Sqrt[3]) v + Sqrt[3] - 11 I) u^2 - ((5 I + Sqrt[3]) v^3 + (-7 I + 3 Sqrt[3]) v^2 - 2 (2 I + 3 Sqrt[3]) v + 2 (I + Sqrt[3])) u + (-I + Sqrt[3]) v^2 - (3 I + Sqrt[3]) v - 2 Sqrt[3] + 2 I))/((-I + Sqrt[3]) ((-I + Sqrt[3]) u v + Sqrt[3] + I) ((I + Sqrt[3]) v^4 u^5 + 2 (-I + Sqrt[3]) (v - 1) v^3 u^4 - 2 I v^2 (2 v^2 - 3 v + 2) u^3 + v (-2 (I + Sqrt[3]) v^3 + (3 I + Sqrt[3]) v^2 - 2 Sqrt[3] v + 2 (I + Sqrt[3])) u^2 + (-(-I + Sqrt[3]) v^4 + 2 Sqrt[3] v^3 + (-I + Sqrt[3]) v^2 + (-3 I + Sqrt[3]) v - Sqrt[3] + I) u - I (2 v^3 + (1 - I Sqrt[3]) v^2 + (-1 - I Sqrt[3]) v - 2)));
   
4. z2 = (2 v^3 (I Sqrt[3] v + v + 2) u^4 + v^2 ((7 - I Sqrt[3]) v^2 + (-3 - 5 I Sqrt[3]) v + 2 I Sqrt[3] - 4) u^3 - I (v - 1) v ((-I + 3 Sqrt[3]) v^2 - 10 I v - 3 Sqrt[3] - I) u^2 + (-2 v^4 + (3 + I Sqrt[3]) v^3 - 6 I Sqrt[3] v^2 + I (9 I + Sqrt[3]) v + 2 I Sqrt[3] + 2) u + (-1 -  I Sqrt[3]) v^3 +
   
5.      I (5 I + Sqrt[3]) v^2 + (2 + 4 I Sqrt[3]) v + 4)/(2 (v^3 (I Sqrt[3] v + v + 2) u^4 + v^2 (2 v - 1) (2 v - I Sqrt[3] + 1) u^3 + v (-I Sqrt[3] v + v - I Sqrt[3] - 1) (2 v^2 - v + 1) u^2 + ((-2 - 2 I Sqrt[3]) v^4 - 6 v^3 +  I (3 I + Sqrt[3]) v^2 + 2 I Sqrt[3] v + 2) u - 2 v^4 +
   
6.        2 I (I + Sqrt[3]) v^3 + (2 + 2 I Sqrt[3]) v^2 + 4 v - I Sqrt[3] + 1));
   
7. Simplify[z1 == z2]

复制代码

上面的程序代码中，复数 z1 和 z2 表达式看上去很不一样，但 MMA 软件判断二者是完全相等的。
现在的问题是，使用什么指令能让 z1 和 z2 的表达式变得完全相同，即人眼看上去是一模一样的？指令越简单越好。

nyy

代码太难看了，哪怕你把mathematica截图下来，至少还好看一些

nyy

试试complexexpand？

creasson