0

直交する2直線と4円からなる共円・共線・双心四角形の性質について

62
0

はじめに

 平面上の異なる4円が以下の図のような関係になっている場合について、いくつか性質を発見したので紹介します。
直交する2直線と4円 直交する2直線と4円
 
*注意
 既に知られている性質もあるかもしれません。予めご了承ください。
また、これより良い証明方法がおそらくあると思います。思いついた方がいましたら、教えていただけると助かります。
 
 

性質

平面上の異なる5点 O,A,B,C,D において、直線 AC と直線 BD が点 O で直交しているとする。このとき、4点 A,B,C,D をそれぞれ中心とし、いずれも点 O を通る4円 CA,CB,CC,CD について考える。
 
各2円 CA,CBCB,CCCC,CDCD,CA の点 O を除く共有点をそれぞれ点 K,L,M,N とするとき、以下が成り立つ。
 
 
〔Ⅰ〕直線 AB と直線 CD が点 E で直交する場合

直線 DA と直線 BC は点 F で直交し、6点 E,F,K,L,M,N は同一直線上にある。

 
〔Ⅱ〕直線 AB と直線 CD が直交しない場合

1.4点 K,L,M,N はこの順に同一円周上にある。(この円を「共有共円」と呼ぶことにする。)
 
2.線分 KM と線分 LN の交点を P 、共有共円の中心を Q とするとき、3点 O,P,Q は同一直線上にある。

 
〔Ⅲ〕線分 AC と線分 BD が点 O で交わり、4点 A,B,C,D が同一円周上にある場合

1.4点 K,L,M,N はこの順に同一円周上にあり、この円の中心は、4点 A,B,C,D を通る円の中心と一致する。
 
2.四角形 KLMN は双心四角形であり、その内心は点 O と一致する。
 
3.双心四角形 KLMN において、対角線の交点、外心、内心は同一直線上にある。

 
 言葉だけだと伝わりにくいと思うので、GeoGebraにて図を作成しました。(画像をクリックすると、実際にパラメーターを動かすことができるページに移動します。)
GeoGebra GeoGebra
 
 この他にも、「線分 OA,OC の長さがそれぞれ等しくないとき、3直線 AC,KL,MN が一点で交わる」など様々な性質がありますが、そこまで書くと長くなってしまうので、今回は比較的有用であると判断した上記の性質について証明していきます。(いつか他の性質についても証明したいです。)
 
 

性質の証明

準備

 直線 AC と直線 BD が点 O で直交していることから、xy 平面で考えると良さそうです。0でない任意の実数 a,b,c,d (ac, bd) を用いて、点 O を (0,0) 、点 A を (a,0) 、点 B を (0,b) 、点 C を (c,0) 、点 D を (0,d) とそれぞれおきます。このとき、4円それぞれの方程式は以下のように表せます。
CA:(xa)2+y2=a2CB:x2+(yb)2=b2CC:(xc)2+y2=c2CD:x2+(yd)2=d2
 
 この方程式同士を連立することで、点 K が (2ab2a2+b2,2a2ba2+b2) 、点 L が (2b2cb2+c2,2bc2b2+c2) 、点 M が (2cd2c2+d2,2c2dc2+d2) 、点 N が (2d2ad2+a2,2da2d2+a2) であることが分かります。

 

〔Ⅰ〕の証明

 まず、直線 AC と直線 BD 、直線 AB と直線 CD がそれぞれ直交していることから、点 A が三角形 BCD の垂心であると分かります。したがって垂心の性質より、直線 DA と直線 BC は直交します。
 
 次に点 E,D の座標をそれぞれ求めましょう。直線 AB,BC,CD,DA の方程式はそれぞれ以下のように表せます。
AB:y=bax+bBC:y=bcx+bCD:y=dcx+dDA:y=dax+d
 
直線 AB と直線 CD が直交するため、垂直条件より
(ba)(dc)=1ac=bd
が成り立ちます。さらに変形すると
abcd=b2d2<0
と表せるため、それぞれ以下のように 0 でないことを示せます。
abcdb2c2<0dabc0abcdc2d2<0abcd0
 
 これらを利用して方程式同士を連立すると、点 E が (ac(bd)dabc,bd(ac)dabc) 、点 F が (ac(bd)abcd,bd(ac)abcd) であると分かります。また、直線 EF の方程式を求めると以下のようになります。
EF:(a+c)x(b+d)y=2ac
点 K,L,M,N の座標を直線 EF の方程式に代入してみると、ac=bd を用いることでいずれの等式も成立することが分かります。
 
 以上より、6点 E,F,K,L,M,N は同一直線上にあることが示されました。
 
  

〔Ⅱ〕1.の証明

 3点 L,M,N を通る円 CQ について考えましょう。まず実数 l,m,n を用いて円 CQ の方程式を以下のように定義します。
CQ:x2+y2+lx+my+n=0
この方程式に3点 L,M,N の座標をそれぞれ代入して整理すると、
{4b2c2+2b2cl+2bc2m+(b2+c2)n=04c2d2+2cd2l+2c2dm+(c2+d2)n=04d2a2+2d2al+2da2m+(d2+a2)n=0
と表せます。それぞれ連立して解くと以下のように表せます。
{l=2bd(a+c)ac+bdm=2ac(b+d)ac+bdn=4abcdac+bd
(直線 AB と直線 CD が直交しないため、〔Ⅰ〕より ac+bd0
 
 よって、円 CQ の方程式は以下のように表せます。
CQ:x2+y22bd(a+c)ac+bdx2ac(b+d)ac+bdy+4abcdac+bd=0
この方程式に点 K の座標を代入すると等式が成立するため、4点 K,L,M,N が同一円周上にあると分かります。
 
 後の証明で使うため、中心点 Q の座標を求めます。円 CQ の方程式を変形すると、以下のように表せます。
CQ:(xbd(a+c)ac+bd)2+(yac(b+d)ac+bd)2=b2d2(ac)2+a2c2(bd)2(ac+bd)2
したがって、点 Q の座標は (bd(a+c)ac+bd,ac(b+d)ac+bd) であると分かります。
 
 
 続いて、4点 K,L,M,N がこの順であることを場合分けして示します。
  

KLM=KNM=90 であるとき

 線分 KM は直径であるため、点 Q が2点 K,M の中点であることが分かります。したがって、以下の2つの等式が成り立ちます。
12(2ab2a2+b2+2cd2c2+d2)=bd(a+c)ac+bd12(2a2ba2+b2+2c2dc2+d2)=ac(b+d)ac+bd
この2つの等式をそれぞれ整理すると以下のように表せます。
(dabc)(a2b(c2+d2)c2d(a2+b2))=0(dabc)(ab2(c2+d2)cd2(a2+b2))=0
 
この2つの等式を満たすためには、
dabc=0 であるか、
a2b(c2+d2)c2d(a2+b2)=0 かつ ab2(c2+d2)cd2(a2+b2)=0 であるか
のどちらかの条件を満たす必要があります。
 
後者の条件が成り立つことは、
(a2b(c2+d2)c2d(a2+b2))2+(ab2(c2+d2)cd2(a2+b2))2
が 0 であることと同値です。この式を整理すると以下のように表せます。
(a2+b2)(c2+d2)(a2c2(bd)2+b2d2(ac)2)
この式が 0 にならないことは明らかなので、a2b(c2+d2)c2d(a2+b2)=0 かつ ab2(c2+d2)cd2(a2+b2)=0 を満たす実数 a,b,c,d は存在しないことが分かります。
 
 以上より、KLM=KNM=90 であることと、dabc=0 であることが同値であると分かりました。
 
(証明上では4点 K,L,M,N が同一円周上にある前提でしたが、〔Ⅰ〕と〔Ⅱ〕1.の証明より、4点 K,L,M,N が同一円周上にないときは4点 K,L,M,N は同一直線上にあり、dabc0 であることが示されているため、同値関係が成り立ちます。)
 
 dabc=0 であることを用いると、直線 OQ の式は以下のように表せます。
OQ:y=abx
この方程式に2点 K,M の座標を代入すると、どちらも方程式を満たします。したがって、4点 K,M,O,Q は同一直線上にあることが分かります。
 
 ここで、共有共円の円周のうち y>abx を満たす弧を A1y<abx を満たす弧を A2 とすると、2点 L,N はどちらかの弧上にあることが分かります。
 
 続いて直線 OQ と平行な直線を、任意の実数 k を用いて以下のように定義します。
y=abx+k
このとき、この直線は k>0 であるとき A1 と、k<0 であるとき A2 とそれぞれ共有点を持つことが分かります。この直線が2点 L,N をそれぞれ通るときの k の値は、それぞれ以下のように表せます。
L:k=2bc(ac)b2+c2N:k=2bc(ac)d2+a2
2bc(ac)0 であるため、k の符号はそれぞれ異なっています。したがって、2点 L,N のうちどちらか1点は A1 にあり、もう一方の1点は A2 にあることが分かります。
 
 よって、直線 KM に対して2点 L,N が互いに異なる側にあるため、4点 K,L,M,N がこの順に同一円周上にあることが示せます。
  

KLM=KNM=90 でないとき

 KLM+KNM=180 であるとき、4点 K,L,M,N がこの順で同一円周上にあることが円周角の定理より分かります。また KLM+KNM180 であるとき、直線 KM に対して2点 L,N は同じ側にあることになるため、4点 K,L,M,N がこの順ではなく、KLM=KNM が成り立つことが円周角の定理より分かります。
 
 ここで内積 LKLM , NKNM の符号について考えると、KLM, KNM がそれぞれ鋭角であるときは正、それぞれ鈍角であるときは負になります。
 
 よって4点 K,L,M,N が同一円周上にあり、KLM=KNM=90 でないとき、LKLM , NKNM の符号が互いに異なるならば KLM+KNM=180 であり、LKLM , NKNM の符号が互いに同じであるならば KLM=KNM であることが分かります。では、それぞれの内積を求めていきましょう。
 
 LKLM の値は以下のように表せます。
LKLM=(2ab2a2+b22b2cb2+c2)(2cd2c2+d22b2cb2+c2)+(2a2ba2+b22bc2b2+c2)(2c2dc2+d22bc2b2+c2)
整理すると以下のように表せます。
LKLM=4b2c2(ac)(bd)(dabc)(a2+b2)(b2+c2)(c2+d2)
NKNM の値も同様に整理すると以下のように表せます。
NKNM=4a2d2(ac)(bd)(dabc)(c2+d2)(d2+a2)(a2+b2)
KLM=KNM=90 でないことから、LKLM , NKNM の符号は互いに異なることが分かります。
 
 したがって、KLM+KNM=180 であり、4点 K,L,M,N がこの順に同一円周上にあることが示せます。
 
 
 以上より、どちらの場合においても4点 K,L,M,N がこの順に同一円周上にあることが示されました。
 
  

〔Ⅱ〕2.の証明

 点 O,Q の座標はすでに分かっているので、点 P の座標を求めたいです。まず、直線 KM,LN の方程式はそれぞれ以下のように表せます。
KM:(cd2a2+b2cd2ab2c2d2ab2)y(c2da2+b2c2da2bc2d2a2b)x=2abcd(dabc)LN:(c2d2a+d2ab2a2b2cb2cd2)y(c2da2+da2b2a2bc2bc2d2)x=2abcd(cdab)
これらを連立することで点 P の座標を求められるのですが、計算が複雑になってしまいます。
 
 今回最終的に証明したいことは、直線 OQ が点 P を通ることです。言い換えると、3直線 KM,LN,OQ が一点 P で交わることを示せば良さそうです。直線 OQ は

a+c=0 のとき、
OQ:x=0
a+c0 のとき、
OQ:y=ac(b+d)bd(a+c)x
とそれぞれ表せるので、直線 OQ と直線 KM の交点 P'、直線 OQ と直線 LN の交点 P'' のそれぞれの座標は、点 P より求めやすそうです。場合分けをして、2点 P',P'' の座標について考えてみましょう。
  

a+c=0 のとき

 直線 KM の方程式の x に 0 を代入して整理すると、以下のように表せます。
(cd2a2+b2cd2ab2c2d2ab2)y=2abcd(dabc)
a+c=0 より、さらに整理すると以下のように表せます。
a(d2a2+2b2d2+a2b2)y=2a3bd(b+d)
a(d2a2+2b2d2+a2b2)0 であることは明らかなので、y について解くと以下のように表せます。
y=2a2bd(b+d)d2a2+2b2d2+a2b2
したがって、点 P' の座標は (0,2a2bd(b+d)d2a2+2b2d2+a2b2) であると分かります。
 
 点 P'' についても同様に座標を求めると、(0,2a2bd(b+d)d2a2+2b2d2+a2b2) であると分かります。2点 P',P'' が同一の座標であるので、3直線 KM,LN,OQ が点 P (0,2a2bd(b+d)d2a2+2b2d2+a2b2) で交わることが分かります。
 
 よって a+c=0 のとき、3点 O,P,Q は同一直線上にあることが示せました。
  

a+c0 のとき

 直線 KM の方程式の y に、直線 OQ の方程式を代入して整理すると、以下のように表せます。
((cd2a2+b2cd2ab2c2d2ab2)ac(b+d)(c2da2+b2c2da2bc2d2a2b)bd(a+c))x=2ab2cd2(dabc)(a+c)
少し計算が大変ですが、左辺をさらに整理すると以下のように表せます。
(a2b2c2+b2c2d2+c2d2a2+d2a2b2)(dabc)x=2ab2cd2(dabc)(a+c)
a2b2c2+b2c2d2+c2d2a2+d2a2b20 であることは明らかですが、dabc については 0 になることもあるため、x について解くためには場合分けが必要です。
  

dabc=0 のとき

 〔Ⅱ〕1.より、4点 K,M,O,Q が同一直線上にあるため、直線 KM と直線 LN の交点 P が直線 OQ 上にあるのは明らかです。(4点 K,L,M,N がこの順に同一円周上にあるため、線分 KM と線分 LN は交点を持つ。)
  

dabc0 のとき

 点 P' の座標は (2ab2cd2(a+c)a2b2c2+b2c2d2+c2d2a2+d2a2b2, 2a2bc2d(b+d)a2b2c2+b2c2d2+c2d2a2+d2a2b2) と表せます。同様にして点 P'' の座標も求めると、(2ab2cd2(a+c)a2b2c2+b2c2d2+c2d2a2+d2a2b2, 2a2bc2d(b+d)a2b2c2+b2c2d2+c2d2a2+d2a2b2) と表せることが分かります。よって2点 P',P'' が同一の座標であるので、3直線 KM,LN,OQ が点 P (2ab2cd2(a+c)a2b2c2+b2c2d2+c2d2a2+d2a2b2, 2a2bc2d(b+d)a2b2c2+b2c2d2+c2d2a2+d2a2b2) で交わることが分かります。
 
 
 よって a+c0 のときも、3点 O,P,Q は同一直線上にあることが示されたため、いずれの場合においても3点 O,P,Q は同一直線上にあることが示されました。
 
 今回は示しませんでしたが、ac+bd0 であるとき、いずれの場合も点 P の座標は (2ab2cd2(a+c)a2b2c2+b2c2d2+c2d2a2+d2a2b2, 2a2bc2d(b+d)a2b2c2+b2c2d2+c2d2a2+d2a2b2) と表せます。
 
  

〔Ⅲ〕1.の証明

 線分 AC と線分 BD が点 O で交わることから、a,c の符号、b,d の符号はどちらもそれぞれ互いに異なっています。

 4点 A,B,C,D が同一円周上にあるとき、その円を C とします。このとき、方べきの定理より以下が成り立ちます。
OAOC=OBOD|a||c|=|b||d||ac|=|bd|
また、 ac<0, bd<0 であるため、ac=bd が成り立ちます。
 
 よって ac+bd0 であるため、〔Ⅱ〕1.より4点 K,L,M,N がこの順に同一円周上にあることが分かります。
 
 続いて円 C の方程式を求めると、以下のように表せます。
C:(xa+c2)2+(yb+d2)2=a2+b2+c2+d24
したがって円 C の中心 Q'' の座標は、(a+c2, b+d2) だと分かります。
 
 次に〔Ⅱ〕1.より、4点 K,L,M,N を通る円 C の中心 Q' の座標は、(a+c2, b+d2) だと分かります。

 よって、2点 Q',Q'' が一致することが示されました。
 
  

〔Ⅲ〕2.の証明

 四角形 KLMN が双心四角形であることを示すために、以下の定理を用います。

ピトーの定理の逆

2組の対辺の長さの和が等しい凸な四角形は内接円をもつ。

今回はこの定理の証明を省略して用います。(証明が気になる方は、 ピトーの定理 - Wikipedia の脚注にある PDF(英語) がおそらくこの定理の証明に該当します。)
 
 四角形 KLMN の各辺の長さを求めると、それぞれ以下のように表せます。
KL:2|b||ac|a2+b2+c2+d2a2+b2+c2+d2LM:2|c||bd|a2+b2+c2+d2a2+b2+c2+d2MN:2|d||ac|a2+b2+c2+d2a2+b2+c2+d2NK:2|a||bd|a2+b2+c2+d2a2+b2+c2+d2
このとき、2組の対辺の長さの和はそれぞれ以下のように表せます。
KL+MN=2(|b|+|d|)|ac|a2+b2+c2+d2a2+b2+c2+d2LM+NK=2(|a|+|c|)|bd|a2+b2+c2+d2a2+b2+c2+d2
 
 ac=|ac| であるため、以下の同値関係が成り立ちます。
ac=|ac||ac|2=(|a|+|c|)2|ac|=|a|+|c|
ac=bd より、同様にして以下の等式が成り立ちます。
|bd|=|b|+|d|
 
 したがって、以下のように表せます。
KL+MN=2|ac||bd|a2+b2+c2+d2a2+b2+c2+d2LM+NK=2|ac||bd|a2+b2+c2+d2a2+b2+c2+d2
よって、四角形 KLMN は2組の対辺の長さの和が等しい凸な四角形であるため、四角形 KLMN は内接円をもち、外接円も持つことから双心四角形であることが分かります。
 
 直線 KL,LM,MN,NK の方程式を求めると、以下のように表せます。
KL:(2ab2a2+b22b2cb2+c2)y(2a2ba2+b22bc2b2+c2)x+4abc(ac)a2+b2+c2+d2=0LM:(2b2cb2+c22cd2c2+d2)y(2bc2b2+c22c2dc2+d2)x+4bcd(bd)a2+b2+c2+d2=0MN:(2cd2c2+d22d2ad2+a2)y(2c2ac2+a22da2d2+a2)x+4cda(ca)a2+b2+c2+d2=0NK:(2d2ad2+a22ab2a2+b2)y(2da2d2+a22a2ba2+b2)x+4dab(db)a2+b2+c2+d2=0
原点 O と直線 KL,LM,MN,NK のそれぞれの距離 dKL, dLM, dMN, dNKは、先ほど求めた四角形 KLMN の各辺の長さを用いることで以下のように表せます。
dKL=|4abc(ac)a2+b2+c2+d2|2|b||ac|a2+b2+c2+d2a2+b2+c2+d2dLM=|4bcd(bd)a2+b2+c2+d2|2|c||bd|a2+b2+c2+d2a2+b2+c2+d2dMN=|4cda(ca)a2+b2+c2+d2|2|d||ac|a2+b2+c2+d2a2+b2+c2+d2dNK=|4dab(db)a2+b2+c2+d2|2|a||bd|a2+b2+c2+d2a2+b2+c2+d2
さらに整理すると以下のように表せます。
dKL=2aca2+b2+c2+d2a2+b2+c2+d2dLM=2aca2+b2+c2+d2a2+b2+c2+d2dMN=2aca2+b2+c2+d2a2+b2+c2+d2dNK=2aca2+b2+c2+d2a2+b2+c2+d2
 
 したがって、原点 O から四角形 KLMN の4辺までの距離がいずれも 2aca2+b2+c2+d2a2+b2+c2+d2 であるため、点 O が内心であり、その半径は 2aca2+b2+c2+d2a2+b2+c2+d2 であることが分かります。(4点 K,L,M,N はそれぞれ異なる象限にあるため、点 O は四角形 KLMN の内部にあります。)
 
  

〔Ⅲ〕3.の証明

 
 〔Ⅱ〕3.と〔Ⅲ〕2.より、双心四角形 KLMN の内心を点 O 、双心四角形 KLMN の対角線の交点を P 、双心四角形 KLMN の外心を点 Q と対応させることができるため、この3点が同一直線上にあることが分かります。
 
  

おわりに

 
 ここまで読んでいただきありがとうございました!この性質自体は1年半ほど前に気づいていたのですが、なかなか証明をできずにいました。所々厳密性に欠ける部分はあったかもしれませんが、今回この場を借りて性質の紹介・証明をできたことが嬉しいです。ただ、証明に自信がないので、誤りがある場合は教えていただけるとありがたいです。
 
 この性質は図形的に単純な条件であるので、既に誰かが見つけていると思われます(もし、初めてなのであれば「共有共円定理」と名付けたいです)。

投稿日:2024313
更新日:212
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

.ᴾ
.ᴾ
0
62

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 性質
  3. 性質の証明
  4. 準備
  5. 〔Ⅰ〕の証明
  6. 〔Ⅱ〕1.の証明
  7. 〔Ⅱ〕2.の証明
  8. 〔Ⅲ〕1.の証明
  9. 〔Ⅲ〕2.の証明
  10. 〔Ⅲ〕3.の証明
  11. おわりに