Message Boards Message Boards

Why is this giving me the Root solutions instead of zero?

I have the two following Root functions that I wish to evaluate at the same m value as I believe them to be the same for several reasons, one of which is that I've graphed the functions and it looks like it as well. I've provided a picture of what it looks like in my Notebook as it is a lot easier on the eyes for digesting the problem. The question is, "Is this zero like I think it is, and if so, why can't I seem to get zero as an exact solution?"

enter image description here

 Root[-2 - 
   75 m^2 + (6 - 180 m^2) #1 + (180 - 378 m^2) #1^2 + (756 - 324 m^2) #1^3 + (1134 - 243 m^2) #1^4 + 486 #1^5 &, 1]

Root[-25 m^2 + (1 + 60 m^2) #1 + (12 - 126 m^2) #1^2 + (54 + 108 m^2) #1^3 + (108 - 81 m^2) #1^4 + 81 #1^5 &, 1]

Usually when I think something is the same at a value, I check by either a ReplaceAll (which doesn't work well in this case) or plugging in by hand and using Simplify. The m value that I wish to use is:

Root[32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , 4, 0]

However, when I plug this into one root function minus another using simplify like so:

In[22]:= 
Simplify[Root[-25 Root[
      32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , 4, 
       0]^2 + (1 + 
        60 Root[32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #\
^6 - 220725 #^8 + 151875 #^10& , 4, 0]^2) #1 + (12 - 
        126 Root[
         32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , 4, 0]^2) #1^2 + (54 + 
        108 Root[
         32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , 4, 0]^2) #1^3 + (108 - 
        81 Root[32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #\
^6 - 220725 #^8 + 151875 #^10& , 4, 0]^2) #1^4 + 81 #1^5 &, 1] - 
  Root[-2 - 
     75 Root[32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #\
^6 - 220725 #^8 + 151875 #^10& , 4, 
       0]^2 + (6 - 
        180 Root[
         32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , 4, 0]^2) #1 + (180 - 
        378 Root[
         32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , 4, 0]^2) #1^2 + (756 - 
        324 Root[
         32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , 4, 0]^2) #1^3 + (1134 - 
        243 Root[
         32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , 4, 0]^2) #1^4 + 486 #1^5 &, 1]]

Out[22]= Root[{
  32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , \
(-25) #^2 + #2 + 60 #^2 #2 + 12 #2^2 - 126 #^2 #2^2 + 54 #2^3 + 108 #\
^2 #2^3 + 108 #2^4 - 81 #^2 #2^4 + 81 #2^5& }, {4, 1}] - Root[{
  32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , \
-2 - 75 #^2 + 6 #2 - 180 #^2 #2 + 180 #2^2 - 378 #^2 #2^2 + 756 #\
2^3 - 324 #^2 #2^3 + 1134 #2^4 - 243 #^2 #2^4 + 486 #2^5& }, {4, 1}]

which appears to be zero as seen here:

In[30]:= N[
 Root[{32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , \
(-25) #^2 + #2 + 60 #^2 #2 + 12 #2^2 - 126 #^2 #2^2 + 54 #2^3 + 108 #\
^2 #2^3 + 108 #2^4 - 81 #^2 #2^4 + 81 #2^5& }, {4, 1}] - 
  Root[{32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 220725 #\
^8 + 151875 #^10& , \
-2 - 75 #^2 + 6 #2 - 180 #^2 #2 + 180 #2^2 - 378 #^2 #2^2 + 756 #\
2^3 - 324 #^2 #2^3 + 1134 #2^4 - 243 #^2 #2^4 + 486 #2^5& }, {4, 
   1}], 1000000]

Out[30]= 0.*10^-1000050
POSTED BY: Dustin Gaskins

Both FullSimplify and RootReduce, instead of Simplify, return 0, if that's any help:

FullSimplify[
 Root[-25 Root[
        32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
          220725 #^8 + 151875 #^10 &, 4, 0]^2 + (1 + 
        60 Root[32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
             220725 #^8 + 151875 #^10 &, 4, 0]^2) #1 + (12 - 
        126 Root[
           32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
             220725 #^8 + 151875 #^10 &, 4, 0]^2) #1^2 + (54 + 
        108 Root[
           32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
             220725 #^8 + 151875 #^10 &, 4, 0]^2) #1^3 + (108 - 
        81 Root[32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
             220725 #^8 + 151875 #^10 &, 4, 0]^2) #1^4 + 81 #1^5 &, 
   1] - Root[-2 - 
     75 Root[32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
          220725 #^8 + 151875 #^10 &, 4, 0]^2 + (6 - 
        180 Root[
           32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
             220725 #^8 + 151875 #^10 &, 4, 0]^2) #1 + (180 - 
        378 Root[
           32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
             220725 #^8 + 151875 #^10 &, 4, 0]^2) #1^2 + (756 - 
        324 Root[
           32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
             220725 #^8 + 151875 #^10 &, 4, 0]^2) #1^3 + (1134 - 
        243 Root[
           32768 - 2020986 #^2 - 10826991 #^4 - 2570157 #^6 - 
             220725 #^8 + 151875 #^10 &, 4, 0]^2) #1^4 + 486 #1^5 &, 
   1]]
POSTED BY: Michael Rogers
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract