[25 марта (ВТОРНИК), 16:15, ауд. 302]
Станислав Кузнецов,
"Коники, 2-2 соответствия и поризм Понселе"

Поризм Понселе (или Теорема Понселе) является классическим фактом проективной алгебраической геометрии. Эта знаменитая теорема является примером так называемой теоремы о замыкании, когда некоторый процесс построения новых точек в результате проведения тех или иных линий, зацикливается через некоторое количество шагов. У этого факта есть множество разных доказательств, версий и обобщений. Все сильные матшкольники в 10-11 классах обычно знают эту теорему и ноль-два ее доказательства в общем случае (есть классическое геометрическое рассуждение через пучки окружностей, а есть аналитическое доказательство через функцию плотности — и то, и другое есть в статье Протасова "два века теоремы Понселе"), но они обладают теми проколами, что работают лишь в вещественной проективной плоскости, то есть используют средства евклидовой геометрии.

На докладе мы обсудим чисто алгебраический подход к поризму Понселе через так называемые 2-2 соответствия, который не просто докажет ее в общем случае на CP² с кониками, но еще и определенное количество смежных фактов: например, этого, этого и этого. Более того, на проекте будут решены две задачи с проекта ЛКТГ по движению точек, одну из которых не решил ни один из участников, а другую не решили даже жюри - некоторое время (больше полугода) она оставалась нерешенной.

Пререквизиты: желательно понимать, что такое CP², CP¹ и коника. В принципе, больше ничего особо и не надо.