В математике , в комбинаторике , тождество Ли Шанланя (также называемое формулой суммирования Ли Шанланя ) - это определенная комбинаторная идентичность, приписываемая китайскому математику XIX века Ли Шанланю . [1] Поскольку Ли Шанлань также известен как Ли Реншу, эта личность также упоминается как личность Ли Реншу . [2] Эта идентичность появляется в третьей главе Duoji bilei (垛 积 比 类 / 垛 積 比 纇, что означает суммирование конечных рядов ), математическом тексте, автором которого является Ли Шанлан и опубликованном в 1867 году как часть его собрания работ. Чехияматематик Йозеф Кауки опубликовал элементарное доказательство личности вместе с историей личности в 1964 году. [3] Кауки приписал эту личность некоему Ли Джен-Шу. Из истории личности было установлено, что Ли Жэнь-Шу на самом деле Ли Шаньлань. [1] Западные ученые изучали китайскую математику как историческую ценность; но приписывание этой идентичности китайскому математику девятнадцатого века вызвало переосмысление математической ценности трудов китайских математиков. [2]
«На Западе Ли лучше всего запомнился комбинаторной формулой, известной как« тождество Ли Реншу », которую он вывел, используя только традиционные китайские математические методы». [4]
Личность [ править ]
Личность Ли Шанланя утверждает, что
- .
Ли Шанлань не представил личность таким образом. Он представил это традиционным китайским алгоритмическим и риторическим способом.[5]
Подтверждения личности [ править ]
Ли Шанлань не предоставила удостоверение личности в Duoji bilei . Первое доказательство с помощью дифференциальных уравнений и полиномы Лежандра, понятия чуждых Shanlan, было опубликовано Пал Туран в 1936 году, и доказательство появилось на китайском языке в Yung Чанг бумаги «s опубликовано в 1939 году [2] С тех пор , по крайней мере пятнадцать различного доказательство имеет был найден. [2] Следующее - одно из простейших доказательств. [6]
Доказательство начинается с выражения , как свертка Вандермонда в :
Предварительно умножив обе стороны на ,
- .
Используя следующее соотношение
указанное выше соотношение можно преобразовать к
- .
Далее отношение
используется, чтобы получить
- .
Другое применение свертки Вандермонда дает
и, следовательно
Поскольку не зависит от k , это можно представить в виде
Далее результат
дает
Положив p = q и заменив j на k ,
Тождество Ли следует из этого заменой n на n + p и некоторой перестановкой терминов в полученном выражении:
О Duoji bilei [ править ]
Термин дуодзи обозначает определенный традиционный китайский метод вычисления сумм стопок. Большая часть математики, разработанной в Китае с шестнадцатого века, связана с методом дуодзи . Ли Шанлань был одним из величайших представителей этого метода, а « Дуоджи билей» представляет собой экспозицию его работ, связанных с этим методом. Duoji bilei состоит из четырех глав: Глава 1 посвящена треугольным сваям, Глава 2 - ряду конечной мощности, Глава 3 - треугольным саморазумножающимся сваям и Глава 4 - модифицированным треугольным сваям. [7]
Ссылки [ править ]
- ^ a b Жан-Клод Марцлофф (1997). История китайской математики . Гейдельберг Берлин: Springer Verlag. С. 342–343. ISBN 9783540337829.
- ^ a b c d Карен В. Х. Паршалл, Жан-Клод Марцлофф (сентябрь 1992 г.). «Ли Шанлань (1811–1882) и китайская традиционная математика». Математический интеллигент . 14 (4): 32–37. DOI : 10.1007 / bf03024470 . S2CID 123468479 .
- ^ Йозеф Kaucky (1965). "Новый элемент демонстрации формулы комбинаторики Ли Жэнь Шу". М.-Фузик. Cas. . 15 : 206–214.
- ^ Wann-Sheng Horng. «Китайский математик Ли Шанлань» . Британская энциклопедия . Проверено 14 ноября 2015 года .
- ^ Андреа Бреар (2013). «Китай» . В Робин Уилсон, Джон Дж. Уоткинс (ред.). Комбинаторика: древнее и современное . Оксфорд: ОУП. С. 78–79. ISBN 9780191630637.
- ↑ Джон Риордан (1979). Комбинаторные тождества . Нью-Йорк: Издательство Роберта Э. Кригера. С. 15–16. ISBN 0882758292.
- ^ Тянь Мяо (2003). «Вестернизация китайской математики: тематическое исследование метода Duoji и его развития». Восточноазиатская наука, технология и медицина . 20 : 45–72. DOI : 10.1163 / 26669323-02001004 .