订阅号可以做网站吗/徐州seo推广优化
文章目录
- abstract
- 微积分第二基本定理
- 微积分基本公式
- 公式书写
- 例
- 结合不定积分的方法求定积分
- 定积分换元法
- 证明
- 定积分换元公式逆用
- 例
- 和不定积分第二类换元法的差别
- 定积分分部积分法
- 例
abstract
- 微积分第一基本定理告诉我们,总是能够通过积分法构造(表达)一个连续函数的原函数
- 结合同一个函数的原函数之间仅差一个常数的性质,引出微积分基本定理(也称第二基本定理)和Newton-Leibniz公式
微积分第二基本定理
-
如果 F ( x ) F(x) F(x)是连续函数 f ( x ) f(x) f(x)在区间 [ a , b ] [a,b] [a,b],上的一个原函数,则: ∫ a b f ( x ) d x = F ( b ) − F ( a ) \int_{a}^{b}f(x)\mathrm{d}{x}=F(b)-F(a) ∫abf(x)dx=F(b)−F(a)
(0)
-
证明:
-
根据原函数存在定理: G ( x ) = ∫ a x f ( t ) d t G(x)=\int_{a}^{x}f(t)\mathrm{d}t G(x)=∫axf(t)dt,是连续函数 f ( x ) f(x) f(x)的一个原函数
-
两个原函数之差 F ( x ) − G ( x ) F(x)-G(x) F(x)−G(x)在 [ a , b ] [a,b] [a,b]上必定是某个常数C
- F ( x ) − G ( x ) = C ( a ∈ [ a , b ] ) F(x)-G(x)=C(a\in[a,b]) F(x)−G(x)=C(a∈[a,b]),即 G ( x ) = F ( x ) + C G(x)=F(x)+C G(x)=F(x)+C
(1)
- G ( b ) − G ( a ) = [ F ( b ) + C ] − [ F ( a ) + C ] G(b)-G(a)=[F(b)+C]-[F(a)+C] G(b)−G(a)=[F(b)+C]−[F(a)+C]= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)
(1-1)
- F ( x ) − G ( x ) = C ( a ∈ [ a , b ] ) F(x)-G(x)=C(a\in[a,b]) F(x)−G(x)=C(a∈[a,b]),即 G ( x ) = F ( x ) + C G(x)=F(x)+C G(x)=F(x)+C
-
G ( b ) = ∫ a b f ( x ) d x G(b)=\int_{a}^{b}f(x)\mathrm{d}x G(b)=∫abf(x)dx
(2)
; G ( a ) = 0 G(a)=0 G(a)=0(2-1)
-
两式相减: G ( b ) − G ( a ) G(b)-G(a) G(b)−G(a)= ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx
(2-2)
,等号左右代入(1-1),得 F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)= ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx(3)
,即定理(公式(0))成立
-
-
本定理揭示了定积分与被积函数的"原函数或不定积分"之间的联系(不定积分的结果为原函数)
-
更一般的.当 a > b a>b a>b,定理也成立
微积分基本公式
- 公式(0)称为Newton-Leibniz公式,也叫微积分基本公式
- 利用本公式可以大大简化定积分的计算手续
公式书写
- 记: ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx= F ( x ) ∣ a b \left.F(x)\right|_{a}^{b} F(x)∣ab= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)或 [ F ( x ) ] a b [F(x)]_{a}^{b} [F(x)]ab= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a);
- 第2种写法用得较少,但当遇到 F ( x ) F(x) F(x)本身以绝对值结尾的,可以提供方便,不易混淆
例
- ∫ 0 1 x 2 d x \int_{0}^{1}x^2\mathrm{d}x ∫01x2dx= 1 3 x 3 ∣ 0 1 \frac{1}{3}x^3|_{0}^{1} 31x3∣01= 1 3 \frac{1}{3} 31
- ∫ − 2 − 1 1 x d x \int_{-2}^{-1}\frac{1}{x}\mathrm{d}x ∫−2−1x1dx= [ ln ∣ x ∣ ] − 2 − 1 [\ln|x|]_{-2}^{-1} [ln∣x∣]−2−1= ln 1 − ln 2 = 0 − ln 2 \ln1-\ln{2}=0-\ln{2} ln1−ln2=0−ln2= ln 2 \ln{2} ln2
结合不定积分的方法求定积分
定积分换元法
-
设函数 f ( x ) f(x) f(x)在区间 [ a , b ] [a,b] [a,b]上连续,函数 x = ϕ ( t ) x=\phi(t) x=ϕ(t)满足
- ϕ ( α ) = a \phi(\alpha)=a ϕ(α)=a, ϕ ( β ) = b \phi(\beta)=b ϕ(β)=b
(0)
- ϕ ( t ) \phi(t) ϕ(t)在 [ α , β ] [\alpha,\beta] [α,β](或 [ β , α ] [\beta,\alpha] [β,α])上中具有连续导函数,且其值域 R ϕ R_{\phi} Rϕ= [ a , b ] [a,b] [a,b]
- 以 t ∈ [ α , β ] t\in[\alpha,\beta] t∈[α,β].为例, t ∈ [ α , β ] t\in[\alpha,\beta] t∈[α,β]时, x = ϕ ( t ) ∈ [ a , b ] x=\phi(t)\in[a,b] x=ϕ(t)∈[a,b]
- ϕ ( α ) = a \phi(\alpha)=a ϕ(α)=a, ϕ ( β ) = b \phi(\beta)=b ϕ(β)=b
-
则: ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx= ∫ a β f ( ϕ ( t ) ) ϕ ′ ( t ) d t \int_{a}^{\beta}f(\phi(t))\phi'(t)\mathrm{d}t ∫aβf(ϕ(t))ϕ′(t)dt
(1)
,该公式为定积分换元公式- 当 R ϕ R_{\phi} Rϕ超出了 [ a , b ] [a,b] [a,b], ϕ ( t ) \phi(t) ϕ(t)满足其他条件时,只要 f ( x ) f(x) f(x)在 R ϕ R_{\phi} Rϕ上连续,定理结论仍然成立
- 通过方程组(0)解出 α , β \alpha,\beta α,β大小可能 α < β \alpha<\beta α<β,也可能时 α > β \alpha>\beta α>β,这不影响结果,只要保证 a a a对应的 α \alpha α作为积分下限, b b b对应的 β \beta β作为积分上限,就能保证结果正确
-
回顾不定积分的二类换元法积分公式:
- 通过变量代换 u = ϕ ( x ) u=\phi(x) u=ϕ(x), ∫ f ( ϕ ( x ) ) ϕ ′ ( x ) d x \int{f(\phi(x))\phi'(x)}\mathrm{d}x ∫f(ϕ(x))ϕ′(x)dx= ∫ f ( u ) d u \int{f(u)\mathrm{d{u}}} ∫f(u)du,
- 通过变量代换 x = ϕ ( t ) x=\phi(t) x=ϕ(t),则 ∫ f ( x ) d x \int{f(x)\mathrm{d}x} ∫f(x)dx= ∫ f ( ϕ ( t ) ) ϕ ′ ( t ) d t \int{f(\phi(t))}\phi'(t)\mathrm{d}t ∫f(ϕ(t))ϕ′(t)dt
证明
- 由假设得, f ( x ) f(x) f(x), g ( t ) = f ( ϕ ( t ) ) ϕ ′ ( t ) g(t)=f(\phi(t))\phi'(t) g(t)=f(ϕ(t))ϕ′(t)
(1-1)
都连续的,由**连续函数原函数存在定理,**这两个函数的定积分和原函数都存在,(1)式两边都可以用微积分基本公式- 设 F ( x ) F(x) F(x)是 f ( x ) f(x) f(x)的一个原函数(即 F ′ ( x ) = f ( x ) F'(x)=f(x) F′(x)=f(x)),由微分积分基本公式, ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)
(2)
- 设 G ( t ) G(t) G(t)是 g ( t ) g(t) g(t)的一个原函数,则 ∫ a β g ( t ) d t \int_{a}^{\beta}g(t)\mathrm{d}t ∫aβg(t)dt= G ( β ) − G ( α ) G(\beta)-G(\alpha) G(β)−G(α)
- 欲证明(1),即证明 F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)= G ( β ) − G ( α ) G(\beta)-G(\alpha) G(β)−G(α)
- 记复合函数: Φ ( t ) = F ( ϕ ( t ) ) \Phi(t)=F(\phi(t)) Φ(t)=F(ϕ(t))
(3)
即 Φ ( t ) \Phi(t) Φ(t)是 F ( x ) F(x) F(x)关于 t t t的表示法 F ( x ) ∣ x = ϕ ( t ) F(x)|_{x=\phi(t)} F(x)∣x=ϕ(t), - 由复合函数求导法: Φ ′ ( t ) \Phi'(t) Φ′(t)= F ′ ( ϕ ( t ) ) ϕ ′ ( t ) F'(\phi(t))\phi'(t) F′(ϕ(t))ϕ′(t)= f ( ϕ ( t ) ) ϕ ′ ( t ) f(\phi(t))\phi'(t) f(ϕ(t))ϕ′(t)= g ( t ) g(t) g(t),可见, Φ ( t ) \Phi(t) Φ(t)是 g ( t ) g(t) g(t)的一个原函数,由微积分基本公式,有 ∫ α β g ( t ) d t \int_{\alpha}^{\beta}g(t)\mathrm{d}t ∫αβg(t)dt= Φ ( β ) − Φ ( α ) \Phi(\beta)-\Phi(\alpha) Φ(β)−Φ(α)
(4)
- 设 F ( x ) F(x) F(x)是 f ( x ) f(x) f(x)的一个原函数(即 F ′ ( x ) = f ( x ) F'(x)=f(x) F′(x)=f(x)),由微分积分基本公式, ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)
- 又由(1-1),(3),(0)
- ∫ α β f ( ϕ ( t ) ) ϕ ′ ( t ) d t \int_{\alpha}^{\beta}f(\phi(t))\phi'(t)\mathrm{d}t ∫αβf(ϕ(t))ϕ′(t)dt= F ( ϕ ( β ) ) − F ( ϕ ( α ) ) F(\phi(\beta))-F(\phi(\alpha)) F(ϕ(β))−F(ϕ(α))= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)
(5)
- ∫ α β f ( ϕ ( t ) ) ϕ ′ ( t ) d t \int_{\alpha}^{\beta}f(\phi(t))\phi'(t)\mathrm{d}t ∫αβf(ϕ(t))ϕ′(t)dt= F ( ϕ ( β ) ) − F ( ϕ ( α ) ) F(\phi(\beta))-F(\phi(\alpha)) F(ϕ(β))−F(ϕ(α))= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)
- 由(2),(5): ∫ a b f ( x ) d x \int_{a}^{b}f(x)\mathrm{d}x ∫abf(x)dx= F ( b ) − F ( a ) F(b)-F(a) F(b)−F(a)= ∫ α β f ( ϕ ( t ) ) ϕ ′ ( t ) d t \int_{\alpha}^{\beta}f(\phi(t))\phi'(t)\mathrm{d}t ∫αβf(ϕ(t))ϕ′(t)dt,这就是公式(1),公式成立
定积分换元公式逆用
- ∫ a b f ( ϕ ( x ) ) ϕ ′ ( x ) d x \int_{a}^{b}f(\phi(x))\phi'(x)\mathrm{d}x ∫abf(ϕ(x))ϕ′(x)dx= ∫ α β f ( t ) d t \int_{\alpha}^{\beta}f(t)\mathrm{d}t ∫αβf(t)dt
(6)
- 通过 t = ϕ ( x ) t=\phi(x) t=ϕ(x)引入新变量 t t t,而 ϕ ( a ) = α \phi(a)=\alpha ϕ(a)=α, ϕ ( b ) = β \phi(b)=\beta ϕ(b)=β
例
-
∫ 0 a a 2 − x 2 d x \int_{0}^{a}\sqrt{a^2-x^2}\mathrm{d}x ∫0aa2−x2dx, ( a > 0 ) (a>0) (a>0)
- 方法1:不定积分公式法, ∫ 0 a a 2 − x 2 d x \int_{0}^{a}\sqrt{a^2-x^2}\mathrm{d}x ∫0aa2−x2dx= 1 2 ( a 2 arcsin x a + x a 2 − x 2 ) ∣ 0 a \frac{1}{2}(a^2\arcsin{\frac{x}{a}}+x\sqrt{a^2-x^2})|_{0}^{a} 21(a2arcsinax+xa2−x2)∣0a= 1 2 a 2 arcsin 1 \frac{1}{2}a^2\arcsin{1} 21a2arcsin1= a 2 π 4 \frac{a^2\pi}{4} 4a2π
- 方法2:不定积分换元法:令 x = a sin t x=a\sin{t} x=asint,则 d x = a cos t d t \mathrm{d}x=a\cos{t}\mathrm{d}t dx=acostdt
- 积分限转化: x = 0 x=0 x=0时, t = 0 t=0 t=0; x = a x=a x=a时, t = π 2 t=\frac{\pi}{2} t=2π
- ∫ 0 a a 2 − x 2 d x \int_{0}^{a}\sqrt{a^2-x^2}\mathrm{d}x ∫0aa2−x2dx= a 2 ∫ 0 π 2 cos 2 t d t a^2\int_{0}^{\frac{\pi}{2}}{\cos^2{t}\mathrm{d}t} a2∫02πcos2tdt= a 2 2 ∫ 0 π 2 ( 1 + cos 2 t ) d t \frac{a^2}{2}\int_{0}^{\frac{\pi}{2}}(1+\cos{2t})\mathrm{d}t 2a2∫02π(1+cos2t)dt= a 2 2 [ t + 1 2 sin 2 t ] 0 π 2 \frac{a^2}{2}[t+\frac{1}{2}\sin{2t}]_{0}^{\frac{\pi}{2}} 2a2[t+21sin2t]02π= π a 2 4 \frac{\pi{a^2}}{4} 4πa2
-
∫ 0 π 2 cos 5 x sin x d x \int_{0}^{\frac{\pi}{2}}{\cos^{5}x}\sin{x}\mathrm{d}x ∫02πcos5xsinxdx
- 方法1: ∫ 0 π 2 cos 5 x sin x d x \int_{0}^{\frac{\pi}{2}}{\cos^{5}x}\sin{x}\mathrm{d}x ∫02πcos5xsinxdx= − ∫ 0 5 cos 5 x d ( cos x ) -\int_{0}^{5}\cos^{5}x\mathrm{d}(\cos{x}) −∫05cos5xd(cosx)= − 1 6 cos 6 x ∣ 0 π 2 -\frac{1}{6}\cos^{6}x|_{0}^{\frac{\pi}{2}} −61cos6x∣02π= 1 6 \frac{1}{6} 61
- 方法:使用公式6
- 令 t = cos x t=\cos{x} t=cosx,则 d t \mathrm{d}t dt= − sin x d x -\sin{x}\mathrm{d}x −sinxdx, sin x d x = − d t \sin{x}{\mathrm{d}x}=-\mathrm{d}t sinxdx=−dt且 x = 0 x=0 x=0, t = 1 t=1 t=1;当 x = π 2 x=\frac{\pi}{2} x=2π, t = 0 t=0 t=0
- ∫ 0 π 2 cos 5 x sin x d x \int_{0}^{\frac{\pi}{2}}{\cos^{5}x}\sin{x}\mathrm{d}x ∫02πcos5xsinxdx= − ∫ 1 0 t 5 d t -\int_{1}^{0}t^5\mathrm{d}t −∫10t5dt= ∫ 0 1 t 5 d t \int_{0}^{1}t^5\mathrm{d}t ∫01t5dt= t 6 6 ∣ 0 1 \frac{t^6}{6}|_{0}^{1} 6t6∣01= 1 6 \frac{1}{6} 61
-
设 f ( x ) f(x) f(x)在[0,1]上连续,则 ∫ 0 π 2 f ( sin x ) d x \int_{0}^{\frac{\pi}{2}}f(\sin{x})\mathrm{d}{x} ∫02πf(sinx)dx= ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx
- 方法1:
- ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx= ∫ 0 π 2 f ( sin ( π 2 − x ) ) d x \int_{0}^{\frac{\pi}{2}}f(\sin(\frac{\pi}{2}-x))\mathrm{d}{x} ∫02πf(sin(2π−x))dx= − ∫ 0 π 2 f ( sin ( π 2 − x ) ) d ( π 2 − x ) -\int_{0}^{\frac{\pi}{2}}f(\sin(\frac{\pi}{2}-x))\mathrm{d}{(\frac{\pi}{2}-x)} −∫02πf(sin(2π−x))d(2π−x)
- 令 t = π 2 − x t=\frac{\pi}{2}-x t=2π−x,当 x = 0 x=0 x=0时, t = π 2 t=\frac{\pi}{2} t=2π; x = π 2 x=\frac{\pi}{2} x=2π时, t = 0 t=0 t=0
- ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx= − ∫ π 2 0 f ( sin t ) d t -\int_{\frac{\pi}{2}}^{0}f(\sin{t})\mathrm{d}{t} −∫2π0f(sint)dt= ∫ 0 π 2 f ( sin t ) d t \int_{0}^{\frac{\pi}{2}}{f(\sin{t})}\mathrm{d}t ∫02πf(sint)dt= ∫ 0 π 2 f ( sin x ) d x \int_{0}^{\frac{\pi}{2}}f(\sin{x})\mathrm{d}{x} ∫02πf(sinx)dx,等式得证
- 方法2:
- 令 x = π 2 − t x=\frac{\pi}{2}-t x=2π−t,则 d x \mathrm{d}x dx= − d t -\mathrm{d}t −dt,且 x = 0 x=0 x=0时 t = π 2 t=\frac{\pi}{2} t=2π,当 x = π 2 x=\frac{\pi}{2} x=2π时, t = 0 t=0 t=0于是 ∫ 0 π 2 f ( sin x ) d x \int_{0}^{\frac{\pi}{2}}f(\sin{x})\mathrm{d}x ∫02πf(sinx)dx= − ∫ π 2 0 f ( sin ( π 2 − t ) ) d t -\int_{\frac{\pi}{2}}^{0}f(\sin(\frac{\pi}{2}-t))\mathrm{d}t −∫2π0f(sin(2π−t))dt= ∫ 0 π 2 f ( cos t ) d t \int_{0}^{\frac{\pi}{2}}f(\cos{t})\mathrm{d}t ∫02πf(cost)dt= ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx
- 方法1:
和不定积分第二类换元法的差别
- 用 x = ϕ ( t ) x=\phi(t) x=ϕ(t)把原来变量 x x x代换成新变量 t t t时,积分限也要换成新变量 t t t的积分限
- 求出 f ( ϕ ( t ) ) ϕ ′ ( t ) f(\phi(t))\phi'(t) f(ϕ(t))ϕ′(t)的一个原函数 Φ ( t ) \Phi(t) Φ(t)后,不再需要像不定积分那样将 Φ ( t ) \Phi(t) Φ(t)变换回原来的变量 x x x的函数(不要求反函数存在),只需要将 t t t的上下限 ( α , β ) (\alpha,\beta) (α,β)分别代入 Φ ( t ) \Phi(t) Φ(t)作差即可
定积分分部积分法
- ∫ a b u ( x ) v ′ ( x ) d x \int_{a}^{b}u(x)v'(x)\mathrm{d}x ∫abu(x)v′(x)dx= [ ∫ u ( x ) v ′ ( x ) d x ] a b [\int u(x)v'(x)\mathrm{d}x]_{a}^{b} [∫u(x)v′(x)dx]ab= [ u ( x ) v ( x ) − ∫ v ( x ) u ′ ( x ) d x ] a b [u(x)v(x)-\int{v(x)}{u'(x)}\mathrm{d}x]_{a}^{b} [u(x)v(x)−∫v(x)u′(x)dx]ab= [ u ( x ) v ( x ) ] a b − ∫ a b v ( x ) u ′ ( x ) d x [u(x)v(x)]_{a}^{b}-\int_{a}^{b}{v(x)}{u'(x)}\mathrm{d}x [u(x)v(x)]ab−∫abv(x)u′(x)dx
- 简记为 ∫ a b u v ′ d x \int_{a}^{b}uv'\mathrm{d}x ∫abuv′dx= [ u v ] a b − ∫ a b v u ′ d x [uv]_{a}^{b}-\int_{a}^{b}{vu'\mathrm{d}x} [uv]ab−∫abvu′dx或 ∫ a b u d v \int_{a}^{b}u\mathrm{d}v ∫abudv= [ u v ] a b − ∫ a b v d u [uv]_{a}^{b}-\int_{a}^{b}v\mathrm{d}u [uv]ab−∫abvdu
- 公式表明,原函数已经积出的部分可以先用上下限代入,尽快简化算式
例
- 求证: I n I_n In= ∫ 0 π 2 sin n x d x \int_{0}^{\frac{\pi}{2}}\sin^{n}x\mathrm{d}{x} ∫02πsinnxdx= ∫ 0 π 2 cos n x d x \int_{0}^{\frac{\pi}{2}}\cos^{n}x\mathrm{d}x ∫02πcosnxdx
- = n − 1 n ⋅ n − 3 n − 2 ⋯ 3 4 1 2 π 2 \frac{n-1}{n}\cdot\frac{n-3}{n-2}\cdots\frac{3}{4}\frac{1}{2}\frac{\pi}{2} nn−1⋅n−2n−3⋯43212π, n n n为偶数
- = n − 1 n n − 3 n − 2 ⋯ 4 5 2 3 \frac{n-1}{n}\frac{n-3}{n-2}\cdots\frac{4}{5}\frac{2}{3} nn−1n−2n−3⋯5432, n n n为大于1的正奇数
- 证明:
- I n I_n In= ∫ 0 π 2 sin n x d x \int_{0}^{\frac{\pi}{2}}\sin^{n}x\mathrm{d}{x} ∫02πsinnxdx= − ∫ 0 π 2 sin n − 1 x d ( cos x ) -\int_{0}^{\frac{\pi}{2}}\sin^{n-1}x\mathrm{d}{(\cos{x})} −∫02πsinn−1xd(cosx)
- 由分部积分公式: I n I_n In= [ − cos sin n − 1 x ] 0 π 2 [-\cos\sin^{n-1}x]_{0}^{\frac{\pi}{2}} [−cossinn−1x]02π+ ∫ 0 π 2 cos x d ( sin n − 1 x ) \int_{0}^{\frac{\pi}{2}}\cos{x}\mathrm{d}{(\sin^{n-1}x)} ∫02πcosxd(sinn−1x)= 0 + ( n − 1 ) ∫ 0 π 2 cos 2 x ( sin n − 2 x ) d x 0+(n-1)\int_{0}^{\frac{\pi}{2}}\cos^2{x}{(\sin^{n-2}x)}\mathrm{d}x 0+(n−1)∫02πcos2x(sinn−2x)dx
- = ( n − 1 ) ∫ 0 π 2 ( 1 − sin 2 x ) sin n − 2 x d x (n-1)\int_{0}^{\frac{\pi}{2}}(1-\sin^2{x}){\sin^{n-2}x}\mathrm{d}x (n−1)∫02π(1−sin2x)sinn−2xdx
- = ( n − 1 ) ∫ 0 π 2 ( sin n − 2 x ) d x (n-1)\int_{0}^{\frac{\pi}{2}}{(\sin^{n-2}x)}\mathrm{d}x (n−1)∫02π(sinn−2x)dx- ( n − 1 ) ∫ 0 π 2 sin n x d x (n-1)\int_{0}^{\frac{\pi}{2}}{\sin^{n}x}\mathrm{d}x (n−1)∫02πsinnxdx
- = ( n − 1 ) I n − 2 − ( n − 1 ) I n (n-1)I_{n-2}-(n-1)I_n (n−1)In−2−(n−1)In
(0)
- 移项: n I n = ( n − 1 ) I n − 2 nI_n=(n-1)I_{n-2} nIn=(n−1)In−2,从而 I n = n − 1 n I n − 2 I_n=\frac{n-1}{n}I_{n-2} In=nn−1In−2
(1)
- 式(2)称为 I n I_n In关于 n n n的递推公式
- 由分部积分公式: I n I_n In= [ − cos sin n − 1 x ] 0 π 2 [-\cos\sin^{n-1}x]_{0}^{\frac{\pi}{2}} [−cossinn−1x]02π+ ∫ 0 π 2 cos x d ( sin n − 1 x ) \int_{0}^{\frac{\pi}{2}}\cos{x}\mathrm{d}{(\sin^{n-1}x)} ∫02πcosxd(sinn−1x)= 0 + ( n − 1 ) ∫ 0 π 2 cos 2 x ( sin n − 2 x ) d x 0+(n-1)\int_{0}^{\frac{\pi}{2}}\cos^2{x}{(\sin^{n-2}x)}\mathrm{d}x 0+(n−1)∫02πcos2x(sinn−2x)dx
- 将 n n n替换为 n − 2 n-2 n−2,则由(1)得 I n − 2 = n − 3 n − 2 I n − 4 I_{n-2}=\frac{n-3}{n-2}I_{n-4} In−2=n−2n−3In−4, ⋯ \cdots ⋯
- 类似的递推下去,知道 I n I_{n} In下标递减至0或1为止:
- n = 2 n=2 n=2时,最终为 I 2 = 1 2 I 0 I_{2}=\frac{1}{2}I_0 I2=21I0,
- n = 3 n=3 n=3时,最终为 I 3 = 2 3 I 1 I_3=\frac{2}{3}I_{1} I3=32I1
- I 0 = ∫ 0 π 2 d x I_{0}=\int_{0}^{\frac{\pi}{2}}\mathrm{d}x I0=∫02πdx= π 2 \frac{\pi}{2} 2π; I 1 = ∫ 0 π 2 sin x d x I_1=\int_{0}^{\frac{\pi}{2}}\sin{x}\mathrm{d}x I1=∫02πsinxdx=1
(3)
- 类似的递推下去,知道 I n I_{n} In下标递减至0或1为止:
- 所以,由(1)
- I 2 m I_{2m} I2m= 2 m − 1 2 m 2 m − 3 2 m − 2 ⋯ 3 4 1 2 I 0 \frac{2m-1}{2m}\frac{2m-3}{2m-2}\cdots\frac{3}{4}\frac{1}{2}I_0 2m2m−12m−22m−3⋯4321I0
(4-1)
- I 2 m + 1 I_{2m+1} I2m+1= 2 m 2 m + 1 2 m − 2 2 m − 1 ⋯ 4 5 2 3 I 1 \frac{2m}{2m+1}\frac{2m-2}{2m-1}\cdots\frac{4}{5}\frac{2}{3}I_1 2m+12m2m−12m−2⋯5432I1
(4-2)
- 代入等式组(3),结合 ∫ 0 π 2 f ( sin x ) d x \int_{0}^{\frac{\pi}{2}}f(\sin{x})\mathrm{d}{x} ∫02πf(sinx)dx= ∫ 0 π 2 f ( cos x ) d x \int_{0}^{\frac{\pi}{2}}f(\cos{x})\mathrm{d}{x} ∫02πf(cosx)dx,即欲证结论得证
- I 2 m I_{2m} I2m= 2 m − 1 2 m 2 m − 3 2 m − 2 ⋯ 3 4 1 2 I 0 \frac{2m-1}{2m}\frac{2m-3}{2m-2}\cdots\frac{3}{4}\frac{1}{2}I_0 2m2m−12m−22m−3⋯4321I0
- I n I_n In= ∫ 0 π 2 sin n x d x \int_{0}^{\frac{\pi}{2}}\sin^{n}x\mathrm{d}{x} ∫02πsinnxdx= − ∫ 0 π 2 sin n − 1 x d ( cos x ) -\int_{0}^{\frac{\pi}{2}}\sin^{n-1}x\mathrm{d}{(\cos{x})} −∫02πsinn−1xd(cosx)
相关文章:

AM@微积分基本定理@微积分第二基本定理
文章目录 abstract微积分第二基本定理微积分基本公式公式书写例 结合不定积分的方法求定积分定积分换元法证明 定积分换元公式逆用例 和不定积分第二类换元法的差别定积分分部积分法例 abstract 微积分第一基本定理告诉我们,总是能够通过积分法构造(表达)一个连续函数的原函数…...

goland常用快捷键
移动光标 控制光标的移动:fn上下左右 移至当前页的页头:ctrlPgUp 移至并选中光标到当前页头:ctrlshiftPgUp 移至当前页的页尾:ctrlPgDn 移至并选中当前光标到当前页尾:ctrlshiftPgDn 返回到当前的光标处…...

CSDN写文章时常见问题及技巧
CSDN写文章时常见问题及技巧 1.有序待续、更新中 1.有序 过程: 写 1.空格 ,注意“.”后加个空格就可以生成序号,随心所欲编辑了 待续、更新中 ————————————————————— 以上就是今日博客的全部内容了 创作不易,若对您有…...

JVM虚拟机详解
目录 01JVM由哪些部分组成/运行流程 什么是程序计数器 详细介绍堆 介绍方法区(Method Area) 直接内存 虚拟机栈(Java Virtual machine Stacks) 垃圾回收是否涉及栈内存 栈内存分配越大越好吗 方法内的局部变量是否线程安全 什么情况下会导致栈…...

Go 怎么操作 OSS 阿里云对象存储
1 介绍 在项目开发中,我们经常会使用对象存储,比如 Amazon 的 S3,腾讯云的 COS,阿里云的 OSS 等。本文我们以阿里云 OSS 为例,介绍怎么使用 Go 操作对象存储。 阿里云 OSS 提供了 REST Api 和 OSS Go SDK࿰…...

vue3 Suspense组件
在 Vue 3 中,<Suspense> 组件用于处理异步组件加载时的等待状态和错误处理。它允许你在加载异步组件时显示一个自定义的加载指示器,以及在加载失败时显示错误信息。以下是一个详细的 <Suspense> 组件的使用示例: 首先࿰…...

NlogPrismWPF
文章目录 Nlog&Prism&WPF日志模块实现原理添加配置注入服务应用测试其他模块怎么调用? Nlog&Prism&WPF 日志模块 介绍了为WPF框架Prism注册Nlog日志服务的方法 实现原理 无论是在WPF或者ASP.NET Core当中, 都可以使用ServiceCollection来做到着…...

文件上传漏洞(2), 文件上传实战绕过思路, 基础篇
文件上传漏洞实战思路(基础) 准备一句话木马文件 mm.php 一, 前端绕过 p1 浏览器禁用js先把mm.php后缀名修改为mm.jpg, 点击提交后, 用 burp 截取请求, 将数据包中的文件名修改回mm.php再提交. 二, 类型MIME绕过 p2 使用 burp 修改 Content-Type: image/jpeg 三, 黑名单绕…...

论文阅读 - Hidden messages: mapping nations’ media campaigns
论文链接: https://link.springer.com/content/pdf/10.1007/s10588-023-09382-7.pdf 目录 1 Introduction 2 The influence model 2.1 The influence‑model library 3 Data 4 Methodology 4.1 Constructing observations 4.2 Learning the state‑transiti…...

[AutoSAR系列] 1.3 AutoSar 架构
依AutoSAR及经验辛苦整理,原创保护,禁止转载。 专栏 《深入浅出AutoSAR》 1. 整体架构 图片来源: AutoSar 官网 从官往图中可以看出autosar作为汽车ECU软件架构,是通过分层来实现软硬件隔离。就像大多数操作系统一样ÿ…...

迁移学习 - 微调
什么是与训练和微调? 你需要搭建一个网络模型来完成一个特定的图像分类的任务。首先,你需要随机初始化参数,然后开始训练网络,不断调整参数,直到网络的损失越来越小。在训练的过程中,一开始初始化的参数会…...

09 用户态跟踪:如何使用eBPF排查应用程序?
09 用户态跟踪:如何使用eBPF排查应用程序? sudo bpftrace -e usdt:/usr/bin/python3:function__entry { printf("%s:%d %s\n", str(arg0), arg2, str(arg1))} # -*- coding: UTF-8 -*- import socket from socket import SOL_SOCKET, SO_R…...
深入浅出排序算法之堆排序
目录 1. 算法介绍 2. 执行流程⭐⭐⭐⭐⭐✔ 3. 代码实现 4. 性能分析 1. 算法介绍 堆是一种数据结构,可以把堆看成一棵完全二叉树,这棵完全二叉树满足:任何一个非叶结点的值都不大于(或不小于)其左右孩子结点的值。若父亲大孩子小&#x…...

Linux 命令(11)—— tcpdump
文章目录 一、命令简介二、使用方法三、命令选项四、基本语法和使用方法1. 显示 ASCII 字符串2. 抓取特定协议的数据3. 抓取特定主机的数据4. 将抓取的数据写入文件5. 行缓冲模式 五、理解tcpdump的输出六、过滤表达式1. Host 过滤2. Network 过滤3. Proto 过滤4. Port 过滤5. …...

8.自定义组件布局和详解Context上下文
pages/index.vue layout布局运行在服务端 1、在项目的目录下新建layout文件夹,并新建一个blog.vue布局文件 2、在页面中的layout函数里,返回刚才新建布局文件的名字blog就可以使用了 export default {...layout (context) {console.log(context)retu…...

几个Web自动化测试框架的比较:Cypress、Selenium和Playwright
介绍:Web自动化测试框架对于确保Web应用程序的质量和可靠性至关重要。它们帮助开发人员和测试人员自动执行重复性任务,跨多个浏览器和平台执行测试,并在开发早期发现问题。 以下仅代表作者观点: 本文探讨来3种流行的Web自动化测…...

Android Studio中配置aliyun maven库
当下载第三方库失败的时候,通过Android Studio中配置aliyun maven库,达到正常下载库效果 在项目的根build.gradle里面(不是module)buildscriptde对应位置添加配置: maven { url https://maven.aliyun.com/repository/…...

记录使用阿里 ARoute 遇到的坑
1.按照官方一个配置好之后 尝试使用 跳转出现 Aroute Theres no route matched path"" 我这边遇到的坑是配置问题 kotiln 使用了 Java的配置 plugins {id("com.android.application")id("org.jetbrains.kotlin.android")id("kotlin-kapt&…...

lesson2(补充)关于const成员函数
个人主页:Lei宝啊 愿所有美好如期而遇 前言: 将const 修饰的 “ 成员函数 ” 称之为 const 成员函数 , const 修饰类成员函数,实际修饰该成员函数 隐含的 this 指针 ,表明在该成员函数中不能对类的任何成员进行修改…...

前端 :用HTML ,JS写一个 双色球彩票中将机制,因为时间不够,加上本人懒没有用CSS美化界面,多包涵
1.HTML <body><div id"content"><div id "top"><div id "username">用户号码:</div><div id "qiu"><span id "red">红球:</span><input id…...

前端页面如何自适应--4种方法
前端页面有很多方法可以实现。这里我将介绍五种常用的方法,并提供相应的代码示例。 1. 使用CSS媒体查询 通过CSS媒体查询,可以根据不同的屏幕尺寸应用不同的样式。在Vue组件中,可以在样式部分使用媒体查询,使排版根据屏幕大小进…...

2024王道考研计算机组成原理——总线
6.1 总线概述 每一个外设都通过IO接口和DB、CB、AB相连 三系统总线结构: 桥有总线仲裁的功能,就是把某一总线的使用权分给哪个设备? 6.1.2 总线的性能指标 总线复用:分时传输地址&数据 6.2 总线仲裁 通过控制总线来发送使…...

【Linux】进程概念(下)
进程概念 一、环境变量1. 命令行参数2. 常见的环境变量(1)PATH(2)PWD(3)HOME(4)env 查看所有的环境变量 3. 获取环境变量(1)通过代码获取环境变量(…...

基于Spring Boot的本科生就业质量设计与实现
摘 要 信息化爆炸的时代,互联网技术的指数型的增长,信息化程度的不断普及,社会节奏在加快,每天都有大量的信息扑面而来,人们正处于数字信息化世界。数字化的互联网具有便捷性,传递快,效率高&am…...

238. 除自身以外数组的乘积 --力扣 --JAVA
题目 给你一个整数数组 nums,返回 数组 answer ,其中 answer[i] 等于 nums 中除 nums[i] 之外其余各元素的乘积 。 题目数据 保证 数组 nums之中任意元素的全部前缀元素和后缀的乘积都在 32 位 整数范围内。 请不要使用除法,且在 O(n) 时间复…...

如何判断一个类是线程安全的
线程安全 一个类或者程序提供的接口,多个线程之间的切换不会导致该接口的执行结果存在二义性,也就是不必考虑同步问题。 或者说一段代码可能会被多个线程同时执行,如果每次运行的结果和单线程执行的结果是一样的,并且其他变量的…...

MyBatis的各种查询功能
文章目录 情景查询一个实体类对象查询一个List集合查询单个数据查询一条数据为map集合查询多条数据为map集合方法一方法二 情景 如果查询出的数据只有一条,可以通过 实体类对象接收List集合接收Map集合接收,结果{password123456, sex男, id1, age23, us…...

【Tomcat】如何在idea上部署一个maven项目?
目录 1.创建项目 2.引入依赖 3.创建目录 4.编写代码 5.打包程序 6.部署项目 7.验证程序 什么是Tomcat和Servlet? 以idea2019为例: 1.创建项目 1.1 首先创建maven项目 1.2 项目名称 2.引入依赖 2.1 网址输入mvnrepository.com进入maven中央仓库->地址…...

Three.js 材质的 blending
Three.js 材质的 blending // blending modes export type Blending | typeof NoBlending| typeof NormalBlending| typeof AdditiveBlending| typeof SubtractiveBlending| typeof MultiplyBlending| typeof CustomBlending;// custom blending destination factors export t…...

关于pcl 给new出的数据赋值报错问题
pcl::PointCloud<pcl::PointXYZ>::Ptr cloud (new pcl::PointCloud<pcl::PointXYZ>); for (size_t i 0; i < cloud->points.size (); i) //填充数据 { cloud->points[i].x 1024 * rand () / (RAND_MAX 1.0f); cloud->points[i].y 1024…...