Математические байки
Kanalga Telegram’da o‘tish
Рассказы про разную математику. Архив: http://dev.mccme.ru/~merzon/mirror/mathtabletalks/
Ko'proq ko'rsatish4 283
Obunachilar
+224 soatlar
+117 kunlar
+2430 kunlar
Ma'lumot yuklanmoqda...
O'xshash kanallar
Taglar buluti
Kirish va chiqish esdaliklari
---
---
---
---
---
---
Obunachilarni jalb qilish
Iyul '26
Iyul '26
+39
0 kanalda
Iyun '26
+31
0 kanalda
Get PRO
May '26
+35
1 kanalda
Get PRO
Aprel '26
+27
0 kanalda
Get PRO
Mart '26
+22
0 kanalda
Get PRO
Fevral '26
+33
0 kanalda
Get PRO
Yanvar '26
+36
0 kanalda
Get PRO
Dekabr '25
+83
2 kanalda
Get PRO
Noyabr '25
+39
0 kanalda
Get PRO
Oktabr '25
+38
0 kanalda
Get PRO
Sentabr '25
+75
2 kanalda
Get PRO
Avgust '25
+60
0 kanalda
Get PRO
Iyul '25
+73
2 kanalda
Get PRO
Iyun '25
+54
1 kanalda
Get PRO
May '25
+80
2 kanalda
Get PRO
Aprel '25
+50
0 kanalda
Get PRO
Mart '25
+59
1 kanalda
Get PRO
Fevral '25
+42
0 kanalda
Get PRO
Yanvar '25
+99
4 kanalda
Get PRO
Dekabr '24
+107
2 kanalda
Get PRO
Noyabr '24
+78
0 kanalda
Get PRO
Oktabr '24
+88
0 kanalda
Get PRO
Sentabr '24
+150
5 kanalda
Get PRO
Avgust '24
+84
1 kanalda
Get PRO
Iyul '24
+106
1 kanalda
Get PRO
Iyun '24
+96
0 kanalda
Get PRO
May '24
+165
3 kanalda
Get PRO
Aprel '24
+278
3 kanalda
Get PRO
Mart '24
+145
3 kanalda
Get PRO
Fevral '24
+97
1 kanalda
Get PRO
Yanvar '24
+177
1 kanalda
Get PRO
Dekabr '23
+124
2 kanalda
Get PRO
Noyabr '23
+199
6 kanalda
Get PRO
Oktabr '23
+72
0 kanalda
Get PRO
Sentabr '23
+57
0 kanalda
Get PRO
Avgust '23
+60
0 kanalda
Get PRO
Iyul '23
+142
0 kanalda
Get PRO
Iyun '23
+88
0 kanalda
Get PRO
May '23
+274
0 kanalda
Get PRO
Aprel '23
+82
0 kanalda
Get PRO
Mart '23
+44
0 kanalda
Get PRO
Fevral '23
+75
0 kanalda
Get PRO
Yanvar '23
+67
0 kanalda
Get PRO
Dekabr '22
+39
0 kanalda
Get PRO
Noyabr '22
+59
0 kanalda
Get PRO
Oktabr '22
+30
0 kanalda
Get PRO
Sentabr '22
+37
0 kanalda
Get PRO
Avgust '22
+41
0 kanalda
Get PRO
Iyul '22
+215
0 kanalda
Get PRO
Iyun '22
+22
0 kanalda
Get PRO
May '22
+30
0 kanalda
Get PRO
Aprel '22
+39
0 kanalda
Get PRO
Mart '22
+37
0 kanalda
Get PRO
Fevral '22
+21
0 kanalda
Get PRO
Yanvar '22
+51
0 kanalda
Get PRO
Dekabr '21
+37
0 kanalda
Get PRO
Noyabr '21
+58
0 kanalda
Get PRO
Oktabr '21
+65
0 kanalda
Get PRO
Sentabr '21
+52
0 kanalda
Get PRO
Avgust '21
+82
0 kanalda
Get PRO
Iyul '21
+115
0 kanalda
Get PRO
Iyun '21
+103
0 kanalda
Get PRO
May '21
+357
0 kanalda
Get PRO
Aprel '21
+104
0 kanalda
Get PRO
Mart '21
+68
0 kanalda
Get PRO
Fevral '21
+72
0 kanalda
Get PRO
Yanvar '21
+54
0 kanalda
Get PRO
Dekabr '20
+1 759
0 kanalda
| Sana | Obunachilarni jalb qilish | Esdaliklar | Kanallar | |
| 24 Iyul | 0 | |||
| 23 Iyul | +3 | |||
| 22 Iyul | 0 | |||
| 21 Iyul | +3 | |||
| 20 Iyul | +5 | |||
| 19 Iyul | +1 | |||
| 18 Iyul | 0 | |||
| 17 Iyul | +3 | |||
| 16 Iyul | +1 | |||
| 15 Iyul | +6 | |||
| 14 Iyul | +3 | |||
| 13 Iyul | +2 | |||
| 12 Iyul | 0 | |||
| 11 Iyul | +2 | |||
| 10 Iyul | +1 | |||
| 09 Iyul | +1 | |||
| 08 Iyul | 0 | |||
| 07 Iyul | +1 | |||
| 06 Iyul | +4 | |||
| 05 Iyul | 0 | |||
| 04 Iyul | +1 | |||
| 03 Iyul | 0 | |||
| 02 Iyul | +2 | |||
| 01 Iyul | 0 |
Kanal postlari
Repost from Непрерывное математическое образование
x.com/davikrehalt/status/2079175065695035442
«GPT:
Take π: P¹ × Sym²(P¹) → Sym³(P¹), (p, {q,r}) ↦ {p,q,r}.
R be its ramification divisor;
H ⊂ Sym³(P¹) ≅ P³ be hyperplane tangent but not osculating to the small diagonal;
X := (P¹ × Sym²(P¹)) \ (R ∪ π⁻¹(H)) ≅ A³;
Y := Sym³(P¹) \ H ≅ A³.
π|X: X → Y is counterexample»
| 2 | Claude Fable построил контрпример к гипотезе Якобиана.
Напомню, что гипотеза о якобиане утверждает следующее. Пусть дано полиномиальное отображение
ℂ^n → ℂ^n,
определитель матрицы Якоби которого является ненулевой константой. Тогда это отображение должно иметь полиномиальное обратное отображение.
https://en.wikipedia.org/wiki/Jacobian_conjecture
Впервые эта гипотеза была сформулирована для случая двух переменных Людвигом Краусом в 1884 году, а затем в полной общности — Отто-Генрихом Келлером в 1939 году. Гипотеза о якобиане занимает 16-е место в списке «Математические задачи следующего столетия», составленном Стивеном Смейлом в 1998 году.
Левент Альпёге — американо-турецкий математик, специалист по теории чисел, диофантовой геометрии и арифметической статистике. Ранее он был Junior Fellow в Harvard Society of Fellows, а затем оставил стандартную академическую карьеру и перешёл в Anthropic, где занимается искусственным интеллектом.
https://alpo.ge/
20 июля Альпёге опубликовал в социальной сети X явный контрпример к гипотезе, который был найден при помощи Claude Fable:
https://x.com/__alpoge__/status/2079028340955197566
Контрпример построен в размерности n=3 и задаётся полиномиальным отображением:
(
(1+xy)^3 z + y^2 (1+xy) (4+3xy) ,
y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy) ,
2 x - 3 x^2 y - x^3 z
)
Определитель матрицы Якоби этого отображения равен −2. Однако отображение не является инъективным, поскольку его значения совпадают на следующих трёх точках:
(0, 0, -1/4),
(1, -3/2, 13/2),
(-1, 3/2, 13/2). | 809 |
| 3 | И другая пара препринтов того же дня:
• наш с Андресом https://arxiv.org/abs/2607.11748
• и Максимилиано Эскайолы https://arxiv.org/abs/2607.11616 , безумно красиво модифицирующий нашу с Андресом конструкцию — и строящий контрпример к стоявшему 45 лет вопросу Dusa McDuff! (Подробности будут, конечно 🙂 )
Хороший был день, насыщенный 🙂 | 1 435 |
| 4 | А нельзя ли это отображение продолжить на всю сферу? Хочется сказать, что образ полнотория незаузлен, так давайте отображение в него зададим как перетаскивание (изотопию) полнотория из исходного положения в конечное, ну и по теореме о продолжении изотопии (как если бы пространство вокруг было заполнено вязким гелем) продолжим до отображения всего пространства в себя (а ещё лучше, сферы S^3, добавив точку на бесконечности).
Так вот, оказывается, тут есть подводный камень! Чтобы отображение можно было перетащить в тождественное, нужно добавить « скручивание » вдоль центральной оси полнотория. Или наоборот: если сложить провод (или толстую верёвку) колечками, а потом попробовать потянуть за концы, провод пойдёт петельками из-за скручивания вдоль.
Когда до нас это дошло, я сказал Винсенту, что он, наверное, не застал эту эпоху, а вот когда были проводные телефоны, провод телефона всегда так делал. На что получил замечательный ответ, что проводные телефоны он действительно не застал, зато на проводных наушниках на это натыкался неоднократно. | 1 592 |
| 5 |  А ещё — там было очень интересное место, которое от нас потребовало существенной аккуратности.
Отображение x->2x на окружности необратимо. Но давно придумали конструкцию (соленоид Смейла-Вильямса), как можно за счёт увеличения размерности превратить его в обратимое. А именно, рассматривается отображение полнотория S^1\times D в себя,
(x,z) -> (2x mod 1, (z/10) + exp(2πix)),
которое на каждом диске-меридиане сильно сжимает, и «разносит в стороны» образы дисков. Получается обратимое отображение полнотория внутрь себя, которое можно итерировать, диффеоморфизм на образ. У Юлия Сергеевича Ильяшенко в его брошюре
https://old.mccme.ru//dubna//books/pdf/ilyashenko-attr.pdf
есть соответствующая картинка на с. 9. | 1 370 |
| 6 | Позавчера выложили на арХив нашу работу с Vincent Goverse: https://arxiv.org/abs/2607.11421
У неё интересная история — когда только выложили препринт про гельдеровость (или строго положительную размерность) стационарных мер (https://arxiv.org/abs/2209.12342 ; потом — статья в Inventiones, https://link.springer.com/article/10.1007/s00222-025-01389-y ), Винсент (тогда аспирант первого года) написал нам письмо с вопросами про этот текст; мы ответили.
Через какое-то время Винсент предложил план, как можно было бы наш результат попробовать обобщить на случай, если отображения не диффеоморфизмы, а только локально обратимые (скажем, удвоение угла x->2x на окружности). Программа звучала очень естественно, Винсент приехал ко мне… и на то ли второй, то ли третий день мы построили (максимально возможный) контрпример.
Что было совершенно неожиданно — ну и дальше мы начали копать и строить связанные с этим примеры. И вот — готово, текст дописан и выложен. Уфф! | 1 235 |
| 7 | Matn yo'q... | 212 |
| 8 | О, ура! | 393 |
| 9 |  В золотые годы моей юности, да и всего МЦНМО.
Сегодня хороший день поговорить про одного математика.
Когда я выпускался из школы, я ещё много лет везде писал «Математический класс 57 школы под классным руководством И. В. Ященко». Потом начал писать «Ященко/Мерзон», потому что всё больше замечал, что на самом деле огромную, подавляющую часть моего становления как ученика и как педагога проделал Гриша.
Для тех, кто скорее не знаком с тем, как «у нас» в математическом образовании всё устроено. Математика в РФ часто превозносится над многими науками — ресурсов там больше и позволено многое. Но, в отличие от разных других сфер, эти деньги не только пилятся — ещё и что-то появляется. Есть система олимпиад, есть выездные школы, есть какие-то пути для молодых математиков, есть культура преподавания математики, которые бизнесово неоправданны (7 педагогов на 20 детей несколько раз в неделю в течение многих лет), бесплатные для участников олимпиады и школы. Есть НМУ (университет), МЦНМО (кружки, издательство), ЦПМ, ЛШСМ, матфак ВШЭ, «Квантик», Матпраздник, Лаборатория математики при МИАН (её вы знаете, например, по «Математическим этюдам»).
Всё это случилось благодаря совокупности факторов — традициям, которые сохраняли между поколениями; людям, которые шли по административной лестнице и выбивали из государства возможность это делать; наикрутейшим педагогам, которые были освобождены от оргвопросов; и нескольким невидимым людям, которые КРОМЕ преподавания успевали ещё и двигать все эти процессы и поддерживать их.
На ум не приходит человек, который сделал бы для всех этих проектов столько, сколько Гриша.
Он учил меня в школе, учил работать на кружках, помогал, когда работали вместе, — буквально всё, что я умею, знаю, и очень многое из того, во что верю, появилось в моей жизни из-за него. Идея, что образование должно быть непрерывным и персонализированным. Как строить учебный процесс. Как искать этот баланс и на что обращать внимание. Где проявить жёсткость и какие границы должны быть, чтобы оно не распалось и не расползлось.
И конечно, ровно как и во время обучения в школе, — это никогда не было «вот так правильно, делай так». А как в листочках: такие задачи, вызовы и вопросы, заданные в правильном месте и посильные в этот момент, что это приходит само и от себя. Потратил он на меня немало сил — и ровно в эти же дни успевал составлять олимпиады, учить классы и курсы, организовывать школы…
И отдельно я признателен, что даже при такой нагрузке всё ещё могу прийти посоветоваться, узнать что-нибудь новое или что мысль, которая пришла мне в голову, уже изучена, — и получить сотни материалов для дальнейшего углубления.
Я не умещу в этот пост перечисление, достойное всех проектов и степени соучастия Гриши, поэтому ограничусь ссылкой на его страницу — https://dev.mccme.ru/~merzon/ — и ссылкой на офигенный телеграм-канал, где Гриша в этом году изучает использование компьютера для математических задач и наглядности: https://t.me/compmathweekly.
В общем-то, в соответствии со своими убеждениями (что звание на табличке гораздо менее важно, чем суть) Гриша и этот пост может посчитать излишним, но я не знаю, как ещё выразить благодарность учителю-сенсею, — а тут и повод есть.
С днём рождения, дорогой! Надеюсь еще много и по разному поработать вместе.
Привет,
А. | 1 641 |
| 10 | К одной оффлайновой дискуссии вчера: про предел
(1+a/n)^n -> e^a при n->\infty.
Двадцать лет назад я считал, что «правильный» способ об этом думать, это раскрыть скобки по биному, перейти к пределу почленно — из
C_n^k /n^k * a^k = (n(n-1)…(n-k+1))/(k!*n^k) * a^k
предельным переходом получается a^k/k! (потому что в числителе тоже почти что n^k). Дальше получается ряд \sum_k a^k/k!, а это и есть экспонента e^a; остаётся объяснить корректность (равномерную по n сходимость этих сумм по k, ибо они мажорируются как раз рядом для экспоненты).
А подход через логарифм считал странным трюком.
А сейчас — наоборот: мне кажется, что «правильный» (ну или, как минимум, один из правильных) способов к этому подходить — это рефлекторное применение правила «Видишь [длинное] произведение — прологарифмируй!». А n-я степень это то же произведение.
Убираем под логарифм, получаем
n * \ln (1+ a/n) = n* (a/n + o(1/n)) -> a, n ->\infty,
значит, сама степень стремится к e^a.
Понятно, что можно и так, и так. Но рефлекс, что произведение всегда гораздо лучше выглядит после логарифмирования (сложение это гораздо более простая операция, а вычисление логарифмов сомножителей работает с ними по отдельности, что обычно просто) — по-моему, это рефлекс правильный… | 2 265 |
| 11 | Вот тут у коллег выложены очень красивые картинки аргумента многочлена большой степени (200) со случайными (равномерно выбираемыми на [-10,10]) коэффициентами. Картинка под спойлером не случайно — она неожиданная. Кстати, корни многочлена со случайными коэффициентами, равными +1/-1 (подкидывая монетку) — тоже расположены довольно красиво; см. тут.
А возвращаясь к исходной картинке у коллег — мне ещё хочется вспомнить доказательство Гаусса основной теоремы арифметики, которое я узнал из книги «Математические прогулки» Этьена Жиса. В упрощённом пересказе (чтобы не оговаривать кратные корни) — если все корни простые, то кривые Re P(z) =0 и Im P(z) = 0 это гладкие кривые. При этом рядом с бесконечностью их участки чередуются — а они должны разбиваться на пары, соединяясь в гладкие кривые. Так что кому-то уж точно придётся с кем-то пересечься, а точка пересечения это и есть корень (см. рисунки по ссылке). | 2 051 |
| 12 | https://t.me/compmathweekly/146 | 64 |
| 13 |  +4Маятник Фуко позволяет увидеть (не глядя на неподвижные звёзды!) вращение Земли вокруг своей оси: маятник последовательно сбивает предметы, расставленные по кругу, а значит, поворачивается относительно пола.
Как связаны вращение Земли вокруг оси и поворот плоскости колебаний маятника Фуко? Почему на полюсе маятник Фуко делает полный оборот за сутки, а на экваторе его плоскость колебаний вращаться не будет? Какую часть круга заметёт за сутки маятник Фуко, находящийся на данной широте? Наглядный и запоминающийся ответ на эти вопросы даёт геометрический подход, представленный в фильме «Маятник Фуко».
Правило для запоминания: на данной параллели маятник Фуко за сутки заметает сектор, являющийся развёрткой конуса, касающегося сферы по этой параллели. Объяснение для интересующихся: поворот маятника Фуко — это параллельный перенос (в смысле дифференциальной геометрии) вектора вдоль параллели — замкнутого пути, не являющегося кратчайшим на сфере.
Этим фильмом «Математические вторники» 2025/2026 завершаются. | 1 560 |
| 14 | arxiv.org/abs/2606.10102
Giovanni Forni выложил препринт, в котором, как утверждается, доказано существование периодических бильярдных траекторий во всех многоугольниках | 1 735 |
| 15 | zykin.mccme.ru
в четверг (11.06) в МИАН будет десятая конференция памяти Алексея Зыкина (13.06.1984–22.04.2017)
11:00 Сергей Давыдов. Стабильность для представлений спин-симметрической группы
12:15 Алексей Устинов. Последовательности Сомоса
15:00 Виктор Петров. Мотивы Чжоу некоторых многообразий Мукаи
16:15 Михаил Цфасман. Сильно вырожденные пересечения квадрик | 1 808 |
| 16 | несколько пренебрегая принципом «show, don't tell», хотел кратко написать про связи (местами пунктирные) между некоторыми из сюжетов здесь
начнем с конца. для рациональной точки P на эллиптической кривой знаменатель nP растет примерно как c^{n²}
раньше обсуждались замощения доминошками области на плоскости… и там часто количество замощений растет с той же асимптотикой, c^{площадь}
например, для обсуждавшегося ацтекского брильянта ответ — 2^{n(n+1)/2}. этот ответ можно «сконденсировать», доказав рекурренту M(n+1)M(n-1)=2M(n)²
бывают разные квадратичные рекурренты в таком духе, в т.ч. упоминавшиеся здесь мельком знаменитые последовательности Сомоса… и, скажем, Сомос-4, действительно, кодирует сложение на эллиптической кривой
у этого всего есть игрушечные версии: можно мостить не по настоящему двумерную фигуру, а более-менее одномерную — прямоугольник 2×N (или 3×N и т.п. — такого рода вещи где-то в начале обсуждались), тогда ответы получаются типа Фибоначчи, которые удовлетворяют [не только квадратичным, но и] линейным рекуррентам, имеют более простую асимптотику c^n
расставляя на доминошках веса, можно добиться, чтобы «одномерные» замощения считали вещи типа sin(nx) — т.е. nP не на эллиптической кривой, а просто на окружности (кажется не писал про тригонометрию доминошек здесь, только рассказывал на семинаре учителей)
хотелось бы конечно это поднять на эллиптический уровень, чтобы nP считали двумерные замощения доминошками… кажется по кр мере про Сомоса что-то такое известно… в этом тоже не разобрался
разные более конкретные вещи тоже можно пытаться переносить: скажем, F_n | F_{nm} — и вот для последовательности знаменателей nP (скажем, сгенерированных кодом из предыдущего поста конкретно) верно буквально то же… и т.п.
незаконченное обсуждение арифметико-геометрического среднего конечно тоже связано со сложением на кубике, AGM реализует «эллиптический логарифм» (это наоборот, как имея точку xP найти x… вещественное или даже комплексное)
но пока step into the elliptic realm не выходит, только трогаю пальцами холодную воду | 2 321 |
| 17 | в качестве картинок по выходным — https://matema-fest.ru/gallery/
( контекст: https://t.me/turings_crossword/1541 ) | 1 557 |
