2
$\begingroup$

I want to solve a simple equation

$Assumptions = 0 < v < 1 && x ∈ Reals && v ∈ Reals;
eqn1 = v == 1 - (1 - x)^(3/2)
sol = Solve[eqn1, {x},Reals]

enter image description here

But if I do a few more steps by hand

eqn2 = (1 - v)^(2/3) == ((1 - x)^(3/2))^(2/3) // PowerExpand
mySol = Solve[eqn2, {x}]

enter image description here

Did I miss some assumptions or something else? The assumtions from above don't seem to affect Solve, only the domain parameter.

I know that this is not a proof!

Plot[{x /. mySol, x /. sol}, {v, 0, 1}, PlotStyle -> {Line, Dashed}]

enter image description here

| improve this question | |
$\endgroup$
  • $\begingroup$ What are your assumptions on v? Mathematica assumes every variable is complex unless told otherwise. $\endgroup$ – J. M.'s technical difficulties♦ Jan 20 '17 at 15:42
  • 1
    $\begingroup$ What about this Solve[eqn1, x, Reals] // ToRadicals // First ? $\endgroup$ – zhk Jan 20 '17 at 16:10
4
$\begingroup$

It seems that you just want to avoid the complex roots, so,

eqn1 = v == 1 - (1 - x)^(3/2)
sol = Solve[eqn1, x, Reals] // ToRadicals // First // Simplify // 
PowerExpand // Simplify

enter image description here

Normal[sol]

enter image description here

| improve this answer | |
$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.