平面上の異なる4円が以下の図のような関係になっている場合について、いくつか性質を発見したので紹介します。
直交する2直線と4円
*注意
既に知られている性質もあるかもしれません。予めご了承ください。
また、これより良い証明方法がおそらくあると思います。思いついた方がいましたら、教えていただけると助かります。
平面上の異なる5点 O,A,B,C,D において、直線 AC と直線 BD が点 O で直交しているとする。このとき、4点 A,B,C,D をそれぞれ中心とし、いずれも点 O を通る4円
各2円
〔Ⅰ〕直線 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
この他にも、「線分 OA,OC の長さがそれぞれ等しくないとき、3直線 AC,KL,MN が一点で交わる」など様々な性質がありますが、そこまで書くと長くなってしまうので、今回は比較的有用であると判断した上記の性質について証明していきます。(いつか他の性質についても証明したいです。)
直線 AC と直線 BD が点 O で直交していることから、
この方程式同士を連立することで、点 K が
まず、直線 AC と直線 BD 、直線 AB と直線 CD がそれぞれ直交していることから、点 A が三角形 BCD の垂心であると分かります。したがって垂心の性質より、直線 DA と直線 BC は直交します。
次に点 E,D の座標をそれぞれ求めましょう。直線 AB,BC,CD,DA の方程式はそれぞれ以下のように表せます。
直線 AB と直線 CD が直交するため、垂直条件より
が成り立ちます。さらに変形すると
と表せるため、それぞれ以下のように 0 でないことを示せます。
これらを利用して方程式同士を連立すると、点 E が
点 K,L,M,N の座標を直線 EF の方程式に代入してみると、
以上より、6点 E,F,K,L,M,N は同一直線上にあることが示されました。
3点 L,M,N を通る円
この方程式に3点 L,M,N の座標をそれぞれ代入して整理すると、
と表せます。それぞれ連立して解くと以下のように表せます。
(直線 AB と直線 CD が直交しないため、〔Ⅰ〕より
よって、円
この方程式に点 K の座標を代入すると等式が成立するため、4点 K,L,M,N が同一円周上にあると分かります。
後の証明で使うため、中心点 Q の座標を求めます。円
したがって、点 Q の座標は
続いて、4点 K,L,M,N がこの順であることを場合分けして示します。
線分 KM は直径であるため、点 Q が2点 K,M の中点であることが分かります。したがって、以下の2つの等式が成り立ちます。
この2つの等式をそれぞれ整理すると以下のように表せます。
この2つの等式を満たすためには、
のどちらかの条件を満たす必要があります。
後者の条件が成り立つことは、
が 0 であることと同値です。この式を整理すると以下のように表せます。
この式が 0 にならないことは明らかなので、
以上より、
(証明上では4点 K,L,M,N が同一円周上にある前提でしたが、〔Ⅰ〕と〔Ⅱ〕1.の証明より、4点 K,L,M,N が同一円周上にないときは4点 K,L,M,N は同一直線上にあり、
この方程式に2点 K,M の座標を代入すると、どちらも方程式を満たします。したがって、4点 K,M,O,Q は同一直線上にあることが分かります。
ここで、共有共円の円周のうち
続いて直線 OQ と平行な直線を、任意の実数
このとき、この直線は
よって、直線 KM に対して2点 L,N が互いに異なる側にあるため、4点 K,L,M,N がこの順に同一円周上にあることが示せます。
ここで内積
よって4点 K,L,M,N が同一円周上にあり、
整理すると以下のように表せます。
したがって、
以上より、どちらの場合においても4点 K,L,M,N がこの順に同一円周上にあることが示されました。
点 O,Q の座標はすでに分かっているので、点 P の座標を求めたいです。まず、直線 KM,LN の方程式はそれぞれ以下のように表せます。
これらを連立することで点 P の座標を求められるのですが、計算が複雑になってしまいます。
今回最終的に証明したいことは、直線 OQ が点 P を通ることです。言い換えると、3直線 KM,LN,OQ が一点 P で交わることを示せば良さそうです。直線 OQ は
とそれぞれ表せるので、直線 OQ と直線 KM の交点 P'、直線 OQ と直線 LN の交点 P'' のそれぞれの座標は、点 P より求めやすそうです。場合分けをして、2点 P',P'' の座標について考えてみましょう。
直線 KM の方程式の
したがって、点 P' の座標は
点 P'' についても同様に座標を求めると、
よって
直線 KM の方程式の
少し計算が大変ですが、左辺をさらに整理すると以下のように表せます。
〔Ⅱ〕1.より、4点 K,M,O,Q が同一直線上にあるため、直線 KM と直線 LN の交点 P が直線 OQ 上にあるのは明らかです。(4点 K,L,M,N がこの順に同一円周上にあるため、線分 KM と線分 LN は交点を持つ。)
点 P' の座標は
よって
今回は示しませんでしたが、
線分 AC と線分 BD が点 O で交わることから、
4点 A,B,C,D が同一円周上にあるとき、その円を
また、
よって
続いて円
したがって円
次に〔Ⅱ〕1.より、4点 K,L,M,N を通る円
よって、2点 Q',Q'' が一致することが示されました。
四角形 KLMN が双心四角形であることを示すために、以下の定理を用います。
2組の対辺の長さの和が等しい凸な四角形は内接円をもつ。
今回はこの定理の証明を省略して用います。(証明が気になる方は、
ピトーの定理 - Wikipedia
の脚注にある PDF(英語) がおそらくこの定理の証明に該当します。)
四角形 KLMN の各辺の長さを求めると、それぞれ以下のように表せます。
このとき、2組の対辺の長さの和はそれぞれ以下のように表せます。
したがって、以下のように表せます。
よって、四角形 KLMN は2組の対辺の長さの和が等しい凸な四角形であるため、四角形 KLMN は内接円をもち、外接円も持つことから双心四角形であることが分かります。
直線 KL,LM,MN,NK の方程式を求めると、以下のように表せます。
原点 O と直線 KL,LM,MN,NK のそれぞれの距離
さらに整理すると以下のように表せます。
したがって、原点 O から四角形 KLMN の4辺までの距離がいずれも
〔Ⅱ〕3.と〔Ⅲ〕2.より、双心四角形 KLMN の内心を点 O 、双心四角形 KLMN の対角線の交点を P 、双心四角形 KLMN の外心を点 Q と対応させることができるため、この3点が同一直線上にあることが分かります。
ここまで読んでいただきありがとうございました!この性質自体は1年半ほど前に気づいていたのですが、なかなか証明をできずにいました。所々厳密性に欠ける部分はあったかもしれませんが、今回この場を借りて性質の紹介・証明をできたことが嬉しいです。ただ、証明に自信がないので、誤りがある場合は教えていただけるとありがたいです。
この性質は図形的に単純な条件であるので、既に誰かが見つけていると思われます(もし、初めてなのであれば「共有共円定理」と名付けたいです)。