サーモンの定理

提供: testwiki
ナビゲーションに移動 検索に移動
シムソン線に関するサーモンの定理

サーモンの定理(サーモンのていり、テンプレート:Lang-en-short)は、ジョージ・サーモンに因んで命名された幾何学の諸定理。

極線に関する定理

テンプレート:Mvarを中心とすると任意の点テンプレート:Mvarについて、テンプレート:Mvar極線へのテンプレート:Mvar直交射影(垂足)をテンプレート:Mvarとしたとき、OAOB=OPOQが成立する[1][2][3][4][5]

この定理に関して、澤山勇三郞は次の一般化を示した[6]

円錐曲線テンプレート:Mvarと任意の点テンプレート:Mvarに関して、テンプレート:Mvarの極線のテンプレート:Mvarを通る垂線テンプレート:Mvarの一方の軸との交点をそれぞれテンプレート:Mvarテンプレート:Mvarの極線へのテンプレート:Mvarの直交射影をテンプレート:Mvarとしたとき、AMBN=APBQが成立する。

弦に関する定理

円周テンプレート:Mvar上の任意の一点テンプレート:Mvarを通る3つのを直径とする円をそれぞれ書く。3円のテンプレート:Mvarでない方の交点は共線である[2][7]。これはテンプレート:Mvarと3円の交点が成す三角形のシムソン線となる。

この定理には小倉金之助による一般化が存在する[8]

楕円に関する定理

2つの共焦点楕円に囲まれた領域を作る。内側の楕円に接するような軌道でボールを打ち出す。ビリヤードの球の様に外側の楕円で跳ね返るようにボールの軌道を描いたとき、軌道は、内側の楕円に接し続ける[1]

円錐曲線に関する定理

ある三角形とその極三角形配景の中心と配景の軸それぞれを、その円錐曲線に関する「極」「軸」と表現する。また、極三角形が元の三角形と一致するとき、円錐曲線に関して「自共役」であると表現する。

2つの円錐曲線テンプレート:Mvarについて、テンプレート:Mvarに内接する任意の三角形がテンプレート:Mvarに関して自共役であるとする。このときテンプレート:Mvarに内接する三角形のテンプレート:Mvarに関する極はテンプレート:Mvar上にある。テンプレート:Mvarに外接する三角形のテンプレート:Mvarに関する軸はテンプレート:Mvarに接する[2]

他にも、円錐曲線に関するサーモンの定理と呼ばれる定理が存在する[9]

ケイリー-サーモンの定理

円に内接する六角形テンプレート:Mvarにおいて、たとえばテンプレート:Mvarの交点をテンプレート:Mathと表す。テンプレート:Mathパスカルの定理より一直線(パスカル線)上にある。このパスカル線を{abcdefdebfbc}と書く。

今、それぞれテンプレート:Mvarテンプレート:Mvarテンプレート:Mvarの成す三角形について、2つの三角形の対応する辺の交点はパスカル線上にあるため、対応する頂点を結ぶ3直線は共点(シュタイナー点)である(シュタイナーの定理)。円上の6点についてシュタイナー点は20個存在する。次にそれぞれ3辺

abcdef,{abcdefdebfac}{cdbfaeafcebd}{efbdacbcaedf},{abcdefcfbdae}{cdbfaebeacdf}{efbdacadcebf},

からなる3つの三角形の、2つの三角形の対応する辺の交点はパスカル線上にあるため、対応する頂点を結ぶ3直線は共点(カークマン点)である。ここで、シュタイナー点1つとカークマン点3つを通るような直線が20本存在する。この20本の線は4本ずつ共点であり、このような点は15個存在する。これをケイリー-サーモンの定理という[2][10]アーサー・ケイリーの名を冠する。

他、テンプレート:仮リンク代数曲線に関する定理のサーモンの定理、ケイリー-サーモンの定理がある[11][12][13]

三角形に関しては、重心垂心外心テンプレート:仮リンク調和点列を成すことを、サーモンの定理と呼ぶこともある[14]

出典

テンプレート:Reflist

参考文献

外部リンク