Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2002

[Date Index] [Thread Index] [Author Index]

Search the Archive

RE: FullSimplify doesn't simplify

  • To: mathgroup at
  • Subject: [mg32772] RE: [mg32762] FullSimplify doesn't simplify
  • From: "Florian Jaccard" <jaccardf at>
  • Date: Sat, 9 Feb 2002 05:11:43 -0500 (EST)
  • Sender: owner-wri-mathgroup at

Hello Ken !

Yes, there are cases !

For exemple,  (-1)^(1/2)*(-1)^(1/2)=-1
but ((-1)(-1))^(1/2)=1

It is not a Mathematica problem, but Mathematics !

Remember : (a*b)^n=(a^n)*(b^n)  is always true only if a and b are real
positive numbers.

Indeed, Mathematica knows it :

In[1]:= Simplify[(a*b)^n==a^n*b^n,{a>0,b>0}]

Out[1]= True


Florian Jaccard
e-mail : jaccardf at

-----Message d'origine-----
De : Ken Morgan [mailto:kmorga51 at]
Envoyé : ven., 8. février 2002 09:50
À : mathgroup at
Objet : [mg32762] FullSimplify doesn't simplify

Does anyone know why Mathematica doesn't simplify the following to True?

In[1] := FullSimplify[(x y)^n == (x^n)(y^n)]

Out[1] := (x y)^n == (x^n)(y^n)

Are there cases where this is not true?

Ken Morgan
kmorga51 at

  • Prev by Date: Re: FullSimplify doesn't simplify
  • Next by Date: Re: Diophantic equations
  • Previous by thread: Re: FullSimplify doesn't simplify
  • Next by thread: Re: FullSimplify doesn't simplify