ニュートン・ガウス線

幾何学において、ニュートン・ガウス線（ニュートン・ガウスせん、Newton–Gauss line, Gauss–Newton line）あるいは単にニュートン線は、Complete quadrangleの3つの対角線の中点を結ぶ直線である。
凸四角形の2つの対角線の中点を結ぶ直線であるニュートン線とは区別される。四角形の辺を延長して、完全四辺形を作れば、四角形のニュートン線は完全四辺形のニュートン・ガウス線となる。


**完全四辺形**
にある（どれも平行でないかつ共点でない）4つの直線は、Complete quadrangleを成す。このlabel=配置は4本の直線とその6つの交点から成る。この6点のうち任意の2点を端点とする線分が、もと4直線の交点以外で交わるように、6つの交点を3組に分割することができる。この3つの線分を完全四辺形の対角線という。

**ニュートン・ガウス線の存在証明**
Labels used in proof concerning complete quadrilateral
完全四辺形の対角線の中点が共線であることはとても有名な定理である。証明方法も多く存在しており、例えば面積や楔積、ガウス・ボーデンミラーの定理を用いるものなどがある。ここでは、1920年のHillyerによるメネラウスの定理を用いた証明を紹介する。
対角線がであるような完全四辺形ABCA'B'C'について、線分の中点をそれぞれL, M, N, P, Q, Rとする。明らかにL, Q, Rは共線である。同様にM, R, PとN, P, Qも共線であるから、三角形の相似より次の関係式が成立する。
 
ただし、直線A’B'C と△ABC' にメネラウスの定理を用いて、3つの式の右辺の積は-1となる。したがって左辺の積は-1となるから、△PQRにメネラウスの定理の逆を使用して、点 L, M, Nは共線である。

**円に内接する四角形への応用**
BarbuとPatrascuによる、円に内接する四角形から作られる完全四辺形のニュートン・ガウス線を用いた定理を挙げる。

**等しい角**
図1: 角の等価性。
円に外接する四角形ABCDの対角線の交点をF、対辺の交点をE、 の中点をN、の中点をMとする（図1）。

**定理**
の中点をPとすれば、完全四辺形ABCDEFのニュートン・ガウス線と直線PMによって決定される角∠PMNは∠EFDと等しい。

**= 証明 =**
三角形 △NPM, △EDFの相似を示す。
とFC ∥ PMから1=∠NPM = ∠EACが分かる。また、である。
円に外接する四角形の性質より、
 
したがって1=∠NPM = ∠EDF。
を△EDB, △FCDの外接円の半径として、正弦定理を使用することにより、
 
と より。△PMN, △DFEの相似から1=∠NMP = ∠EFD。

**= 備考 =**
の中点をQとすれば、同様にして1=∠NMQ = ∠EFAが成立する。
図2:等角共役線。

**等角共役線**

**定理**
完全四辺形ABCDEFのニュートン・ガウス線のEを通る平行線は、∠BECにおける直線EFの等角共役線である。

**= 証明 =**
三角形△EDF, △NPM は相似であるから、1=∠DEF = ∠PNMである。完全四辺形ABCDEFのニュートン・ガウス線NMのEを通る平行線とBCの交点をE'とする。
と NM ∥ EE' より、1=∠BEF = ∠PNF,  1=∠FNM = ∠E'EF。
したがって、
 

**ニュートン・ガウス線を共有する2つの共円四角形**
ファイル:Newton-Gauss_Line_Subtext_3.1.png|サムネイル|図3:四角形MPGN, MQHN は円に内接する。

**補題**
とHを、点Fのそれぞれ直線AB,CDにおける直交射影とする。
四角形MPGN, MQHNは円に内接する。

**= 証明 =**
前項で示したように、1=∠EFD = ∠PMN。 点PとNはそれぞれ直角三角形△BFG, △EFGの外心であるから1=∠PGF = ∠PFGと1=∠FGN = ∠GFNが成立する。
したがって、
 
よってMPGNは円に内接する。同様にして、MQHNも円に内接する。
ファイル:Newton-Gauss_Line_Figure_3_subtext_2.png|サムネイル|図4:完全四辺形EDGHIJ, ABCDEFはニュートン・ガウス線を共有する。

**定理**
の延長線は、それぞれEC, EBとI, Jで交わるとする。 
完全四辺形 EFGHIJ, ABCDEFのニュートン・ガウス線は一致する。

**= 証明 =**
2つの完全四辺形は対角線を共有する。Nは双方のニュートン・ガウス線上に位置する。四角形EGFHが円に内接することと、その円の中心がNであることより、NはG,Hとequidistantである。
が合同ならば、MはHGの垂直二等分線上に位置するから、 直線MNは線分の中点を含むみ、完全四辺形EFGHIJのニュートン・ガウス線となる。
の合同を示す。の中点がM, Pであることより、PMQFは平行四辺形である。
したがって
 
更に、
 
よって、
 
したがって、二辺夾角相等より△GMPは △HMQは合同。

**= 備考 =**
が合同であることから、 MPGN, MQHNの外接円も合同である。

**他の性質**
ニュートン・ガウス線の無限遠点の等角共役点は、完全四辺形のミケル点である。さらに、そのシムソン線は、ニュートン・ガウス線と直交する。
*5つの線から成る5つの完全四辺形のニュートン・ガウス線は共点である。

**歴史**
ニュートン・ガウス線はアイザック・ニュートンとカール・フリードリヒ・ガウスの名を冠するdate=June 2019。この定理の最初の枠組みはニュートン線における定理、ニュートンの定理であり、ニュートンは四角形に内接する円錐曲線の中心はニュートン・ガウス線上にあることを示した。 
ガウスとボーデンミラー（Bodenmiller）は、完全四辺形の対角線を直径とする3つの円は共軸であることを示した（ガウス・ボーデンミラーの定理）。

**出典**

**参考文献**
 isbn=978-0-486-46237-0
** (オンライン版) access-date=28 May 2019 "Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle". HathiTrust. Retrieved 28 May 2019.
*url=https://ijgeometry.com/wp-content/uploads/2020/12/7.-79-84.pdf

**外部リンク**
 access-date=11 May 2019- publisher=EQF- Cite web |url=https://artofproblemsolving.com/wiki/index.php/Gauss_line |title=Gauss line |access-date=2024-11-16 |publisher=AoPS
*Cite web |url=https://planetmath.org/NewtonGaussLine |title=Newton-Gauss line |access-date=2024-11-16 |publisher=PlanetMath