現実と数学の区別が付かない

数学ネタのブログです

光速の追い風参考記録

陸上のサニブラウン選手が全米大学陸上選手権男子100メートル決勝で9秒97の日本記録を出しました。準決勝ではより速い9秒96でしたが,こちらは追い風2.4メートルの参考記録でした。
www.nikkansports.com
短距離走では追い風が記録に有利に働くため,追い風の平均風速が秒速2.0メートルを超えると記録が公認のものにならずに「参考記録」となります。

短距離走は人類最速を競う競技ですが,物理最速のものといえば「光」です。

その光ですら追い風で速くなるというお話を今日はしたいと思います。

空気中の光速

あらゆる物質の運動の速さは真空中の光速 c=299792458~ \mathrm{m}/\mathrm{s}を超えることができません。じゃあ追い風で速くなることはないんじゃないかと思うかもしれませんが,追い風が吹いているということは周りに空気があるということです。空気中の光速は真空中の光速よりも遅くなっています。その速さの差の分だけ,まだ速くなれる余地が残されているのです。伸びしろですね。

光速は物質中では真空中よりも遅くなります。その速度の比 \begin{align}n={(\mbox{真空中の光速})}/{(\mbox{物質中の光速})}> 1\end{align}をその物質の絶対屈折率といいます。

空気の絶対屈折率は1.000292で,水の絶対屈折率は1.3334です(正確には絶対屈折率は波長によって異なります。この絶対屈折率は波長 589.3~\mathrm{nm} の光に対してのものです)。物質中の光速は絶対屈折率を用いて  \cfrac{c}{n} と表されます。

では,追い風が吹いている空気中を進んでいる光速の速さはどうなるでしょうか?それを計算するために必要なのがローレンツ変換です。

ローレンツ変換

慣性系Sに対してx軸方向に速度 v~\mathrm{m}/\mathrm{s} で等速直線運動をする別の慣性系S'を考えましょう。
S系の時空座標を t,x,y とし,S'系 の時空座標を t',x',y' とします。
f:id:egory_cat:20190608104114g:plain
このとき,次の変換法則が成り立ちます。これがローレンツ変換と呼ばれているものです。
\begin{align*}
t'&=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}} \left(t-{\frac{vx}{c^{2}}}\right)\\
x'&=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}} (x-vt)\\
y'&=y
\end{align*}
ローレンツ変換 - Wikipedia
この逆変換を求めると
\begin{align}
t&=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}} \left(t'+{\frac{vx'}{c^2}}\right)\\
x&=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}} (x'+vt')\\
y&=y'
\end{align}
となります。

以下ではx軸上の運動のみを考えます。

S' 系から見て速度  \cfrac{dx'}{dt'} で運動している物体があったとします。この物体の運動をS系から観測したときの速度 \cfrac{dx}{dt}ローレンツ変換を用いて計算してみましょう。ローレンツ変換の逆変換の式を微分すると
\begin{align*}
dt &=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}} \left(d t'+{\frac{vd x'}{c^2}}\right)\\\
dx &=\frac{1}{\sqrt{1-\frac{v^2}{c^2}}} (d x'+vd t')
\end{align*}
なので,
\begin{align*}
\cfrac{dx}{dt} =\cfrac{d x'+vd t'}{d t'+\frac{vd x'}{c^2} }=\cfrac{\frac{d x'}{d t'}+v}{1+\frac{v}{c^2}\frac{d x'}{d t'}}
\end{align*}
となります。

追い風の中の光速

さて,一定の風速  v~\mathrm{m}/\mathrm{s} の追い風が吹いている中で光を観測すると,その速さはどうなるでしょうか?

風が一切吹いていない v=0 のとき,光速は  \cfrac{c}{n} となります。ただし n は空気の絶対屈折率です。

風速が  v>0 の場合を考えます。静止系Sから見て,風速と同じ速度で移動する慣性系S'を考えましょう。風と同じ速度で動いているので,S'系 では風を感じません。よってS'系で光速を観測すると,それは無風状態で観測した光速  \cfrac{c}{n} になります。

S'系に対して速度 \cfrac{d x'}{d t'} = \cfrac{c}{n} で運動するものをS系から観測すると,その速度は先ほどの計算により
\begin{align*}
\cfrac{dx}{dt} &=\cfrac{\frac{c}{n}+v}{1+\frac{v}{c^2}\frac{c}{n}}=\cfrac{c+nv}{v+nc}\cdot c \\
&=\left(1+\cfrac{(n^2-1)v}{v+nc}\right)\cdot \cfrac{c}{n}\\
&=\left(1-\cfrac{(n-1)(c-v)}{v+nc}\right)\cdot c
\end{align*}となります*1

0 < v \leq c1 < n であることから, \cfrac{c}{n}<\cfrac{dx}{dt} \leq c が成り立ちます。この\cfrac{dx}{dt} が,風速  v~\mathrm{m}/\mathrm{s} の追い風が吹いているときに観測される光速です。

追い風が吹いている場合の光速は,無風の場合の光速  \cfrac{c}{n} よりは速いが,真空中の光速  c を超えることが無いことが分かりました。

光速の追い風参考記録

 n=1.000292 としましょう。

分母の  v+nc nc が大きいので, v nc に比べて十分小さいとき,追い風の影響で速くなる分  \cfrac{(n^2-1)v}{v+nc}\cdot \cfrac{c}{n} は \begin{align}\cfrac{(n^2-1)v}{nc}\cdot \cfrac{c}{n} =\cfrac{n^2-1}{n^2}\cdot v=5.83744\times 10^{-4} \times v\end{align}という v の定数倍の式で近似できます。

 ac\approx 3.0\times 10^8 なので,0\le v\le 10^6 程度のときはほぼ 5.8\times 10^{-4} \times v です。

短距離走参考記録となる風速  2.0~\mathrm{m}/\mathrm{s}の追い風が吹いている場合は,光は 1.2\times 10^{-3} [\mathrm{m}/\mathrm{s}] ほど,つまり秒速1.2ミリメートルほど追い風の影響で速くなる計算になります。

*1:結果は同じですが波の位相速度としても計算しておきましょう。\gamma=1/\sqrt{1-\frac{v^2}{c^2}} とおきます。S'系から見て位相速度 \cfrac{c}{n} で進む波 \sin(nkx'-ckt')S系から観測すると,\sin\left(nk\gamma (x-vt)-ck\gamma \left(t-{\frac{vx}{c^{2}}}\right) \right)
=\sin\left(k\gamma \left(n+\frac{v}{c}\right)x-k\gamma\left(nv+c\right)t \right)となり,その位相速度は  \cfrac{nv+c}{n+\frac{v}{c}}=\cfrac{c+nv}{v+nc}\cdot c になります。

ユークリッド幾何の第1公準

この記事は、日曜数学アドベントカレンダーの2日目の記事です。
adventar.org
1日目はtsujimotterさんの「パスカルの三角形にたくさん出てくる数: 3003」でした。3003はパスカルの三角形に何回出てくるのでしょうか?追記された部分も面白いのでまだ読んでいない方はぜひ読んでみてください。
tsujimotter.hatenablog.com


2日目のテーマはユークリッド幾何の第1公準です。

ユークリッドの『原論』といえば平行線の公理とも呼ばれる第5公準をめぐる物語でしょう。

第5公準 1本の線分が2本の線分と交わり, 同じ側の内部に作る角の和が2直角より小さいとき, これら2本の線分を延長すると, 角の和が二直角より小さい側で交わる

この第5公準を言い換えた次のものを平行線の公理と呼ぶことも多いようです。

第5公準の言い換え 与えられた直線外の1点を通り,この直線に平行な直線がただ1本存在する

他にも「三角形の内角の和が2直角(180°)」とも言い換えられることが知られています。

平行線公準 - Wikipedia

この第5公準は他の公準とくらべて文章が長く複雑なので,本当に幾何の基礎たる公準に入れる必要があるのか,多くの人が疑問に思いました。そして,多くの数学者が第5公準を第1公準から第4公準を使って証明できないかと挑戦してきました。そのような試みから始まり,双曲幾何の発見により第5公準の独立性(第1~第4公準から証明も反証もできないこと)が証明されるまでの物語は,2000年を超える壮大なものです。

今日はこの平行線の公理ではなくて,第1公準について色々と考えてみましょう。

第1公準 与えられた2点を結ぶ線分を1本だけ引くことができる

単に2点を定木を使ってピッと結べば線分の出来上がり。第5公準にくらべると「当たり前」で,証明の必要のない事実として受け入れることに抵抗はないでしょう。

いつもみんなの笑いもの,ってことはないですが,個別に扱うにはツマラナイものに思えるかもしれません。ところが考察してみるとなかなかどうして色々と面白い話が出てきます。

ちなみに内容は独自研究みたいなものですので,他所の解説記事とは異なることも書いてあると思います(いろいろ調べてみると第1~第5公準のそれぞれが本当に何を意味しているのか世間の合意が取れていないようにも思えます。しかし「○○かどうかは公準の解釈による」とか言っていたら何も考えられないので,この記事は「ユークリッド原論の記述をそのまま素直に読む」という立場で書いています)。正直,手を出すのがちょっと怖いネタですね。あくまで一説として読んで下さい。何か思うことがあればコメントをくれるとありがたいです。

Contents

ユークリッド原論の5つの公準

実は『原論』は原典が現存しておらず写本しか残っていません。全13巻ある『原論』の第1巻では点・直線・円・直角などの定義から始まり,5つの公準と9つの公理が提示され,平面幾何に関する48個の命題が証明されています。

この記事では,平面幾何に関わる5つの公準を以下の通りとします。

第1公準 与えられた2点を結ぶ線分を1本だけ引くことができる
第2公準 与えられた線分を延長することができる
第3公準 与えられた点と半径で円を描くことができる
第4公準 すべての直角は等しい
第5公準 1本の線分が2本の線分と交わり, 同じ側の内部に作る角の和が2直角より小さいとき, これら2本の線分を延長すると, 角の和が二直角より小さい側で交わる

こっそり修正されている 第1 公準

実はこの第1公準はオリジナルのものとちょっと異なります。Wikipediaから引用すると
ユークリッド原論 - Wikipedia

任意の一点から他の一点に対して直線を引くこと

とあり,「1本だけ」という条件が入っていません(ここでいう「直線」とは,現代でいう「線分」のことです)。この条件は9番目の公理から導かれます。再びWikipediaから引用します。

1. 同じものに等しいものは、互いに等しい
(中略)
9. [2線分は面積を囲まない]
ただし[]で囲まれた公理は公理に含めないことがある。

2線分が面積を囲むとは,例えば次の図のようになることです。
f:id:egory_cat:20181125093429p:plain:w400
つまり2点  P,~Q を結ぶ線分が2本以上ある場合です。

そこで,「与えられた2点を結ぶ線分を1本だけ引くことができる」としたものを新たに第1公準として採用することにします。

公準」と「公理」をそれぞれ見てみると,公準は幾何に関するもの,公理は一般的な等式・不等式に関わるものになっていますが,なぜかこの9番目の公理だけは幾何に関するものになっています。しかも公理に含めたり含めなかったりするとの注釈が入っており,いろいろと謎が残ります。

憶測ですが,後世の人が写本を作る際に必要と思って付け加えようとしたのだけれど,神聖な5つの公準はいじることが出来ずに仕方なく公理の最後にくっつけたのかもしれません。

ユークリッド幾何のスーパースター「平行線の公理」

今回の話の本題ではないですが,第5公準に触れないわけにはいかないでしょう。

第5公準 1本の線分が2本の線分と交わり, 同じ側の内部に作る角の和が2直角より小さいとき, これら2本の線分を延長すると, 角の和が二直角より小さい側で交わる f:id:egory_cat:20181125093449p:plain

この第5公準は「与えられた直線外の1点を通り,この直線に平行な直線がただ1本存在する」「三角形の内角の和が2直角(180°)」とも言い換えられることが知られています。

多くの数学者が第5公準を第1~第4公準を使って証明できないかと挑戦してきました。そして双曲幾何の発見により,第5公準を第1~第4公準から証明できないことが分かることになるのですが,その答えを知った後にこの「第5公準を証明せよ」という問題を見直してみると,この問題は二重の意味で「解くのが不可能な問題」であることが分かります。

という2つの大きな壁が問題解決の前に立ちふさがっていたのです。

これは「幾何学といえばユークリッド幾何」が常識の時代に気付くことは不可能と言ってもいいでしょう。まさに数学者の人生を食いつぶす「悪魔の問題」です。

第5公準の独立性は,問題が解決された今日でも初学者はなかなか簡単に理解できるものではないと思います。それは双曲幾何のモデルをちゃんと理解するのが難しいからです。

そこで,ここでは第1公準の独立性について話をしましょう。第5公準の独立性を理解するときの練習にもなると思います。

球面幾何

ユークリッド幾何とは異なる公準を持つ幾何を非ユークリッド幾何と呼びます。双曲幾何も非ユークリッド幾何のひとつです。

ここではユークリッド幾何のひとつである球面幾何をいうものを紹介します。

図形を球面上で考える幾何学球面幾何といいます。

球面上の点を「点」,球面に沿って2点を結ぶ最短の曲線を「線分」,球面上のある点から一定の距離にある点の集まりを「円」,2つの線分のなすの「角度」は線分の接線のなす角度と解釈します。

すると,「線分」は大円(球の中心を通る平面と球面との交わりでできる円)の一部になり,「」は通常の意味での円と同じ図形になります。
f:id:egory_cat:20181127133940p:plain:w200
「線分」をずっと延長したものが「直線」なので,大円が球面上の「直線」に当たります。なので,球面幾何では直線は特殊な円ということになります(ユークリッド幾何の直線も「半径が無限大の円」と解釈できなくもないですが)。

なぜ大円が球面上の「直線」となるのか,(ごまかした)説明をしてみます。

まず直感的に説明すると,大円は球面に描ける一番曲がりが“緩い”曲線です。つまり,球面上の曲線の中で一番普通の意味での直線っぽいものなので,点同士を最短に結ぶ曲線は大円の一部にります。

まあそんな気もするけどちょっと納得しづらいですかね?それでは“物理的に”説明してみましょう(もちろんごまかしの説明です)。

球面にへばりついて生活している「球面人」を考えてみましょう。球面人にとっては自分が住んでいる球面だけが世界の全てで,実は外の世界があって自分は球面に束縛されているだけである事を感じることが出来ないとします。さて,球面人がツルツルのソリに乗って大円上を一定の速度で滑っているとしましょう。外の世界にいる我々から見ると,球面人のソリは等速円運動をしているわけですから,大きさが一定で球の中心に向う向心力が作用している運動をしているように見えます。この向心力は,ソリを球面上に束縛するための力です。球面人は自分は球面に束縛されていることを感じられないので,この向心力を感じることが出来ません。つまり,球面人は自分には何の力もかかっていないと感じていることになります。物理には慣性の法則「外力が働かなければ,物体は静止または等速直線運動を永遠に続ける」というものがありました。球面人の世界でも慣性の法則が成り立つとすると,大円が「球面人にとっての直線」であるという結論になります。

球面幾何と5つの公準

これから球面幾何で第1公準~第5公準が成り立つか見てみましょう。

このときに注意するのが「書いてある通りに解釈する」ということです。公理系というのは厳密な論理のルールなので,書いてもいない内容を勝手に想像して読み込んでいたら,一体何が前提なのか分からなくなってしまいます。言われたことをそのままの意味にしか取れないカタブツAIロボになった気持ちで球面幾何で第1公準~第5公準が成り立つかをチェックしていきましょう。

球面幾何と第1公準

まずは第1公準からです。

第1公準 与えられた2点を結ぶ線分を1本だけ引くことができる

球面幾何では第1公準は成り立ちません。北極と南極を結ぶ「線分」が1本だけでなく,無数に存在するからです。
f:id:egory_cat:20181129141159p:plain:w200
しかし,「2点を結ぶ線分が存在する」という命題は成り立ちます。成り立っていないのは,2点を結ぶ線分の一意性の部分だけです。こうしてみると,追加された「1本だけ」という条件がいかに大事かが分かります。

球面幾何と第2公準

第2公準について見てみましょう。

第2公準 与えられた線分を延長することができる

球面幾何での「直線」である大円は長さが有限で,ずっと延長していくと元の点に戻ってきてしまい,第2公準が成り立つとしていいか迷うかもしれません。また,球面幾何では線分を延長していくと線分でなくなってしまいます。
f:id:egory_cat:20181130192528p:plain:w200
南極 S から伸びる線分 SP の端点 P を動かして線分を延長していくと,P が北極 N に到達するまでは円弧 SP は球面上の線分ですが,北極 N を通り過ぎると円弧 SP は球面上の線分でなくなってしまいます(逆方向から繋いだ方が最短路)。

しかし,単に「線分を延長する」という操作はできているように見えます。

正直「延長することができる」の言葉の解釈の問題のような気もしますが*1「線分を延長して元の点に戻って来てはいけない」「線分を延長した結果も線分である」とはどこにも書いていないので(カタブツAIロボの精神)この記事では 球面幾何では第2公準は成り立っている と解釈することにします*2

球面幾何と第3公準

第3公準について見てみましょう。

第3公準 与えられた点と半径で円を描くことができる

球面上の円には大きさの上限があります。つまり,あまりにも大きな半径を指定すると,その半径を持つ円を描くことができないので,球面幾何では第3公準は成り立たないと思ってしまうかもしれません。

しかし,この考え方は「半径」の定義を誤解しています。もしくは第3公準が成り立つかは「半径」の定義によると言ってもいいでしょう。ではどの定義を採用するかというと,ユークリッド原論の定義を採用するのが一番フェアでしょう。

ユークリッド原論の円の定義を引用してみましょう。定義の15番目が円の定義で,17番目が直径の定義です。
pisan-dub.jp

円とは周と呼ばれる一つの線の境界で囲まれた平面図形であって、その中にある一つの点から円周上の点に引かれた直線の長さがすべて等しいようなものである。
(中略)
直径とは、円の中心を通り、円周上に両端をもつ直線であり、それによって円は二分される。

ここでいう「直線」とは,現代でいう「線分」のことです。半径は直径の半分のことなので,この定義によれば「半径」の定義は「現代的な意味での実数」ではなくて「線分」であることが分かります。実際に原論の証明の中でも,円を描くときは中心と円が通る点を指定しています。

そもそもユークリッド原論では,長さ・角度・面積を数値で表して比較するということを一切しません 。というより,線分や三角形などの「図形」と長さや面積などの「量」を分けて考えるという思想がそもそも無いようです。

ロマンティック数学ナイトで日曜数学会キグロ氏が原論の魅力を語る - ログミーBiz

球面幾何で第3公準が成り立つかは,球面上のある点とそこから伸びる線分があったとき,その点を中心とし,その線分を半径とする円を描けるかどうか判定すればいいことになります。球面上ではそのような円は描くことができます。第3公準は球面幾何で成り立ちます

球面幾何と第4公準

第4公準について見てみましょう。

第4公準 すべての直角は等しい

球面幾何では第4公準は成り立ちます。直角とは直線をその直線上の点で真っ二つに分けたもののことです。どの直角も↓と同じ形です。
f:id:egory_cat:20181127133946p:plain:w200
疑いの余地なし!ありがとう第4公準

球面幾何と第5公準

最後はスーパースター第5公準です。

球面上の「直線」は大円でしたが,球面上のどんな2つの大円も交わることはすぐに分かります。つまり,球面幾何には「平行線」というものは存在しません。
f:id:egory_cat:20181129141159p:plain:w200
平行線の公理こと第5公準は「与えられた直線外の1点を通り,この直線に平行な直線がただ1本存在する」と言い換えられたので,平行線が存在しない球面幾何では第5公準は成立しない,としてしましそうですが,ここに大きな落とし穴があります。

「第5公準は『与えられた直線外の1点を通り,この直線に平行な直線がただ1本存在する』と言い換えられる」というのには大事な前提が抜けていて,正確に言うと「第1~第4公準が成立するという仮定のもとで,第5公準は『与えられた直線外の1点を通り,この直線に平行な直線がただ1本存在する』と言い換えられる」となります。球面幾何では第1公準が成り立たないので,実はこの言い換えはできません。

オリジナルの第5公準を見てみましょう。

第5公準 1本の線分が2本の線分と交わり, 同じ側の内部に作る角の和が2直角より小さいとき, これら2本の線分を延長すると, 角の和が二直角より小さい側で交わる

第5公準は,ある条件のもとで延長した2本の線分が交わることを主張する命題です。球面幾何では何の条件もなしに,線分を延長する方向に関わらず,どんな2本の線分も延長すると交わるので球面幾何では第5公準は成り立っているのです(命題「PならばQ」はQが真ならばPの真偽に関わらず真です)。

第1公準の独立性

以上より(この記事の解釈では)球面幾何では第1公準だけ成り立たず,第2~第5公準は成り立つことが分かりました。
f:id:egory_cat:20181201010353p:plain:w600

この事から,第1公準は第2~第5公準から独立している(証明も反証もできない)ことが分かります。

第2~第5公準から第1公準が証明できると仮定すると,球面幾何では第2~第5公準が成り立っているので,球面幾何でも第1公準が成り立つことになりますが,実際には球面幾何では第1公準は成り立っていないので矛盾です。よって第2~第5公準から第1公準は証明できません。

また,第2~第5公準から「第1公準の否定」が証明できると仮定すると,ユークリッド幾何では第2~第5公準が成り立っているので,ユークリッド幾何でも「第1公準の否定」が成り立つことになりますが,実際にはユークリッド幾何では第1公準が成り立っているので矛盾です。よって第2~第5公準から「第1公準の否定」は証明できません。

つまり,第1公準は第2~第5公準から独立しています。

第1公準の独立性を教えてくれるのが5つの公準のうち第1公準だけを満たさない球面幾何でした。第5公準の独立性を証明したければ,5つの公準のうち第5公準だけを満たさない「幾何」を見つければいいことになります。それが今日では双曲幾何と呼ばれているものです。

三角形の内角の和

せっかく球面幾何を出したので,三角形の内角の和についても見てみましょう。

ユークリッド幾何では三角形の内角の和は2直角(180°)でした。原論では32番目の命題として証明されています。
f:id:egory_cat:20181129162218p:plain:w400
三角形ABCが与えられたとき,図のようにBCを延長し,ABに平行なCEを引きます。平行線に交わった直線の錯角・同位角がそれぞれ等しいので三角形の内角を1直線上に集めることができ,三角形の内角の和が180°になることが証明されます。

一方で球面幾何では,三角形の内角の和は180°より大きくなります。例えば,どの角も直角であるような三角形が存在します。
f:id:egory_cat:20181129161128p:plain:w400
つまり,先ほどのユークリッド幾何における「三角形の内角の和は2直角(180°)」の証明をそのまま球面幾何も当てはめると。どこかで破綻することになります。どこで破綻しているか分かるでしょうか?

まず気付くのは球面幾何には平行線が存在しないのに,証明では平行線を引いているところですね。なのでこの証明は球面幾何では使えません。

サッケーリ・ルジャンドルの定理

ここからさらに三角形の内角の和の深い話に入りましょう。実は,第1公準~第4公準だけを使って「三角形の内角の和は2直角(180°)以下」であることが証明できます。この定理はサッケーリ・ルジャンドルの定理と呼ばれるものです。双曲幾何も第1公準~第4公準を満たすので,「三角形の内角の和は2直角(180°)以下」は双曲幾何でも成り立つことになります。

球面幾何ではサッケーリ・ルジャンドルの定理は成立しないので,やはりその証明は球面幾何では破綻することになります。その原因は球面幾何では第1公準が成り立たないことです。

逆に言うと,サッケーリ・ルジャンドルの定理には第1公準が本質的な役割を果たしているということになります。このことを見ていきましょう。

サッケーリ・ルジャンドルの定理の証明

サッケーリ・ルジャンドルの定理
第1公準~第4公準だけを使い,三角形の内角の和は2直角以下であることが証明できる。

サッケーリ・ルジャンドルの定理は原論の命題17を使って証明されます。また,命題17は命題16を使って証明されます。まずは命題16・17の証明をします(命題16は命題17の証明に必要な部分だけ証明します)。

命題16 三角形の外角はその隣り合わない内角よりも大きい。
命題17 三角形の内角2つの和は2直角より小さい。

(証明)
f:id:egory_cat:20181129170322p:plain:w400
\triangle ABCが与えられたとき,図のようにBCを延長し(第2公準),AC の中点 E を取り(命題10),BE を結んだ線分(第1公準)を延長してBE=EFとなる点Fを取り(第2公準),線分FCを引く(第1公準)。対頂角は等しいので\angle AEB=\angle CEF命題15)。よって,\triangle ABE\triangle CFE は2辺とそのはさむ角がそれぞれ等しいので合同となり,特に \angle A=\angle ECF命題4)。よって外角  \angle ACD は内角 \angle A より大きい。これで命題16(の半分。隣り合わない内角はもう一個あるから。)は示された。

また,\triangle ABC において  \angle A+\angle ACB は,2直角よりも  \angle FCD だけ小さいので,命題17も示された。
(証明終)

命題16の証明には命題10や命題15を使っていますが,実はユークリッド原論では命題1~命題28は第5公準を一切使わずに証明されています。つまり命題17も第1公準~第4公準だけを使い証明でされていることになります。

命題10や15の証明は下記サイトで読むことができます。
ユークリッド原論 総目次

キグロさんのブログもおすすめです。
stoixeia.hatenablog.com

ちなみに,ここで証明した命題17は第5公準の逆になっています。
f:id:egory_cat:20181129112618p:plain:w400
図で「  \alpha+\beta<180^\circ ならば  \ell_1, \ell_2 が交わる」と主張するのが第5公準です。逆に  \ell_1, \ell_2 が交わるとすると,  \ell_1, \ell_2,\ell が三角形をなすので, 命題17は「  \ell_1, \ell_2 が交わるならば \alpha+\beta<180^\circ 」という第5公準の逆を主張していることになります。

サッケーリ・ルジャンドルの定理を証明しましょう。

サッケーリ・ルジャンドルの定理
第1公準~第4公準だけを使い,三角形の内角の和は2直角以下であることが証明できる。

(証明)
背理法で証明する。内角の和が2直角より \delta>0 だけ大きい\triangle ABC が存在したと仮定する。もし, \angle B\ge \delta のとき,命題16と同様の作図をする。
f:id:egory_cat:20181129172554p:plain:w400
 \triangle FBC は内角の和が  \triangle ABC と等しい(どちらも+++)。また, \angle FBC  \angle BFC は足すと \triangle ABC の内角  \angle B と等しいので,どちらかは  \angle B の半分より小さい。

そこで, \angle FBC  \angle BFC の小さい方を新たな  \angle B として, \triangle FBC を新たな  \triangle ABC とする。

以下同じ操作を繰り返すと, \triangle ABC の内角の和は変わらず,\angle B の大きさは1回ごとに半分以下になっていく。よって有限回の操作で  \triangle ABC の内角の和は2直角より \delta>0 だけ大きく, \angle B<\delta という2つの性質を満たす \triangle ABC に到達する*3。このとき, \angle A+\angle C は2直角より大きくなるが,これは命題17に矛盾する。

よって,背理法により,三角形の内角の和が2直角を超える三角形は存在しないことが証明された。
(証明終)

サッケーリ・ルジャンドルの定理の証明はなぜ球面幾何で破綻するのか

球面幾何では三角形の内角の和が2直角を超えるので,サッケーリ・ルジャンドルの定理の証明をそのまま当てはめようとするとどこかで破綻します。

球面幾何で成り立たないのは第1公準の中でも,2点を結ぶ線分の一意性の部分だけなので,この一意性を使わないと証明がうまくいかない部分があるはずです。

それはどこでしょうか?



実は球面幾何では,命題16の時点で証明が破綻していることが分かります。先ほどのすべての角が直角の三角形を見てみましょう。

f:id:egory_cat:20181127133953p:plain:w250

このとき,外角とその隣り合わない内角はどちらも直角で等しくなってしまっています。命題16は「三角形の外角はその隣り合わない内角よりも大きい」ことを主張していたので,球面幾何では命題16は成り立ちません。

では,このすべての角が直角の三角形に対して,命題16の証明はなぜうまくいかないのでしょうか?

命題16と全く同じ作図をこの三角形にしてみましょう。線分 AC の中点 E を取り,線分  BE を延長して  BE=EF となる地点に点  F を取ります。

f:id:egory_cat:20181129175920p:plain:w300

すると点 F が線分  BC を延長した直線上に来てしまいます。\triangle ABE\triangle CFE が合同で \angle A=\angle ECF というのは正しいのですが,\angle ECF が外角の一部ではなく外角全体になってしまい,外角より真に小さいという事が成り立たなくなってしまっています*4

つまり命題16の証明で点 F を取るときに,

第1公準により2点を結ぶ線分は一意なので,線分 BE を延長しても BC を延長した直線と交わらない

というところに第1公準の2点を結ぶ線分の一意性が効いているのです*5

命題16の証明を読んだときに,おそらくこのことを意識することはなかったと思います。

このように非ユークリッド幾何を考えることで,ユークリッド幾何の証明において各公準がどのような働きをしているか,より深く理解できるようにもなるのです。

おしまい。


明日は grand_antiprism さんの Asgeirsson's Mean Value Theorem の話です。
grandantiprism.hatenablog.com

*1:実際,ネットで調べた範囲でも球面幾何で第2公準が成り立つかは記事によってまちまちで,日本語版Wikipedia楕円幾何学の項では球面幾何は楕円幾何の一部で楕円幾何では第2公準は「成り立たない」と言っているし,英語版WikipediaSpherical geometryでは「成り立つ」と言っています。実射影平面が標準的なモデルになるものが楕円幾何としている記事もあって,球面幾何が楕円幾何の一部かどうかも楕円幾何の定義によるようです。

*2:ただ,第2公準が「線分を延長しても元の点に戻ってこない」「線分を延長したものも線分になる」という内容を含んでいないとすると,気なる問題があることは確かです。それはこれらの命題がユークリッド幾何で成り立つことを保証しているものは何かという問題です。個人的にはこれは第2公準単独の問題にせずに,第1公準と,さらにヒルベルトが著書『幾何学基礎論』で導入した「順序の公理」を含めた議論にした方がいいと思います。長くなるのでこのことは別記事にしたいと思います。いまいち納得のできない方は,とりあえず「球面幾何で第2公準が成り立つという解釈もあるかなぁ」くらいで続きを読んでください。

*3:ここでアルキメデスの原理というものを使っています。ユークリッド原論ではアルキメデスの原理は当たり前のものとして扱われているようです。

*4:一方で BC を延長するところと,BE を延長した線上に点 F を取るところで,第2公準「与えられた線分を延長することができる」はちゃんと球面上でも働いているように見えます。

*5:追記:日曜数学会の数学忘年会のニコ生タイムシフトを見て知ったのですが,このことはキグロさんの記事の追記にある通り,『エウクレイデス全集』 斎藤憲・三浦伸夫/訳・解説 東京大学出版会で指摘されているようです。

グレブナー基底の力技で既約性判定

今日はネットで見かけた次の問題をグレブナー基底を使って力技で解いてみます。

 (x^2+y^2-1)^3-x^2y^3\in\mathbb{R}[x,y]  \mathbb{R}[x,y] の元として既約である。
www1.ezbbs.net

ちなみに   (x^2+y^2-1)^3-x^2y^3=0 のグラフを描くと♡になります。

f:id:egory_cat:20181118094547p:plain

今回採用するのは因数分解の可能性を未定係数法でしらみつぶしに調べるというエレガントな解答からは程遠い方法ですが,グレブナー基底をコンピュータで計算していいなら意外とあっさり解くことができます。

イニシャル部分

多項式 f(x,y) の全次数が最高な単項式を拾って来たものをイニシャル部分と呼び \mathrm{in}(f) と書くことにします。

例えば\begin{align}\mathrm{in}(x^3+2xy^2+xy+x+1)=x^3+2xy^2\end{align}です(全次数が3の部分)。

多項式 f(x,y) が \begin{align}f(x,y)=g(x,y)\times h(x,y)\end{align} と因数分解できたとすると,\begin{align}\mathrm{in}(f)=\mathrm{in}(g)\times \mathrm{in}(h)\end{align} が成り立ちます。

\mathrm{in}(f) が既約だった場合,\mathrm{in}(g)\mathrm{in}(h) のいずれかが定数になるので,gh のいずれかが定数になります。よって \mathrm{in}(f) が既約ならば f(x,y) も既約であることが分かります。

例えば  f(x,y)=x^2+2y^2+y+2x+3 とすると  \mathrm{in}(f)=x^2+2y^2\mathbb{R}[x,y] で既約なので,  f(x,y)\mathbb{R}[x,y] で既約であることが分かります。

 (x^2+y^2-1)^3-x^2y^3 の既約性

未定係数法

 f(x,y)=(x^2+y^2-1)^3-x^2y^3 とすると  \mathrm{in}(f)=(x^2+y^2)^3 となります。これは既約でないので,この時点では  f(x,y) が既約かどうかわかりません。

さて,\begin{align}f(x,y)=g(x,y)\times h(x,y)\end{align}と定数でない  g(x,y),~h(x,y)\in \mathbb{R}[x,y] の積に因数分解できたと仮定しましょう。

 \mathrm{in}(g),~\mathrm{in}(h) は定数でなく,積が  \mathrm{in}(f)=(x^2+y^2)^3 になるので,あり得る可能性は定数倍と順番を除いて\begin{align}\mathrm{in}(g) =x^2+y^2,~~~\mathrm{in}(h)=(x^2+y^2)^2\end{align}しかありません。

実際にこれらをイニシャルに持つ  g,~h が存在するか未定係数法で確かめてみましょう。
\begin{align}
h(x,y)&=x^2+y^2+a_1x+a_2y+a_3\\
g(x,y)&=(x^2+y^2)^2+b_1y^3+b_2xy^2+b_3x^2y+b_4x^3+b_5y^2+b_6xy+b_7x^2+b_8x+b_9y+b_{10}
\end{align}とおいて  h(x,y)\times g(x,y)-f(x,y) に現れる係数を全て列挙すると\begin{align}\small (*)
\begin{array}{l}
a_1+b_4, a_2+b_3, 2a_1+b_2+b_4, 2a_2+b_1+b_3+1, a_1+b_2, a_2+b_1, b_4a_1+a_3+b_7+3, \\
b_3a_1+b_4a_2+b_6, b_2a_1+b_3a_2+2a_3+b_5+b_7+6, b_1a_1+b_2a_2+b_6, b_1a_2+a_3+b_5+3, \\
b_7a_1+b_4a_3+b_8, b_6a_1+b_7a_2+b_3a_3+b_9, b_5a_1+b_6a_2+b_2a_3+b_8, b_5a_2+b_1a_3+b_9, \\
b_8a_1+b_7a_3+b_{10}-3, b_9a_1+b_8a_2+b_6a_3, b_9a_2+b_5a_3+b_{10}-3, b_{10}a_1+b_8a_3, b_{10}a_2+b_9a_3
\end{array}
\end{align}となります。つまりこれらが全て同時に 0 となるような  a_i,~b_j\in\mathbb{R} が存在するなら  h(x,y)\times g(x,y)=f(x,y) となるような a_i,~b_j\in\mathbb{R} が存在する事になって f(x,y) は可約,存在しないなら既約ということになります。これを手計算で確認するのはちょっと嫌ですよね。そこで登場するのがグレブナー基底です。

グレブナー基底

グレブナー基底は,とあるいい性質を持ったイデアルの生成系です。

グレブナー基底 - Wikipedia

詳しい定義や計算方法を知っていなくても以下の事実さえおさえていれば,とりあえずは大丈夫です。グレブナー基底はコンピュータが計算してくれます。

多項式の集合  \{p_1(x), \dots, p_n(x)\}\subset k[x_1,\dots,x_d] の生成するイデアルグレブナー基底 \{q_1(x),\dots, q_m(x)\}\subset k[x_1,\dots,x_d] だったとすると,方程式系 \begin{align}p_1(x)=p_2=\dots=p_n(x)=0\end{align}と方程式系 \begin{align}q_1(x)=q_2(x)=\dots=q_m(x)=0\end{align}の解の集合は一致する。

とくに  \{p_1(x), \dots, p_n(x)\}\subset k[x_1,\dots,x_d] の生成するイデアルグレブナー基底 \{1\} となるとき,方程式  1=0 には解が存在しないので,方程式系 \begin{align}p_1(x)=p_2=\dots=p_n(x)=0\end{align}の解も存在しません。

既約性の証明

というわけで,  h(x,y)\times g(x,y)-f(x,y) に現れる係数を全て集めた  (*) が同時に全て  0 になるかは,グレブナー基底を使ってテストすることができます。(*) が生成するイデアルグレブナー基底を計算してみましょう。

sagecell.sagemath.org

S.<a_1,a_2,a_3,b_1,b_2,b_3,b_4,b_5,b_6,b_7,b_8,b_9,b_10> = PolynomialRing(QQ, 13, order='degrevlex')
J=ideal([a_1+b_4,a_2+b_3,2*a_1+b_2+b_4,2*a_2+b_1+b_3+1,a_1+b_2,a_2+b_1,b_4*a_1+a_3+b_7+3,b_3*a_1+b_4*a_2+b_6,b_2*a_1+b_3*a_2+2*a_3+b_5+b_7+6,b_1*a_1+b_2*a_2+b_6,b_1*a_2+a_3+b_5+3,b_7*a_1+b_4*a_3+b_8,b_6*a_1+b_7*a_2+b_3*a_3+b_9,b_5*a_1+b_6*a_2+b_2*a_3+b_8,b_5*a_2+b_1*a_3+b_9,b_8*a_1+b_7*a_3+b_10-3,b_9*a_1+b_8*a_2+b_6*a_3,b_9*a_2+b_5*a_3+b_10-3,b_10*a_1+b_8*a_3,b_10*a_2+b_9*a_3,b_10*a_3+1])
Gb=J.groebner_basis()
Gb

結果は次のようになります。

[1]

出力されたグレブナー基底 \{1\} です。つまり,  h(x,y)\times g(x,y)-f(x,y) の係数が同時に全て  0 になるような  a_i,b_j はありません。よって\begin{align}f(x,y)=(x^2+y^2-1)^3-x^2y^3\end{align}は  \mathbb{R}[x,y]因数分解することはできず,既約であることが分かります。