4
$\begingroup$

I have the following expressions and I would like to obtain a final result purely in the real domain.

Refine[Sqrt[-1] / Sqrt[a^3], Assumptions -> a<0]

Refine[Sqrt[-1] / a^(3/2), Assumptions -> a<0]

The first expression is simplified to

1 / (-a)^(3/2)

while the second one is kept as

i / a^(3/2)

How can I force the first simplification?

$\endgroup$

1 Answer 1

5
$\begingroup$

One way might be

expr = Sqrt[-1]/a^(3/2);
Assuming[a < 0, Simplify[ComplexExpand[expr]]]

Mathematica graphics

PowerExpand[%]

Mathematica graphics

Btw, you will not get the same exact expressions in both cases you showed.

This is because $\sqrt{a^3} = a^{3/2}$ only for $a\geq 0$ and you said that $a<0$.

ClearAll[a]
Reduce[ Sqrt[a^3] == a^(3/2) && Element[a, Reals]]

Mathematica graphics

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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