数学 · 物理通信
1巻5号

編集

2010 年 12 月

新関章三 · 矢野
2010 年 12 月 6 日

忠

1

目次
4 色定理と場の量子論
1.1 4 色定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 場の量子論における色 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 ファインマン・グラフの 3 色塗り分け問題 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 3 色塗り分けできない非平面ファインマン・グラフ . . . . . . . . . . . . . . . . . . . . . . . .
1.5 φ3 理論と φ1 φ22 理論 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2
2
3
4
6
7

次元解析と数学者

9
9
9
11

2.1
2.2
2.3

次元解析 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ある不等式. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

ファインマンの恒等式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1212ピタゴラスの定理の解析的証明 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

ピタゴラスの定理の解析的証明

3.1
3.2

はじめに . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2.1

3.3

3.4

オイラーの公式による証明 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

123.2.2 三角関数の微分公式による証明 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.3 マクローリン展開による証明 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
解析学の諸定理とピタゴラスの定理の独立性 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.1 極限値公式の導出 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.2 三角関数の微分公式の導出 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.3 オイラーの公式の導出 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
解析的証明の意義 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13
13
13
13
14
16
17

Gauss 積分の計算法
21
4.1 はじめに . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2 記号と定義 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.3 計算への準備 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.4 Gauss 積分の計算 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4.5

参考事項 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

編集後記

24
28

2

4 色定理と場の量子論

中西

1.1

襄

(京都大学名誉教授）

4 色定理「平面上に国だけを描く任意の地図は，国境線で接するどの 2 国も異なる色に塗り分けるのに 4 色あれば足りる」といういわゆる「4 色予想」もしくは「4 色問題」は，100 年以上にわたって悪名高き難問であった．しかし，1976 年アッペルとハーケンによって肯定的に解決され，現在は「4 色定理」となった．証明に用いられた平面性は，[頂点の数] − [辺の数] ＋ [面分の数] ＝ 1 というオイラーの定理と，「平面上に描かれた閉曲線はその平面を内部と外部に分かつ」というジョルダンの定理のみである．あとは数学的帰納法に基づき，より簡単な地図に還元していくという方針で証明がなされたわけだが，最終的に調べるべき地図が 2000 個近くにもなり，人力での解析は到底無理でコンピュータが証明を工夫したという，いわくつきの証明であった．

(K. Appel and W. Haken) 平面上の任意の地図（面分の集合）は，4 色で塗り分け可能である．すなわち，辺を共有する 2 つの面分は必ず相異なる色に対応するような，4 色集合 {0, 1, 2, 3} への写像が存在す
る．
定理

4 色でなく 5 色でよければ塗り分け可能という 5 色定理の証明は，非常に簡単である．どのみちお遊びのよ
うな定理だから，4 色でも 5 色でもたいした違いではなかろうと思われるかもしれない．しかし，次の定理により，4 色と 5 色では本質的に異なることが分かる．
(P. G. Tait) 4 色定理は次の命題と等価である．
「橋をもたない，3 次の斉次平面グラフの線は，3色で塗り分け可能である．すなわち，頂点を共有する 2 本の線は必ず相異なる色に対応するような，3 色集合{1, 2, 3} への写像が存在する．
」
定理

ここに，
「橋」とは，それを切断すると連結グラフが非連結になるような線，「3 次の斉次グラフ」とは，どの頂点も 3 本の線の端点になっているようなグラフ1 ，「平面グラフ」とは，平面上に交差なしに描くことが可能なグラフである．この定理は，4 色問題の比較的早い段階で，テートにより指摘されたものである．以下でこの定理を場の量子論に応用するので，証明の概略を述べておこう．

[証明]

4 色定理で特に断らなかったが，地図は連結なものに話を限っても同じことであるので，以下連結とする．各頂点に集まる辺の数 n に制限はないが，もし n = 4 ならば，その頂点を n 辺形に置き換えて得られる地図が 4 色塗りわけ可能なら元の地図も 4 色塗り分け可能なるゆえ，すべての頂点に対し n = 3 であると仮定してもよい．そこで面分は無視し，辺をグラフの線と思うと，3 次の斉次平面グラフが得られる．ただし，このグラフは橋を持たない．逆に，橋を持たない 3 次の斉次平面グラフから元の平面地図が復元できることは明らかであろう．
1 一般に，それを端点とする線の数を，頂点の「次数」という．

3
さて，証明のキーは，4 色 {0, 1, 2, 3} について 2 進和を定義することである. ここに「2 進和」⊕ とは，数を2 進法で表し桁上がりなしで和を定義するものである．今の場合，丁寧に書くと，0 ⊕ j = j ⊕ 0 = j, j ⊕ j =0, 1 ⊕ 2 = 2 ⊕ 1 = 3, 2 ⊕ 3 = 3 ⊕ 2 = 1, 3 ⊕ 1 = 1 ⊕ 3 = 2 となる．これは「クラインの 4 元群」とも呼ばれる可換群である．4 色で塗り分けができている ∀n = 3 の平面地図が与えられたとき，対応する 3 次の斉次平面グラフの各線の色を，その線を辺として持つ 2 つの面分の色の 2 進和で定義すると，3 色 {1, 2, 3} のみで線の塗り分けができる．実際，1 つの頂点から出る 2 本の線が同じ色になることは起こりえない．
逆に {1, 2, 3} の 3 色で塗り分けされた，橋がない 3 次の斉次平面グラフが与えられたとすると，対応する平面地図の各面分の色は，どこか 1 つの面分の色を 0 とし，順次隣の面分の色をすでに決められた面分の色と両面分の共有する辺の色との 2 進和で定義する．この定義が一意的であることは，任意の面分ループに沿って面分の色の 2 進和を作るとつねに 0 になることと同値であるが，後者の命題はループ内の頂点の個数に関する数学的帰納法を用いれば簡単に証明できる．この 4 色塗り分けで，明らかに相隣る 2 面分の色は異なる．¤

1.2

場の量子論における色場の量子論の共変的摂動論によれば，S 行列はファインマン・グラフをファインマン規則に従って計算すれば求められる．自由場のラグランジァン密度はファインマン・プロパゲーターを，相互作用ラグランジァン密度はファインマン・グラフの頂点を決める．いくつかの素粒子の場が，自由場も相互作用も同じ形（対称群に関して不変）であるとき，これらの素粒子は「色」によって区別される．実際，量子色力学では各クォークとグ
ルーオンは，それぞれ 3 色，8 色を持つとされている．これらは相互作用の形が非常に制限されているので，以下ではもっと相互作用の形が自由に選べる色つきスカラー場の場合を考察する．考える問題は次の通りである．
質量 m のスカラー場 φ に対する φ3 理論の相互作用ラグランジァン密度は，λ: φ3 :
3!
であるが2 ，それの色つき理論として，相互作用ラグランジァン密度λφ1 φ2 φ3を考える．問題は両方の理論のファインマン・グラフにどのような違いがあるかということである．後者の理論のファインマン・グラフは必ず前者の理論のファインマン・グラフとして現われるが，逆は必ずしもいえな
い．どの頂点に集まる 3 本の線も 3 色 {1, 2, 3} で塗り分けできるようなファインマン・グラフしか後者の理論に現われないからである．3 色で塗り分け不可能なファインマン・グラフで最も簡単な例は，次の「タドポール部分」（１本の線でグラフの残りと繋がっているような部分）3 を含むグラフである．

前節で述べた 4 色定理のテートのヴァージョンから次のことが証明される．

φ3 理論の平面ファインマン・グラフが φ1 φ2 φ3 理論においても現われるための必要十分条件は，それがタド
ポール部分を含まないことである．
証明は次節に与える．
2 λ は相互作用定数で，:: は正規積を表す.

3 タドポールとはおたまじゃくしのことである．

4

1.3

ファインマン・グラフの 3 色塗り分け問題

グラフ理論のグラフに関する性質を，ファインマン・グラフに関する性質に翻訳する．
グラフ理論のグラフでは，どの線も必ず両端に頂点を持つ4 ．これに対し，ファインマン・グラフでは，一般に「外線」と呼ばれる端点をただ 1 つしか持たない線がある（連結グラフのみを考えているので，全く端点を持たない線は考えない）．これに対応して，両端点を持つ線は「内線」と呼ばれる．外線は無限遠まで伸びた
半直線（まっすぐである必要はないが，「半曲線」という言葉がないので）で表されるものと想定する．ファイ
ンマン・グラフの平面性は，このような想定のもとで交差なしに平面上に描けることを意味する．
グラフ G の線の集合を L とする．L に属する各線を除去し，その両端点を同一視して得られるグラフを「縮約グラフ」と呼び，G/L と書く．明らかに，G が平面グラフならば G/L もそうである．
ファインマン・グラフ G の頂点の数を VG ，内線の数を IG ，外線の数を EG とすれば，φ3 理論では

3VG = 2IG + EGである．EG = 0, 1, 2, 3 に応じて，G はそれぞれ「真空偏極グラフ」，「タドポール・グラフ」，「自己エネルギー・グラフ」，「ヴァーテックス・グラフ」と呼ばれる．
与えられたファインマン・グラフ G に対して 2 個の G を用意し，その 2EG 本の外線を，対応するものをそれぞれ同一視して EG 本の内線に置き換えて得られる真空偏極グラフを G2 と書く．このとき，次の性質は両者で同等である．1. d 色で塗り分けできること．2. φ3 理論のファインマン・グラフであること．3. 平面上に描けること．もちろん，真空偏極グラフはグラフ理論的グラフと同一視できる．
命題 1

3 次の斉次グラフ G の線が 3 色で塗り分け可能であるための必要十分条件は，互いに共通部分を持たないループの集合 {C1 , C2 , · · · , Cs } が存在して，どの Cj に属する線の数も偶数であり，かつ G のどの頂
Ss
点も j=1 Cj に属するどれかの線の端点になっていることである．
[証明] G が 3 色 {1, 2, 3} で塗り分けられているとする．色 3 の線をすべて消してできるグラフでは，G の各頂点が 2 本の線の端点で，2 色 {1, 2} で塗り分けられている．従ってそれは，偶数個の線より成るループの単純な合併である．逆に，G にそのようなループの合併があれば，ループは 2 色 {1, 2} で塗り分け，それ以外の線を色 3 に塗れば，3 色塗り分けができる．¤
命題 2

φ3 理論のタドポール・グラフ G の線は，3 色で塗り分けることは不可能である．

[証明] 2 個の G の外線を同一視して 1 本の内線に置き換えて得られる 3 次の斉次グラフ G2 を考える．Gが 3 色塗り分け可能ならば，G2 もそうであるから，命題 1 に述べたループの集合が存在するはずである．両方の G 部分にまたがるループは存在しないから，ループの集合はそれぞれの部分で存在する．しかし 1 つのループに属する線の数はその頂点の数に等しいゆえ，それぞれの G 部分の頂点の総数は偶数でなければならない．
ところが，3VG = 2IG + 1 により，VG は奇数である．これは矛盾である．すなわち G の 3 色塗り分けはできない．¤
なお，グラフ理論において d 次の斉次グラフの線は d + 1 色で塗り分け可能なことが知られているので，タドポール・グラフの線は 4 色で塗り分け可能である．
命題 3

φ3 理論の自己エネルギー・グラフ G の線が 3 色で塗り分けられるための必要十分条件は，グラフ

G∗ の線が 3 色で塗り分けられることである．ここに G∗ は，G の 2 本の外線を同一視して内線に置き換える
4 グラフ理論では通常「平行線」すなわち両端点を共有する線は無いとするが，今の場合この制限は不要である．また「ループ線」すなわち両端が同一の頂点であるような線は禁止されるが，ファインマン・グラフでもループ線は正規積をとることで禁止している．

5
ことによってできるグラフとする．G と G∗ の平面性は一致する．

[証明] G∗ が 3 色で塗り分けできれば，G も 3 色で塗り分けできるのは明らかである．逆命題の証明は，Gが 3 色で塗り分けされたとき，必ず両方の外線は同色になっていることを示せばよい．G の 3 色塗り分けで 2本の外線が異なる色であったとしよう．この 2 本の外線を，新たな頂点 a を端点とする 2 本の内線に置き換えて接続し，さらに a からでる新しい外線を付け加えてできるタドポール・グラフ G0 を考える．新しい外線にはどちらの古い外線の色とも異なる色をあてがうと，G0 は 3 色塗り分けができたことになる．他方，この G0
は φ3 理論のタドポール・グラフであるから，命題 2 により 3 色で塗り分けできないはずである．これは矛盾である．従って G の 2 本の外線は同色になっていなければならない．
平面性は，G∗ が G2 の縮約グラフであることから従う．¤

φ3 理論のヴァーテックス・グラフ G の線が 3 色で塗り分けられるための必要十分条件は，グラフG0 の線が 3 色で塗り分けられることである．ここに G0 は，G の 3 本の外線を，新たな頂点 a を端点とする 3本の内線に置き換えて接続することによってできるグラフとする．G と G0 の平面性は一致する．
命題 4[証明] G0 が 3 色で塗り分けできれば，G も 3 色で塗り分けできるのは明らかである．逆命題の証明は，Gが 3 色で塗り分けされたとき，必ず 3 本の外線はすべて異なる色になっていることを示せばよい．G の 3 色塗
り分けで同色の外線があったとしよう．このとき，その 2 本の外線を同一視して 1 本の内線に置き換えて得られるタドポール・グラフも 3 色塗り分けができていることになる．しかし命題 2 により，タドポール・グラフ
は 3 色塗り分けできないはずだから，矛盾である．従って，G の 3 本の外線の色はすべて異なっていなけれならない．
平面性は，G0 が G2 の縮約グラフであることから従う．¤
外線の数 EG が 4 以上のときは，平面上に外線をおく円順序が 1 通りではないので，G∗ や G0 を作る方法ではファインマン・グラフの 3 色塗り分けをグラフ理論的グラフのそれには帰着できない．
次の命題は，前節に述べた定理である．

φ3 理論の平面ファインマン・グラフ G （EG = 2）の線が 3 色で塗り分け可能であるための必要十分条件は，G がタドポール部分を含まないことである．すなわち，タドポール部分を含まない φ3 理論の平面ファインマン・グラフは，φ1 φ2 φ3 理論のファインマン・グラフとして実現される．
命題 5[証明] 命題 2 から明らかなように，G がタドポール部分を含めば 3 色塗り分けはできない．従って，それがタドポール部分を含まなければ，3 色塗り分け可能であることを示せばよい．G2 は 3 次の斉次平面グラフであるから，1 節に述べた 4 色定理のテートのヴァージョンにより，G2 が橋を含まなければそれは 3 色塗り分け可能である．G2 の橋でないすべての線を縮約して得られる縮約図を R とする．明らかに，R は「樹木グラフ」（ループを含まないグラフ）である．樹木グラフは，トリヴィアルでない限り，次数 1 の頂点（ただ 1 つの線の端点になっているような頂点）を持つ．その 1 つを a としよう．EG = 2 なので，a に縮約された G2 の部分
は G のタドポール部分に他ならない．仮定により G はタドポール部分を含まないのだから，R はトリヴィア
ルでなくてはならない．ゆえに，G2 は 3 色塗り分け可能，従って G もそうである．¤

EG 5 1 の場合について補足しておく．EG = 0 の場合，すなわち真空偏極グラフのときは，G が 3 次の斉次グラフそのものであるから，橋がなければ 3 色塗り分け可能である．橋があれば，橋の両側は互いに他から見てタドポール部分である．EG = 1 の場合は G そのものがタドポールであり，もちろん 3 色塗り分け不可能で
ある．

6

1.4

3 色塗り分けできない非平面ファインマン・グラフ

前節に述べた命題 5 により，タドポール部分を含まない φ3 理論のファインマン・グラフで φ1 φ2 φ3 理論では実現されないものは，平面上に交差なしには描けないようなものでなければならない．グラフが非平面的であるための必要十分条件は，有名なクラトウスキーの定理によって与えられる．
定理 (K. Kuratowski) グラフ G が非平面的であるための必要十分条件は，「クラトウスキー・グラフ」K5 ，K3,3 の少なくとも一方が G に埋め込めることである．
ここにグラフ H がグラフ G に埋め込めるとは，G は，そのいくつかの線と頂点を取り除く操作のみにより，

H に帰着させられるということである．K5 は 5 点の「完全グラフ」（5 点を総当りで結んだグラフ），K3,3 は2 組の 3 点を総当りで結んだグラフで，次図に示すものである5 ．

K5

K3,3

K5 は次数 4 の頂点を持つので，φ3 理論の塗り分け問題とは関係がない．他方，K3,3 は 3 色塗り分けが可能
であることが知られている．3 色塗り分けができない最も簡単なグラフは，K5 の各頂点に 1 本の線を挿入して3 次の頂点になるようにしたグラフで，「ペテルセン・グラフ」と呼ばれる．ペテルセン・グラフには K3,3 が埋め込み可能である．3 色塗り分けできないグラフは，ペテルセン・グラフが埋め込み可能なのではないかという推測があるが，証明はされていない．ペテルセン・グラフは次図のようなものである6 ．

命題 3 の G∗ ，命題 4 の G0 がペテルセン・グラフになる自己エネルギー・グラフとヴァーテックス・グラフ
はそれぞれ次のようになる．ちょっと分かりにくいかもしれないが，左の図の 2 本の外線を同一視して 1 本に内線に置き換えたもの，右の図の 3 本の外線を新しく導入した頂点に繋いで 3 本の内線にしたものは，ペテル
セン・グラフになっている．

5 頂点は黒丸で示す．2 線が交差していても黒丸がなければ交わっていないものとする．

6 ペテルセン・グラフでは，どの線もトポロジカルに同等である．

7

1.5

φ3 理論と φ1 φ22 理論

以上で φ3 理論と φ1 φ2 φ3 理論のファインマン・グラフを比較したが，参考までに φ3 理論と φ1 φ22 理論の比較をしておこう．簡単のため，ここでは正規積はとらないで，ループ線を容認することにする．
まず明らかなことは，φ2 の数が保存則を満たしていることで，φ2 の線は必ず一続きになるから，ループをなすか，2 本の外線を繋ぐかのいずれかである．とくに，φ2 の外線の数は必ず偶数でなければならない．
グラフ理論では，より精密な結果として次のペテルセンの定理が知られている．
定理(J. Petersen)

橋を持たない 3 次の斉次グラフ G は，その線の集合を共通部分を持たない 2 つの集

合 L1 と L2 に分け，G のどの頂点も L1 に属するただ 1 本の線の端点であり，かつ L2 に属する 2 本の線の端点である（ループ線の場合は 2 本と勘定）ようにできる．
命題 1 での言葉でいえば，L2 は共通部分のないループの合併である．ただし，命題 1 の場合と違って各ループに属する線の数は偶数でなくてもよい．

EG = 2 のファインマン・グラフ G については G2 を考えることにより（真空偏極グラフについてはそのまま），ペテルセンの定理から次の結果を得る．
命題 6

タドポール部分を含まない，タドポール・グラフ以外の φ3 理論のファインマン・グラフ G は，φ1 φ22理論においても実現される．
保存則から次のことも明らかである．
命題 7

任意の φ1 φ22 理論のファインマン・グラフにおいて，タドポール部分の「尻尾」（タドポールの本体とファインマン・グラフの残りの部分と繋いでいる線）は必ず φ1 である．
このことから，2 個以上のタドポール部分がある φ3 理論のファインマン・グラフは，φ1 φ22 理論では実現できない場合が生ずる．次図はその例である（2 重丸は任意の部分グラフ）．

だだ 1 個のタドポール部分を含む φ3 理論のファインマン・グラフで，φ1 φ22 理論において実現できない例があるかどうかはよく分からないが，反例はあったとしてもかなり複雑なものになるであろうことは，次の命題

8から想像される．
命題 8

その内部にタドポール部分を含まない φ3 理論の平面タドポール・グラフ G は，φ1 φ22 理論において実現できる．

[証明] G の尻尾を取り除き，その端点で切断して両側の内線を外線に置き換えれば，平面自己エネルギー・
グラフ G̃ を得る．命題 5 により G̃ は，3 色 {1, 2, 3} で塗り分け可能である．命題 3 の証明で見たように，この塗り分けで 2 本の外線は同色である．一般性を失うことなしに，この色を 2 とすることができる．また色 3を 2 に変えると，G̃ は φ1 φ22 理論の自己エネルギー・グラフとみなせる．この G̃ の色塗りをもとに G に戻って，尻尾の線を色 1 にすれば，G が φ1 φ22 理論のタドポール・グラフとみなせることが分かる．¤
ちなみに，3 色塗り分けできないペテルセン・グラフの 1 本の線に尻尾をつけてできるタドポール・グラフ
も，φ1 φ22 理論において実現されることは明らかである（尻尾はどこにつけても同等なので，外側の 5 角形につけると考えればよい．
）．

***********************************************
以上は次の論文の一部分を紹介したものである．

N. Nakanishi, Quantum field theory and the coloring problem of graphs,
Commun. Math. Phys. 32 (1973), 167 7 .
原論文では，このほかにファインマン・グラフのウェイトの違いが「染色多項式」というものによって記述されること示した．なお，この論説を書くに当たって，次の本を参考にした．
一松 信著「四色問題 その誕生から解決まで」（講談社ブルーバックス，1978）．
フランク・ハラリイ著，池田貞雄訳「グラフ理論」（共立出版，1971）．

7 φ φ 2 理論で実現できるファインマン・グラフに関する Theorem 5.3 は，誤りであった．5 節の図の右側のものが反例である．
1 2

9次元解析と数学者

中西

2.1

襄

(京都大学名誉教授）

次元解析

次元解析は物理屋なら誰でも知っている．2 つの量の和や差をとるときには，両者の次元がそろっていなけ
ればならない．また，2 つの量の間に等式もしくは不等式が成立するならば，両者の次元が一致していなければならない．この物理屋にとっては全く当たり前のことが，数学者にはまるで分かっていないようだ．数学者
は次元の合っていない式を書いても全く平気である．つまり彼らは次元のある量ははじめから念頭にないのである．
私が京大数理研に在職中，セミナーで数学の大学院生が博士論文発表の予行演習したときのことである．詳
しくは覚えていないが，なにか球に関係した計算で，彼の最終結果を見ると明らかに次元が合っていない．しかし彼は計算に自信があり，絶対に間違っていないという．そこで，計算を詳しく説明してもらうことにしたら，やっぱり間違いをしていた．こちらは彼の計算の妥当性が完全に理解できていなくても，次元が狂ってくるそのステップだけに気をつければよいので，その間違いを発見するのは極めて容易であった．それだのに数学の人は全く気づかないのである．
岩波の「数学辞典」は日本数学会が総力をあげて編集した世界に誇れる書物である．第 1 版から第 4 版まで出版されて，その改訂の度に内容が豊かになっている．巻末にはコンパクトにまとめられた公式集があり，数学の利用者にとって大変有用だ．何十年にわたってよく利用させていただいたものである．それだけに，この公式集にミスプリントがあると，大いに迷惑する．8 ところで先日，たまたま数学辞典の公式集のフーリエ解
析のところを見ることがあったが，間違いがあるのに気が付いた．符号関数 ²(x) = x/|x| の sin 展開であるが，周期 2a なので，展開係数は

2
bn =
a

Z a
dx sin0nπxaで与えられる．この値が，公式集の表では

bn = [1 + (−1)n+1 ]2anπとなっている．積分を遂行してみるまでもなく，この a は不要である．それは，次元解析を知っていたら眺めただけで分かることである．しかし，このミスは第 4 版でも訂正されていない．

2.2

ある不等式

先日，たまたま次のような不等式が成立することを知った．

8 第 2 版で，ルジャンドル多項式の展開の 1 項の係数で因子 1 が脱落していて，それを使って行った検算が一般式とどうしても合わ
2ず，難儀したことがあった．編集者の 1 人にそのことを言っておいたが，第 3 版もそのままであった．第 4 版では訂正．

10定理

f (x) を閉区間 [0, 1] における C 1 級の実関数とする．もし f (0) = f (1) = 0 ならば，
Z 1

0

2

Z 1

dx [f (x)] =0

dx [f (x)]20である．等号が成立するのは，f (x) ≡ 0 のときのみ．
初等的な不等式ではあるが，一般的な関数がその導関数と係数なしに同じレベルで現われるのは，数学者にはどうということもないだろうが，次元解析になじんだ物理屋は違和感を覚えるものである．以下は私が考えた証明だが，読む前に証明をトライして頂きたい．

[証明] [f (x)]2 の最大点 (複数あればそのうちのどれか 1 つ）を x = a とする．[f (x)]2 は両端で 0 であるから，f (x) ≡ 0 でなければ，0 < a < 1，[f (a)]2 > 0 である．定理の不等式の右辺はZ 1

dx [f (x)]2 5 [f (a)]20

Z 1

dx = [f (a)]20で上から押さえられる．
問題は左辺を下から押さえることである．まず積分区間を 2 つに分けて
Z 1
Z a
Z 1
0
2
0
2
dx [f (x)] =dx [f (x)] +dx [f 0 (x)]200aとする．第 1 項について考えるとき，次元解析的考察が役立つ．x や a を +1 の次元を持つ量，f (x) は無次元の量と思うと，この積分は −1 の次元を持つので，それを押さえる量も −1 の次元の量と期待される．実際，
Z a
hZ a
i2
dx [f 0 (x)]2 = a−1
dx f 0 (x)00が成り立つ．その証明は，絶対不等式
Z a

Z a
dx

0

dy [f 0 (x) − f 0 (y)]2 = 00を展開して整理すればできる．従って，Z adx [f 0 (x)]2 = a−1 [f (a) − f (0)]2 = a−1 [f (a)]20となる．第 2 項についても同様にして，Z 1

dx [f 0 (x)]2 = (1 − a)−1 [f (a)]2aである．
以上から，f (x) ≡ 0 でないとき，Z 1

dx [f 0 (x)]2 = [a−1 + (1 − a)−1 ][f (a)]2 = [a(1 − a)]−1 [f (a)]2 > [f (a)]2 =0を得る．なお，もちろん f (x) ≡ 0 のときは，0 = 0 で等号が成立する．¤
なお，この定理は次のように書けば，物理屋にも納得できる．

Z 1
0dx [f (x)]211定理

f (x) を閉区間 [0, c] における C 1 級の実関数とする．もし f (0) = f (c) = 0 ならば，Z c
Z c
dx [f 0 (x)]2 = c−2
dx [f (x)]200である．等号が成立するのは，f (x) ≡ 0 のときのみ．
この形での方が，上記の証明を思いつき易いと思うが，いかがであろうか．

2.3

ファインマンの恒等式

次元解析の原則に反するようにみえるのが，われわれ素粒子物理屋おなじみのファインマンの恒等式である．
すなわち，任意の 2 つの量 A, B に対し，

1
=
AB

Z 1
0

dx
(xA + (1 − x)B)2が成立する．物理屋は A, B が同じ次元を持つ場合にのみこの式を使うのだが，数学的にはそのような制約はない．そうすると，右辺では次元の異なる量の和が現われることになる．
1
A, B をそれぞれ aA, bB に変換すると，左辺は ab倍される．右辺で同じ変換を見るには，積分変数 x も変換しなければならないのである．すなわち，1 次分数変換

x=

by
,
(b − a)y + a

1−x=a(1 − y),(b − a)y + a

dx =

ab dy
[(b − a)y + a]2

1
を行えば，右辺でも ab
倍されていることが見られる．この形の 1 次分数変換の全体は，もちろん可換群をなす．

要するに，次元解析はスケール変換に関する共変性を見ているのに他ならない．変換群に対する共変性というコンテクストでなら，数学者にもよく理解されるのではないだろうか．

12

ピタゴラスの定理の解析的証明

高木富士夫93.1

はじめに

初等幾何学の基本定理であるピタゴラスの定理（三平方の定理）の証明は１００以上あると言われている．
ある本には５００以上あると書かれている．私が知る限りでは証明の多くは幾何学的であり，面積や三角比な
どの幾何学的概念だけが使われる．
ところがある時オイラーの公式

eix = cos x + i sin x(3.1.1)を眺めていて，「あっ！これからピタゴラスの定理（に相当する次の公式）が出せるではないか！」と気が付いた．

cos2 x + sin2 x = 1(3.1.2)

公式 (3.1.1) を使い慣れている人はだれでも，(3.1.2) が (3.1.1) と整合することを認識している．しかしここでは，単なる整合性ではなく，(3.1.1) から (3.1.2) を導くことはできるが逆は不可だという論理の方向・道筋を問題にする．もしオイラーの公式を証明する道筋のどこにもピタゴラスの定理が直接にも間接にも使われていな
ければ，上記の論法はピタゴラスの定理のもう一つの証明を与えるのではないか．もしそうならば，オイラーの公式は解析学の公式だから，これはピタゴラスの定理の解析的証明といえるかもしれない．
なおオイラーの公式を使わなくても，解析学・微分積分学の他の結果を用いて (3.1.2) を証明することができる．そこで２節では，ピタゴラスの定理の解析的証明を３通り示す．３節では，２節で用いた解析学の結果を
ピタゴラスの定理に依らずに導出できることを確かめる．４節では解析的証明の意義について考察する．３節
で用いられる扇形に関する１つの不等式の証明は付録に与えられる．

3.2

ピタゴラスの定理の解析的証明

3.2.1

オイラーの公式による証明

オイラーの公式 (3.1.1) とその複素共役

e−ix = cos(−x) + i sin(−x) = cos x − i sin x
を辺々掛け合わせると

eix e−ix = cos2 x − (i sin x)2 = cos2 x + sin2 x

しかるに左辺は eix−ix = e0 = 1 となるから

1 = cos2 x + sin2 x

9 ftakagi@jn3.so-net.ne.jp

13

3.2.2

三角関数の微分公式による証明

正弦及び余弦関数の微分公式
を用いると(sin x)0 = cos x, (cos x)0 = − sin x(3.2.1)(cos2 x + sin2 x)0 = 2 cos x(− sin x) + 2 sin x cos x = 0となるから

cos2 x + sin2 x = c

ここで c は定数．上式の左辺で x = 0 または x = π2 と置くと，cos 0 = sin π2 = 1, cos π2 = sin 0 = 0 であるから，c = 1 を得る．

3.2.3

マクローリン展開による証明

正弦及び余弦関数のマクローリン展開は次式で与えられる．

sin x =∞
X(−1)n x2n+1
n=0(2n + 1)!

,

cos x =∞
X(−1)n x2n
n=0

(2n)!

(3.2.2)(3.2.2) を用いて sin2 x + cos2 x を計算すると 1 になることは 0 = (1 − 1)n の二項展開から得られる公式nX(−1)n−kk=0

k!(n − k)!

=0(n は正整数)(3.2.3)を用いると容易に示すことができる．

3.3

解析学の諸定理とピタゴラスの定理の独立性

前節では解析学の公式・定理を用いて３通りの道筋でピタゴラスの定理の解析的証明を与えた．この節では，そこで用いた解析学の公式・定理がピタゴラスの定理とは独立に導出できることを確認する．すなわち，それらの公式・定理はピタゴラスの定理またはそれを包含する定理を用いないで導くことができることを示す．

3.3.1

極限値公式の導出

微分公式 (3.2.1) を導く準備として，まず次の極限値公式を導く．

lim

x→0

sin x
=1
x

(3.3.1)

半径 1 の扇形 AOB において，∠AOB は鋭角とし，点 B から OA に下ろした垂線と OA との交点を H とする．
（図 3.1 参照）弧 AB の点 A における接線と線分 OB の延長線との交点を T とする．このとき線分や弧の長さについて次の不等式が成り立つ．

d < AT
BH < AB

(3.3.2)tL0< tan tT0

(3.3.3)d は弧 AB の長さ．(3.3.2) より
ここで ABsin t <

ここで t は ∠AOB の大きさ，L0 は単位円の円周の長さ， T0 はある点の周りを１周する角の大きさである．

14

図 3.1:

垂線，弧，接線の長さ比較(3.3.3) において lim cos x = 1 を用いると，挟み撃ち法により
x→0

sin t
L0
=
t→0 t
T0

(3.3.4)L0 = 2π(3.3.5)

T0 = 2π(3.3.6)limを得る．ここでとして，t を x に変更すると (3.3.1) が得られる．(3.3.5) は円周率 π の定義，(3.3.6) は弧度法の定義である．
dd < AT から成る．第２の不等式の証明には，
ところで不等式 (3.3.2) は２つの不等式 BH < AB,
AB「任意の三角形において，大きな角の対辺は小さな角の対辺よりも大きい．
」及び「三角形の内角の和は２直角である．
」という定理が用いられる．その具体的証明は文献 [1] の定義１，命題２，命題３に与えられている．なお同じ文献の命題５では同じ不等式の別証明が与えられているが，そこではピタゴラスの定理が微分形で使われているので，ここでは採用できない．第１の不等式の証明は長いので付録に回す．極限値公式 (3.3.1) を導くた
めに円周も円の面積も計算する必要はない（のでピタゴラスの定理のお世話にならない）ということがここの話のポイントである．

3.3.2

三角関数の微分公式の導出

導関数の定義より

sin(x + h) − sin xh→0h(sin x)0 = lim(3.3.7)

教科書で見かける計算では，ここで sin(x + h) を加法定理を用いて変形する．しかし加法定理はピタゴラスの定理を内包しているので使えない．そこで 0 ≤ x ≤ x + h < π/2 として，半径 1 の扇形 AOD を考え，
弧 AD 上に点 B をとって，∠AOB = h, ∠BOD = x とする．
（図 3.2 参照）点 A から線分 OD に垂線 AHを下ろし，垂線 AH に点 B から垂線 BC を下ろす．点 A と B を直線で結ぶ．直角三角形 AOH において∠AOH = x + h, ∠AHO = π/2 であるから，∠OAH = π/2 − x − h． 一方，２等辺三角形 AOB において
∠OAB = ∠OBA = (π − h)/2．故に ∠BAC = ∠OAB − ∠OAH = (π − h)/2 − (π/2 − x − h) = x + h/2 とな

15

図 3.2:

正弦関数微分のための作図

d AB, AC とすると
る．弧 AB ，線分 AB ，線分 AC の長さをそれぞれ AB,
d=h
AB
h
2
AC = AH − CH = sin(x + h) − sin x

AB = 2 sin

従って

lim

h→+0

sin(x + h) − sin x
AC
= lim
d
h→+0 AB
h
AC AB
= lim
·
d
h→+0 AB AB
AB
AC
· lim
= lim
d
h→+0 AB h→+0 AB
2 sin h2
= lim cos ∠BAC · lim
h→+0
h→+0
h
µ
¶
h
sin ²
= lim cos x +· lim²→+0 ²h→+0
2= cos x

ただし最後の行へ移る所で極限値公式 (3.3.1) を用いた．0 ≤ x + h ≤ x < π/2 の場合についても同様の計算が成り立ち，２つの片側極限値が一致するので，(3.2.1) の第１式が得られる．さらに π/2 ≤ x < π の場合も同様の計算が成り立つ．

(3.2.1) の第２式は第１式から次のようにして得られる．直角三角形 ABC において∠C = π/2, ∠B = x のとき ∠A = π/2 − x であるから³π´
BC= cos x = sin
−x
AB
2
³π
´
AC
= sin x = cos
−x
AB
2

16
そこで π/2 − x = t とおいて，合成関数の微分法と (3.2.1) の第１式を用いると

³π
´
d
d
dt
sin
−x =
sin t ·
dx
2
dt³
dx
´
π
= cos t × (−1) = − cos− x = − sin x
2(cos x)0 =以上，正弦，余弦の定義，三角形の内角の和は π であること，及び極限値公式 (3.3.1) を用いて微分公式 (3.2.1)
を導いた．

3.3.3

オイラーの公式の導出

ピタゴラスの定理を用いないでオイラーの公式を導く方法を２つ示す．

マクローリン展開を用いる方法
これは最も代表的な方法である．指数関数 ex ，正弦関数 sin x，余弦関数 cos x のマクローリン展開が与えられたとする．微分積分学のテイラーの定理，マクローリンの定理がその基礎になっている．指数関数のマク
ローリン展開式

ex =

∞
X
xn
n=0

n!

(3.3.8)において x を ix で置き換えて，複素数の四則計算を適用すると，実部は余弦関数のマクローリン展開 ((3.2.2)の第２式) に，虚部は正弦関数のマクローリン展開 ((3.2.2) の第１式) に一致するので，(3.1.1) を得る．この論法においては，一般に ex のマクローリン展開 (3.3.8) において，実変数 x を複素変数 z で置き換えて得られる級数を複素変数の指数関数 ez の定義とする．
ところで，この方法の場合必要なのは指数関数，正弦関数，余弦関数のマクローリン展開だけである．従ってテイラーの定理，テイラー展開と，指数関数，正弦関数，余弦関数の高次導関数が与えられればよい．テイラーの定理は微分積分学の中心的定理の１つであるが，そこに到る一連の道筋でピタゴラスの定理（を直接的に内包する定理）は使われていないだろう．指数関数 ex の導関数を求めるには極限値公式
1

lim (1 + h) h = e

h→0(3.3.9)を用いればよい．(3.3.9) はピタゴラスの定理と直接の関係はない．一方 (3.2.1) を繰り返し使えば，正弦関数と余弦関数の高次導関数を求めることができる．結局，この方法によればピタゴラスの定理を用いないでオイ
ラーの公式を証明できる．

微分方程式法
まず実変数の実関数 sin x と cos x を用いて虚数単位 i を係数とする複素数値関数

g(x) = cos x + i sin x(3.3.10)g 0 (x) = − sin x + i cos x = i(cos x + i sin x) = ig(x)(3.3.11)g(0) = 1(3.3.12)を定義する．微分公式 (3.2.1) を用いるとまた初期条件は

17である．

ここで一般に複素変数の指数関数 ez を次の微分方程式の解として定義する．

f 0 (z) = f (z),f (0) = 1

(3.3.13)複素関数に対しても，実変数実関数の場合と同型の合成関数の微分法が使えるので，a を複素定数とするとき

u = az としてddduf (az) =f (u) ·
= af 0 (az)
dz
du
dz

(3.3.14)(3.3.11),(3.3.12) と (3.3.13),(3.3.14) を見比べると，a = i, z = x として f (ix) が (3.3.11),(3.3.12) の解である
ことが分かる．従ってg(x) = f (ix) = eix(3.3.15)(3.3.10),(3.3.15) よりオイラーの公式 (3.1.1) が得られる．この場合もピタゴラスの定理は使われていない．ちなみに (3.3.13) を満たす関数 f (z) が指数法則 f (z1 + z2 ) = f (z1 )f (z2 ) を満たすことは容易に証明できる．したがって (3.3.13) によって複素変数の指数関数を定義するのは妥当である．

3.4

解析的証明の意義

長年数学を漫然と使ってきた物理屋の筆者は，数学の定理の証明は短くて簡単であるほどよく，面白ければそれに越したことはない，という程度の認識を持ち続けてきた．そのような観点からいえば，本稿で提示した
ピタゴラスの定理の解析的証明は，個々のステップに新味は無く，道筋が長いので回りくどくて面白くないという印象を与えるかもしれない．この話のポイントは，証明の道筋の途中ではピタゴラスの定理が使われていないという事と幾何学的証明ではなく解析的証明であるという事だけである．わざわざこんな証明を考えることに意義はあるだろうか．しかし，数学は論理を絶対的に重視する学問であり，難しい定理の証明には何百か
何千ステップにわたる論理の展開と計算の過程が必要になるそうである．従ってピタゴラスの定理の証明といえども，論理の道筋に新味があれば長い証明でも意味があるかもしれないと思った．

18

参考文献
[1] 新関章三，三角関数の微分積分と弧度法，2008 年

d の証明
BH < AB
3.3.1 の図 3.1 において0 < ∠AOB = t <π2とする．弧 AB 上に n + 1 個の点を点 A から点 B まで順に A = A0 , A1 , · · · , Ai , · · · , An = B ととる．点 B から OA に下ろした垂線と OA の交点を H とする．点 Ai から BH に下ろした垂線と BH の交点を Hi とすると，H = H0 , B = Hn である．
（図 3.3 参照）今考えている弧の分割を Dn として，すべての n ∈ Z + にわたる

Dn 全体の集合を D とする．ここで Z + は正の整数全体の集合．分割 Dn において分割点を順に結んでえられる折れ線の長さを L(Dn ) とすると
n
X
L(Dn ) =Ai−1 Ai(3.4.1)i=1

ここで Ai−1 Ai は２点 Ai−1 と Ai を結ぶ線分の長さ． [1] にならって弧 AB の長さを

d = sup{L(Dn )|Dn ∈ D}
AB

(3.4.2)と定義する．
点 O と分点 Ai を直線で結び∠A0 OAi = ∠AOAi = titn = ∠AOB = t(1 ≤ i ≤ n)とする．さらに∠Ai−1 OAi = si = ti − ti−1 ,t0 = 0(1 ≤ i ≤ n)

とおくと

ti =

i
X

sj

j=1

0 < t1 < t2 < · · · < tn = t
0 < si(1 ≤ i ≤ n)である．以上で準備ができたので，順に次の３式を証明する．

π2
Hi−1 Hi < Ai−1 Ai∠Hi Ai Ai−1 >dBH < AB(1 ≤ i ≤ n)

(3.4.3)(1 ≤ i ≤ n)

(3.4.4)(3.4.5)

19

図 3.3:

弦と弧の長さの比較

まず Hi Ai //OA であるから錯角が等しい，すなわち∠AOAi = ∠OAi Hi = ti
次に二等辺三角形 Ai−1 OAi において

∠OAi−1 Ai = ∠OAi Ai−1 =π − si1(π − ∠Ai−1 OAi ) =
2
2

であるから

∠Hi Ai Ai−1 = ∠Hi Ai O + ∠OAi Ai−1 = ti +従って i = 1 のとき∠H1 A1 A0 =π − si
2

s1
π
π
+ >
2
2
2

2 ≤ i ≤ n のとき∠Hi Ai Ai−1 = s1 + s2 + · · · + si−1 +

si
π
π
+ >
2
2
2

これで (3.4.3) が証明された．そこで四辺形 Hi Hi−1 Ai−1 Ai において点 Ai から辺 Hi−1 Ai−1 に垂線を下ろして，交点を Ki−1 とすると，四辺形は長方形 Hi Hi−1 Ki−1 Ai と直角三角形 Ai Ki−1 Ai−1 に分割される．この直π角三角形において ∠Ai Ai−1 Ki−1 < ∠Ai Ki−1 Ai−1 = であるから Ki−1 Ai < Ai−1 Ai である．一方，長方形
2
Hi Hi−1 Ki−1 Ai において Hi−1 Hi = Ki−1 Ai である．従って Hi−1 Hi < Ai−1 Ai (1 ≤ i ≤ n) となり，(3.4.4)が証明された．(3.4.1),(3.4.4) よりnX
i=1

Hi−1 Hi <n
X

Ai−1 Ai = L(Dn )i=1

左辺は H0 Hn = BH に等しいから BH < L(Dn ) となる．この結果と (3.4.2) よりd
BH ≤ AB
実際には (3.4.6) において等号が成り立たないことが次のようにして分かる．

(3.4.6)

20
d との交点をそれぞれ M, N とする．(3.4.6) を扇形 AON
点 O から線分 AB に下ろした垂線と AB 及び弧 ABと扇形 N OB に適用すると

dAM ≤ ANdBM ≤ BN
辺々加えるとdAB ≤ AB

(3.4.7)d を得る．従って BH < AB
d とな
BH < AB ≤ ABり，(3.4.5) が証明された．この結果を反映して (3.4.7) からも等号がとれて

一方，直角三角形 BHA において BH < AB であるから

dAB < ABを得る．

(3.4.8)

21

Gauss 積分の計算法

新関 章三 (愛媛県松山市)・荒木 真 (有明高等工専)

4.1

はじめに

Gauss (ガウス 1777−1855) 積分は確率・統計学で重要な正規分布の確率密度関数の表示で用いられるばかりではなく，また，熱方程式の解の表示式や誤差論等でも重要な働きをする．本稿では，二重積分を用いた計算法や文献 [2] および [3] で行われている計算法等，これら従来の計算法とは別の視点から，即ち，第 3 節で述べた考えに立脚した，新たな計算法を展開した．このためには，定義 1.1 で与える正弦積分 Sn が重要な働きをしており，定理 3.4 で Sn の持つ性質を明らかにした．以上の背景に基づいて Gauss 積分を計算してみよう．

4.2

記号と定義

本稿で用いられる記号や定義等について述べる．
先ず，記号 Z0 + は負でない整数の全体とし，R は実数の全体とする．そしてここでは，記号 Sn を正弦積
分と呼び次のように定める10 :定義 2.1 (正弦積分) ∀n ∈ Z0 + に対し
def

Z π

Sn =

sinn xdx0と定める．♦def

さて，ここで定理 3.3 に登場する関数族を 1 つ与えておこう．ただし，K ∈ R+ に対し，IK = [−K, K] はR の閉区間とする．
定義 2.2 (局所有界) 区間 J ⊂ R で定義された関数 f が J で局所有界であるとは，任意の有限閉区間

I ⊂ J に対してある LI ∈ R0 + が存在してsup |f (x)| = LI < ∞x∈Iが成り立つときをいう．
注意 区間 J ⊂ R で連続な関数 f は，Weierstrass (ワイエルシュトラス 1815−1897) の定理により，有限閉区
間 I ⊂ J で最大値と最小値をとるという事実から，J で連続な関数 f はそこで局所有界であることが分かる．

♦
10 定義 2.1 で与えた正弦積分は，次の式で定義される積分正弦関数 :Z x
Si(x) = −0sin t
dt & si(x) = −
t

Z ∞
x

sin t
dt
t

と名称が似ているが，全く違うものである．(岩波 数学公式 I ，岩波書店 (1956) 200)

22

4.3

計算への準備

本節では，指数関数における最も基本的で重要な不等式を次の形で与える :命題 3.1 (指数関数の基本定理) ∀x ∈ R に対して

1 + x ≤ exが成り立つ．
証明 微分法を用いると容易に証明できる．
注意 微分法を用いなくとも，多少遠回りにはなるが，一般の指数関数の定義式を用いて証明することも出来る．これについては本稿最後の参考事項に，”基本不等式 4.1” としてその証明を与えておく． ♦命題 3.1 の不等式からは，指数関数 ex の微分や積分を始め ex にかかわる重要な不等式等を殆ど全て導くことが出来る．次の不等式は，それらの中の 1 つである．
定理 3.2 次の不等式が成り立つ :xx > −1 =⇒ e 1+x ≤ 1 + x ≤ ex
証明 容易に確認出来るように，次の関係が成り立つ :x > −1 ⇐⇒ −

x
> −1
1+x

従って，命題 3.1 の不等式の x を −x/(1 + x) で置き換えれば定理の左側の不等式が得られ，また右側の不等式は命題 2.1 そのものである．
上の定理から，指数関数の収束問題に関する重要な性質を導くことが出来る．即ち，次の定理が成り立つ．
定理 3.3 関数 f は R で局所有界とする．この時，∀K ∈ R+ に対し
µ
¶n
f (x)
lim 1 +
= ef (x) (IK で一様収束)n→∞nが成り立つ．
証明 定理 3.2 の不等式の x を f (x)/n で置き換えて得られた不等式を n 乗することにより

µ
¶n
f (x)
1+
≤ ef (x)
n
¯µ
¯ ¯
µ
¶n
¶
¯
(LK )2¯ ¯ nf (x)
¯
f (x)
− n−L
f (x) ¯f (x) ¯
LK
¯
n+f
(x)
K
−e
−e
1−e
∴ ¯ 1+¯≤e¯ ≤ ¯e
n
¯µ
¯
¶n
µ
¶
(LK )2
¯
¯
f (x)
− n−L
f (x) ¯LK¯K∴ lim sup ¯ 1 +−elim 1 − e=0¯ ≤ e n→∞n→∞ x∈IKnnf (x)

e n+f (x) ≤が得られる．これで定理は証明された．
注意 上の定理の一般化は本稿の最後の参考事項に，”一般化 5.1” として与えておいた．♦

23
次に，Sn の重要な性質として Wallis (ウオリス 1616−1703) による次の公式がある．
定理 3.4 (Wallis の公式) 次の極限式が成り立つ :√√lim nS2n = πn→∞証明 定義 2.1 の正弦積分において

Z π
Sn =

sinn xdx =0Z πsinn−1 x · sin xdx0と変形して部分積分を実行すれば漸化式 :nSn = (n − 1)Sn−2∴ nSn Sn−1 = (n − 1)Sn−1 Sn−2が得られ，これを解けば n = 2, 3, · · · に対し

nSn Sn−1 = 1 · S1 · S0 = 1 · π · 2 = 2π

∴ Sn Sn−1 =2πnを得る．従って，n ∈ Z + に対し

2π
2π< Sn 2 <
n+1
n
√
√
√
2
< ( nSn ) < 2π ⇒ lim nSn = 2π

Sn+1 < Sn < Sn−1 ⇒ Sn+1 Sn < Sn 2 < Sn Sn−1 ⇒
n
n+1

⇒ 2π

n→∞

を得る．これで Wallis の公式は証明された．
注意 通常 Wallis の公式とは，n ∈ Z + に対して，次の極限式 :√22n (n!)2
lim √
= π
n→∞
n(2n)!
を指す．これについては，参考事項の ”Wallis 5.3” に詳しく述べておいた．♦

4.4

Gauss 積分の計算

前節の準備の基に目標の Gauss 積分を計算してみよう．
このために，先ず次の補題から始める．
補題 4.1 ∀n ∈ Z + に対し¶n
Z √n µ√x2
1−dx = nS2n+1√n− nが成り立つ．
証明 変数変換 x =√n sin t により

左辺 =

√

Z π/2
n

cos
−π/2

が得られ，補題は証明された．

2n+1

tdt =

√

Z π
n
0

sin2n+1 tdt =√nS2n+1

24
定理 4.2 (Gauss 積分)Z ∞2e−x dx =√π−∞

証明 ∀K ∈ R+ に対し，K <√n を満たすように n ∈ Z + をとる．この時，命題 3.1 及び補題 4.1 により一連の式 :

µ
¶n
2
x2
x2
−x2 /n1+x≤e ⇒ 1−
<e
⇒ 1−
≤ e−x
n
n
√ µ
¶
¶n
Z
Z √n
Z K µ
n
n
2
x2
x2
dx ≤ √ 1 −dx ≤ √ e−x dx
⇒
1−
n
n
−K
− n
− n
√
¶
Z K µ
Z
n
n
√
2
x2
⇒
1−
dx ≤ nS2n+1 ≤ √ e−x dx
n
−K
− n
¶
 Z K µn√x2dx ≤ nS2n
1−


n
 −K
⇒
√
Z √n


√
2
n


 √
n + 1S2(n+1) ≤ √ e−x dx
n+1
− n
x

が得られ，定理 3.3 及び 3.4 により n → ∞ とすればZ K

2

e−x dx ≤

√

Z ∞
π≤

2

e−x dx−∞−Kとなり，ここで K → ∞ とすれば定理は証明された．

4.5

参考事項

本節では先ず，命題 3.1 の後の注意で述べたように，微分法を用いずに基本不等式 5.1 で指数関数の基本定理を証明し，次いで定理 3.3 の後の注意で予告したこの定理の一般化を，一般化 5.2 で明らかにする．そして，定理 3.4 の後の注意に記した Wallis の公式をまた別の形で表現した．
上の目標を達成するため，以下，幾つかの準備をする．よく知られているように){a, b} ⊂ R+=⇒ an+1 − bn+1 ≤ (n + 1)(a − b)ann ∈ Z+
が成り立つ．この不等式は次のように活用される．先ず，a, b をそれぞれ
µ
¶
³
x´
x
a= 1+
& b= 1+nn+1
とおいてこれら a, b を上の不等式に代入すれば

³
x ´n
x
1 + ∈ R+ =⇒ 1 +
≤
n
n

µ
1+

が成り立つ．そして，∀x ∈ R に対し(
σ(x) =+1 : x ∈ R0 +−1 : x ∈ (−∞, 0)

x
n+1

¶n+1
(4.5.1)25と定める．この時，∀m ∈ Z + 及び Napier (ネーピア 1550−1617) 数 e に対し

µ
¶m
¶n
µ
σ(x)
σ(x)
1+
≤ lim 1 += eσ(x)n→∞mn(4.5.2)が成り立つ．
以上の準備の基に，基本不等式の証明に入ろう．

[基本不等式 5.1] ∀x ∈ R に対し

1 + x ≤ ex

(4.5.3)が成り立つ．
def

証明 x ∈ (−∞, −1] ∪ {0} の時は自明である．従って，x ∈ U = (−1, 0) ∪ (0, ∞) の場合を考えてみる．始めに x ∈ U は有理数とする時これは∃{p, q} ⊂ Z + & x = σ(x)qpと表現することが出来る．この時，1 + σ(x)(q/p) > 0 であるから，(4.5.1) 及び (4.5.2) により

µ
¶p µ
¶pq µ
¶pq
q
q
1
1 + σ(x)≤ 1 + σ(x)= 1 + σ(x)≤ eσ(x)qppqp∴ 1 + x = 1 + σ(x)qq≤ eσ(x) p = expが成り立つ．従って，x ∈ U が有理数の時，不等式 (4.5.3) は正しい．また，x ∈ U が無理数の時には lim yn = xn→∞なる有理数列 {yn }∞n= ⊂ U が存在し

1 + yn ≤ eyn (n ∈ Z + )1 + x = lim (1 + yn ) ≤ lim eyn = ex
n→∞

n→∞

∴ 1 + x ≤ exが成り立つ．以上で，基本不等式は証明された．
この節では，定理 3.3 の一般化と定理 3.4 の後に述べた注意の具体化とについて考えてみよう．
ここで，そのための準備をする．関数 ϕ(y) は R で，また関数 f (x, y) は R × R0 + で定義されそこで，
def∀K ∈ R+ IK = [−K, K] に対して
def

MK = sup{|f (x, y) | (x, y) ∈ IK × R+ } < ∞を満たしているとする．この時，定理 2.3 の一般化は次の様になる．

[一般化 5.2] 下記の上段と下段とに対し，それぞれ次の関係が成り立つ :()
各点収束
lim f (x, y) = g(x) が IK で
=⇒
y→∞
一様収束
(
¶ϕ(y)
µ
各点収束
f (x, y)g(x)=eは IK で
lim 1 +
y→∞
ϕ(y)
一様収束

26
証明 定理 3.2 の 2 連不等式の x に f (x, y)/ϕ(y) を代入して各辺を ϕ(y) 乗すれば
f (x,y)ϕ(y)/(ϕ(y)+f (x,y))

e

µ
¶ϕ(y)
f (x, y)≤ 1+
≤ ef (x,y)ϕ(y)

が得られる．これより，定理 3.3 の証明と同様な考え方で
¯µ
¯ ¯µ
¯
¶ϕ(y)
¶ϕ(y)
¯
¯ ¯
¯ ¯
¯
f (x, y)
f
(x,
y)
¯
¯
¯
¯ ¯
¯
− eg(x) ¯ ≤ ¯ 1 +− ef (x,y) ¯ + ¯ef (x,y) − eg(x) ¯
¯ 1+
¯
¯
¯
¯
ϕ(y)
ϕ(y)

¯ ¯
¯
¯
¯ ¯
¯
¯
≤ ¯eϕ(y)f (x,y)/(ϕ(y)+f (x,y)) − ef (x,y) ¯ + ¯ef (x,y) − eg(x) ¯
¯ ¯
¯´
³¯
2
¯
¯ ¯
¯
≤ ef (x,y) ¯e−MK /(ϕ(y)−MK ) − 1¯ + ¯eg(x)−f (x,y) − 1¯
¯ ³
³¯
´´
2
¯
¯
≤ eMK ¯e−MK /(ϕ(y)−MK ) − 1¯ + e|g(x)−f (x,y)| − 1が得られる．これより，各点収束の場合は明らかである．他方，一様収束の場合には条件より

lim sup |g(y) − f (x, y)| = 0

y→∞ x∈IKが成り立つことから，文献 [1] により次の一連の式 :1 ≤ lim sup e|g(x)−f (x,y)| ≤ elimy→∞ supx∈IK |g(x)−f (x,y)| = e0 = 1y→∞ x∈IKが成り立つ．従って，一般化 5.2 は証明された．
最後に，Wallis の公式，つまり，定理 3.4 で与えた Wallis の公式を別の形で表現してみよう．

[Wallis 5.3] 次の公式が成り立つ :√22n (n!)2
lim √
= π
n→∞
n(2n)!

証明 定理 3.4 により，次の極限式 :

lim

√

n→∞

22n (n!)2nS2n = lim √n→∞n(2n)!

が成り立つことを示せばよい．定理 3.4 の証明の中にある漸化式 :nSn = (n − 1)Sn−2∴ Sn =n−1
Sn−2nを解くことにより，n ≥ 2 なる n ∈ Z + に対し次の式 :S2n =(2n − 1) · (2n − 3) · · · 1(2n)!
· S0 = 2n·π(2n) · (2n − 2) · · · 2
2 (n!)2が得られる．これと定理 3.4 とにより√

π = limn→∞√√
nS2n = lim

n(2n)!

n→∞ 22n (n!)2

が成り立ち，これより目指す極限式は容易に導くことが出来る．

·π

27

参考文献
[1] 中田道孝 · 新関章三， 上極限と下極限による単調関数の特徴づけについて，高知大学学術研究報告 第 38
巻 自然科学，(1989) 1−10
[2] 高木貞治， 解析概論 (改訂第三版)，岩波書店 (2002 ) 116−117[3] 藤原松三郎， 数学解析第一編 微分積分学 第一巻 (訂正第 7 版)，内田老鶴圃 (1957) 375−376

28

編集後記

あれほど暑かった今年の夏も嘘のように感じられる 12 月である．皆様にはご健勝でしょうか．お陰で創刊から無事に 1 年が経った．このサーキュラーも順調に育っている．
ということで、ここに第 5 号を発行する．今号にも中西先生から論文とエッセイの合せて 2 編を投稿して頂いた．深く感謝を申し上げたい．また高木富士夫（元東北大学）さんと先号の編集後記でも述べたようにこの「通信」の共同編集者の新関（元高知大学）さんの論文を載せることができた．
最近の物理学会誌 9 月号で中西 襄先生が物理学会から素粒子賞を受賞されたことを知った．読者の皆様と共にその受賞を喜びたいと思います．
今号にはページ数の都合で原稿の募集要領とか投稿規程を割愛したが，4 号に載せてあるからそれを見て投稿をお願いしたい．
（矢野 忠）