Комбинаторика и числовые системы

Рассмотрим некоторые общие методы вычисления конечных сумм.

Самым простым прагматическим методом является поиск нужной суммы в справочниках "Сумм и интегралов" (человеческим опытом и знаниями нельзя пренебрегать!). Многие часто используемые суммы кем-то наверняка уже давно вычислены и предлагаются в этих справочниках.

Пример. Важные суммы из, например, известного справочника Двайта "Таблица сумм и интегралов":

Второй распространенный метод - угадывание закономерностей в суммируемых числах, вывод общей формулы для всех членов последовательности и затем - формулы для суммы, с последующим доказательством методом математической индукции справедливости этой формулы. Вышеприведенный пример мог бы служить иллюстрацией такого подхода, если бы мы доказали полученную формулу математической индукцией (предлагается выполнить эту несложную процедуру читателю), которая, собственно говоря, и была придумана для обоснования априорных предположений.

Третий метод можно назвать методом подбора подходящей рекуррентной зависимости. Он базируется на следующей теореме.

Теорема. Если для суммы вида

можно найти функцию F(k), для которой при любом k выполнено рекуррентное равенство x_k=F(k+1)-F(k), то данную сумму можно вычислить по формуле: S_n=F(n+1)-F(1).

Пример. Вычислим сумму вида

Здесь и, как легко это проверить, справедливо равенство Поэтому имеем равенство для всех натуральных значений k. Тогда можно записать равенство вида

Сумма

эквивалентна рекуррентности а эта связь помогает эффективно вычислять суммы.

Есть и другие, достаточно сложные методы суммирования.

Аналогично знаку суммы вводится и знак произведения:

Пример. Факториал числа n>0 можно записать в виде

Для n=0 условно полагают 0!=1. Он совпадает с 1!.

В математике часто используют ряд чисел, имеющих собственные имена в силу их исключительной важности. Примером такого числа является рассмотренное выше натуральное число (число Непера) e. Число можно также отнести к таким числам. Рассмотрим некоторые другие важные числа.

Числа Мерсенна - числа вида M_n=2ⁿ-1. Если n - не простое (например, кратно m, то есть n=km ), то эти числа - всегда не простые, так как в этом случае имеет место разложение (2^km-1)=(2^m-1)(2^m(k-1)+2^m(k-1)+ ...+1). Эти числа не всегда простые и в том случае, когда n - простое число.

Числа Ферма имеют вид: и предполагались самим Ферма (кстати, в письме к Мерсенну) простыми , но затем было доказано, что F₅=4294967297 - не простое и делится, например, на 641.

Числа Паскаля или треугольник Паскаля (проявление красоты и симметрии математических объектов):

Числа Эйлера (треугольник Эйлера), связывают обычные степени с биномиальными коэффициентами и удовлетворяют соотношениям:

Эти числа можно записать в виде, аналогичном треугольнику Паскаля:

Пример. Из треугольника Эйлера и приведенного выше рекуррентного соотношения получаем, в частности,

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

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