WikiDer > Теорема о пятиугольном числе

В математика, то теорема о пятиугольных числах, первоначально из-за Эйлер, связывает товарные и серийные представления Функция Эйлера. В нем говорится, что

${ displaystyle prod _ {n = 1} ^ { infty} left (1-x ^ {n} right) = sum _ {k = - infty} ^ { infty} left (-1 right) ^ {k} x ^ {k left (3k-1 right) / 2} = 1 + sum _ {k = 1} ^ { infty} (- 1) ^ {k} left ( x ^ {k (3k + 1) / 2} + x ^ {k (3k-1) / 2} right).}$

Другими словами,

${ displaystyle (1-x) (1-x ^ {2}) (1-x ^ {3}) cdots = 1-xx ^ {2} + x ^ {5} + x ^ {7} -x ^ {12} -x ^ {15} + x ^ {22} + x ^ {26} - cdots.}$

Показатели 1, 2, 5, 7, 12, ... в правой части задаются формулой грамм_k = k(3k − 1)/2 за k = 1, −1, 2, −2, 3, ... и называются (обобщенными) пятиугольные числа (последовательность A001318 в OEIS). Это имеет место как тождество сходящихся степенной ряд за ${ Displaystyle | х | <1}$, а также как личность формальный степенной ряд.

Яркой особенностью этой формулы является количество отмены при расширении продукта.

Связь с перегородками

Из тождества следует повторение для расчета ${ Displaystyle р (п)}$, количество перегородки из п:

${ Displaystyle п (п) = п (п-1) + п (п-2) -р (п-5) -р (п-7) + cdots}$

или более формально,

${ displaystyle p (n) = sum _ {k neq 0} (- 1) ^ {k-1} p (n-g_ {k})}$

где суммирование ведется по всем ненулевым целым числам k (положительный и отрицательный) и ${ displaystyle g_ {k}}$ это k^th обобщенное пятиугольное число. С ${ displaystyle p (n) = 0}$ для всех ${ displaystyle n <0}$, ряды в конечном итоге станут нулями, что даст возможность дискретного расчета.

Биективное доказательство

Теорема может быть интерпретирована комбинаторно с точки зрения перегородки. В частности, левая часть - это производящая функция для количества разделов п на четное количество отдельных частей за вычетом количества разделов п на нечетное количество отдельных частей. Каждый раздел п на четное количество отдельных частей дает +1 к коэффициенту Икс^п; каждое разбиение на нечетное количество отдельных частей дает -1. (Статья о неограниченные функции раздела обсуждает этот тип производящей функции.)

Например, коэффициент Икс⁵ равно +1, потому что есть два способа разбить 5 на четное число отдельных частей (4 + 1 и 3 + 2), но только один способ сделать это для нечетного числа отдельных частей (односоставное разделение 5) . Однако коэффициент Икс¹² равно -1, потому что существует семь способов разделить 12 на четное число отдельных частей, но есть восемь способов разделить 12 на нечетное количество отдельных частей.

Эта интерпретация приводит к доказательству идентичности через инволюция (т.е. биекция, которая сама себе обратна). Рассмотрим Диаграмма Феррерса любого раздела п на отдельные части. Например, на диаграмме ниже показано п = 20 и перегородка 20 = 7 + 6 + 4 + 3.

Позволять м - количество элементов в самой маленькой строке диаграммы (м = 3 в приведенном выше примере). Позволять s - количество элементов в самой правой линии под углом 45 градусов диаграммы (s = 2 точки красного цвета выше, так как 7−1 = 6, но 6−1> 4). Если м > s, возьмите крайнюю правую линию под углом 45 градусов и переместите ее, чтобы сформировать новый ряд, как на схеме ниже.

Если m ≤ s (как на нашей вновь сформированной диаграмме, где м = 2, s = 5) мы можем обратить процесс, переместив нижнюю строку, чтобы сформировать новую линию под углом 45 градусов (добавив по 1 элементу к каждому из первых м rows), возвращая нас к первой диаграмме.

Немного подумав, показывает, что этот процесс всегда изменяет четность количества строк, а повторное применение процесса возвращает нас к исходной диаграмме. Это позволяет нам объединить диаграммы Феррерса, дающие вклад 1 и -1 в Икс^п член ряда, в результате чего чистый коэффициент равен 0. Это верно для каждого члена Кроме когда процесс не может быть выполнен на каждой диаграмме Феррерса с n точками. Таких случаев два:

1) м = s и крайняя правая диагональ и нижний ряд пересекаются. Например,

Попытка выполнить операцию приведет нас к:

который не может изменить четность количества строк и необратим в том смысле, что повторное выполнение операции приводит к нет верните нас к исходной диаграмме. Если есть м элементы в последней строке исходной диаграммы, затем

${ displaystyle n = m + (m + 1) + (m + 2) + cdots + (2m-1) = { frac {m (3m-1)} {2}} = { frac {k (3k -1)} {2}}}$

где новый индекс k принимается равным м. Обратите внимание, что знак, связанный с этим разделом, (−1)^s, что по построению равно (−1)^м и (−1)^k.

2) м = s+1, крайняя правая диагональ и нижний ряд пересекаются. Например,

Наша операция требует, чтобы мы переместили правую диагональ в нижнюю строку, но это привело бы к двум строкам по три элемента, что запрещено, поскольку мы считаем разделы на отдельные части. Это предыдущий случай, но с одной строкой меньше, поэтому

${ Displaystyle п = м + (м + 1) + (м + 2) + cdots + (2м-2) = { гидроразрыва {(м-1) (3м-2)} {2}} = { гидроразрыва {k (3k-1)} {2}},}$

где мы берем k = 1−м (отрицательное целое число). Здесь соответствующий знак (−1)^s с s = м−1 = −k, поэтому знак снова (−1)^k.

Таким образом, было показано, что разбиения на четное количество отдельных частей и нечетное количество отдельных частей в точности компенсируют друг друга, кроме случаев, когда п обобщенное пятиугольное число ${ displaystyle g_ {k} = k (3k-1) / 2}$, и в этом случае остается ровно одна диаграмма Феррерса. Но это именно то, что говорит правая сторона идентичности, так что мы закончили.

Повторение раздела

Мы можем перефразировать приведенное выше доказательство, используя перегородки, который мы обозначим как:${ displaystyle n = lambda _ {1} + lambda _ {2} + dotsb + lambda _ { ell}}$, куда ${ displaystyle lambda _ {1} geq lambda _ {2} geq ldots geq lambda _ { ell}> 0}$.Количество разделов п статистическая сумма п(п) с производящей функцией:

${ displaystyle sum _ {n = 0} ^ { infty} p (n) x ^ {n} = prod _ {k = 1} ^ { infty} (1-x ^ {k}) ^ { -1}}$

Обратите внимание, что это обратная величина продукта в левой части нашей идентичности:

${ displaystyle left ( sum _ {n = 0} ^ { infty} p (n) x ^ {n} right) cdot left ( prod _ {n = 1} ^ { infty} ( 1-x ^ {n}) right) = 1}$

Обозначим расширение нашего продукта через${ displaystyle prod _ {n = 1} ^ { infty} (1-x ^ {n}) = sum _ {n = 0} ^ { infty} a_ {n} x ^ {n}}$, так что

${ displaystyle left ( sum _ {n = 0} ^ { infty} p (n) x ^ {n} right) cdot left ( sum _ {n = 0} ^ { infty} a_ {n} x ^ {n} right) = 1}$.

Умножая левую часть и приравнивая коэффициенты в двух частях, получаем а₀ п(0) = 1 и ${ Displaystyle сумма _ {я = 0} ^ {п} п (п {-} я) а_ {я} = 0}$ для всех ${ Displaystyle п geq 1}$. Это дает рекуррентное соотношение, определяющее п(п) с точки зрения а_п, и наоборот, повторение а_п с точки зрения п(п). Итак, наш желаемый результат:

${ displaystyle a_ {i}: = { begin {cases} 1 & { mbox {if}} i = { frac {1} {2}} (3k ^ {2} pm k) { mbox {и }} k { mbox {четно}} - 1 & { mbox {if}} i = { frac {1} {2}} (3k ^ {2} pm k) { mbox {и} } k { mbox {нечетное}} 0 & { mbox {иначе}} end {case}}}$

за ${ displaystyle i geq 1}$ эквивалентно тождеству ${ Displaystyle сумма _ {я} (- 1) ^ {я} р (п {-} г_ {я}) = 0,}$ куда ${ displaystyle g_ {i}: = textstyle { frac {1} {2}} (3i ^ {2} -i)}$ и я пробегает все такие целые числа, что ${ displaystyle g_ {i} leq n}$ (этот диапазон включает как положительные, так и отрицательные i, чтобы использовать оба вида обобщенных пятиугольных чисел). Это, в свою очередь, означает:

${ displaystyle sum _ {я mathrm { even}} p (n {-} g_ {i}) = sum _ {i mathrm { odd}} p (n {-} g_ {i}) ,}$.

В терминах наборов разбиений это эквивалентно утверждению, что следующие наборы имеют одинаковую мощность:

${ displaystyle { mathcal {X}}: = bigcup _ {я mathrm { even}} { mathcal {P}} (n-g_ {i})}$ и ${ displaystyle { mathcal {Y}}: = bigcup _ {я mathrm { odd}} { mathcal {P}} (n-g_ {i})}$,

куда ${ Displaystyle { mathcal {P}} (п)}$ обозначает множество всех разбиений ${ displaystyle n}$Все, что остается, - это дать взаимно однозначное соответствие от одного набора другому, что осуществляется функцией φ из Икс к Y который отображает раздел ${ displaystyle { mathcal {P}} (n-g_ {i}) ni lambda: n-g_ {i} = lambda _ {1} + lambda _ {2} + dotsb + lambda _ { ell}}$ к разделу ${ displaystyle lambda '= varphi ( lambda)}$ определяется:

${ displaystyle varphi ( lambda): = { begin {cases} lambda ': n-g_ {i-1} = ( ell + 3i-2) + ( lambda _ {1} -1) + dotsb + ( lambda _ { ell} -1) & { mbox {if}} ell + 3i> lambda _ {1} \ lambda ': n-g_ {i + 1} = ( lambda _ {2} +1) + dotsb + ( lambda _ { ell} +1) + underbrace {1+ dotsb +1} _ { lambda _ {1} - ell -3i} & { mbox {if}} ell + 3i leq lambda _ {1}. end {case}}}$

Это инволюция (самообратное отображение) и, в частности, биекция, которая доказывает наше утверждение и тождество.

Смотрите также

Теорема о пятиугольном числе возникает как частный случай Тройное произведение Якоби.

Q-серия обобщить функцию Эйлера, которая тесно связана с Функция Дедекинда эта, и происходит при изучении модульные формы. Модуль упругости Функция Эйлера (см. картинку) показывает фрактал модульная группа симметрии и возникает при исследовании интерьера Набор Мандельброта.

Рекомендации

• Апостол, Том М. (1976), Введение в аналитическую теорию чисел, Тексты для бакалавриата по математике, Нью-Йорк-Гейдельберг: Springer-Verlag, ISBN 978-0-387-90163-3, МИСТЕР 0434929, Zbl 0335.10001
• Харди, Г. Х.; Райт, Э.М. (2008) [1938]. Введение в теорию чисел. Отредактировано Д. Р. Хит-Браун и Дж. Х. Сильверман. Предисловие Эндрю Уайлс. (6-е изд.). Оксфорд: Oxford University Press. ISBN 978-0-19-921986-5. МИСТЕР 2445243. Zbl 1159.11001.

внешняя ссылка

• Джордан Белл (2005). «Эйлер и теорема о пятиугольном числе». arXiv:math.HO / 0510054.
• О пятиугольной теореме Эйлера на MathPages
• OEIS последовательность A000041 (a (n) = количество разделов из n (номера разделов))
• De mirabilis proprietatibus numerorum pentagonalium в Scholarly Commons.