exordium
基本积分表是求不定积分的基础,求解不定积分,往往是利用各种方法将其变形、分解,最终表述为基本积分表的形式,从而得解。
下面列举数个基本积分公式的推导过程,其余可在此处之内回推: 常见函数导数
First
前知识1: y=arctan(x)⇔tan(y)=x 前知识2: (tanα)′=sec2α 前知识3: sec2α=1+tan2α(arctanx)′= ? y′=[arctan(x)]′⇔[tan(y)]′=(x)′∵y=arctan(x)因此[tan(y)]为复合函数链式法则:[tan(y)]′⋅y′=(x)′sec2y⋅y′=1∵ 前知识3 ⇒(1+tan2y)⋅y′=1∵tan(y)=x∴tan2y=x2(1+x2)⋅y′=1⇒y′=11+x2∴ddx[arctan(x)]=11+x2∴∫11+x2dx=arctanx+C(1)(2)(3)(4)(5)(6)(7)(8)(9)(10)(11)(12)(13)(14)(15)(16)(17)(18)(19)(20)(21)(22)(23)(24)(25)(26)(27)(28)(29)(30)
Second
∫xμdx=1μ+1xμ+1+Cμ为常数,但μ≠0推导过程如下:(1μ+1xμ+1)′=(xμ+1)′⋅μ+1−xμ+1⋅(μ+1)′(μ+1)2∵(μ+1)′=0,(xμ+1)′=(μ+1)xμ+1−1⇒(μ+1)xμ⋅μ+1−xμ+1⋅0(μ+1)2((μ+1)xμ⋅μ+1(μ+1)2=xμ(1μ+1xμ+1)′=xμ∴∫xμdx=1μ+1xμ+1+C(31)(32)(33)(34)(35)(36)(37)(38)(39)(40)(41)(42)(43)(44)(45)
Third
∫axdx=axlna+C,(a为常数,a>0,a≠1)推导过程如下:已知:(ax)′=axlna,(lna)′=0(ax)′(lna)′=(ax)′lna−ax(lna)′ln2aaxlna⋅lna−ax⋅0ln2a⇒axlna⋅lnaln2a=ax∴(axlna)′=ax∴∫axdx=axlna+C,(a>0,a≠1)(46)(47)(48)(49)(50)(51)(52)(53)(54)(55)(56)(57)(58)(59)
Table
- ∫11+x2dx=arctanx+C
- ∫1√1−x2dx=arcsinx+C
- ∫secxdx=ln|secx+tanx|+C
推导过程 - Sample 0
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本
· Manus爆火,是硬核还是营销?
· 终于写完轮子一部分:tcp代理 了,记录一下
· 别再用vector<bool>了!Google高级工程师:这可能是STL最大的设计失误
· 单元测试从入门到精通