本节的目的是让读者复习重要的代数概念。为了学习微积分,理解代数是必要的。如果你对自己的能力有信心,你可以快速浏览本节。
以下定律对所有
在
中成立,无论这些是数字、变量、函数,还是包含数字、变量和/或函数的更复杂表达式。
- 交换律:
.
- 结合律:
.
- 加法单位元:
.
- 加法逆元:
.
- 定义:
.
- 交换律:
.
- 结合律:
.
- 乘法单位元:
.
- 乘法逆元:
,只要
- 分配律:
.
- 定义:
,其中r是a除以b的余数,n是整数。
- 定义:
,只要
。
让我们看一个例子,看看这些规则在实践中是如何使用的。
|
(来自除法的定义) |
|
(来自乘法的结合律) |
|
(来自乘法逆元) |
|
(来自乘法单位元) |
当然,上面的步骤比直接在分子和分母中消去
要长得多。但是,了解这些规则很重要,这样才能知道什么时候可以消去。例如,有些人会做以下事情,这是**错误的**
.
正确的化简是
,
其中,数字
在分子和分母中都被消掉了。
可以用几种不同的方法用符号表示特定的区间(两个数字之间的所有数字)。其中一种方法是用不等式。如果我们要表示所有介于,比如,2 和 4 之间的数字,我们可以写成“所有满足
的
”。这排除了端点 2 和 4,因为我们使用的是
而不是
。如果我们要包括端点,我们将写成“所有满足
的
”。
另一种写这些区间的符号是用区间表示法。如果我们想表达“所有满足
的
”,我们将写成
。这 *不* 包括端点 2 和 4。如果我们要包括端点,我们将写成
。如果我们要包括 2 而不包括 4,我们将写成
;如果我们要排除 2 并包括 4,我们将写成
。
因此,我们有以下表格
端点条件 |
不等式表示法 |
区间表示法 |
包括 2 和 4 |
所有满足 的  |
![{\displaystyle [2,4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e34ad1554b1763ca516be3e0343c4e5b7503a6a0)
|
不包括 2 和 4 |
所有满足 的  |

|
包括 2 不包括 4 |
所有满足 的  |

|
包括 4,不包括 2 |
所有满足 的  |
![{\displaystyle (2,4]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95f52b9b2ea041f44cbbb81e8bd575b236cfaace)
|
一般而言,我们有以下表格,其中
。
含义 |
区间表示法 |
集合表示法 |
所有大于或等于 且小于或等于 的所有值 |
|
|
所有大于 且小于 的所有值 |
|
|
所有大于或等于 且小于 的所有值 |
|
|
所有大于 且小于或等于 的值 |
|
|
所有大于或等于 的值 |
|
|
所有大于 的值 |
|
|
所有小于或等于 的值 |
|
|
所有小于 的值 |
|
|
所有值 |
|
|
请注意,
和
必须始终使用开括号,而不是闭括号。这是因为
不是一个数字,因此不能包含在我们的集合中。
实际上只是一个符号,使得书写更容易,就像上面的区间一样。
区间
称为 **开区间**,区间
称为 **闭区间**。
区间是集合,我们可以使用集合符号来表示值和区间之间的关系。如果我们想说某个值包含在一个区间中,我们可以使用符号
来表示。例如,
。同样,符号
表示某个元素不在一个区间中。例如
。
指数和根式涉及一些规则和性质。根据定义,如果
是一个正整数,那么
表示
个
相乘。也就是说,

如果
,那么我们说
。
如果
是一个负整数,那么我们说
。
如果指数是分数,那么我们说
。在表达式
中,
被称为根式的指数,符号
被称为根号,
被称为被开方数。
除了前面的定义,以下规则适用
规则 |
示例 |
|
|
|
|
|
|
我们将使用以下约定来化简包含根式的表达式
- 给定表达式
,将其写成![{\displaystyle {\sqrt[{c}]{a^{b}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5895c24b750d771f4ef3e0316fc03b4154c2e0f)
- 根号下没有分数
- 分母中没有根式
- 被开方数没有指数大于或等于根式指数的幂因子
示例:化简表达式 
使用约定 1,我们将给定表达式改写为
(1) ![{\displaystyle \left({\frac {1}{8}}\right)^{\frac {1}{2}}={\sqrt[{2}]{\left({\frac {1}{8}}\right)^{1}}}={\sqrt {\frac {1}{8}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94f5c23d51b8e943f8013a14e79bffef64aeed94)
表达式现在违反了约定 2。为了消除根号中的分数,应用规则 并简化结果。
(2) 
所得表达式违反了约定 3。为了消除分母中的根号,乘以 
(3) 
注意 。由于根号的指数为 2,因此我们的表达式违反了约定 4。我们可以按如下方式减少根号下表达式的指数。
(4) 
|
考虑方程
(5) 
称为底数,
称为指数。假设我们要解出
。我们需要对等式的两边应用一个运算,以消除等式右侧的底数。我们想要的运算称为对数,简称log,它的定义如下
定义:(对数的形式定义)
当且仅当
且
,
且
.
对数是对某个底数取的。这个等式表示的是,当
是
的指数时,结果将是
.
例如:计算 
|
当底数未指定时,
指的是以 10 为底的对数。在我们学习微积分的过程中,我们将经常使用以
为底的对数。实际上,以
为底的对数出现频率很高,因此它有自己的名称和符号。它被称为 *自然对数*,其符号是
。在计算机科学中,以 2 为底的对数 经常出现。
对数具有以下性质:
。要了解为什么这是真的,假设
和 
这些假设意味着
和 
然后根据指数的性质
根据对数的定义

类似地,
同样可以使用相同的方法证明。
历史上,对数的发展是受这一事实的启发,即它可以将繁琐的乘法运算简化为用查表和加法代替,从而简化手工计算。
对数的另一个有用性质是
。要了解为什么,请考虑表达式
。假设
根据对数的定义

现在将等式两边都乘以
并化简,得到

现在如果你对等式两边取底数为
的对数,你将得到

解方程求
可得

类似地,表达式
使用相同的方法也是成立的。
大多数科学计算器都内置了
和
函数,它们不包括其他底数的对数。考虑如何计算
,其中
和
是给定的已知数,而我们只能计算某个底数
的对数。首先,假设

那么对数的定义意味着

如果我们取两边以
为底的对数,我们得到

解方程求
,我们发现

例如,如果我们只使用以 10 为底计算
,我们得到
。
下表是对数恒等式的总结。
|
公式 |
示例 |
积 |
|
|
商 |
|
|
幂 |
|
|
根 |
|
|
换底 |
|
|
给定表达式
,人们可能会问“什么值
使这个表达式为 0?” 如果我们进行因式分解,我们会得到

.
如果
,那么右边的因式之一将变为零。因此,整个表达式必须为零。因此,通过因式分解,我们发现了
的值,使表达式为零。这些值被称为“根”。一般而言,给定一个二次多项式
,其可以分解为

那么我们有
和
是原始多项式的根。
需要注意的一个特殊情况是平方差,
。在这种情况下,我们总是可以将其分解为

例如,考虑
。初步观察我们会发现
和
分别是
和
的平方。应用之前的规则,我们有

有一种使用 AC 方法简化因式分解过程的方法。假设一个二次多项式的公式为

如果存在满足以下两个条件的数字
和 

并且

那么,因式分解的结果将是

一元二次方程求根公式
给定任何一元二次方程
,该方程的所有解都可以用一元二次方程求根公式给出

注意,
的值会影响该方程的 _实数_ 解的数量。
如果 |
那么 |
|
该方程有两个实数解 |
|
该方程只有一个实数解 |
|
该方程没有实数解 |
例如:求  的所有根
求根等价于求解方程 。将 代入一元二次方程求根公式,我们有
|
二次方程式也能帮助因式分解,接下来的例子将展示这一点。
例子:对多项式 
|
韦达定理将多项式的系数与根的和与积联系起来。它非常方便,因为在某些情况下,当给出二次方程根的和与积时,就不需要求解整个二次多项式。
考虑两个多项式

和

当我们取这两个多项式的商时,我们得到

两个多项式的比率称为有理表达式。很多时候我们希望简化这种东西。例如,假设我们得到了
。我们可以用以下方式简化它

这很好,因为我们从我们不理解的东西中获得了我们非常理解的东西,
。
以下是一些对于解决多项式问题非常有用的公式




假设我们想用一个多项式除以另一个多项式。这个过程类似于数字的长除法,并在以下示例中说明。
用  (除数或分母) 除以  (被除数或分子)。
|
如果我们事先知道多项式的其中一个因式,就可以使用多项式长除法来分解多项式。例如,假设我们有一个多项式
,并且我们知道
是
的根。如果我们使用P(x)作为被除数,
作为除数进行多项式长除法,我们将得到一个多项式
,使得
,其中
的次数比
的次数少一。
使用 ^
来表示指数
类似于将假分数转换为整数加真分数的方式,可以将一个有理函数
,其分子
的次数为
,分母
的次数为
,且
,转换为一个多项式加上一个新的有理函数,新有理函数的分子次数为
,分母次数为
,且
。
假设
除以
的商为
,余数为
。即

将等式两边除以
得

的度数将小于
。
将  写成一个多项式加上一个分子度数小于分母度数的有理函数。

所以

|