• 検索結果がありません。

f(x)となる関数y =F(x)をy = f(x)の原 始関数という

N/A
N/A
Protected

Academic year: 2021

シェア "f(x)となる関数y =F(x)をy = f(x)の原 始関数という"

Copied!
3
0
0

読み込み中.... (全文を見る)

全文

(1)

数学2・数学演習2 No.8 2005.12. 1

2.2 微分積分学の基本定理 担当:市原

定理 19 (微分積分学の基本定理) 任意の連続関数y=f(x)と定数aに対して,

x

a

f(t)dtxの関数だと思って微分すると,その導関数は,再びy=f(x)になる:

(∫ x a

f(t)dt )0

=f(x) また関数y=f(x)の導関数y=f0(x)が連続であるとき,

x a

f0(t)dt =f(x)f(a) が成り立つ.

原始関数 ³

連続関数y =f(x)に対して, F0(x) = f(x)となる関数y =F(x)y = f(x)の原 始関数という.

µ ´

定理 20 (原始関数) 連続関数y =f(x)の原始関数は無数にあり, y =F(x)をひ とつの原始関数とすると,他の全ての原始関数はF(x) +Cと, 定数Cを加えるこ とにより得られる.

不定積分 ³

連続関数y=f(x)の原始関数を全てまとめて,

f(x)dxと表し, y=f(x)の不定 積分という.

つまり, y=F(x)y=f(x)のひとつの原始関数としたとき,

f(x)dx=F(x) +C となる. この定数Cを積分定数という.

連続関数y=f(x)から不定積分

f(x)dxを求めることを積分するという.

µ ´

定理 21 (定積分と原始関数) y=f(x)を連続関数, y =F(x)y =f(x)の原始 関数とすると b

a

f(x)dx= [F(x)]ba=F(b)F(a)

21

(2)

定理 22 (基本的な不定積分) 以下,Cは積分定数.

(1)

k dx=kx+C,ただし k は定数 (2)

xn dx= xn+1

n+ 1 +C, ただし n6=1 (3)

1

x dx= log|x|+C (4)

ex dx=ex+C (5)

cosx dx= sinx+C (6)

sinx dx=cosx+C (7)

1

cos2x dx= tanx+C (8)

1

1x2 dx = arcsinx+C (9)

1

1x2 dx = arccosx+C (10)

1

1 +x2 dx= arctanx+C (11)

sinhx dx= coshx+C (12)

coshx dx= sinhx+C

定理 23 (不定積分の基本性質) y=f(x), y=g(x)は連続関数.

(1)

{f(x) +g(x)} dx =

f(x) dx+

g(x) dx (2)

{f(x)g(x)} dx=

f(x) dx

g(x)dx (3)

{λ·f(x)} dx=λ

f(x) dx, ただしλ は定数

例題 18 次の関数の不定積分を求めなさい.

(1) y=x1/3 2

x

(2) y= tan2x+ 1 (3) y= 2 +x2

1 +x2

22

(3)

数学2・数学演習2 No.8 2005.12. 1

2.2 微分積分学の基本定理 担当:市原

問題 23 次の不定積分を計算しなさい.

(1) ∫ (

5x1510x2/3+ 7 + 3x3/25x15) dx

(2)

∫ (

5x1+ 20 1 +x2

) dx

(3)

∫ ( 1

x21 + 1 x3/5

) dx

(4)

ex(sinhx+ coshx) dx

学籍番号 氏名

参照

関連したドキュメント

If f (x, y) satisfies the Euler-Lagrange equation (5.3) in a domain D, then the local potential functions directed by any number of additional critical isosystolic classes

In this section, we establish a purity theorem for Zariski and etale weight-two motivic cohomology, generalizing results of [23]... In the general case, we dene the

We prove a continuous embedding that allows us to obtain a boundary trace imbedding result for anisotropic Musielak-Orlicz spaces, which we then apply to obtain an existence result

In particular, applying Gabber’s theorem [ILO14, IX, 1.1], we can assume there exists a flat, finite, and surjective morphism, f : Y → X which is of degree prime to ℓ, and such that

We provide an accurate upper bound of the maximum number of limit cycles that this class of systems can have bifurcating from the periodic orbits of the linear center ˙ x = y, y ˙ =

In the second section, we study the continuity of the functions f p (for the definition of this function see the abstract) when (X, f ) is a dynamical system in which X is a

We study a Neumann boundary-value problem on the half line for a second order equation, in which the nonlinearity depends on the (unknown) Dirichlet boundary data of the solution..

We consider some nonlinear second order scalar ODEs of the form x 00 + f (t, x) = 0, where f is periodic in the t–variable and show the existence of infinitely many periodic