横断線
幾何学における、横断線（おうだんせん、英: transversal）は、同一平面上の2つの直線と異なる点で交わる直線である。截線、断線、分截線、横截線、切断線とも訳される[1][2][3][4][5][6]。横断線は、平面幾何学の中で特に平行について言及されるときに大きな役割を果たす。横断線と直線の成す角は内角（consecutive interior angles）、同位角（corresponding angles）、外角（consecutive exterior angles）、錯角（alternate angles）がある[7]。エウクレイデス（ユークリッド）の平行線公準に知られるように、2直線が平行ならば、横断線に対する2直線の同位角と錯角が等しい。
横断線の成す角
[編集]2つの直線と横断線は8つの角を作る。
- 図の様に一方の直線と横断線が成す4つの角を、もう一方の直線と横断線の成す4つの角をとする。
- 2直線の内側にある4つの角は直線の内部にある（Interior）。2直線の外側にある4つの角は直線の外部にある（exterior）。
横断線と2つの平行な直線が直交する場合、この8つの角はすべて直角になり、横断線をこの平行線のperpendicular transversalという[8]。
平行な2線と横断線が成す角のうち、2つの内角と外角は合同な補角となり、同位角と錯角は等しくなる[9][10]。
錯角
[編集]
ある直線に対して、錯角は4組できる。錯角は次の様に定義される。
- 頂点が異なる。
- 横断線に対して反対側にある。
- どちらも内部にあるか、どちらも外部にある。
どれか1組の錯角でも角の大きさが等しければ、そのほかの組の角の大きさも等しい。
原論の命題1.27には、絶対幾何学において、錯角が等しければ二直線は平行である、という定理が証明されている。
ユークリッドの平行線公準から、2直線が平行ならば、それらの横断線に対する錯角は等しい（命題 1.29）。
同位角
[編集]
錯角と同様に、同位角も4組できる。同位角は次のように定義される。
- 頂点が異なる。
- 横断線に対して同じ側にある。
- 一方が外側にあって、もう一方が内側にある。
原論の命題1.28には、絶対幾何学において、同位角が等しければ二直線は平行である、という定理が証明されている。
ユークリッドの平行線公準から、2直線が平行ならば、それらの横断線に対する同位角は等しい（命題 1.29）。
どれか1組の同位角でも角の大きさが等しければ、そのほかの組の同位角の大きさも等しい。
内角
[編集]
ある二つの直線に対して内角は2組できる[9][11]。内角は次のように定義される。
- 頂点が異なる。
- 横断線に対して同じ側にある。
- 双方が内部にある。
原論の命題1.28には、絶対幾何学において、内角が補角であれば、二直線は平行である、という定理が証明されている。
ユークリッドの平行線公準から、2直線が平行ならば、それらの横断線に対する内角は補角である（命題 1.29）。
横断線の他の特徴づけ
[編集]一般の位置にある3つの直線と交わる横断線について、メネラウスの定理が成り立つ。
関連する定理
[編集]ユークリッドの平行線公準は横断線の観点から言及することができる。横断線と2直線が成す内角が直角より小さければ、その2直線は交わる。実際、エウクレイデスはギリシャ語で横断線と同義の語を用いた[12]。
ユークリッド原論の命題27では2直線と横断線が、錯角が合同になるように交わるとき、その2直線は平行であると述べている。エウクレイデスはこの定理を以下の様に背理法を用いて証明した。2つの直線が平行でないならば、2つの直線と横断線によって三角形ができる。 この時1つの錯角は、三角形の反対側の内角である他の角と等しいもう一方の外角である。 これは命題16「三角形のの外角は反対の内角より大きい」に矛盾する[12]。
命題28はこの定理を2通りの方法で拡張している。一つ目は横断線に対する同位角が等しい2直線は平行であるというもの、二つ目は、横断線に対する内角が補角の関係にある2直線は平行であるというものである。これらは対頂角は等しい（命題15）と、直線上のある角の、外部の角は補角となる（命題13）より従う。プロクロスによれば、平行の定義では6つの公理のうち3つのみを使っている[12]。
命題29は、命題27,28の逆を証明している。つまり、平行な2直線と横断線が交わるとき、その同位角が等しく、平行でない二直線と交わるときは等しくない。これは、命題28が命題27に従うように同様に示される[12]。
ユークリッドの証明は5つの公準が必要であったが、5つ目の公準は現在プレイフェアの公理を代用する場合が多い。命題29をプレイフェアの公理を用いて証明するには、平行な2直線とそうでない直線、そして横断線を使う[13]。
高次元
[編集]高次元空間においても、2直線と異なる点で交わるような直線を横断線という。ただし、2次元とは違い、横断線が常に存在するとは限らない。
3次元空間において、レグルスRまたは二次線聚とは、ねじれの位置にある3つの直線と交わる直線の軌跡（集合）である[14][15][16]。この直線は3つの直線に対する横断線となる。二次線聚が作る平面、二次線織面上の直線はすべてねじれの位置にある。二次線聚Rの要素に対する横断線の二次線聚Roは「opposite regulus」と呼ばれる。
出典
[編集]- ^ 根津千治『初等幾何学問題集』高岡書店、1912年、54頁。NDLJP:911413。
- ^ 三木清二, 松岡文太郎『幾何問題解法自在』数理学館、1890年、168頁。NDLJP:828589。
- ^ ショヴネー 著、乙部兵義 訳『ショヴネー氏幾何教科書 下巻』開新堂、1891年、129,147頁。NDLJP:828565。
- ^ ハルステッド 著、脇山百松 訳『初等幾何学 第1』桜井産作、29頁。NDLJP:828690。
- ^ 英国幾何学教授法改良協会 著、原浜吉 訳『平面幾何学 : 初等教育 下巻』両輪堂、1893年、222頁。
- ^ 長沢亀之助『幾何学辞典 : 問題解法 訂正2版 (数学辞典叢書)』長沢亀之助、1907年、16頁。NDLJP:1087163。
- ^ 飯島正之助, 三上義夫『平面幾何學 : 中等教育用 訂正, 再版』水野書店、1907年、20頁。NDLJP:1081921。
- ^ “Transversal”. Math Open Reference (2009年). 2024年7月20日閲覧。 (interactive)
- ^ a b Rod Pierce (2011年). “Parallel Lines”. MathisFun. 2024年7月20日閲覧。 (interactive)
- ^ Thomas Franklin Holgate (1901) (English). Elementary Geometry, Plane and Solid: For Use in High Schools and Academies. unknown library. Macmillan & co., ltd.
- ^ C.Clapham, J.Nicholson (2009年). “Oxford Concise Dictionary of Mathematics”. Addison-Wesley. p. 582. 2024年7月20日閲覧。
- ^ a b c d Heath, T.L. (1908). The thirteen books of Euclid's Elements. Vol. 1. The University Press.
- ^ A similar proof is given in Holgate 1901, Art. 93
- ^ Weisstein, Eric W.. “Regulus” (英語). MathWorld. 2024年7月20日閲覧。
- ^ 吉川実夫『近世総合幾何学 (数学叢書)』大日本図書、1907年。doi:10.11501/828610。
- ^ 細川藤右衛門『射影幾何学』岩波書店、1943年、115-123頁。doi:10.11501/1063403。