横断線のソースを表示

[[幾何学]]における、'''横断線'''（おうだんせん、{{Lang-en-short|transversal}}）は、[[同一平面上にある|同一平面上]]の2つの直線と異なる点で交わる直線である。截線、断線、分截線、横截線、切断線とも訳される<ref>{{Cite book|和書 |title=初等幾何学問題集 |year=1912 |publisher=[[高岡書店]] |page=54 |author=[[根津千治]] |id={{NDLJP|911413}}}}</ref><ref>{{Cite book|和書 |title=幾何問題解法自在 |year=1890 |publisher=[[数理学館]] |page=168 |author=[[三木清二]], [[松岡文太郎]] |id={{NDLJP|828589}}}}</ref><ref>{{Cite book|和書 |title=ショヴネー氏幾何教科書 下巻 |year=1891 |publisher=[[開新堂]] |pages=129,147 |author=[[ウィリアム・ショヴネー|ショヴネー]] |translator=[[乙部兵義]] |id={{NDLJP|828565}}}}</ref><ref>{{Cite book|和書 |title=初等幾何学 第1 |publisher=桜井産作 |page=29 |author=[[ジョージ・ブルース・ハルステッド|ハルステッド]] |translator=[[脇山百松]] |id={{NDLJP|828690}}}}</ref><ref>{{Cite book|和書 |title=平面幾何学 : 初等教育 下巻 |year=1893 |publisher=[[両輪堂]] |page=222 |author=[[英国幾何学教授法改良協会]] |translator=[[原浜吉]]}}</ref><ref>{{Cite book|和書 |title=幾何学辞典 : 問題解法 訂正2版 (数学辞典叢書) |year=1907 |publisher=長沢亀之助 |page=16 |author=[[長沢亀之助]] |id={{NDLJP|1087163}}}}</ref>。横断線は、[[平面幾何学]]の中で特に[[平行]]について言及されるときに大きな役割を果たす。横断線と直線の成す角は内角（{{Lang|en|consecutive interior angles}}）、[[同位角]]（{{Lang|en|corresponding angles}}）、外角（{{Lang|en|consecutive exterior angles}}）、[[錯角]]（{{Lang|en|alternate angles}}）がある<ref>{{Cite book|和書 |title=平面幾何學 : 中等教育用 訂正, 再版 |year=1907 |publisher=[[水野書店]] |page=20 |author=[[飯島正之助]], [[三上義夫]] |id={{NDLJP|1081921}}}}</ref>。[[エウクレイデス]]（ユークリッド）の[[平行線公準]]に知られるように、2直線が平行ならば、横断線に対する2直線の同位角と錯角が等しい。<div style="margin-left:15px">
{| class="wikitable"
|[[ファイル:Transverzala_8.svg|200x200ピクセル]]
|[[ファイル:Transverzala_nonparallel.svg|200x200ピクセル]]
|[[ファイル:Transverzala_parallel.svg|200x200ピクセル]]
|-
|横断線に関する8つの[[角度]]<br /><br />内角と同位角、または外角と錯角の関係にある
<math>\alpha,\gamma</math>は[[対頂角]]で常に大きさが等しい。
|平行でない2線と横断線。<br />
内角<math>\alpha,\delta</math>は[[補角]]の関係にない。
|平行な2線と横断線。<br />
内角<math>\alpha,\delta</math>が[[補角]]の関係にある。
|}
</div>

== 横断線の成す角 ==
2つの直線と横断線は8つの[[角度|角]]を作る。

* 図の様に一方の直線と横断線が成す4つの角を<math>\alpha,\beta,\gamma,\delta</math>、もう一方の直線と横断線の成す4つの角を<math>\alpha_{1},\beta_{1},\gamma_{1},\delta_{1} </math>とする。
* 2直線の内側にある4つの角<math>\alpha,\beta,\gamma_{1},\delta_{1}</math>は直線の内部にある（Interior）。2直線の外側にある4つの角<math>\alpha_{1},\beta_{1},\gamma,\delta</math>は直線の外部にある（exterior）。

横断線と2つの平行な直線が[[直交]]する場合、この8つの角はすべて[[直角]]になり、横断線をこの平行線の'''[[垂直|perpendicular]] transversal'''という<ref>{{Cite web |url=http://www.mathopenref.com/transversal.html |title=Transversal |publisher=Math Open Reference |year=2009 |access-date=2024-7-20}} (interactive)</ref>。  

平行な2線と横断線が成す角のうち、2つの内角と外角は[[図形の合同|合同]]な[[補角]]となり、同位角と錯角は等しくなる<ref name="MathisFun">{{Cite web |url=http://www.mathsisfun.com/geometry/parallel-lines.html |title=Parallel Lines |author=Rod Pierce |publisher=MathisFun |year=2011 |access-date=2024-7-20}} (interactive)</ref><ref>{{Cite book |title=Elementary Geometry, Plane and Solid: For Use in High Schools and Academies |url=http://archive.org/details/elementarygeome00holggoog |publisher=Macmillan & co., ltd. |date=1901 |language=English |others=unknown library |last=Thomas Franklin Holgate}}</ref>。

=== 錯角 ===
[[ファイル:Paralelni_transverzala_alt.svg|右|サムネイル|250x250ピクセル|平行な2直線に対する錯角は等しい。]]
ある直線に対して、[[錯角]]は4組できる。錯角は次の様に定義される。

* [[頂点]]が異なる。
* 横断線に対して反対側にある。
* どちらも内部にあるか、どちらも外部にある。

どれか1組の錯角でも角の大きさが等しければ、そのほかの組の角の大きさも等しい。

[[原論]]の[[命題]]1.27には、{{仮リンク|絶対幾何学|en|absolute geometry}}において、錯角が等しければ二直線は平行である、という定理が証明されている。

ユークリッドの[[平行線公準]]から、2直線が平行ならば、それらの横断線に対する錯角は等しい（命題 1.29）。

=== 同位角 ===
[[ファイル:Paralelni_transverzala_cor.svg|右|サムネイル|250x250ピクセル|平行な2直線に対する同位角は等しい。]]
錯角と同様に、[[同位角]]も4組できる。同位角は次のように定義される。

* 頂点が異なる。
* 横断線に対して同じ側にある。
* 一方が外側にあって、もう一方が内側にある。

2直線が[[平行]]であることと、同位角が等しいことは[[同値]]である。

原論の命題1.28には、{{仮リンク|絶対幾何学|en|absolute geometry}}において、同位角が等しければ二直線は平行である、という定理が証明されている。

ユークリッドの平行線公準から、2直線が平行ならば、それらの横断線に対する同位角は等しい（命題 1.29）。

どれか1組の同位角でも角の大きさが等しければ、そのほかの組の同位角の大きさも等しい。

=== 内角 ===
[[ファイル:Transverzala_parallel.svg|右|サムネイル|250x250ピクセル|平行な2直線の内角の和は180°。]]
ある二つの直線に対して内角は2組できる<ref name="MathisFun" /><ref name="Oxford">{{Cite web |url=http://web.cortland.edu/matresearch/OxfordDictionaryMathematics.pdf |title=Oxford Concise Dictionary of Mathematics |author=C.Clapham, J.Nicholson |publisher=Addison-Wesley |year=2009 |page=582 |access-date=2024-7-20}}</ref>。内角は次のように定義される。

* 頂点が異なる。
* 横断線に対して同じ側にある。
* 双方が内部にある。

原論の命題1.28には、絶対幾何学において、内角が補角であれば、二直線は平行である、という定理が証明されている。

ユークリッドの平行線公準から、2直線が平行ならば、それらの横断線に対する内角は補角である（命題 1.29）。

== 横断線の他の特徴づけ ==
{{仮リンク|一般の位置|en|General position}}にある3つの直線と交わる横断線について、[[メネラウスの定理]]が成り立つ。

== 関連する定理 ==
ユークリッドの平行線公準は横断線の観点から言及することができる。横断線と2直線が成す内角が直角より小さければ、その2直線は交わる。実際、エウクレイデスは[[ギリシャ語]]で横断線と同義の語を用いた<ref name=":0">Heath, T.L. (1908). ''The thirteen books of Euclid's Elements''. Vol. 1. The University Press.</ref>。

[[ユークリッド原論]]の命題27では2直線と横断線が、[[錯角]]が[[図形の合同|合同]]になるように交わるとき、その2直線は平行であると述べている。エウクレイデスはこの定理を以下の様に[[背理法]]を用いて証明した。2つの直線が平行でないならば、2つの直線と横断線によって[[三角形]]ができる。 この時1つの錯角は、三角形の反対側の内角である他の角と等しいもう一方の外角である。 これは命題16「三角形のの外角は反対の内角より大きい」に矛盾する<ref name=":0" />。

命題28はこの定理を2通りの方法で拡張している。一つ目は横断線に対する同位角が等しい2直線は平行であるというもの、二つ目は、横断線に対する内角が補角の関係にある2直線は平行であるというものである。これらは対頂角は等しい（命題15）と、直線上のある角の、外部の角は補角となる（命題13）より従う。[[プロクロス]]によれば、平行の定義では6つの公理のうち3つのみを使っている<ref name=":0" /><span title="Pages: 309–310">。</span> 

命題29は、命題27,28の[[逆]]を証明している。つまり、平行な2直線と横断線が交わるとき、その同位角が等しく、平行でない二直線と交わるときは等しくない。これは、命題28が命題27に従うように同様に示される<ref name=":0" />。 

ユークリッドの証明は5つの[[公準]]が必要であったが、5つ目の公準は現在[[プレイフェアの公理]]を代用する場合が多い。命題29をプレイフェアの公理を用いて証明するには、平行な2直線とそうでない直線、そして横断線を使う<ref>A similar proof is given in Holgate 1901, Art. 93</ref>。 

== 高次元 ==
[[次元 (ベクトル空間)|高次元空間]]においても、2直線と異なる点で交わるような直線を横断線という。ただし、2次元とは違い、横断線が常に存在するとは限らない。

[[3次元空間]]において、{{仮リンク|レグルス (幾何学)|en|Regulus (geometry)|label=レグルス}}{{Math|''R''}}または二次線聚とは、ねじれの位置にある3つの[[直線]]と交わる直線の[[軌跡 (数学)|軌跡]]（[[集合]]）である<ref>{{Cite web |title=Regulus |url=https://mathworld.wolfram.com/Regulus.html |website=[[MathWorld]] |access-date=2024-07-20 |language=en |first=Eric W. |last=Weisstein}}</ref><ref>{{Cite book|和書 |title=近世総合幾何学 (数学叢書) |year=1907 |publisher=[[大日本図書]] |author=[[吉川実夫]] |doi=10.11501/828610}}</ref><ref>{{Cite book|和書 |title=射影幾何学 |year=1943 |publisher=[[岩波書店]] |pages=115-123 |author=細川藤右衛門 |doi=10.11501/1063403}}</ref>。この直線は3つの直線に対する横断線となる。二次線聚が作る平面、二次線織面上の直線はすべてねじれの位置にある。二次線聚{{Math|''R''}}の要素に対する横断線の二次線聚{{Math|''R''<sup>o</sup>}}は「''opposite regulus''」と呼ばれる。

== 出典 ==
<references responsive="1"></references>
==関連項目 ==
* [[Orthotransversal]] {{Enlink|Orthotransversal}}
{{デフォルトソート:おうたんせん}}
[[Category:初等幾何学]]
[[Category:数学に関する記事]]