横断線
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/09/06 15:02 UTC 版)
幾何学における横断線（おうだんせん、英: transversal）は、同一平面上の2直線と異なる点で交わる直線である。截線、断線、分截線、横截線、切断線とも訳される[1][2][3][4][5][6]。横断線は、平面幾何学の中で特に平行について言及されるときに大きな役割を果たす。横断線と直線の成す角は内角（consecutive interior angles）、同位角（corresponding angles）、外角（consecutive exterior angles）、錯角（alternate angles）がある[7]。エウクレイデス（ユークリッド）の平行線公準に知られるように、2直線が平行ならば、横断線に対する2直線の同位角と錯角が等しい。
 |
 |
 |
| 横断線に関する8つの角度 内角と同位角、または外角と錯角の関係にある。 |
平行でない2直線と横断線。 内角α, δは補角の関係にない。 |
平行な2線と横断線。 内角α, δが補角の関係にある。 |
横断線の成す角
2つの直線と横断線は8つの角を作る。
- 図の様に一方の直線と横断線が成す4つの角をα, β, γ, δ、もう一方の直線と横断線の成す4つの角をα1, β1, γ1, δ1とする。
- 2直線の内側にある4つの角α, β, γ1, δ1は直線の内部にある。2直線の外側にある4つの角α1, β1, γ, δは直線の外部にある。
横断線と2つの平行な直線が直交する場合、この8つの角はすべて直角になり、横断線をこの平行線の perpendicular transversalという[8]。
平行な2直線と横断線が成す角のうち、2つの内角と外角は合同な補角となり、同位角と錯角は等しくなる[9][10]。
錯角
ある直線に対して、錯角は4組できる。錯角は次の様に定義される。
- 頂点が異なる。
- 横断線に対して反対側にある。
- どちらも内部にあるか、どちらも外部にある。
どれか1組の錯角でも角の大きさが等しければ、そのほかの組の角の大きさも等しい。
原論の命題1.27には、絶対幾何学において、錯角が等しければ2直線は平行である、という定理が証明されている。
ユークリッドの平行線公準から、2直線が平行ならば、それらの横断線に対する錯角は等しい（命題 1.29）。
同位角
錯角と同様に、同位角も4組できる。同位角は次のように定義される。
- 頂点が異なる。
- 横断線に対して同じ側にある。
- 一方が外側にあって、もう一方が内側にある。
原論の命題1.28には、絶対幾何学において、同位角が等しければ2直線は平行である、という定理が証明されている。
ユークリッドの平行線公準から、2直線が平行ならば、それらの横断線に対する同位角は等しい（命題 1.29）。
どれか1組の同位角でも角の大きさが等しければ、そのほかの組の同位角の大きさも等しい。
内角
ある二つの直線に対して内角は2組できる[9][11]。内角は次のように定義される。
- 頂点が異なる。
- 横断線に対して同じ側にある。
- 双方が内部にある。
原論の命題1.28には、絶対幾何学において、内角が補角であれば、2直線は平行である、という定理が証明されている。
ユークリッドの平行線公準から、2直線が平行ならば、それらの横断線に対する内角は補角である（命題 1.29）。
横断線の他の特徴づけ
一般の位置にある3つの直線と交わる横断線について、メネラウスの定理が成り立つ。
関連する定理
ユークリッドの平行線公準は横断線の観点から言及することができる。横断線と2直線が成す内角が直角より小さければ、その2直線は交わる。実際、エウクレイデスはギリシャ語で横断線と同義の語を用いた[12]。
ユークリッド原論の命題27では2直線と横断線が、錯角が合同になるように交わるとき、その2直線は平行であると述べている。エウクレイデスはこの定理を次の様に背理法を用いて証明した。2つの直線が平行でないならば、2つの直線と横断線によって三角形ができる。 この時1つの錯角は、三角形の反対側の内角である他の角と等しいもう一方の外角である。 これは命題16「三角形の外角は反対の内角より大きい」に矛盾する[12]。
命題28はこの定理を2通りの方法で拡張している。1つ目は横断線に対する同位角が等しい2直線は平行であるというもの、2つ目は横断線に対する内角が補角の関係にある2直線は平行であるというものである。これらは対頂角は等しい（命題15）ことと、直線上である角の隣接する角は補角となる（命題13）ことより従う。プロクロスによれば、平行の定義では6つの公理のうち3つのみを使っている[12]。
命題29は、命題27, 28の逆を証明している。つまり、平行な2直線と横断線が交わるときその同位角は等しく、平行でない2直線と交わるときその同位角は等しくない。これは、命題28が命題27に従うように同様に示される[12]。
ユークリッドの証明は5つの公準が必要であったが、5つ目の公準は現在プレイフェアの公理を代用する場合が多い。命題29をプレイフェアの公理を用いて証明するには、平行な2直線とそうでない直線、そして横断線を使う[注釈 1]。
高次元
高次元空間においても、いくつかの直線と異なる点で交わるような直線を横断線という。ただし、2次元とは違い、3本以上の集合では横断線が常に存在するとは限らない。
3次元空間において二次線聚とは、Rの任意の直線上の点についてその点を通るRの横断線が存在し、また任意のRの横断線上の点についてその点を通るRの直線が存在する、ねじれの位置にある直線の集合Rである[13][14][15]。3本のねじれの位置にある直線の横断線の軌跡としても定義できる。二次線聚が作る面（二次線織面）上の直線はすべてねじれの位置にある。二次線聚の横断線の集合Sも二次線聚であり、 opposite regulus と呼ばれる。
脚注
注釈
- ^ 同様の証明が Holgate (1901) Art.93 で与えられている。
出典
- ^ 根津千治『初等幾何学問題集』高岡書店、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日閲覧。
- ^ a b Rod Pierce (2011年). “Parallel Lines”. MathisFun. 2024年7月20日閲覧。
- ^ Holgate, Thomas Franklin (1901) (英語). Elementary Geometry, Plane and Solid: For Use in High Schools and Academies. 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. 1. The University Press
- ^ Weisstein, Eric W. “Regulus”. mathworld.wolfram.com (英語).
- ^ 吉川実夫『近世総合幾何学 (数学叢書)』大日本図書、1907年。NDLJP:828610。
- ^ 細川藤右衛門『射影幾何学』岩波書店、1943年、115-123頁。NDLJP:1063403。
関連項目
- Orthotransversal
- Translation plane
「横断線」の例文・使い方・用例・文例
- 横断線のページへのリンク
