Loading [MathJax]/jax/output/HTML-CSS/jax.js
Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 4 years ago

dsejas gravatar image

Hello, @curios_mind!

I think you found an interesting problem. My appreciation is that a=5/8 is the correct answer (up to complex representation). Let me explain...

Observe the numerator of your expression f can be written as 32(12i32)=32(cos(π/3)isin(π/3)) which is nothing more than one of the possible solutions of the equation x3=2, or alternatively, this is one of the possible values of 32 in the complex plain.

Now, consider the denominator for a=5/8: (2(58)1)1/3=314=3122

So, what f is for a=5/8 turns out to be 323122=32322=323=2 So the original equation is satisfied.

If you want to be more formal, 323122=3234=32(cos(π/3)isin(π/3))34(cos(π/3)+isin(π/3))=38(cos2(π/3)+sin2(π/3))=38=2

Of course, as you can see, this depends on you choosing the correct representation of complex numbers like 34. If you choose wrongly, for example, 34=34(cos(π/3)isin(π/3)), you won't get the answer, but other possible value for f in the complex plain. That is what happened when you subs a=5/8: Sage didn't choose the correct complex representations of some cube roots.

In summary, the problem is that you have a complex equation with ambiguous numbers like cube roots. Sage and Maxima did what they could, which is to give you a correct answer, up to complex representation. In this case, it is up to you to decide if this is what you wanted or not. If this is not the solution you expected, or you want an alternative solution, I recommend you to rewrite the cube roots explicitly as one of their possible complex number values.

I hope this helps!