introduction
设x=ϕ(t)是单调可导函数,并且ϕ′(t)≠0
又设: f[ϕ(t)]ϕ′(t)具有原函数Φ(t),则有:
∫f(x)dx=∫f[ϕ(t)]ϕ′(t)dt=Φ(t)+C=Φ[ϕ−1(x)]+C
其中: ϕ−1(x)是x=ϕ(t)的反函数
定理的意义: 当以x为积分变量之时,∫f(x)dx难解
进行变量替换x=ϕ(t)之后,容易求得原函数Φ(t)
回代后便得到f(x)的原函数
此方法适用于解决一些涉及无理函数的积分
根式代换法
当被积函数之中含有形如 k√ax+b 的根式,就常常应用此法
praxis 0
∫1√x(1+3√x)dx=?⇒∫1x12(1+x13)dx设:t=x12,x=t6⇒∫1t3(1+t2)d(t6)dt6=(t6)′dt,dx=6t5dt⇒∫1t3(1+t2)⋅dt6dt=6∫t21+t2dx⇒6∫t2+1−11+t2dt=6∫(t2+11+t2−11+t2)dt=6∫(1−11+t2)dt=6∫1dt−6∫11+t2dt根据积分公式:∫11+x2dx=arctanx+C得到:6t−6arctant+C=6(6√x−arctan6√x)+C(1)(2)(3)(4)(5)(6)(7)(8)(9)(10)(11)(12)(13)(14)(15)(16)(17)(18)(19)(20)(21)(22)(23)
praxis 1
∫x√x−3dx=?设:t=√x−3,x=t2+3⇒∫t2+3td(t2+3)d(t2+3)=(t2+3)′dt,dx=2tdt⇒∫t2+3t⋅2tdt=2∫(t2+3)dt=2(13t3+3t)+C2[13(t3+9t)]+C23(t3+9t)+C23[(x−3)(√x−3)+9√x−3]+C23[(√x−3)(x−3+9)]+C=23(√x−3)(x+6)+C(24)(25)(26)(27)(28)(29)(30)(31)(32)(33)(34)(35)(36)(37)(38)(39)(40)(41)(42)(43)(44)
三角代换法
当被积函数之中含有形如√a2−x2,√a2+x2,√x2−a2 的根式之时,便经常采用此法
- 一般而言,当被积函数之中含有形如 √a2−x2 ,可以作代换式 x=asint 或 x=acost 化去根式
- 一般而言,当被积函数之中含有形如 √a2+x2 ,可以作代换式 x=atant 或 x=acott 化去根式
- 一般而言,当被积函数之中含有形如 √x2−a2 ,可以作代换式 x=asect 或 x=acsct 化去根式
上述三条是一般而言,非确凿定之,具体情况具体分析,勿拘泥于此
sample 0
∫√a2−x2dx=?(a>0)设:x=sint,t∈[−π2,π2],所以t=arcsinxa∫√a2−(asint)2d(asint)dx=d(asint)=(asint)′dt=acostdt∫√a2(1−sin2t)⋅acostdt∫a√1−sin2t⋅acostdt根据公式:cos2x=1−sin2x⇒a2∫√cos2t⋅costdt=a2∫cos2tdt据积化和差公式:cosαcosβ=12[cos(α+β)+cos(α−β)]⇒a2∫cos(t+t)+cos(t−t)2dt=a2∫cos2t+12dt因为:∫cos2xdx=sin2x2+C=12a2[sin2t2+t]+C=a22[sin(t+t)2+t]+C根据和差角公式得到如下:=a22(sintcost+t)+C∴t=arcsinxa,sint=xa∵√a2−x2=√a2−(asint)2=√a2(1−sin2t)∴cost=√a2−x2a⇒a22[xa⋅√a2−x2a+arcsinxa]+C=a22⋅x√a2−x2a2+a22arcsinxa+C=x2√a2−x2+a22arcsinxa+C(45)(46)(47)(48)(49)(50)(51)(52)(53)(54)(55)(56)(57)(58)(59)(60)(61)(62)(63)(64)(65)(66)(67)(68)(69)(70)(71)(72)(73)(74)(75)(76)(77)(78)(79)(80)(81)(82)(83)(84)(85)(86)(87)(88)
sample 1
∫1x√x2−1dx=?设:x=sect=1costdx=d(sect)=(sect)′dt=secttantdt⇒∫1sect√sec2t−1⋅secttantdt=∫1secttant⋅secttantdt=∫1dt=t+Ccost=1x,t=arccos1x=arccos1x+C(89)(90)(91)(92)(93)(94)(95)(96)(97)(98)(99)(100)(101)(102)(103)
sample 2
援引题01: Sample 0
∫1√x2−a2dx=?(a>0)设:x=asect,sect=xa∫1√a2sec2t−a2⋅d(asect)dx=d(asect)=(asect)′dt=asecttantdt∫1√a2(sec2t−1)⋅asecttantdt∫1atant⋅asecttantdt=∫sectdt根据援引题01:⇒ln|sect+tant|+Ctant=√sec2t−1=√(xa)2−1=√x2−a2a=ln|xa+√x2−a2a|+C=ln|x+√x2−a2a|+C⇒ln(x+√x2−a2)−lna+C∵lna亦为常数∴−lna+C=C⇒ln(x+√x2−a2)+C(104)(105)(106)(107)(108)(109)(110)(111)(112)(113)(114)(115)(116)(117)(118)(119)(120)(121)(122)(123)(124)(125)(126)(127)(128)(129)(130)(131)
sample 3
援引题01: Sample 0
∫1√a2+x2dx=?(a>0)设:x=atant,tant=xa∫1√a2+(atant)2d(atant)dx=d(atant)=(atant)′dt=asec2tdt∫1√a2(1+tan2t)⋅asec2tdt∫1asect⋅asec2tdt=∫sectdt根据援引题01:=ln|secttant|+Csect=√1+(xa)2=√a2+x2a⇒ln|√a2+x2a+xa|+C=ln|√a2+x2+xa|+C⇒ln(√a2+x2+x)−lna+C∵lna等同于常数∴−lna+C=C⇒ln(√a2+x2+x)+C(132)(133)(134)(135)(136)(137)(138)(139)(140)(141)(142)(143)(144)(145)(146)(147)(148)(149)(150)(151)(152)(153)(154)(155)(156)(157)(158)(159)(160)(161)(162)
倒代换
倒代换一般用于形如 ∫f(√x2±a2)xndx 的不定积分,令x=1t,消去分母中的变量因子x,或降低分母中x的幂次
instance 00
援引题001: example 8
∫1x3(x2+1)dx=?设:x=1t=t−1⇒∫1t−3(t−2+1)d(t−1)dx=d(t−1)=(t−1)′dt=−t−2dt⇒∫1t−3(t−2+1)⋅−1⋅t−2dt=−∫1t−3⋅1t−2+1⋅t−2dt=−∫t3⋅1(t−2+1)t2dt=−∫t31+t2dt⇒−∫t3+t−t1+t2dt=−∫(t3+t1+t2−t1+t2)dt=−∫(t−t1+t2)dt⇒−∫tdt+∫t1+t2dt−∫tdt=−12t2+C根据援引题001:∫t1+t2dt=12ln|1+t2|+C综合上述:−12t2+12ln|1+t2|+C∵t=1x∴−12x2+12ln|1+1x2|+C(163)(164)(165)(166)(167)(168)(169)(170)(171)(172)(173)(174)(175)(176)(177)(178)(179)(180)(181)(182)(183)(184)(185)(186)(187)(188)(189)(190)(191)(192)
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· 没有Manus邀请码?试试免邀请码的MGX或者开源的OpenManus吧
· 【自荐】一款简洁、开源的在线白板工具 Drawnix
· 园子的第一款AI主题卫衣上架——"HELLO! HOW CAN I ASSIST YOU TODAY
· Docker 太简单,K8s 太复杂?w7panel 让容器管理更轻松!