这里的arctanh并不是真正意义上的反双曲正切函数。为了让(1)和(2)格式统一,借用arctanh。
注意:这里的反双曲正切函数写成 ln 之后,ln 后面需要带上绝对值。
.
这里的(1)和(2)的格式还是很统一的。
.
.
证明(1)。
蓝色的积分推导过程见130楼。
.
.
下图第一行的积分推导过程见130楼。
引入新常数 C2, 把其他的ln常数合并到 C 中。
.
.
证明(2)。
.
.
因为 4ac-b² 可能是负数,所以下图最终结果可能小于零,所以本楼层第一图的 ln 内部需要加上绝对值。
.