A(x)=∫0xt2 dt=x33A(x) = \int_0^x t^2\,dt = \frac{x^3}{3}A(x)=∫0xt2dt=3x3임을 보이고 A′(x)=x2A'(x) = x^2A′(x)=x2를 확인하세요. A(x)=x33,A′(x)=x2A(x) = \frac{x^3}{3}, \quad A'(x) = x^2A(x)=3x3,A′(x)=x2 x=1.5x = 1.5x=1.5: 수치 미분값이 f(1.5)=2.25f(1.5) = 2.25f(1.5)=2.25와 일치합니다. 증명 보기 멱함수 적분 공식에 의해 ∫0xt2 dt=[t33]0x=x33\int_0^x t^2\,dt = \left[\frac{t^3}{3}\right]_0^x = \frac{x^3}{3}∫0xt2dt=[3t3]0x=3x3입니다. 미분하면 A′(x)=x2=f(x)A'(x) = x^2 = f(x)A′(x)=x2=f(x)로, 미적분 기본정리 제1형태와 일치합니다.
∫012x dx\int_0^1 2x\,dx∫012xdx를 역도함수로 계산하세요. ∫012x dx=[x2]01=1\int_0^1 2x\,dx = \left[x^2\right]_0^1 = 1∫012xdx=[x2]01=1 x=1x = 1x=1까지의 넓이는 1입니다. 증명 보기 2x2x2x의 역도함수는 x2x^2x2입니다 ((x2)′=2x(x^2)' = 2x(x2)′=2x). 기본정리 제2형태에 의해 ∫012x dx=12−02=1\int_0^1 2x\,dx = 1^2 - 0^2 = 1∫012xdx=12−02=1입니다.
ddx∫xx2sint dt\frac{d}{dx}\int_x^{x^2} \sin t\,dtdxd∫xx2sintdt를 기본정리와 연쇄법칙으로 구하세요. ddx∫xx2sint dt=2xsin(x2)−sinx\frac{d}{dx}\int_x^{x^2}\sin t\,dt = 2x\sin(x^2) - \sin xdxd∫xx2sintdt=2xsin(x2)−sinx sin\sinsin의 넓이함수 위에서 x≈1.01x \approx 1.01x≈1.01 지점을 봅니다. 증명 보기 F(u)=∫0usint dtF(u) = \int_0^u \sin t\,dtF(u)=∫0usintdt라 두면 기본정리 제1형태에 의해 F′(u)=sinuF'(u) = \sin uF′(u)=sinu입니다. 적분은 F(x2)−F(x)F(x^2) - F(x)F(x2)−F(x)이므로, 연쇄법칙으로 미분하면 2x F′(x2)−F′(x)=2xsin(x2)−sinx2x\,F'(x^2) - F'(x) = 2x\sin(x^2) - \sin x2xF′(x2)−F′(x)=2xsin(x2)−sinx입니다.