|
|
PossibleZeroQ[Abs[
Root[{-1 + 35 #^2& , 1 + #2^2& ,
13646161144776014205039 - 132726401691327480516480 # #\
2 - 2131275673918902551040 #3 + 16383042361153154625120 # #2 #\
3 + 823655706307304922240 #3^2 - 1503663306344003481600 # #2 #\
3^2 - 60384147812724736000 #3^3 - 116891808509753804800 # #2 #\
3^3 + 7905798781291622400 #3^4 + 21207615409913856000 # #2 #3^4& }, {
2, 2, 1}]] - Abs[
Root[{-1 + 35 #^2& , 1 + #2^2& ,
13646161144776014205039 - 132726401691327480516480 # #\
2 - 2131275673918902551040 #3 + 16383042361153154625120 # #2 #\
3 + 823655706307304922240 #3^2 - 1503663306344003481600 # #2 #\
3^2 - 60384147812724736000 #3^3 - 116891808509753804800 # #2 #\
3^3 + 7905798781291622400 #3^4 + 21207615409913856000 # #2 #3^4& }, {
2, 2, 2}]]]
返回True
但是,这只是数值上的验证.能否严格证明...
我用FullSimplify,SameQ都不行 |
|
