MathGroup Archive 2005

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

Search the Archive

Re: Convincing Mathematica that Sqrt[a+b]Sqrt[a-b]==Sqrt[a^2+b^2]


Steven T. Hatton wrote:

>Is there a way to convince Mathematica to multiply Sqrt[a+b]Sqrt[a-b] to
>produce Sqrt[a^2+b^2]?  
>  
>
You mean
Sqrt[a^2-b^2] not Sqrt[a^2+b^2]
To show the latter is beyond my capabilities :-)

After trying to convince mathematica for about 15 minutes, I decided to 
take matters in to my own hands

powexp = Sqrt[x__]*Sqrt[y__] -> Sqrt[x*y]
Sqrt[a-b]*Sqrt[a+b]/.powexp//Simplify
 >>Sqrt[a^2-b^2]

This is ofcourse assuming that a and b are real, which is why 
Mathematica is reluctant to carry out the expansion in the first place


Hope this helps

Pratik

-- 
Pratik Desai 

...Moderation, as well as Regularity of Thinking, so much to be wished for in the Heads of those who imagine they come into the World only to watch and govern it?s Motion
Gulliver's Travels
by Jonathan Swift




  • Prev by Date: Re: Convincing Mathematica that Sqrt[a+b]Sqrt[a-b]==Sqrt[a^2-b^2]
  • Next by Date: Re: "Alternating" function
  • Previous by thread: Re: Convincing Mathematica that Sqrt[a+b]Sqrt[a-b]==Sqrt[a^2-b^2]
  • Next by thread: Re: Convincing Mathematica that Sqrt[a+b]Sqrt[a-b]==Sqrt[a^2+b^2]