1変数関数のリーマン積分可能性と定積分の定義
有界な閉区間上に定義された有界な1変数関数がリーマン積分可能であることの意味を定義するとともに、関連して定積分と呼ばれる概念を定義します。
TABLE OF CONTENTS
目次
INTEGRAL
リーマン積分
1変数関数のリーマン積分を定義します。
1変数関数の上リーマン積分と下リーマン積分（ダルブーの定理）
有界な閉区間上に定義された有界な1変数関数fの上リーマン積分や下リーマン積分などの概念を定義します。加えて、極限を用いて上リーマン積分と下リーマン積分を特定する方法（ダルブーの定理）を解説します。
1変数関数のリーマン積分可能性とダルブー積分可能性の関係
1変数関数がリーマン積分可能であることを定義にもとづいて確認する作業は煩雑になりがちです。関数の上積分と下積分が一致することは関数が積分可能であるための必要十分条件であり、定積分は上積分および下積分と一致することが保証されます。
上リーマン和と下リーマン和の差を用いた積分可能性の判定（積分可能性に関するコーシーの判定条件）
有界な閉区間上に定義された有界な1変数関数について、区間の何らかの分割のもとで上リーマン和と下リーマン和の差がいくらでも小さくなることは、関数が定積分可能であるための必要十分条件です。
関数の振幅を用いたリーマン積分可能性の判定
有界な閉区間上に定義された有界な1変数関数がリーマン積分可能であることを判定するために関数の振幅と呼ばれる概念を用いる手法を解説します。
PROPERTIES OF DEFINITE INTEGRAL
定積分の基本性質
定積分の基本的な性質について解説します。
単調関数のリーマン積分可能性
有界な閉区間上に定義された単調関数（単調増加関数または単調減少関数）はリーマン積分可能です。
連続関数のリーマン積分可能性
有界な閉区間上に定義された連続関数はリーマン積分可能です。
不連続関数のリーマン積分可能性
有界な閉区間上に定義された有界関数が定義域の端点において片側連続でない場合においても、一定の条件のもとではリーマン積分可能です。また、定義域上の有限個の点においてのみ不連続な関数はリーマン積分可能です。
定積分の加法性
関数が有界閉区間上においてリーマン積分可能であることと、それぞれの小区間においてリーマン積分可能であることが必要十分であるとともに、小区間上の定積分の総和をとれば区間上の定積分が得られます。
1変数関数の定数倍の上積分・下積分・定積分（定数倍の法則）
リーマン積分可能な1変数関数の定数倍として定義される関数もまたリーマン積分可能であり、もとの関数の定積分の定数倍をとれば新たな関数の定積分が得られます。
1変数関数の和の上積分・下積分・定積分（和の法則）
リーマン積分可能な関数の和として定義される関数もまたリーマン積分可能であり、もとの関数の定積分の和をとれば新たな関数の定積分が得られます。
1変数関数の差の定積分
リーマン積分可能な関数の差として定義される関数もまたリーマン積分可能であり、もとの関数の定積分の差をとれば新たな関数の定積分が得られます。
1変数関数の積の定積分
リーマン積分可能な関数どうしの積として定義される関数もまたリーマン積分可能であることが保証されます。
1変数関数の商の定積分
リーマン積分可能な関数どうしの商として定義される関数もまたリーマン積分可能であることが保証されます。
定積分と順序（定積分の単調性）
有界閉区間上でリーマン積分可能な2つの関数について、一方の関数が定める値が他方の関数が定める値以上であるとき、両者の定積分の間にも同様の大小関係が成り立ちます。
絶対値と定積分
有界閉区間上に定義された有界な関数がリーマン積分可能である場合、その絶対値として定義される関数もまたリーマン積分可能です。
定積分に関する平均値の定理
有界な閉区間上に定義された連続関数に対してその平均値を定義するとともに、連続関数が定義域上の少なくとも1つの点に対して定める値が平均値と一致することを示します。
FUNDAMENTAL THEOREM OF CALCULUS
微分と積分の関係
微分積分学の基本定理を中心に、微分と積分の間に成立する関係について解説します。d
微分積分学の第2基本定理（求積分定理）
有界な閉区間上に定義された関数がリーマン積分可能であり、その関数の原始関数であるような連続関数が存在する場合、原始関数が区間の端点に対して定める値の差は、もとの関数の定積分と一致します。
純変化量としての定積分（純変化量定理）
関数の導関数を区間上でリーマン積分した場合、得られた定積分の値は、もとの関数の区間上での変化と一致することが保証されます。これを純変化量定理と呼びます。
微分積分学の第1基本定理
有界な閉区間上に定義された関数が連続である場合には、その関数の定積分を特定する関数を微分すればもとの関数が得られることが保証されます。
関数の原始関数と不定積分
関数の原始関数および不定積分と呼ばれる概念を定義するとともに、区間上に定義された連続関数に関しては両者は一致することを示します。
PROPERTIES OF INTEGRAL
積分の基本性質
微分積分学の基本定理を踏まえた上で、不定積分や定積分に関する基本的な性質を提示します。
定数関数の原始関数・不定積分・定積分
区間上に定義された定数関数の原始関数と不定積分および定積分を明らかにします。また、定数関数の積分の応用例を提示します。
恒等関数の原始関数・不定積分・定積分
区間上に定義された1変数の恒等関数の原始関数と不定積分および定積分を明らかにします。また、恒等関数の積分の応用例を提示します。
多項式関数の原始関数・不定積分・定積分
区間上に定義された1変数の多項式関数の原始関数と不定積分および定積分を明らかにします。また、多項式関数の積分の応用例を提示します。
連続関数の定数倍の原始関数・不定積分・定積分（定数倍の法則）
区間上に定義された連続関数と、その定数倍として定義される関数について、両者の原始関数、不定積分、定積分の間に成立する関係について解説します。
連続関数の和の原始関数・不定積分・定積分（和の法則）
区間上に定義された2つの連続関数と、それらの和として定義される関数について、それらの原始関数、不定積分、定積分の間に成立する関係について解説します。
連続関数の差の原始関数・不定積分・定積分（差の法則）
区間上に定義された2つの連続関数と、それらの差として定義される関数について、それらの原始関数、不定積分、定積分の間に成立する関係について解説します。
置換積分（逆置換の定理）
区間上に定義された関数の不定積分ないし定積分を具体的に特定することが困難である場合には、被積分関数の変数を適切な形で変換することにより容易に積分できるようになる場合があります。
置換積分（直接置換の定理）
区間上に定義された関数の不定積分ないし定積分を具体的に特定することが困難である場合でも、被積分関数が複数の関数をあるパターンのもとで組み合わせる形で表現されていることに気づいた場合には、それを容易に積分できます。
部分積分
区間上に定義された関数が2つの関数の積として定義されている場合、それを巧みに解釈することにより不定積分や定積分を容易に特定できる場合があります。
INTEGRAL OF ELEMENTARY FUNCTIONS
初等関数の積分
代表的な関数の積分について解説するとともに、それらの知識を利用してより広範な関数を積分する方法を解説します。
自然数ベキ関数の原始関数・不定積分・定積分
区間上に定義された自然数ベキ関数の原始関数と不定積分および定積分を明らかにします。また、自然数ベキ関数の積分の応用例を提示します。
整数ベキ関数の不定積分と定積分
整数ベキ関数の不定積分および定積分を求める方法を解説します。
無理関数の不定積分と定積分
無理関数の不定積分および定積分を求める方法を解説します。
自然指数関数の不定積分と定積分
自然指数関数の不定積分および定積分を求める方法を解説します。
一般の指数関数の不定積分と定積分
自然指数関数とは限らない一般的な指数関数の不定積分および定積分を求める方法を解説します。
自然対数関数の不定積分と定積分
自然対数関数の不定積分および定積分を求める方法を解説します。
正弦関数（sin関数）の不定積分と定積分
正弦関数の不定積分および定積分を求める方法を解説します。
余弦関数（cos関数）の不定積分と定積分
余弦関数の不定積分および定積分を求める方法を解説します。
IMPROPER INTEGRAL
広義積分
リーマン積分は有界閉区間上に定義された有界関数を対象とした積分概念です。無限区間上に定義された関数や、有界ではない関数などについては、広義積分と呼ばれる積分概念のもとで積分可能性を検討します。
有界ではない関数の広義積分（第2種の広義積分）
定義域である区間の端点において無限大を値としてとる有界ではない関数に関しては、リーマン積分を拡張した広義積分と呼ばれる積分概念のもとで積分可能性を検討します。
無限区間上での関数の広義積分（第1種の広義積分）
無限区間上に定義された関数に関しては、リーマン積分を拡張した広義積分と呼ばれる積分概念のもとで無限区間上における積分可能性を検討します。
LENGTH AND INTEGRAL
平面上の曲線の長さと積分
リーマン積分を用いて平面上に存在する曲線の長さを求める方法を解説します。
平面上に存在する曲線（弧）の長さと積分
平面上に存在する滑らかな曲線が媒介変数表示されている状況において、曲線の長さを積分を用いて求める方法を解説します。
変数xに関する関数のグラフの長さと積分
区間上に定義された変数xに関する連続微分可能な関数のグラフの長さを積分を用いて特定する方法を解説します。
変数yに関する関数のグラフの長さと積分
区間上に定義された変数yに関する連続微分可能な関数のグラフの長さを積分を用いて特定する方法を解説します。
円（円弧）の長さと積分
平面上に存在する円ないし円弧が媒介変数表示されている状況において、その長さを積分を用いて特定する方法を解説します。
楕円（楕円弧）の長さと積分
平面上に存在する楕円ないし楕円弧が媒介変数表示されている状況において、その長さを積分を用いて特定する方法を解説します。
LENGTH AND INTEGRAL
空間上の曲線の長さと積分
リーマン積分を用いて空間上に存在する曲線の長さを求める方法を解説します。
空間上に存在する曲線（弧）の長さと積分
空間上に存在する滑らかな曲線が媒介変数表示されている状況において、曲線の長さを積分を用いて求める方法を解説します。
螺旋（円螺旋）の長さと積分
空間上に存在する螺旋上の弧が媒介変数表示されている状況において、その長さを積分を用いて特定する方法を解説します。
AREA AND INTEGRAL
面積と積分
リーマン積分を用いて様々な領域の面積を求める方法を解説します。
変数xに関する関数のグラフとx軸によって囲まれる領域の面積と積分
有界閉区間上に定義された変数xに関する連続関数とx軸によって囲まれた領域の面積をリーマン積分を利用して求める方法を解説します。
変数yに関する関数のグラフとy軸によって囲まれる領域の面積と積分
有界閉区間上に定義された変数yに関する連続関数とy軸によって囲まれた領域の面積をリーマン積分を利用して求める方法を解説します。
変数xに関する2つの関数のグラフに囲まれた領域の面積
有界閉区間上に定義された変数xに関する2つの連続関数のグラフによって囲まれた領域の面積をリーマン積分を利用して求める方法を解説します。
変数yに関する2つの関数のグラフに囲まれた領域の面積
有界閉区間上に定義された変数yに関する2つの連続関数のグラフによって囲まれた領域の面積をリーマン積分を利用して求める方法を解説します。
媒介変数曲線とx軸によって囲まれる領域の面積と積分
平面上に存在する曲線が媒介変数表示されている状況において、曲線とx軸によって囲まれる領域の面積をリーマン積分を用いて求める方法を解説します。
媒介変数曲線とy軸によって囲まれる領域の面積と積分
平面上に存在する曲線が媒介変数表示されている状況において、曲線とy軸によって囲まれる領域の面積をリーマン積分を用いて求める方法を解説します。
VOLUME AND INTEGRAL
体積と積分
リーマン積分を用いて様々な立体の体積を求める方法を解説します。
立体の体積と積分（カヴァリエリの原理）
リーマン積分を用いて立体の体積を求める方法を解説します。
RELATED KNOWLEDGE
関連知識
REQUIRED KNOWLEDGE
前提知識
本節を学ぶ上で以下の知識が役に立ちます。
ADVANCED KNOWLEDGE
発展知識
本節で得た知識は以下の分野を学ぶ上での基礎になります。
関数の最適化
与えられた制約条件のもとで関数の値を最大化または最小化する変数の値を求めることを最適化と呼びます。ここでは微分可能な関数を対象とする様々な最適化問題の解法を解説します。
