simplify expressions with radicals - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Expression Manipulation : Simplifying : simplify/radical

simplify/radical - simplify expressions with radicals

Calling Sequence

simplify(expr, radical)

simplify(expr, radical, symbolic)

Parameters

expr

-

any expression

radical

-

literal name; radical

symbolic

-

(optional) literal name; symbolic

Description

• 

The simplify/radical command is used to simplify expressions which contain radicals.  For the case of square roots only, see simplify/sqrt. Additional simplification facilities for expressions containing radicals include the radnormal, rationalize, and combine commands.

• 

The simplify/radical command has three phases.  In the first phase, it tries to simplify each radical individually.  In the second phase, it looks at the set of all the radicals that appear in the expression and tries to eliminate radicals by writing one radical in terms of others.  Finally, the expression as a whole is normalized as a rational expression.

• 

The main simplification applied to individual radicals is

xnymnxmymnifsignumx=1,where0<m<n

  

Example 1: 24132313.

  

Example 2: π2xπx.

  

If sign of x is unknown, the user can force Maple to do this transformation either by using the assume facility, or by specifying the symbolic option. If the sign of x is unknown, and the symbolic option is given, x is assumed real and positive.

• 

The main simplification applied to the set of radicals is to try to write a radical as a constant times another radical.

  

Example 1: Given 30&plus;2, apply 30152.

  

Example 2: Given 2x2&plus;x1, apply 2x22x1.

• 

The main simplification applied during the rationalization of the resulting expression is the following.

  

Given xmn&equals;xq&plus;rn where 0<n<m, write this as xqArd, normalize, and replace the dummy A by x on output.

  

Example:x+13xx+1x+1AxAAx+1.

Examples

e:=2413&comma;2413&comma;2413

e:=241&sol;3&comma;124242&sol;3&comma;241&sol;3

(1)

simplifye&comma;radical

231&sol;3&comma;1632&sol;3&comma;I3&plus;131&sol;3

(2)

e:=613&plus;2513&comma;613&plus;1513

e:=61&sol;3&plus;251&sol;3&comma;61&sol;3&plus;151&sol;3

(3)

simplifye&comma;radical

61&sol;3&plus;52&sol;3&comma;31&sol;321&sol;3&plus;31&sol;351&sol;3

(4)

e:=8b3a13

e:=8b3a1&sol;3

(5)

simplifye&comma;radical

2b3a1&sol;3

(6)

simplifye&comma;radical&comma;symbolic

2ba1&sol;3

(7)

assumeb<0

simplifye&comma;radical

2b~a1&sol;3

(8)

f:=x4&plus;3x3y&plus;3x2y2&plus;xy313

f:=x4&plus;3x3y&plus;3x2y2&plus;xy31&sol;3

(9)

simplifyf&comma;radical

xx&plus;y31&sol;3

(10)

simplifyf&comma;radical&comma;symbolic

x&plus;yx1&sol;3

(11)

f:=2x&plus;213&plus;4x&plus;413&plus;3x313

f:=2x&plus;21&sol;3&plus;4x&plus;41&sol;3&plus;3x31&sol;3

(12)

simplifyf&comma;radical

2x&plus;21&sol;3&plus;21&sol;32x&plus;21&sol;3&plus;3x31&sol;3

(13)

f:=x&plus;143xx&plus;113

f:=x&plus;14&sol;3xx&plus;11&sol;3

(14)

simplifyf&comma;radical

x&plus;11&sol;3

(15)

See Also

assume, combine/radical, radnormal, rationalize, simplify/sqrt


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam