[Date Index] [Thread Index] [Author Index]
Re: Radicals simplify
On 1/11/10 at 6:52 PM, fracix at hotmail.com (francix) wrote: >Thank you all for your answer. >I understand your explanations, but I have the impression that in >this case Mathematica uses numbers in a different way from letters. >If I do Simplify[2 Sqrt + 4 Sqrt] I get >6 Sqrt You needn't use Simplify to get this result since, In:= 2 Sqrt + 4 Sqrt Out= 6*Sqrt >or >Simplify[5 Sqrt + 6 Sqrt] I get >43 Sqrt In this case too, In:= 5 Sqrt + 6 Sqrt Out= 43*Sqrt Once you provide exact values Mathematica simply evaluates the expression and Simplify has nothing to do. The difference is with a variable which does not yet have an assigned value, Mathematica cannot evaluate the expression to a specific result. In that case, Simplify does have something to do but does it according to the LeafCount for the expression. That is, there are not separate rules for numbers and variables. Mathematica always attempts to evaluate any expression. If that expression consists of algebraic operations on numbers, the result of the evaluation will be what you are looking for. But the evaluator cannot do the same for variables that do not have assigned values. >Simplify[5 Sqrt[x^3] + 6 x Sqrt[x], x >= 0] I get >11 x^(3/2) instead of 11 x Sqrt[x] Here In:= LeafCount[11 x^(3/2)] Out= 7 In:= LeafCount[11 x Sqrt[x]] Out= 7 That is from Mathematica's perspective each of these is equally simple. Although not explicitly stated in the documentation as far as I know, I believe Simplify only returns the expression modified when it can find a form with a smaller leaf count value. >As you know the last one is the result normally found in Algebra books. >So, there is no solution? If your goal is to obtain the same expression you see in a text, that often cannot be achieved easily using default behavior of Mathematica. In order for Mathematica to do things like Simplify, it needs to have a formal definition of what a simpler expression is and that likely involves writing the expression in some canonical way which may not be the same as what is shown in texts. You can usually manipulate expression to be the same as what you see in texts, but this often means a fairly solid understanding of how Mathematic works and using things like HoldForm to prevent Mathematica from doing further evaluation once an expression is in the desired form.