“反正切函数的求导”这几个字摊开在教材里不过半行公式可我在帮人看习题本、整理答疑记录这些年里凡是被 arctan 卡住的错的往往不是那半行公式本身而是公式外面的那层链式法则、符号判断和恒等变形。有人能倒背 ( (\arctan x) \frac{1}{1x^2} )一上手写 ( \arctan(2x) ) 的导数立刻掉系数有人复合函数处理得挺顺碰到 ( \arctan\frac{1-x}{1x} ) 就从头展开硬算算到第三行把自己绕晕。这篇东西我打算把反正切函数求导这一块从根上拆一遍它到底在考什么、三种推导路线怎么选、习题按类型怎么打、错题怎么自己查出来。刚接触导数的读者能照着抄步骤已经学过一遍但总在细节上掉链子的读者应该能从排查表那节里捞到点真东西。1. 先把这道题的本质说清楚它到底在考什么1.1 一个公式背后压着三块知识点很多人把 ( (\arctan x) \frac{1}{1x^2} ) 当成一个孤立的记忆条目这是理解上最大的偏差。这条公式其实是三块知识咬合出来的结果。第一块是反函数求导法则若 ( y f(x) ) 与 ( x f^{-1}(y) ) 互为反函数且 ( f(y) \neq 0 )则 ( (f^{-1})(y) \frac{1}{f(x)} )。这条法则要求你会判断谁是自变量、谁在分母。第二块是三角恒等式( \sec^2 y 1 \tan^2 y )以及 ( \cos^2 y \frac{1}{1\tan^2 y} )。第三块是反三角函数的定义域与值域约定也就是为什么非得把 ( y ) 限制在 ( (-\frac{\pi}{2}, \frac{\pi}{2}) ) 里。三块里任何一块松动公式就会推歪。我见过最典型的场景推导时写 ( x \tan y )两边对 ( x ) 求导得 ( 1 \sec^2 y \cdot y )然后卡住——因为他不知道 ( \sec^2 y ) 该怎么换回 ( x )。这一步不是靠灵感靠的就是 ( 1 \tan^2 y 1 x^2 )。所以我在带人过这一节时从不先给结论而是先把这三块摊开缺哪块补哪块比硬背十条公式都管用。1.2 为什么不建议一上来就背结论背结论在考试里当然省时间但它有个副作用你会失去这条公式错了怎么自己发现的能力。arctan 的导数有个非常漂亮的自我验证特征——( \frac{1}{1x^2} ) 恒正、在 ( x0 ) 处等于 1、( |x| \to \infty ) 时趋于 0。这三点恰好对应 ( y \arctan x ) 图像的三件事单调递增、在原点的切线斜率为 1、两端有水平渐近线。你自己推一遍就会发现这三个特征是从推导里自然长出来的而不是事后硬套。比如 ( x \to \infty ) 时 ( \frac{1}{1x^2} \to 0 )正对应 ( \arctan x \to \frac{\pi}{2} ) 那条水平渐近线如果哪天你把公式记成了 ( \frac{1}{1x} )用这个端行为一测就露馅了——( \frac{1}{1x} ) 在 ( x \to \infty ) 时也是 0但在 ( x -1 ) 处会炸掉而 arctan 在 ( x-1 ) 附近光滑得很。这种用图像特征反查公式的习惯比多刷二十道题值钱。提示判断自己是否真的掌握了这条公式有个简单标准——能不能不看书写出推导并且在写完后指着每一步说清楚这一步用了什么。做不到说明还在记忆层面。2. 三种推导路线的取舍我为什么主推反函数法2.1 反函数求导法主线稳但有两个前提必须先立住设 ( y \arctan x )按定义就是 ( x \tan y ) 且 ( y \in (-\frac{\pi}{2}, \frac{\pi}{2}) )。这个值域限制不是装饰它是整条推导的地基。( \tan ) 在整个定义域上不是单射周期为 ( \pi )只有在 ( (-\frac{\pi}{2}, \frac{\pi}{2}) ) 这一段上它才单调递增、才存在反函数。教材把这句话写得极轻但它决定了后面能不能用反函数求导法则。接下来对方程 ( x \tan y ) 两边关于 ( x ) 求导。左边对 ( x ) 求导是 1。右边是 ( \tan y )其中 ( y ) 是 ( x ) 的函数走链式法则得 ( \sec^2 y \cdot \frac{dy}{dx} )。于是[ 1 \sec^2 y \cdot \frac{dy}{dx} \quad\Longrightarrow\quad \frac{dy}{dx} \frac{1}{\sec^2 y} ]到这里都还顺卡点在下一步怎么把 ( \sec^2 y ) 换掉。两条路。第一条用 ( \sec^2 y 1 \tan^2 y 1 x^2 )一步到位得到 ( \frac{dy}{dx} \frac{1}{1x^2} )。第二天用 ( \sec^2 y \frac{1}{\cos^2 y} )配合直角三角形或 ( \cos^2 y \frac{1}{1\tan^2 y} )殊途同归。我通常推第一条因为它最短但会补一句这里之所以不用纠结 ( \sec y ) 的正负号是因为 ( \sec^2 y ) 是平方恒正而 ( y \in (-\frac{\pi}{2}, \frac{\pi}{2}) ) 时 ( \cos y 0 )本来也不需要取符号。这个细节在 arctan 这里属于运气好等你处理 arcsin、arccos 时同样的位置就必须老老实实讨论符号了那是另一类坑。2.2 隐函数法等价路线符号处理更友好隐函数法是反函数法的一个变体做法是对 ( \tan y x ) 直接隐式求导只不过把 ( y ) 当作 ( x ) 的函数来看。写出来的式子和上面一模一样但思路上的差别在于你不会去想反函数存在性这一层而是默认 ( y y(x) ) 已经是 ( x ) 的可导函数直接套隐函数求导流程。对于初学阶段容易在反函数这个概念上打结的人来说这条路心理负担更小。我更愿意推荐隐函数法的另一个理由是它自带的换元更自然。写成 ( 1 \sec^2 y \cdot y ) 之后把 ( y ) 解出来是 ( y \cos^2 y )。这个形式很舒服因为 ( \cos y ) 可以用 ( \tan y x ) 直接算画一个直角三角形对边 ( x )、邻边 1、斜边 ( \sqrt{1x^2} )注意这里 ( x ) 可正可负但斜边恒正而 ( y \in (-\frac{\pi}{2}, \frac{\pi}{2}) ) 保证 ( \cos y 0 )取正号没问题于是 ( \cos y \frac{1}{\sqrt{1x^2}} )平方得 ( \cos^2 y \frac{1}{1x^2} )。两条路的结果完全一致但我建议初学者先练隐函数法练顺了再回到反函数法因为反函数法能推广到更一般的场合而隐函数法在三角反函数这一族里是最不容易出符号错的路子。这个顺序我试过很多轮比反过来教要顺。2.3 用导数定义硬算费力但能补上一个极限思维时不时有人问不借助反函数法则能不能用定义直接算能但要多绕几步我一般只在对极限工具已经比较熟的人身上用这一招因为它顺带能补一个常见漏洞。按定义[ (\arctan x) \lim_{h \to 0} \frac{\arctan(xh) - \arctan x}{h} ]分子的差要用反正切差角公式处理。设 ( A \arctan(xh) )、( B \arctan x )则 ( \tan(A-B) \frac{\tan A - \tan B}{1 \tan A \tan B} \frac{h}{1 x(xh)} )。当 ( h ) 足够小时可以保证 ( A - B \in (-\frac{\pi}{2}, \frac{\pi}{2}) )于是 ( A - B \arctan\frac{h}{1x(xh)} )。代回原式[ \lim_{h \to 0} \frac{1}{h} \arctan\frac{h}{1 x(xh)} \lim_{h \to 0} \frac{1}{1x(xh)} \cdot \frac{\arctan t}{t} ]其中 ( t \frac{h}{1x(xh)} )。这里用上 ( \lim_{t \to 0} \frac{\arctan t}{t} 1 )外层极限直接给出 ( \frac{1}{1x^2} )。注意这一步里( A - B ) 落在 ( (-\frac{\pi}{2}, \frac{\pi}{2}) )是需要交代的不能想当然。很多讲义为了省事直接写 ( \arctan a - \arctan b \arctan\frac{a-b}{1ab} )这个等式并不是恒成立的差可能落在 ( (-\pi, \pi) ) 的更大范围里符号会翻。处理极限题时因为 ( h \to 0 ) 时 ( A \to B )差值必然收敛到 0落在主值区间内所以这里安全但换成求具体数值的题比如 ( \arctan 2 - \arctan 3 )直接套这个公式就会得到错误符号。这三种路线我一般在第一轮全讲一遍然后明确告诉对方平时做题走隐函数法考试赶时间直接用结论只有被要求证明时才写完整推导。分工清楚了反而不会乱。3. 习题分型实操从单层到五层嵌套3.1 基础型只有一层 arctan最基础的一档就是 ( y \arctan x )答案直接写 ( y \frac{1}{1x^2} )。这一档没什么好说的但要提醒一句记号问题( \tan^{-1} x ) 这个写法有歧义它既可能表示反正切也可能被人理解成 ( \frac{1}{\tan x} )。我改作业时见过把这个搞混的把 ( \arctan x ) 的导数写成 ( -\csc^2 x )一步错到底。低于 ( -1 ) 次方的上标在三角函数里一般不表示倒数但为了避免误读写 ( \arctan ) 最保险。稍微进一档是带系数的线性变形比如 ( y \arctan x 3\arctan x )或者 ( y 2\arctan x - x )。这类题重点在别被系数带偏求导就是逐项来( 2\arctan x - x ) 的导数是 ( \frac{2}{1x^2} - 1 )。看着简单但常有人把常数项也对着 ( x ) 求导求出一堆东西来反映出对常数的导数为零还不够熟。再往上一点是把 arctan 塞进乘积或商里比如 ( y x\arctan x )。这个用乘积法则( y \arctan x \frac{x}{1x^2} )。这类题有个很好玩的后续——如果取 ( y x\arctan x - \frac{1}{2}\ln(1x^2) )求导得 ( \arctan x \frac{x}{1x^2} - \frac{x}{1x^2} \arctan x )正好说明 ( x\arctan x - \frac{1}{2}\ln(1x^2) ) 是 ( \arctan x ) 的一个原函数。这种求导之后变回去的题在积分表验证里经常出现值得单独记一笔。3.2 复合型链式法则是主战场真正拉开差距的是复合型( y \arctan u(x) )其中 ( u ) 是任意可导函数。公式是[ y \frac{u(x)}{1 u(x)^2} ]分母里的平方是对内层函数整体平方不是对 ( x ) 平方。这是我看到出错最多的地方。举几道典型题( y \arctan(2x) )( u 2x )( u 2 )( y \frac{2}{14x^2} )。掉系数的人会写成 ( \frac{1}{12x^2} ) 或 ( \frac{1}{14x} )两种错法都很常见。( y \arctan(x^2) )( u x^2 )( u 2x )( y \frac{2x}{1x^4} )。这里分母是 ( x^4 )不是 ( x^2 )因为 ( u^2 (x^2)^2 )。( y \arctan(\sqrt{x}) )( u x^{1/2} )( u \frac{1}{2\sqrt{x}} )( y \frac{1}{2\sqrt{x}(1x)} )。( y \arctan(e^x) )( y \frac{e^x}{1e^{2x}} )。这个形式在后续求极限、求积分时经常冒出来值得记住。( y \arctan(\ln x) )( y \frac{1}{x(1\ln^2 x)} )定义域 ( x 0 )。( y \arctan(\sin x) )( y \frac{\cos x}{1\sin^2 x} )。这组题我一般要求连写十遍不停顿练到看见内层就知道该乘什么。理由很简单链式法则本身不难难的是在分母已经有一个平方的情况下还要记得分子上挂一个内层导数。人的短时记忆容量有限分母那个平方已经占了一个位置分子就容易漏。嵌套两层的情况要单独练( y \arctan(\arctan x) )。内层 ( u \arctan x )( u \frac{1}{1x^2} )于是[ y \frac{1}{1 (\arctan x)^2} \cdot \frac{1}{1x^2} ]分母千万别写成 ( 1 \arctan(x^2) ) 之类的东西。这类题能干净做对的说明链式法则的由外向内、逐层乘已经吃透了。3.3 恒等变形型先化简再求导能省一半力气有些题硬求导能算但会算出一堆分式套分式的东西中间极容易丢项。这时候先做恒等变形再求导效率差出好几倍。有一组经典恒等式值得记住[ \arctan x \arctan\frac{1}{x} \frac{\pi}{2}\ (x 0), \qquad \arctan x \arctan\frac{1}{x} -\frac{\pi}{2}\ (x 0) ]还有 ( \arctan x \operatorname{arccot} x \frac{\pi}{2} )以及[ \arctan\frac{1-x}{1x} \frac{\pi}{4} - \arctan x \quad (x -1) ]这最后一条是习题里的高频角色。直接求导的话( u \frac{1-x}{1x} )( u \frac{-(1x)-(1-x)}{(1x)^2} \frac{-2}{(1x)^2} )同时 ( 1 u^2 \frac{(1x)^2(1-x)^2}{(1x)^2} \frac{2(1x^2)}{(1x)^2} )。两式相除[ y \frac{-2/(1x)^2}{2(1x^2)/(1x)^2} -\frac{1}{1x^2} ]结果和先化简成 ( \frac{\pi}{4} - \arctan x ) 再求导完全一致但后者的计算量不到前者的三分之一。我通常会让人两种都算一遍用一致的结果互相印证——这一步既练了技巧又顺便完成了验算。顺手验证一下上面那条 ( x0 ) 的恒等式两边求导左边是 ( \frac{1}{1x^2} \left(\arctan\frac{1}{x}\right) )而 ( \left(\arctan\frac{1}{x}\right) \frac{-1/x^2}{11/x^2} -\frac{1}{1x^2} )加起来恰好是 0右边常数的导数也是 0。这说明两边只差一个常数代 ( x1 ) 定出这个常数是 ( \frac{\pi}{2} )。这种求导验恒等式的手法在三角恒等式多的章节里非常好用。3.4 隐函数、参数方程与 arctan 的组合题到了这一档arctan 的导数往往只是链条里的一环。举个我挺喜欢的例子设[ \arctan\frac{y}{x} \frac{1}{2}\ln(x^2 y^2), \quad x 0 ]求 ( \frac{dy}{dx} )。左边令 ( u \frac{y}{x} )则 ( u \frac{yx - y}{x^2} )左边求导得[ \frac{yx - y}{x^2} \cdot \frac{1}{1 (y/x)^2} \frac{yx - y}{x^2 y^2} ]右边求导得 ( \frac{1}{2} \cdot \frac{2x 2yy}{x^2y^2} \frac{x yy}{x^2y^2} )。两边乘掉共同的分母[ yx - y x yy \quad \Longrightarrow \quad y(x - y) x y \quad \Longrightarrow \quad y \frac{xy}{x-y} ]如果对极坐标熟会认出来左边是极角 ( \theta )、右边是 ( \ln r )也就是 ( r e^{\theta} ) 那类曲线这个斜率结果和直接用参数方程算出来的一致。这道题的价值在于它把 arctan 求导、隐函数求导、对数求导三件事串在一根绳上而且结果形式干净好检查。参数方程里也会遇到 arctan比如 ( x t - \arctan t )、( y \ln(1t^2) )此时 ( \frac{dx}{dt} 1 - \frac{1}{1t^2} \frac{t^2}{1t^2} )( \frac{dy}{dt} \frac{2t}{1t^2} )于是 ( \frac{dy}{dx} \frac{2t}{t^2} \frac{2}{t} )。这类题考的是先分别对参数求导再相除这个流程arctan 在里面负责提供那个不好直接处理的项。3.5 高阶导数递推法比硬求稳得多( \arctan x ) 的 ( n ) 阶导数是很多考研和竞赛题里的常客硬求第四阶就已经很难看了。稳妥的路子是用莱布尼茨公式做递推。从 ( y \frac{1}{1x^2} ) 出发写成 ( (1x^2)y 1 )再对 ( x ) 求一次导[ (1x^2)y 2xy 0 ]这个二阶方程就是递推的源头。对它再求 ( n ) 阶导用莱布尼茨公式展开注意 ( (1x^2) ) 只有前三阶导数非零分别是 ( 1x^2 )、( 2x )、( 2 )之后全为零于是[ (1x^2)y^{(n2)} 2(n1)x,y^{(n1)} n(n1),y^{(n)} 0 ]令 ( x 0 )中间那项直接消失[ y^{(n2)}(0) -n(n1),y^{(n)}(0) ]配合初值 ( y(0) 0 )、( y(0) 1 )从 ( n 0 ) 开始推( y(0) 0 )( y(0) -2 )( y^{(4)}(0)0 )( y^{(5)}(0) -3\cdot 4 \cdot (-2) 24 )( y^{(7)}(0) -5\cdot 6\cdot 24 -720 )。规律很清楚[ y^{(2k)}(0) 0, \qquad y^{(2k1)}(0) (-1)^k (2k)! ]这个结论和 ( \arctan x ) 的麦克劳林展开 ( x - \frac{x^3}{3} \frac{x^5}{5} - \cdots ) 是对得上的( \frac{y(0)}{3!} \frac{-2}{6} -\frac13 )( \frac{y^{(5)}(0)}{5!} \frac{24}{120} \frac15 )。两条路径互相咬合正好说明递推没推错。提示高阶导数题最容易犯的错是递推式里 ( n(n1) ) 写错。检验办法只有一个——把 ( n0,1,2 ) 代回去和最初手动求的二阶、三阶导对照。对不上就是系数错了立刻回头别往下推。4. 常见错误清单与排查手册4.1 六类高频错误逐个拆我把这些年见到的错法归了归类基本跑不出下面这几张网错误类型典型表现根因纠正动作丢链式因子( (\arctan 2x) ) 写成 ( \frac{1}{14x^2} )只记住外层公式忘了内层每写一步先圈出内层 ( u )分母平方放错位置( (\arctan x^2) ) 写成 ( \frac{2x}{1x^2} )把 ( u^2 ) 当成 ( x^2 )显式写出 ( u )再写 ( u^2 )记号混淆把 ( \tan^{-1}x ) 当成 ( \frac{1}{\tan x} )对反函数记号不熟统一写 ( \arctan )反函数求导方向搞反写成 ( \frac{dy}{dx} \sec^2 y )把 ( \frac{dx}{dy} ) 和 ( \frac{dy}{dx} ) 弄混先明确谁对谁求导值域区间忽略讨论可导性时跳过 ( y \in (-\frac{\pi}{2}, \frac{\pi}{2}) )认为反函数定义域无关紧要推导前先把区间写出来隐函数不解出算到含 ( y ) 的方程就停手忘了题目问的是 ( y ) 本身最后一步显式解出拿第一类展开说说。为什么丢链式因子这么顽固因为人在背公式的时候大脑存的是 ( \frac{1}{1(\cdot)^2} ) 这个形状填空时很容易把内层往里一塞就完事压根没意识到外面还欠一个因子。这跟背单词只记拼写不记词性是一个毛病。破解办法是养成一个机械动作动笔前先在草稿纸边上写一行( u ? \quad u ? )两个空都填了再下笔。这个动作看着笨但它把识别内层和求内层导数拆成了两个独立步骤注意力不用同时管两件事出错率立刻下来。第三类记号问题值得多讲两句因为它不完全是粗心。数学里上标 ( -1 ) 用在函数上表示反函数用在数上表示倒数同一个符号两种含义确实容易误导。教材里现在越来越多地用 ( \arcsin )、( \arccos )、( \arctan ) 这套写法就是为了绕开这个坑。你自己做题记笔记坚持写 ( \arctan ) 就行别偷懒写 ( \tan^{-1} )省那几个字母换来的风险不划算。第五类值域区间忽略平时做题看不出后果一到概念题就抓瞎。比如问 ( y \arctan x ) 为什么在全体实数上可导标准回答里必须包含因为 ( \tan y ) 在 ( (-\frac{\pi}{2}, \frac{\pi}{2}) ) 上单调且 ( \sec^2 y \neq 0 )这个前提。少了它逻辑链是断的。我遇到过只答因为导数公式是 ( \frac{1}{1x^2} ) 分母不为零的这是循环论证——公式本身就是从可导性推出来的。4.2 三个验算动作能挡掉八成失误我做 arctan 相关题有个固定习惯每算完一题花十几秒做一遍检查三个动作任选其一就够。动作一代特殊值看数值。拿 ( y \arctan x )在 ( x1 ) 处导数应该是 ( \frac{1}{2} 0.5 )。你可以用一个极小的步长做差商粗算比如取 ( h 10^{-6} )算 ( \frac{\arctan(1h) - \arctan(1-h)}{2h} )结果应当非常接近 0.5。这个方法对任何复合题都适用写两行代码就能批量验。下面这段是我常用的模板import math def num_deriv(f, x, h1e-6): return (f(x h) - f(x - h)) / (2 * h) print(num_deriv(math.atan, 1.0)) # 理论值 1/(11) 0.5 print(num_deriv(lambda t: math.atan(2 * t), 1.0)) # 理论值 2/(14) 0.4 print(num_deriv(lambda t: math.atan(t * t), 1.0)) # 理论值 2x/(1x^4) 1.0 print(num_deriv(lambda t: math.atan(math.exp(t)), 0.0)) # 理论值 e^0/(1e^0) 0.5跑出来四行分别约等于 0.5、0.4、1.0、0.5和手算对上就基本没问题。要提醒的是中心差商有截断误差步长别设得太小比如 ( 10^{-12} )浮点相减会吃掉有效位反而偏差变大( 10^{-6} ) 附近是个比较稳的区间。动作二用符号工具反查。手算完想确认表达式有没有化简到位可以用符号计算过一遍from sympy import symbols, atan, diff, simplify x symbols(x) f atan((1 - x) / (1 x)) print(simplify(diff(f, x))) # 期望输出 -1/(x**2 1)工具的好处是它不会漏项坏处是它不会告诉你为什么。所以我的用法是反过来的先手算再让工具确认对不上就回去找差在哪一步。直接拿工具抄答案考场上什么也剩不下。动作三对称性与端行为检查。( \arctan x ) 是奇函数它的导数 ( \frac{1}{1x^2} ) 必须是偶函数。所以如果你算出个 ( \frac{x}{1x^2} ) 之类的东西一眼就能毙掉。同理导数恒正说明原函数单调递增( x0 ) 处导数为 1 说明过原点的切线是 ( yx )。这三条性质拿来做快速筛查比重新算一遍省事得多。注意验算能查出结果不对查不出过程不严谨。如果题目要求写推导过程验算替代不了对每一步理由的交代这两件事要分开看。5. 把它用出去arctan 求导在别处的影子5.1 积分表里那一行是怎么来的微积分教材的积分表里有这么一行( \int \frac{dx}{1x^2} \arctan x C )。很多人把它当成和求导公式并列的另一条要背的东西其实它们是同一件事的两面。正因为 ( (\arctan x) \frac{1}{1x^2} )( \arctan x ) 才是 ( \frac{1}{1x^2} ) 的原函数。懂了这一层积分表里一大片条目都不用单独记。更有意思的是反过来用从 ( \frac{1}{1x^2} ) 的几何级数展开出发[ \frac{1}{1x^2} 1 - x^2 x^4 - x^6 \cdots \quad (|x| 1) ]逐项积分这一步需要一致收敛性做支撑在 ( |x| 1 ) 的开区间内是合法的得到[ \arctan x x - \frac{x^3}{3} \frac{x^5}{5} - \frac{x^7}{7} \cdots ]这条展开在 ( x 1 ) 处收敛端点要用阿贝尔极限定理处理代入得 ( \frac{\pi}{4} 1 - \frac13 \frac15 - \frac17 \cdots )也就是那个著名的莱布尼茨级数。我特别喜欢拿这个当例子讲给刚学完导数的人听一条求导公式往前接积分往后接级数中间还能勾出圆周率这一小块知识的接口密度高得吓人。理解了这层关联你会发现 arctan 求导不是孤零零一条公式而是好几个章节之间的枢纽。顺带说一句有些题会考 ( \int \frac{dx}{a^2x^2} \frac{1}{a}\arctan\frac{x}{a} C )这个公式的来源就是换元 ( x at )然后套 ( \arctan ) 的导数。会推这个比背下来强。5.2 atan2 的偏导数与工程里的角度计算写代码的人接触到的往往不是 ( \arctan x )而是双参数的反正切atan2(y, x)。它比单参数版本多出来的价值是能区分四个象限。而在需要做梯度、做优化、做灵敏度分析的场合atan2的偏导数会直接出现在公式里。设 ( \theta \operatorname{atan2}(y, x) )在 ( x 0 ) 的分支上它就是 ( \arctan\frac{y}{x} )。对内层 ( u \frac{y}{x} ) 分别求偏导[ \frac{\partial \theta}{\partial y} \frac{1/x}{1 (y/x)^2} \frac{x}{x^2y^2}, \qquad \frac{\partial \theta}{\partial x} \frac{-y/x^2}{1(y/x)^2} -\frac{y}{x^2y^2} ]这两个式子有一个很漂亮的几何解释把它们看成向量 ( \frac{1}{x^2y^2}(x, -y) )它和径向向量 ( (x, y) ) 的内积为零也就是垂直于半径方向——转角变化最快的方向本来就是绕圈的方向这跟直觉完全一致。同时这个梯度的模是 ( \frac{1}{\sqrt{x^2y^2}} )离原点越远转同样的角度需要的位移越大这也对得上。这些式子在什么地方用得上凡是涉及角度对参数求敏感度的计算都绕不开。比如某开发者做机械臂末端姿态的误差分析末端方向用角度参数化做一阶误差传播时就必须用到上面这两个偏导又比如做方向估计的模型损失函数里含角度项反传时同样要落到 ( \frac{x}{x^2y^2} ) 这种形式上。我不打算在这里展开具体项目只想说明一点求导这一节的习题练的不是考试技巧是把一个几何量翻译成变化率的能力。这个能力在任何需要角度随参数怎么变的地方都能直接调用。还有个小细节值得记atan2在 ( x 0 ) 的分支上相当于 ( \arctan\frac{y}{x} \pi )或 ( -\pi )常数项求导后消失所以偏导公式在整个定义域去掉原点上形式不变。这也解释了为什么工程实现里可以在各个分支上统一用同一套偏导表达式不必分象限写四份。至于原点那里角度本身没有定义导数自然也不存在代码里必须单独处理这是数值实现时的一个常见边界。最后分享一个我自己的习惯。每次带人过完 arctan 这一节我都会留一道看起来不像这节内容的题已知 ( y \arctan x )求 ( y(1 x^2) 2xy ) 的值。算出来是 0而这恰好就是前面递推式里那个二阶方程。用这种方式收尾比再刷十道同型题管用——它逼着人回头看那行递推式是怎么来的也顺便把求导结果能反过来当方程用这个念头种下去。我自己的体会是微积分里那些看着零碎的公式真正的价值往往不在它本身而在它和邻居们连起来的那几根线arctan 求导这根线往前能接反函数往后能接积分和级数往旁边还能接上角度计算的工程实现算是性价比相当高的一块内容。
“反正切函数的求导”这几个字摊开在教材里不过半行公式可我在帮人看习题本、整理答疑记录这些年里凡是被 arctan 卡住的错的往往不是那半行公式本身而是公式外面的那层链式法则、符号判断和恒等变形。有人能倒背 ( (\arctan x) \frac{1}{1x^2} )一上手写 ( \arctan(2x) ) 的导数立刻掉系数有人复合函数处理得挺顺碰到 ( \arctan\frac{1-x}{1x} ) 就从头展开硬算算到第三行把自己绕晕。这篇东西我打算把反正切函数求导这一块从根上拆一遍它到底在考什么、三种推导路线怎么选、习题按类型怎么打、错题怎么自己查出来。刚接触导数的读者能照着抄步骤已经学过一遍但总在细节上掉链子的读者应该能从排查表那节里捞到点真东西。1. 先把这道题的本质说清楚它到底在考什么1.1 一个公式背后压着三块知识点很多人把 ( (\arctan x) \frac{1}{1x^2} ) 当成一个孤立的记忆条目这是理解上最大的偏差。这条公式其实是三块知识咬合出来的结果。第一块是反函数求导法则若 ( y f(x) ) 与 ( x f^{-1}(y) ) 互为反函数且 ( f(y) \neq 0 )则 ( (f^{-1})(y) \frac{1}{f(x)} )。这条法则要求你会判断谁是自变量、谁在分母。第二块是三角恒等式( \sec^2 y 1 \tan^2 y )以及 ( \cos^2 y \frac{1}{1\tan^2 y} )。第三块是反三角函数的定义域与值域约定也就是为什么非得把 ( y ) 限制在 ( (-\frac{\pi}{2}, \frac{\pi}{2}) ) 里。三块里任何一块松动公式就会推歪。我见过最典型的场景推导时写 ( x \tan y )两边对 ( x ) 求导得 ( 1 \sec^2 y \cdot y )然后卡住——因为他不知道 ( \sec^2 y ) 该怎么换回 ( x )。这一步不是靠灵感靠的就是 ( 1 \tan^2 y 1 x^2 )。所以我在带人过这一节时从不先给结论而是先把这三块摊开缺哪块补哪块比硬背十条公式都管用。1.2 为什么不建议一上来就背结论背结论在考试里当然省时间但它有个副作用你会失去这条公式错了怎么自己发现的能力。arctan 的导数有个非常漂亮的自我验证特征——( \frac{1}{1x^2} ) 恒正、在 ( x0 ) 处等于 1、( |x| \to \infty ) 时趋于 0。这三点恰好对应 ( y \arctan x ) 图像的三件事单调递增、在原点的切线斜率为 1、两端有水平渐近线。你自己推一遍就会发现这三个特征是从推导里自然长出来的而不是事后硬套。比如 ( x \to \infty ) 时 ( \frac{1}{1x^2} \to 0 )正对应 ( \arctan x \to \frac{\pi}{2} ) 那条水平渐近线如果哪天你把公式记成了 ( \frac{1}{1x} )用这个端行为一测就露馅了——( \frac{1}{1x} ) 在 ( x \to \infty ) 时也是 0但在 ( x -1 ) 处会炸掉而 arctan 在 ( x-1 ) 附近光滑得很。这种用图像特征反查公式的习惯比多刷二十道题值钱。提示判断自己是否真的掌握了这条公式有个简单标准——能不能不看书写出推导并且在写完后指着每一步说清楚这一步用了什么。做不到说明还在记忆层面。2. 三种推导路线的取舍我为什么主推反函数法2.1 反函数求导法主线稳但有两个前提必须先立住设 ( y \arctan x )按定义就是 ( x \tan y ) 且 ( y \in (-\frac{\pi}{2}, \frac{\pi}{2}) )。这个值域限制不是装饰它是整条推导的地基。( \tan ) 在整个定义域上不是单射周期为 ( \pi )只有在 ( (-\frac{\pi}{2}, \frac{\pi}{2}) ) 这一段上它才单调递增、才存在反函数。教材把这句话写得极轻但它决定了后面能不能用反函数求导法则。接下来对方程 ( x \tan y ) 两边关于 ( x ) 求导。左边对 ( x ) 求导是 1。右边是 ( \tan y )其中 ( y ) 是 ( x ) 的函数走链式法则得 ( \sec^2 y \cdot \frac{dy}{dx} )。于是[ 1 \sec^2 y \cdot \frac{dy}{dx} \quad\Longrightarrow\quad \frac{dy}{dx} \frac{1}{\sec^2 y} ]到这里都还顺卡点在下一步怎么把 ( \sec^2 y ) 换掉。两条路。第一条用 ( \sec^2 y 1 \tan^2 y 1 x^2 )一步到位得到 ( \frac{dy}{dx} \frac{1}{1x^2} )。第二天用 ( \sec^2 y \frac{1}{\cos^2 y} )配合直角三角形或 ( \cos^2 y \frac{1}{1\tan^2 y} )殊途同归。我通常推第一条因为它最短但会补一句这里之所以不用纠结 ( \sec y ) 的正负号是因为 ( \sec^2 y ) 是平方恒正而 ( y \in (-\frac{\pi}{2}, \frac{\pi}{2}) ) 时 ( \cos y 0 )本来也不需要取符号。这个细节在 arctan 这里属于运气好等你处理 arcsin、arccos 时同样的位置就必须老老实实讨论符号了那是另一类坑。2.2 隐函数法等价路线符号处理更友好隐函数法是反函数法的一个变体做法是对 ( \tan y x ) 直接隐式求导只不过把 ( y ) 当作 ( x ) 的函数来看。写出来的式子和上面一模一样但思路上的差别在于你不会去想反函数存在性这一层而是默认 ( y y(x) ) 已经是 ( x ) 的可导函数直接套隐函数求导流程。对于初学阶段容易在反函数这个概念上打结的人来说这条路心理负担更小。我更愿意推荐隐函数法的另一个理由是它自带的换元更自然。写成 ( 1 \sec^2 y \cdot y ) 之后把 ( y ) 解出来是 ( y \cos^2 y )。这个形式很舒服因为 ( \cos y ) 可以用 ( \tan y x ) 直接算画一个直角三角形对边 ( x )、邻边 1、斜边 ( \sqrt{1x^2} )注意这里 ( x ) 可正可负但斜边恒正而 ( y \in (-\frac{\pi}{2}, \frac{\pi}{2}) ) 保证 ( \cos y 0 )取正号没问题于是 ( \cos y \frac{1}{\sqrt{1x^2}} )平方得 ( \cos^2 y \frac{1}{1x^2} )。两条路的结果完全一致但我建议初学者先练隐函数法练顺了再回到反函数法因为反函数法能推广到更一般的场合而隐函数法在三角反函数这一族里是最不容易出符号错的路子。这个顺序我试过很多轮比反过来教要顺。2.3 用导数定义硬算费力但能补上一个极限思维时不时有人问不借助反函数法则能不能用定义直接算能但要多绕几步我一般只在对极限工具已经比较熟的人身上用这一招因为它顺带能补一个常见漏洞。按定义[ (\arctan x) \lim_{h \to 0} \frac{\arctan(xh) - \arctan x}{h} ]分子的差要用反正切差角公式处理。设 ( A \arctan(xh) )、( B \arctan x )则 ( \tan(A-B) \frac{\tan A - \tan B}{1 \tan A \tan B} \frac{h}{1 x(xh)} )。当 ( h ) 足够小时可以保证 ( A - B \in (-\frac{\pi}{2}, \frac{\pi}{2}) )于是 ( A - B \arctan\frac{h}{1x(xh)} )。代回原式[ \lim_{h \to 0} \frac{1}{h} \arctan\frac{h}{1 x(xh)} \lim_{h \to 0} \frac{1}{1x(xh)} \cdot \frac{\arctan t}{t} ]其中 ( t \frac{h}{1x(xh)} )。这里用上 ( \lim_{t \to 0} \frac{\arctan t}{t} 1 )外层极限直接给出 ( \frac{1}{1x^2} )。注意这一步里( A - B ) 落在 ( (-\frac{\pi}{2}, \frac{\pi}{2}) )是需要交代的不能想当然。很多讲义为了省事直接写 ( \arctan a - \arctan b \arctan\frac{a-b}{1ab} )这个等式并不是恒成立的差可能落在 ( (-\pi, \pi) ) 的更大范围里符号会翻。处理极限题时因为 ( h \to 0 ) 时 ( A \to B )差值必然收敛到 0落在主值区间内所以这里安全但换成求具体数值的题比如 ( \arctan 2 - \arctan 3 )直接套这个公式就会得到错误符号。这三种路线我一般在第一轮全讲一遍然后明确告诉对方平时做题走隐函数法考试赶时间直接用结论只有被要求证明时才写完整推导。分工清楚了反而不会乱。3. 习题分型实操从单层到五层嵌套3.1 基础型只有一层 arctan最基础的一档就是 ( y \arctan x )答案直接写 ( y \frac{1}{1x^2} )。这一档没什么好说的但要提醒一句记号问题( \tan^{-1} x ) 这个写法有歧义它既可能表示反正切也可能被人理解成 ( \frac{1}{\tan x} )。我改作业时见过把这个搞混的把 ( \arctan x ) 的导数写成 ( -\csc^2 x )一步错到底。低于 ( -1 ) 次方的上标在三角函数里一般不表示倒数但为了避免误读写 ( \arctan ) 最保险。稍微进一档是带系数的线性变形比如 ( y \arctan x 3\arctan x )或者 ( y 2\arctan x - x )。这类题重点在别被系数带偏求导就是逐项来( 2\arctan x - x ) 的导数是 ( \frac{2}{1x^2} - 1 )。看着简单但常有人把常数项也对着 ( x ) 求导求出一堆东西来反映出对常数的导数为零还不够熟。再往上一点是把 arctan 塞进乘积或商里比如 ( y x\arctan x )。这个用乘积法则( y \arctan x \frac{x}{1x^2} )。这类题有个很好玩的后续——如果取 ( y x\arctan x - \frac{1}{2}\ln(1x^2) )求导得 ( \arctan x \frac{x}{1x^2} - \frac{x}{1x^2} \arctan x )正好说明 ( x\arctan x - \frac{1}{2}\ln(1x^2) ) 是 ( \arctan x ) 的一个原函数。这种求导之后变回去的题在积分表验证里经常出现值得单独记一笔。3.2 复合型链式法则是主战场真正拉开差距的是复合型( y \arctan u(x) )其中 ( u ) 是任意可导函数。公式是[ y \frac{u(x)}{1 u(x)^2} ]分母里的平方是对内层函数整体平方不是对 ( x ) 平方。这是我看到出错最多的地方。举几道典型题( y \arctan(2x) )( u 2x )( u 2 )( y \frac{2}{14x^2} )。掉系数的人会写成 ( \frac{1}{12x^2} ) 或 ( \frac{1}{14x} )两种错法都很常见。( y \arctan(x^2) )( u x^2 )( u 2x )( y \frac{2x}{1x^4} )。这里分母是 ( x^4 )不是 ( x^2 )因为 ( u^2 (x^2)^2 )。( y \arctan(\sqrt{x}) )( u x^{1/2} )( u \frac{1}{2\sqrt{x}} )( y \frac{1}{2\sqrt{x}(1x)} )。( y \arctan(e^x) )( y \frac{e^x}{1e^{2x}} )。这个形式在后续求极限、求积分时经常冒出来值得记住。( y \arctan(\ln x) )( y \frac{1}{x(1\ln^2 x)} )定义域 ( x 0 )。( y \arctan(\sin x) )( y \frac{\cos x}{1\sin^2 x} )。这组题我一般要求连写十遍不停顿练到看见内层就知道该乘什么。理由很简单链式法则本身不难难的是在分母已经有一个平方的情况下还要记得分子上挂一个内层导数。人的短时记忆容量有限分母那个平方已经占了一个位置分子就容易漏。嵌套两层的情况要单独练( y \arctan(\arctan x) )。内层 ( u \arctan x )( u \frac{1}{1x^2} )于是[ y \frac{1}{1 (\arctan x)^2} \cdot \frac{1}{1x^2} ]分母千万别写成 ( 1 \arctan(x^2) ) 之类的东西。这类题能干净做对的说明链式法则的由外向内、逐层乘已经吃透了。3.3 恒等变形型先化简再求导能省一半力气有些题硬求导能算但会算出一堆分式套分式的东西中间极容易丢项。这时候先做恒等变形再求导效率差出好几倍。有一组经典恒等式值得记住[ \arctan x \arctan\frac{1}{x} \frac{\pi}{2}\ (x 0), \qquad \arctan x \arctan\frac{1}{x} -\frac{\pi}{2}\ (x 0) ]还有 ( \arctan x \operatorname{arccot} x \frac{\pi}{2} )以及[ \arctan\frac{1-x}{1x} \frac{\pi}{4} - \arctan x \quad (x -1) ]这最后一条是习题里的高频角色。直接求导的话( u \frac{1-x}{1x} )( u \frac{-(1x)-(1-x)}{(1x)^2} \frac{-2}{(1x)^2} )同时 ( 1 u^2 \frac{(1x)^2(1-x)^2}{(1x)^2} \frac{2(1x^2)}{(1x)^2} )。两式相除[ y \frac{-2/(1x)^2}{2(1x^2)/(1x)^2} -\frac{1}{1x^2} ]结果和先化简成 ( \frac{\pi}{4} - \arctan x ) 再求导完全一致但后者的计算量不到前者的三分之一。我通常会让人两种都算一遍用一致的结果互相印证——这一步既练了技巧又顺便完成了验算。顺手验证一下上面那条 ( x0 ) 的恒等式两边求导左边是 ( \frac{1}{1x^2} \left(\arctan\frac{1}{x}\right) )而 ( \left(\arctan\frac{1}{x}\right) \frac{-1/x^2}{11/x^2} -\frac{1}{1x^2} )加起来恰好是 0右边常数的导数也是 0。这说明两边只差一个常数代 ( x1 ) 定出这个常数是 ( \frac{\pi}{2} )。这种求导验恒等式的手法在三角恒等式多的章节里非常好用。3.4 隐函数、参数方程与 arctan 的组合题到了这一档arctan 的导数往往只是链条里的一环。举个我挺喜欢的例子设[ \arctan\frac{y}{x} \frac{1}{2}\ln(x^2 y^2), \quad x 0 ]求 ( \frac{dy}{dx} )。左边令 ( u \frac{y}{x} )则 ( u \frac{yx - y}{x^2} )左边求导得[ \frac{yx - y}{x^2} \cdot \frac{1}{1 (y/x)^2} \frac{yx - y}{x^2 y^2} ]右边求导得 ( \frac{1}{2} \cdot \frac{2x 2yy}{x^2y^2} \frac{x yy}{x^2y^2} )。两边乘掉共同的分母[ yx - y x yy \quad \Longrightarrow \quad y(x - y) x y \quad \Longrightarrow \quad y \frac{xy}{x-y} ]如果对极坐标熟会认出来左边是极角 ( \theta )、右边是 ( \ln r )也就是 ( r e^{\theta} ) 那类曲线这个斜率结果和直接用参数方程算出来的一致。这道题的价值在于它把 arctan 求导、隐函数求导、对数求导三件事串在一根绳上而且结果形式干净好检查。参数方程里也会遇到 arctan比如 ( x t - \arctan t )、( y \ln(1t^2) )此时 ( \frac{dx}{dt} 1 - \frac{1}{1t^2} \frac{t^2}{1t^2} )( \frac{dy}{dt} \frac{2t}{1t^2} )于是 ( \frac{dy}{dx} \frac{2t}{t^2} \frac{2}{t} )。这类题考的是先分别对参数求导再相除这个流程arctan 在里面负责提供那个不好直接处理的项。3.5 高阶导数递推法比硬求稳得多( \arctan x ) 的 ( n ) 阶导数是很多考研和竞赛题里的常客硬求第四阶就已经很难看了。稳妥的路子是用莱布尼茨公式做递推。从 ( y \frac{1}{1x^2} ) 出发写成 ( (1x^2)y 1 )再对 ( x ) 求一次导[ (1x^2)y 2xy 0 ]这个二阶方程就是递推的源头。对它再求 ( n ) 阶导用莱布尼茨公式展开注意 ( (1x^2) ) 只有前三阶导数非零分别是 ( 1x^2 )、( 2x )、( 2 )之后全为零于是[ (1x^2)y^{(n2)} 2(n1)x,y^{(n1)} n(n1),y^{(n)} 0 ]令 ( x 0 )中间那项直接消失[ y^{(n2)}(0) -n(n1),y^{(n)}(0) ]配合初值 ( y(0) 0 )、( y(0) 1 )从 ( n 0 ) 开始推( y(0) 0 )( y(0) -2 )( y^{(4)}(0)0 )( y^{(5)}(0) -3\cdot 4 \cdot (-2) 24 )( y^{(7)}(0) -5\cdot 6\cdot 24 -720 )。规律很清楚[ y^{(2k)}(0) 0, \qquad y^{(2k1)}(0) (-1)^k (2k)! ]这个结论和 ( \arctan x ) 的麦克劳林展开 ( x - \frac{x^3}{3} \frac{x^5}{5} - \cdots ) 是对得上的( \frac{y(0)}{3!} \frac{-2}{6} -\frac13 )( \frac{y^{(5)}(0)}{5!} \frac{24}{120} \frac15 )。两条路径互相咬合正好说明递推没推错。提示高阶导数题最容易犯的错是递推式里 ( n(n1) ) 写错。检验办法只有一个——把 ( n0,1,2 ) 代回去和最初手动求的二阶、三阶导对照。对不上就是系数错了立刻回头别往下推。4. 常见错误清单与排查手册4.1 六类高频错误逐个拆我把这些年见到的错法归了归类基本跑不出下面这几张网错误类型典型表现根因纠正动作丢链式因子( (\arctan 2x) ) 写成 ( \frac{1}{14x^2} )只记住外层公式忘了内层每写一步先圈出内层 ( u )分母平方放错位置( (\arctan x^2) ) 写成 ( \frac{2x}{1x^2} )把 ( u^2 ) 当成 ( x^2 )显式写出 ( u )再写 ( u^2 )记号混淆把 ( \tan^{-1}x ) 当成 ( \frac{1}{\tan x} )对反函数记号不熟统一写 ( \arctan )反函数求导方向搞反写成 ( \frac{dy}{dx} \sec^2 y )把 ( \frac{dx}{dy} ) 和 ( \frac{dy}{dx} ) 弄混先明确谁对谁求导值域区间忽略讨论可导性时跳过 ( y \in (-\frac{\pi}{2}, \frac{\pi}{2}) )认为反函数定义域无关紧要推导前先把区间写出来隐函数不解出算到含 ( y ) 的方程就停手忘了题目问的是 ( y ) 本身最后一步显式解出拿第一类展开说说。为什么丢链式因子这么顽固因为人在背公式的时候大脑存的是 ( \frac{1}{1(\cdot)^2} ) 这个形状填空时很容易把内层往里一塞就完事压根没意识到外面还欠一个因子。这跟背单词只记拼写不记词性是一个毛病。破解办法是养成一个机械动作动笔前先在草稿纸边上写一行( u ? \quad u ? )两个空都填了再下笔。这个动作看着笨但它把识别内层和求内层导数拆成了两个独立步骤注意力不用同时管两件事出错率立刻下来。第三类记号问题值得多讲两句因为它不完全是粗心。数学里上标 ( -1 ) 用在函数上表示反函数用在数上表示倒数同一个符号两种含义确实容易误导。教材里现在越来越多地用 ( \arcsin )、( \arccos )、( \arctan ) 这套写法就是为了绕开这个坑。你自己做题记笔记坚持写 ( \arctan ) 就行别偷懒写 ( \tan^{-1} )省那几个字母换来的风险不划算。第五类值域区间忽略平时做题看不出后果一到概念题就抓瞎。比如问 ( y \arctan x ) 为什么在全体实数上可导标准回答里必须包含因为 ( \tan y ) 在 ( (-\frac{\pi}{2}, \frac{\pi}{2}) ) 上单调且 ( \sec^2 y \neq 0 )这个前提。少了它逻辑链是断的。我遇到过只答因为导数公式是 ( \frac{1}{1x^2} ) 分母不为零的这是循环论证——公式本身就是从可导性推出来的。4.2 三个验算动作能挡掉八成失误我做 arctan 相关题有个固定习惯每算完一题花十几秒做一遍检查三个动作任选其一就够。动作一代特殊值看数值。拿 ( y \arctan x )在 ( x1 ) 处导数应该是 ( \frac{1}{2} 0.5 )。你可以用一个极小的步长做差商粗算比如取 ( h 10^{-6} )算 ( \frac{\arctan(1h) - \arctan(1-h)}{2h} )结果应当非常接近 0.5。这个方法对任何复合题都适用写两行代码就能批量验。下面这段是我常用的模板import math def num_deriv(f, x, h1e-6): return (f(x h) - f(x - h)) / (2 * h) print(num_deriv(math.atan, 1.0)) # 理论值 1/(11) 0.5 print(num_deriv(lambda t: math.atan(2 * t), 1.0)) # 理论值 2/(14) 0.4 print(num_deriv(lambda t: math.atan(t * t), 1.0)) # 理论值 2x/(1x^4) 1.0 print(num_deriv(lambda t: math.atan(math.exp(t)), 0.0)) # 理论值 e^0/(1e^0) 0.5跑出来四行分别约等于 0.5、0.4、1.0、0.5和手算对上就基本没问题。要提醒的是中心差商有截断误差步长别设得太小比如 ( 10^{-12} )浮点相减会吃掉有效位反而偏差变大( 10^{-6} ) 附近是个比较稳的区间。动作二用符号工具反查。手算完想确认表达式有没有化简到位可以用符号计算过一遍from sympy import symbols, atan, diff, simplify x symbols(x) f atan((1 - x) / (1 x)) print(simplify(diff(f, x))) # 期望输出 -1/(x**2 1)工具的好处是它不会漏项坏处是它不会告诉你为什么。所以我的用法是反过来的先手算再让工具确认对不上就回去找差在哪一步。直接拿工具抄答案考场上什么也剩不下。动作三对称性与端行为检查。( \arctan x ) 是奇函数它的导数 ( \frac{1}{1x^2} ) 必须是偶函数。所以如果你算出个 ( \frac{x}{1x^2} ) 之类的东西一眼就能毙掉。同理导数恒正说明原函数单调递增( x0 ) 处导数为 1 说明过原点的切线是 ( yx )。这三条性质拿来做快速筛查比重新算一遍省事得多。注意验算能查出结果不对查不出过程不严谨。如果题目要求写推导过程验算替代不了对每一步理由的交代这两件事要分开看。5. 把它用出去arctan 求导在别处的影子5.1 积分表里那一行是怎么来的微积分教材的积分表里有这么一行( \int \frac{dx}{1x^2} \arctan x C )。很多人把它当成和求导公式并列的另一条要背的东西其实它们是同一件事的两面。正因为 ( (\arctan x) \frac{1}{1x^2} )( \arctan x ) 才是 ( \frac{1}{1x^2} ) 的原函数。懂了这一层积分表里一大片条目都不用单独记。更有意思的是反过来用从 ( \frac{1}{1x^2} ) 的几何级数展开出发[ \frac{1}{1x^2} 1 - x^2 x^4 - x^6 \cdots \quad (|x| 1) ]逐项积分这一步需要一致收敛性做支撑在 ( |x| 1 ) 的开区间内是合法的得到[ \arctan x x - \frac{x^3}{3} \frac{x^5}{5} - \frac{x^7}{7} \cdots ]这条展开在 ( x 1 ) 处收敛端点要用阿贝尔极限定理处理代入得 ( \frac{\pi}{4} 1 - \frac13 \frac15 - \frac17 \cdots )也就是那个著名的莱布尼茨级数。我特别喜欢拿这个当例子讲给刚学完导数的人听一条求导公式往前接积分往后接级数中间还能勾出圆周率这一小块知识的接口密度高得吓人。理解了这层关联你会发现 arctan 求导不是孤零零一条公式而是好几个章节之间的枢纽。顺带说一句有些题会考 ( \int \frac{dx}{a^2x^2} \frac{1}{a}\arctan\frac{x}{a} C )这个公式的来源就是换元 ( x at )然后套 ( \arctan ) 的导数。会推这个比背下来强。5.2 atan2 的偏导数与工程里的角度计算写代码的人接触到的往往不是 ( \arctan x )而是双参数的反正切atan2(y, x)。它比单参数版本多出来的价值是能区分四个象限。而在需要做梯度、做优化、做灵敏度分析的场合atan2的偏导数会直接出现在公式里。设 ( \theta \operatorname{atan2}(y, x) )在 ( x 0 ) 的分支上它就是 ( \arctan\frac{y}{x} )。对内层 ( u \frac{y}{x} ) 分别求偏导[ \frac{\partial \theta}{\partial y} \frac{1/x}{1 (y/x)^2} \frac{x}{x^2y^2}, \qquad \frac{\partial \theta}{\partial x} \frac{-y/x^2}{1(y/x)^2} -\frac{y}{x^2y^2} ]这两个式子有一个很漂亮的几何解释把它们看成向量 ( \frac{1}{x^2y^2}(x, -y) )它和径向向量 ( (x, y) ) 的内积为零也就是垂直于半径方向——转角变化最快的方向本来就是绕圈的方向这跟直觉完全一致。同时这个梯度的模是 ( \frac{1}{\sqrt{x^2y^2}} )离原点越远转同样的角度需要的位移越大这也对得上。这些式子在什么地方用得上凡是涉及角度对参数求敏感度的计算都绕不开。比如某开发者做机械臂末端姿态的误差分析末端方向用角度参数化做一阶误差传播时就必须用到上面这两个偏导又比如做方向估计的模型损失函数里含角度项反传时同样要落到 ( \frac{x}{x^2y^2} ) 这种形式上。我不打算在这里展开具体项目只想说明一点求导这一节的习题练的不是考试技巧是把一个几何量翻译成变化率的能力。这个能力在任何需要角度随参数怎么变的地方都能直接调用。还有个小细节值得记atan2在 ( x 0 ) 的分支上相当于 ( \arctan\frac{y}{x} \pi )或 ( -\pi )常数项求导后消失所以偏导公式在整个定义域去掉原点上形式不变。这也解释了为什么工程实现里可以在各个分支上统一用同一套偏导表达式不必分象限写四份。至于原点那里角度本身没有定义导数自然也不存在代码里必须单独处理这是数值实现时的一个常见边界。最后分享一个我自己的习惯。每次带人过完 arctan 这一节我都会留一道看起来不像这节内容的题已知 ( y \arctan x )求 ( y(1 x^2) 2xy ) 的值。算出来是 0而这恰好就是前面递推式里那个二阶方程。用这种方式收尾比再刷十道同型题管用——它逼着人回头看那行递推式是怎么来的也顺便把求导结果能反过来当方程用这个念头种下去。我自己的体会是微积分里那些看着零碎的公式真正的价值往往不在它本身而在它和邻居们连起来的那几根线arctan 求导这根线往前能接反函数往后能接积分和级数往旁边还能接上角度计算的工程实现算是性价比相当高的一块内容。
