Down7/19/2024Mainhttp:/blog.163.com/sdssxwfdMathematicaMathematica基本符号运算基本符号运算n化简化简n因式分解因式分解n解方程解方程n解不等式解不等式7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd化简化简n化简计算结果化简计算结果n在在Mathematica中，符号运算的结果经常是没有化简的，中，符号运算的结果经常是没有化简的，与人工计算的答案不同。但是与人工计算的答案不同。但是Mathematica提供了很强的提供了很强的化简功能，能自动或在人工参与下将结果化简，最终得到化简功能，能自动或在人工参与下将结果化简，最终得到形式满意的答案。形式满意的答案。n常用的化简函数有两个常用的化简函数有两个: nSimplifyexpr 使用变换化简表达式。使用变换化简表达式。nFullSimplifyexpr使用更广泛的变换化简表达式。使用更广泛的变换化简表达式。n如果使用前一个函数不满意，再使用后一个函数。如果使用前一个函数不满意，再使用后一个函数。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd例例nSimplifyCosx2+Sinx2nSimplifyCosx2+2SinxCosx+Sinx2nFullSimplifyCosx2+2SinxCosx+Sinx2nSimplify nSimplify ,a0说明说明:从例中可以看到这两个函数的差异，后一个功能更强。从例中可以看到这两个函数的差异，后一个功能更强。从从Out 4看到根式没有化简，因看到根式没有化简，因Mathematics不知道不知道a是什是什么类型的数，不化简反倒是正确的。从么类型的数，不化简反倒是正确的。从In 5中可以看出，中可以看出，这两个函数允许加上含有条件的第二个可选参数，使化简这两个函数允许加上含有条件的第二个可选参数，使化简得以进行。得以进行。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd带有条件的化简带有条件的化简n化简函数允许带有条件，条件可以是等式或不等式，还可以使用下面的表达式指明数的取值范围。nxdom 或Elementx,domndom 只能取下列集合之一nIntegers 整数集合。nRationals 有理数集合。nReals 实数集合。nComplexes 复数集合nPrimes 素数集合。nAlgebraics 代数数集合。nBooleans True或False .注意注意:以上集合都按常规的定义，以上集合都按常规的定义，但是也有例外如小数不算作有理但是也有例外如小数不算作有理数数.7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd测试实例测试实例: :7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd带条件的化简带条件的化简n化简特殊函数化简特殊函数7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd常用的因式分解函数常用的因式分解函数n因式分解因式分解nFactorexpr 用于和式的因式分解，也可以分解分式用于和式的因式分解，也可以分解分式的分子、分母还可以先通分再分解的分子、分母还可以先通分再分解)。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd合并同类项合并同类项n合并同类项的函数是合并同类项的函数是CollectnCollectexpr, x 将表达式将表达式expr中的中的x的同次幂合并。的同次幂合并。nCollectexpr,x,y,. v将表达式将表达式expr按按x,y,的同次幕的同次幕合并。合并。注意注意:上例中表明，当第上例中表明，当第2个参数有多个变量时，答案与个参数有多个变量时，答案与第第2个参数中变量的次序有关。个参数中变量的次序有关。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd表达式的展开表达式的展开n将表达式展开的函数有将表达式展开的函数有:nExpandexprnExpandAllexprn这两个函数都可用于乘积的展开，也可以展开分式。后这两个函数都可用于乘积的展开，也可以展开分式。后者展开得更为彻底，前者展开分式时只展开分子，而后者展开得更为彻底，前者展开分式时只展开分子，而后者将分子、分母都进行展开。者将分子、分母都进行展开。还有两个特殊的展开函数还有两个特殊的展开函数:ExpandNumeratorexpr 只展开分式的分子。只展开分式的分子。ExpandDenominatorexpr 只展开分式的分母只展开分式的分母7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd分式的化简与展开分式的化简与展开n下列函数分别用于有理式的合并、化简与展开下列函数分别用于有理式的合并、化简与展开:nTogetherexpr 用于通分，把所有的项放在同一个分用于通分，把所有的项放在同一个分母上并化简母上并化简nCancelexpr 用于约去分子、分母的公因式。用于约去分子、分母的公因式。nApartexpr 将有理式分解为最简分式的和。将有理式分解为最简分式的和。说明说明:由上例可以看出，这由上例可以看出，这三个函数对于同一个分式的三个函数对于同一个分式的作用效果不同。函数作用效果不同。函数Apart通常用于求有理式的积分，通常用于求有理式的积分，它的第二个可选参数表明谁它的第二个可选参数表明谁是变量，在上例是变量，在上例In 5中的中的a，b则作为常数。则作为常数。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd输出的缩减形式输出的缩减形式n 有时输出结果很长，并不需要了解其中的细节，只需知道它有时输出结果很长，并不需要了解其中的细节，只需知道它的结构，这时可以使用函数的结构，这时可以使用函数Short简化结果的输出形式简化结果的输出形式;nShortexpr 将输出结果缩略成一行显示。将输出结果缩略成一行显示。nShortexpr,n 将输出结果缩略成将输出结果缩略成n行显示。行显示。说明说明:Out1/Short中中表示省略了表示省略了41项。指定项。指定行数行数n后，有时实际显示会少于后，有时实际显示会少于n行。上例第行。上例第3句的函句的函数数Length用于求表达式的项数。用于求表达式的项数。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd三角函数式的化简三角函数式的化简n三角函数专用的分解、展开、化简函数三角函数专用的分解、展开、化简函数nTrigExpandexpr 将三角函数式展开。将三角函数式展开。nTrigFactorexpr 将三角函数式因式分解。将三角函数式因式分解。nTrigReduceexpr 用倍角化简三角函数式。用倍角化简三角函数式。nTrigToExpexpr 将三角函数式转换成指数形。将三角函数式转换成指数形。nExpToTrigexpr 前一个函数的逆变换。前一个函数的逆变换。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfdn注意注意:从实际常用的倍角公式知道，从实际常用的倍角公式知道，In1的答案应该有的答案应该有3种、但种、但Out1只能给出一种，因此使用机器化简远不只能给出一种，因此使用机器化简远不如人灵活，有时还需要人机结合。如人灵活，有时还需要人机结合。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfdnMathematica在求不定积分时，答案常出现双曲函数，在求不定积分时，答案常出现双曲函数，不符合人工解题习惯，可以使用不符合人工解题习惯，可以使用TrigToExp转换转换7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd多项式的运算多项式的运算n两个多项式的四则运算使用通常的两个多项式的四则运算使用通常的+，-，*, / 运算符，其运算符，其中乘号可以用空格代替中乘号可以用空格代替注意注意:可以看到，乘法和除法其实什么也没做，需可以看到，乘法和除法其实什么也没做，需要用前面介绍的化简函数将结果再化简要用前面介绍的化简函数将结果再化简。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfdn介绍四个常用函数介绍四个常用函数:nPolynomialQuotientpl, p2,x 求求x的多项式的多项式p1被被p2除的商。除的商。nPolynomialRemainderpl, p2,x 求求x的多项式的多项式p1被被p2除的余。除的余。nPolynomialGCDp1,p2, 求多个多项式的最大公因式。求多个多项式的最大公因式。nPolynomialLCMpl,p2, 求多个多项式的最小公倍式。求多个多项式的最小公倍式。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd解方程解方程n解符号方程解符号方程(组组)n在在Mathematica中中“=”号用于给变量赋值，而方程中的等号使用号用于给变量赋值，而方程中的等号使用符号符号“=”(即两个等号即两个等号)表示。方程组用花括号括起来，各个方表示。方程组用花括号括起来，各个方程用逗号分隔。所有未知量也用花括号括起来，未知量之间用程用逗号分隔。所有未知量也用花括号括起来，未知量之间用逗号分隔。单个方程和未知量不必使用花括号。以下用逗号分隔。单个方程和未知量不必使用花括号。以下用eqns表表示方程组，用示方程组，用vars表示未知量组。表示未知量组。n下列函数用于解符号方程下列函数用于解符号方程(组组):nSolveeqns,vars 对系数按常规约定求出方程对系数按常规约定求出方程(组组)的全部解。的全部解。nReduceeqns,vars 讨论系数出现的各种可能情况，分别求解。讨论系数出现的各种可能情况，分别求解。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfdn说明说明:上例首先用这两个解方程的函数解同一个方程，上例首先用这两个解方程的函数解同一个方程，Solve不考虑，不考虑，a=0的情况，而的情况，而Reduce则进行讨论。则进行讨论。n然后再用它们解同一个方程组，然后再用它们解同一个方程组，Solve给出的答案遵循通给出的答案遵循通常的常的“系数行列式不等于系数行列式不等于0”的约定，而的约定，而Reduce给出的答给出的答案就令人厌烦了，因此解符号方程案就令人厌烦了，因此解符号方程(组组)时主要使用时主要使用Solve.n应当指出它们不仅能解一般的代数方程，还可以解一些应当指出它们不仅能解一般的代数方程，还可以解一些无理方程、三角函数方程和含有指数、对数的方程等无理方程、三角函数方程和含有指数、对数的方程等(但但是在解超越方程时，是在解超越方程时，Mathematics有时会提示答案不是有时会提示答案不是全部解全部解)。n如果在方程的系数中使用小数，则改为求近似解。如果在方程的系数中使用小数，则改为求近似解。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd说明说明:其中例其中例2无解，则输出一个空括号。无解，则输出一个空括号。Mathematica的解集输出优于的解集输出优于MATLAB的同类函数的输出，有几个的同类函数的输出，有几个解、各个未知量的值都一目了然。解、各个未知量的值都一目了然。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd解集的再处理解集的再处理n解集的表达式也有不方便之处，如何提取解的值供后解集的表达式也有不方便之处，如何提取解的值供后面引用呢面引用呢?下例给出一种实用的方法下例给出一种实用的方法:提示提示:用以上方法可以将全部解的值存入一个表，后面用以上方法可以将全部解的值存入一个表，后面需要时可以用提取表的元素的方法随意引用。需要时可以用提取表的元素的方法随意引用。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfdn下例是解集输出的另一个不便之处及其解决办法下例是解集输出的另一个不便之处及其解决办法:用键入用键入“: ”得到得到。下划线下划线说明说明:这里复数解的标准输出不符合习惯，按照上例中的方这里复数解的标准输出不符合习惯，按照上例中的方法使用复数展开函数就可以解决法使用复数展开函数就可以解决求近似解求近似解很多方程是根本不能求出准确解的，前面介绍的那些函数很多方程是根本不能求出准确解的，前面介绍的那些函数也无能为力。下列函数专门用于求方程也无能为力。下列函数专门用于求方程(组组)的数值解，其的数值解，其调用格式如下调用格式如下:7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfdnNSolveeqns,vars 求代数方程求代数方程(组组)的全部数值解。的全部数值解。nFindRooteqns,x,x0,y,y0, 从从(x0，y0,，)出发找出发找方程方程(组组)的一个解。的一个解。注意注意:上例中上例中In1说明，如果方程中出现小数，则说明，如果方程中出现小数，则Solve也也求近似解求近似解. 还有求多项式根的函数还有求多项式根的函数Roots，通常可用，通常可用Solve代替，这里就不介绍了。代替，这里就不介绍了。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd消去某些变量消去某些变量nEliminateeqns,elims 从一组等式中消去变量从一组等式中消去变量(组组)elims. 注意注意:上例中上例中In3表明，表明，Solveeqns,Vars，elims的功能是消的功能是消去去y,z，求出，求出x的值。同样，函数的值。同样，函数Reduce也有此功能也有此功能.7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd解不等式解不等式nMathematica没有解不等式的内部函数，但是它自带的外部没有解不等式的内部函数，但是它自带的外部函数有此功能，必须将含有此函数的程序文件调入后才能函数有此功能，必须将含有此函数的程序文件调入后才能使用，文件位于使用，文件位于Mathematica的标准扩展程序包集中。的标准扩展程序包集中。n 标准扩展程序包集是标准扩展程序包集是Mathematica的一个子目录的一个子目录StandardPackages.它的子目录本书称为程序包子集。程序它的子目录本书称为程序包子集。程序包子集按数学学科分类，如包子集按数学学科分类，如Algebra,Calculus等。每个程序等。每个程序包子集中有多个文件，文件扩展名为包子集中有多个文件，文件扩展名为m。每个文件中有一个。每个文件中有一个或多个外部函数，将这类文件称为程序包或多个外部函数，将这类文件称为程序包(文件文件)。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd调入方法是键入调入方法是键入: :n程序包子集名程序包子集名文件名文件名(文件名不必带扩展名文件名不必带扩展名)n也可以调入整个程序包子集也可以调入整个程序包子集:n程序包子集名程序包子集名n 当当Mathernatica启动时自动装入程序包的方法，将留启动时自动装入程序包的方法，将留在本书第在本书第6章介绍。标推扩展程序包集及其所含程序文章介绍。标推扩展程序包集及其所含程序文件名称可查看件名称可查看Help，如图所示。，如图所示。下图中显示，在标准程序包集的代数程序包子集中，下图中显示，在标准程序包集的代数程序包子集中，有解不等式的程序文件。图中一行最大的黑体字就是有解不等式的程序文件。图中一行最大的黑体字就是:程序包子集名程序包子集名文件名文件名.以下将该文件调入，并使用其以下将该文件调入，并使用其中的函数。中的函数。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd调入并使用外部函数调入并使用外部函数n首先调入首先调入Algebra程序包子集中的程序包子集中的InequalitySolve.m文件文件nInequalitySolve不等式不等式(或等式或等式)组，变量组组，变量组 用于解不等用于解不等式式(或等式或等式)组。组。n 将该函数调入后，如同内部函数一样使用。这个函数功将该函数调入后，如同内部函数一样使用。这个函数功能强大，在表达式中允许使用各种不等号和等号。注意能强大，在表达式中允许使用各种不等号和等号。注意不等式组和变量组的表示方法。不等式组和变量组的表示方法。7/19/2024DownUpMainhttp:/blog.163.com/sdssxwfd部分资料从网络收集整理而来，供大家参考，感谢您的关注！