Арифметический
треугольник Паскаля образует бесконечная числовая таблица, составленная из биномиальных коэффициентов. Ее строки упорядочены по степеням биномов сверху вниз. В каждой строке биномиальные коэффициенты расположены по возрастанию верхних индексов соответствующих чисел сочетаний слева направо.
Треугольник Паскаля принято записывать в равнобедренном или в прямоугольном формате.
Наиболее наглядным и распространенным является равнобедренный формат, где биномиальные коэффициенты, располагаясь в шахматном порядке, образуют бесконечный равнобедренный треугольник. Его начальный фрагмент для биномов до степени n=4 имеет следующий вид:
Таблица 1
 |
В общем случае равнобедренный
треугольник Паскаля предоставляет удобное геометрического правило определения биномиальных коэффициентов, которое основано на тождествах сложения и симметрии чисел сочетаний. В частности, в соответствии с тождеством сложения любой
биномиальный коэффициент является суммой двух ближайших к нему коэффициентов предыдущей строки. Это правило иллюстрирует сложение и его результат для подчеркнутых коэффициентов рассмотренного выше равнобедренного треугольника Паскаля. В соответствии с тождеством симметрии равнобедренный треугольник Паскаля симметричен относительно своей биссектрисы. Таким образом, каждая его строка является числовым палиндромом из биномиальных коэффициентов. Свойство палиндрома можно проследить для любой строки рассмотренного выше фрагмента равнобедренного треугольника Паскаля, если прочитать ее коэффициенты слева направо и справа налево. Указанные алгебраические и геометрические особенности позволяют расширять равнобедренный треугольник Паскаля и последовательно находить значения биномиальных коэффициентов произвольных степеней.
Однако для изучения различных свойств
треугольника Паскаля удобнее применять формально более строгий прямоугольный формат. В этом формате его задает нижняя треугольная матрица биномиальных коэффициентов, где они образуют бесконечный прямоугольный треугольник. Начальный фрагмент прямоугольного треугольника Паскаля для биномов до степени n=9 имеет следующий вид:
Таблица 2
n |  |  |  |  |  |  |  |  |  |  | ... |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... |
1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... |
2 | 1 | 2 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ... |
3 | 1 | 3 | 3 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | ... |
4 | 1 | 4 | 6 | 4 | 1 | 0 | 0 | 0 | 0 | 0 | ... |
5 | 1 | 5 | 10 | 10 | 5 | 1 | 0 | 0 | 0 | 0 | ... |
6 | 1 | 6 | 15 | 20 | 15 | 6 | 1 | 0 | 0 | 0 | ... |
7 | 1 | 7 | 21 | 35 | 35 | 21 | 7 | 1 | 0 | 0 | ... |
8 | 1 | 8 | 28 | 56 | 70 | 56 | 28 | 8 | 1 | 0 | ... |
9 | 1 | 9 | 36 | 84 | 126 | 126 | 84 | 36 | 9 | 1 | ... |
... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... |
Геометрически такая прямоугольная таблица получается путем горизонтальной деформации равнобедренного
треугольника Паскаля. В результате числовые ряды, параллельные боковым сторонам равнобедренного треугольника Паскаля, превращаются в вертикали и диагонали прямоугольного треугольника Паскаля, а горизонтали обоих треугольников совпадают. При этом сохраняют справедливость правила сложения и симметрии биномиальных коэффициентов, хотя прямоугольный треугольник Паскаля теряет визуальную симметричность, свойственную его равнобедренному аналогу. В качестве компенсации становится более удобным формальный анализ разнообразных числовых свойств биномиальных коэффициентов для горизонталей, вертикалей и диагоналей прямоугольного треугольника Паскаля.
Начиная анализ горизонталей прямоугольного
треугольника Паскаля, несложно заметить, что сумма элементов любой строки с номером
n равна
2n в соответствии с формулой суммирования биномиальных по верхнему индексу. Из этого следует, что сумма элементов над любой из горизонталей с номером
n равна
(2n-1). Этот результат становится вполне очевидным, если значение суммы элементов каждой горизонтали записать в двоичной
системе счисления. Например, для
n=4 такое сложение можно записать следующим образом:
(12 = 20) + (102 = 21) + (1002 = 22) + (10002 = 23) = (11112 = 24 − 1).
Вот еще пара интересных свойств горизонталей, которые также связаны со степенью двойки. Оказывается, что если номер горизонтали равен степени двойки (n=2k), то все ее внутренние элементы (то есть кроме крайних единиц) являются четными числами. Наоборот, все числа горизонтали будут нечетными, если ее номер на единицу меньше степени двойки (n=2k−1). В справедливости этих свойств можно убедиться проверкой четности внутренних биномиальных коэффициентов, например, в горизонталях n=4 и n=3 или n=8 и n=7.
Пусть теперь номер строки прямоугольного треугольника Паскаля есть простое число
p. Тогда все ее внутренние биномиальные коэффициенты должны делиться на
p. Это свойство несложно проверить для малых значений простых номеров горизонталей. Например, все внутренние
биномиальные коэффициенты пятой горизонтали (
5,
10 и
5), очевидно, делятся на
5. Чтобы доказать справедливость этого результата для любого простого номера горизонтали
n=p, нужно записать мультипликативную формулу ее биномиальных коэффициентов, отделив наибольший множитель числителя
p следующим образом:
Cmn=p
, 0 < m < p
Поскольку p есть простое число и, следовательно, не делится на m!, то произведение остальных сомножителей числителя этой формулы обязано делиться на m!, чтобы гарантировать целое значение биномиального коэффициента. Отсюда следует, что отношение в квадратных скобках является натуральным числом N и искомый результат становится очевидным. В нотации теории чисел это свойство можно записать следующим образом:
Cmn = pN = 0 (mod 1) −>Cmp = 0 (mod p) , 0 < m < p .
Используя этот результат, можно установить, что номера всех горизонталей треугольника Паскаля, внутренние элементы которых делятся на заданное простое число p, являются степенью p, то есть имеют вид n=pk. В частности, если p=3, то простое число p делит не только все внутренние элементы строки 3, как было установлено выше, но, например, девятой (n=9) горизонтали (9,36, 84 и 126). С другой стороны, в треугольнике Паскаля нельзя найти горизонталь, все внутренние элементы которой делятся на составное число. В противном случае номер такой горизонтали обязан быть одновременно степенью простых делителей составного числа, на которое делятся все ее внутренние элементы, но это по очевидным причинам невозможно.
Рассмотренные соображения позволяют сформулировать следующий общий признак делимости горизонтальных элементов треугольника Паскаля. Наибольший общий делитель (НОД) всех внутренних элементов любой горизонтали треугольника Паскаля с номером n равен простому числу p, если n=pk или 1 во всех остальных случаях:
НОД(Cmn)=
для любых 0 < m < n
В заключение анализа горизонталей стоит рассмотреть еще одно любопытное свойство, которым обладают образующие их ряды
биномиальных коэффициентов. Если биномиальные коэффициенты любой горизонтали с номером
n умножить на последовательные степени числа
10, а затем сложить все эти произведения, то получится
11n. Формальным обоснованием этого результата является подстановка значений
X=10 и
Y=1 (или
Z=1) в формулу
бинома Ньютона. Следующий численный пример иллюстрирует выполнение этого свойства при
n=5:
1·100 + 5·101 + 10·102 + 10·103 + 5·104 + 1·105 = (10 + 1)5 = 115
Анализ свойств вертикалей прямоугольного треугольника Паскаля можно начать с изучения индивидуальных особенностей составляющих их элементов. Формально каждую вертикаль
m треугольника Паскаля образует следующая бесконечная последовательность
биномиальных коэффициентов с постоянным верхним индексом
(m) и инкрементом нижнего индекса:
Vm=<Cm0, Cm1, Cm2, ... Cmn, Cmn+1 , ...>
Очевидно, при
m=0 получается последовательность единиц, а при
m=1 образуется ряд натуральных чисел. При
m=2 вертикаль составляют
треугольные числа. Каждое
треугольное число можно изобразить на плоскости в виде равностороннего треугольника, который заполняют произвольные объекты (ядра), расположенные в шахматном порядке. При этом значение каждого
треугольного числа T
k определяет количество изображающих ядер, а индекс показывает, сколько таких рядов ядер нужно для его представления. Например,
4 начальных треугольных числа представляют следующие конфигурации из соответствующего количества ядерных символов '@':
@T1 = C22 = 1 @@ - @T2 = C23 = 3 @@ - @@ - @ - @T3 = C24 = 6 @@ - @@ - @ - @@ - @ - @ - @T4 = C25 = 10
Следует отметить, что аналогичным образом можно ввести в рассмотрение
квадратные числа S
k, которые получаются возведением в квадрат натуральных чисел
k и, вообще, многоугольные
фигурные числа, образованные регулярным заполнением правильных многоугольников. В частности,
4 начальных квадратных числа можно изобразить следующим образом:
@S1 = 12 = 1 @-@||@-@S2 = 22 = 4 @-@-@|||@-@-@|||@-@-@S3 = 32 = 9 @-@-@-@||||@-@-@-@||||@-@-@-@||||@-@-@-@S4 = 42 = 16
Возвращаясь к анализу вертикалей треугольника Паскаля, можно отметить, что следующую вертикаль при
m=3 заполняют
тетраэдальные (
пирамидальные) числа. Каждое такое число P
k задает количество ядер, которое можно расположить в форме тетраэдра, а индекс определяет, сколько горизонтальных треугольных слоев из рядов ядер требуется для его изображения в трехмерном пространстве. При этом все горизонтальные слои должны представляться как последовательные треугольные числа. Элементы следующих вертикалей треугольника Паскаля при
m>3 образуют ряды
гипертетраэдальных чисел, которые не имеют никакой наглядной геометрической интерпретации на плоскости или в трехмерном пространстве, но формально соответствуют многомерным аналогам треугольных и тетраэдальных чисел.
Хотя вертикальные числовые ряды
треугольника Паскаля имеют рассмотренные индивидуальные фигурные особенности, но для них можно одинаковым образом вычислять частичные суммы значений начальных элементов, используя формулу суммирования чисел сочетаний по нижнему индексу. В треугольнике Паскаля эта формула имеет следующую геометрическую интерпретацию. Сумма значений
n верхних
биномиальных коэффициентов любой вертикали равна значению элемента следующей вертикали, который расположен на одну строку ниже. Этот результат также соответствует геометрической структуре треугольных, тетраэдальных и гипертетраэдальных чисел, поскольку представление каждого такого числа состоит из ядерных слоев, которые изображают числа более низкого порядка. В частности,
n-е
треугольное число T
n можно получить, суммируя все натуральные числа, изображающие его линейные слои:
(C11 = 1) + (C12 = 2) + (C13 = 3 ) + (C14 = 4) + ... + (C1n = n) = C2n+1 = Tn = n(n + 1)2
Аналогичным образом несложно найти тетраэдальное число P
n , вычислив следующую сумму
n первых
треугольных чисел, которые составляют его горизонтальные ядерные слои:
(T1 = C22 = 1) + (T2 = C23 = 3) + (T3 = C24 = 6) + ... + (Tn = C2n+1 = n(n + 1)2) = C3n+2 = Pn = n(n + 1)(n + 2)6
Помимо горизонталей и вертикалей в прямоугольном
треугольнике Паскаля можно проследить диагональные ряды элементов, изучение свойств которых также представляет определенный интерес. При этом обычно различают нисходящие и восходящие диагонали. Нисходящие диагонали параллельны гипотенузе прямоугольного треугольника Паскаля. Их образуют ряды
биномиальных коэффициентов с инкрементом обоих индексов. В силу тождества симметрии нисходящие диагонали совпадают по значениям своих элементов с соответствующими вертикальными рядами треугольника Паскаля и поэтому повторяют все их свойства, рассмотренные выше. Указанное соответствие можно проследить по совпадению значений элементов каждой нисходящей диагонали и вертикали с любым номером
n, если не учитывать вертикальные нули:
dn =< C0n; C1n+1; C2n+2; ... Ckn+k; .... > ~ Vn = < Cnn; Cnn+1; Cnn+2; ... Cnn+k; ...>
Восходящие диагонали образуют числовые ряды, геометрически перпендикулярные гипотенузе прямоугольного
треугольника Паскаля. Они заполнены
биномиальными коэффициентами с декрементом нижнего и инкрементом верхнего индексов. В частности,
7 верхних восходящих диагоналей образуют следующие числовые последовательность без учета хвостовых нулей:
<1>1; <1>2; <1, 2>3; <1, 3, 1>4; <1, 4, 3>5; <1, 5, 6, 1>6; <1, 6, 10, 4>7
В общем случае на любой восходящей диагонали с номером
n стоят следующие
биномиальные коэффициенты, сумма индексов каждого из которых равна
(n-1):
dn = <C0n-1; C1n-2; C2n-3; ... Cmn-m-1; ... Cn-10>
В силу тождества сложения для чисел сочетаний каждый диагональный элемент равен сумме двух соответствующих по индексам элементов из двух предыдущих восходящих диагоналей. Это позволяет строить каждую следующую восходящую диагональ попарным суммированием соседних горизонтальных элементов из двух предыдущих диагоналей, бесконечно расширяя
треугольник Паскаля по диагонали.
Следующий фрагмент
треугольника Паскаля иллюстрирует построение восходящей диагонали с номером
8 по диагоналям с номерами
6 и
7:
При таком способе построения сумма элементов любой восходящей диагонали, начиная с
3-й, будет равна сумме элементов двух предыдущих восходящих диагоналей, а первые
2 диагонали состоят только из одного элемента, значение которого равно
1. Результаты соответствующих вычислений образуют следующий числовой ряд, по которому можно проверить справедливость рассмотренного свойства восходящих диагоналей прямоугольного
треугольника Паскаля:
1; 1; 2 = (1 + 1); 3 = (1 + 2); 5 = (2 + 3); 8 = (3 + 5); 13 = (5 + 8); 21 = (8 + 13); …
Анализируя эти числа, можно заметить, что по аналогичному закону образуется хорошо известная
последовательность чисел Фибоначчи, где каждое очередное число равно сумме двух предыдущих, а два первых числа равны
1:
F1 = F2 = 1; Fn+2 = Fn + Fn+1 .
Таким образом, можно сделать следующий важный вывод: диагональные суммы элементов
треугольника Паскаля составляют последовательность Фибоначчи. Это свойство позволяет установить еще одну интересную особенность треугольника Паскаля. Раскрывая рекурсивно формулу Фибоначчи, несложно доказать, что сумма первых
n чисел Фибоначчи равна
(Fn+2−1). Поэтому сумма
биномиальных коэффициентов, которые заполняют верхние
n диагоналей, также равна
(Fn+2−1). Отсюда следует, что сумма
n первых диагоналей
треугольника Паскаля на
1 меньше суммы
биномиальных коэффициентов, стоящих на его диагонали с номером
(n+2).
В заключение следует отметить, что рассмотренные свойства
треугольника Паскаля далеко не исчерпывают огромное разнообразие возможностей, которые связывают воедино различные математические аспекты, на первый взгляд не имеющие ничего общего. Столь необычные свойства позволяют считать треугольник Паскаля одной из наиболее совершенных числовых систем, все многообразные возможности которой нельзя перечислить и трудно переоценить.