[論文レビュー] L'usage de la combinatoire chez Girard Desargues : le cas du théorème de Ménélaüs

Jean-Yves Briend, Marie Anglade|arXiv (Cornell University)|Mar 5, 2018

Historical and Literary Studies参考文献 4被引用数 5

ひとこと要約

この論文は、1639年の『ブリュッソン・プロジェクト』において、ギヨーム・ド・ザルゴーが組合せ的推論を巧みに用いて射影幾何学の基礎的結果を証明した様子を分析している。特に、メンラウスの定理を応用することで、『ラメ』定理や円錐曲線の線束に関する彼の偉大な定理といった主要な定理を、洗練され、ほとんど自動的に行われるような証明を達成している。これは、現代の射影幾何学的手法の深い初期の先行例を示している。

ABSTRACT

We show in this article how Girard Desargues, in his well known text on conics, the extit{Brouillon Project,} manages to use Menelaos' theorem with some awesome virtuosity. To this end, we propose a detailed analysis of his extit{combinatorial} approach, which was already visible in the development of his notion of involution. We shall study the proofs of two important theorems of the extit{Brouillon.} The first is the theorem of the "ramée", stating that the configuration of involution is invariant by perspective projection, and the second is the great theorem of Desargues on pencils of conics. We shall also study in the same spirit the first lemma (dealing with the hexagram) of the extit{Essay pour les coniques} by Pascal and the extit{Advis charitables} by de Beaugrand.

研究の動機と目的

• ザルゴーが『ブリュッソン・プロジェクト』において、射影幾何学の厳密で体系的な証明を達成するために、どのように組合せ的推論を用いたかを調査すること。
• 視点変換における不変性や円錐曲線の文脈において、メンラウスの定理が証明の中心的役割を果たす様子を分析すること。
• 形式的に現代的でないものの、構造的・組合せ的整合性を示すことで、ザルゴーの方法が現代の射影幾何学的手法を予見していることを示すこと。
• パاسカルの『円錐曲線についての論説』やビオグランの『慈悲深い助言』といった同時代の著作と比較することで、彼の方法的革新を文脈づけること。
• メンラウスの定理の組合せ的応用が、射影幾何学における体系的で再帰可能な証明戦略を可能にしている様子を示すこと。

提案手法

• 現代の記法を用いて、1639年の『ブリュッソン・プロジェクト』原典を分析し、ザルゴーの幾何的構成と論理的展開を明確化すること。
• 点・直線・横断線の配置を複数の射影にわたって追跡することで、メンラウスの定理の組合せ的解釈を適用すること。
• メンラウスの定理を8回連続して適用することで、『ラメ』定理の証明を再構成し、その方法の体系的性質を示すこと。
• 特に円錐曲線の線束に関する対合定理を、現代の射影幾何学用語と変換の言語を用いて再定式化すること。
• パスカルの補題Iとビオグランの『慈悲深い助言』とを比較することで、17世紀初頭の射影的推論における連続性と相違点を浮き彫りにすること。
• 円錐の頂点から円を含む断面に射影する視点射影の枠組みを用い、一般の円錐曲線問題をより単純で不変な構成に還元すること。

実験結果

リサーチクエスチョン

• RQ1 ザルゴーは、視点射影における不変性を達成するために、どのようにメンラウスの定理を体系的に応用したのか？
• RQ2 『ラメ』定理の証明の背後にある組合せ的構造は何か？ そして、それがメンラウスの定理の繰り返し適用を可能にするのか？
• RQ3 ザルゴーの対合および円錐曲線の線束の取り扱い方は、どのように現代の射影幾何学を予見しているのか？
• RQ4 ザルゴーの組合せ的アプローチは、パスカルの『円錐曲線についての論説』およびビオグランの『慈悲深い助言』のアプローチとどのように比較できるか？
• RQ5 『ブリュッソン・プロジェクト』は、形式的でなく散らかった表現を示しているが、その程度までに体系的で基礎的な論説と見なせるのか？

主な発見

• ザルゴーはメンラウスの定理を単なる道具として用いたのではなく、点・直線の配置の組合せ的分析を通じて証明を体系的に生成する構造的フレームワークとして用いた。
• 『ラメ』定理の証明は、8回の連続したメンラウスの定理の適用に依存しており、それぞれが特定の横断線配置に対応しており、その方法の高い体系的制御性を示している。
• 視点射影における対合の不変性—『ラメ』定理の中心的要素—は、配置に内在する組合せ的対称性の結果であることが示された。
• 円錐曲線の線束に関するザルゴーの偉大な定理も、同じ組合せ的メカニズムによって証明可能であることが明らかになり、統一的な方法的戦略の存在を示唆している。
• 分析により、ザルゴーの方法は、前近代的な言語で表現されてはいるが、論理的に厳密であり、現代の射影的不変性原理を予見していることが明らかになった。
• パスカルの補題Iおよびビオグランの『慈悲深い助言』との比較から、ザルゴーの組合せ的アプローチが、射影幾何学の初期段階を形作る上で画期的かつ影響力を持っていたことが示された。