From 89a3b16ef592c2982438ee77ec7b696943c3f46e Mon Sep 17 00:00:00 2001
From: ViperEkura <3081035982@qq.com>
Date: Thu, 14 May 2026 15:31:40 +0800
Subject: [PATCH] =?UTF-8?q?feat:=20=E7=A7=AF=E5=88=86-=E4=B8=87=E8=83=BD?=
 =?UTF-8?q?=E4=BB=A3=E6=8D=A2=E5=A2=9E=E5=8A=A0=E5=88=A4=E5=88=AB=E5=BC=8F?=
 =?UTF-8?q?=E5=88=86=E6=9E=90=EF=BC=88a=C2=B2-b=C2=B2=E5=86=B3=E5=AE=9Aarc?=
 =?UTF-8?q?tan/ln=E5=BD=A2=E5=BC=8F=EF=BC=89?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 subjects/math/04_积分_三角函数.md | 33 +++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

diff --git a/subjects/math/04_积分_三角函数.md b/subjects/math/04_积分_三角函数.md
index 41d46d9..d24bc85 100644
--- a/subjects/math/04_积分_三角函数.md
+++ b/subjects/math/04_积分_三角函数.md
@@ -72,6 +72,39 @@ $$
 
 适用类型：$R(\sin x, \cos x)$（有理函数形式）
 
+#### 万能代换判别式分析
+
+对于 $\displaystyle\int \frac{dx}{a + b\cos x}$，令 $t = \tan\frac{x}{2}$，代入万能代换公式得：
+
+$$\int \frac{dx}{a + b\cos x} = \int \frac{2\,dt}{(a+b) + (a-b)t^2}$$
+
+记 $A = a + b$，$B = a - b$，则积分化为
+
+$$2\int \frac{dt}{A + B t^2}$$
+
+其判别式为 $D = AB = (a+b)(a-b) = a^2 - b^2$。
+
+| $D$ 的符号 | $A,B$ 关系 | 分母 $A+Bt^2$ | 积分结果类型 |
+|------------|-----------|---------------|------------|
+| $D > 0$（$a^2 > b^2$）| $A,B$ 同号 | 恒正/恒负，无奇点 | $\arctan$ 型 |
+| $D = 0$（$a^2 = b^2$）| $A$ 或 $B = 0$ | 退化为常数或 $t^2$ | $\tan$/多项式 |
+| $D < 0$（$a^2 < b^2$）| $A,B$ 异号 | $A+Bt^2$ 可为零 | $\operatorname{artanh}$ / $\ln$ 型 |
+
+**直观理解**：原分母 $a + b\cos x$ 在实数域上是否恒不为零：
+
+- 若 $|a| > |b|$：$|b\cos x| \le |b| < |a|$，$a + b\cos x$ 永不等于零，积分处处有限 → $\arctan$
+- 若 $|a| < |b|$：存在 $x$ 使 $\cos x = -a/b$，分母为零 → 积分出现奇点 → 结果为 $\ln$ / $\operatorname{artanh}$
+
+**公式**：
+
+$D > 0$（$a^2 > b^2$）：
+$$\int \frac{dx}{a + b\cos x} = \frac{2}{\sqrt{a^2 - b^2}} \arctan\!\left( \sqrt{\frac{a-b}{a+b}}\;\tan\frac{x}{2} \right) + C$$
+
+$D < 0$（$a^2 < b^2$）：
+$$\int \frac{dx}{a + b\cos x} = \frac{1}{\sqrt{b^2 - a^2}} \ln\left| \frac{\sqrt{b+a} + \sqrt{b-a}\tan\frac{x}{2}}{\sqrt{b+a} - \sqrt{b-a}\tan\frac{x}{2}} \right| + C$$
+
+> **核心结论**：万能代换虽然能把所有三角有理式化为有理分式，但结果的 **形式**（$\arctan$ vs $\ln$）由判别式 $a^2 - b^2$ 正负决定。不区分 |a| 与 |b| 大小直接套公式会写出不成立的结果。
+
 #### 常用结论
 
 $$