出典: フリー教科書『ウィキブックス(Wikibooks)』
- 数列の極限同様、実数
に対応する関数
について、
に限りなく近づける(
と表記する)[1]という操作を
と記述し、
であるとき、
を極限値または極値という。
ではないことに注意する(下記「関数の連続」参照)。例えば、関数:
と
は明確に区別され、
となるが、
の値は存在しない。一方、
となる。
のとき、関数
が、限りなく正(負)の大きな値となる場合、
の極限は
であるといい、
または、
と表記する。
の例;
について、
に限りなく近づける演算: 
の例;
について、
に限りなく近づける演算: 
- その他、以下の関係も成立しうる。
- 収束:
,
の例;
について、
を無限に大きくする演算: 
の例;
について、
を負に無限に大きくする演算: 
- 発散:
,
/
,
,
となる関数の例; 
,
となる関数の例; 
- 左方極限・右方極限(w:片側極限)
が、
で極値をもつとき、
が左から近づく場合(すなわち、
が
から増加して
に近づく場合)と右から近づく場合(すなわち、
が
から減少して
に近づく場合)で挙動が異なる場合がある。前者を左方極限、後者を右方極限といい、以下のとおり書き表す。
- 左方極限:
、
- 右方極限:
、
- 片側極限の例
について、
における挙動を見ると、左方極限:
、右方極限:
となる。
について、
においては、
となるため、
と記述しても支障はないが、極値に至る過程は異なる。
- 同様に、
について、
において、
となるが、
は、
が、
の定義域とならないため成立しないことから、
と記述しても支障はない
,
のとき、
ただし、
は定数。
(複号同順)。

ただし、
。
のある近傍で定義された関数
,
,
があり、この近傍内の任意の
に対して、
≤
≤
かつ
ならば、
は収束し、
(はさみうちの原理)
(→証明)


(→証明)



(
は正定数)。
-
- (参考)ロピタルの定理

-
- (条件)
を含むある区間
があり、関数
はその内部で微分可能である。
かつその値が
または
である。
- 極限
が存在する。
における
の除外近傍において
が成り立つ。
-
- ※利用における注意
- ロピタルの定理自体は簡易な形状をしており、また、多くの学習参考書などでも取り上げられるなど、比較的有名なものである。しかしながら、本定理の成立は、上記の条件が成立していることが必要であるので、証明問題等において「ロピタルの定理より」とするには、条件成立が提示されているか条件成立を別に証明することを要する。大学入試等初等教育の場で、これが示されることは基本的に皆無であるので(『学習指導要領』範囲外)、そのような問題においては、利用しないことが無難であり、あくまでも検算用と考えた方がいい(ウィキペディア『ロピタルの定理』中の記事「日本の高校数学・大学入試での扱い」参照)。
- 大学入試等において、この形式の問題は、関数
が共通因数を持っており、それを約分することにより極限値を得るという解法を期待するものが多い。
- 関数
のある区間内の
において、
および
が存在し、かつ、
である時、関数
は
において連続である、または、区間内において連続関数であるという。
- この条件は、
として、
とも表現できる。
- 連続関数の基本定理
-
- ある区間において、関数
が
において連続であれば、以下に列挙するもの全て
において連続である。
(
は定数)
(ただし、
)
は
において連続、
は
で連続ならば、合成関数
は
において連続である。
- 連続関数の性質
- 中間値の定理
- 閉区間
上で定義された連続関数
に対して、もし
であって、
と
の間の値を取るある数
について、
であって
となる少なくとも1つの
が存在する。
- 最大値最小値定理
- 閉区間
上で定義された連続関数
に対して、
はこの区間で少なくとも一つの最大値および最小値をとる。
- 式で書けば、適当な実数 c, d ∈ [a,b] が存在して
:最大値,
: 最小値
- が成り立つ。
導関数の定義
- 関数
に対して、
(変数
で微分する)。
;
を
で微分する。
- 第2次導関数
- 関数
を微分して得た導関数
をさらに微分して得た関数
を、
の第2次導関数という。
- 第2次導関数の表記法:
,
,
, 
- 第
次導関数
- 関数
を微分した結果をさらに微分する操作を
回行って得た関数を、
の第
次導関数という。
- 第
次導関数の表記法:
,
,
, 
変数
の微分可能な関数
,
に対して
-
(ライプニッツ則 →証明)
-
(商の微分公式 →証明)
-
- 特に、
のとき、

-
(合成関数の微分公式 →証明)
-
- 別の表現で
(チェインルール)
-
(逆関数の微分公式 →証明)
とおくと、
で
とも表せる。
- 媒介変数による微分
ならば 
- [微分公式1]
(
は実数) (→証明)
- [微分公式2]
(→証明)
- 従って、[微分公式2-1]
(ただし、
)
- [微分公式3]
(→証明)
- [微分公式3-1]
(ただし、
)
- [微分公式3-2]

- 三角関数の微分公式 (→証明)
- [微分公式4]
- [微分公式4-1]

- [微分公式4-2]
- [微分公式4-2-1]

- [微分公式4-3]

-
- [微分公式5]
- [微分公式5-1]

- [微分公式5-2]
- [微分公式5-2-1]

- [微分公式5-3]

-
- [微分公式6]
- [微分公式6-1]

- [微分公式6-2]

- [微分公式6-2]

-
- [微分公式6-a]
- [微分公式6-a-1]

- [微分公式6-a-2]

- [微分公式6-a-3]

-
- 三角関数と対数の複合形の微分
- 微分公式3-2
を用いて、
-
-
-

- 曲線
上の点
において、
に接する直線の傾きは、
である。
- したがって、曲線
上の点
における接線の方程式は、
- 曲線
上の点
において接線と直行する直線(法線)の傾き
である(∵直交する2直線の傾きの積は-1)。
- したがって、曲線
上の点
における法線の方程式は、
- ニュートン法
ニュートン法のイメージ
- 曲線
上のある点
における接線と
軸の交点(
切片、
)の値
は、
の解である
に、
よりも近似することが期待されるという性質を用い、この操作を反復することで方程式を数値計算によって解く方法。
- 曲線
上に適当に点
をおき、
とする。
- 点
における接線;
を求める。
として、直線との
切片
を求める。

- [アルゴリズム終了の条件]
(所定の極めて小さい数値)となった時、
を
の近似解とする。
である時、
を
として、上記2の操作に戻る。
- ある関数を
、その導関数を
としたとき、
である時、この式を満たす
において、
は増加する。
である時、この式を満たす
において、
は減少する。
- 方程式
が実数解
を持つ時(ただし、各々の解に重複はないものとする)、
において、正負が変わるため、その点で関数
の増減が入れ替わる。この点を変曲点といい、増加から減少に転じる点を極大、減少から増加に転じる点を極小という。
- 高次多項式関数の増減と区間における最大最小
- 最高次の項の係数を
とする
次の高次多項式関数
、その導関数を
、かつ方程式
が各々重複のない
個の実数解
とした時、以下の性質を持つ。
- なお、以下において、説明簡素化等のため、特に言及のない場合、条件等を以下のとおりとする。
- 方程式
の実数解
に対する、関数
の値
として、
の中で最大・最小のものを各々
とする。
は、
を満たす実数である。
ならば、
が奇数である時、関数
は
まで単調に増加し、以後、
まで増減し、
を超えると再び単調に増加する。
- 区間
において、
の最大値は、
または
のいずれか大きい方であり、最小値は
または
のいずれか小さい方である。
が偶数である時、関数
は
まで単調に減少し、以後、
まで増減し、
を超えると単調に増加する(グラフは「上に開く」)。
- 区間
において、
の最大値は、
,
または
の最も大きいものであり、最小値は
である。
ならば、
が奇数である時、関数
は
まで単調に減少し、以後、
まで増減し、
を超えると再び単調に減少する。
- 区間
において、
の最大値は、
または
のいずれか大きい方であり、最小値は
または
のいずれか小さい方である。
が偶数である時、関数
は
まで単調に増加し、以後、
まで増減し、
を超えると単調に減少する(グラフは「下に開く」)。
- 区間
において、
の最大値は、
であり、最小値は
,
または
の最も小さいものである。
- 3次関数の増減と区間における最大最小
(
)に対して、
。
- ここで、
が実数解を持たない場合及び重解を持つ場合(判別式
)、
は、単調に増加する。
が異なる2つの実数解を持つ場合(判別式
)、
の解を各々
(但し、
)とすると、
の変曲点は
となり、
まで増加したのち減少に転じ
まで、減少した後、再び増加に転じる。この時、
を極大値、
を極小値という。
である区間
において、
の最大値は、
または
のいずれか大きい方であり、最小値は
または
のいずれか小さい方である。
- ※解に重複がある場合
- 方程式
の実数解
において、隣接する2個の解が一致する場合、その一致する解の前後で正負は逆転せず、従って、元の関数
の増減の傾向も変わらない。隣接する3個の解が一致する場合、その一致する解の前後で正負は逆転し、従って、元の関数
の増減が逆転する。一般化すると、方程式
の実数解
において、隣接する偶数個の解が一致する場合、元の関数
の増減の傾向は変わらない。隣接する奇数個の解が一致する場合、元の関数
の増減はその点で逆転する。
が関数の関係にある時、
の形の表示を陽関数(表示)、
の形の表示を陰関数(表示)という。なお、
のように変数の数が3個以上のものがあるが、初等数学の範囲を超えるので、本公式集では言及しない。
- 例. 双曲線
- 陽関数表示:
、陰関数表示: 
陰関数
において、
を
で微分する、すなわち、
を求める手順は以下のとおり。
の各項を、①変数が
のみである関数の項、②変数が
のみである関数の項、③
の関数と
の関数の積である項に分ける。
- ①変数が
のみである関数の項
については、そのまま
で微分して
を求める。
- ②変数が
のみである関数の項
については、
として、
を求める。
- ③
の関数と
の関数の積である項については、
を微分して
とし、
を上記3の方法で求める。
- 上記2~4で求めたものにつき、
でまとめる。
-
- (例題1)
- 各項を
で微分。①により、
: ②により、
: ③により、
。
- よって、与式を微分したものは、
。
について整理し、
(解1)
であるので、
(解2)- 必ずしも、この形でなければならないわけではなく、解1の形のままで利用することもある。
- なお、陽関数形式:
を微分すると、
となり、解2に一致する。
-
- (例題2)
- 各項を
で微分。①により、
: ②により、
であるから、
、したがって、
-
- (例題3)
- 各項を
で微分。①により、
: ②により、
であるから、
、したがって、
- 両辺の対数を取ってから微分する方法。
- 式の乗(除)算を加(減)算に、累乗を乗算に還元して微分計算することができる。
- (手順)
- 両辺の対数を取る。
- この時、両辺が正でなければならないので、正と限らないときはないときは絶対値を取る。
- 両辺を
で微分する。
- この時、
の微分が
になること(微分公式3-2)を利用する。
について解いて
の式で表す。
- (利用局面)
- 指数の底にも肩にも変数
が含まれている
のような関数。
- 例題:
の微分
について、両辺対数を取る。なお
であるので右辺左辺ともに正であり、絶対値を顧慮する必要はない。

- 両辺を
で微分する。

を両辺にかける。

のように微分したい関数が,たくさんの関数の積になっているとき。
- 例題1:
ただし、微分区間では、
ともに正とする。
について、両辺対数を取る。

- 両辺を
で微分する。

を両辺にかける。

-
- 例題2:
ただし、微分区間では、
ともに正とする。
について、両辺対数を取る。

- 両辺を
で微分する。

を両辺にかける。
(商の微分に一致)
- 不定積分
の時、
- 別の表現:

-
- 変数
の関数
及びその導関数
に対して、微分の逆演算より、
-
-
と変形し、部分積分法に利用。
-
-
- 特に、
のとき(
[定数]と同意)、
であるので、

-

-
- 置換積分
において、
と置換できる場合、
(※)
- ここで、
を
について微分すると、
、したがって
- ※に代入すると、

の不定積分
であるとき、
- (証明)
に関して、
と置くと、
、
であるので、
- 代入して、

であるので、
、
を戻して、(与式) 
-
- 定積分
の時、
- なお、
と略記。
- 定積分の性質
, 
-
として、
-
において、すべての
について、
であり、
において、すべての
について、
であるならば、
-

-
(
は偶関数)ならば、
-
(
は偶関数)ならば、
(証明)
-
(
は奇関数)ならば、
-

-
- 置換積分
において、
と置換できる場合、
-
ただし、
。
-
- 部分積分
- 別の表現:
![{\displaystyle \int _{a}^{b}f(x)\,dg(x)={\Big [}f(x)g(x){\Big ]}_{a}^{b}-\int _{a}^{b}g(x)\,df(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6add6ecfb7fef477e1460d5b629f4fcf83cf19c4)
-
- コーシー・シュワルツの不等式

-
- King Property (King's Property とも)
-

-
- 特に、
- [1]

-
- [2]

-
- 利用局面1
より、
-
とすると、積分計算が容易になる場合がある。
-
- なお、このとき、
ならば、
-
- 利用局面2
の形の式で三角関数が登場する時、
と
の形で、補角の公式(
等)や余角の公式(
等)を利用できる場合がある。
- [積分公式1]
(
は実数かつ
)
- [積分公式2]
- 従って、[積分公式2-1]
(ただし、
)
- [積分公式3]
- [積分公式3-1]

-
- [積分公式4]
(証明)
-
- 三角関数の積分 (→証明)
- [積分公式5]
- [積分公式5-1]

- [積分公式6]
- [積分公式6-1]

- [積分公式7]
(→上記も参照。)
- [積分公式7-1]
(→上記も参照。)
- 三角関数の定積分
(
は任意の整数)であるとき、
- (拡張)


-
- 積分区間
ごと
-
- ①
、②
- ③
、④
-
- 積分区間
ごと
-
- ①
、②
-
- ③
、④
(証明)
-
(証明)
-
(*1より)
-
(微分公式4-2参照)
-
(微分公式5-2参照)
-
(証明)
-
(証明)
-
(証明:微分公式6-a参照)
-

-
(証明:微分公式6参照)
-
(*1)
-
(上記参照,別証明)
-
(証明1,証明2)
-
(証明1,証明2)
-
(証明1,証明2)
-
(証明1,証明2)
-
- 積和の公式を利用するもの
-
- 但し、
の時、与式
-
- 特に、

-
-
- 但し、
の時、
であるから、与式
-
- 特に、
の時、結果は、
であるが、与式
(複号任意)
であるので、上記の式に一致。
-
-
- 但し、
の時、
であるから、与式
-
- 特に、
の時、結果は、
であるが、与式
であるので、上記の式に一致。
- 閉区間
において、曲線
及び曲線
によって囲まれる領域の面積。

Lukion_taulukot_(1993)-page038-image02
- 曲線
, 曲線
が、
内の
において交わり、
において、
、
において、
であるとき、


- 曲線
をA、曲線
をBとする(ただし、
)。AとBが、
で交わるとき、
- 区間
で、曲線Aと曲線Bにより囲まれる領域の面積。

- ある立体
の
における断面積が有限な値で、その値が
の関数
となるとき、この立体を平面
,
(ただし、
)で切り取った領域の体積は、

-
- 【利用公式】
- 曲線
を
軸を中心に回転させたとき、この立体を平面
,
(ただし、
)で切り取った領域の体積は、

- 閉区間
における、曲線
の長さ
。

- 上記曲線が媒介変数
によって、
と表される時の長さ
。

基本的な関数の微分公式と積分公式の相互関係
[編集]
(微積分学の基本定理)
- (微分公式1)
(
は実数) ⇔ (積分公式1)
(
は実数かつ
)
- (微分公式2)
⇔ (積分公式2)
- 従って、(微分公式2-1)
⇔ (積分公式2-1)
(
)
- (応用)
⇔ 
- (微分公式3)
⇔ (積分公式3)
- (微分公式3-1)
⇔ (積分公式3-1) 
- (微分公式4)
⇔ (積分公式5) 
- (微分公式5)
⇔ (積分公式6) 
- ^ 「限りなく近づける」は、数列の極限におけるものと同様、数学的に厳密な表現ではないが、高校数学の過程では、その理解で足りる。
考え方としては
または、
として、
または、
である。なお、
と
を別に記述するのは、後述する片側極限を意識している。