这道题涉及到两个经典的积分计算,我来一步步为您拆解,让您明明白白地理解它们的计算过程。
首先,我们来看第一个积分:
$$ int frac{1}{x^2 + a^2} dx $$
这个积分是一个非常基础且常见的积分形式。看到分母是 $x^2$ 加上一个常数的平方 ($a^2$),我们立刻会想到三角换元法,特别是与正切函数相关的换元。
第一步:三角换元
我们设 $x = a an heta$。
为什么要这样设呢?因为我们知道恒等式 $1 + an^2 heta = sec^2 heta$。当我们将 $x$ 替换成 $a an heta$ 后,分母 $x^2 + a^2$ 就会变成 $(a an heta)^2 + a^2 = a^2 an^2 heta + a^2 = a^2 ( an^2 heta + 1) = a^2 sec^2 heta$。这个形式非常有利于后续的积分,因为 $sec^2 heta$ 是 $ an heta$ 的导数。
第二步:计算微分 $dx$
既然我们设定了 $x = a an heta$,那么我们需要计算 $dx$ 关于 $d heta$ 的微分。
对 $x = a an heta$ 两边求导(对 $ heta$ 求导):
$frac{dx}{d heta} = a cdot frac{d}{d heta}( an heta) = a sec^2 heta$
所以,$dx = a sec^2 heta , d heta$。
第三步:代入积分式
现在我们将 $x$ 和 $dx$ 的表达式代入原积分:
$$ int frac{1}{x^2 + a^2} dx = int frac{1}{(a an heta)^2 + a^2} (a sec^2 heta , d heta) $$
$$ = int frac{1}{a^2 an^2 heta + a^2} (a sec^2 heta , d heta) $$
$$ = int frac{1}{a^2 ( an^2 heta + 1)} (a sec^2 heta , d heta) $$
利用三角恒等式 $ an^2 heta + 1 = sec^2 heta$:
$$ = int frac{1}{a^2 sec^2 heta} (a sec^2 heta , d heta) $$
第四步:化简并积分
现在,积分式变得非常简单:
$$ = int frac{a sec^2 heta}{a^2 sec^2 heta} , d heta $$
消去分子分母中的 $a$ 和 $sec^2 heta$ (假设 $a
eq 0$ 且 $sec^2 heta
eq 0$,这在我们的换元中是成立的):
$$ = int frac{1}{a} , d heta $$
这是一个常数的积分,非常直接:
$$ = frac{1}{a} int 1 , d heta = frac{1}{a} heta + C $$
其中 $C$ 是积分常数。
第五步:换回原变量 $x$
我们得到的积分结果是关于 $ heta$ 的,但原积分是关于 $x$ 的。我们需要将 $ heta$ 换回 $x$。
我们最初的设是 $x = a an heta$。
所以,$ an heta = frac{x}{a}$。
那么,$ heta = arctan left(frac{x}{a}
ight)$。
将这个表达式代回我们的积分结果:
$$ int frac{1}{x^2 + a^2} dx = frac{1}{a} arctan left(frac{x}{a}
ight) + C $$
这就是第一个积分的完整计算过程。这个公式本身也是一个非常重要的基本积分公式,经常会遇到。
接下来,我们来看第二个积分,它的形式稍微复杂一些:
$$ int frac{1}{sqrt{x^2 a^2}} dx $$
看到被积函数中出现 $sqrt{x^2 a^2}$ 这样的形式,我们同样会联想到三角换元法,但这次我们选择与正割(secant)函数相关的换元,因为我们知道恒等式 $sec^2 heta 1 = an^2 heta$。
第一步:三角换元
我们设 $x = a sec heta$。
为什么要这样设呢?是因为当我们将 $x$ 替换成 $a sec heta$ 后,根号下的 $x^2 a^2$ 会变成 $(a sec heta)^2 a^2 = a^2 sec^2 heta a^2 = a^2 (sec^2 heta 1) = a^2 an^2 heta$。这样根号就可以去掉了。
重要提示: 使用三角换元时,需要注意变量的范围,以确保换元是单值且可逆的。
对于 $x = a sec heta$,我们需要确保 $sec heta$ 的值是单调的。通常我们选择 $ heta in [0, pi/2) cup (pi/2, pi]$。当 $a > 0$ 时,如果 $x > a$,我们可以设 $ heta in [0, pi/2)$,此时 $sec heta > 0$ 且 $ an heta > 0$。如果 $x < a$,我们可以设 $ heta in (pi/2, pi]$,此时 $sec heta < 0$ 且 $ an heta < 0$。
我们先考虑 $x > a$ 的情况。
第二步:计算微分 $dx$
对 $x = a sec heta$ 两边求导(对 $ heta$ 求导):
$frac{dx}{d heta} = a cdot frac{d}{d heta}(sec heta) = a sec heta an heta$
所以,$dx = a sec heta an heta , d heta$。
第三步:代入积分式
将 $x$ 和 $dx$ 的表达式代入原积分:
$$ int frac{1}{sqrt{x^2 a^2}} dx = int frac{1}{sqrt{(a sec heta)^2 a^2}} (a sec heta an heta , d heta) $$
$$ = int frac{1}{sqrt{a^2 sec^2 heta a^2}} (a sec heta an heta , d heta) $$
$$ = int frac{1}{sqrt{a^2 (sec^2 heta 1)}} (a sec heta an heta , d heta) $$
利用三角恒等式 $sec^2 heta 1 = an^2 heta$:
$$ = int frac{1}{sqrt{a^2 an^2 heta}} (a sec heta an heta , d heta) $$
现在处理根号部分 $sqrt{a^2 an^2 heta}$。
这里需要注意符号问题。 $sqrt{a^2 an^2 heta} = |a an heta|$。
如果我们假设 $a>0$ 且为了保证 $sqrt{x^2a^2}$ 是实数且取正值,那么 $x^2 > a^2$。
我们在换元 $x = a sec heta$ 时,通常为了方便处理,会限定 $ heta$ 的取值范围,例如 $ heta in [0, pi/2)$。在这种情况下,$sec heta > 0$ 且 $ an heta > 0$。所以 $|a an heta| = a an heta$ (假设 $a>0$)。
那么积分式变为:
$$ = int frac{1}{a an heta} (a sec heta an heta , d heta) $$
第四步:化简并积分
消去分子分母中的 $a$ 和 $ an heta$ (假设 $a
eq 0, an heta
eq 0$):
$$ = int sec heta , d heta $$
这个积分是一个非常经典的积分,其结果是 $ln|sec heta + an heta|$。
$$ = ln|sec heta + an heta| + C $$
第五步:换回原变量 $x$
我们需要将 $sec heta$ 和 $ an heta$ 换回 $x$。
我们设 $x = a sec heta$。
所以,$sec heta = frac{x}{a}$。
为了求 $ an heta$,我们可以利用 $ an^2 heta = sec^2 heta 1$:
$ an^2 heta = left(frac{x}{a}
ight)^2 1 = frac{x^2}{a^2} 1 = frac{x^2 a^2}{a^2}$
所以,$ an heta = pm sqrt{frac{x^2 a^2}{a^2}} = pm frac{sqrt{x^2 a^2}}{|a|}$。
这里又涉及到了符号问题。
回忆我们之前的假设:如果 $x > a > 0$,那么我们选择 $ heta in [0, pi/2)$。在这个区间,$sec heta > 0$ 且 $ an heta > 0$。
所以,我们应该取正号: $ an heta = frac{sqrt{x^2 a^2}}{a}$ (假设 $a>0$)。
将 $sec heta$ 和 $ an heta$ 的表达式代回积分结果:
$$ int frac{1}{sqrt{x^2 a^2}} dx = lnleft|frac{x}{a} + frac{sqrt{x^2 a^2}}{a}
ight| + C $$
$$ = lnleft|frac{x + sqrt{x^2 a^2}}{a}
ight| + C $$
利用对数的性质 $lnleft|frac{A}{B}
ight| = ln|A| ln|B|$:
$$ = ln|x + sqrt{x^2 a^2}| ln|a| + C $$
由于 $ln|a|$ 是一个常数,我们可以将其合并到积分常数 $C$ 中,得到一个新的常数 $C'$。
$$ = ln|x + sqrt{x^2 a^2}| + C' $$
另一种常用的形式:双曲函数换元
这个积分也可以用双曲函数来解决,结果通常更简洁,而且可以避免一些符号的繁琐。
我们知道双曲正弦的定义是 $sinh t = frac{e^t e^{t}}{2}$,双曲余弦是 $cosh t = frac{e^t + e^{t}}{2}$,以及双曲函数的基本恒等式 $cosh^2 t sinh^2 t = 1$。
第一步:双曲换元
设 $x = a cosh t$。
当 $x > a > 0$ 时,我们知道 $cosh t ge 1$,所以 $x ge a$ 是满足的。我们通常选择 $t ge 0$,此时 $cosh t$ 是单调递增的,且 $cosh t ge 1$。
第二步:计算微分 $dx$
对 $x = a cosh t$ 两边求导(对 $t$ 求导):
$frac{dx}{dt} = a sinh t$
所以,$dx = a sinh t , dt$。
第三步:代入积分式
$$ int frac{1}{sqrt{x^2 a^2}} dx = int frac{1}{sqrt{(a cosh t)^2 a^2}} (a sinh t , dt) $$
$$ = int frac{1}{sqrt{a^2 cosh^2 t a^2}} (a sinh t , dt) $$
$$ = int frac{1}{sqrt{a^2 (cosh^2 t 1)}} (a sinh t , dt) $$
利用双曲恒等式 $cosh^2 t 1 = sinh^2 t$:
$$ = int frac{1}{sqrt{a^2 sinh^2 t}} (a sinh t , dt) $$
现在处理根号部分 $sqrt{a^2 sinh^2 t} = |a sinh t|$。
如果选择 $t ge 0$,则 $sinh t ge 0$。假设 $a>0$,那么 $|a sinh t| = a sinh t$。
$$ = int frac{1}{a sinh t} (a sinh t , dt) $$
第四步:化简并积分
消去分子分母中的 $a$ 和 $sinh t$ (假设 $a
eq 0, sinh t
eq 0$):
$$ = int 1 , dt $$
这是一个常数的积分:
$$ = t + C $$
第五步:换回原变量 $x$
我们设 $x = a cosh t$。
所以,$cosh t = frac{x}{a}$。
反双曲余弦函数是 $ ext{arccosh } u = ln(u + sqrt{u^2 1})$。
所以,$t = ext{arccosh} left(frac{x}{a}
ight)$。
将其代入积分结果:
$$ int frac{1}{sqrt{x^2 a^2}} dx = ext{arccosh} left(frac{x}{a}
ight) + C $$
如果我们展开 $ ext{arccosh} left(frac{x}{a}
ight)$:
$$ ext{arccosh} left(frac{x}{a}
ight) = lnleft(frac{x}{a} + sqrt{left(frac{x}{a}
ight)^2 1}
ight) $$
$$ = lnleft(frac{x}{a} + sqrt{frac{x^2 a^2}{a^2}}
ight) $$
$$ = lnleft(frac{x}{a} + frac{sqrt{x^2 a^2}}{|a|}
ight) $$
假设 $a>0$,那么
$$ = lnleft(frac{x + sqrt{x^2 a^2}}{a}
ight) $$
$$ = ln|x + sqrt{x^2 a^2}| ln|a| $$
再次合并常数项,我们得到和三角换元一样的结果:
$$ int frac{1}{sqrt{x^2 a^2}} dx = ln|x + sqrt{x^2 a^2}| + C $$
这两个积分的计算都充分利用了特殊的三角函数或双曲函数的恒等式,通过换元将复杂的积分转化为简单的积分形式。在实际应用中,理解这些换元的原理以及如何处理符号问题是关键。第一个积分的结果是反正切函数的导数,而第二个积分的结果则涉及对数函数或反双曲余弦函数。