符号运算
运算符号
运算符号如加号（+），减号（－），乘号（×或·），除号（÷或/），两个集合的并集（∪），交集（∩），根号（√￣），对数（log，lg，ln），比（:），绝对值符号| |，微分（d），积分（∫），闭合曲面（曲线）积分（∮）等。
关系符号如“=”是等号，“≈”是近似符号，“≠”是不等号，“>”是大于符号，“<”是小于符号，“≥”是大于或等于符号（也可写作“≮”），“≤”是小于或等于符号（也可写作“≯”），“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“≱”是垂直符号，“∝”是正比例符号，“∈”是属于符号，“⊆”是包含于符号，“⊇”是包含符号，“|”表示“能整除”（例如a|b表示”a能整除b“)，x可以代表未知数，y也可以代表未知数，任何字母都可以代表未知数。
结合符号如小括号“（）”中括号“[ ]”，大括号“{ }”横线“—”，比如（2+1）+3=6，[2.5×（23+2）+1]=x，3.5+[3+1]+1=y等。
性质符号如正号“+”，负号“－”，正负号“±”省略符号如三角形（△），直角三角形（Rt△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），角（∠），∵因为，（一个脚站着的，站不住）∴所以，（两个脚站着的，能站住）(口诀：因为站不住，所以两个点；因为上面两个点，所以下面两个点)总和，连加：∑，求积，连乘：∏，从n个元素中取出r个元素所有不同的组合数C，幂等。
排列组合符号C 组合数A(或P) 排列数N元素的总个数R参与选择的元素个数! 阶乘，如5！=5×4×3×2×1=120，规定0！=1!! 半阶乘(又称双阶乘)，例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840离散数学符号∀全称量词∃存在量词├ 断定符（公式在L中可证）╞ 满足符（公式在E上有效，公式在E上可满足）﹁命题的“非”运算，如命题的否定为﹁p∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→ 命题的“条件”运算↔ 命题的“双条件”运算的p<=>q命题p与q的等价关系p=>q命题p与q的蕴涵关系A* 公式A的对偶公式wff 合式公式iff 当且仅当↑ 命题的“与非” 运算（“与非门” ）↓ 命题的“或非”运算（“或非门” ）□ 模态词“必然”◇模态词“可能”∅空集∈属于A∈B,即“A属于B”∉不属于P(A) 集合A的幂集|A| 集合A的点数R²=R○R [R=R○R] 关系R的“复合”א阿列夫⊆包含⊂（或下面加≠）真包含∪集合的并运算∩ 集合的交运算-或\ 集合的差运算〡限制集合关于关系R的等价类A/R集合A上关于R的商集[a] 元素a产生的循环群I环，理想Z/(n) 模n的同余类集合r(R) 关系R的自反闭包s(R) 关系R的对称闭包CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则）R 关系r 相容关系R○S 关系与关系的复合domf 函数的定义域（前域）ranf 函数的值域f:x→y f是x到y的函数(x,y) x与y的最大公约数[x,y] x与y的最小公倍数aH(Ha) H关于a的左（右）陪集Ker(f) 同态映射f的核（或称f同态核）[1，n] 1到n的整数集合d(A,B),|AB|,或AB点A与点B间的距离d(V) 点V的度数G=(V,E) 点集为V，边集为E的图GW(G) 图G的连通分支数k(G) 图G的点连通度Δ(G) 图G的最大点度A(G) 图G的邻接矩阵P(G) 图G的可达矩阵M(G) 图G的关联矩阵C复数集I 虚数集N 自然数集，非负整数集（包含0在内）N*（N+）正自然数集，正整数集（*表示从集合中去掉元素“0”）P素数（质数）集Q 有理数集R 实数集Z 整数集Set 集范畴Top 拓扑空间范畴Ab 交换群范畴Grp 群范畴Mon 单元半群范畴R ing 有单位元的（结合）环范畴R ng 环范畴C R ng 交换环范畴R-mod 环R的左模范畴mod-R环R的右模范畴Field 域范畴Poset 偏序集范畴希腊数学符号字母古希腊语名称英语名称古希腊语发音现代希腊语发音中文注音数学意思Α α?λθαAlpha [a],[a?] [a] 阿尔法角度；系数；平面Β ββ?ηαBeta [b] [v] 贝塔角度；系数；平面Γ δδ?ληαDelta [d] [ð] 德尔塔变动；求根公式Δ ε?ψιλονEpsilon [e] [e] 伊普西隆对数之基数Ε δδ?ηαZeta [zd] [z] 泽塔系数；Θ θθ?ηαTheta [t?] [θ]西塔温度；相位角Ι ιι?ηαIota [i] [i] 约塔微小，一点儿Λ λλ?μβδα(现为λ?μδα)Lambda [l] [l] 兰姆达波长（小写）；体积Μ μμυ(现为μι)Mu [m] [m] 谬微（千分之一）；放大因数（小写）Ξ ξξιXi [ks] [ks] 克西随机变量Π ππιPi [p] [p] 派圆周率=圆周÷直径≈3.1416Σ ζζ?γμαSigma [s] [s] 西格玛总和（大写）；统计学上的标准差（小写）Τ ηηαυTau [t] [t] 陶时间常数Φ θθιPhi [p?] [f] 弗爱辅助角Ω ωωμ?γαOmega [??] [o] 欧米咖角genhao 意义编辑符号(Symbol)意义(Meaning)= 等于is equal to≠ 不等于is not equal to≈ 约等于approximately equal to< 小于 is less than> 大于 is greater than//平行is parallel to平行且相等≱垂直≥ 大于或等于is greater than or equal to≤ 小于或等于is less than or equal to≡ 恒等于或同余π 圆周率约等于3.1415926536e 自然常数约等于2.7182818285|x| 绝对值absolute value of X∽相似is similar to≌全等 is equal to(especially for geometric figure) >> 远大于<< 远小于∪并集∩交集⊆包含于∈属于≰圆\ 求商值α，β，γ，…角度；系数（数学中常用作表示未知角）φ角（数学中常用作表示未知角）∞无穷大ln x以e为底的对数lg x以10为底的对数floor(x)或[x] 下取整函数ceil(x)上取整函数x mod y求余数x-floor(x) 或{x} 小数部分d y，d f(x) 函数y=f(x)的微分（或线性主部）∫f(x)d x 不定积分，函数f的全体原函数平面二维k-ε紊流模型不同壁函数的对比及研究函数f从a到b的定积分表示i从m到n逐一递增对连加求和表示i从m到n逐一递增对连乘求积。
Mathcad-数学运算-符号运算
(2)在左占位符中输入代数式，在右占 位符输入关键字expand；
(3)把光标移开并单击，便得： (x+1)3(x-1) expand →x4+2·x3-2·x-1
Mathcad-数学运算-符号运算
(c)代数式的 因式分解(Factor)
Mathcad-数学运算-符号运算
图 29
Mathcad-数学运算-符号运算
用户可在此框内输入浮点数的精度， 范围为1～4000之间的整数，当此数大于 255时将计算结果存入剪贴板中而不显示 在屏幕上。例：
解析解： 10
x2 dx
1000
0
3
10
实数解： x2dx floa,6t33.3333
(1)输入多项式； (2)指定展开变量或式子 (3)使用“Symbolics”菜单中的“Polynomial Coefficients”命令即可。 也可用指定代数符号运算符来返回含有指 定变量或指定子式的多项式系数的向量，其步 骤是：
Mathcad-数学运算-符号运算
(1) 按 “ Ctrl+Shift+.” ， 出 现 指 定 代 数符号运算符；
0
复数解：e 2 in co m c2 o p n s l ) ( e isx 2 in n )(
Mathcad-数学运算-符号运算
(3)方程、不等式 的解析解
Mathcad-数学运算-符号运算
使用“Symbolics”菜单“Variable”命 令 的 子 命 令 “ Solve” 可 以 求 出 一 元 方 程 、 多元方程组、不等式的解析解，运用 given-find 求 解 模 块 也 可 以 求 得 多 元 方 程组的解析解。由于Mathcad2001在求解 方程时首先是对代数式进行因式分解， 因此对不能分解成基本因式的方程无法 求出解析解，但可以得到数值解。
符号运算
S=sym(A, flag)将数值A转换成flag格式的符号对象
syms函数的格式为: syms('arg1', 'arg2', …,参数) syms arg1 arg2 …参数 功能:创建多个符号变量.
syms arg1 arg2 … arg1=sym(′arg1′),arg2=sym(′arg2′)
补充知识: 补充知识: 符 号 运 算
符号对象的创建和使用 1 符号对象的创建和使用 在MATLAB的数值计算中,数值表达式所引用的变量必须事 先被赋值, 否则无法计算.因此,前面介绍的有关数值运算, 其运算变量都是被赋值的数值变量.而在MATLAB的符号运算中, 运算变量则是符号变量,所出现的数字也作为符号来处理.实 际上,符号数学是对字符串进行的运算. 进行符号运算时,首先要创建(即定义)基本的符号对象, 它可以是常数,变量和表达式.然后利用这些基本符号对象构 成新的表达式,进而完成所需的符号运算.
例3.2.2 将 ( x + y ) n 展开 n=input('Please input n? ') syms x y; expand((x+y)^n) Please input n? 8 n= 8 ans = x^8+8*x^7*y+28*x^6*y^2+56*x^5*y^3+70* x^4*y^4+56*x^3*y^5+28*x^2*y^6+8*x*y^7 +y^8
使用syms函数定义符号变量和符号表达式 >> syms a b c x >> f = sym('a*x^2 + b*x + c') f= a*x^2 + b*x + c >> g=f^2+4*f-2 g= (a*x^2+b*x+c)^2+4*a*x^2+4*b*x+4*c-2
第二章 符号计算
2.5 符号计算基本运算符 矩阵运算： + , - , * , / , \ , ^ , ' 数组运算： + , - , .* , ./ , .\ , .^, .‘
2.6 符号计算中函数指令 (表2.1-2) 三角、双曲函数：sin、cosh等 指数、对数函数：exp、expm、log(即ln) 复数函数：conj(共轭)、real、abs (模) 矩阵分解：eig 方程求解：solve 微积分函数：diff、int 绘图函数：ezplot
第二章 符号计算
—— matlab 不仅具有数值运算功能，还开 发了在matlab环境下实现符号计算的工具 包Symbolic Math Toolbox,通过调用Maple 软件实现符号计算。 Maple——强大的符号运算软件
介绍教材第二章内容
Matlab程序设计
符号运算的功能 • • • • • • 符号表达式、符号矩阵的创建 符号线性代数 因式分解、展开和简化 符号矩阵分析和代数方程解 符号微积分 微分方程符号解法
• 默认自变量为 ‘t‘,可任意指定自变量‘x‘, ‗u‘等 • 解中任意常数C的数目等于缺少的初始条件数 • 解存放在构架数组S中 • 微分方程的各阶导数项以大写字母D表示
Matlab程序设计
dy dy 或 y的一阶导数—— Dy dt dx
d y d y 2 或 2 y的二阶导数—— D2y dt dx d y d y y 的 n 阶导数 —— Dny n 或 n dt dx
(4) syms a b c x;
f3= ax^2+bx+c
%二次三项式
Matlab程序设计
例2.1-5: 区分数值矩阵、字符矩阵、符号矩阵
运算符号的运用与理解
运算符号的运用与理解运算符号是数学中不可或缺的工具，它们用于表示数值之间的关系和操作。
在数学中，常用的运算符号包括加号（+）、减号（-）、乘号（×）、除号（÷）等。
在本文中，我们将探讨运算符号的运用与理解。
一、加法运算符号的运用与理解加法运算符号（+）常用于表示两个数值之间的相加关系。
例如，1 + 2 = 3，表示将1加上2得到3。
在数学中，加法运算符号还具有交换律，即a + b = b + a。
这意味着加法的顺序不影响最终结果。
二、减法运算符号的运用与理解减法运算符号（-）用于表示两个数值之间的相减关系。
例如，5 - 3 = 2，表示将5减去3得到2。
与加法不同，减法不满足交换律，即a -b ≠ b - a。
这意味着减法的顺序会影响最终结果。
三、乘法运算符号的运用与理解乘法运算符号（×）常用于表示两个数值之间的相乘关系。
例如，2 × 3 = 6，表示将2乘以3得到6。
乘法运算符号还满足交换律，即a × b = b × a。
这意味着乘法的顺序不影响最终结果。
四、除法运算符号的运用与理解除法运算符号（÷）用于表示两个数值之间的相除关系。
例如，10÷2 = 5，表示将10除以2得到5。
与减法类似，除法也不满足交换律，即a ÷ b ≠ b ÷ a。
这意味着除法的顺序会影响最终结果。
除法运算还存在一个特殊情况，即除数为零的情况。
当除数为零时，除法运算是不合法的，因为在数学中，除法零是没有意义的。
在编程语言中，除数为零可能会导致程序错误或异常。
五、其他算术运算符号的运用与理解除了加法、减法、乘法和除法运算符号外，数学中还有其他一些运算符号。
例如，指数运算符（^）用于表示一个数值的幂，例如2^3表示2的3次方，结果为8。
取余运算符（%）用于表示两个数的余数，例如10 % 3的结果为1。
此外，括号也是数学运算中常用的符号之一。
符号运算参考答案讲解
符号运算参考答案讲解实验3 符号运算⼀、实验⽬的1.掌握符号对象的创建及符号表达式化简的基本⽅法；符号(symbol)运算的基本功能.2.掌握符号微积分、符号⽅程的求解的基本⽅法。
⼆、实验内容与要求1. 字符型变量、符号变量、符号表达式、符号⽅程的建⽴⽤单引号设定字符串变量>>a ='u+4'%定义a为字符型变量a =u+4⽤命令sym(‘’)创建单个符号变量、符号表达式、符号⽅程. >>x= sym('m+n+i') %定义x为符号型变量x=m+n+i>>y = sym（'d*x^2 + x – 4'）%定义y为符号表达式y=d*x^2 + x – 4>>e = sym(' a*x^2+b*x+c=0') %定义e为符号⽅程e=a*x^2+b*x+c=0⽤命令syms创建多个符号变量、符号表达式.>>syms a b x y %定义a，b，x，y为符号变量，字母间必须⽤空格>>s = a*x^4+b*cos(y)-x*y %定义s为符号表达式s=a*x^4+b*cos(y)-x*y基于MA TLAB的数学实验16注意：sym(‘’)中的单引号不要漏，syms后的符号变量之间不能⽤逗号，⽤syms不能建⽴符号⽅程.2. 复合函数计算格式：compose(f,g,x,y)%返回复合函数f [ g (y)]，f = f (x)，g = g (y).>>syms x y>>f = 1/(1 + x^2*y); g = sin(y);>>C = compose(f,g,x,y) % 结果为1/(1+sin(y)^2*y)2 合并同类项格式：collect(S) %是对S中的每⼀函数，按缺省变量x的次数合并系数.collect(S,v) %是对指定的变量v计算，操作同上.【例1.18】>> syms x y %定义x,y为符号变量>> R1=collect((exp(x)+x)*(x+2)); %结果为x^2+(exp(x)+2)*x+2*exp(x)>> R2=collect((x+y)*(x^2+y^2+1),y);%结果为y^3+x*y^2+(x^2+1)*y+x*(x^2+1) 4.符号表达式的展开格式：R=expand(S) %展开符号表达式S中每个因式的乘积。
符号运算
4.5 符号积分变换
4.5.1 Fourier变换
F＝fourier(f,t ,w) %求以t为符号变量f的fourier变 换F
2. findsym函数
findsym(S,n) %确定符号对象S中的n个自由
符号变量
练习
4.3.2符号表达式的化简
多项式的符号表达式有多种形式，例如， f(x)=x3+6x2+11x-6可以表示为： 合并同类项形式：f(x)=x3+6x2+11x-6 因式分解形式：f(x)=(x-1)(x-2)(x-3) 嵌套形式：f(x)=x(x(x-6)+11)-6
例：
>> syms x y t v n
>> f=x+y;
>> g=t*v; >> y1=compose(f,g)
%以x为符号变量求复合函数
y1 =
t*v+y >> y4=compose(f,g,y,t,'n')%以n代替t求复合函数f(g(n))
y4 =
x+n*v
4.3.5 多项式符号表达式
1. 多项式符号表达式的通分 [N,D] = numden(s)%提取多项式符号表达式s的分子 和分母
6. simplify函数 simplify函数是一个功能强大的函数，利用各种形 式的代数恒等式对符号表达式进行化简，包括求和 、分解、积分、幂、三角、指数、对数、Bessel以及 超越函数等方法来简化表达式。 7. simple函数 找出字符最少的简化表达式，simple 函数适用于 三角函数化简。 例：
符号计算
这就完成了一个符号矩阵的创建。 注意：符号矩阵的每一行的两端都有方 括号，这是与 Matlab数值矩阵的
一个重要区别。
用字符串直接创建矩阵
模仿Matlab数值矩阵的创建方法 需保证同一列中各元素字符串有相
同的长度。 例：A =['[ a,2*b]'; '[3*a, 0]'] A= [ a, 2*b] [3*a, 0]
• 泰勒级数逼近分析界面
(由命令taylortool引出)
图示ห้องสมุดไป่ตู้符号计算器
• 由三个独立的窗口构成，通过函数运算
控制窗口来演示另外两个图形窗口，任 何时候，只有一个窗口属于激活状态。 而被激活的函数图像可随运算控制窗口 的操作而做相应的变化。 • 下面给出运算控制窗口的键位功能。
• 前两行是函数 f 和 g 的具体解析式，第三
• Funtool计算器存有一张函数列表fxlist • • • • • • •
这7个功能键分别是： Insert：把当前激活窗的函数写入列表 Cycle：依次循环显示fxlist中的函数 Delete：从fxlist列表中删除激活窗的函数 Reset：使计算器恢复到初始调用状态 Help：获得关于界面的在线提示说明 Demo：自动演示 Close：关闭整个计算器
‘ ’ 里的内容可以是函数表达式，也 可以是方程。 例： f1='a*x^2+b*x+c' —— 二次三项式 f2= 'a*x^2+b*x+c=0' —— 方程 f3='Dy+y^2=1' ——微分方程 ※函数表达式或方程可以赋给字符串 或符号变量，以后方便调用。
符号变量
• 符号变量是内容可变的符号对象。 • 符号变量通常是指一个或几个特定的字
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
x3 x 1 x3 6 x 2 6 x 1 y 2 2 x( x 1) x ( x 2) x ( x 1)(x 2)
例3.4.2 求出 的分子、分母
f
1
x
3
6
x
2
12
x
8
>>syms x >>f=1/(x^3)+6/x/x+12/x+8 >>[n,d]=numden(f) f= 1/x^3+6/x^2+12/x+8 n= 1+6*x+12*x^2+8*x^3 d =x^3
syms x; y=((x+3)/(x*(x+1)))+((x-1)/(x^2*(x+2))); [n,d]=numden(y)%提取有理多项式的分子、分母多项式。其中y
是符号表达式，n为符号表达式y的分子，d为符号表达式y的分母。
n =x^3+6*x^2+6*x-1 d =x^2*(x+1)*(x+2) 即：
进行符号运算时，首先要创建（即 定义）基本的符号对象， 它可以是常 数、变量和表达式。然后利用这些基 本符号对象构成新的表达式，进而完 成所需的符号运算。
符号对象的创建使用函数 sym （）和 syms （）来完成， 它们的调用格式如下：
S ＝ sym （ A ）将数值 A转换成符号对象 S ，A 是数字（值）
2. 符号运算中的运算符号和基本函数 2.1. 基本运算符 (1） 运算符号“+”、“－”、“*”、“＼”、“／”、 “^”分别实现矩阵的加法、减法、乘法、左除、右除与求幂运 算。
(2） 运算符号“.*”、“.＼”、“./”、“.^”分别实现
元素对元素的数组相乘、左除、右除与求幂运算。 (3） 运算符号“′”实现矩阵的Hermition转置或复数矩阵 的共轭转置； 运算符号“.′”实现数组转置或复数矩阵的非共 轭转置。
>> y=sqrt(x^5)
%
y= (x^5)^(1/2)
>> z=log10(x)
%求以10
z= log(x)/log(10)
【例2.2】 矩阵代数运算演示。求矩阵A的行列式值、逆和特 征值。 【解】 在MATLAB syms a11 a12 a21 a22; %定义符号变量a11,a12, a21, a22 A=[a11,a12;a21,a22] %生成矩阵A 运行结果为: A =[ a11, a12] [ a21, a22] >>DA=det(A) %求矩阵A的行列式 >>IA=inv(A) %求矩阵A的逆矩阵 DA = a11*a22-a12*a21
y2=x(e-t)2+(2x2+1)e-t+(x2+1)x
例3.1.2 合并多项式 的同类项。
( x x 1)( x 1)
3 2
x=sym('x'); f=(x^3+x+1)*(x^2+1); g=collect(f)
g= 1+x^5+2*x^3+x^2+x
3.2. 表达式展开
例3.2.1 已知数学表达式y(x)=cos(3arccosx),试将其展开。 【解】 在MATLAB syms x; y=cos(3*acos(x)); y1=expand(y) %展开
【解】 在MATLAB syms x t; y=sym('(x^2+x*exp(-t)+1)*(x+exp(-t))'); y1=collect(y) %默认合并x同幂项系数 y2=collect(y,‘exp(-t)’) %合并y变量里的exp(－t)同幂项系数 运行结果为: y1 =x^3+2*exp(-t)*x^2+(1+exp(-t)^2)*x+exp(-t) y2 =x*exp(-t)^2+(2*x^2+1)*exp(-t)+(x^2+1)*x 即: y1=x3+2e-tx2+［1+(e-t)2］x+e-t,
补充知识： 符 号 运 算
1
在MATLAB的数值计算中，数值表达式所引用的变量必须事
先被赋值， 否则无法计算。因此，前面介绍的有关数值运算， 其运算变量都是被赋值的数值变量。而在MATLAB的符号运算中， 运算变量则是符号变量，所出现的数字也作为符号来处理。实 际上，符号数学是对字符串进行的运算。
进行符号运算时，首先要创建（即定义）基本的符号对象，
log2（）及log10（）等。
2.5. 涉及复数的共轭函数 conj （）、求实部的函数 real （）、
求虚部的函数 imag （）和求绝对值的函数 abs （），在符号与
数值计算中的使用方法相同。 2.6. 矩阵代数运算 在符号运算中， MATLAB 提供的常用矩阵代数函数有 diag （）、inv（）、det（）、rank（）、poly（）、expm（）及
>> syms a b c x >> f = sym('a*x^2 + b*x + c') f= a*x^2 + b*x + c >> g=f^2+4*f-2 g= (a*x^2+b*x+c)^2+4*a*x^2+4*b*x+4*c-2
【例1.2】 字符表达式转换为符号变量演示。 【解】 在MATLAB >> y=sym('2*sin(x)*cos(x)') 运行结果为: y= 2*sin(x)*cos(x) >> y=simple(y) %将已有的y符号表达式化成最简形式 %将字符表达式转换为符号变量
2.2. 在符号对象的比较中，没有“大于”、“大于等于”、
“小于”、“小于等于”的概念，而只有是否“等于”的概
念。 运算符号“＝＝”和“～＝”分别对它两边的对象进行 “相等”、“不相等”的比较。当事实为“真”时，比较结 果用1表示； 当事实为“假”时，比较结果用0表示。 需要特别指出的是，MATLAB的符号对象无逻辑运算功 能。
3.3. 因式分解 例 3.3.1 已知数学表达式 y(x)=x4-5x3+5x2+5x-6, 试对其 进行因式分解。
【解】 在MATLAB
syms x; y=x^4-5*x^3+5*x^2+5*x-6 y1=factor(y) %把符号表达式y转换为多个因式相乘的形式，各多项式的系数均为有理数。 y =x^4-5*x^3+5*x^2+5*x-6 y1 =(x-1)*(x-2)*(x-3)*(x+1) 即: y=x4-5x3+5x2+5x-6=(x-1)(x-2)(x-3)(x+1)
例3.2.3 证明正弦函数和余弦函数的两角和、差 公式。
syms t s expand([cos(t+s) sin(t-s);sin(t+s) cos(t-s)])
ans = [ cos(t)*cos(s)-sin(t)*sin(s), sin(t)*cos(s)-cos(t)*sin(s)] [ sin(t)*cos(s)+cos(t)*sin(s), cos(t)*cos(s)+sin(t)*sin(s)]
y= sin(fai1-fai2)
说明：
由本例可看出，使用函数syms创建符号对 象较函数sym()简单。
但注意，使用syms arg1 arg2 …格式定义 符号变量时，变量名之间只能用空格符隔 离，而不能采用逗号或分号，如写成 syms fai1，fai2就是错误的，它不能把fai2定义为 符号变量。
【例1.1】 创建符号变量和符号表达式演示。 【解】 在MATLAB >> y=sym('x'); 运行结果为: y= x >> f=sym('x^3+x^2+4*x+4') %定义变量f，它代表符号表达式x3+x2+4x+4 %定义变量y，它代表字符x
f= x^3+x^2+4*x+4
使用syms函数定义符号变量和符号表达式
例3.3.2 分解因式
x a
3
3
>>syms x a >>f=factor(x^3-a^3) f= -(a-x)*(a^2+a*x+x^2)
3.4. 表达式通分
例3.4.1 已知数学表达式
试对其进行通分。
x3 x 1 , y ( x) 2 x( x 1) x ( x 2)
【解】 在MATLAB命令窗口中输入:
S＝sym（′x′）
将字符串x转换成符号对象S
S＝sym（A， flag）将数值Ams(‘arg1’, ‘arg2’, …,参数) syms arg1 arg2 …参数 功能：创建多个符号变量。
syms arg1 arg2 … arg1＝sym（′arg1′），arg2＝sym（′arg2′）
2.3. 除函数 atan2 （）仅能用于数值计算外，其余的三角函数
（如 sin （））、双曲函数（如 cosh （））及其反函数（如
asin （）、 acosh （）），无论在数值计算还是符号运算中， 其使用方法都相同。
2.4.
在数值计算与符号运算中，指数函数与对数函数的使用方
法完全相同，如函数sqrt（）、exp（）、expm（）、log（）、
它可以是常数、变量和表达式。然后利用这些基本符号对象构 成新的表达式，进而完成所需的符号运算。