パスカルの定理

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年9月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Pascal's theorem|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

パスカルの定理（パスカルのていり、英: Pscal's theorem , hexagrammum mysticum theorem）は、ブレーズ・パスカルが16歳のときに発見した円錐曲線に関する射影幾何学の定理である。

円に内接する六角形の対辺の延長線の交点は一直線上にある。更に拡張して、二次曲線上に異なる六つの点 P₁ ～ P₆をとると、直線 P₁P₂ と P₄P₅ の交点 Q₁、P₂P₃ と P₅P₆ の交点 Q₂、P₃P₄ と P₆P₁ の交点 Q₃ は同一直線上にある。この直線はパスカル線（Pascal line）と呼ばれる。 定理の証明の一つはうまく補助円を書くことで円の性質と三角形の相似だけで解くことができる。補助円を使わない証明も存在する。ブレーズ・パスカルの証明は歴史に残されていない。

また、この定理はユークリッド平面上でも有効であるが、平行など特別な場合は別途調整を行う必要がある。円錐曲線を2直線に退化させればパップスの六角形定理を得る。

この定理の双対、ブリアンションの定理によるとP_iにおける接線と P_j における接線の交点を R_ij とすると、3 直線 R₁₂R₄₅、R₂₃R₅₆、R₃₄R₆₁ は一点で交わる^[1]。

パスカルの定理はケイリー＝バッハラッハの定理の特殊な場合である。

パスカルの定理を4点に対して適応する。円錐曲線上の4点A,B,C,Dについて、六角形の対辺の交点の AB ∩ CD, BC ∩ DAと、対頂点の組(A, C)と (B, D)の接線の交点の延べ4点は共線である。これは、極と極線の関係と接触三角形の特性を用いて、証明できる。

パスカルの定理の逆はブライケンリッジ-マクローリンの定理（英語版）として知られる。

• Biggs, N. L. (1981), “T. P. Kirkman, mathematician”, Bulletin of the London Mathematical Society 13 (2): 97–120, doi:10.1112/blms/13.2.97, MR608093 

• Conway, John; Ryba, Alex (2012), “The Pascal Mysticum Demystified”, The Mathematical Intelligencer 34 (3): 4–8, doi:10.1007/s00283-012-9301-4 
• Coxeter, H. S. M.; Greitzer, Samuel L. (1967), Geometry Revisited, Washington, DC: Mathematical Association of America, p. 76 
• Guggenheimer, Heinrich W. (1967), Plane geometry and its groups, San Francisco, Calif.: Holden–Day Inc., MR0213943 
• Mills, Stella (March 1984), “Note on the Braikenridge–Maclaurin Theorem”, Notes and Records of the Royal Society of London (The Royal Society) 38 (2): 235–240, doi:10.1098/rsnr.1984.0014, JSTOR 531819, https://jstor.org/stable/531819 
• Modenov, P.S.; Parkhomenko, A.S. (2001) [1994], “Pascal theorem”, Encyclopedia of Mathematics, EMS Press
• Pascal, Blaise (1640年). “Essay pour les coniques” (facsimile). Niedersächsiche Landesbibliothek, Gottfried Wilhelm Leibniz Bibliothek. 2013年6月21日閲覧。

• Smith, David Eugene (1959), A Source Book in Mathematics, New York: Dover, ISBN 0-486-64690-4, https://books.google.com/books?id=awAfO7Ff_z0C&q=smith+source+book 
• Stefanovic, Nedeljko (2010), A very simple proof of Pascal's hexagon theorem and some applications, Indian Academy of Sciences, http://www.ias.ac.in/mathsci/vol120/nov2010/pm-10-00024.PDF 
• Wells, David (1991), The Penguin Dictionary of Curious and Interesting Geometry, London: Penguin Books, ISBN 0-14-011813-6, https://archive.org/details/penguindictionar0000well 
• Young, John Wesley (1930), Projective Geometry, The Carus Mathematical Monographs, Number Four, The Mathematical Association of America 
• van Yzeren, Jan (1993), “A simple proof of Pascal's hexagon theorem”, The American Mathematical Monthly (Mathematical Association of America) 100 (10): 930–931, doi:10.2307/2324214, ISSN 0002-9890, JSTOR 2324214, MR1252929, https://jstor.org/stable/2324214 

ウィキメディア・コモンズには、パスカルの定理に関連するカテゴリがあります。

• Interactive demo of Pascal's theorem (Java required) at cut-the-knot
• 60 Pascal Lines (Java required) at cut-the-knot
• The Complete Pascal Figure Graphically Presented by J. Chris Fisher and Norma Fuller (University of Regina)
• Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes (PDF; 891 kB), Uni Darmstadt, S. 29–35.
• How to Project Spherical Conics into the Plane by Yoichi Maeda (Tokai University)