1
高校数学解説
文献あり

Neuberg Cubic について

313
0
$$$$

目次

1.初めに
2.歴史
3.性質など
4.予想
5.終わりに

始めに

 初等幾何を勉強する際、五心、フェルマー点、オイラー線、ブロカール軸や、レスター円、キーペルト双曲線、シュタイナー楕円など多くの奇麗な性質を持つ線に出会うと思います。
 五心やオイラー線は参考書にも記載されている場合が多いですし、フェルマー点関連の話が大学の二次試験で出題されたこともあるそうです。
 しかし、上の例に挙げた線はすべて二次以下の曲線であり、三次以上の曲線は、あまり、聞くことがありません。
本記事ではそのような曲線の一つ、Neuberg Cubicについて紹介しようと思います。

geogbraでは"Cubic"コマンドによって、三次曲線を楽しむことができます。
Neuberg Cubicは、$Bernard\ Gibert$によって作られた CTC というサイトで「K001」という番号( ETC でいう$X_{n}$みたいなもの)で扱われています。
例えば、$\triangle ABC$のNeuberg Cubicは、"Cubic(A,B,C,1)"と打てば作成することができます。適宜、ご覧ください。

上記の通りNeuberg Cubicは日本では、あまり知名度がなく、今回私が参照した記事は、ほとんど外国のものです。翻訳の誤りなどありましたら、指摘していただけると幸いです。

 

歴史

記事のタイトルでは気取って$Neuberg\ cubic$と書きましたが、見にくいので以下"ノイベルグ三次曲線"とします。
ノイベルグ三次曲線は1884年、$Joseph\ Jean\ Baptiste\ Neuberg$が著書、「Géométrie. Mémoire sur le tétraèdre, présentant la solution de diverses questions proposées dans les Annales」にて、公表した、三角形に対し一意に定まる曲線です。
ノイベルグが採用した定義は以下のものです。

ノイベルグ三次曲線

$\triangle ABC$について、以下を満たす点$P$の軌跡をノイベルグ三次曲線とする。

$\begin{vmatrix} 1 & BC^{2}+AP^2 & BC^2 \times AP^2 \\ 1 & CA^2+BP^2 & CA^2\times BP^2 \\ 1 & AB^2+CP^2 & AB^2\times CP^2\end{vmatrix}=0$

$P[p,q,r],(p+q+r=1)$$AP^2=b^2q^2+c^2r^2-(b^2+c^2-a^2)qr $が成り立ちます。
それを使って変形すると整理すると以下のようになります。
$\begin{vmatrix} p & \dfrac{a^2}{p} & (a^{2}(b^{2}+c^{2})+(b^{2}-c^{2})^{2}-2a^{4}) \\ q & \dfrac{b^2}{q} & (b^{2}(c^{2}+a^{2})+(c^{2}-a^{2})^{2}-2b^{4}) \\ r & \dfrac{c^2}{r} & (c^{2}(a^{2}+b^{2})+(a^{2}-b^{2})^{2}-2c^{4})\end{vmatrix}=0$
$$ \sum_{cyc}^{}p(a^{2}(b^{2}+c^{2})+(b^{2}-c^{2})^{2}-2a^{4})(b^{2}q^{2}-c^{2}r^{2})=0 $$
三線座標($p;q;r$)では
$\begin{vmatrix} p & \dfrac{1}{p} & \cos A-2\cos B\cos C \\ q & \dfrac{1}{q} & \cos B-2\cos C\cos A \\ r & \dfrac{1}{r} & \cos C-2\cos A\cos B \end{vmatrix}=0$
$$ \sum_{cyc}^{}p(\cos(A)-2\cos(B)\cos(C))(q^{2}-r^{2})=0 $$
ちなみに、行列式の3列目はオイラー無限遠点の重心/三線座標であることから下記の「$P$$P$の等角共役点を結んだ直線は、元の三角形のオイラー線と平行である」が導かれます。

詳細な歴史


ノイベルグは、
$A,B,C,X_{3},X_{4},X_{13},X_{14},X_{15},X_{16}$
$A,B,CのBC,CA,AB$による鏡映点
$\triangle QBC$ が正三角形となる$Q$2点($CA,AB$でも同様にして計6点)
$BC$の垂直二等分線と$AB,AC$との2交点を結んだ線で$A$を鏡映した点($B,C$についても同様にして計3点)
計21点がこの式を満たすことを発見しました。

また、1921年には$B. H. Brown$が新たに内心や傍心を含む、16点がこれを満たすことを発見しました。(※このことから別名、21点三次曲線、37点三次曲線ともいわれます。トムソン曲線が17点三次曲線と言われるのと一緒ですね。)

ノイベルグ三次曲線上にある主な三角形の中心

ノイベルグ三次曲線は「Self-isogonal cubic」(後述)なので、線上の点の等角共役もまた線上にあります。特に名前のない等角共役は省いて書いています。

  • 内心$X_{1}$
  • 外心$X_{3}$、垂心$X_{4}$
  • フェルマー点$X_{13,14}$、等力点$X_{15,16}$
  • オイラー無限遠点$X_{30}$
  • 等辺チェバ三角形点$X_{370}$
  • パリー鏡映点$X_{399}$
  • 第一、第二、第三エヴァンズ配景中心$X_{484,1276,1277}$
  • $X_{13,14}$のAnticomplement$X_{616,617}$
  • コスニタ点$X_{54}$の外接円で反転した点$X_{1157}$
  • ヴェルナウ点$X_{1337,1338}$
  • $X_{30}$のeigentransform$X_{2132}$
  • $X_{15,16}$$X_{15,16}$頂点共役$X_{3440,3441}$
  • $X_{30}$$X_{1}$頂点共役$X_{3464}$
  • $X_{484}$$X_{1}$頂点共役$X_{3465}$
  • $X_{3}X_{2120},X_{4},X_{2121}$の交点$X_{3481}$($X_{2120,2121}$$X_{5}$のeigentransformとその等角共役)
  • $X_{3}X_{1157},X_{4},X_{484}$の交点$X_{3483}$
  • $X_{3}X_{2120},X_{4},X_{54}$の交点$X_{3484}$

こちら こちら にもっと書いてあります。

性質など

これ を適当に改変しました。
番号は対応してます。

以下、特に断りのない限り、点$P$をノイベルグ曲線上の点とします。

共点など

[1]$P$$BC,CA,AB$で鏡映した点と$A,B,C$を結んだ直線は共点である。また、その点の軌跡は三次曲線K060である。
[2]$\triangle PBC,PCA,PAB$の外心($X_3$)と$A,B,C$を結んだ直線は、共点である。
また、その点の軌跡はNapoleon cubic(K005)である。 (ノイベルグ自身による同値変形。)
[4]$\triangle PBC,PCA,PAB$のオイラー線は共点である。(モーリー親子による)
[5]$P$$BC,CA,AB$に対する垂足をそれぞれ$N,M,L$とすると$\triangle PML,PLN,PNM$のオイラー線は共点である。(またその点の軌跡は六次曲線Q093である。)
[6]$\triangle ABC,PBC,PCA,PAB$のブロカール軸は共点である。
 (ブロカール軸は外心($X_{3}$)と疑似重心($X_{6}$)を結んだ直線)
[11]$Orthopivotal\ cubic\ O(X_3)$はノイベルグ三次曲線である。
[12]$\triangle PBC$の外接円と$AP$との$P$でない方の交点を$A'$とし$B',C'$についても同様に定める。$\triangle A'BC,A'BC,ABC'$の垂心($X_{4}$)を頂点とする三角形は$\triangle ABC$と配景的である。
[19]$\triangle PBC,PCA,PAB$のノイベルグ三次曲線は共通の点$X$を持つ。特に、$X_{399},P,X$は共線で、3つのノイベルグ三次曲線は外接三次曲線となる。

共線など

[3]$\triangle PBC,PCA,PAB$の外心($X_3$)を頂点とする三角形の外心はオイラー線上にある。
[8]キーペルト放物線(Kiepert parabola)の$BC,CA,AB$との接線をそれぞれ$U,V,W$とすると、それぞれ$A,B,C$を通る$U,V,W$中心の円は2点で交わり、その二点と$X_3$は共線である。
[16]$\triangle PBC$$X_{2},X_{6}$を結ぶ直線と$BC$の交点を$A'$$B',C' $も同様に定義したとき、
 $\triangle ABC,A'B'C'$は配景であり、配景の中心は$\triangle ABC$$X_2,X_6$を結ぶ直線上にある。
[21]外接円と$P$を通るそれぞれ$A,B,C$中心の円の根軸の作る三角形は$\triangle ABC$と配景的である。配景の中心はジェベラク双曲線上にある。また配景の中心を$Q(P)$のように表すとき、$X_{3}$を通る直線$l$とノイベルグ三次曲線との交点を$P_1,P_2$とし、$Q(P_1)=Q(P_2)$$Q(P_1)$$l$とジェラベク双曲線の$X_3$でない方の交点である。
$\triangle G_aG_BG_C$を反中点三角形(中点三角形側から見た元の三角形)とする。$B,C,G_a,BC$に対するAの鏡映点,$A$を通る$BC$の垂線と外接円の($A$でない方の)交点,の計5点を通る放物線を$h_a$とし$h_b,h_c$についても同様に定義する。$h_a,h_b,h_c$の3交点$U_a,U_b,U_c$はノイベルグ三次曲線上にある。(また$h_a$の漸近線と$BC$のなす角は$60\degree $)。
さらに、$\triangle U_aU_bU_c$のオイラー線は$\triangle ABC $のオイラー線と一致する。
さらにさらに、$U_a,U_b,U_c$の等角共役点をそれぞれ$U_a',U_b',U_c'$とすると$U_a',U_b',U_c',\triangle U_a'U_b'U_c'$の辺の中点,その等角共役点,はすべてノイベルグ三次曲線上にある。そのことから$U_a',U_b',U_c$は半径$2R$,中心$X_{3}$の円上にあることが分かる。
そしてそれぞれ$U_a'U_b'U_c'$$\triangle U_a'U_b'U_c'$の辺の中点の等角共役点を結ぶ直線は$X_{399}$(パリー反射点)で交わる。

二次曲線など

[17]4点、$\triangle ABC,PBC,PCA,PAB$のそれぞれ$X_{115},X_{125}$(それぞれキーペルト双曲線、ジェベラク双曲線の中心)は共円である。(一般化できるかも...?)←本家に書いてあった
[18]3点$\triangle PBC,PCA,PAB$のそれぞれ$X_{99},X_{110}$(ぞれぞれシュタイナー点、キーペルト放物線の焦点)と$P$は共円である。(一般化できるかも...?)←本家に書いてあった
[22]$P$を通る$A$中心の円で$B,C$を反転した点、$B,C$でも同様にして出来た点、の計6点は同一二次曲線上にある。

その他

[7]$(X,Y,Z)$$Z$を通る$Y$中心の円の$X$の方べきの値とするとき、
 $(P,A,B)(P,B,C)(P,C,A)=(P,B,A)(P,C,B)(P,A,C)$である。(ノイベルグ三次曲線と同値)
[9]外接円に対する$X_{74}$(オイラー無限遠点の等角共役点)を通る接線の等角共役点の軌跡"circum-parabola"は$X_{476}$(Tixer point)を通り、その軸はオイラー線と平行であるが、ある点とその等角共役点の"circum-parabola"に対する極線が平行であるとき、その点の軌跡はノイベルグ三次曲線となる。
[20]$\triangle PBC$のオイラー線で$B,C$を鏡映した点をそれぞれ$B_{a},C_{a}$とし$\triangle PCA,PAB$でも同様に定める。円$AB_{a}C_{a},BC_{b}A_{b},CA_{c}B_{c}$の半径は等しい。
$P$$P$の等角共役点を結んだ直線は、元の三角形のオイラー線と平行である。またノイベルグ三次曲線は、線上の点の等角共役も線上にある「Self-isogonal cubic」である。

$Orthopivotal\ cubic\ O(P)$とは
 $\triangle ABC$について$R$を通る$AR,BR,CR$の垂線とそれぞれ$BC,CA,AB$との交点は共線である(この線はorthotransversalと呼ばれる)。また$R$のorthotransversalの三線極を$Q$とする。$P$$Q$$R$が共線であるような$R$の軌跡を$Orthopivotal\ cubic\ O(P) $という。
 任意の点$P$に対し$Q$を中心とする正三角形が$\triangle ABC $と配景的になるようにとると、配景の中心の軌跡とOrthopivotal cubic O(P)は一致する。

特に大事なもの

この中で重要な性質は[1][2]であり、これらの同値性は,
有向角で$\angle CAP=\alpha,\angle BAP= \beta,\angle ABP=\gamma,\angle CBP=\delta,\angle BCP=\epsilon,\angle ACP=\zeta$としてチェバの定理で整理し,最終的に
$\cos(\alpha-\gamma)\cos(\gamma-\epsilon)\cos(\epsilon-\alpha)=\cos(\beta-\delta)\cos(\delta-\zeta)\cos(\zeta-\beta) $
$ \Longleftrightarrow \sin(2\alpha+\beta)\sin(2\gamma+\delta)\sin(2\epsilon+\zeta)=\sin(\alpha+2\beta)\sin(\gamma+2\delta)\sin(\epsilon+2\zeta)$
を証明することで示せます。(計算は長くなるので省略)

予想

これは、私が 前記事 にも書いた通り、シフラー点と同様のことができないか遊んでいたときにできた命題です。

 $\triangle ABC$とノイベルグ三次曲線上の点$P$について、円$BCP,CAP,ABP$の中心をそれぞれ$D,E,F$とすると、$AP,BP,CP$をそれぞれ$AD,BE,CF$で鏡映した直線は、共点である。

$P=X_{3}$のとき$X_{225}$$P=X_{4}$のとき$X_{3}$になります。

主命題

$P,Q$$\triangle ABC$のノイベルグ三次曲線上の任意の点とする。
$P$のCirclecevian triangleを$\triangle P_aP_bP_c$とする。
それぞれ円$PBC,PCA,PAB$$P_aQ,P_bQ,P_cQ$$P_a,P_b,P_c$でない方の交点を$X_a,X_b,X_c$とすれば、$P,X_a,X_b,X_c$は共円である。

例えば$P=X_{1}$のときは、トリリウムの定理より$Q$がいかなる点でも成り立ちます。
$P=X_{4}$のときはMMPを用いて簡単に示すことができます。
$P=X_{13},Q=X_{3}$のときはナポレオンの定理と角度追跡で示せます。
前記事では$P=X_{13},Q=X_{15}$の場合を証明しています。

証明(未完成)

$P_a,P_b,P_c$はノイベルグ三次曲線上にある。

多分参考文献のどこかにあります。

有向角で$\angle CAP=\alpha,\angle BAP= \beta,\angle ABP=\gamma,\angle CBP=\delta,\angle BCP=\epsilon,\angle ACP=\zeta$とする。
また、$P_a,A,C$を通る円の中心と$B$を結ぶ直線と、$AC$の交点を$D$$P_a,A,B$を通る円の中心と$C$を結ぶ直線と、$AB$の交点を$E$とする。
メネラウスの定理などから
$\dfrac{AE}{EB}=\dfrac{-\sin B\cos(A+ \epsilon )}{\sin A\cos(B+\epsilon)},\dfrac{CD}{DA}=\dfrac{-\sin A\cos(C+ \delta )}{\sin C\cos(A+\delta)}$
また、$B,P,P_a,C$を通る円の中心と$A$を結ぶ直線と、$BC$の交点を$F$すれば
$\dfrac{BF}{FC}=\dfrac{\sin C\cos(\gamma-\epsilon)}{\sin B\cos(\delta-\zeta)}$が成り立つので
チェバの定理の逆から
$\dfrac{\cos(A+\epsilon)\cos(C+\delta)\cos(\gamma-\epsilon)}{\cos(A+\delta)\cos(B+\epsilon)\cos(\delta-\zeta)}=1$が成り立てばよい。
これは
$\dfrac{\cos(\alpha-\gamma)\cos(\gamma-\epsilon)\cos(\epsilon-\alpha)}{\cos(\beta-\delta)\cos(\delta-\zeta)\cos(\zeta-\beta)}=1$
を整理することで示すことができる。($P_b,P_c$でも同様)

補題1

・傍心
$A,B,C$$BC,CA,AB$による鏡映点
$\triangle QBC$が正三角形となる$Q$2点($CA,AB$でも同様にして計6点)
$BC$の垂直二等分線と$AB,AC$との2交点を結んだ線で$A$を鏡映した点($B,C$についても同様にして計3点)
はノイベルグ三次曲線上にある。

それぞれ内心、垂心、フェルマー点、外心の$P_a,P_b,P_c$です。

$Q$のCirclecevian triangle$Q_a,Q_b,Q_c$を定める。
$P_aQ_a,P_bQ_b,P_cQ_c$はノイベルグ三次曲線上で交わる。

例えば$(P,Q)=(X_{14},X_{15})$のときパリー鏡映点$X_{399}$です。

随時更新

終わりに

いかがだったでしょうか。
三角形という単純な対象ではありますが、その単純な性質から、現在でもなお、沢山の美しく複雑な性質が生み出されています。この記事を読んで少しでも三角形に対する好奇心が湧いたと思っていただけたら幸いです。

最後までお読みいただきありがとうございました。

参考文献

投稿日:18
更新日:21時間前

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

n/a369
n/a369
1
673

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中