第二讲式代数式与不等式

⑵反三角式
对于实数 ，如果 ，并且 ，那么表达式 分别称为反正弦、反余弦。
等式——两个解析式 用等号连接起来的式子称为等式：
等式可以分为两类：恒等式和条件等式。
当不定元取一切有意义的数值时，等号两边的解析式都取相同的值，称之为恒等式，也称之为绝对等式。
当一个等式，只在不定元取某些特殊的数值时才成立，称之为条件等式。
⑴三角式
在初等数学中，三角函数的定义是用几何方法建立起来的，它仅仅给出了自变数的取值与三角函数值的对应，而不能给出直接由自变数的值计算三角函数值的公式。
在数学分析教程中，用泰勒公式可将三角函数展开为幂级数。事实上，三角式的概念及其运算关系的建立并不依赖于几何的解释。
定义——对于实数 ，符号 称为解析余弦， 称为解析正弦，其中
公元10世纪左右的阿拉伯数学，用文字代表数，使得数和文字可以实行运算，并借此求未知数，这是一项重大贡献，但是他们仍然以文字表述为主。
最早使用“+”“-”表示加减的是15世纪的德国数学家。现存于德累斯顿图书馆的数学手稿（1486年）中，首见此符号。
1631年，英国数学家奥特雷德在《数学之钥》一书中使用“×”表示乘法，而1698年莱布尼茨在一封信中使用“.”表示乘法，这样可以避免“×”和字母 混淆。除法的记号“÷”在1659年由瑞士人雷恩引入。
例求证 是一个完全平方式的充分必要条件是 ，并且 都是非负实数。
证
⑴（必要性）如果 ，那么
由此可得：
因而 都是非负实数，并且 。
⑵（充分性）如果 都是非负实数，并且 ，那么
⒉分式
有理分式——两个多项式的比 称为有理分式，也可简称为分式。
有理分式的定义域——在已知数域内，任意一组使分式 的分母不为零的自变数值，使分式有一个完全确定的值与它对应，所有这样的自变数值组的集合称为这个分式的定义域。
⑵对数式
定理（对数存在定理）：如果正实数 不等于1，那么对于任一给定的正实数 ，有唯一的实数 ，使 的 次幂等于 ，即 。
定义——如果不等于1的正实数 的某次乘方的幂等于正实数 ，那么称这个幂的指数是以 为底的 的对数。
⒌三角式与反三角式
在初等数学中，三角函数由几何性质给出定义，但研究由三角式与反三角式给出的解析式主要是运用代数的方法，并且着重于三角式与反三角式的恒等变形。
多项式的次数——对于非零多项式 ， 中的最大的非负整数值称为这个多项式的次数。
多项式恒等——数域 上的两个具有相同变数字母的多项式，如果对于变数字母的所有取值，这两个多项式的值都相等，那么称这两个多项式是恒等的。
定理：以标准形式给出的两个多项式恒等的充分且必要的条件是这两个多项式的对应源自文库分别是具有相同系数的同类项。（待定系数法的理论依据）
等号是英国数学家雷科德于1557年在《励智石》一书首先使用。
表示方程的符号，世界各国很不相同，可以说五花八门。19世纪末20世纪初国际交往的扩大，终于有了比较统一的国际通用的数学符号。
中国普遍使用国际通用数学符号相当晚。满清政府推行“中学为体，西学为用”的政策，在符号使用上拒绝和国家接轨。
1897年京师同文馆数学大考题中的两则考题：
第二讲式、代数式与不等式
用字母表示数，数学研究的对象便从数扩展到式。式本身不仅是代表数的符号，也是表明对于数和字母按怎样的次序进行什么运算的符号。
按照一定的数学法则，把数学符号连接起来的符号串，我们称之为数学式。数学式是数学研究的基本对象。
一、数学符号简史
古代数学涉及的抽象概念很少，也很少利用抽象符号。欧几里得《几何原本》就不使用数学符号。中国古代数学虽然很早就使用小数和分数，包括使用0，也大量求解方程，但是因为计算过程依赖于算筹，所以也没有使用小数点、分数和其它运算符号，0只是一个空格。
超越式：解析式中如果除了代数运算之外，还有超越运算，称之为超越式。
代数式中不含开方运算的称为有理式，否则称为无理式。
⒈整式
整式（多项式）—— 是一个数域， 称为数域 上的多项式，其中 称为多项式的项， 称为项的系数，变数字母 所取的数值都属于数域 ， 都是非负整数。
各个系数都等于零的多项式称为零多项式。零多项式的值总是零。
⒋指数式与对数式
⑴指数式
定义1——如果 ，规定 。
定义2—— ，这里的 。
定义3—— ，这里的
定义4—— ，这里的 ， 是任何正有理数。
定义5——当 是正无理数， 是正实数， 分别是 的精确到 的不足近似值和过剩近似值时，规定数列 的共同极限是 的无理数指数幂，记作 ，即
定义6——当 是正无理数， 是正实数时，规定 。
例化简
解
将原式各项通分，得到公分母 ，分子
显然，当 时， 。因此可以断定 能被 整除。同理可知， 能被 所含有的每一个二项式因式整除。
如果以 的所有二项式因式的积除 ，可得
，这里 是零次多项式。
设 代入 的两个表达式，得到 ，于是 ，从而原式化简为 。
⒊根式
算术根—— 次幂等于 的非负实数 ，称为数 的 次算术根，并记作 ，其中 称为根指数， 称为被开方数。
详见《中学代数研究》
1859年《代微积拾级》出版算起， 取代天、地、人、元的过程，前后经历了半个世纪之久。
二、数学符号语言——代数式
自学《中学代数研究》
三、字母表示数
自学《中学代数研究》
四、解析式
解析式——用运算符号、函数符号、括号，作用于数字和字母之上形成的数学式。
代数式：只含有加、减、乘、除四则运算和有理数次的乘方开方运算的解析式。
定理2（三歧性）若 中有且只有一个成立。
不等式——两个解析式 用不等号连接起来的式子称为不等式：
不等式可以分为两类：绝对不等式和条件不等式。
当不定元取一切有意义的数值时，不等式恒成立，称之为恒不等式，也称之为绝对不等式。
当一个不等式，只当不定元取某些特殊的数值时才成立，我们称之为条件不等式。
（补充）不等式基本性质
不等式具有如下的基本性质
定理1（传递性）若 ，则 。
最简根式——如果根式的被开方数的指数和根指数是互质的，被开方数的每一个因式的指数都小于根指数，并且被开方数不含有分母，那么称这个根式为最简根式。
例化简
解
因为 ，所以， 。因为 ，所以， 是符号相同的数。
由 ； ；
得
可知，当 时，原式＝ ；
当 时，原式＝ ；
当 ，并且 时，原式 ；
当 ，并且 时，原式 。