Практические задачи связанные с упорядочением конечного
advertisement
ВЕСТНИК ПЕРМСКОГО УНИВЕРСИТЕТА Математика. Механика. Информатика 2011 Вып. 1(5) ИСТОРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИХ НАУК УДК 51(092) Структура элементарной комбинаторики до начала XVIII века A. Е. Малых, А. М. Нагоева Пермский государственный педагогический университет, Россия 614000, Пермь, ул. Сибирская, 24. malych@pspu.ru; (342) 280-37-55 Рассмотрено формирование элементарной комбинаторики в различные промежутки времени. Описано получение независимых формул для подсчета сочетаний, размещений и перестановок элементов конечных дискретных множеств. Показан вклад научных исследований Б. Паскаля, Г. В. Лейбница и Я. I Бернулли в формирование теоретических основ комбинаторики. Ключевые слова: сочетания; размещения; перестановки; элементарная комбинаторика; треугольник Паскаля; биномиальные коэффициенты. Практические задачи, связанные с упорядочением конечного множества элементов, давали достаточные основания для появления элементарных комбинаторных приемов. Примеры такого рода, в частности размещения с повторениями, были найдены в древних китайских источниках. По-видимому, самым ранним из них является "Книга перемен" (ок. VII в. до н. э.), в которой система счета основана на двух символах, объединяемых в триграммы и гексаграммы. При их подсчете ки- ~ n r . Кроме тайцы оперировали правилом A n того, они интересовались вопросом упорядочения гексаграмм. Известный историк науки Дж. Нидэм привел задачу, в которой использовалась формула числа размещений: следовало определить количество всевозможных положений при игре, вероятно, схожей с го. В шахматах того времени (ок. III в.) доска разделялась на 19 строк с 361 позицией. Под ситуацией понималось: занята черная решетка или белая r или она пустая. Считалось, что в начале игры доска пустая. От ученого Шень Ко (XI в.) стало известно, что буддийский священник и астроном И Синь, светское имя которого Чжан Гэсуй (683–727), выполнял расчеты возможных расположений в этой игре для различного числа строк и фигур. Ученый привел следующие повествования И Синя: "Я думал об этом хорошем деле и пришел к заключению, что оно совершенно простое. Но запутанные числа не могут быть выражены в общем виде. Я только кратко опишу, как при этом использовать большие числа. С двумя строками и четырьмя клетками число возможных ситуаций различного вида 81. С тремя строками и 9 клетками их уже 19683. Использование 4 строк и 16 клеток дает число 43046721. Для 5 строк и 25 клеток такое число будет 847288609443. Свыше 7 строк мы не можем назвать из-за большого количества цифр, входящих в него... Если используются все 361 клеток, то число будет иметь порядок 1000052 " [15, с.290]. © A. Е. Малых, А. М. Нагоева, 2011 111 A. Е. Малых, А. М. Нагоева Шень Ко пояснил методы И Синя, указав их применимость для перечисления всех возможных шансов и вариаций, возникающих на шахматной доске. При дальнейшем объяс- ~ , явнении упоминалось число 3361 , т.е. A 3 лявшееся верным ответом. К сожалению, точные условия и способ решения задачи И Синем нам не известны, однако достоверно то, что он был не единственным занимавшимся комбинаторными вопросами. В "Яшмовом зеркале четырех элементов" (1303) Чжу Ши-цзе привел треугольную таблицу чисел – биномиальных коэффициентов – вплоть до восьмой степени, не претендуя на ее новизну. Эти числа применялись учеными Китая в задачах комбинаторного анализа. Комбинаторные задачи, встречавшиеся в греческой математике, впервые собрал Мориц Кантор (1829 –1920) [4, с.249–250, 256–257, 270, 345, 453–454, 501]. В его четырехтомном труде "Лекции по истории математики" описана история математики с древнейших времен до 1799 г. В них широко представлены первоисточники и богатый справочный материал. Сведения по комбинаторной тематике дополнил И.П.Гейберг [9, с.475]. Из анализа его публикаций можно сделать вывод о том, что у древних греков имелись не только решения, полученные путём исчерпывающих проб, но и такие, которые нельзя найти непосредственным подбором чисел. Поэтому логично предположение о более глубоких знаниях греков в этой области. Оно основывается также на интересном и загадочном отрывке, взятом из сочинений Плутарха (I в.), в котором автор сообщил о подсчете сложных предложений, составленных только из 10 простых [19, с.195–197]. Из сочинения Боэция (480–425 до н.э.) "О введении в арифметику" следует знание правила для нахождения C 2n . 361 Большой теоретический и практический интерес к изучению различных видов комбинаторных соединений проявили индийцы. Особой благосклонностью пользовалось изучение перестановок и сочетаний в сочинении "Викальпа". Одним из первоначальных толчков к занятиям комбинаторикой послужило ведийское стихосложение с.6, 8, 11 и 12 слогами. При создании стихов различных размеров учитывалось не только число слогов, но и долгота гласных звуков в каждой слоговой группе. Это и привело к попытке создания математического учения. В медицинском трактате Сусруты (ок. VI в. до н.э.) обсуждаются различные виды вкуса, которые можно получить, смешивая 6 основных качеств: сладость, кислоту, соленость, остроту, горечь и вязкость. Автор получил систематический перечень возможных комбинаций: 6, 15, 20, 15, 6, 1, т.е. фактически выполнил подсчет 6 C i 1 i 6 26 1 [1, гл. LXIII]. В "Бхагават-сутра" (ок. III в. до н.э.), одной из джайнистских религиозных работ, подсчитывалось количество комбинаций, которые могут быть составлены как из заданного числа основных философских категорий, взятых по одной, две, три и т.д., так и при помощи органов чувств. Особый интерес представляет трактат "Чхандах-сутра" Пингалы (ок. II в. до н.э.). В нём изучаются вопросы нахождения всевозможных метрических ритмов, полученных из заданного числа коротких и длинных слогов. Пингала дал описание метода, назваемого меру-прастара. Согласно объяснению комментатора Халайудхи (X в.) он применялся для нахождения числа C mn слогов, взятых по 1, 2, ..., n. Очевидно, Пингала знал зависимость, современная запись которой имеет вид n C k 0 k n 2 n . Такой же результат привели в своих работах Магавира (IX в.) и более поздние индийские ученые. Эволюция правил для нахождения числовых решений комбинаторных задач без использования полного перехода совершалась постепенно, на протяжении большого временного промежутка. В дополнение к формуле для ~ r были получены еще две: для соче- A n таний и перестановок из n элементов. Основанием для предположения о том, что они были известны индусам уже в VI в., является объемный труд Варахамихиры "Брихат Самхита" ("Великое учение"), содержащий множество интересных результатов [6]. Первая систематическая обработка формулы для числа сочетаний была выполнена Магавирой [12]. В главе VI приведена её словесная формулировка, иллюстрируемая тремя примерами. 112 Структура элементарной комбинаторики до начала XVIII века В "Патиганите" ("Искусство вычисления на доске") Шридхары (IX – X вв.) небольшой раздел посвящен сочетаниям. Словесное правило № 72 для нахождения их числа в буквенной записи имеет вид n n 1 n 2 2 1 r ... . Так, вычисляя C n , 1 2 3 n 1 n в ней оставляли только r множителей [21]. В работе дано еще одно правило для нахождения C nm . Каждое из них снабжено достаточным числом примеров. Крупнейший индийский математик Бхаскара Акария (1114–1185) также изучал различные виды комбинаторных соединений. Ему принадлежит трактат "Сидханта– Широмани" ("Венец учения"), переписанный в XIII в. на полосках пальмовых листьев. Он состоит из четырех частей. Одна из них – "Лилавати" ("Прекрасная") – посвящена арифметике (ок. 1150). В ней автор дал сло~ весные правила для нахождения Anm , Anm , Pn и C nm , указав их применения и поместив многочисленные примеры [7]. Ряд комбинаторных правил и задач имеется в сочинениях П. Нарайяны [14].Ученые стран ислама были не просто собирателями древних знаний: они внесли значительный вклад в науку, в том числе в развитие теории магических квадратов. Что же касается использования основных комбинаторных принципов, то они, повидимому, переняли технику индусов, применив ее в аналогичных исследованиях. дующую задачу: нужно найти 10 чисел, суммы которых по шесть известны. Ученый запи6 210 уравнений системы и помесал все С10 стил их в таблицу, получив верный ответ. Несомненно, что, умея находить C nm , он знал правила для подсчета Anm и Pn . Кабалистическая наука евреев с ее верой в мистицизм, возможность непосредственного общения человека со сверхъестественными силами, явилась толчком к изучению комбинаторных видов соединений. Истоки их знаний, по всей видимости, находятся в анонимной "Книге созидания" (ок. III в.). Для ее автора 22 буквы еврейского алфавита представляли "строительные кирпичики" созидания. Более поздние комментаторы этой книги (X–XI вв.) указывали, что анонимный автор умел находить C nm , Pn , а также число перестановок, где некоторые буквы одинаковы. Правда, они были связаны с составлением триграмм, в которых две из четырех букв повторялись. Перестановки и сочетания изучал в своей астрологической работе "Мир" [10] Рабби бен Эзра (1093–1167). Он обсуждал число возможных соединений планет, взятых по 1, 2, 3, ..., 7. Заметим, что обобщение этих результатов ведет к интересным связям и зависимостям. Некоторые из них, представленные аналитическими выражениями, имеют вид C 1 2 3 .... (m 1), 2!C 1 2 2 3 3 4 ... (m 2)( m 1), 3!C 1 2 3 2 3 4 ... (m 3)( m 2)( m 1), 4!C 1 2 3 4 2 3 4 5 ... (m 4)( m 3)( m 2)( m 1), 2 m 3 m 4 m 5 m .................................................................................................... r 1 r!Cm 1 2 3 ... r 2 3 4 ... (r 1) ... (m r )( m r 1)...( m 2)( m 1). Интересный пример приведен в работах ал-Халила Ибн Ахмада, рассмотревшего возможные расположения букв при образовании слогов. Анализ вычислений показывает, что ученый знал основные формулы для перестановок и сочетаний из n элементов [20]. Комбинаторные исследования асСамав’ала (XII в.) содержались в четвертой книге его работы "Блестящая [книга] о науке арифметике". Там он решил, в частности, сле- Являясь неудобными при непосредственных вычислениях, эти соотношения оказались весьма пригодными для суммирования последовательностей произведений чисел натурального ряда. Они позволили непосредственно находить сумму степеней n первых натуральных чисел более изящным путем по сравнению с тем, как это обычно выполнялось. 113 A. Е. Малых, А. М. Нагоева Рабби бен Эзра знал зависимость C nnm , однако, не установив общего закона, представил лишь конкретные примеры: С72 С75 ; C73 C74 . Учение о сочетаниях было далеко продвинуто Леви бен Герзоном (Герсонидом) (1288– 1344) и его последователями [22]. Вопросы теории соединений изучал палестинец Рабби Мозес Кардоверо. В труде "Фруктовый сад" (1552) он дал интересную интерпретацию перестановкам и сочетаниям, показал знание общих законов. Вместе с другими математическими знаниями комбинаторные сведения проникли и в Западную Европу. В трактате 1360 г. m Cn 5 Н. Орем (1323-1382) привел значения C k 1 k 6 [16, с.103]. По-видимому, ему был известен общий закон нахождения C nm , однако независимой формулы ученый не получил. Первое печатное доказательство формулы для перестановок из n элементов было найдено в трактате "Сумма [знаний] по арифметике, геометрии, пропорциям и пропорциональностям" Луки Пачоли (1445–1514) [17]. Ученый иллюстрировал правило нахождения числа таких перестановок для расположения любого множества персон, сидящих как за прямоугольным, так и круглым столом. Для первого случая подсчет был выполнен с использованием рекуррентной зависимости стве основного результата привел без доказательства формулу k 1 0 n 1 рентное соотношение C nk C nk 1 C nk11 , а n k 1 k 1 продемонстри Cn k ровал для случая n 11, показав тем самым, как получить C nk непосредственно из Cnnk . Различные виды комбинаторных соединений все чаще стали появляться в работах математиков XVII в. Представляет интерес освещение Хр. Клавиусом (1537–1612) – ученым-иезуитом, уроженцем Бамберга – комбинаторных вопросов с опорой на философское учение древних греков. Он сформулировал правило, аналитическая запись которого имеnn 1 ет вид C n2 , привел формулу 2 свойство C nk n C k 2 k n 2 n 1 n . Кроме того, впервые нашел значения n ! для n 1; 23 . Ниже приведена таблица значений n! для n 1; 24 , построенная Г.В.Лейбницем (1666). Таблица 1 1 2 6 24 120 720 5040 40320 362880 3628800 39916800 479001600 6227020800 87178291200 1307874368000 20922789888000 355687428096000 6402373705728000 121645100408832000 2432902008176640000 51090942171709440000 1124000727777607680000 25852016738884976640000 620448401733239439360000 C nk k , хотя и не получил ее строго- го доказательства. Вопрос о числе исходов при бросании четырёх игральных костей обсуждал в своей логистике Бутео (1501–1576). Ему было известно и правило нахождения числа размещений с повторениями элементов. Он работал над созданием замка с вращающимися цилиндрами (кодами), на каждом из которых имелось по шесть букв [3, с.305]. Дж. Кардано в "Новом труде о пропорциональностях" (1570) поместил все числа сочетаний из шести элементов по 2, а в каче- 2 n 1 , которую 1 2 ... k n Вслед за ним Н. Тарталья (1500 – 1557) не только определил Pn (n 1;12) , но и стал рассматривать сочетания с повторениями. Ученый, по-видимому, первым применил такие сочетания к подсчету очков при бросании игральных костей. Он знал также зависимость C k n знал уже в 1544 г. [5]. Ему была известна также независимая мультипликативная формула для нахождения числа сочетаний в виде n(n 1)...( n k 1) . Ученый ввел рекурk C Pn n(n 1)! k n C 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 На работы Клавиуса почти полностью опирался М. Мерсенн (1588–1648). Первые его сочинения, носящие комбинаторный ха- 114 Структура элементарной комбинаторики до начала XVIII века рактер, появились в мае 1635 г. Ученый верно описал пять из шести основных комбинаторных операций и привел многочисленные примеры для каждой из них. Так, он верно записал все числа от 1! до 64!, тем самым продвинув подсчет Pn намного дальше, чем его последователи, включая Г. В. Лейбница и Я. I Бернулли [13]. Заметим, что термин "факториал" был введен значительно позже Л. Ф. А. Арбогастом (от слова factor), в 1820 г. Знак же n! впервые использовал Хр. Крамп (1808). Тем не менее в XIX в. употреблялись и П (n) , или П n другие обозначения: (К. Ф. Гаусс, К. Г. Я. Якоби, Г. Вебер), а также в английской математической литературе того времени. В 1916 г. Советом Лондонского математического общества было рекомендовано в "Suggestion for Notation and Printing" использовать знак n! (при этом было предложено читать его "n-восхищение"). М. Мерсенн рассматривал также сочетания для определенного типа классов. В частности, он пришел к утверждению о том, что сочетаний n-го класса столько, сколько существует разбиений числа N на целочисленные слагаемые, а в качестве примера нашел все 30 разбиений числа 9 на слагаемые. Поэтому можно утверждать, что Мерсенн стоял у истоков сформировавшейся впоследствии комбинаторной теории разбиений. В своей "Универсальной гармонии" ученый без строгого доказательства иллюстрировал на конкретных примерах правило для подсчёта перестановок с повторениями. Он рассуждал следующим образом: если число можно представить в виде k 1 1 ... 2 ... 2 ... 1 2 r1 раз r2 раз k k ... k 1 r1 2 r2 ... k rk , rk раз то всегда можно предположить, что имеет место соотношение k 1 r1 2 r2 ... m rm , где 1 m k . Поэтому дальнейшее обобщение могло бы привести его к выводу: искомое число перестановок с повторениями равно m! . r1! r2 !...rm ! Мерсенну принадлежит также доказаk тельство формулы ~ n k . В ряде своих ис- A n следований он ссылался на П. Гульдена и других ученых. Перестановки с повторениями изучал и Френикль де Бесси в работе "Резюме теории соединений" (1676–1729) [8]. Комбинаторным вопросам посвятил отдельные главы своей "Алгебры" (1693, 1685) Джон Валлис (1616–1703) [24]. В одной из них он описал, как и Л. ван Схоутен, способ n нахождения формулы C k 1 k n 2n 1 . В другом разделе описана таблица, совпадающая с треугольником Паскаля. Показано, что она может быть использована как для n подсчета C nm , так и для нахождения C k 1 k n . Заметим, что относительно сочетаний ученый ничего не добавил к результатам Б. Паскаля, а сам стиль и четкость изложения, на наш взгляд, у него проигрывают. Валлис изучал также перестановки без повторения и с повторениями элементов, правда, не получив для них общих формул. Он предпринял попытку определения числа расположений слов в изобретательном стихегекзаметре Баухузия, составленном в честь девы Марии. Преуспел ученый в составлении и разгадке анаграмм, популярных в то время. В третьей части "Алгебры" с помощью сочетаний рассмотрены вопросы разложения натурального числа на простые множители, определения множества простых и составных его делителей; нахождения наименьших чисел, имеющих заданное число делителей, и др. То, что 0! следует принять равным 1, Валлис понял еще в 1656 г. и первым стал использовать это равенство. Однако, на наш взгляд, комбинаторные исследования ученого не привели к существенному продвижению теории. Таким образом, в тесной связи с потребностями арифметики, теории чисел и алгебры формировались группы комбинаторных задач. В XVII в. на смену разрозненной их совокупности, каждая из которых имела индивидуальное решение, пришло общетеоретическое рассмотрение. Со второй половины XVII столетия неоднозначность путей формирования теоретической базы комбинаторного анализа была очевидной. В одних работах, довольно многочисленных, явно прослеживалась выработка общих правил перечислительного характера. В них, главным образом, реализовывались соображения алгебраического типа. Наиболее 115 A. Е. Малых, А. М. Нагоева ярко этот аспект комбинаторного учения проявился в "Трактате об арифметическом треугольнике" Б.Паскаля (1665) [18]. В другой группе сочинений комбинаторные методы трактовались как способы решения задач о случайных событиях и их вероятностях. Теоретический подход к изучаемым вопросам стал уже очевиден в переписке П. Ферма и Б. Паскаля, работах их современников и последователей. В исследованиях этого направления по существу строился математический аппарат теории вероятностей для случая, когда рассматриваемое пространство элементарных событий дискретно. Систематически и наиболее полно это направление отражено в трактате Я. I. Бернулли (1654– 1705) "Искусство предположений" [2]. Зарождение комбинаторной теории соединений можно отнести к работам Б. Паскаля, Г. В. Лейбница, Я. I Бернулли. В "Трактате об арифметическом треугольнике" Б. Паскаль (1623 –1662) изучил сочетания и выяснил 19 их свойств. Два из них совпадают, что можно заметить, используя современную форму записи. Так, свойство 14 имеет вид r r 1 r 1 r 1 C n C n1 C n2 ... C r 1 , а двумя совпавшими (17 и 18) является n C i nr nr i n : C j (r 1) : (n r 1) . r Б. Паскаль доказывал все свойства с помощью своего арифметического треугольника и метода полной математической индукции. Ф. Мавролико (1494–1575), по-видимому, применил этот метод первым (1575) в работе "Две книги по арифметике". Целенаправленно же его применяли вплоть до XIX в. Интерес к изучению теоретических основ соединений у Паскаля был вызван просьбой азартного игрока кавалера де-Мере решить две задачи о разделе ставок. По поводу решения одной из них между Б. Паскалем и П. Ферма (1601–1665) завязалась переписка. Не являясь знакомыми лично, они продолжали ее на протяжении трех десятков лет. Решение Ферма, жившего в Тулузе, было значительно проще, чем у Паскаля, так как он исходил из арифметических соображений. Оно находилось в письме от 24 августа 1654 г. Его содержание таково: "Пусть до выигрыша всей встречи игроку A недостает двух партий, а игроку B – трех партий. Если игра прервана, то как справедливо разделить ставку?". Исходя из условия задачи Ферма рассуждал следующим образом: так как игра может максимально продолжаться еще 4 партии, то ученый составил таблицу II, в которой выигрыш для игрока A обозначил знаком (+), а для B – знаком (–). j r Таблица 2 1 + + + + 2 + + + – 3 + + – + 4 + – + + 5 – + + + 6 + + – – 7 + – + – 8 – + + – 9 + – – + Из 16 возможных исходов 11 благоприятны для выигрыша игроком A всей встречи. Для выигрыша B имеется только 5 благопри11 ятных исходов. Следовательно, ставки 16 5 должен получить A и – B. 16 Паскаль решил обе задачи, используя разработанную им теорию сочетаний. Его рассуждение заключалось в следующем: если в азартной игре участвуют двое, вложив одинаковые суммы денег, то при досрочном прекращении игры при дележе денег требуется соблюдать следующие правила: раздел пропорционален шансам; если прерывается первая партия, то все деньги делятся пополам; 10 – + – + 11 – – + + 12 – – – + 13 – – + – 14 – + – – 15 + – – – 16 – – – – при расторжении любой партии каждый игрок берет полусумму тех денег, на которые он рассчитывал бы как при выигрыше, так и в случае проигрыша; следует учитывать количество партий, которые осталось выиграть, а не тех, что были сыграны; если игроку осталось доиграть 0 партий, то он забирает всю ставку; если игрокам осталось выиграть одинаковое число партий, то они делят ставку пополам. Из правил игры и свойств сочетаний, данных Паскалем, следует Теорема. Пусть игроку 1 требуется для выигрыша n партий, а игроку 2 – t, тогда верно соотношение 116 Структура элементарной комбинаторики до начала XVIII века n 1 C nt 1 : i n t 1 i 0 ранее Б. Паскалем и Г. В. Лейбницем. Я. I Бернулли заметил связь перестановок с соче- C nt 1 ставка 2 : ставка 1. j j n Следующий шаг в изучении комбинаторных видов соединений был сделан Г. В. Лейбницем (1646–1716). Именно в его диссертации "Рассуждение о комбинаторном искусстве" (1666) введен термин "комбинаторика". Ученый рассмотрел различные виды соединений: размещения, перестановки, сочетания как с повторением, так и без повторения элементов, доказал многие их свойства. В частности, для сочетаний он нашел свойство, отсутствующее в трактате Б. Паскаля: если p – простое число, то r Cp кратно p. Кроме рекуррентной формулы для перестановок Pn n Pn 1 он получил некоторые их числовые характеристики: • если n 2 , то Pn – четное; • Pn оканчивается столькими нулями, сколько содержится пятерок в n; • n Pk k 1 оканчиваются на 3 при n 4 ; • если n > k, то Pk n и Pk Pn . Лейбниц доказал два тождества, касающиеся перестановок: Pn 2 Pn 1 n 1 Pn Pn 1 , 2 Pn Pn 1 Pn . Pn 1 i 0 i m рениями элементов как для строк ~i ~m C C n i 0 n n 1 , ~ m ~ m1 . j Cn C так и для столбцов j 1 Заметим, что частные, более ранние случаи рассмотрения сочетаний с повторениями элементов принадлежат Н. Тарталье (ок. 1499–1557). Он рассмотрел задачу о числе исходов при бросании 1, 2, 3, ..., k костей. Ученый нашел значения таких сочетаний с основанием n 6 (по числу граней) и установил соотношение k 1 1 ~ ~ ~ ~ ~ C C C C C k 1 k 1 k 1 k 1 k 1 2 3 4 5 6 ~. C k 6 Я. I Бернулли доказал множество свойств сочетаний с повторениями элементов, в частности C~ Pn . n m j 0 Как выяснилось впоследствии, Г. В. Лейбниц стоял также у истоков аддитивной теории разбиений, дав им специальное название "Zerfallungen" (1698). Однако он рассмотрел только разбиения на два и три слагаемых, заметив, что эту проблему ожидает большое будущее. Следующий шаг в развитии теории соединений был сделан швейцарским ученым, учеником Лейбница Якобом I Бернулли (1654–1705). В "Искусстве предположений" (1713) он получил ряд отношений для чисел сочетаний и среди них пропорцию n 1 k 1 k 1 C : (n 1 k ) C 1 : k , не доказанную Pn , т. е. первым стал заPk Pnk писывать C nk в виде факториалов. Более подробно он остановился на изучении сочетаний с повторениями элементов и, построив таблицу для них, обнаружил, что её элементы совпадают с ненулевыми элементами аналогичного построения, выполненного для C nr . Они составлялись по одному принципу: все сочетания с одинаковыми основаниями n находились в одном горизонтальном ряду в порядке возрастания r – их показателя. При дальнейшем рассмотрении ученым были получены свойства сочетаний с повто- ~ C Кроме того, в отличие от Б. Паскаля, он рассмотрел новые виды перестановок – круговые – и установил их связь с обычными: Pкр таниями C nk j n 1 n 1 ~i , C m i 0 ~ ~ ~ C C , C m n 1 n m 1 n m1 j 1 j m1 n2 i 1 i ~ C . Связь чисел сочетаний как с повторением элементов, так и без них он впервые установил при помощи формул ~ C C m n m , n m1 m 1 ~ C C n j 0 i 1 j n i nm 1 . Для нахождения числа размещений без повторений элементов, а также с их повторениями ученый доказал соответствующие формулы: n 117 n A i 1 ~ A m i 1 i n i n n 1 n( An1 1) , j j 1 n n 2 ... n m n(n m 1) . n 1 A. Е. Малых, А. М. Нагоева Я. I Бернулли построил удобную таблицу для нахождения числа всех размещений с повторениями, составленных из элементов заданного сочетания с повторением элементов, названного им "классом". Полученные размещения он назвал "комплексами". Таким образом, с середины XVII в. наметились основные пути оформления разрозненных комбинаторных сведений в научное направление, получившее впоследствии название элементарной комбинаторики. Этот процесс оказался тесно связанным с исследованиями Б. Паскаля, Г. В. Лейбница и Я. I Бернулли. В них объединились сведения о различных видах соединений, были изучены и строго обоснованы их свойства, указаны приложения полученных результатов. 11. 12. 13. 14. 15. 16. Список литературы 1. An English translation of the Susruta Samhita / Ed. Bishagratna. Varanasi, 1963. 2-nd. ed.Vol.3. 2. Bernoulli J. Ars conjectandi. Basilleæ, 1713. 3. Buteon Logistica. Lyon, 1559. 4. Cantor M. Vorlesungen über Geschichte der Mathematik. Leipzig, 1900–1908. Bd. I–IV. 5. Cardanus H. Ars magma sive de Regulis algebraicis. Norimbergæ, 1545. 6. Colebrook N. T. Algebra with Arithmetic and Mensuration from the Sanscrit of Brahmegupta and Bhascara // J. Murray. London, 1817. 7. Dutta B., Singh A. N. History of Hindu mathematics. Bombey, 1963. Vol. 1–2. 8. Frenicle de Bessy B. Abrégé des combinaisons. Paris, 1729. 9. Geiberg J. L. Combinatorische Aufgаben // Philologus, 1884. Bd. 43. S.475. 10. Ginsburg J. Rabbi ben Esra on permutations 17. 18. 19. 20. 21. 22. 23. 24. and combinations. // Math. Teacher, 1923. Vol.15. P. 347–356. Leibniz G. W. Dissertatio de arte combinatoria // Die philosophische Schriften. Berlin, 1880. Bd. 4. S.27–102. Magavira The Ganita sara – sangraha / Engl. transl. M. Rangacarya. Madras, 1912. Mersenne M. Novarum observationum physico-mathematicarum tomus terminus. Paris, 1647. Cap. XXIV. Narayana P. The Ganita Kaumudi. Benares. 1936. Part 1; 1942. Part. 2. Needham J. Science and Civilisation in China. History of scientific Thought. Vol.2. Mathematics and Sciences of the heaven and earth. London, 1959. Орем Н. Трактат о конфигурации качества / пер. В. П. Зубова // Историко-математические исследования. М.: Наука, 1958. Вып. XI. С.601–732. Pacioli L. Summa de arithmetica, geometria, proportioni et proportionalita. Venetiae, 1494. Pascal B. Traité du Triangle arithmétique. Oeuvres. Paris, 1908. Plutarch’s Moralia. London: Loeb Classical Library, 1961. Rached R. Algèbre et Linguistique: L′Analyse combinatoire dans le science Arabe // Philosophical Faundations of Science. Reidel: Dordrecht, 1974. P.383–399. Sridhara The Patiganita with an ancient sanskrit commentary K. S. Shukla. Lucknow. 1959. Steinschneider M. Die Mathematik bei de Juden. / Bibliotheca mathematica (2). Bd. 7– 13. Stockholm–Berlin–Paris, 1887–1899. Tartaglia N. General trattato di numeri et misure. Venetia, 1556/1560. Wallis J. A treatise of algebra. Oxford, 1685. The structure of elementary combinatorics up to XVIII century A. E. Malykh, A. M. Nagoyeva Perm State Pedagogical University, Russia, 614000, Perm, Sibirskaja st., 24 malych@pspu.ru; (342) 280-37-55 The forming of elementary combinatorics in various intervals of times is shown. Reception of independent formulae for combinations, arrangements and permutations of elements finite discrete sets was described. An investment of scientific investigations of B. Pascal, G. W. Leibniz and J. I Bernoulli in forming theoretical foundations of combinatorics is shown. Key words: combinations; arrangements; permutations; elementary combinatirics; Pascal triangle; binomial coeffiсients. 118
