内容必须掌握的后面在哪用到
函数的概念三要素(定义域、对应法则、值域);两个函数相同的判定标准描述"输入到输出"关系的通用语言,模型的定义域即输入的合法范围
定义域与值域常见函数定义域的求法;换元法、判别式法求值域检查输入是否落在模型的有效范围内
函数的单调性定义法证明单调性;复合函数单调性判断(同增异减)损失函数下降性、凸性判断的基本语言
函数的奇偶性定义、图像对称性、判断顺序利用对称性化简计算量
函数的零点零点存在定理;二分法求零点近似值数值求根、平衡点与收敛判据的基本方法

一、函数的概念

设 A A A、 B B B 是两个非空数集,如果按照某种确定的对应关系 f f f,使得对于集合 A A A 中的任意一个数 x x x,在集合 B B B 中都有唯一确定的数 f ( x ) f(x) f(x) 和它对应,那么就称 f : A → B f: A \to B f:A→B 为从 A A A 到 B B B 的一个函数,记作 y = f ( x ) y=f(x) y=f(x), x ∈ A x \in A x∈A。

函数的定义

"唯一确定"是这个定义的核心:一个 x x x 只能对应一个 y y y,但反过来允许多个 x x x 对应同一个 y y y(比如 y = x 2 y=x^2 y=x2 里, x = 1 x=1 x=1 和 x = − 1 x=-1 x=−1 都对应 y = 1 y=1 y=1)。上图右边那种"一个 x x x 引出两条箭头"的对应关系不是函数。

一个函数由三要素唯一确定:

  • 定义域 A A A: x x x 的取值范围
  • 对应法则 f f f:把 x x x 变成 f ( x ) f(x) f(x) 的具体规则
  • 值域: { f ( x ) ∣ x ∈ A } \{f(x) \mid x \in A\} {f(x)∣x∈A},是 B B B 的子集,由定义域和对应法则共同决定

判断两个函数是不是同一个函数,只需比较定义域和对应法则是否都相同——值域相同不能说明两个函数一样: y = x 2 y=x^2 y=x2( x ∈ R x\in\mathbb{R} x∈R)和 y = ∣ x ∣ y=|x| y=∣x∣,值域都是 [ 0 , + ∞ ) [0,+\infty) [0,+∞),但对应法则不同,不是同一个函数;定义域不同也不是同一个函数: y = x y=x y=x( x ∈ R x\in\mathbb{R} x∈R)和 y = x 2 x y=\dfrac{x^2}{x} y=xx2​( x ≠ 0 x\ne0 x=0),化简后表达式一样,但定义域不同,是两个不同的函数。

二、定义域与值域

定义域的求法

定义域由使表达式有意义的所有限制条件联立求出,常见限制来自:

  • 分式:分母 ≠ 0 \ne 0 =0
  • 偶次根式:被开方数 ≥ 0 \ge 0 ≥0
  • 复合函数 f ( g ( x ) ) f(g(x)) f(g(x)): x x x 要落在 g g g 的定义域里,同时 g ( x ) g(x) g(x) 要落在 f f f 的定义域里——两层条件都要满足,不能只看其中一层

值域的求法

  • 直接法:对简单函数直接观察,比如 y = x 2 + 1 y=x^2+1 y=x2+1 的值域是 [ 1 , + ∞ ) [1,+\infty) [1,+∞)
  • 配方法:把二次函数配方成顶点式求最值,进而得到值域(第 2 篇已经证明过配方法本身,这里是它的直接应用)
  • 换元法:把式子里的复杂部分换成新变量 t t t,转化成更简单的函数求值域。比如求 y = x + 1 − 2 x y=x+\sqrt{1-2x} y=x+1−2x ​ 的值域,令 t = 1 − 2 x t=\sqrt{1-2x} t=1−2x ​( t ≥ 0 t\ge0 t≥0),则 x = 1 − t 2 2 x=\dfrac{1-t^2}{2} x=21−t2​,代入得 y = 1 − t 2 2 + t = − 1 2 ( t − 1 ) 2 + 1 y=\dfrac{1-t^2}{2}+t=-\dfrac12(t-1)^2+1 y=21−t2​+t=−21​(t−1)2+1( t ≥ 0 t\ge0 t≥0),转化成关于 t t t 的二次函数,再用配方法求值域
  • 判别式法:形如 y = a x 2 + b x + c d x 2 + e x + f y=\dfrac{ax^2+bx+c}{dx^2+ex+f} y=dx2+ex+fax2+bx+c​ 的分式函数,把 y y y 看成已知数,两边乘分母整理成关于 x x x 的一元二次方程,用判别式 Δ ≥ 0 \Delta \ge 0 Δ≥0(方程有实数解)反推 y y y 的取值范围

三、函数的单调性

设函数 f ( x ) f(x) f(x) 的定义域为 D D D,区间 I ⊆ D I \subseteq D I⊆D:若对任意 x 1 , x 2 ∈ I x_1,x_2 \in I x1​,x2​∈I,当 x 1 < x 2 x_1 \lt x_2 x1​<x2​ 时都有 f ( x 1 ) < f ( x 2 ) f(x_1) \lt f(x_2) f(x1​)<f(x2​),称 f ( x ) f(x) f(x) 在 I I I 上是增函数;都有 f ( x 1 ) > f ( x 2 ) f(x_1) \gt f(x_2) f(x1​)>f(x2​),称为减函数。

单调性的定义

定义法证明单调性的标准步骤:在 I I I 上任取 x 1 < x 2 x_1 \lt x_2 x1​<x2​ → 作差 f ( x 1 ) − f ( x 2 ) f(x_1)-f(x_2) f(x1​)−f(x2​) → 变形(因式分解、通分等)判断这个差的符号 → 根据符号得出增减结论。这一套流程本身就是证明。

复合函数的单调性

设 u = g ( x ) u=g(x) u=g(x) 在区间 I I I 上单调, y = f ( u ) y=f(u) y=f(u) 在 g ( I ) g(I) g(I) 上单调,复合函数 y = f ( g ( x ) ) y=f(g(x)) y=f(g(x)) 在 I I I 上的单调性遵循同增异减:内外两层同方向(都增或都减)则复合函数是增函数,方向相反则复合函数是减函数(证明见后面)。

四、函数的奇偶性

设函数 f ( x ) f(x) f(x) 的定义域关于原点对称(这是奇偶性成立的前提,定义域不对称直接判定"非奇非偶"):

  • 若对定义域内任意 x x x 都有 f ( − x ) = f ( x ) f(-x)=f(x) f(−x)=f(x),称 f ( x ) f(x) f(x) 为偶函数,图象关于 y y y 轴对称
  • 若对定义域内任意 x x x 都有 f ( − x ) = − f ( x ) f(-x)=-f(x) f(−x)=−f(x),称 f ( x ) f(x) f(x) 为奇函数,图象关于原点对称

函数奇偶性的图像对称

判断奇偶性的顺序固定:先看定义域是否关于原点对称,再验证 f ( − x ) f(-x) f(−x) 与 f ( x ) f(x) f(x) 的关系。两步都要做,只验证了 f ( − x ) = f ( x ) f(-x)=f(x) f(−x)=f(x) 而没检查定义域对称性,结论可能是错的。

常数函数 f ( x ) = 0 f(x)=0 f(x)=0(定义域取 R \mathbb{R} R)同时是奇函数也是偶函数——这是唯一同时满足两条定义的函数,因为 f ( − x ) = f ( x ) f(-x)=f(x) f(−x)=f(x) 且 f ( − x ) = − f ( x ) f(-x)=-f(x) f(−x)=−f(x) 联立,直接推出 f ( x ) = − f ( x )    ⟹    f ( x ) = 0 f(x)=-f(x) \implies f(x)=0 f(x)=−f(x)⟹f(x)=0。另外,若奇函数 f ( x ) f(x) f(x) 在 x = 0 x=0 x=0 处有定义,则必有 f ( 0 ) = 0 f(0)=0 f(0)=0:把 x = 0 x=0 x=0 代入 f ( − x ) = − f ( x ) f(-x)=-f(x) f(−x)=−f(x) 得 f ( 0 ) = − f ( 0 ) f(0)=-f(0) f(0)=−f(0),同样推出 f ( 0 ) = 0 f(0)=0 f(0)=0。

五、函数的零点

使 f ( x ) = 0 f(x)=0 f(x)=0 成立的实数 x x x,叫函数 f ( x ) f(x) f(x) 的零点。"零点"这个概念把三件事统一了起来: x 0 x_0 x0​ 是 f ( x ) f(x) f(x) 的零点    ⟺    \iff ⟺ 方程 f ( x ) = 0 f(x)=0 f(x)=0 有实数根 x 0 x_0 x0​    ⟺    \iff ⟺ 函数图象与 x x x 轴的交点横坐标为 x 0 x_0 x0​——这正是第 6 篇"三个二次"讲的转化关系,从二次函数推广到一般函数。

零点存在定理:若函数 f ( x ) f(x) f(x) 在闭区间 [ a , b ] [a,b] [a,b] 上的图象是一条连续不断的曲线,且 f ( a ) ⋅ f ( b ) < 0 f(a)\cdot f(b) \lt 0 f(a)⋅f(b)<0(两端点函数值异号),则 f ( x ) f(x) f(x) 在开区间 ( a , b ) (a,b) (a,b) 内至少存在一个零点。曲线从 x x x 轴一侧走到另一侧,中途不断开,必然要穿过 x x x 轴至少一次,这就是定理成立的直观道理。

图示:二分法求零点

二分法求零点

零点存在定理只保证零点存在,不给出具体位置,二分法用来求它的近似值:取区间 [ a , b ] [a,b] [a,b] 的中点 m = a + b 2 m=\dfrac{a+b}{2} m=2a+b​,计算 f ( m ) f(m) f(m)——若 f ( m ) = 0 f(m)=0 f(m)=0, m m m 就是零点;若 f ( m ) f(m) f(m) 与 f ( a ) f(a) f(a) 异号,零点在 [ a , m ] [a,m] [a,m] 里,把 [ a , m ] [a,m] [a,m] 当作新区间;若 f ( m ) f(m) f(m) 与 f ( b ) f(b) f(b) 异号,零点在 [ m , b ] [m,b] [m,b] 里,把 [ m , b ] [m,b] [m,b] 当作新区间。不断重复这个过程,区间长度每次减半,直到区间长度小于预先设定的精度要求,取这时区间的中点作为零点的近似值。

上图以 f ( x ) = x 3 − 2 x − 5 f(x)=x^3-2x-5 f(x)=x3−2x−5 为例: f ( 2 ) = − 1 < 0 f(2)=-1 \lt 0 f(2)=−1<0, f ( 3 ) = 16 > 0 f(3)=16 \gt 0 f(3)=16>0,异号,零点在 ( 2 , 3 ) (2,3) (2,3) 内;取中点 2.5 2.5 2.5, f ( 2.5 ) = 5.625 > 0 f(2.5)=5.625 \gt 0 f(2.5)=5.625>0,与 f ( 2 ) f(2) f(2) 异号,零点缩小到 ( 2 , 2.5 ) (2,2.5) (2,2.5);再取中点 2.25 2.25 2.25, f ( 2.25 ) ≈ 1.89 > 0 f(2.25)\approx1.89 \gt 0 f(2.25)≈1.89>0,零点进一步缩小到 ( 2 , 2.25 ) (2,2.25) (2,2.25)。区间越缩越窄,逼近真实零点。

推导与证明

复合函数单调性的证明

证明:任取 x 1 < x 2 ∈ I x_1 \lt x_2 \in I x1​<x2​∈I。若 g g g 在 I I I 上递增,则 g ( x 1 ) < g ( x 2 ) g(x_1) \lt g(x_2) g(x1​)<g(x2​);此时若 f f f 在 g ( I ) g(I) g(I) 上也递增,把 g ( x 1 ) < g ( x 2 ) g(x_1) \lt g(x_2) g(x1​)<g(x2​) 代入 f f f 的增性定义,得 f ( g ( x 1 ) ) < f ( g ( x 2 ) ) f(g(x_1)) \lt f(g(x_2)) f(g(x1​))<f(g(x2​)),即复合函数递增;若 f f f 递减,则 f ( g ( x 1 ) ) > f ( g ( x 2 ) ) f(g(x_1)) \gt f(g(x_2)) f(g(x1​))>f(g(x2​)),复合函数递减。若 g g g 在 I I I 上递减,则 g ( x 1 ) > g ( x 2 ) g(x_1) \gt g(x_2) g(x1​)>g(x2​),同样代入 f f f 的增减性,可得"异号则复合减、同号则复合增"的结论对称成立。

对应视频

正文看得懂就跳过,卡住了再看对应那一段。下面只列真正值得看的,合计约 3 小时 12 分。

合集里另有"引导课:为什么用 f(x)"(P17)、“函数解析式求法”(P19),是记号动机说明和求表达式的技巧,与本篇内容无关;“单调奇偶考法复习”“单调奇偶综合拓展”“抽象函数、恒成立、构造函数”(P23-P25)是应试考法和拔高压轴题型,都跳过。合集中没有专门讲二分法的一集。

以上集数、标题、时长通过浏览器打开合集页面直接读取播放列表核实,未逐集观看。

Logo

DAMO开发者矩阵,由阿里巴巴达摩院和中国互联网协会联合发起,致力于探讨最前沿的技术趋势与应用成果,搭建高质量的交流与分享平台,推动技术创新与产业应用链接,围绕“人工智能与新型计算”构建开放共享的开发者生态。

更多推荐