Математические байки

Мы получаем сумму слагаемых вида p(n-s) со знаками. Причём, если раскрыть все скобки, то p(n-s) появляется по одному разу на способ его представить в виде суммы различных слагаемых: разница аргументов p(.,.) на каждом шаге либо сохраняется, либо уменьшается на j-1 (а на первом шаге, при сумме по j, равна n-j). При этом каждое увеличение на j-1 меняет знак. Вот и получается, что каждое p(n-s) в итоге участвует с весом, равным числу способов представить s как сумму нечётного числа различных слагаемых минус число способов как сумму чётного их числа.

Поэтому слагаемые p(n,1), p(n,2), p(n,3),..., составляющие p(n), переписываются как p(n,1) =p(n-1), p(n,2)=p(n-1,1)-p(n-2,1) =p(n-2)-p(n-3), p(n,3)=p(n-1,2)-p(n-3,2)=(p(n-2,1)-p(n-3,1))-(p(n-4,1)-p(n-5,1)) =p(n-3) - p(n-4) -p(n-5) + p(n-6), и так далее.

Да, ещё — к рекуррентной формуле для p(n) можно прийти и "лобовым" подходом (via). А именно, давайте опять посмотрим на более подробную информацию, но на этот раз ограничим не наибольшее слагаемое, а зафиксируем наименьшее: пусть p(n,j) это число разбиений n с наименьшим слагаемым, равным j. Тогда: p(n)=p(n+1,1) — потому что можно к любому разбиению дописать 1; иными словами, p(n,1)=p(n-1). p(n)=\sum_{j=1}^n p(n,j) — потому что последнее слагаемое должно быть хоть каким-нибудь. А дальше можно делать индукцию "уменьшением j": p(n,j) = p(n-1,j-1) - p(n-j,j-1), первое — это если мы на 1 уменьшили наименьшее слагаемое j, а второе — это лишние слагаемые, которые мы при этом посчитали (предыдущее слагаемое это тоже (j-1), а не хотя бы j, так что 1 обратно к последнему добавить нельзя).

(и — знакомые формы!)

Несколько относящихся к биекции Франклина кусочков из этой большой статьи:

Да, я не сказал — эта инволюция именная, и называется инволюцией Франклина. Вот тут — в Comptes Rendus — в 1881 году она опубликована; а вот 80-страничная статья J. J. Sylvester and F. Franklin, American Journal of Mathematics, 1882, Vol. 5, No. 1 (1882), pp. 251-330 с отдельно замечательным названием:

Да, пентагональная теорема сама по себе там тоже, конечно, есть.

И иллюстрирующая это картинка оттуда же —

I. Pak, «Partition bijections, а Survey»

Коллеги напоминают про обзор Игоря Пака, «Partition bijections, а Survey» — и я присоединяюсь к рекомендации (это и вообще очень интересный обзор, и там есть эта биекция).

Image credit: Mathologer, "The hardest "What comes next?" (Euler's pentagonal formula)".

И видно, почему между парами чисел действительно расстояния совпадают с номером пары. Давайте я покажу ещё один кадр из того же видео Mathologer-а:

Или так —

А это и есть числа в правой части пентагональной теоремы: это же и есть почти совсем правильные пятиугольники, только нарисованные на квадратной решётке, так что получается квадрат + треугольник.

И вот так эта биекция и работает — за исключением тех случаев, когда диагональ доходит аж до самого наименьшего слагаемого, причём или равна ему по длине, или на 1 меньше: тогда её отрезать и убрать вниз не получится.