积分喵喵

在微积分中，求不定积分 int sec t , dt 有一个非常经典且巧妙的技巧。我们可以通过构造一个特定的分式，使得分子恰好是分母的导数，从而利用对数积分公式 int frac{1}{u} du = ln|u| + C 来求解。******
推导过程：

第一步：
sec t = frac{1}{cos t}。直接积分比较困难，我们尝试给 sec t 的分子和分母同时乘以一个特定的式子，即 (sec t + tan t)。

sec t = frac{sec t cdot (sec t + tan t)}{sec t + tan t} = frac{sec^2 t + sec t tan t}{sec t + tan t}

第二步：进行换元积分

现在，我们将原积分重写为：

int sec t , dt = int frac{sec^2 t + sec t tan t}{sec t + tan t} , dt

观察这个分式，我们令分母为一个新的变量 u：
u = sec t + tan t

接下来，我们求 u 对 t 的导数（即 du）：
sec t 的导数是 sec t tan t
tan t 的导数是 sec^2 t

所以：
frac{du}{dt} = sec t tan t + sec^2 t
du = (sec^2 t + sec t tan t) , dt

第三步：代入积分

你会发现，我们刚才构造的分子 (sec^2 t + sec t tan t) , dt 恰好就是 du，而分母正是 u。

因此，原积分可以完美地替换为：
int frac{1}{u} , du

第四步：得出结果

根据基本积分公式：
int frac{1}{u} , du = ln|u| + C

将 u = sec t + tan t 代回，我们就得到了：
int sec t , dt = ln|sec t + tan t| + C

总结：
这个结果之所以成立，是因为我们通过乘以“共轭”项 (sec t + tan t)，成功地将 sec t 转化为了一个“导数比原函数”的形式（即 frac{u'}{u} 的形式），从而直接积分得到了自然对数。这就是该公式背后的核心逻辑。