How to group the powers of one variable?

Question

Consider the following expression:

$\sqrt{a x} \sqrt{b x}$

What do I use to make it simplify to:

$\sqrt{ab} x$

I tried actually everything (Simplify, FullSimplify, Collect and so on...) and such expressions remain unchanged.

Thanks in Advance and Regards,

Misery

Ryogi · Accepted Answer · 2012-08-17 07:39:48Z

9

You can try `PowerExpand``

Sqrt[a x] Sqrt[b x] // PowerExpand

Sqrt[a] Sqrt[b] x

answered Aug 17, 2012 at 7:39

Ryogi

1,0766 silver badges17 bronze badges

2

$\begingroup$ This is equivalent to assuming a and b being reals. According to the documentation, PowerExpand always assumes real numbers and integer exponents. $\endgroup$
– Markus Roellig
Commented Aug 17, 2012 at 12:32
$\begingroup$ Thanks a lot for all answers. This is one that fits my needs the most. $\endgroup$
– Misery
Commented Aug 17, 2012 at 18:52

Add a comment |

Vitaliy Kaurov · Accepted Answer · 2012-08-17 07:52:13Z

8

I am answering this up to the letter: (1) combining powers of x, (2) grouping a and b under the same square root.

Simplify[Sqrt[a x] Sqrt[b x], Assumptions -> {a > 0, b > 0}]

Sqrt[a b] x

FullSimplify[Sqrt[a x] Sqrt[b x], Assumptions -> {a > 0, b > 0}]

Sqrt[a b] x

Refine[Sqrt[a x ] Sqrt[b x ], Assumptions -> {a > 0, b > 0}]

Sqrt[a b] x

Refine[Sqrt[a x ] Sqrt[b x ], a > 0 && b > 0]

Sqrt[a b] x

answered Aug 17, 2012 at 7:37

Vitaliy Kaurov

73.4k9 gold badges206 silver badges365 bronze badges

$\begingroup$ It seems that when using Simplify and FullSimplify, we can get the result with setting any 2 of the 3 variables as a nonnegative number, for example, {x >= 0, b > 0} is also available, but I don't know the exact reason… $\endgroup$
– xzczd ♦
Commented Aug 17, 2012 at 7:54
$\begingroup$ @xzczd My guess is, in your case, a is left alone and b brought under Sqrt[a] as positive number. $\endgroup$
– Vitaliy Kaurov
Commented Aug 17, 2012 at 8:00
$\begingroup$ Just now, I accidentally found that if b is a certain positive number, Simplify , FullSimplify and Refine won't work 囧: b = 2; Simplify[Sqrt[a x] Sqrt[b x], x > 0 && a > 0], the result is: Sqrt[2] Sqrt[a] x $\endgroup$
– xzczd ♦
Commented Aug 17, 2012 at 8:13
1

$\begingroup$ @xzczd: That's because Mathematica pulls the factor out during normal evaluation: Sqrt[2 a] evaluates to Sqrt[2] Sqrt[a]. Thus even if Simplify should combine them, you'll never see that because subsequent evaluation will undo it. $\endgroup$
– celtschk
Commented Aug 17, 2012 at 10:44
$\begingroup$ @celtschk then, what if I want to get Sqrt[2 a] x? $\endgroup$
– xzczd ♦
Commented Aug 17, 2012 at 11:39

| Show 1 more comment

2 Answers 2