Обсуждение:Теорема Паппа

${\begin{matrix}\forall A,B,C,A',B',C'\ \ \forall a,a'\ \ (a\neq a'\ \land \ \langle A,B,C\rangle \in a^{3}\ \land \ \langle A'B'C'\rangle \in a'^{3}\\\ \land \ X\in AB'\ \cap \ A'B\ \land \ Y\in BC'\ \cap \ B'C\ \land \ Z\in CA'\ \cap \ C'A\\\ \to \exists b\ (\langle X,Y,Z\rangle \in b^{3}))\end{matrix}}$

История

Ссылка на некую легенду не имеет никакого отношения к делу; теорема содержится в «Собрании» Паппа.

Надо поменять рисунок. Так как три прямые ("верхняя", "средняя" и "нижняя") обязаны пересекаться в одной точке!

так как при проективном преобразовании параллельные прямые переходят в прямые - пересекающиеся в одной точке.

Нет не обязаны. --Тоша 21:22, 1 августа 2013 (UTC)