Паппа Аксиома

Если l и l' — две различные прямые, А, В, С и А', В', С' — тройки различных точек прямых lи l'соответственно, отличных от точки пересечения прямых lи l', то точки пересечения прямых AВ' и А'В, ВС' и В'С, АС' к А'С лежат на одной прямой. Выполнение П. а. эквивалентно коммутативности тела, соответствующего рассматриваемой проективной геометрии. Дезарга предложение является следствием П. а. (теорема Xессенберга), в то же время П. а. представляет собой вырожденный случай Паскаля теоремы. П. а. предложена Паппом (3 в.). П С. Моденов. А. С. Пархоменко.