1、符号数学运算,Mathematica的最大优点就是能够进行各种复杂的数学符号计算，下面我们分类介绍它的符号计算功能。,、代数多项式运算多项式是代数学中最基本的表达式，下面分类给出关于它的各种数学运算。 基本运算 Expandpoly 将多项式poly展开为乘积与乘幂 Expandpoly,expr 只展开poly中与expr相匹配的项 Factorpoly 对多项式poly进行因式分解 FactorTermspoly 提取多项式poly中的数字公因子 Collectpoly,x 以x为变量，按相同的幂次排列多项式poly Collectpoly,x,y, 同上，但以x,y为变量 PowerEx
2、andexpr 将expr中的(x y)p变为xp*yp，(xp)q变为x(p*q),请见下面的例子,多项式的结构 Lengthpoly 列出多项式所含的项数 Exponentexpr,form 给出expr中关于form的最高幂次 Coefficientexpr,form 给出expr中关于form的系数 Coefficientpoly,form 以form为变量，将poly前面的 系数按幂次由小到大顺序用集合形式列出,下面是计算实例,多项式的四则运算 PolynomialQuotientpoly1,poly2,x 求poly1除以poly2的商,其中poly1与poly2均以x为变量，其结
3、果舍去余式 PolynomialRemainderpoly1,poly2,x 求poly1/poly2的余式 PolynomialGCDpoly1,poly2 求poly1与poly2的最大公因式 PolynomialLCMpoly1,poly2 求poly1与poly2的最小公倍式 FactorTermspoly 提取poly中所有项的公因子 FactorTermspoly,x 以x为变量，提取公因子 FactorListpoly 以集合形式给出poly的公因子 InterpolatingPolynomialx1,y1,x2,y2,x 求通过数据点(x1,y1),(x2,y2),且以x为变量
4、的拉格朗日插值多项式,下面是关于多项式四则运算的例子,有理多项式运算 Numeratorexpr 给出表达式expr的分子部分 ExpandNumeratorexpr 只将表达式expr中的分子部分展开 Denominatorexpr 给出表达式expr的分母部分 ExpandDenominatorexpr 只将表达式expr中的分母部分展开 Expandexpr 只展开表达式expr的分子，并将分母分成单项 ExpandAllexpr 同时展开表达式expr的分子与分母 Togetherexpr 将多个有理分式进行通分运算 Apartexpr 将有理分式expr分解为一系列最简分式的和 Ca
5、ncelexpr 约去有理分式expr分子与分母的公因子 Factorexpr 对expr进行因式分解 下面是有关有理多项式运算的例子。,表达式的化简 Simplifyexpr 化简expr，使其结果的表达式最短 FullSimplifyexpr 同上，但将结果表达式中的所有函数展开 Simplifyexpr,assum根据假设assum 化简expr，使其结果的表达式最短 FullSimplifyexpr根据假设assum 化简expr，但将结果表达式中的所有函数展开对于化简表达式，上面的两个命令差不多，但大部分情况下，我们更愿意用FulSimplify，通过下面的例子，你可以看出它确实比S
6、implify好一点。另外,assum是一个逻辑表达式,例如x0, y1,或者是对表达式中元素的范围界定,例如Elementx,Reals等等,、三角函数运算虽然Simplify及FullSimplify命令也能对三角函数表达式进行化简，但功能有限，在大部分情况下，我们对三角函数就使用以下命令。 TrigExpandexpr 展开倍角及和差形式的三角函数 TrigFactorexpr 用倍角及和差形式表示三角函数 TrigFactorListexpr 给出每个因式及其指数的列表 TrigReduceexpr 用倍角化简expr，使其结果的表达式最短 TrigToExpexpr 使用欧拉公式将三
7、角表达式化成复指数形式 ExpToTrigexpr 将复指数形式的表达式化成三角函数形式表达式 下面是三角函数运算的例子。,、复数运算Mathematica中的复数运算与其它数学运算没有什么区别，下面是有关复数运算的数学函数，其中I为系统内部变量，表示复数虚部。 x+Iy,Rez,Imz,Absz,Conjugatez,Argz以上分别为复数,实部，虚部，模，共轭复数，辐角主值 ComplexExpandexpr展开expr,并假设expr中所有变量都是实数 ComplexExpandexpr,x1,x2,展开expr, 假设x1,x2为复数 Mathematica的大部分内部函数，都是基于复
8、数的，比如三角函数、指数与对数函数、贝塞尔函数等。,、方程求解 Solvelhs=rhs,x 求出x的解 Solvelhs1=rhs1,lhs2=rhs2,x,y, 求联立方程组x,y,的解 Reducelhs1=rhs1,lhs2=rhs2,x,y, 同上，但给出方程组所有可能的解，包括平凡解 Eliminatelhs1=rhs1,lhs2=rhs2,x,y, 消去方程组中的变量x,y, expr/.solution 将解solution应用于表达式expr Solve是求解方程或方程组的非平凡解的一个最简单的公式，下面是几个这方面的例子。,但是，Solve只能求出方程或方程组的理论解，下面
9、的两例子中，第一个例子是能够求出理论解的，但若Mathematica都显示出来，可能要占据整个屏幕，此时我们只有利用/N或N命令从理论解计算它的数值解；对于第二个例子，根本没有理论解，因此Solve命令也求不出来的理论解，只能用下节的FindRoot命令求它的数值解。,Reduce与Solve的区别是:Reduce还能给出平凡解，而Solve则只能给出非平凡解。,Eliminate的作用是：从方程组中消去若干个变量以简化方程组。,、线性代数运算 Mathematica能够进行各种线性代数运算，其具体命令见上一节的第8页，这里我们只给出一些实际的例子。 Mathematica中的向量，没有行向量
10、与列向量之分，在处理有关向量运算时，你一定要注意此点，请见下面的例子。,Mathematica能够进行与矩阵有关的各种运算，求方阵的行列式、矩阵的四则运算、求逆矩阵、解线性方程组、求矩阵的特征值与特征向量等(下面的例子续接上面的计算)。,6、微积分运算 极限运算Limitexpr,x-x0 求当xx0时，表达式expr的极限Limitexpr,x-x0,Direction-1 同上，但求左极限Limitexpr,x-x0,Direction-1 同上，但求右极限 另外，在Mathematica安装目录：AndOnesStandardPackagesCalculus子目录下，有一个软件包Limi
11、t.m，它对极限命令Limit进行了各种扩展，使适用计算的函数更广。在计算极限前，最好先装入此软件包。,读入常用数学软件包的另一种方法如下： 在Mathematica安装目录的AndOnesStandardPackages下，附加了许多在Mathematica启动时没有装入到系统内部的数学软件包，它们的磁盘上的扩展名为“.m”，对每个软件包，都可以通过任何一个文本编辑软件如Notebook、NotePad、Word等打开它，研究它的用法，并通过“软件包目录名 该目录下的文件名 ”装入此软件包，下面是软件包的清单：Algebra(代数软件包)、LinearAlgebra(线性代数软件包)、Sta
12、tistics(统计软件包)、Culculus(微积分软件包)、DiscreteMath(离散数学软件包)、NumberTheory(数论软件包)、Geometry(几何软件包)、Graphics(图形处理软件包)、NumericalMath(数值分析软件包)。另外，在每个软件包目录下，都有一个文件“Master.m”，如果将此软件包装入，就装入了该目录下的所有软件包。比如装入所有微积分运算方面的软件包，可使用,导数运算,下面是有关导数方面的一些数学运算：,积分运算,下面是积分方面的运算,级数运算,下面是计算实例,微分方程的理论解,DSolveeqn,yx,x求解微分方程eqn，其中y为x的函数 DSolveeqn,initial conditions,yx,x求解含有初始 条件的微分方程 DSolveeqn1,eqn2,y1t,y2t,t求解微分方程组其中y1t,y2t,为函数，t为自变量在输入要求解的微分方程时，如果y为函数，x为自变量，则我们一般用yx表示函数本身，yx表示函数的一阶导数，yx表示二阶导数，yx表示三阶，依此类推。当然，你也可用Dyx,x,n的形式来输入函数的导数。在Mathematica所给出的微分方程的解中，用C1,C2,C3,表示任意常数。,
