パスカルの定理とブリアンションの定理の証明

パスカルの定理の証明
ブリアンションとパスカルは双対定理なのでどちらか一方を証明すれば片方も証明できる。[br]そこで、パスカルの定理を円について証明し、それを使ってブリアンションの定理も証明する。[br]円について成り立つことは二次曲線についても成り立つ。[br][br]パスカルの定理[br]「[b]円に内接する六角形の対応する辺の交点は一直線上に並ぶ[/b]」[br][br]証明したいことは、点P,Q,Rが一直線上に並ぶこと。[br]つまり、[math]\frac{MR}{RL}\cdot\frac{LP}{PN}\cdot\frac{NQ}{QM}=1[/math]であることを示せばよい。[br][br]△LMNについてメネラウスの定理を使う。
パスカルの定理
証明
△MLNとAFQについて、メネラウスの定理を当てはめると、[br][math]\frac{NQ}{QM}\cdot\frac{MA}{AL}\cdot\frac{LF}{FN}=1[/math][br]今度はLFNについて、[br][math]\frac{LR}{RM}\cdot\frac{MD}{DN}\cdot\frac{NE}{EL}=1[/math][br]同様に、BCPについて、[br][math]\frac{LP}{PN}\cdot\frac{NC}{CM}\cdot\frac{MB}{BL}=1[/math][br][br]一方、円に内接する四角形の比例関係から、[br][math]\frac{MA}{MD}\cdot\frac{MB}{MC}=1[/math] [math]\frac{LF}{LA}\cdot\frac{LE}{LB}=1[/math] [math]\frac{ND}{NE}\cdot\frac{NC}{NF}=1[/math]なので、[br]上の3式をかけ合わせて、下の3式を当てはめて文字を消すと、[br][math]\frac{MR}{RL}\cdot\frac{LP}{PN}\cdot\frac{NQ}{QM}=1[/math]なので、メネラウスの定理の逆により、PQRは一直線上にある。[br][br]これを使ってブリアンションの定理を証明する。[br]ブリアンションの定理は「[b]円に外接する六角形の対角線が一点で交わる[/b]」というもの。[br]下の図は外接六角形の接点を結んでパスカル線を引いたもの。[br]この場合、パスカル線は極線となることを示す。[br]極と極線は双対的な関係であることを示す。[br][br]証明したいことは、[b]ILとJMとKNが一点で交わるこ[/b]と。[br]
ブリアンションの定理の証明
極と極線
パスカルの定理により、POQは一直線上にある。[br][br]極Jの極線はDE、Mの極線はHG。[br](円の外側に極がある時は極から接線を引いてその接点を結んだものが極線となる)[br]DEとHGの交点がPなので、極Pの極線はJMとなる。[br](極線上の点を極として極線をとると、元の極を通る直線となるから)[br]同様に、Oの極線はIL、Pの極線はKN。[br][br][b]POQは一直線上にあるので、3本の極線は一点で交わる[/b]。[br](円の中心からパスカル線に垂線を引くと、それは交点を通る)[br][br]PQOは極線なので極を持つ。[br]その極こそがこの交点である。[br][br]これで[br]ブリアンションの定理が極線(パスカル線)を用いることによって証明できたことになる。[br]
円の極と極線の性質
円の極と極線
3点PQRが一直線上にあれば、3極線は一点で交わる。[br]逆に、[br]極線が1点で交われば、PQRは一直線上にある。[br][br]極と極線は円だけでなく二次曲線に自然に拡張できる。
あとがき
パスカルの定理は自分一人では証明できなかった。[br]岩田至康先生の幾何学大辞典を参考にした。[br][br]今までいろいろ現象を探っていて、「[b]極と極線が点と線をつなぐ鍵[/b]」であるということがわかり、[br]ブリアンションの定理を極線を使って証明しようと思ったけど、うまくいかなかった。[br]ある時、「[url=https://www.google.co.jp/url?sa=t&rct=j&q=&esrc=s&source=web&cd=5&cad=rja&uact=8&ved=0ahUKEwjG9d-zv4_YAhVBnJQKHeqfAQYQFghBMAQ&url=http%3A%2F%2Fsshmathgeom.private.coocan.jp%2Ftransf%2Ftransfproblemsolve451.html&usg=AOvVaw0EEpeyRtVYMMHIViZ43KwW]平面における変換[/url]」というサイトを見つけた。[br]小室久二雄先生の「SSH数学図形ゼミ」だ。[br]ブリアンションの定理を極線を使って証明してあった。[br][br]現象を探るのは楽しい。[br]そしてやがてその本質を探りたくなる。[br]その時に証明が効果を発揮する。[br]

Information: パスカルの定理とブリアンションの定理の証明