绝对值用两个垂直线表示,
,在代数中很常见。它们表示数字在数轴上到 0 的距离。如果数字是负数,它将变为正数。如果数字是正数,它将保持为正数

对于正式定义

这可以读作以下内容
如果
,则 
如果
,则
正式定义只是对函数在
值特定限制下的表示的声明。对于任何
,函数在
平面上的输出与线性函数
的输出相同。如果
,则输出与线性函数
的输出相同。
就我们的目的而言,从技术上来说,
或
如何定义并不重要。 只要你选择一个并保持一致,定义方式就没有关系。 按惯例,它通常按照开始时的正式定义来定义。
请注意,负数的相反数(负号,-)是正数。 例如,
的相反数是
。 通常,一些书籍和老师会将相反数称为给定大小的负数。 为方便起见,可以使用这个简写,所以请始终记住这种语言上的捷径。
我们将定义绝对值函数的性质。 了解这一点对于参加 CLEP 考试非常重要,因为它可以极大地加快解决绝对值方程式的速度。 最后,本节中的练习题会测试你对绝对值方程式的了解程度。 我们建议你尽你所能学习这些概念。 然而,当参加考试时,这并不绝对必要。
设
,其映射为
。 根据定义,
.
因为它只能是
和
,因此不可能是
。 然而,由于
没有限制,定义域
也没有限制。 因此,如果
表示函数的值域,则
和
。
根据上述定义,母函数存在一个绝对最小值,它存在于原点 
回顾一下偶函数和奇函数的定义。设有一个函数 
- 如果
且
,则
是偶函数。
- 如果
且
,则
是奇函数。
证明:  是偶函数
|
因为
是偶函数,因此它也是 *对称* 的。 你可以在 这里 (图形及其性质) 找到相关内容。
回顾单射和满射的定义。
- 如果
,并且
,那么
是单射的。
- 如果对所有
,存在一个
使得
,那么
是满射的。
证明:  不是单射的
|
由于我们尚未建立如何通过代数运算来证明这些陈述,因此我们将随着对这些新函数的理解加深而逐步推导出其性质。 要判断一个函数是否为满射,只需检查其定义即可(如果不能满足定义,则说明它不是满射)。
证明:  不是满射
|
您可以在这里找到定义的回顾 这里(函数的定义和解释)。
图 1:
在第一象限和第二象限(在
轴上方)上绘制,只显示正的
值。
利用前几节中提供的所有信息,我们可以推导出母函数
的图形。它是偶函数,因此关于
轴对称,因为在
处有一个
截距。最后,因为我们知道定义域和值域,我们知道函数的最小值在
处,并且我们知道函数的定义,我们可以很容易地证明
的图形是右侧的图像(图 1)。
从图形中你应该看到以下内容的总结
- 定义域:
。
- 值域:
。
- 在
处有一个绝对最小值。
- 在
处有一个
轴截距。
- 在
处有一个
轴截距。
- 该图像是偶函数,关于
轴对称。
- 该图像是非单射且非满射的。
- 该图像没有拐点。
很多时候,人们不会使用母函数。该函数在现实生活中许多应用中都涉及对输入或输出至少进行一些操作:垂直拉伸/压缩、水平拉伸/压缩、关于
轴的反射、关于
轴的反射以及垂直/水平平移。幸运的是,对这些函数进行操作时,变化并不大。例外情况将在后面详细介绍。
以上未列出的性质是本章函数通用规则的例外 函数代数。这些例外并不重要。我们之前普遍发现的内容与我们上面提供的内容之间的唯一区别仅仅是我们之前部分中发现的内容的结果。
- 由于函数是偶函数且对称,所以没有关于
轴的反射。
- 没有水平伸缩和压缩,因为它们会产生与垂直伸缩和压缩相同的结果(稍后会证明这一点)。
我们现在拥有了关于绝对值函数所需的所有信息。
本小节绝对不是可选的。你会被明确地问到这些问题,所以理解本节内容是一个好主意。如果你没有阅读上一小节,你就不会理解这些内容的意义。
幸运的是,绘制任意函数的基本思想主要取决于你对函数的了解。因此,我们可以轻松地绘制函数。这些例子应该进一步证实你在 函数代数 中学到的内容。
示例 1.2(a):绘制以下绝对值函数的图像 
|
现在,假设我们给出了方程
,并要求我们解出
。哪个数字可以满足方程
? 8 可以,-8 也可以。这就是为什么一个方程可以有两个解的原因。这是为什么呢? 下一个例子将解释这一点。
例 2.0(a):正式定义以下函数 
|
了解如何进行此操作非常重要,这样我们就可以在本节中正式应用算法。目前,我们将探索基于给定示例解决这些函数的方法,包括正式化算法,我们将在后面提供。
例 2.0(b):解出  
|
上面的例子展示了一种算法,这种算法通常在高中和许多大学中教授,因为它适用于每个绝对值方程。现在将说明该算法的步骤。 给定 
- 将绝对值函数隔离,使其等于另一个函数,或
.
- 写出方程,以便将复合函数解成两个这样的情况。 给定
,
- 解出
和
- 解出
.
解这些绝对值方程的基本原则是需要将绝对值单独保留。对于大多数人来说,这已经足够理解了,但这种说法对一些学生来说可能有点模糊。因此,这里可能需要很多练习题。我们将把所有步骤应用于上面概述的算法,而不是通过正式求解这些方程的过程,因为示例 1旨在表明该算法是正确的。
示例 2.0(c): 解出  
我们将向您展示两种求解此方程的方法。第一种是标准方法,第二种将向您展示一些通常不教的内容。 标准方法:用其倒数乘以常数倍数。
我们必须将两边都除以 ,以便将绝对值单独保留。我们将使用与第一个示例中类似的推理设置两个不同的方程
.
然后,我们将通过从两边减去 6 并将两边除以 2 来解出,以便将 单独保留,得到 . 我们将把求解部分留给读者作为练习。 另一种方法:“分配”三到绝对值中。
请密切注意此处列出的步骤和推理,因为这种方法可行的原因与使用这种技巧的人一样重要,如果不是更重要的话。让我们首先概括一下问题。设有一个正非零常数倍数 乘以绝对值方程 
.
假设这两个式子都成立。如果两个式子都成立,那么你就可以将正常数 分配到绝对值符号内。否则,这种方法就是错误的!

注意这两个方程式用红色突出显示的答案相同,这意味着只要常数倍数 的值是正的,你就可以将 分配到绝对值符号内。然而,这种“分配律”需要一个前提:两个绝对值的乘积等于乘积的绝对值。我们需要先证明这一点,才能在证明中使用它。对于发现这个错误的学生来说,你可能拥有良好的逻辑思维能力,或者对细节有敏锐的观察力。
证明
从我们已知的内容开始

- 如果
,那么 。否则,如果 ,那么 .
令 , , ,并且 。以下三种情况适用
。这仅仅意味着对于一些乘积 等于一个负数 ,该乘积的绝对值为 ,即该乘积到零的距离。因为 ,将两边乘以 将会把小于号变成大于号,或者 。
。对于一些乘积 等于一个数 ,该乘积的绝对值为 。
。对于一些乘积 等于一个正数 ,该乘积的绝对值为 。
鉴于 总是会得到一个正数(和零),我们可以得出结论,该函数等价于以下函数

令 。因为 且 , 。这意味着 。因此, 。这使我们得出结论:

意味着 。但是, 其中 。我们已经证明了 ,我们总是会看到 并且 。此外,我们已经知道 ,这意味着即使 , 。因此, .
因此, , . 这个证明的一个好处是我们可以用它来推断任何函数乘以另一个函数的结果将是绝对值内函数的乘积。我们只需要假设它等于某个其他函数,而不是某个其他数字,正如这个证明中隐含的那样。唯一需要做的改变就是简单地将所有变量定义为函数。
|
通过确认一般情况,我们可以在再次遇到这种技巧时使用它。让我们将此属性应用于原始问题(这给了我们下面绿色的结果)

这都意味着
.
从那里,简单的代数运算将表明原始问题的答案再次是 .
|
让我们稍微改变一下前面的问题,使常数倍数变为负数。在不改变其他内容的情况下,结果会是什么?让我们来看看。
例 2.0(d):解出  
|
这次的问题会有点不同。请记住我们一直在所有示例中牢记的原则,并且要小心,因为这个问题设置了一个陷阱。
例 2.0(e):解出  
有很多方法可以尝试找到这个问题的解。我们将用标准方法来做,并允许任何学生以他们想要的方式来做。


由于绝对值已被隔离,我们可以从通用步骤开始。假设 ,我们可以开始列出这两个方程
(1) 
(2) 
这些方程仅在 时才成立。现在,假设此条件为真。让我们求解每个方程的  方程 (1)


方程 (2)




我们得到了方程的两个潜在解。尝试根据你目前对这个问题的了解,回答为什么我们说它们是潜在的。
为什么我们说我们有两个潜在解?
因为我们必须 假设  且  对给定的  成立。 因为我们必须 假设  且  对给定的  成立。
因此,我们必须验证这些方程的解是否存在。所以,让我们将这些值代入方程
. 注意到等式右边是负数。同时,等式左边和右边并不相等。因此,这不是一个解。
. 注意到等式右边仍然是负数。同时,等式左边和右边并不相等。因此,这也不能是一个解。
这个方程有 **没有实数解**。更具体地说,它有 **两个无关解**(也就是说,我们找到的解在将它们代回原方程后无法满足等式性质)。
|
尽管我们按照从第一个问题开始的步骤进行,我们还是得到了两个无关解。这不是步骤本身的错误,而是方程本身的一个简单结果。因为等式左边必须始终为正数,所以这意味着等式右边也必须为正数。除此之外还有一个限制条件,那就是两边在只给出正值的情况下可能不相等。这完全是关于函数性质的问题。
**示例 2.0(f)**:求解  
|
绝对值方程在现实世界中非常有用,通常用于建模。我们将介绍一个标准建模问题的示例,然后介绍一个在几何学中的不寻常应用(示例 WIP)。
示例 2.0(g):窗户安装
问题:阿尔弗德想要安装一个窗户,使窗户的长度变化为房间长度的 70%。房间高 45 英尺,长 70 英尺。如果居中的窗户占据了整个墙壁的垂直高度
- (a) 不包括窗户的墙壁最大表面积是多少?
- (b) 假设房间有一个矩形的
底部和屋顶,并且这种窗户设计重复房间的所有侧面(除了两个门侧),那么房间内部不包括窗格的表面积是多少?
答案:
- (a)

- (b)

解释:
这道题最难的部分是试图理解情况。一旦学生理解了所提出的问题,其余步骤大部分都很简单。 我们将使用用于解决许多线性方程文字题的程序,因为它可以帮助我们将大量信息压缩成更“小块”的东西。
- 列出有用信息(可选第二步,或必要的第一步)。
- 画图(可选第二步,或必要的第一步)。
- 根据列表查找解决问题的工具。
- 建立并求解方程。
图 3:对于一个 的墙壁,如果窗户的长度是房间长度的 70%,那么不包括窗户的墙壁的最大面积是多少?
我们将使用这些步骤来完成项目 (a) 和 (b)。 首先,我们将列出如下信息
- 窗户的长度变化为房间长度的 70%。
- 房间高 45 英尺。
- 房间长 70 英尺。
- 窗户占据了整个墙壁的垂直高度。
- 窗户根据墙壁的长度居中(由前一项确定)。
- 房间有一个矩形的底部

接下来,根据我们的列表绘制情况。一个好的草图(图 3)可以告诉你比列表更多信息。因此,如果你列出了问题中提供的信息,则此步骤可能是可选的。这就是为什么如果你列出了问题中提供的信息,则此步骤可能是可选的。 从我们的草图(解决问题的工具)中,我们可以得出求解 ,墙壁的边长,的方程。因为绝对值描述了距离(或长度),而我们希望长度是房间长度的 70%,所以我们可以得出这样的结论
|
由此,我们可以解出方程。

在我们的情况下,考虑 没有意义,因为它会导致窗户的负长度,所以我们拒绝 。在处理文字题时,始终要牢记上下文。 此信息对于项目 (b) 非常有用。对于 (a) 部分,它要求我们找到不包括窗户的墙壁侧面的面积。这告诉我们墙壁的面积,根据我们的草图,是
|
项目 (b) 给出了以下信息,以及我们在 (a) 中找到的信息
- 矩形
底座和屋顶。
- 无窗的墙壁是
.
- 两侧没有窗户,这意味着墙壁的表面积是

不会为项目 (b) 提供草图。在所有信息都已清除的情况下,我们可以轻松找到不包含所有窗户的表面积。
|
|
下一个问题通常需要一些三角学才能轻松解决。但是,如果有一个额外的信息,就可以使用绝对值属性来解决以下问题。
注意我们不需要求解关于
的特定值,因为这是绝对值方程。对于这个问题,绝对值方程的唯一必要方面是图形属性和一些逻辑。从某种程度上来说,这是最简单的绝对值问题。然而,它所需的创造性弥补了问题的“简单性”。
需要注意的是,任何函数都可以小于任何其他函数。例如,
对于
具有任何解。只要
的值在这个范围内,函数
小于
的输出。
的不等式代数需要更多的演示才能理解。虽然我们使用的这些方法不会被证明,但我们的例子和解释应该能很好地直观地理解绝对值不等式的求解方法。
示例 3.0(a): 
|
以上示例是对求解不等式原理的一种直观解释。从技术角度来说,我们可以证明为什么我们必须以这种方式对绝对值不等式进行“操作”(执行上述步骤)。然而,这会过于技术化,并涉及大量的泛化,可能会使学生感到困惑,而不是启发。如果学生认为挑战值得,那么他们可以尝试证明我们推导出的步骤。这被认为是标准程序(根据许多高中教材)。
- 简化,直到只留下“绝对值符号内的表达式”。
- 通过取绝对值符号内的表达式,并根据不等式关系,得到“左侧”的值;对于“右侧”方程,取绝对值符号内的相同表达式,将相关项取反并翻转不等式符号,然后求解。
- 将
重写为必要的符号形式。
虽然该过程可能看起来很复杂,但实际上我们只是试图尽可能地将算法具体化。实际上,我们将展示将此算法应用于上述问题的简易性。
例 3.0(a) (重复): 
|
该过程存在两个可能的原因。首先,它使我们能够快速求解“右侧”方程中的
,而无需进行求解
所需的两倍的乘法次数(减少了我们翻转不等式符号的次数)。其次,它使我们能够更多地关注绝对值方程背后的概念(符号内的值将为正,因此,我们希望找到所有能够找到所有可能解的值)。
不过,请记住我们是通过应用绝对值的函数定义来找到该过程的。实际上,我们对绝对值方程做了完全相同的事情。该算法在应用于不等式时的唯一区别在于,不等式通过引入一个新的概念来“复杂化”非单射绝对值函数。通过找到两个解,我们为
的值提供了两个可能的范围。
希望这个例子能够进一步阐明许多高中生认为在求解绝对值不等式和等式时是“黑魔法”的部分。接下来的例子应该只会希望进一步巩固所学概念。请记住,如果有人不喜欢上面重复示例中介绍的算法,他们完全可以使用其他算法。多选的优点是可以使用任何方法,只有答案的正确性会被考虑。
例 3.0(b): 
|
例 3.0(c): 
|
例 3.0(d): 
|
示例介绍稍后给出。
绝对值(用 | 表示)表示数字在数轴上与 0 的距离。这实际上使负数变为正数,而正数保持不变。要解涉及绝对值的方程,必须将绝对值单独放在一边,并将其设置为另一边的正负值,因为这是绝对值可以输出的两个解。但是,请检查最后得到的解;有些可能在右侧产生负数,这是不可能的,因为绝对值符号的所有输出都是正数!