Насколько я понимаю, такое и аналогичные рассуждения в теории вероятностей/случайных блужданиях называются "методом отражения".

Ну и в заключение — вот ссылка на "Студенческие чтения НМУ", где опубликована лекция Кириллова —
https://www.mccme.ru/free-books/globus/iumlectures1.pdf , и соответствующий скриншот:

И — что "Студенческие чтения", что выпуски "Глобуса" я очень советую. Собственно, вот оглавление первого выпуска "Глобуса", https://www.mccme.ru/free-books/globus/globus1.pdf —

(Рассказывает Евгений Смирнов.)

если кто хочет послушать лекцию НМУ по комбинаторике (пути и определители, формула Макмагона и проч.) — zoom.us/j/981375600 (начало через пару минут)

(Ключевой момент — подсчёт пар непересекающихся путей)

Присоединяюсь — это должно быть интересно.

А вот кому онлайн-семинар по теории вероятностей: https://www.wim.uni-mannheim.de/doering/one-world/ (встречи каждый четверг, докладчики все замечательные).

Через полчаса (в 6 вечера по Москве) доклад Nathanael Berestycki (Vienna) - Random walks on random planar maps and Liouville Brownian motion - про асимптотику случайных графов и квантовую гравитацию

Зум: https://zoom.us/j/997986033

Я подозреваю, что вот эта иллюстрация Николя Курьяна (Nicolas Curien) весьма в тему того доклада, который начнётся через 10 минут:

(Это "случайным образом собранная сфера"; интересно, что такая сфера — с той метрикой на ней, которая получается — имеет хаусдорфову размерность 4, а вовсе не 2.)

Давайте я продолжу "абелевский сезон" — и в этот раз расскажу про два результата Маргулиса.

Я начну со случайной теоремы Минковского — которую уже упоминал qtasep:

Я был на одном докладе Маргулиса, на конференции 50-летия ИППИ летом 2011 года (в коем ИППИ и я, и Маргулис до сих пор формально числимся). Эта конференция довольно важная для меня, т.к. сразу после нее я переехал в Штаты на постдок.

Ну так вот, Маргулис там прочитал доклад про относительно просто формулируемый, но очень красивый результат про случайную теорему Минковского. Конечно, это не главный его результат - про более важные вещи есть книги и доступные обзоры на них (https://www.ams.org/journals/bull/2005-42-02/S0273-0979-05-01051-7/S0273-0979-05-01051-7.pdf, https://www.ams.org/journals/bull/1992-27-01/S0273-0979-1992-00306-3/S0273-0979-1992-00306-3.pdf)

Неслучайная теорема Минковского формулируется так. Пусть есть выпуклое центрально симметричное множество A в R^n, объема больше 2^n. Тогда для любой унимодулярной решетки (в частности, для стандартной решетки Z^n), A содержит ненулевой элемент этой решетки.

Случайность позволяет ослабить предположения о симметричности и выпуклости A. Пусть A - произвольное множество положительного объема. Возьмем случайную решетку по мере Хаара на SL(n,R) / SL(n,Z). Тогда вероятность того, что случайная решетка не пересекает A, оценивается сверху как C(n)/m(A), где m(A) - объем множества A, а константа C(n) зависит от размерности.

В частности, если объем A стремится к бесконечности, то A пересекает почти все решетки, независимо от предположений симметричности и выпуклости.

Интересно, что доказательство для в размерности 2 наиболее сложное, и требует теории автоморфных форм.

Вот так и получаются очень красивые результаты, если добавить немного вероятности к известным 100 лет классическим теоремам.

Собственно, из формулировок тут уже всё сказано — но давайте я скажу пару слов более подробно про доказательства.
Давайте начнём с классической теоремы Минковского. Вот пусть у нас есть выпуклое, симметричное относительно начала координат тело в R^n. Утверждается, что максимальный объём, который может у такого тела быть, чтобы оно не содержало внутри ни одной другой точки Z^n — это 2^n, объём куба [-1,1]^n.

И доказательство очень простое и изящное: давайте сожмём наше тело в 2 раза, а потом отправим R^n в тор
T^n = R^n / Z^n.
Если объём тела был больше 2^n, то после сжатия он больше 1 — то есть больше объёма тора. Значит, какие-то две точки сжатого тела, P/2 и Q/2, перейдут в одну. То есть они отличаются на вектор из Z^n.

Но
P/2 - Q/2 = (P+(-Q))/2,
а точка (-Q) тоже принадлежит нашему телу из-за его симметричности. Ну а полусумма точек принадлежит телу по выпуклости. Вот мы и нашли целую точку внутри тела.

То же самое верно и для любой другой решётки в R^n, лишь бы у неё фундаментальный параллелепипед (из которого тор в факторе получается склейкой противоположных граней) был бы единичного объёма.
(А если не единичного, то тело должно быть объёма >2^n раз больше. Но нас будут интересовать только решётки, у которых этот объём равен 1 — их называют унимодулярными ; в конце концов, любая другая такой гомотетична.)