[논문 리뷰] 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)|2018. 03. 05.

Historical and Literary Studies참고 문헌 4인용 수 5

한 줄 요약

이 논문은 1639년의 Brouillon Project에서 지라르 데자르그가 사영기하학의 기본 결과를 증명하는 데 쓴 조합적 추론의 숙련된 사용을 분석한다. 특히 멜레아우스 정리를 사영기하학의 기초 결과에 적용한 점을 중심으로 하며, 조합적 프레임워크를 통해 멜레아우스 정리를 체계적으로 적용함으로써 'ramée' 정리와 원뿔곡선의 매듭에 관한 그의 위대한 정리와 같은 핵심 정리를 우아하고 약간의 자동화된 방식으로 증명한다. 이는 현대 사영기하 기법의 깊이 있는 초기 예고로 볼 수 있다.

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.

연구 동기 및 목표

• 데자르그가 Brouillon Project에서 어떻게 조합적 추론을 활용하여 사영기하학에서 엄밀하고 체계적인 증명을 달성했는지 조사하기.
• perspective 불변성과 원추곡선의 맥락에서 멜레아우스 정리가 데자르그의 증명에서 중심적인 도구로 어떻게 작용하는지 분석하기.
• 데자르그의 방법이 현대적 형태로는 아니지만, 그 구조적이고 조합적인 일관성 덕분에 현대 사영기하 기법을 예고하고 있음을 보여주기.
• 파스칼의 Essay pour les coniques와 빠그랑의 Advis charitables와 같은 동시대 저작들과의 비교를 통해 그의 방법론적 혁신을 맥락화하기.
• 멜레아우스 정리의 조합적 적용이 사영기하학에서 체계적이고 반복 가능한 증명 전략을 가능하게 하는 방식을 보여주기.

제안 방법

• 현대적 기호를 사용하여 1639년 Brouillon Project 원본을 분석함으로써 데자르그의 기하 구조와 논리적 흐름을 명확히 하기.
• 다중 투영에서 점, 선, 횡단선의 구성 관계를 추적함으로써 멜레아우스 정리의 조합적 해석을 적용하기.
• 멜레아우스 정리를 여덟 번의 연속적 적용을 통해 'ramée' 정리의 증명을 재구성함으로써 그 방법의 체계적 성격을 입증하기.
• 특히 원뿔곡선의 매듭에 대한 침습 정리와 같은 데자르그의 핵심 정리를 현대 사영기하 기하학 어휘와 변환어법을 사용하여 재구성하기.
• 데자르그의 접근 방식을 파스칼의 렘마 I와 빠그랑의 Advis charitables와 비교함으로써 17세기 초 사영기하의 추론에서의 연속성과 차이점을 부각하기.
• 원뿔의 꼭짓점에서 원을 가로지르는 원통형 단면으로의 사영 투영 프레임워크를 사용하여 일반적인 원추곡선 문제를 더 단순하고 불변하는 구성으로 환원하기.

실험 결과

연구 질문

• RQ1 데자르그는 어떻게 멜레아우스 정리를 체계적으로 적용하여 사영 투영에서의 불변성을 달성했는가?
• RQ2 'ramée' 정리의 증명 뒤에 있는 조합적 구조는 무엇이며, 그것이 멜레아우스 정리의 반복적 적용을 가능하게 하는 방식은 어떠한가?
• RQ3 데자르그가 침습과 원뿔곡선의 매듭을 다루는 방식이 어떻게 현대 사영기하학을 예고하고 있는가?
• RQ4 데자르그의 작업에서의 조합적 방법은 파스칼의 Essay pour les coniques와 빠그랑의 Advis charitables의 접근 방식과 어떻게 비교될 수 있는가?
• RQ5 Brouillon Project는 비공식적이고 체계가 없는 표현 방식을 지녔음에도 불구하고, 그것이 얼마나 체계적이고 기초적인 논문으로 볼 수 있는가?

주요 결과

• 데자르그는 멜레아우스 정리를 단순한 도구로만 사용한 것이 아니라, 점-선 구성의 조합적 분석을 통해 증명을 체계적으로 생성하는 구조적 프레임워크로 활용했다.
• 'ramée' 정리의 증명은 멜레아우스 정리를 여덟 번의 연속적 적용에 기반하며, 각각 특정한 횡단선 구성에 대응하여 방법론적 통제의 고도를 보여준다.
• 사영 투영에서의 침습 불변성—'ramée' 정리의 핵심 요소—은 구성 내부의 조합적 대칭성의 결과로 나타나며, 이는 명백하다.
• 데자르그의 원뿔곡선의 매듭에 관한 위대한 정리는 동일한 조합적 기계장치를 통해 증명 가능함이 드러나, 통합된 방법론적 접근 방식을 시사한다.
• 분석 결과, 데자르그의 방법은 고전적 언어로 표현되었지만 논리적으로 엄밀하며, 현대 사영기하 불변성 원리의 예고로 볼 수 있다.
• 파스칼의 렘마 I와 빠그랑의 Advis charitables와의 비교를 통해, 데자르그의 조합적 방법이 사영기하학 초기 발전에 있어 혁신적이며 영향력 있었음을 확인할 수 있다.