home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.math.symbolic      Symbolic algebra discussion      10,432 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 8,514 of 10,432   
   Nasser M. Abbasi to All   
   when is sqrt(a/b) not the same as sqrt(a   
   01 Mar 14 15:19:52   
   
   From: nma@12000.org   
      
   was looking at a thread in Maple group. I was surprised that   
   Maple does not consider   
      
   Sqrt[1/Sin[a]] the same as  1/Sqrt[Sin[a]]] for all a.   
      
   I have always thought that sqrt(a/b) and sqrt(a)/sqrt(b) are   
   exactly the same (but I am an engineering student, so   
   may be I am missing something mathematically advanced here :)   
      
   Mathematica simplifies this to zero with no assumptions:   
      
   Simplify[Sqrt[1/Sin[a]] - 1/Sqrt[Sin[a]]]   
   (*  0  *)   
      
   Maxima:   
      
   (%i6) fullratsimp( sqrt(1/sin(a)) - sqrt(1)/sqrt(sin(a)));   
   (%o6)                                  0   
      
   While Maple will not   
      
   simplify(sqrt(1/sin(alpha))-1/sqrt(sin(alpha)));   
      
   The above returns unevaluated.  But when telling Maple   
   to assume  sin(alpha)>0 (thanks to the hint on the Maple group)   
   only then it returns zero:   
      
   simplify(sqrt(1/sin(alpha))-1/sqrt(sin(alpha))) assuming sin(alpha)>0;   
   (* 0 *)   
      
   Is Mathematica and Maxima wrong here? or is Maple wrong?   
      
   or in general, when is  sqrt(a/b) not the same as sqrt(a)/sqrt(b)   
   from computer algebra point of view?   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca