オイラー線のソースを表示

{{出典の明記|date=2016年10月}}
[[ファイル:Triangle.EulerLine.svg|thumb|right|300px|オイラー線(赤い線)は、[[重心]](橙色の丸)、[[垂心]](青丸)、[[外心]](緑丸)、[[九点円]]の中心(赤丸)を通る直線である。九点円は各辺の中点（3個の黒丸）、各頂点から対辺に下した垂線の足（3個の黒丸）、各頂点と垂心との中点（3個）を通る。]]
'''オイラー線'''（オイラーせん、{{Lang-en-short|Euler line}} ）は、[[三角形]]の[[外心]]・[[重心]]・[[垂心]]を通る[[直線]]であり、その名称は存在を見出した数学者[[レオンハルト・オイラー]]に由来している<ref>{{Citation
 | last = Euler
 | first = Leonhard
 | authorlink = レオンハルト・オイラー
 | title = Solutio facilis problematum quorundam geometricorum difficillimorum（いくつかの幾何学の難問に関する簡単な解法）
 | journal = Novi Commentarii Academiae Scientarum Imperialis Petropolitanae
 | volume = 11
 | year = 1767
 | pages = 103–123
 | url = {{Google books|e1Y-AAAAcAAJ|page=103|plainurl=yes}}
 | id = {{PDFlink|[http://www.math.dartmouth.edu/~euler/docs/translations/enestrom/Enestrom_Index.pdf Eneström Index E325]}}。注釈：『オイラー全集』（''Opera Omnia'', ser. I, vol. XXVI, pp.&nbsp;139–157, Societas Scientiarum Naturalium Helveticae, Lausanne, 1953, {{MR|0061061}}）に再録。要約と本文の画像が [https://scholarlycommons.pacific.edu/euler-works/325/ オイラーアーカイブ E325] にある。}}</ref>。オイラー線は[[正三角形]]以外の全ての三角形に対して定義できる。三角形におけるオイラー線の概念は、[[四角形]]や[[三角錐]]などの図形にも拡張されている。

== 概要 ==
[[Image:Triangle.EulerLine.png|オイラー線（赤い線）]]

上の図の三角形において、
* 青の線の交点が垂心 H
* 橙色の線の交点が重心 G
* 緑の線の交点が外心 O
* 二点 O, H の中点が九点円の中心
これらの点を通る赤い線がオイラー線である。
重心 G は線分 OH を 1 ： 2 の比率に内分する。
すなわち、外心 O ・重心 G ・垂心 H の間には常に、<math>\overrightarrow{\mathrm{OH}} = 3\overrightarrow{\mathrm{OG}}</math> の関係が成り立っている。

== 直線の存在の証明 ==
この3点が同一直線上にあることを証明する方法を何通りか挙げる。

;解析的方法
:三角形を[[直交座標系|座標平面]]上に置き、3点の座標を求めて同一直線上にあることを示す。

;幾何学的方法
:外心と垂心を結ぶ線と[[中線]]の交点が重心であることを示す。
:三角形を重心を中心として180度回転させ、2倍に拡大したとき、外心の移動先が元の三角形の垂心であることを示す<ref>{{Cite web|和書|date=2016-10-03 |url=http://www.s-soarer.jp/?%E6%95%99%E6%9D%90%E3%82%A2%E3%83%BC%E3%82%AB%E3%82%A4%E3%83%96%E3%82%B9/%E7%AE%97%E6%95%B0%E3%83%BB%E6%95%B0%E5%AD%A6/%E5%95%8F%E9%A1%8C/%E5%B9%BE%E4%BD%95/%E4%B8%89%E8%A7%92%E5%BD%A2/5%E5%BF%83001/%E8%A7%A3%E7%AD%94%E4%BE%8B |title=三角形の垂心と外心、重心が1直線上にあることを示せ。|publisher=学習塾 ソアラ|archiveurl=https://web.archive.org/web/20200719075505/http://www.s-soarer.jp/?%E6%95%99%E6%9D%90%E3%82%A2%E3%83%BC%E3%82%AB%E3%82%A4%E3%83%96%E3%82%B9%2F%E7%AE%97%E6%95%B0%E3%83%BB%E6%95%B0%E5%AD%A6%2F%E5%95%8F%E9%A1%8C%2F%E5%B9%BE%E4%BD%95%2F%E4%B8%89%E8%A7%92%E5%BD%A2%2F5%E5%BF%83001%2F%E8%A7%A3%E7%AD%94%E4%BE%8B |archivedate=2020-07-19 |accessdate=2020-07-19}}</ref>。

;ベクトルを使用する方法
:<math>\overrightarrow{\mathrm{AH}} = \overrightarrow{\mathrm{OB}} + \overrightarrow{\mathrm{OC}}, \overrightarrow{\mathrm{OG}} = \frac{\overrightarrow{\mathrm{OA}} + \overrightarrow{\mathrm{OB}} + \overrightarrow{\mathrm{OC}}}{3}</math> 等を利用する。

;三線座標・重心座標を用いる方法
:外心・重心・垂心を上記の座標で表し、その[[行列式]]が 0 になることを示す。

== 線上の特殊な点 ==
オイラー線上にある外心・重心・垂心以外の重要な点をいくつか挙げる。

;[[九点円]]の中心
:三角形において、
:*3辺の[[中点]]
:*3つの頂点から対辺に下ろした垂線の足
:*垂心と頂点との中点
:これら9点を通る[[円 (数学)|円]]を'''九点円'''と呼ぶ。この円の中心は外心と垂心の中点に当たる。
;[[ド・ロンシャン点]]
:外心に対して垂心と対称的な位置にある点を'''ド・ロンシャン点'''という。この点を ''L'' とおくと、
::'''AL'''<sup>2</sup> - '''BC'''<sup>2</sup> = '''BL'''<sup>2</sup> - '''CA'''<sup>2</sup> = '''CL'''<sup>2</sup> - '''AB'''<sup>2</sup>が成り立つ。
;[[シフラー点]]
:三角形の内心を I としたとき、3つの三角形 IAB,IBC,ICA のオイラー線は ABC のオイラー線上の1点で交わる。この点をシフラー点という。
;[[エクセター点]]
:重心の[[擬調和三角形]]と[[外接三角形]]の[[配景]]の中心である。
;オイラー無限遠点
:オイラー線方向の[[無限遠点]]である<ref>{{Cite web |title=三角形の心 |url=http://taurus.ics.nara-wu.ac.jp/wd/glossary/triangle-centers.html |website=taurus.ics.nara-wu.ac.jp |access-date=2024-07-31}}</ref>。

== 特殊な三角形のオイラー線 ==
;直角三角形
:[[直角三角形]]のオイラー線は、直角である頂点と斜辺の中点を結ぶ線となる。これは外心が斜辺の中点であることと垂心が頂点であることから容易に分かる。
;二等辺三角形
:[[二等辺三角形]]のオイラー線は、頂角の中線となる。これはこの直線が以下のすべて性質を持つため、外心・重心・垂心がこの直線上に来るからである。
:*頂角に対する中線
:*頂角から下ろした垂線
:*辺の[[垂直二等分線]]
:*頂角の[[二等分線]]
:また、4つ目の性質から、[[三角形の内接円と傍接円|内心]]も同一線上にあることが分かる。
;正三角形
:外心・重心・垂心が一致するため、オイラー線は定義できない。
;傍心三角形
:三角形の3つの傍心が作る三角形を傍心三角形と呼ぶ。この三角形のオイラー線は、元の三角形の外心（傍心三角形の九点円の中心）と内心（傍心三角形の垂心）を結ぶ直線となる。他に[[ベバン点]]（傍心三角形の外心）を通る。

== その他の性質 ==
点Pに対し、3つの三角形 PAB, PBC, PCA のオイラー線が1点で交わる条件は、「Pが[[外接円]]上か[[ノイベルグ三次曲線]]上にある」である<ref>{{MathWorld|title=Neuberg Cubic|urlname=NeubergCubic}}</ref>。これは、[[フランク・モーリー]]とその息子によって証明された。以下に主な点と簡単な証明を示す。

; 外接円上の点
: 3つの三角形は外接円を共有するためその中心である外心は同じである。
; [[垂心]]
: 3つの三角形は[[九点円]]を共有するためその中心は同じである。
; [[外心]]
: PA=PB=PC より3つの三角形は[[二等辺三角形]]であり、そのオイラー線は頂角であるPを通る。
; 内心
: 3本の線は[[シフラー点]]で交わる。証明は同項目を参照。
; [[フェルマー点]]
: 内心と同じ方針で、3つの直線が重心で交わることが分かる。

== 拡張 ==
3次元以上の[[単体 (数学)|単体]]においても重心は存在する。また、すべての頂点を通る外接球が存在するためその中心である外心も存在する。よって、この2点を通る直線が定義可能である。

[[三角錐|四面体]]におけるオイラー線は、外心・重心と[[モンジュ点]]を通る。四面体に垂心が存在する場合はモンジュ点と一致するため、これもオイラー線上にある。

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 参考文献 ==

== 関連項目 ==
{{Div col}}
*[[外心]]
*[[重心]]
*[[垂心]]
*[[レオンハルト・オイラー]]
{{Div col end}}

== 外部リンク ==
*{{kotobank|オイラー線}}
*{{高校数学の美しい物語|630|オイラー線の３通りの証明}}
*[https://examist.jp/mathematics/planar-vector/euler-line/ ベクトルとオイラー線（三角形の重心G・外心O・垂心Hの位置関係）]
*[http://sshmathgeom.private.coocan.jp/index1.html 三角形のオイラー線，９点円及びその周辺の話題]
*[https://www.geogebra.org/m/svkUfSZw オイラー線] - [[GeoGebra]]
*[https://sites.google.com/site/cinderellajapan/gao-xiao-shu-xue/tu-xing/oira オイラー線] - [[:en:Cinderella (software)|CinderellaJapan]]
*{{MathWorld|title=Euler Line|urlname=EulerLine}}

{{DEFAULTSORT:おいらあせん}}
[[Category:数学のエポニム]]
[[Category:三角形]]
[[Category:初等幾何学]]
[[Category:数学に関する記事]]
[[Category:レオンハルト・オイラー]]