26 января в 19:00 в столовой МЦНМО Борис Рафаилович Френкин проведет семинар по теме «Семь доказательств иррациональности корня из двух» по статье Дж. Конвея и Дж. Шипмана.
Как пишут авторы, «приятно и полезно находить доказательства, оптимальные относительно одной или нескольких целевых функций. Эти доказательства чаще оказываются красивыми, но кроме того и чаще подсказывают возможные обобщения и приложения».
В качестве реализации этой идеи рассматриваются семь доказательств иррациональности квадратного корня из двух, связанные с различными разделами математики. Каждое их них имеет свою степень общности и свои преимущества.