212711

『チャート式シリーズ大学教養微分積分』年月現在
前見返しページ目右段下から行目
誤正
ページ基本例題の例題タイトル
誤自然数で表された式の上限下限正自然数で表された集合の上限下限
誤有理数の稠密性と条件を満たす有理数正条件を満たす有理数
誤自然数で表された式の上限下限正自然数で表された集合の上限下限
誤有理数の稠密性と条件を満たす有理数正条件を満たす有理数
ページ基本例題問題文
誤次の条件を満たす有理数をそれぞれつ求めよ。
とするとき，を満たす。
とするとき，開区間，に属する。
正であることを用いて，を満たす有理数をつ求めよ。
であることを用いて，開区間，に属する有理数をつ求めよ。
ページ基本例題
誤有理数の稠密性に関する定理「空集合でない開区間には，少なくともつ有理数が存在する」をもとに，題意の
有理数を探す。なお，有理数とは有限小数のことである。
正評価により，有理数を探す。
ページ基本例題解答の上から行目
次の文言を削除する。
求める有理数のつをとする。
ページ基本例題解答の上から行目
求める有理数のつをとすると
ページの上から，行目
誤とに対して，正とに対して，
-1-
ページ側注のアルキメデスの原理の上から行目
誤任意の正の実数正任意の実数
ページ上から行目
誤，正，
～ページ解答
解答の文言を，次の文言に丸ごとさしかえる。
とし，数列が実数の定数に収束すると仮定する。
このとき，ある自然数が存在し，であるすべての自然数についてが成り立つ。
特に，かつである。
ところが
より
これは，に矛盾である。
したがって，与えられた数列は収束しない。 ■
ところが
より
ところが
より
-2-
ページ
を丸ごと削除し，新たに次のを追加する。
，の数列は有界ではないから，後の基本例題で扱う収束数列の有界性の定理詳しくは「数研講座シリ
ーズ大学教養微分積分」のページを参照により，直ちに収束しないことがわかる。
ページ解答の上から行目
誤任意の負の実数正任意の実数
ページ解答の下から行目
誤任意の正の実数正任意の実数
誤とおくと，正とおくと，
誤正
誤とおくと，正とおくと，
誤正
誤より，であるから
正より，であるから
-3-
ページの下から，行目
誤よって，であり，であるから･
したがって･
正よって，であり，であるから･
したがって･
ページ重要例題解答
誤閉区間，は正開区間，は
誤であるから，正であるから，
ページ重要例題の例題タイトル
誤数列の関数の極限正点列の極限
ページ基本例題の指針の上から行目
誤関数，および実数について，，とする。
正関数，について，，とし，はで連続とする。
ページ上から行目
上から行目に次の文言を追加する。
はで連続であるから
よって，であるすべてのについてが成り立つ。
ページの上から行目
誤よって正よって
ページ重要例題の例題タイトル
誤数列の関数の極限正点列の極限
-4-
ページ重要例題問題文
誤関数について，であるとする。このとき，の定義域内の，を満たす任意の数
列についてとなることを示せ。
正関数について，であるための必要十分条件は，の定義域内のを満たす任意の
数列についてとなることを示せ。
ページ
の文言を，次の文言に丸ごとさしかえる。
必要性と十分性に分けて示す。なお，十分性は背理法を利用して示す。
ページ解答
であるならば，関数の定義域内のを満たす任意の数列についてと
なることを示す。
から，任意の正の実数に対して，ある正の実数が存在して，の定義域内のであ
るすべてのについてとなる。

また，から，上で定めたに対し，ある自然数が存在して，であるすべての自然数について
このとき，であるすべての自然数について，が成り立つ。

したがって，であるならば，関数の定義域内のを満たす任意の数列について
となる。
逆に，関数の定義域内のを満たす数列についてであるならばであ
ることを示す。
でないと仮定する。
すなわち，のときが成り立たないと仮定する。

このとき，ある正の実数が存在して，任意の正の実数に対し，次のつの不等式を満たすの定義域内のが
存在する。
，
ここで，を自然数として，とし，このに対応して存在するのうちのつをと表記すると，
であるから，数列はに収束するが，であるから，数列はに収束しない。
これは，関数の定義域内のを満たす任意の数列についてであることに矛盾する。
したがって，関数の定義域内のを満たす任意の数列についてであるならば
である。
以上から，証明された。 ■
ページ側注，
側注，を丸ごと削除する。
-5-
ページ解答の最終行
誤正
誤多項式による近似正多項式関数による近似
ページの上から～行目
誤微分可能ではないことを示すので，関数の微分可能性の定義からにおいて，が存在
しないことを示す。
関数は，で微分可能であるから，導関数を求めることができる。･
であるから，のとき，のときである。よって，はを境に，増加から

減少に変わることがわかる。
正微分可能ではないことを示すため，関数の微分可能性の定義からにおいて，が存在
しないことを示す。
のときであり，であることに着目する。
ページ解答
のとき
また
よって，を満たすすべてのについてが成り立つ。
したがって，はにおいて極大値をとる。 ■
誤正
ページ基本例題の上から行目
誤連続関数において，が開区間上のについてのについての微分可能な関数のとき
正連続関数において，が開区間上のについてのについての級関数のとき
誤正
ページ問題
誤定積分の値を求めよ。正広義積分の値を求めよ。
-6-
ページのに関連する図版
該当の図版を次の図版にさしかえる。
ページの下から行目
誤とのグラフを比較して考える。正とのグラフを比較して考える。
ページ問題の上から，行目
誤正の実数の変数，に対して，広義積分を，で表すとする。
正正の実数の変数，に対して，，とする。
誤正
-7-
ページ側注のつ目の図版
該当の図版を次の図版にさしかえる。
ページ側注の図版
誤正
ページ問題
問題文の文言を，次の文言に丸ごとさしかえる。
の任意の部分集合について，に含まれる包含関係に関して最大の開集合をで表すことにする。
次の等式を示せ。｜，
実数とについて，閉球｜，をとしたときに，は開球，に等しいこと

を示せ。
「」のは，「かつ」または「」が成り立つことを強調して表したもので，「」
と意味は同じである。
誤「」を訳すと「中心，半径の開球の近傍がに含まれるような正の実

数が存在する」となる。
正「，」を訳すと「中心，半径の開球の近傍がに含まれるような正の実
数が存在する」となる。
誤閉球は開球と境界｜，に交わりなく分割できる。
正閉球｜，は開球，と境界｜，に交わりなく分割できる。
-8-
ページの図版
誤正，
誤正，
誤正，
誤正，
-9-
，ページ解答
以下では，｜，とする。
まず，が開集合であることを示す。
開集合の定義から，任意のに対して，となるの存在を示せばよい。
をとる。このとき，あるが存在して，である。
また，，，，とすると
，，，
ゆえに，，，であるから
よって，
すなわち，は開集合である。
次に，これが最大の開集合であることを示す。
をに含まれる任意の開集合とし，を示す。
このとき，に対して，あるが存在して，，が成り立つ。
より，，であるから
したがって，となるから，は最大の開集合である。
すなわち ■
を用いて証明する。｜，としたとき，，となることを示す。
はに含まれる最大の開集合であるから，
は，，とにおける，の補集合，に交わりなく分けられるから，それぞれについてに

含まれることを確かめる。
まず，，であれば，，，であり，である。
したがって，
また，，であれば，，である。
このとき，どのようなに対しても，，とはならない。
実際，ととり，とすると，，であり

，
，，，
，，
，
，
，
となるから
したがって
よって，，，，であり，かつ，であるから
， ■
ページ図版つとも
誤正
-10-
ページ
の ⑪ で示したように，，は，を全体集合としたときの，の補集合を表す。
誤写像の連統性正写像の連続性
となるをとる。
誤よって，区間，とすると ■
正よって，区間，とするとであり ■
誤すなわち，合成写像の第成分は，，……，，つまり，の第成分である
に，，……，を代入してできた合成関数である。
正すなわち，合成写像の第成分は，，……，，つまり，の第成分である
に，，……，を代入してできた合成関数である。
ページ
必要性と十分性に分けて示す。なお，十分性は背理法を利用して示す。
-11-
ページ解答の上から，行目
誤，であるならば，関数，の定義域内の，に収束する任意の点列，につい
，
て，，となる。
正，であるならば，関数，の定義域内の，に収束する任意の点列，につい

，
て，，となることを示す。
，であるならば，任意の正の実数に対して，ある正の実数が存在して，関数，の

，，
定義域内の，，，，かつ，，を満たすすべての，について，

となる。
また，点列，は，に収束するから，ある自然数が存在して，であるすべての自然数につ
いて
よって，であるすべての自然数について，，が成り立つ。
したがって，，であるならば，関数，の定義域内の，に収束する任意の点列
，，
，について，，となる。
誤，，
正，
下から，行目の間に次の数式を追加する。
誤正
，
誤，，
，
正，，
ページ問題の行目
誤，正，
-12-
誤また，であるから
正また，であるから
誤正
誤上から行目，左から行目の数を，この行列の，成分といい，行列自体を行列という詳しくは，
線形代数の書籍を参照。
正上から行目，左から列目の数を，この行列の，成分といい，行列自体を行列という詳しくは，
線形代数の書籍を参照。
…
誤
…
正
誤 …… ① とする。
正 …… ① とする。
-13-
誤正
ページ問題
誤関数のグラフの点，，における接平面の方程式を求めよ。
正関数のグラフ上の点，，における接平面の方程式を求めよ。
誤同様にして，，をおよびで偏微分して
正同様にして，，をおよびで偏微分して
ページの最終行
誤よって，，，となり，題意が示された。 ■
正よって，，，となり，示された。 ■
ページ問題
誤条件のもとで，関数，の最大値および最大値を求めよ。
正条件のもとで，関数，の最大値，最小値を求めよ。
ページ問題
誤条件のもとで，関数，の最大値および最大値を求めよ。
正条件のもとで，関数，の最大値，最小値を求めよ。
誤，，，，，のとき
正，，，，，のとき
誤･正･
誤正
誤正
-14-
誤次の等式が成り立つ。
，，，，，
ただし，ここで，ヤコビ行列式を
，，，，，
とする。
は，変数変換，によって，長方形領域，，上の積分に帰着される。
正等式，，，，，が成り立つ。
ただし，，，，，，とする。
上記のについて，詳しくは「数研講座シリーズ大学教養微分積分」の～ページを参照。

ページ解答の上から～行目
誤変数変換，を考えると，これによって，平面の長方形領域，，が
に写される。
このとき，
正変数変換，を考えると，これによって，平面の長方形領域，，が
に写される。
このとき，
誤よって，変数変換，を考えると，これによって，，平面の長方形領域
，，がに写される。
正よって，変数変換，を考えると，これによって，，平面の長方形領域
，，がに写される。
-15-
ページ最下部の右の図版
該当の図版を次のものにさしかえる。
ページ基本例題の上から～行目
誤，，空間内の図形に対して，多重積分
が存在するとき，は体積をもつといい，その値をの体積として，次のように表す。

，は平面上の閉領域上で常に正の値をとる連続関数とする。，のグラフと，平面，
軸に平行で閉領域を囲む曲面で囲まれる図形をとすると
，
，
となる。
正，，空間内の図形に対して，多重積分が存在するとき，は体積をもつといい，その
値をの体積として，次のように表す。
なお，，を，平面上の閉領域上で常に正の値をとる連続関数とし，，のグラフと，

，平面，軸に平行で閉領域を囲む曲面で囲まれる図形をとすると
，
，
誤正
-16-
誤から
正から
ページ
共通部分は平面，，，に関して対称である。そこで，，，の部分
の体積を求めて，倍すればよい。
-17-
～行目を，次の文言に丸ごとさしかえる。
は，を，は，を，は，を動き，の体積は，，，の部分

の体積の倍である。
ページ解答の下から，行目
下から，行目の数式を，次の数式に丸ごとさしかえる。
ページ基本例題解答の最終行
，
誤
，
，
正
，
上から～行目を，次の文言に丸ごとさしかえる。
から
-18-
ページの下から～行目
下から～行目の数式を，次の数式に丸ごとさしかえる。
誤･正･
下から～行目を，次の文言に丸ごとさしかえる。
であるから
であるから，，のとき
求める曲面積をとすると
･･
誤このとき，正このとき，
誤に含まれる任意の有界閉集合について，十分大きいをとるととなる。
正に含まれる任意の有界閉集合について，十分大きいをとるととなる。
-19-
誤，ともに，どちらの積分領域も，軸に平行な直線による断面は有界である。
正例えばでは，積分領域の軸に平行な直線による断面は有界である。
誤，から正，から
誤･正･
ページ問題の上から行目
誤，，……，を上の連続関数とする。
正，，……，を上の連続関数とする。
ページ解答の上から，，行目
誤小区間正小長方形領域
ページ解答の上から，，行目
誤正
誤，｜のとき，広義積分を求めよう。
正，｜のとき，広義積分を求めよう。
-20-
ページの下の図版
該当の図版を次のものにさしかえる。
誤正
誤･
正･
誤正
誤，，，，
正，，，，，
-21-
ページ図版
誤正
誤領域上での積分は変数変換，によって，，上の積分となる。
正領域上での積分は変数変換，によって，，上の積分となる。
ページ図版
誤正は不要
下から，行目の次の文言を丸ごと削除する。
また，関数が長方形領域上で積分可能であるから，分割を十分細かくしていけば，が成り立つ。
これを利用して上でもとなることを示す。
ページ解答の下から，，行目
誤正，
ページ問題の上から，行目
誤正
ページ問題
問題の文言を，次の文言に丸ごとさしかえる。
正項級数は和をもつことを示せ。
誤正
-22-
誤正
誤正
誤次の条件を正次の条件が
誤正
誤アはする。正アはする。
アイ
誤整級数の収束半径は，整級数の収束半径はである。
アイ
正整級数の収束半径は，整級数の収束半径はである。
ページ重要例題解答の上から～行目
誤したがって，右辺が和をもてば左辺も和をもち，広義積分と収束先は一致する。
また，，に対し
よって，から
広義積分が収束すれば右辺も収束し，左辺も収束する。
正ゆえに，としたとき，右辺が和をもてば左辺も和をもち，広義積分の値と一致する。
また，，に対し
よって，から
ゆえに，広義積分が収束すれば，としたとき，右辺は和をもち，左辺も和をもつ。
誤基本例題参照。正基本例題参照。
-23-
ページ重要例題
誤正
ページ重要例題解答
誤正
ページ重要例題の下から～行目
誤よって，が恒等的に成り立つから，が恒等的に成り立つ。
また，より，であるから，すべてのについて ■
正よって，が恒等的に成り立つ。
また
したがって，すべてのについて ■
誤 …… ① 正 …… ①
誤･は積分定数
正･は積分定数
誤･正･
ページ重要例題解答の下から行目
誤更に，数列をとすると，これは，を満たす。
正更に，数列をとなるようにとると，これは，， …… を満たす。
誤微分方程式に含まれる未知関数の導関数が最大次関数であるとき，これを階微分方程式と呼ぶ。
正微分方程式に含まれる未知関数の導関数が最大次導関数であるとき，これを階微分方程式と呼ぶ。
-24-
ページ基本例題解答
の解答を次に丸ごとさしかえる。
のときであるから
これを解くとよって
誤は定数
よっては定数
正は定数
よっては定数
誤･と変形できるから
は定数
よって
すなわち
ここで，は定数である。
における解またはは整数は，における解において，と
おくと得られるから，求める解は
は定数
正･と変形できるから
は定数
よって
すなわち
ここで，は定数である。
における解またはは整数は，における解において，とお
くと得られるから，求める解は
は定数
-25-
，ページ基本例題解答
の解答を，次に丸ごとさしかえる。
，とする。
，であるから，これは完全微分形ではない。
ところが
より，として，，を考えると
のとき
，であるから
よって，は完全微分形で，，とすると，
，を満たす。
したがっては定数
のとき
，であるから
よって，は完全微分形で，，とすると，
，を満たす。
したがっては定数
，から，求める解はは定数
誤よって，は完全微分形で，，とすると，，
を満たす。
正よって，は完全微分形で，，とすると，，を満
たす。
誤正
誤正
-26-
ページの解答
の解答を，次に丸ごとさしかえる。
とすると，題意の微分方程式は
と因数分解できるから，題意の一般解は，の一般解と，の一般解
の和に分解される。
の一般解は，は定数
の一般化は，，は定数
よって，，，，は定数
ページ基本例題の問題
誤正
誤このとき
正このとき
誤正
誤正
誤正
誤よって，特殊解は
正よって，特殊解は
誤
正
-27-
ページ最終行
エ
誤となるから，解はを定数としてとなる。
オ
正となるから，解はを定数としてとなる。
誤正
ページ問題
問題文の文言を，次の文言に丸ごとさしかえる。
微分方程式は自然数の一般解は，高々次の多項式関数全体，すなわち，
…… ，，……，は定数であることを示せ。
ページ
「ならば …… ，，……，は定数」と
「 …… ，，……，は定数ならば」を分けて示す。
誤は定数
すなわちは定数
よって，は定数
これを繰り返すと
…… ，，……，は定数
逆に
…… ，，……，は定数
正は定数
すなわちは定数
よって，は定数
これを繰り返すと
…… ，，……，は定数
逆に
…… ，，……，は定数
-28-
誤とおくと
正とおくと
ページの冒頭
冒頭に次の文言を追加する。
すなわちのとき複号同順
これらは与えられた微分方程式の解である。
すなわちのとき
上から，行目の間に次の文言を追加する。
において，を計算すると，
が得られる。
ページの上から行目，最終行
誤以上からは定数で
正以上からは定数
下から，行目の間に次の文言を追加する。
すなわちのとき，上と同様に解が得られる。
すなわちのとき
誤したがって
正より
下から，行目の間に次の文言を追加する。
の解はの解においてとおくと得られる。
-29-
解答の上から，行目の間に次の文言を追加する。
すなわちは明らかに解である。
のとき
解答の下から，行目の間に次の文言を追加する。
における解は，における解において，とおくと得られるから，求める解は
誤以上からは定数で
正は定数
次の文言を丸ごと削除する。
よって
したがって
誤正
誤正
誤したがって，であるからは定数
以上から，求める解は，は定数
正したがって，であるからは定数
-30-
ページ解答の下から～行目
誤ゆえに
したがって
正ゆえに
したがって
ページ問題の下から，行目
誤正
誤 ……
…… ……
正 ……
…… ……
誤正
誤正
誤正
誤型正型
誤ウ正ウ
-31-
誤カ正カ
誤イ正イ
誤ア，正ア，
誤アイ
正アイ
誤イ収束正イ発散
後ろ見返しページ目左段下から，行目，右段上から，行目

誤有界平領域正有界閉領域
-32-

212711

Uploaded by

Copyright:

Available Formats

You might also like

212711

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

212711

Uploaded by

Copyright:

Available Formats

『チャート式シリーズ 大学教養 微分積分』 年 月現在

とし，数列 が実数の定数 に収束すると仮定する。

このとき，ある自然数 が存在し， であるすべての自然数 について が成り立つ。

誤 よって， であり， であるから ･

正 よって， であり， であるから ･

正 関数 ， について， ， とし， は で連続とする。

正 関数 について， であるための必要十分条件は， の定義域内の を満たす任意の

るすべての について となる。

このとき， であるすべての自然数 について， が成り立つ。

逆に，関数 の定義域内の を満たす数列 について であるならば であ

すなわち， のとき が成り立たないと仮定する。

ここで， を自然数として， とし，この に対応して存在する のうちの つを と表記すると，

であるから，数列 は に収束するが， であるから，数列 は に収束しない。

これは，関数 の定義域内の を満たす任意の数列 について であることに矛盾する。

したがって，関数 の定義域内の を満たす任意の数列 について であるならば

誤 微分可能ではないことを示すので，関数の微分可能性の定義 から において， が存在

であるから， のとき ， のとき である。よって， は を境に，増加から

正 微分可能ではないことを示すため，関数の微分可能性の定義 から において， が存在

誤 定積分 の値を求めよ。 正 広義積分 の値を求めよ。

誤 正の実数の変数 ， に対して，広義積分 を ， で表すとする。

正 正の実数の変数 ， に対して， ， とする。

実数 と について，閉球 ｜ ， を としたときに， は開球 ， に等しいこと

誤 「 」 を訳すと 「中心 ，半径 の開球 の 近傍 が に含まれるような正の実

誤 閉球 は開球 と境界 ｜ ， に交わりなく分割できる。

正 閉球 ｜ ， は開球 ， と境界 ｜ ， に交わりなく分割できる。

は， ， と における ， の補集合 ， に交わりなく分けられるから，それぞれについて に

実際， ととり， とすると， ， であり

正 ， であるならば，関数 ， の定義域内の ， に収束する任意の点列 ， につい

， であるならば，任意の正の実数 に対して，ある正の実数 が存在して，関数 ， の

定義域内の， ， ， ， かつ ， ， を満たすすべての ， について ，

上記の について，詳しくは 「数研講座シリーズ 大学教養 微分積分」 の ～ ページを参照。

が存在するとき， は 体積をもつ といい，その値を の体積 として，次のように表す。

正 ， ， 空間内の図形 に対して，多重積分 が存在するとき， は 体積をもつ といい，その

なお， ， を ， 平面上の閉領域 上で常に正の値をとる連続関数とし， ， のグラフと，

は ， を， は ， を， は ， を動き， の体積は， ， ， の部分

誤 領域 上での積分は変数変換 ， によって， ， 上の積分となる。

正 領域 上での積分は変数変換 ， によって， ， 上の積分となる。

正 ゆえに， としたとき，右辺が和をもてば左辺も和をもち，広義積分 の値と一致する。

ゆえに，広義積分 が収束すれば， としたとき，右辺は和をもち，左辺も和をもつ。

誤 よって， が恒等的に成り立つから， が恒等的に成り立つ。

また， より， であるから，すべての について ■

誤 更に，数列 を とすると，これは ， を満たす。

正 更に，数列 を となるようにとると，これは ， ， …… を満たす。

における解 または は整数 は， における解 において， と

における解 または は整数 は， における解 において， とお

より， として， ， を考えると

よって， は完全微分形で， ， とすると，

よって， は完全微分形で， ， とすると，

誤 よって， は完全微分形で， ， とすると， ，

正 よって， は完全微分形で， ， とすると， ， を満

「 …… ， ，……， は定数 ならば 」を分けて示す。

の解は の解において とおくと得られる。

誤 したがって， であるから は定数

正 したがって， であるから は定数

後ろ見返し ページ目左段下から ， 行目，右段上から ， 行目

You might also like

『チャート式シリーズ大学教養微分積分』年月現在

とし，数列が実数の定数に収束すると仮定する。

このとき，ある自然数が存在し，であるすべての自然数についてが成り立つ。

誤よって，であり，であるから･

正よって，であり，であるから･

正関数，について，，とし，はで連続とする。

正関数について，であるための必要十分条件は，の定義域内のを満たす任意の

るすべてのについてとなる。

このとき，であるすべての自然数について，が成り立つ。

逆に，関数の定義域内のを満たす数列についてであるならばであ

すなわち，のときが成り立たないと仮定する。

ここで，を自然数として，とし，このに対応して存在するのうちのつをと表記すると，

であるから，数列はに収束するが，であるから，数列はに収束しない。

これは，関数の定義域内のを満たす任意の数列についてであることに矛盾する。

したがって，関数の定義域内のを満たす任意の数列についてであるならば

誤微分可能ではないことを示すので，関数の微分可能性の定義からにおいて，が存在

であるから，のとき，のときである。よって，はを境に，増加から

正微分可能ではないことを示すため，関数の微分可能性の定義からにおいて，が存在

誤定積分の値を求めよ。正広義積分の値を求めよ。

誤正の実数の変数，に対して，広義積分を，で表すとする。

正正の実数の変数，に対して，，とする。

実数とについて，閉球｜，をとしたときに，は開球，に等しいこと

誤「」を訳すと「中心，半径の開球の近傍がに含まれるような正の実

誤閉球は開球と境界｜，に交わりなく分割できる。

正閉球｜，は開球，と境界｜，に交わりなく分割できる。

は，，とにおける，の補集合，に交わりなく分けられるから，それぞれについてに

実際，ととり，とすると，，であり

正，であるならば，関数，の定義域内の，に収束する任意の点列，につい

，であるならば，任意の正の実数に対して，ある正の実数が存在して，関数，の

定義域内の，，，，かつ，，を満たすすべての，について，

上記のについて，詳しくは「数研講座シリーズ大学教養微分積分」の～ページを参照。

が存在するとき，は体積をもつといい，その値をの体積として，次のように表す。

正，，空間内の図形に対して，多重積分が存在するとき，は体積をもつといい，その

なお，，を，平面上の閉領域上で常に正の値をとる連続関数とし，，のグラフと，

は，を，は，を，は，を動き，の体積は，，，の部分

誤領域上での積分は変数変換，によって，，上の積分となる。

正領域上での積分は変数変換，によって，，上の積分となる。

正ゆえに，としたとき，右辺が和をもてば左辺も和をもち，広義積分の値と一致する。

ゆえに，広義積分が収束すれば，としたとき，右辺は和をもち，左辺も和をもつ。

誤よって，が恒等的に成り立つから，が恒等的に成り立つ。

また，より，であるから，すべてのについて ■

誤更に，数列をとすると，これは，を満たす。

正更に，数列をとなるようにとると，これは，， …… を満たす。

における解またはは整数は，における解において，と

における解またはは整数は，における解において，とお

より，として，，を考えると

よって，は完全微分形で，，とすると，

よって，は完全微分形で，，とすると，

誤よって，は完全微分形で，，とすると，，

正よって，は完全微分形で，，とすると，，を満

「 …… ，，……，は定数ならば」を分けて示す。

の解はの解においてとおくと得られる。

誤したがって，であるからは定数

正したがって，であるからは定数

後ろ見返しページ目左段下から，行目，右段上から，行目