强对偶定理的证明_笔记:对偶原则与直线型(1)M-C定理

有了个想法,可惜时间不够,内容又太多太复杂,可能要到2/05之后才有时间.这段期间几乎不再上知乎了.所以先记在笔记本上吧.

一、定义

本文仅讨论平面几何

射影变换：有限次中心投影的复合。

仿射变换：一次线性变换复合一个平移，相当于平行投影。

单比：

交比：

对偶元素：在平面几何内点与直线互为对偶元素。

对偶命题：把命题中所有点按一定方式替换为直线，所有直线按一定方式替换为点，并把“过一点作一直线”和“在一直线上取一点”相互替换，把“三点共线”和“三线共点”相互替换后得到的命题为对偶命题。

对偶原则：当原命题只含有“三点共线”、“三线共点”和一些射影几何不变量的点线关系时，原命题与其对偶命题等价。

射影几何前置知识：

continuous：笔记:射影几何变换​zhuanlan.zhihu.com

射影几何不变量前置知识：

continuous：笔记:射影几何不变量​zhuanlan.zhihu.com

二、对偶原则

如何理解对偶原则呢，以下提供个人的一种看法：

在平面几何内，点的表示：