Forwarded from ppetya
Симплектоморфизм Архимеда (так называл его Арнольд) — это замечательное отображение сферы без полюсов на цилиндр, описанный около сферы. Это отображение сохраняет вертикальную и угловую координаты точки. Замечательно оно тем, что является симплектоморфизмом, то есть сохраняет площади — фигура на сфере переходит в фигуру той же площади на цилиндре. В частности площадь цилиндра равна площади сферы (это многие проверят в уме).
Сегодня узнал в канале непрерывного математического образования про совершенно другой симплектоморфизм: между сферой без северного полюса и кругом двойного радиуса. В канале мультик с рассказом, а словами этот симплектоморфизм описывается так: каждый меридиан (из южного полюса) сферы нужно повернуть вокруг его касательной в южном полюсе так, чтобы он стал горизонтальным. Получается круг, двойного радиуса, его площадь равна площади сферы, но более того — площади фигур сохраняются.
Первый симплектоморфизм имел (если не путаю) отношение к «теореме о теннисном мяче» — вложенная гладкая кривая на сфере, делящая ее площадь пополам, имеет не меньше четырех перегибов. А какие замечательные точки кривых на сфере можно «увидеть» с помощью второго симплектоморфизма?
Сегодня узнал в канале непрерывного математического образования про совершенно другой симплектоморфизм: между сферой без северного полюса и кругом двойного радиуса. В канале мультик с рассказом, а словами этот симплектоморфизм описывается так: каждый меридиан (из южного полюса) сферы нужно повернуть вокруг его касательной в южном полюсе так, чтобы он стал горизонтальным. Получается круг, двойного радиуса, его площадь равна площади сферы, но более того — площади фигур сохраняются.
Первый симплектоморфизм имел (если не путаю) отношение к «теореме о теннисном мяче» — вложенная гладкая кривая на сфере, делящая ее площадь пополам, имеет не меньше четырех перегибов. А какие замечательные точки кривых на сфере можно «увидеть» с помощью второго симплектоморфизма?
Математические байки
К вопросу со звёздочкой: давайте я немного поговорю про игру "ним". Правила игры — есть несколько кучек камней, за один ход можно взять сколько угодно камней из любой одной кучки. Кто не может сделать ход — проиграл (иными словами, выигрывает взявший последний…
Nim-cube.pdf
755.8 KB
Вот почти-мультфильм с тем, как по слоям заполняются выигрышные и проигрышные позиции для нима на 3 кучках, в которых исходно меньше 8 камней в каждой — или, что то же самое, в игре "ладью в угол" в кубе 8x8x8.
Справа — таблица текущего слоя; когда мы на него только переходим, из всех проигрышных позиций со всех слоёв ниже приходят выигрышные позиции, поэтому исходно он не совсем пустой.
Слои последовательно заполняются: механическим, раз за разом, применением правила "если из позиции можно пойти в проигрышную, то она выигрышная, а если можно только в выигрышные, то она проигрышная".
Слева — таблица "знаем ли мы уже для данного столбца, в каком слое в нём проигрышная позиция" (двух проигрышных позиций, одна над другой, быть не может).
(Кстати: обычно стрелочки вправо-влево позволяют перелистывать слайды так, чтобы они друг относительно друга не съезжали.)
И — наблюдая за такой, механически полученной, картинкой, можно пройти по очень правильному пути: заметить-сформулировать-доказать.
Справа — таблица текущего слоя; когда мы на него только переходим, из всех проигрышных позиций со всех слоёв ниже приходят выигрышные позиции, поэтому исходно он не совсем пустой.
Слои последовательно заполняются: механическим, раз за разом, применением правила "если из позиции можно пойти в проигрышную, то она выигрышная, а если можно только в выигрышные, то она проигрышная".
Слева — таблица "знаем ли мы уже для данного столбца, в каком слое в нём проигрышная позиция" (двух проигрышных позиций, одна над другой, быть не может).
(Кстати: обычно стрелочки вправо-влево позволяют перелистывать слайды так, чтобы они друг относительно друга не съезжали.)
И — наблюдая за такой, механически полученной, картинкой, можно пройти по очень правильному пути: заметить-сформулировать-доказать.
Математические байки
Nim-cube.pdf
Если посмотреть на расположения проигрышных позиций, которые появляются на уровне k=0, на первых двух k=0,1 и на первых четырёх k=0,1,2,3 — то бросаются в глаза цепочки квадратов со стороной 1-2-4 соответственно, выстраивающихся вдоль главной диагонали.
И становится ясно, что так продолжается и дальше: если (уже в бесконечном октанте) посмотреть на первые 2^m уровней, когда в третьей кучке k=0,..., 2^m -1 камней, то проявившиеся проигрышные позиции заполняют цепочку квадратов со стороной 2^m. После чего на следующих 2^m уровнях точно так же заполняются квадраты над/под этой цепочкой, которые дополняют эту цепочку до цепочки вдвое больших квадратов.
И становится ясно, что так продолжается и дальше: если (уже в бесконечном октанте) посмотреть на первые 2^m уровней, когда в третьей кучке k=0,..., 2^m -1 камней, то проявившиеся проигрышные позиции заполняют цепочку квадратов со стороной 2^m. После чего на следующих 2^m уровнях точно так же заполняются квадраты над/под этой цепочкой, которые дополняют эту цепочку до цепочки вдвое больших квадратов.
Forwarded from Кроссворд Тьюринга (Ваня Яковлев)
📢 Лекция Григория МЕРЗОНА в это воскресенье, 10 декабря 18:00 МСК
Григорий Мерзон — сотрудник МЦНМО и Лаб. популяризации и пропаганды математики МИАН, редактор журнала «Квантик».
🔍 Геометрические неравенства
📝 Мы поговорим про геометрические неравенства. Вот два примера задач.
* Как оценить площадь фигуры, если известен ее периметр? Как уточнить оценку, если известна дополнительная информация про геометрию фигуры?
* В метро разрешается проносить только такие коробки (прямоугольные параллелепипеды), у которых сумма измерений по длине, ширине и высоте не больше 150 см. Можно ли обойти это правило, убрав запрещенную коробку внутрь разрешенной?
Рассказ предполагается элементарным. От слушателей ожидается, что они знают формулу площади круга, морально готовы (не только рисовать картинки, но и) раскрывать скобки, не боятся слова “вероятность”.
⏰ Начало в 18:00 МСК.
📌 Ссылка на Zoom.
#открытые_лекции #анонс
Григорий Мерзон — сотрудник МЦНМО и Лаб. популяризации и пропаганды математики МИАН, редактор журнала «Квантик».
🔍 Геометрические неравенства
📝 Мы поговорим про геометрические неравенства. Вот два примера задач.
* Как оценить площадь фигуры, если известен ее периметр? Как уточнить оценку, если известна дополнительная информация про геометрию фигуры?
* В метро разрешается проносить только такие коробки (прямоугольные параллелепипеды), у которых сумма измерений по длине, ширине и высоте не больше 150 см. Можно ли обойти это правило, убрав запрещенную коробку внутрь разрешенной?
Рассказ предполагается элементарным. От слушателей ожидается, что они знают формулу площади круга, морально готовы (не только рисовать картинки, но и) раскрывать скобки, не боятся слова “вероятность”.
⏰ Начало в 18:00 МСК.
📌 Ссылка на Zoom.
#открытые_лекции #анонс
Forwarded from qtasep 💛💙
Plane partitions in the work of Richard Stanley and his school
C. Krattenthaler
Отличный доступный обзор об истории плоских разбиений (plane partitions)
C. Krattenthaler
These notes provide a survey of the theory of plane partitions, seen through the glasses of the work of Richard Stanley and his school.
Отличный доступный обзор об истории плоских разбиений (plane partitions)
Forwarded from Непрерывное математическое образование
qtasep 💛💙
Plane partitions in the work of Richard Stanley and his school C. Krattenthaler These notes provide a survey of the theory of plane partitions, seen through the glasses of the work of Richard Stanley and his school. Отличный доступный обзор об истории…
пусть здесь будет такая цитата, например:
Why were plane partitions so fascinating for MacMahon, and for legions of followers? From his writings, it is clear that MacMahon did not have any external motivation to consider these objects, nor did he have any second thoughts. For him it was obvious that these plane partitions are very natural, as two-dimensional analogues of (linear) partitions (for which at the time already a well established theory was available), and as such of intrinsic interest. Moreover, this intuition was “confirmed” by the extremely elegant product formula in Theorem 1 below. He himself — conjecturally — found another intriguing product formula for so-called “symmetric” plane partitions contained in a given box (…). Later many more such formulae were found (again, first conjecturally, and some of them still quite mysterious …). Moreover, over time it turned out that plane partitions (and rhombus tilings) are related to many other areas of mathematics, most notably to the theory of symmetric functions and representation theory of classical groups (…), representation theory of quantum groups (…), enumeration of integer points in polytopes and commutative algebra (…), enumeration of matchings in graphs (…), and to statistical physics (…).
Кроссворд Тьюринга
📢 Лекция Григория МЕРЗОНА в это воскресенье, 10 декабря 18:00 МСК Григорий Мерзон — сотрудник МЦНМО и Лаб. популяризации и пропаганды математики МИАН, редактор журнала «Квантик». 🔍 Геометрические неравенства 📝 Мы поговорим про геометрические неравенства.…
Картинка с лекции Г. Мерзона прямо сейчас: четырёхшарнирное рассуждение Штейнера для изопериметрической задачи. Почему кривая данной длины, ограничивающая максимальную площадь — окружность?
(шаг 1) она выпуклая;
(шаг 2) соображения симметрии — любой отрезок, делящий периметр пополам, делит пополам и площадь, иначе достраиваем большую половину симметрично;
!! (шаг 3) четырёхшарнирное рассуждение: такой отрезок должен быть виден под углом в 90 градусов из любой точки границы. Потому что если нет — достроив вторую половину центрально-симметрично, можно увидеть параллелограмм. После чего можно считаем, что кусочки границы, опирающиеся на эти кусочки, жёсткие, а в этих точках шарниры. Но шарнирный параллелограмм можно превратить в прямоугольник, увеличив его площадь — а площади "сегментов" при этом не поменяются, так что общая площадь фигуры вырастет.
(Плюс соображения компактности — чтобы фигура наибольшей площади нашлась.)
(шаг 1) она выпуклая;
(шаг 2) соображения симметрии — любой отрезок, делящий периметр пополам, делит пополам и площадь, иначе достраиваем большую половину симметрично;
!! (шаг 3) четырёхшарнирное рассуждение: такой отрезок должен быть виден под углом в 90 градусов из любой точки границы. Потому что если нет — достроив вторую половину центрально-симметрично, можно увидеть параллелограмм. После чего можно считаем, что кусочки границы, опирающиеся на эти кусочки, жёсткие, а в этих точках шарниры. Но шарнирный параллелограмм можно превратить в прямоугольник, увеличив его площадь — а площади "сегментов" при этом не поменяются, так что общая площадь фигуры вырастет.
(Плюс соображения компактности — чтобы фигура наибольшей площади нашлась.)
Математические байки
Картинка с лекции Г. Мерзона прямо сейчас: четырёхшарнирное рассуждение Штейнера для изопериметрической задачи. Почему кривая данной длины, ограничивающая максимальную площадь — окружность? (шаг 1) она выпуклая; (шаг 2) соображения симметрии — любой отрезок…
Картинка из ещё одного рассуждения для изопериметрического неравенства для многоугольников — и для любимой мной формулы для площади r-окрестности выпуклого многоугольника,
S(r) = πr^2 + L*r + S.
Изопериметрическое неравенство состоит в том, что дискриминант этого квадратного трёхчлена неотрицателен,
L^2 - 4π S >= 0.
А дальше — разными способами работая с отрицательными (!) r — либо доопределив фигуру и работая с ориентированными площадью и периметром, или двигая стороны-стенки внутрь и грубо "обрубая" (и получая неравенство на дискриминант), можно доказать, что S(r) и впрямь где-то в области r<0 обращается в ноль.
Вот этих рассуждений я не знал!
S(r) = πr^2 + L*r + S.
Изопериметрическое неравенство состоит в том, что дискриминант этого квадратного трёхчлена неотрицателен,
L^2 - 4π S >= 0.
А дальше — разными способами работая с отрицательными (!) r — либо доопределив фигуру и работая с ориентированными площадью и периметром, или двигая стороны-стенки внутрь и грубо "обрубая" (и получая неравенство на дискриминант), можно доказать, что S(r) и впрямь где-то в области r<0 обращается в ноль.
Вот этих рассуждений я не знал!
Forwarded from AstroAlert | Наблюдательная астрономия
Астероид (319) Леона, диаметром 70 км, из главного пояса астероидов (между Марсом и Юпитером) в течение 11 секунд будет проходить на фоне альфа Ориона — красного сверхгиганта Бетельгейзе. Это будет длится с 01:09 до 01:26 UT (для Москвы прибавить 3 часа) утром 12 декабря.
Видно это покрытие будет в узкой полоске диаметром порядка 100 км от Китая, далее: Таджикистан, Узбекистан, Туркменистан, Азербайджан, Армения, Турция, Греция, Албания, Италия, Испания, Португалия, США и Мексика.
Само покрытие может быть не полным, так как угловые размеры Бетельгейзе, скорее всего, окажутся больше угловых размеров астероида. И если расчеты верны, то в центре полосы максимальное покрытие составит 93%, а падение яркости около 3 зв. вел. (в 15 раз слабее станет, т.е. по яркости чуть ярче туманности Ориона!).
Сама Бетельгейзе является переменной звездой. На данный момент ее блеск около +0.5 зв.вел.
Что смогут узнать астрономы в результате покрытия: угловой размер и форму как астероида, так и звезды; наличие спутников или колец у астероида (так же и у Бетельгейзе).
Наиболее точную карту полосы покрытия можно найти тут: https://lesia.obspm.fr/lucky-star/occ.php?p=131608
А рассчитанные эфемериды покрытия тут: https://asteroidoccultation.com/2023_12/1212_319_82912_Summary.txt
Вот тут будет прямая трансляция: https://www.youtube.com/watch?v=ELQx7SCadM4
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM