问正切函数的原函数是多少 一个简洁的公式与推导

正切函数tan x的原函数是 -lncos x + C 或 lnsec x + C，其中C为任意常数。 这一结果源于对tan x = sin x / cos x的积分，通过换元法（令u = cos x）即可得到。由于lnsec x = -lncos x，两种形式等价。该原函数在定义域（x ≠ π/2 + kπ）内成立，常用于三角函数的积分计算、微分方程及物理问题中。

【常见问题】

问题1：正切函数的原函数为什么会出现绝对值？

回答1：因为正切函数tan x的定义域为x ≠ π/2 + kπ，而cos x在这些点处为零，且符号会变化。为了保证原函数在定义域内连续且可导，积分结果中必须加上绝对值，即 -lncos x + C，其中x表示绝对值，使函数在cos x为负时仍有效。

问题2：正切函数的原函数能否写成lnsec x + C？两者有何区别？

回答2：可以，因为lnsec x = ln1/cos x = -lncos x，所以lnsec x + C与 -lncos x + C本质相同，只是常数C的符号可能调整。实际应用中，根据题目方便性选择即可，但都必须带绝对值。

问题3：如何推导正切函数的原函数？

回答3：利用积分公式∫tan x dx = ∫(sin x / cos x) dx，令u = cos x，则du = -sin x dx，原积分变为 -∫(1/u) du = -lnu + C = -lncos x + C。也可通过分部积分或恒等式sec²x = 1 + tan²x间接验证。

问题4：正切函数的原函数在哪些区间上连续？

回答4：在每一个开区间(kπ - π/2, kπ + π/2)（k为整数）内，cos x≠0，原函数 -lncos x + C 连续且可导。但在x = π/2 + kπ处，函数有垂直渐近线，原函数在此处无定义，因此积分需分段处理。