代數(shù)運(yùn)算和方程求解

1、代數(shù)運(yùn)算和方程求解第1頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日內(nèi)容提要代數(shù)運(yùn)算方程求解第2頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日4.1 代數(shù)運(yùn)算4.1.1 多項(xiàng)式的結(jié)構(gòu)運(yùn)算名稱意義ExpandpolyFactorpolyFactorTermspolyFactorTermspoly,x,yCollectpoly,xCollectpoly,x,y按冪次展開多項(xiàng)式poly對(duì)多項(xiàng)式poly進(jìn)行因式分解提取全部數(shù)字因子提取全部不依賴于x和y的因子把多項(xiàng)式按x次冪展開把多項(xiàng)式按x,y次冪展開多項(xiàng)式的結(jié)構(gòu)操作函數(shù)控制多項(xiàng)式輸出的函數(shù)名稱意義Expandpoly,patt

2、PowerExpandexprCollectpoly,pattCollectexpr,var,h將多項(xiàng)式表示成各項(xiàng)與patt匹配形式將(xy)n分解成xnyn的形式按與patt匹配的方式排列多項(xiàng)式將h應(yīng)用與每一項(xiàng)中第3頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日4.1.2 求多項(xiàng)式的結(jié)構(gòu)名稱意義PolynomialQexpr,xPolynomialQexpr,x1,x2,VariablespolyLengthpolyExprn或Partexpr,nExponentpoly,xCoefficientpoly,exprCoefficientpoly,expr,nCoefficient

3、poly,expr,0CoefficientListpoly, ,x1,x2,判斷表達(dá)式expr是否是關(guān)于x的多項(xiàng)式判斷表達(dá)式expr是否是關(guān)于xi的多項(xiàng)式列出多項(xiàng)式poly的所有變量給出多項(xiàng)式poly的項(xiàng)數(shù)提取多項(xiàng)式expr的第n項(xiàng)多項(xiàng)式poly中x的最高指數(shù)多項(xiàng)式poly中expr的系數(shù)多項(xiàng)式poly中exprn的系數(shù)多項(xiàng)式poly中expr0的系數(shù)，即不含expr生成一個(gè)由多項(xiàng)式poly中xi的系數(shù)組成的表求多項(xiàng)式結(jié)構(gòu)的函數(shù) 函數(shù)Polynomial判斷表達(dá)式expr是否為關(guān)于x的多項(xiàng)式，即使表達(dá)式中沒有x，函數(shù)返回值也是True函數(shù)Length和Part只能在展開后的多項(xiàng)式中使用第4頁(yè)

4、，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日4.1.3 有理多項(xiàng)式的運(yùn)算名稱意義ExpandNumeratorexprExpandDenominatorexprExpand exprExpandAllexprExpandAllexpr,patt僅展開多項(xiàng)式的分子僅展開多項(xiàng)式的分母僅展開分子、把分母當(dāng)成單項(xiàng)把分母和分子完全展開只展開與patt匹配的項(xiàng)有理多項(xiàng)式的展開函數(shù)有理式化簡(jiǎn)函數(shù)名稱意義TogetherexprApartexprCancelexprFactorexpr合并具有相同分母的項(xiàng)把表達(dá)式分解成簡(jiǎn)單分母項(xiàng)和的形式約去分子和分母的公因式因式分解第5頁(yè)，共14頁(yè)，2022年，5

5、月20日，13點(diǎn)33分，星期日4.1.4 多項(xiàng)式的代數(shù)運(yùn)算名稱意義PolynomialQuotientpoly1,poly2,xPolynomialRemaindepoly1,poly2,xPolynomialGCDpoly1,poly2PolynomialLCMpoly1,poly21PolynomialModpoly,mPolynomialReducepoly,poly1,poly2,x1,x2,Resultantpoly1,poly2,x返回poly1除以poly2的結(jié)果，舍掉余數(shù)返回poly1除以poly2的余數(shù)求兩個(gè)多項(xiàng)式的最大公約數(shù)求兩個(gè)多項(xiàng)式的最小公倍數(shù)求poly以m為模的余數(shù)求

6、用polyi表示poly的最小表達(dá)式求兩個(gè)多項(xiàng)式的消元式多項(xiàng)式的代數(shù)運(yùn)算函數(shù) 函數(shù)PolynomialMod和函數(shù)PolynomialRemainde的區(qū)別在于前者做的運(yùn)算是乘減，即poly1減去poly2乘以一個(gè)整數(shù)或整式；后者做的是除法，最后得到的一定是次數(shù)比除式低的多項(xiàng)式。PolynomialMod可以使用多個(gè)模本節(jié)討論的大多數(shù)代數(shù)運(yùn)算只是適用于一般的多項(xiàng)式，這種多項(xiàng)式具有整數(shù)指數(shù)和有理數(shù)系數(shù) 第6頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日名稱意義FactorSquareFreepolyFactorListpoly,FactorSquareFreeListpoly,Fac

7、torTremsListpolyFactorpoly,GaussianIntegersTrue以平方冪次的形式改寫多項(xiàng)式以因式列表的形式給出結(jié)果對(duì)多項(xiàng)式進(jìn)行因式分解，允許系數(shù)為高斯整數(shù)因式分解函數(shù)生成特定多項(xiàng)式的函數(shù)名稱意義Cyclotomicn,xDecomposepoly,xInterpolatingPolynominalf1,f2,xInterpolatingPolynominalx1,f1,x2,f2,x給出關(guān)于x的第n個(gè)分圓多項(xiàng)式如可能，將多項(xiàng)式分為一系列簡(jiǎn)單的多項(xiàng)式組合給出一個(gè)當(dāng)x為整數(shù)i時(shí)，與fi相等的關(guān)于x的多項(xiàng)式給出一個(gè)當(dāng)x為整數(shù)xi時(shí)，與fi相等的關(guān)于x的多項(xiàng)式和因式分解不

8、同，用函數(shù)Decompose的分解結(jié)果有可能不是唯一的 第7頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日4.1.5 以質(zhì)數(shù)為模求多項(xiàng)式的余式名稱意義PolynomialModpoly,pExpandpoly,ModuluspFactorpoly,ModuluspPolynomialGCDpoly1,poly2,Modulusp以p為模求poly的余式以p為模展開多項(xiàng)式以p為模對(duì)多項(xiàng)式進(jìn)行因式分解以p為模求多項(xiàng)式的最大公約數(shù)以質(zhì)數(shù)為模處理多項(xiàng)式的函數(shù)實(shí)數(shù)域上的因式分解函數(shù)名稱意義Factorpoly,Extensionga1,a2,Factorpoly,ExtensiongAuto

9、matic多項(xiàng)式系數(shù)可以為ai的組合允許多項(xiàng)式系數(shù)為實(shí)數(shù)數(shù)值4.1.6 實(shí)數(shù)域上的多項(xiàng)式運(yùn)算第8頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日4.1.7 三角函數(shù)表達(dá)式名稱意義TrigExpandexprTrigFactorexprTrigFactorListexprTrigReduceexprTrigToExpexprExpToTrigexpr將三角函數(shù)表達(dá)式展開為各項(xiàng)和的形式將三角函數(shù)表達(dá)式改寫為積的形式給出各項(xiàng)以及它們的冪次使用倍角化簡(jiǎn)三角函數(shù)表達(dá)式將三角函數(shù)表達(dá)式改寫為指數(shù)形式將指數(shù)形式改寫為三角函數(shù)表達(dá)式處理三角表達(dá)式的函數(shù)復(fù)變量表達(dá)式的展開函數(shù)名稱意義ComplexEx

10、pandexprComplexExpandexpr,x1,x2展開表達(dá)式expr，假設(shè)所有變量為實(shí)數(shù)展開表達(dá)式expr，假設(shè)指定的變量都是復(fù)數(shù)4.1.8 復(fù)變量表達(dá)式第9頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日4.1.9 表達(dá)式的化簡(jiǎn)名稱意義SimplifyexprFullSimplifyexprFullSimplifyexpr,ExcludedFormspatt使用各種代數(shù)和三角函數(shù)表達(dá)式化簡(jiǎn)表達(dá)式在最大的范圍內(nèi)對(duì)表達(dá)式進(jìn)行化簡(jiǎn)化簡(jiǎn)表達(dá)式，但對(duì)于patt相匹配的表達(dá)式不進(jìn)行化簡(jiǎn)表達(dá)式的化簡(jiǎn)函數(shù)帶有假設(shè)的化簡(jiǎn)函數(shù)名稱意義Simplifyexpr,assumFullSimpli

11、fyexpr,assum使用假設(shè)assum化簡(jiǎn)使用假設(shè)assum完全化簡(jiǎn)當(dāng)根據(jù)給出的假設(shè)也無(wú)法判斷等式和不等式的正確與否時(shí)，Mathematica返回的是等式或不等式第10頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日名稱意義xdom或Elementx,domx1,x2,dompattdom指定x屬于域dom指定xi屬于域dom指定任何與patt匹配的表達(dá)式屬于域dom指定變量位于域的函數(shù)數(shù)的集合符號(hào)名稱意義ComplexRealsAlgebraicsRationalsIntegersPrimesBooleans復(fù)數(shù)域C實(shí)數(shù)域R代數(shù)域A有理數(shù)域Q整數(shù)域Z質(zhì)數(shù)域P布爾值B（取值為Tr

12、ue或False）第11頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日4.2 方程求解4.2.1 方程及其根的表示名稱意義SolveIhs=rhs,varsNSolveIhs=rhs,varsRootIhs=rhs,varsRootf,kFindRootIhs=rhs,x,x0給出方程的解集直接給出方程的數(shù)值解集以邏輯表達(dá)式的形式給出方程的解求方程f的第k個(gè)解，其中f用隱式符合表示求x=x0時(shí)，方程的解值方程求解函數(shù)4.2.1 方程及其根的表示4.2.2 求解一元代數(shù)方程第12頁(yè)，共14頁(yè)，2022年，5月20日，13點(diǎn)33分，星期日4.2.3 方程組求解名稱意義Solveeqns

13、,x1,x2,SolveeqnsSolveeqns,vars,elimsEliminateeqns,elimsFindRooteqns,x,x0,y,y0,求解eqns中指定的變量求解eqns中全部變量消去變量elims，求變量vars的值重新排列方程組以消去變量elims求x=x0,y=y0,是線性方程組的解求解方程組的函數(shù)InverseFunction函數(shù)的使用格式名稱意義InverseFunctionfInverseFunctionf,nInverseFunctionf,n,tot求函數(shù)f的反函數(shù)求函數(shù)f對(duì)于第n個(gè)參數(shù)的反函數(shù)求當(dāng)參數(shù)個(gè)數(shù)為tot時(shí)，f的反函數(shù)4.2.4 求解帶有函數(shù)的方程第13頁(yè)，共14頁(yè)，202