← All Units← 返回单元列表 ← Course Hub← 课程主页
I B  M A T H  A A  H L
Unit B3 · SolutionsUnit B3 · 解析

Functions with Asymptotes · Solutions含渐近线的函数 · 解析

Companion to the IB-Style Practice SetIB 风格练习题的解析配套

EASY MEDIUM HARD Paper 1A Paper 1B Paper 2 Paper 3

Syllabus 2.8, 2.13考纲 2.8、2.13AA HL



PART I  ·  PAPER 1 SECTION A · SOLUTIONS第一部分  ·  第一卷 A 节 · 解析No calculator · 21 marks不可使用计算器 · 21 分

Section A · Worked SolutionsA 节 · 详细解析

Q1EASYPaper 1A2.8 Linear over Linear[4 marks]

$f(x) = \dfrac{3x - 1}{x + 2}$. State the vertical and horizontal asymptotes.$f(x) = \dfrac{3x - 1}{x + 2}$。写出竖直与水平渐近线。

Answers:答案:  (a) $x = -2$  ·  (b) $y = 3$

(a) Vertical asymptote M1·A1

Set the denominator equal to zero: $x + 2 = 0 \Rightarrow x = -2$. Check that the numerator does not also vanish there: $3(-2) - 1 = -7 \ne 0$. Since numerator and denominator have no common factor at $x = -2$, the function blows up. VA: $x = -2$.

(b) Horizontal asymptote M1·A1

Both numerator and denominator have degree $1$, so the HA is the ratio of leading coefficients: $$ \lim_{x \to \pm\infty} \frac{3x - 1}{x + 2} \;=\; \lim_{x \to \pm\infty} \frac{3 - 1/x}{1 + 2/x} \;=\; \frac{3}{1} \;=\; 3. $$ HA: $y = 3$.
Read the degrees first, then act. For any rational function $\dfrac{P(x)}{Q(x)}$ with $\deg P = p$ and $\deg Q = q$: if $p < q$ the HA is $y = 0$; if $p = q$ the HA is $y = (\text{lead coef of } P)/(\text{lead coef of } Q)$; if $p > q$ there is no HA — instead, if $p = q + 1$, there is an oblique asymptote you find by long division. Memorise these three cases. A common Q1 error is to write $y = 0$ for $\dfrac{3x - 1}{x + 2}$ because students see "denominator with $x$" and reflexively reach for the $y = 0$ rule. The degrees are equal, so it's a ratio, not zero.

(a) 竖直渐近线 M1·A1

令分母为零:$x + 2 = 0 \Rightarrow x = -2$。核对此处分子不同时为零:$3(-2) - 1 = -7 \ne 0$。分子分母在 $x = -2$ 处无公因子,故函数在该处发散。竖直渐近线:$x = -2$。

(b) 水平渐近线 M1·A1

分子分母次数同为 $1$,故水平渐近线为最高次系数之比: $$ \lim_{x \to \pm\infty} \frac{3x - 1}{x + 2} \;=\; \lim_{x \to \pm\infty} \frac{3 - 1/x}{1 + 2/x} \;=\; \frac{3}{1} \;=\; 3. $$ 水平渐近线:$y = 3$。
先看次数,再下结论。对任意有理函数 $\dfrac{P(x)}{Q(x)}$,记 $\deg P = p$,$\deg Q = q$:$p < q$ 时水平渐近线为 $y = 0$;$p = q$ 时为最高次系数之比;$p > q$ 时无水平渐近线——若 $p = q + 1$,则用长除法求斜渐近线。三种情形要背熟。Q1 常见错误:学生见到"分母含 $x$"就反射性写 $y = 0$。本题分子分母同次,水平渐近线为比值,不为零。
Q2MEDIUMPaper 1A2.8 Removable Hole[5 marks]

$f(x) = \dfrac{x^{2} - 9}{x - 3}$. (a) Simplify. (b) Hole coordinates. (c) Vertical asymptote?$f(x) = \dfrac{x^{2} - 9}{x - 3}$。(a) 化简;(b) 可去间断点坐标;(c) 是否有竖直渐近线?

Answers:答案:  (a) $f(x) = x + 3$, $x \ne 3$  ·  (b) $(3, 6)$  ·  (c) no VA无竖直渐近线

(a) Factor and cancel M1·A1

$x^{2} - 9 = (x - 3)(x + 3)$ (difference of squares). For $x \ne 3$: $$ f(x) \;=\; \frac{(x - 3)(x + 3)}{x - 3} \;=\; x + 3. $$

(b) Hole coordinates M1·A1

The factor $(x - 3)$ cancelled, so $x = 3$ is a removable discontinuity. The $y$-value at the hole is the limit, computed from the simplified expression: $\lim_{x \to 3} (x + 3) = 6$. Hole: $(3, 6)$.

(c) Vertical asymptote? R1

No vertical asymptote. The would-be VA at $x = 3$ cancels with the numerator zero, leaving a hole rather than an asymptote. Equivalently, the simplified form $x + 3$ is a polynomial with no asymptotes.
Hole vs. vertical asymptote — the cancellation test. When the denominator vanishes at $x = c$, you have two scenarios. Hole at $x = c$: the factor $(x - c)$ appears in both numerator and denominator (at least to the same multiplicity), so it cancels; the function is undefined at $c$ but the limit exists and is finite. Vertical asymptote at $x = c$: the factor $(x - c)$ appears in the denominator with higher multiplicity than in the numerator, so it does not fully cancel; the limit is $\pm\infty$. Algorithm: factor both, cancel common factors, then inspect what is left. The cancelled $x$-value gives a hole; remaining denominator zeros give VAs.

(a) 因式分解并约简 M1·A1

$x^{2} - 9 = (x - 3)(x + 3)$(平方差)。对 $x \ne 3$: $$ f(x) \;=\; \frac{(x - 3)(x + 3)}{x - 3} \;=\; x + 3. $$

(b) 可去间断点坐标 M1·A1

因子 $(x - 3)$ 约掉,故 $x = 3$ 为可去间断点。$y$ 值由化简后的表达式取极限:$\lim_{x \to 3} (x + 3) = 6$。洞:$(3, 6)$。

(c) 竖直渐近线? R1

无竖直渐近线。$x = 3$ 处原本可能成为竖直渐近线,但分子在该点也为零,约掉后只剩一个"洞"而非渐近线。等价地,化简后的 $x + 3$ 是多项式,本身无渐近线。
洞与竖直渐近线——约简测试。当分母在 $x = c$ 处为零时,有两种情形。:因子 $(x - c)$ 同时出现在分子分母中(重数至少相同),约掉;函数在 $c$ 无定义,但极限存在且有限。竖直渐近线:因子 $(x - c)$ 在分母重数大于在分子,无法约净;极限为 $\pm\infty$。算法:先分子分母都因式分解,再约公因子,看剩下的:约掉的零点 $\Rightarrow$ 洞;剩下的分母零点 $\Rightarrow$ 竖直渐近线。
Q3MEDIUMPaper 1A2.8 Inverse of Mobius Map[6 marks]

$f(x) = \dfrac{2x - 1}{x + 3}$. (a) Inverse. (b) VA of $f$. (c) VA of $f^{-1}$ vs. HA of $f$.$f(x) = \dfrac{2x - 1}{x + 3}$。(a) 反函数;(b) $f$ 的竖直渐近线;(c) $f^{-1}$ 的竖直渐近线与 $f$ 的水平渐近线之关系。

Answers:答案:  (a) $f^{-1}(x) = \dfrac{3x + 1}{2 - x}$  ·  (b) $x = -3$  ·  (c) VA of $f^{-1}$ is $x = 2$ = HA of $f$$f^{-1}$ 竖直渐近线 $x = 2$ = $f$ 水平渐近线

(a) Invert M1·A1·A1

Set $y = \dfrac{2x - 1}{x + 3}$ and swap $x \leftrightarrow y$: $\; x = \dfrac{2y - 1}{y + 3}$. Clear denominator and solve for $y$: $$ x(y + 3) = 2y - 1 \;\Longrightarrow\; xy + 3x = 2y - 1 \;\Longrightarrow\; y(x - 2) = -(3x + 1). $$ Divide by $(x - 2)$: $$ f^{-1}(x) \;=\; \frac{-(3x + 1)}{x - 2} \;=\; \frac{3x + 1}{2 - x}. $$

(b) VA of $f$ A1

Denominator $x + 3 = 0 \Rightarrow x = -3$. VA of $f$: $x = -3$.

(c) VA of $f^{-1}$ and relationship A1·R1

Denominator of $f^{-1}$: $2 - x = 0 \Rightarrow x = 2$. VA of $f^{-1}$: $x = 2$. The HA of $f$ is $y = \dfrac{2}{1} = 2$ (ratio of leading coefficients). They coincide: $\text{VA}(f^{-1}) = \text{HA}(f) = 2$. This reflects the general fact that "swapping $x$ and $y$" turns horizontal asymptotes into vertical ones — geometrically, the graph of $f^{-1}$ is the reflection of the graph of $f$ in $y = x$, and that reflection sends horizontal lines to vertical lines.
Asymptotes swap when you invert. For any one-to-one function $f$ with VA at $x = a$ and HA at $y = b$, the inverse $f^{-1}$ has VA at $x = b$ and HA at $y = a$. The two pictures are reflections in $y = x$, and the line $x = a$ reflects to $y = a$ (becoming a horizontal feature of $f^{-1}$), while $y = b$ reflects to $x = b$ (becoming a vertical feature). So you can find both asymptotes of $f^{-1}$ without any algebra, just by reading them off $f$. This view dovetails with the matrix description of $\dfrac{ax + b}{cx + d}$: VA at $x = -d/c$, HA at $y = a/c$, and the matrix inverse swaps the roles of $a$ and $-d$, which is exactly the asymptote swap.

(a) 求逆 M1·A1·A1

令 $y = \dfrac{2x - 1}{x + 3}$,交换 $x \leftrightarrow y$:$\; x = \dfrac{2y - 1}{y + 3}$。去分母并解 $y$: $$ x(y + 3) = 2y - 1 \;\Longrightarrow\; xy + 3x = 2y - 1 \;\Longrightarrow\; y(x - 2) = -(3x + 1). $$ 除以 $(x - 2)$: $$ f^{-1}(x) \;=\; \frac{-(3x + 1)}{x - 2} \;=\; \frac{3x + 1}{2 - x}. $$

(b) $f$ 的竖直渐近线 A1

分母 $x + 3 = 0 \Rightarrow x = -3$。$f$ 的竖直渐近线:$x = -3$。

(c) $f^{-1}$ 的竖直渐近线与关系 A1·R1

$f^{-1}$ 的分母:$2 - x = 0 \Rightarrow x = 2$。$f^{-1}$ 的竖直渐近线:$x = 2$。 $f$ 的水平渐近线为 $y = \dfrac{2}{1} = 2$(最高次系数之比)。两者重合:$\text{VA}(f^{-1}) = \text{HA}(f) = 2$。这反映一般事实:"交换 $x$ 与 $y$"把水平渐近线变为竖直渐近线——几何上 $f^{-1}$ 的图像是 $f$ 关于 $y = x$ 的反射,水平直线在该反射下变为竖直直线。
取逆即交换渐近线。一对一函数 $f$ 有竖直渐近线 $x = a$、水平渐近线 $y = b$,则 $f^{-1}$ 有竖直渐近线 $x = b$、水平渐近线 $y = a$。两图像关于 $y = x$ 反射:直线 $x = a$ 反射成 $y = a$(成为 $f^{-1}$ 的水平特征),$y = b$ 反射成 $x = b$(成为 $f^{-1}$ 的竖直特征)。所以求 $f^{-1}$ 的渐近线无需代数,直接读 $f$ 即可。与 $\dfrac{ax + b}{cx + d}$ 的矩阵刻画呼应:竖直渐近线 $x = -d/c$、水平渐近线 $y = a/c$,矩阵取逆把 $a$ 与 $-d$ 的角色互换,正是渐近线互换。
Q4HARDPaper 1A2.13 Rational Inequality by Sign Chart[6 marks]

Solve $\dfrac{x - 2}{x + 1} \ge 0$. (a) Critical points. (b) Sign chart. (c) Solution set.解 $\dfrac{x - 2}{x + 1} \ge 0$。(a) 临界点;(b) 符号表;(c) 解集。

Answer:答案:  $(-\infty,\, -1) \;\cup\; [2,\, \infty)$

(a) Critical points A1·A1

Numerator zero: $x - 2 = 0 \Rightarrow x = 2$. Since the inequality is $\ge 0$ and the expression equals $0$ when the numerator is zero (denominator non-zero), $x = 2$ is included. Denominator zero: $x + 1 = 0 \Rightarrow x = -1$. The expression is undefined here, so $x = -1$ is excluded.

(b) Sign chart M1·A1·A1

The critical points split $\mathbb{R}$ into three intervals: $(-\infty, -1)$, $(-1, 2)$, $(2, \infty)$. Test one point in each:
  • $x = -2$: $\dfrac{-2 - 2}{-2 + 1} = \dfrac{-4}{-1} = 4 > 0$. Sign on $(-\infty, -1)$: $\mathbf{+}$.
  • $x = 0$: $\dfrac{0 - 2}{0 + 1} = \dfrac{-2}{1} = -2 < 0$. Sign on $(-1, 2)$: $\mathbf{-}$.
  • $x = 3$: $\dfrac{3 - 2}{3 + 1} = \dfrac{1}{4} > 0$. Sign on $(2, \infty)$: $\mathbf{+}$.
Signs alternate $+ \,/\, - \,/\, +$, as expected since both factors are linear and change sign once each.

(c) Solution set A1

Want $\dfrac{x - 2}{x + 1} \ge 0$: positive on $(-\infty, -1)$, zero at $x = 2$, positive on $(2, \infty)$. Combine with the critical-point inclusion rules: $$ \boxed{\; (-\infty,\, -1) \;\cup\; [2,\, \infty) \;} $$ Bracket types: $-1$ open (excluded — denominator zero); $2$ closed (included — expression equals $0$, which satisfies $\ge 0$).
Never multiply both sides of a rational inequality by an expression that can change sign. The seductive wrong move is to write "$\dfrac{x - 2}{x + 1} \ge 0 \Rightarrow x - 2 \ge 0 \Rightarrow x \ge 2$" by "multiplying by $x + 1$." This is wrong because the sign of $x + 1$ is not known: if $x < -1$, multiplying flips the inequality, and you lose the entire left interval. The safe technique on Paper 1: move everything to one side, factor, sign-chart. Bracket convention: solid (closed) bracket where the expression $= 0$ in a "$\ge$" or "$\le$" problem; open bracket at any value that makes the denominator zero, regardless of which direction the inequality goes. This is a built-in A1 on every rational-inequality marking scheme.

(a) 临界点 A1·A1

分子为零:$x - 2 = 0 \Rightarrow x = 2$。不等式为 $\ge 0$,表达式在分子为零(分母非零)时取 $0$,故 $x = 2$ 包含。 分母为零:$x + 1 = 0 \Rightarrow x = -1$。表达式在此无定义,故 $x = -1$ 排除

(b) 符号表 M1·A1·A1

临界点把 $\mathbb{R}$ 分成三段:$(-\infty, -1)$、$(-1, 2)$、$(2, \infty)$。每段取一点:
  • $x = -2$:$\dfrac{-2 - 2}{-2 + 1} = \dfrac{-4}{-1} = 4 > 0$。$(-\infty, -1)$ 上符号:$\mathbf{+}$。
  • $x = 0$:$\dfrac{0 - 2}{0 + 1} = -2 < 0$。$(-1, 2)$ 上符号:$\mathbf{-}$。
  • $x = 3$:$\dfrac{3 - 2}{3 + 1} = \dfrac{1}{4} > 0$。$(2, \infty)$ 上符号:$\mathbf{+}$。
符号交替为 $+ \,/\, - \,/\, +$;两个一次因子各变号一次,结果符合预期。

(c) 解集 A1

要求 $\dfrac{x - 2}{x + 1} \ge 0$:$(-\infty, -1)$ 上正,$x = 2$ 处为零,$(2, \infty)$ 上正。结合临界点的取舍: $$ \boxed{\; (-\infty,\, -1) \;\cup\; [2,\, \infty) \;} $$ 括号约定:$-1$ 开(分母为零,排除);$2$ 闭(表达式为零,满足 $\ge 0$)。
切勿用可变号的表达式去乘有理不等式两边。诱人的错招:"$\dfrac{x - 2}{x + 1} \ge 0 \Rightarrow x - 2 \ge 0 \Rightarrow x \ge 2$"。错在 $x + 1$ 的正负号未知:$x < -1$ 时乘上去会翻号,左侧整段解就丢了。Paper 1 安全做法:移项到一侧,因式分解,作符号表。括号约定:在"$\ge$"或"$\le$"问题中,表达式 $= 0$ 之处用闭括号;分母为零之处一律用开括号,无关不等号方向。这是有理不等式评分表上"自带"的一个 A1。
PART II  ·  PAPER 1 SECTION B · SOLUTIONS第二部分  ·  第一卷 B 节 · 解析No calculator · 11 marks不可使用计算器 · 11 分

Section B · Worked SolutionsB 节 · 详细解析

Q5HARDPaper 1B2.13 Slant Asymptote & Full Analysis (HL)[11 marks]

$f(x) = \dfrac{x^{2} + 2x + 5}{x - 1}$. (a) Long division. (b) Asymptotes. (c) Show $f$ never crosses its slant. (d) Sketch.$f(x) = \dfrac{x^{2} + 2x + 5}{x - 1}$。(a) 长除法;(b) 渐近线;(c) 证 $f$ 不与斜渐近线相交;(d) 草图。

Answers:答案:  (a) $m = 1,\; c = 3,\; R = 8$  ·  (b) $x = 1$ and $y = x + 3$  ·  (c) never crosses不相交

(a) Polynomial long division M1·A1·A1·A1

Divide $x^{2} + 2x + 5$ by $x - 1$: $$ x^{2} + 2x + 5 \;=\; (x - 1)\,Q(x) + R, $$ where $Q(x)$ is linear. Try $Q(x) = x + k$: $(x - 1)(x + k) = x^{2} + (k - 1)x - k$, so we need $k - 1 = 2 \Rightarrow k = 3$. Then $(x - 1)(x + 3) = x^{2} + 2x - 3$, leaving remainder $5 - (-3) = 8$. Verify: $(x - 1)(x + 3) + 8 = x^{2} + 2x - 3 + 8 = x^{2} + 2x + 5$. $\checkmark$ $$ f(x) \;=\; (x + 3) \;+\; \frac{8}{x - 1}. $$ So $m = 1$, $c = 3$, $R = 8$.

(b) Asymptotes A1·A1

Vertical: $x - 1 = 0 \Rightarrow x = 1$ (numerator at $x = 1$ is $1 + 2 + 5 = 8 \ne 0$, so no cancellation). Oblique (slant): from the long-division form, $f(x) = (x + 3) + \dfrac{8}{x - 1}$, and the remainder term tends to $0$ as $x \to \pm\infty$. So $f(x) \to x + 3$ at infinity. OA: $y = x + 3$.

(c) No crossing of slant M1·A1

$f(x) = x + 3 \;\Leftrightarrow\; (x + 3) + \dfrac{8}{x - 1} = x + 3 \;\Leftrightarrow\; \dfrac{8}{x - 1} = 0$. The fraction $\dfrac{8}{x - 1}$ is never zero (the numerator is the non-zero constant $8$). Hence $f(x) \ne x + 3$ for every $x \ne 1$, i.e. the graph never crosses its slant asymptote.

(d) Sketch M1·A1·A1

Key features:
  • $y$-intercept: $f(0) = \dfrac{0 + 0 + 5}{-1} = -5$, so the point $(0, -5)$ is on the graph.
  • VA: $x = 1$. OA: $y = x + 3$.
  • Behaviour near the VA: as $x \to 1^{-}$, $x - 1 \to 0^{-}$ and $\dfrac{8}{x - 1} \to -\infty$, so $f(x) \to -\infty$. As $x \to 1^{+}$, $\dfrac{8}{x - 1} \to +\infty$, so $f(x) \to +\infty$.
  • Branch location relative to the slant: since $\dfrac{8}{x - 1} > 0$ when $x > 1$ and $< 0$ when $x < 1$, the right branch sits above $y = x + 3$ and the left branch sits below. Neither crosses (by (c)).
The graph is a hyperbola-shaped curve with two branches separated by $x = 1$; the right branch enters from $(1^{+}, +\infty)$, decreases towards $y = x + 3$ from above, and exits to $(+\infty, +\infty)$ along the slant; the left branch enters from $(-\infty, -\infty)$ along the slant from below, passes through $(0, -5)$, and descends to $(1^{-}, -\infty)$.
Long division is the master key for slant asymptotes — and for non-crossing. Once you write $f(x) = Q(x) + \dfrac{R(x)}{D(x)}$ with $\deg R < \deg D$, three facts fall out for free: (i) the polynomial part $Q(x)$ is the asymptote (HA if $\deg Q = 0$, OA if $\deg Q = 1$); (ii) the graph crosses $Q$ exactly where $\dfrac{R(x)}{D(x)} = 0$, i.e. where the numerator of the remainder is zero — here the remainder is the non-zero constant $8$, so no crossing; (iii) the sign of $\dfrac{R(x)}{D(x)}$ tells you which side of $Q$ each branch sits on. In a quotient-over-linear setup like this, you get the entire sketch from the division output. Skip the division, and you are guessing.

(a) 多项式长除法 M1·A1·A1·A1

用 $x - 1$ 除 $x^{2} + 2x + 5$: $$ x^{2} + 2x + 5 \;=\; (x - 1)\,Q(x) + R, $$ 其中 $Q(x)$ 为一次。设 $Q(x) = x + k$:$(x - 1)(x + k) = x^{2} + (k - 1)x - k$,需要 $k - 1 = 2 \Rightarrow k = 3$。$(x - 1)(x + 3) = x^{2} + 2x - 3$,余 $5 - (-3) = 8$。验:$(x - 1)(x + 3) + 8 = x^{2} + 2x + 5$。$\checkmark$ $$ f(x) \;=\; (x + 3) \;+\; \frac{8}{x - 1}. $$ 故 $m = 1$、$c = 3$、$R = 8$。

(b) 渐近线 A1·A1

竖直:$x - 1 = 0 \Rightarrow x = 1$(分子在 $x = 1$ 处为 $1 + 2 + 5 = 8 \ne 0$,不可约)。 斜渐近线:由长除法形式 $f(x) = (x + 3) + \dfrac{8}{x - 1}$,余项当 $x \to \pm\infty$ 时趋于 $0$,故 $f(x) \to x + 3$。斜渐近线:$y = x + 3$。

(c) 不与斜渐近线相交 M1·A1

$f(x) = x + 3 \;\Leftrightarrow\; (x + 3) + \dfrac{8}{x - 1} = x + 3 \;\Leftrightarrow\; \dfrac{8}{x - 1} = 0$。分数 $\dfrac{8}{x - 1}$ 永不为零(分子是非零常数 $8$)。故对一切 $x \ne 1$,$f(x) \ne x + 3$,即图像不与斜渐近线相交。

(d) 草图 M1·A1·A1

关键特征:
  • $y$ 截距:$f(0) = \dfrac{0 + 0 + 5}{-1} = -5$,过点 $(0, -5)$。
  • 竖直渐近线 $x = 1$;斜渐近线 $y = x + 3$。
  • 竖直渐近线附近的行为:$x \to 1^{-}$ 时 $x - 1 \to 0^{-}$,$\dfrac{8}{x - 1} \to -\infty$,故 $f(x) \to -\infty$;$x \to 1^{+}$ 时 $\dfrac{8}{x - 1} \to +\infty$,故 $f(x) \to +\infty$。
  • 两支相对于斜渐近线的位置:$x > 1$ 时 $\dfrac{8}{x - 1} > 0$,右支在 $y = x + 3$ 上方;$x < 1$ 时 $\dfrac{8}{x - 1} < 0$,左支在 下方。由 (c) 都不相交。
图像形如双曲线,两支被 $x = 1$ 分开:右支自 $(1^{+}, +\infty)$ 进入,自上方逼近 $y = x + 3$ 并沿斜渐近线趋于 $(+\infty, +\infty)$;左支自 $(-\infty, -\infty)$ 沿斜渐近线下方进入,过 $(0, -5)$,降至 $(1^{-}, -\infty)$。
长除法是斜渐近线(以及"不相交")的总钥匙。一旦写成 $f(x) = Q(x) + \dfrac{R(x)}{D(x)}$($\deg R < \deg D$),三个事实免费送上:(i) 多项式部分 $Q(x)$ 即渐近线($\deg Q = 0$ 时水平、$\deg Q = 1$ 时斜);(ii) 图像与 $Q$ 相交当且仅当 $\dfrac{R(x)}{D(x)} = 0$,即余项分子为零之处——本题余项为非零常数 $8$,故不相交;(iii) $\dfrac{R(x)}{D(x)}$ 的符号告诉你每支位于 $Q$ 的哪一侧。在"二次除以一次"这类构型中,整张草图从长除法的输出就能读出。不做长除法 = 在猜。
PART III  ·  PAPER 2 · SOLUTIONS第三部分  ·  第二卷 · 解析Calculator · 16 marks可使用计算器 · 16 分

Paper 2 · Worked Solutions第二卷 · 详细解析

Q6MEDIUMPaper 22.13 Range from GDC (HL)[7 marks]

$f(x) = \dfrac{x^{2} - 1}{x^{2} + 1}$. (a) HA + limit. (b) GDC minimum. (c) Range.$f(x) = \dfrac{x^{2} - 1}{x^{2} + 1}$。(a) 水平渐近线及极限论证;(b) GDC 最小值;(c) 值域。

Answers:答案:  (a) $y = 1$  ·  (b) min $f(0) = -1$最小值 $f(0) = -1$  ·  (c) $[-1,\, 1)$

(a) Horizontal asymptote + limit M1·A1

Both numerator and denominator have degree $2$, leading coefficients $1$ and $1$. Divide top and bottom by $x^{2}$: $$ f(x) \;=\; \frac{x^{2} - 1}{x^{2} + 1} \;=\; \frac{1 - 1/x^{2}}{1 + 1/x^{2}} \;\xrightarrow{x \to \pm\infty}\; \frac{1 - 0}{1 + 0} \;=\; 1. $$ HA: $y = 1$.

(b) GDC minimum M1·A1·A1

The function is even ($f(-x) = f(x)$), so its extrema sit on the $y$-axis. On the GDC, graph $y_{1} = (x^{2} - 1)/(x^{2} + 1)$ in a window like $[-5, 5] \times [-1.5, 1.5]$. Use the minimum-finder (or evaluate at $x = 0$): $f(0) = \dfrac{0 - 1}{0 + 1} = -1$. As $|x|$ grows, $f$ increases monotonically towards $1$ from below. Global minimum: $f(0) = -1$ at $x = 0$.

(c) Range A1·A1

From (a) and (b): the minimum value $-1$ is attained at $x = 0$, while the supremum $1$ is approached but never reached (HA, not crossed: $f(x) = 1$ would force $x^{2} - 1 = x^{2} + 1$, i.e. $-1 = 1$, impossible). Combine with monotonicity (decreasing then increasing, with $f$ even): $$ \boxed{\; \text{Range}(f) \;=\; [-1,\, 1) \;} $$ Closed at $-1$ (attained), open at $1$ (asymptotic).
"Attained or asymptotic" is the bracket rule. For range questions on rational functions, every endpoint of the answer interval comes from either (i) a turning point — closed bracket, the value is genuinely reached — or (ii) a horizontal asymptote — open bracket, the value is only approached. Mixing these up costs an A1 every time. Cross-check with a sign argument: $1 - f(x) = 1 - \dfrac{x^{2} - 1}{x^{2} + 1} = \dfrac{2}{x^{2} + 1} > 0$ for all $x$, so $f(x) < 1$ always — open bracket at $1$. Likewise $f(x) + 1 = \dfrac{2x^{2}}{x^{2} + 1} \ge 0$, equality at $x = 0$ — closed bracket at $-1$.

(a) 水平渐近线及极限 M1·A1

分子分母同为二次,首项系数均为 $1$。同除 $x^{2}$: $$ f(x) \;=\; \frac{x^{2} - 1}{x^{2} + 1} \;=\; \frac{1 - 1/x^{2}}{1 + 1/x^{2}} \;\xrightarrow{x \to \pm\infty}\; \frac{1 - 0}{1 + 0} \;=\; 1. $$ 水平渐近线:$y = 1$。

(b) GDC 求最小值 M1·A1·A1

函数为偶函数($f(-x) = f(x)$),故极值在 $y$ 轴上。在 GDC 上以窗口 $[-5, 5] \times [-1.5, 1.5]$ 绘 $y_{1} = (x^{2} - 1)/(x^{2} + 1)$。用 minimum 功能(或直接代入 $x = 0$):$f(0) = \dfrac{0 - 1}{0 + 1} = -1$。$|x|$ 增大时 $f$ 单调递增并自下方趋近 $1$。全局最小值:$f(0) = -1$,于 $x = 0$ 取到。

(c) 值域 A1·A1

由 (a)、(b):最小值 $-1$ 在 $x = 0$ 取到,上确界 $1$ 仅趋近、不可取(水平渐近线不被穿过:$f(x) = 1 \Rightarrow x^{2} - 1 = x^{2} + 1 \Rightarrow -1 = 1$,不可能)。结合单调性(先减后增,偶函数): $$ \boxed{\; \text{Range}(f) \;=\; [-1,\, 1) \;} $$ $-1$ 闭(取到)、$1$ 开(渐近)。
"取到还是渐近"决定括号开闭。有理函数求值域时,答案区间的每个端点要么是 (i) 极值点 $\Rightarrow$ 闭括号(真正取到),要么是 (ii) 水平渐近线 $\Rightarrow$ 开括号(只趋近)。两者混淆每次必扣 A1。也可用符号论证核对:$1 - f(x) = 1 - \dfrac{x^{2} - 1}{x^{2} + 1} = \dfrac{2}{x^{2} + 1} > 0$ 恒成立,故 $f(x) < 1$ 恒成立——$1$ 处开括号。同理 $f(x) + 1 = \dfrac{2x^{2}}{x^{2} + 1} \ge 0$,等号在 $x = 0$ 取到——$-1$ 处闭括号。
Q7HARDPaper 22.13 Quotient Rule + Asymptote Analysis (HL)[9 marks]

$f(x) = \dfrac{x}{x^{2} + 1}$. (a) No VA; HA. (b) $f'(x) = \dfrac{1 - x^{2}}{(x^{2}+1)^{2}}$. (c) Turning points + classify. (d) Range.$f(x) = \dfrac{x}{x^{2} + 1}$。(a) 无竖直渐近线;水平渐近线;(b) 商法则;(c) 转折点及判定;(d) 值域。

Answers:答案:  (a) no VA;无竖直渐近线;$y = 0$  ·  (c) max极大 $(1, \tfrac{1}{2})$, min极小 $(-1, -\tfrac{1}{2})$  ·  (d) $[-\tfrac{1}{2},\, \tfrac{1}{2}]$

(a) No VA; horizontal asymptote A1·A1

Denominator $x^{2} + 1 \ge 1 > 0$ for every real $x$, so it never vanishes. No vertical asymptote. Degree of numerator ($1$) $<$ degree of denominator ($2$), so the HA is $y = 0$: $$ \lim_{x \to \pm\infty} \frac{x}{x^{2} + 1} \;=\; \lim_{x \to \pm\infty} \frac{1/x}{1 + 1/x^{2}} \;=\; \frac{0}{1} \;=\; 0. $$

(b) Derivative by quotient rule M1·A1·A1

Let $u = x$ and $v = x^{2} + 1$. Then $u' = 1$ and $v' = 2x$. Quotient rule: $$ f'(x) \;=\; \frac{u'v - uv'}{v^{2}} \;=\; \frac{1 \cdot (x^{2} + 1) - x \cdot 2x}{(x^{2} + 1)^{2}} \;=\; \frac{x^{2} + 1 - 2x^{2}}{(x^{2} + 1)^{2}} \;=\; \frac{1 - x^{2}}{(x^{2} + 1)^{2}}. \quad \text{AG} $$

(c) Turning points and classification M1·A1·A1

The denominator $(x^{2} + 1)^{2} > 0$ is always positive, so the sign of $f'(x)$ equals the sign of the numerator $1 - x^{2} = (1 - x)(1 + x)$. $f'(x) = 0 \Leftrightarrow 1 - x^{2} = 0 \Leftrightarrow x = \pm 1$. Sign of $f'$:
  • $x < -1$: $(1 - x) > 0$, $(1 + x) < 0 \Rightarrow f'(x) < 0$.
  • $-1 < x < 1$: $(1 - x) > 0$, $(1 + x) > 0 \Rightarrow f'(x) > 0$.
  • $x > 1$: $(1 - x) < 0$, $(1 + x) > 0 \Rightarrow f'(x) < 0$.
At $x = -1$, $f'$ goes from $-$ to $+$: local minimum. At $x = 1$, $f'$ goes from $+$ to $-$: local maximum. Values: $f(1) = \dfrac{1}{1 + 1} = \dfrac{1}{2}$ and $f(-1) = \dfrac{-1}{1 + 1} = -\dfrac{1}{2}$. Turning points: $\bigl(1, \tfrac{1}{2}\bigr)$ (max), $\bigl(-1, -\tfrac{1}{2}\bigr)$ (min).

(d) Range A1

$f$ is continuous on $\mathbb{R}$, has $\lim_{x \to \pm\infty} f(x) = 0$, and attains a global maximum $\tfrac{1}{2}$ at $x = 1$ and a global minimum $-\tfrac{1}{2}$ at $x = -1$. By the intermediate-value theorem $f$ takes every value between $-\tfrac{1}{2}$ and $\tfrac{1}{2}$, and both endpoints are attained. Range: $\bigl[-\tfrac{1}{2},\, \tfrac{1}{2}\bigr]$.
The denominator $x^{2} + 1$ is the canonical "never zero" trick. Any time you see $x^{2} + 1$ (or $x^{2} + c$ with $c > 0$) in a denominator, the function has no vertical asymptotes — and the quotient-rule derivative will inherit this clean denominator, raised to a power. That gives you a free win: the sign of $f'$ is controlled entirely by its numerator, so you skip the "test where denominator changes sign" step. Pattern-match this on Paper 2 / Paper 3: $\dfrac{p(x)}{x^{2} + 1}$, $\dfrac{p(x)}{(x^{2} + 1)^{2}}$, etc., reduce extrema questions to root-finding on the numerator. Bonus: both endpoints of the range are attained here (closed brackets), unlike Q6 where the HA contributed an open bracket. Always check whether the asymptote value gets shadowed by an interior extremum that captures the same value attained — here $y = 0$ is sandwiched between $\pm 1/2$, so it sits inside the range, not at its boundary.

(a) 无竖直渐近线;水平渐近线 A1·A1

分母 $x^{2} + 1 \ge 1 > 0$,恒不为零。无竖直渐近线。 分子次数 $1 <$ 分母次数 $2$,故水平渐近线 $y = 0$: $$ \lim_{x \to \pm\infty} \frac{x}{x^{2} + 1} \;=\; \lim_{x \to \pm\infty} \frac{1/x}{1 + 1/x^{2}} \;=\; \frac{0}{1} \;=\; 0. $$

(b) 商法则求导 M1·A1·A1

设 $u = x$、$v = x^{2} + 1$。则 $u' = 1$、$v' = 2x$。商法则: $$ f'(x) \;=\; \frac{u'v - uv'}{v^{2}} \;=\; \frac{1 \cdot (x^{2} + 1) - x \cdot 2x}{(x^{2} + 1)^{2}} \;=\; \frac{x^{2} + 1 - 2x^{2}}{(x^{2} + 1)^{2}} \;=\; \frac{1 - x^{2}}{(x^{2} + 1)^{2}}. \quad \text{AG} $$

(c) 转折点与判定 M1·A1·A1

分母 $(x^{2} + 1)^{2} > 0$ 恒正,故 $f'(x)$ 的符号由分子 $1 - x^{2} = (1 - x)(1 + x)$ 决定。 $f'(x) = 0 \Leftrightarrow 1 - x^{2} = 0 \Leftrightarrow x = \pm 1$。 $f'$ 的符号:
  • $x < -1$:$(1 - x) > 0$、$(1 + x) < 0 \Rightarrow f'(x) < 0$。
  • $-1 < x < 1$:两因子同正 $\Rightarrow f'(x) > 0$。
  • $x > 1$:$(1 - x) < 0$、$(1 + x) > 0 \Rightarrow f'(x) < 0$。
$x = -1$ 处 $f'$ 由 $-$ 变 $+$:极小;$x = 1$ 处 $f'$ 由 $+$ 变 $-$:极大。 值:$f(1) = \dfrac{1}{1 + 1} = \dfrac{1}{2}$,$f(-1) = -\dfrac{1}{2}$。 转折点:$\bigl(1, \tfrac{1}{2}\bigr)$(极大)、$\bigl(-1, -\tfrac{1}{2}\bigr)$(极小)。

(d) 值域 A1

$f$ 在 $\mathbb{R}$ 上连续,$\lim_{x \to \pm\infty} f(x) = 0$,全局极大 $\tfrac{1}{2}$($x = 1$)、全局极小 $-\tfrac{1}{2}$($x = -1$)。由介值定理 $f$ 取遍 $\bigl[-\tfrac{1}{2}, \tfrac{1}{2}\bigr]$ 中每个值,且两端点都取到。值域:$\bigl[-\tfrac{1}{2},\, \tfrac{1}{2}\bigr]$。
分母 $x^{2} + 1$ 是经典的"恒不为零"套路。分母里出现 $x^{2} + 1$(或 $x^{2} + c$,$c > 0$)时,函数无竖直渐近线——商法则求导后分母还会更高次但仍非零。这送你一份福利:$f'$ 的符号完全由分子决定,"分母变号"那一步可以跳过。Paper 2 / Paper 3 模式匹配:$\dfrac{p(x)}{x^{2} + 1}$、$\dfrac{p(x)}{(x^{2} + 1)^{2}}$ 等,求极值就只需对分子求根。附赠:本题值域两端都取到(闭括号),与 Q6 中水平渐近线提供开括号不同。要核查:水平渐近线之值是否被某个内部极值"覆盖"——本题 $y = 0$ 夹在 $\pm 1/2$ 之间,落在值域内部,并非端点。
PART IV  ·  PAPER 3 · SOLUTIONS第四部分  ·  第三卷 · 解析Calculator · HL extended exploration · 15 marks可使用计算器 · HL 长题探究 · 15 分

Paper 3 · Worked Solutions第三卷 · 详细解析

Q8HARDPaper 32.8 Bilinear Maps · Self-Inverse (HL)[15 marks]

$f(x) = \dfrac{ax + b}{cx + d}$, $c \ne 0$, $ad - bc \ne 0$. (a) Asymptotes. (b) $f^{-1}$. (c) VA of $f^{-1}$ = HA of $f$. (d) Self-inverse $\Leftrightarrow a + d = 0$. (e) Verify on $\dfrac{2x + 3}{x - 2}$.$f(x) = \dfrac{ax + b}{cx + d}$,$c \ne 0$、$ad - bc \ne 0$。(a) 渐近线;(b) $f^{-1}$;(c) $f^{-1}$ 竖直渐近线 = $f$ 水平渐近线;(d) 自逆 $\Leftrightarrow a + d = 0$;(e) 在 $\dfrac{2x + 3}{x - 2}$ 上验证。

Answers:答案:  (a) $x = -d/c$, $y = a/c$  ·  (b) $f^{-1}(x) = \dfrac{-dx + b}{cx - a}$  ·  (d) self-inverse iff $a + d = 0$自逆 $\Leftrightarrow a + d = 0$  ·  (e) $f(f(x)) = x$

(a) Asymptotes A1·A1

Vertical: set the denominator to zero, $cx + d = 0 \Rightarrow x = -d/c$ (valid since $c \ne 0$). The numerator at this point is $a(-d/c) + b = (-ad + bc)/c = -(ad - bc)/c \ne 0$ (since $ad - bc \ne 0$), so no cancellation. Horizontal: numerator and denominator are both of degree $1$, leading coefficients $a$ and $c$, so $y = a/c$.

(b) Find $f^{-1}$ M1·A1·A1

Set $y = \dfrac{ax + b}{cx + d}$, swap $x \leftrightarrow y$: $\; x = \dfrac{ay + b}{cy + d}$. Clear and solve: $$ x(cy + d) = ay + b \;\Longrightarrow\; cxy + dx = ay + b \;\Longrightarrow\; y(cx - a) = b - dx. $$ Divide by $(cx - a)$ (valid for $x \ne a/c$): $$ f^{-1}(x) \;=\; \frac{b - dx}{cx - a} \;=\; \frac{-dx + b}{cx - a}. \quad \text{AG} $$

(c) VA of $f^{-1}$ = HA of $f$ A1·R1

VA of $f^{-1}$: $cx - a = 0 \Rightarrow x = a/c$. HA of $f$ from (a): $y = a/c$. Both equal $a/c$, so the VA of $f^{-1}$ coincides numerically with the HA of $f$. This is the algebraic reflection of the geometric fact: the graph of $f^{-1}$ is the reflection of the graph of $f$ in the line $y = x$, under which the horizontal line $y = a/c$ becomes the vertical line $x = a/c$.

(d) Self-inverse $\Leftrightarrow a + d = 0$ M1·A1·A1·A1·R1

$(\Leftarrow)$. Suppose $a + d = 0$, so $d = -a$. Then $$ f^{-1}(x) \;=\; \frac{-dx + b}{cx - a} \;=\; \frac{-(-a)x + b}{cx - a} \;=\; \frac{ax + b}{cx - a} \;=\; \frac{ax + b}{cx + d} \;=\; f(x). $$ (Using $d = -a$ in the last step.) Hence $f^{-1} = f$. $(\Rightarrow)$. Suppose $f = f^{-1}$, i.e. $\dfrac{ax + b}{cx + d} = \dfrac{-dx + b}{cx - a}$ for every $x$ in the common domain. Cross-multiply: $$ (ax + b)(cx - a) \;=\; (-dx + b)(cx + d). $$ Expand both sides:
  • LHS: $acx^{2} - a^{2}x + bcx - ab = acx^{2} + (bc - a^{2})x - ab$.
  • RHS: $-dcx^{2} - d^{2}x + bcx + bd = -cdx^{2} + (bc - d^{2})x + bd$.
Equate coefficients:
  • $x^{2}$: $ac = -cd \Rightarrow c(a + d) = 0$. Since $c \ne 0$, $\;a + d = 0$.
  • $x^{1}$: $bc - a^{2} = bc - d^{2} \Rightarrow a^{2} = d^{2}$, consistent with $d = -a$ (or $d = a$, but coupled with $a + d = 0$ that gives $a = d = 0$, a degenerate case already excluded by $c \ne 0$ and $ad - bc \ne 0$... actually $a = d = 0$ gives $ad - bc = -bc$, which is non-zero if $b, c \ne 0$, but then $a + d = 0$ holds trivially).
  • $x^{0}$: $-ab = bd \Rightarrow b(a + d) = 0$, satisfied since $a + d = 0$.
Therefore $a + d = 0$ is both necessary and sufficient.

(e) Verify on $f(x) = \dfrac{2x + 3}{x - 2}$ M1·A1·A1

Here $a = 2$, $b = 3$, $c = 1$, $d = -2$, so $a + d = 0$ — the theorem predicts $f$ is self-inverse. Compute $f(f(x))$: $$ f(f(x)) \;=\; \frac{2 \cdot \dfrac{2x + 3}{x - 2} + 3}{\dfrac{2x + 3}{x - 2} - 2}. $$ Multiply numerator and denominator by $(x - 2)$: $$ f(f(x)) \;=\; \frac{2(2x + 3) + 3(x - 2)}{(2x + 3) - 2(x - 2)} \;=\; \frac{4x + 6 + 3x - 6}{2x + 3 - 2x + 4} \;=\; \frac{7x}{7} \;=\; x. \;\checkmark $$ Confirms $f$ is self-inverse, in line with (d).
Trace and determinant determine everything. Associate to $f(x) = \dfrac{ax + b}{cx + d}$ the matrix $M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$. Three invariants tell the whole story: (i) $\det M = ad - bc \ne 0$ ensures $f$ is invertible; (ii) the asymptotes are encoded in $M$'s columns/rows — VA at $x = -d/c$ uses the bottom row, HA at $y = a/c$ uses the leading entries; (iii) $\operatorname{tr} M = a + d$. The Cayley-Hamilton identity $M^{2} - (\operatorname{tr} M)\,M + (\det M)\,I = 0$ specialises to $M^{2} = -(\det M)\,I$ when $\operatorname{tr} M = 0$, which is exactly the matrix encoding of $f \circ f = \mathrm{id}$ (since the Mobius action ignores scalar multiples of $I$). Period-$n$ Mobius transforms (those with $f^{n} = \mathrm{id}$) correspond to matrices whose eigenvalues are $n$-th roots of unity, generalising "self-inverse $\Leftrightarrow$ trace $= 0$" to every cyclic order. This is the deep structural story behind Paper 3 explorations on linear-fractional groups.

(a) 渐近线 A1·A1

竖直:令分母为零,$cx + d = 0 \Rightarrow x = -d/c$($c \ne 0$ 时有效)。该处分子为 $a(-d/c) + b = -(ad - bc)/c \ne 0$(因 $ad - bc \ne 0$),不可约。 水平:分子分母同为一次,最高次系数 $a$、$c$,故 $y = a/c$。

(b) 求 $f^{-1}$ M1·A1·A1

令 $y = \dfrac{ax + b}{cx + d}$,交换 $x \leftrightarrow y$:$\; x = \dfrac{ay + b}{cy + d}$。去分母并解: $$ x(cy + d) = ay + b \;\Longrightarrow\; cxy + dx = ay + b \;\Longrightarrow\; y(cx - a) = b - dx. $$ 除以 $(cx - a)$($x \ne a/c$ 时有效): $$ f^{-1}(x) \;=\; \frac{b - dx}{cx - a} \;=\; \frac{-dx + b}{cx - a}. \quad \text{AG} $$

(c) $f^{-1}$ 的竖直渐近线 = $f$ 的水平渐近线 A1·R1

$f^{-1}$ 的竖直渐近线:$cx - a = 0 \Rightarrow x = a/c$。$f$ 的水平渐近线(由 (a)):$y = a/c$。两者数值同为 $a/c$。这是几何事实的代数反映:$f^{-1}$ 的图像是 $f$ 关于 $y = x$ 的反射,反射把水平直线 $y = a/c$ 变成竖直直线 $x = a/c$。

(d) 自逆 $\Leftrightarrow a + d = 0$ M1·A1·A1·A1·R1

$(\Leftarrow)$。设 $a + d = 0$,则 $d = -a$。 $$ f^{-1}(x) \;=\; \frac{-dx + b}{cx - a} \;=\; \frac{-(-a)x + b}{cx - a} \;=\; \frac{ax + b}{cx - a} \;=\; \frac{ax + b}{cx + d} \;=\; f(x). $$ (末步用 $d = -a$。)故 $f^{-1} = f$。 $(\Rightarrow)$。设 $f = f^{-1}$,即对公共定义域每个 $x$,$\dfrac{ax + b}{cx + d} = \dfrac{-dx + b}{cx - a}$。交叉相乘: $$ (ax + b)(cx - a) \;=\; (-dx + b)(cx + d). $$ 两侧展开:
  • 左:$acx^{2} - a^{2}x + bcx - ab = acx^{2} + (bc - a^{2})x - ab$。
  • 右:$-dcx^{2} - d^{2}x + bcx + bd = -cdx^{2} + (bc - d^{2})x + bd$。
比较系数:
  • $x^{2}$:$ac = -cd \Rightarrow c(a + d) = 0$。由 $c \ne 0$,$\;a + d = 0$。
  • $x^{1}$:$bc - a^{2} = bc - d^{2} \Rightarrow a^{2} = d^{2}$,与 $d = -a$ 一致。
  • $x^{0}$:$-ab = bd \Rightarrow b(a + d) = 0$,由 $a + d = 0$ 自动成立。
故 $a + d = 0$ 既必要又充分。

(e) 在 $f(x) = \dfrac{2x + 3}{x - 2}$ 上验证 M1·A1·A1

此处 $a = 2$、$b = 3$、$c = 1$、$d = -2$,$a + d = 0$——按 (d) 预测 $f$ 自逆。计算 $f(f(x))$: $$ f(f(x)) \;=\; \frac{2 \cdot \dfrac{2x + 3}{x - 2} + 3}{\dfrac{2x + 3}{x - 2} - 2}. $$ 分子分母同乘 $(x - 2)$: $$ f(f(x)) \;=\; \frac{2(2x + 3) + 3(x - 2)}{(2x + 3) - 2(x - 2)} \;=\; \frac{4x + 6 + 3x - 6}{2x + 3 - 2x + 4} \;=\; \frac{7x}{7} \;=\; x. \;\checkmark $$ 确认 $f$ 自逆,与 (d) 吻合。
迹与行列式决定一切。给 $f(x) = \dfrac{ax + b}{cx + d}$ 关联矩阵 $M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$。三个不变量讲完整故事:(i) $\det M = ad - bc \ne 0$ 保证 $f$ 可逆;(ii) 渐近线编码在 $M$ 的行列里——竖直渐近线 $x = -d/c$ 用底行,水平渐近线 $y = a/c$ 用首位元;(iii) $\operatorname{tr} M = a + d$。凯莱 $-$ 哈密顿恒等式 $M^{2} - (\operatorname{tr} M)\,M + (\det M)\,I = 0$,在 $\operatorname{tr} M = 0$ 时退化为 $M^{2} = -(\det M)\,I$,正是 $f \circ f = \mathrm{id}$ 的矩阵编码(Mobius 作用忽略 $I$ 的标量倍)。周期 $n$ 的 Mobius 变换($f^{n} = \mathrm{id}$)对应矩阵特征值为 $n$ 次单位根,是"自逆 $\Leftrightarrow$ 迹 $= 0$"的全周期推广。这就是 Paper 3 线性分式群探究的深层结构。