Треугольник и пирамида Паскаля: свойства и обобщения

МАТЕМАТИКА ТРЕУГОЛЬНИК И ПИРАМИДА ПАСКАЛЯ: СВОЙСТВА И ОБОБЩЕНИЯ О. В. КУЗЬМИН Иркутский государственный университет

PASCAL TRIANGLE AND PASCAL PYRAMID: SOME PROPERTIES AND GENERALIZATIONS O. V. KUZMIN

Some classical as well as modern arithmetic, geometric, and combinatorial properties of the widely known Pascal triangle and Pascal pyramid are highlighted and some of their generalizations are given.

© Кузьмин О.В., 2000

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

Пожалуй, одной из наиболее известных и изящных численных схем во всей математике является треугольник Паскаля. Блез Паскаль, французский математик и философ XVII века, посвятил ей специальный “Трактат об арифметическом треугольнике”. Впрочем, эта треугольная таблица была известна задолго до 1665 года, даты выхода в свет труда Паскаля. Так, в 1529 году треугольник Паскаля был воспроизведен на титульном листе учебника арифметики, написанного Петром Апианом, астрономом из Ингольштадтского университета. Изображен треугольник и на иллюстрации в книге “Яшмовое зеркало четырех элементов” китайского математика Чжу Шицзе, выпущенной в 1303 году. Омар Хайям, не только поэт и философ, но и математик, знал о существовании треугольника около 1100 года, в свою очередь заимствовав его из более ранних китайских или индийских источников. 1. ТРЕУГОЛЬНИК ПАСКАЛЯ И БИНОМИАЛЬНЫЕ КОЭФФИЦИЕНТЫ 1.1. Треугольник Паскаля часто выписывают в виде равнобедренного треугольника (рис. 1), в котором на вершине и по боковым сторонам стоят единицы, каждое из остальных чисел равно сумме двух чисел, стоящих над ним слева и справа в предшествующей строке. Треугольник можно продолжать неограниченно. Он обладает симметрией относительно вертикальной оси, проходящей через его вершину. Треугольник Паскаля прост, но в то же время таит в себе неисчерпаемые сокровища и связывает воедино различные разделы математики, не имеющие на первый взгляд ничего общего. В статье столь ограниченного объема нет возможности даже перечислить все известные свойства и приложения [1, 2]. Отметим лишь некоторые из них.

www.issep.rssi.ru

Вдоль диагоналей, параллельных сторонам треугольника, выстроены треугольные числа и их обобщения на случай пространств всех размерностей. Суммы чисел, стоящих вдоль восходящих диагоналей, образуют

К У З Ь М И Н О . В . Т Р Е У ГО Л Ь Н И К И П И РА М И Д А П А С К А Л Я : С В О Й С Т В А И О Б О Б Щ Е Н И Я

101

МАТЕМАТИКА Строки 0

Числа натуральные треугольные

1

2 тетраэдральные 3

1 2

1

5

1

6

1

.

.

.

6 10

.

.

.

5 15

.

.

.

.

.

k

∑

  1.2. Биномиальные коэффициенты  n  можно  k получить путем разложения соответствующей степени бинома:  n k x , k k=0 n

∑ 

(1)

1.3. Биномиальные коэффициенты строятся из натуральных чисел при помощи арифметических операций

 n+1   n   n   +    =  k   k–1   k 

n $ 1,

и равенству  n  n  ,   =  k   n–k 

102

1 # k # n.

∞

Возьмем числовую последовательность { α i } i = 1 , αi ­ 0. В числителе и знаменателе правой части равенства (2) каждый множитель заменим членом последовательности, имеющим тот же номер. Получим коэффициенты n  α n α n – 1 …α n – k + 1 -,   = -------------------------------------α k α k – 1 …α 1  k α подчиняющиеся рекуррентной формуле n   n – 1  αn – αk  n – 1  ,   =  + ---------------α n – k  k   k α  k – 1 α α

(3)

при условиях n  n    =   = 1,  0 α  n α

если min(n, k, n − k) < 0, граничным условиям  n  n   =  =1  0  n

(2)

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

с начальными условиями  n   = 0,  k

 n  n ( n – 1 )… ( n – k + 1 )   = ---------------------------------------------------, k ( k – 1 )…2 ⋅ 1  k

 n   = 1;  0

  n! где  n  = -----------------------, n $ 0, k # n. Они удовлетворяют k! ( n – k )!  k рекуррентному соотношению (правилу Паскаля)

 0   = 1,  0

k=0

 n  m   n+m  .    =  k  i = 0 i   k – i 

хорошо известную последовательность чисел Фибоначчи. Если, спускаясь по центральному столбцу, из каждого числа вычитать соседнее справа (или слева!), то возникает последовательность чисел Каталана. И наконец, каждый элемент является биномиальным коэффициентом. Именно это фундаментальное свойство треугольника Паскаля связывает его не только с комбинаторикой и теорией вероятностей, но и другими областями математики и ее приложений [3].

n

k

и свертку Вандермонда

1

Рис. 1. Треугольник Паскаля

( x + 1) =

 n  =0 k

∑ ( –1 ) 

1 6

.

n

∑

1

4

20

 n n   =2 ,   k k=0 n

1

10

15 .

1 3

4 5

6 .

3

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

Числа Фибоначчи 2 3 5 8

1

1

1

1

4

1

1

n $ 0,

и n    = 0,  k α

если min(n, k, n − k) < 0.

Важным частным случаем при αi = fi являются так называемые фибономиальные коэффициенты

С О Р О С О В С К И Й О Б РА З О В АТ Е Л Ь Н Ы Й Ж У Р Н А Л , Т О М 6 , № 5 , 2 0 0 0

МАТЕМАТИКА n  f n f n – 1… f n – k + 1 -,   = ------------------------------------f k f k – 1… f 1 k  где m, n – неотрицательные целые, fk – k-е число Фибоначчи: fn = fn − 1 + fn − 2 , f0 = 1, f1 = 1. Полагая в (3) αi = fi , получим n – 1  n  f n – f kn – 1  .  + --------------  = f n – k  k  k f k – 1 f f

(4)

1.4. Для биномиальных коэффициентов известно множество различных интерпретаций. Самая популяр  ная из них – комбинаторная:  n  – число сочетаний  k из n элементов по k (или k-подмножеств n-множества). Интересна следующая геометрическая интерпретация. Пусть дана прямоугольная сетка квадратов размерами nk (шахматный город, состоящий из n × k прямоугольных кварталов, разделенных k − 1 горизонтальными и n − 1 вертикальными улицами (рис. 2)). Тогда  n+k   n+k   – число различных кратчайших на   =  n   k  этой сетке путей, ведущих из левого нижнего угла O(0; 0) в правый верхний угол M(n; k). M(n; k)

Число V0 , стоящее в вершине V-треугольника, оговаривается особо. Величины αn, k и βn, k называют весовыми коэффициентами. При фиксированных n и k элементы образуют n-строку и k-столбец V-треугольника соответственно. 2.1. Многие комбинаторные числа являются частными случаями элементов V-треугольника. В этом разделе считаем V0 = 1. Положим αn, k = βn, k = 1, n $ 1, 0 # k # n, тогда   V(n, k) =  n  , то есть имеем треугольник Паскаля.  k Пусть αn, k = 1, βn, k = µn − 1 , n $ 1, 0 # k # n, тогда n V ( n, k ) = B k , а из соотношения (5) следует рекуррентная формула Bk = Bk – 1 + µn – 1 Bk n–1

n

n–1

(6) n k

для обобщенных чисел Стирлинга 1-го рода B (см. [4, с. 27]). n n При αn, k = 1, β k = µ k имеем V ( n, k ) = A k и рекуррентную формулу Ak = Ak – 1 + µk Ak n

n–1

n–1

(7) n

для обобщенных чисел Стирлинга 2-го рода A k (см. [4, ∞

с. 27]). Последовательность { µ i } i = 0 называем базой, а n

n

треугольники, составленные из B k и A k , – соответственно B- и A-треугольником. αn – αk - , n $ 1, 0 # k # n, Положим α n, k = 1, β n, k = ---------------αn – k n  тогда V ( n, k ) =   и из (5) получаем рекуррентную  k α формулу (3). fn – fk -, n $ 1, 0 # k # n, тогда Пусть α n, k = 1, β n, k = --------------fn–k n  V ( n, k ) =   и из соотношения (5) получаем рекурk f

O(0; 0)

рентную формулу (4). Если αn, k = fn − k − 2 , βn, k = fk + 1, n $ 1,

Рис. 2. Пути на прямоугольной сетке

2. ОБОБЩЕННЫЙ ТРЕУГОЛЬНИК ПАСКАЛЯ Обобщенным треугольником Паскаля (V-треугольником) называем треугольную таблицу, элементы которой удовлетворяют следующим рекуррентным соотношениям [4, с. 92]: V ( n, k ) = α n, k – 1 V ( n – 1, k – 1 ) + β n, k V ( n – 1, k ), где V(0, 0) = V0 , V(n, k) = 0, если min(n, k, n − k) < 0.

(5)

n  0 # k # n, то также V ( n, k ) =   , а из (5) имеем новую k f рекуррентную формулу. 2.2. Обобщенный треугольник Паскаля допускает следующую простую биологическую интерпретацию (см. [4, с. 92]). Дискретное множество переменного состава, элементы которого способны рождаться, отмирать и переходить из одной качественной категории в другую, назовем популяцией. Первоначально популяция однородна – состоит из одинаковых элементов.

К У З Ь М И Н О . В . Т Р Е У ГО Л Ь Н И К И П И РА М И Д А П А С К А Л Я : С В О Й С Т В А И О Б О Б Щ Е Н И Я

103

МАТЕМАТИКА Развитие популяции рассматриваем дискретно по итогам его последовательных этапов, номера которых n $ 0, и по номерам видов элементов k $ 0. Пусть на протяжении этапа развития популяции элементы k-го вида способны порождать элементы только k-го и (k + 1)-го видов, то есть ориентируемся на эволюцию без отступлений и с условием, что за один этап можно сделать не более одного шага вперед. Тогда: V(n, k) – число элементов k-го вида после n-го этапа; βn, k – доля элементов k-го вида, сохранившаяся от объема V(n, k) этого вида на протяжении n-го этапа; αn, k – доля от объема V(n − 1, k), в котором элементы k-го вида породили элементы (k + 1)-го вида на протяжении n-го этапа. Объем популяции в итоге n-го этапа (n $ 1) будет Vn =

n

n–1

k=0

k=0

∑ V ( n, k ) = ∑ ( α

n, k

+ β n, k ) V ( n – 1, k ),

n $ 1. (8)

Если задано V0 и известны весовые коэффициенты, то по формулам (5) и (8) можно найти общий объем популяции и присущее ей распределение по видам элементов на каждом из этапов развития. Обратная задача не является однозначной.

что дает соотношение (10) при k = t. Теорема доказана. C учетом (10) общей п.ф. A-треугольника будет ∞

A ( x, z ) =

∑

k

( xz )

k

∏ (1 – γ z) i

3.1. Получим производящие функции (п.ф.) для некоторых составных частей A- и B-треугольников. Пусть ∞

Ak ( z ) =

∑ A z , k $ 0. Несложными преобразованияn n k

n=k

ми с учетом (7) доказывается Л е мма 1 . П.ф. Ak(z) k-столбца A-треугольника удовлетворяет рекуррентному соотношению A k ( z ) = z ( 1 – µ k z ) A k – 1 ( z ). –1

(9)

Те ор е ма 1 . П.ф. k-столбца A-треугольника имеет вид k

Ak ( z ) = z

k

∏ (1 – µ z) k

–1

k $ 0.

,

(10)

i=0

Доказательство проводим индукцией по k. Для k = 0 и k = 1 формула (10) проверяется непосредственно. Пусть (10) верно при k = t − 1, тогда с учетом (7) и (9) получаем t–1 z At – 1 ( z ) –1 t – 1 –1 A t ( z ) = -------------------- = z ( 1 – µ t z ) z ( 1 – µi z ) = 1 – µt z

∏ i=0

n–k

Обозначим B n ( y ) =

∑B y . n l k

t

разованиями с учетом соотношения (6) доказывается Л емма 2 . П.ф. B n ( y ) n-строки B-треугольника удовлетворяет следующему рекуррентному соотношению: B n ( y ) = ( y + µ n – 1 )B n – 1 ( y ).

∏ i=0

104

–1

(11)

Применив n раз формулу (11), можно убедиться в том, что верна Теорема 2 . П.ф. n-строки B-треугольника имеет вид n–1

Bn ( y ) =

∏ ( y + µ ),

n $ 1.

i

(12)

i=0

C учетом (12) общей п.ф. B-треугольника будет B ( x, y ) = 1 +

n–1

∑ ∏ ( x + µ ). y

n=1

n

k

k=0

3.2. Приведем перечислительные интерпретации n n чисел B k и A k . n B k – сумма весов множества всех размещений n различимых объектов по двум различным ячейкам, при которых k объектов попадает в ячейку 1 при условии, что вес очередного i-го объекта в зависимости от ячейки, в которую он попадает, равен 1 или µi − 1 соответственно, а вес всего размещения равен произведению весов составляющих его объектов. n A k – сумма весов множества всех размещений n различимых объектов по двум различным ячейкам, при которых k объектов попадает в ячейку 1 при условии, что вес очередного объекта в зависимости от ячейки, в которую он попадает, равен 1 или µj соответственно, где j – число объектов, уже имеющихся в ячейке 1, а вес всего размещения равен произведению весов составляющих его объектов. 4. ПИРАМИДА ПАСКАЛЯ И ТРИНОМИАЛЬНЫЕ КОЭФФИЦИЕНТЫ Используя две переменные x0 и x1 , разложение (1) можно записать в виде  n  k n–k  x0 x1 . k k=0 n

( 1 – µt z ) ,

Несложными преоб-

l=0

t

=z

.

i=0

k=0

∞

3. A- и B-ТРЕУГОЛЬНИКИ И ИХ СВОЙСТВА

–1

( x0 + x1 ) = n

∑ 

С О Р О С О В С К И Й О Б РА З О В АТ Е Л Ь Н Ы Й Ж У Р Н А Л , Т О М 6 , № 5 , 2 0 0 0

МАТЕМАТИКА Обозначая триномиальные коэффициенты симво  лом  n  , где n, k, l – неотрицательные целые числа,  k, l  и полагая  n  n!   = ----------------------------------- ,  k, l  k!l! ( n – k – l )!

(13)

записываем разложение n-й степени тринома x0 + x1 + + x2 в форме  n k, l k = 0l = 0 n

( x0 + x1 + x2 ) = n

n–k

∑ ∑ 

 k l n–k–l .  x0 x1 x2 

(14)

 n    = 0, если min(n, k, l, n − k − l) < 0.  k, l  1

1 1

1

1 2 1

2 2

1

1 3 3 1

3 6

3

3

3

1

1 4 6 4 1

4 12

12 4

6 12

6

4 4

Рис. 3. Пирамида Паскаля

1

и равенствам     n   n   n n ,  =  =   =  k, l   l, k   n – k – l, l   k, n – k – l  подтверждающим наличие трех осей симметрии. Приведем формулы суммирования  n  n   =3 ,   k , l k = 0l = 0 n–k

∑∑

с начальными условиями  0    = 1;  0, 0 

 n   n   n   =1  =   =  0, 0   n, 0   0, n 

n

Представление (13) упорядочивает расположение  n    в пирамиде Паскаля и ее сечениях (рис. 3):  k, l  n указывает номер сечения пирамиды, k – номер строки сечения, а l – номер столбца. 4.1. Для триномиальных коэффициентов справедлива рекуррентная формула  n+1   n  + n  n  +        =  k, l   k – 1, l   k, l – 1   k, l 

Триномиальные коэффициенты удовлетворяют условиям

n

n–k

 n   = 1, k, l 

∑ ∑ ( –1 )  l

k = 0l = 0

а также трехмерный аналог формулы суммирования Коши  n    n+m  m .   = i, j   k – i, l – j   k, l  i=0j=0 n

n–i

∑ ∑ 

4.2. Пирамиду Паскаля можно строить в форме тетраэдра, а также пирамиды с различными значениями двухгранных углов, один из которых прямой. В n-м сечении (треугольнике) пирамиды (n $ 0), параллельном   основанию, располагаем коэффициенты  n  по k, l    добно коэффициентам  n  в треугольнике Паскаля.  k Число элементов в n-м сечении пирамиды – (n + 1)-е   треугольное число, равное  n + 2  . Число элементов в  2  n + 1 сечениях пирамиды (от 0-го до n-го включительно) – (n + 1)-е пирамидальное число, равное  n+3    . По трем внешним ребрам пирамиды (рис. 3)  3  стоят единицы. Каждая из трех боковых граней представляет собой треугольник Паскаля. Соотношение (14) позволяет сделать вывод о том, что любой внутренний элемент пирамиды Паскаля, стоящий в n-м сечении, равен сумме трех элементов, расположенных в углах элементарного треугольника (n − 1)-го сечения пирамиды. Построение n-го сечения можно связать с равенством  n   n  n – k    =  k, l   n – k   l n $ 0,

0 # k # n;

 , 

0 # l # k.

К У З Ь М И Н О . В . Т Р Е У ГО Л Ь Н И К И П И РА М И Д А П А С К А Л Я : С В О Й С Т В А И О Б О Б Щ Е Н И Я

105

МАТЕМАТИКА Сечение получается из треугольника Паскаля, основанием которого служит n-я строка Паскаля, умножением элементов его строк почленно на элементы основания, повернутого против часовой стрелки на угол π/2. Рис. 4, а иллюстрирует построение сечения при n = 4.   Расположение элементов  4  сечения показано на  k, l  рис. 4, б. Если сечение пирамиды Паскаля является правильным треугольником, то при любом n оно имеет три оси симметрии. На рис. 5 указаны оси симметрии сечения при n = 4.

1×

а

4×

1

6× 4×

б

1

1

1 ×1 π/2

4

1 2

1 3 4

1

3 6

12 6

4 4

1

0 4

6 4

1 1

3

4

4

2

0

1 2

3

4 6

12 12

4

4

12 6

4

1 0 1

2

Число V0 , стоящее в вершине V-пирамиды, оговаривается особо. При k = 0, l = 0 и k + l = n получаем соответственно правую, левую и заднюю грани V-пирамиды, каждая из которых является V-треугольником. При фиксированном k элементы образуют левый k-сегмент, а при фиксированном l – правый l-сегмент V-пирамиды. При фиксированных k и l элементы образуют (k, l)столбец, а при n и k – (n, k)-диагональ V-пирамиды. 5.1. Ряд комбинаторных чисел можно считать частными случаями элементов V-пирамиды. В этом разделе считаем V0 = 1. Положим αn, k, l = βn, k, l = γn, k, l = 1, n $ 0, 0 # k + l # n,   тогда V ( n, k, l ) =  n  , то есть имеем пирамиду Пас k, l  каля. Если αn, k, l = αn − 1 , βn, k, l = βn − 1 , γn, k, l = γn − 1 , n $ 1, 0 # # k + l # n, то имеем V ( n, k, l ) = B k, l и из (15) следует рекуррентная формула n

3 4

B k, l = α n – 1 B k – 1, l + β n – 1 B k, l – 1 + γ n – 1 B k, l n–1

n

Рис. 5. Оси симметрии сечения пирамиды Паскаля

4.3. Дадим интерпретации триномиальных коэффициентов. Пусть имеется урна с красными, белыми и черными шарами. Мы вынимаем шар, отмечаем его цвет и   возвращаем в урну. Коэффициент  n  можно ин k, l  терпретировать как число перестановок, в которых за n испытаний можно вынуть k красных, l черных и n − k − l белых шаров.

106

(15)

V(0, 0, 0) = V0 ; V(n, k, l) = 0, если min(n, k, l, n − k − l) < 0.

Рис. 4. Построение сечения пирамиды Паскаля

1

V(n, k, l) = αn, k − 1, lV(n − 1, k − 1, l) + + βn, k, l − 1V(n − 1, k, l − 1) + γn, k, lV(n − 1, k, l)

6 12

4

1 1

4

Обобщенной пирамидой Паскаля (V-пирамидой) называем трехгранный пирамидальный массив, элементы которого удовлетворяют рекуррентным соотношениям [5]

при условиях

12

4

1

5. ОБОБЩЕННАЯ ПИРАМИДА ПАСКАЛЯ

4

6

1

Триномиальные коэффициенты можно интерпретировать и как число размещений n различимых объектов по трем различным ячейкам, при которых k объектов попадает в ячейку 1, l объектов – в ячейку 2 и n − k − l объектов – в ячейку 3.

n–1

n–1

(16)

для обобщенных триномиальных коэффициентов 1-го рода [6]. При αn, k, l = αk , βn, k, l = βk , γn, k, l = γk , n $ 1, 0 # k + l # # n, получаем V ( n, k, l ) = A k, l , а из (15) имеем рекуррентную формулу n

A k, l = α k – 1 A k – 1, l + β k A k, l – 1 + γ k A k, l n

n–1

n–1

n–1

(17)

для обобщенных триномиальных коэффициентов 2-го n

n

рода [6]. Пирамиды, составленные из B k, l и A k, l , будем называть B- и A-пирамидой соответственно.

С О Р О С О В С К И Й О Б РА З О В АТ Е Л Ь Н Ы Й Ж У Р Н А Л , Т О М 6 , № 5 , 2 0 0 0

МАТЕМАТИКА αn – αk – αl - , α i ­ 0, Пусть α n, k, l = β n, k, l = 1, γ n, k, l = --------------------------αn – k – l  n  α n α n – 1 …α n – k – l + 1 -, а i $ 1, тогда V ( n, k, l ) =   = ------------------------------------------------------α α k – 1 …α 1 α l α l – 1 …α 1 k , l k  α из (15) получаем  n – 1   n – 1  αn – αk – αl  n – 1   n  .  +  + --------------------------  = α n – k – l  k, l   k, l α  k – 1, l α  k, l – 1 α α При αn, k, l = n − k + l − 1, βn, k, l = 0, γn, k, l = k, n $ 1, 0 # k + l # n, V(n, k, l) = Al(n, k), а из (15) следует рекуррентная формула Al(n, k) = (n − k + l)Al(n − 1, k − 1) + kAl(n − 1, k)

(18)

для чисел Эйлера высшего порядка Al(n, k). При l = 1 из (18) имеем рекуррентную формулу для чисел Эйлера A(n, k). 5.2. Построенная обобщенная пирамида Паскаля допускает следующую интерпретацию. Пусть популяция состоит из одинаковых элементов, обладающих двумя свойствами A и B. Развитие популяции рассматриваем дискретно по итогам его последовательных этапов, номера которых n $ 0, и по двойным номерам элементов (k, l) – степеням обладания элементом свойствами A и B соответственно (k, l $ 0, k + l # n). Пусть на протяжении одного этапа элементы вида (k, l) способны порождать элементы только (k, l), или (k + 1, l), или (k, l + 1) видов. Тогда: V(n, k, l) – число элементов (k, l)-го вида после n-го этапа; αn, k, l – доля от объема V(n − 1, k, l), в котором элементы (k, l)-го вида породили элементы (k + 1, l)-го вида на n-м этапе; βn, k, l – доля от объема V(n − 1, k, l), в котором элементы (k, l)-го вида породили элементы (k, l + 1)-го вида на на n-м этапе; γn, k, l – доля элементов (k, l)-го вида, сохранившаяся от объема V(n − 1, k, l) на на n-м этапе. Объем популяции Vn после n-го этапа, n $ 1, будет n

Vn =

V ( n, k, l ) =

∑ ∑

( α n, k, l + β n, k, l + γ n, k, l ) V ( n – 1, k, l ).

6. A- И B-ПИРАМИДЫ И ОБОБЩЕННЫЕ ТРИНОМИАЛЬНЫЕ КОЭФФИЦИЕНТЫ 6.1. Начнем с A-пирамиды. Пусть

A k, l ( z ) =

∞

=

∑

n

n

A k, l z . Несложными преобразованиями с уче-

n = k+l

том формулы (17) доказывается Л емма 3. П.ф. A k, l ( z ) (k, l)-столбца A-пирамиды удовлетворяет рекуррентному соотношению A k, l ( z ) = z ( 1 – γ k z ) ( α k – 1 A k – 1, l ( z ) + β k A k, l – 1 ( z ) ). –1

(20)

Теорема 3. П.ф. (k, l )-столбца A-пирамиды имеет вид k–1

k+l

∏

k

α j Ak

k+l

∏ (1 – γ z) i

–1

,

(21)

j=0 –1 ∞

где числа A k построены на базе { β i ( 1 – γ i z ) } i = 0 . n

n–1 n–k–1

k=0

С колоды, содержащей n карт произвольной спецификации и l джокеров, снимаем карты до появления первой, отличной от джокера. Начиная с нее складываем карты в одну стопку до тех пор, пока они выпадают в невозрастающем порядке (джокер считается самой младшей из карт). Каждое появление карты старшей, нежели предшествующая, дает начало образованию новой стопки. Тогда l!Al + 1(n, k) – число таких способов расположения карт в колоде, при которых образуется точно k стопок. При l = 0 получаем известную задачу Симона Ньюкомба.

j=0

k=0 l=0

=

Возьмем n-перестановку (a1 , a2 , …, an) и разместим l нулей на n + 1 позициях между ее элементами. Полученную таким образом последовательность b = (b1 , b2 , …, bn + l) назовем (n, l)-последовательностью. Возрастанием в (n, l)-последовательности b назовем пару bi , bi + 1 , для которой верно неравенство bi < bi + 1 . Начальный элемент образует возрастание, если b1 $ 1. Тогда Al + 1(n, k) – число (n, l)-последовательностей с k возрастаниями. При l = 0 имеем интерпретацию чисел Эйлера A(n, k).

A k, l ( z ) = z

n–k

∑∑

5.3. Для чисел Al (n, k) известны следующие интерпретации.

(19)

l=0

При заданных значениях V0 , αn, k, l , βn, k, l и γn, k, l по формулам (15) и (19) можно рассчитать общий объем популяции и присущее ей распределение по видам элементов на каждом из этапов развития. Обратная задача не является однозначной.

Доказательство проводим индукцией по k и l. Для пар значений k = l = 0; k = 1, l = 0; k = 0, l = 1 и k = l = 1 справедливость (21) проверяется непосредственно с учетом формулы (20). Пусть (21) выполняется для пар значений k = t, l = s − 1 и k = t − 1, l = s, тогда с учетом (20) и (при αi ≡ 1, l = 1) (17) получаем

К У З Ь М И Н О . В . Т Р Е У ГО Л Ь Н И К И П И РА М И Д А П А С К А Л Я : С В О Й С Т В А И О Б О Б Щ Е Н И Я

107

МАТЕМАТИКА A t, s ( z ) =

6.2. Перейдем к B-пирамиде. Пусть B n ( x, y ) =

= z ( 1 – γ t z ) ( α t – 1 A t – 1, s ( z ) + ( 1 – γ t z ) β t A t, s – 1 ( z ) ) = –1

t–1

=z

t+s

j

–1

i

( At – 1

t+s–1

+ βt ( 1 – γ i z ) At

t+s–1

–1

)=

i=0

j=0

t–1

=z

t+s

t

∏ ∏ (1 – γ z) αj

–1

i

j=0

t+s

At ,

k+1

k–1

k, l

( z )y = z l

k

j

∑

∞

A k ( z )y = l

i

i

. (22)

l=0 k

k

α j Ak

k+l

∏ ∏ j=0

–1 l

y =

i=0 ∞

k

αj

∏ (1 – γ z) i

j=0

l=0 k–1

=z

∑ ∏ k+l

(1 – γ iz)

i=0

–1

k l

∏ ( α x + β y + γ ) , n $ 1. i

i

i

i=0

6.3. Найдем соотношения между суммами чисел B

n k, l

и A k, l и числами B k и A k . Обозначим B n, k ( y ) = n

n

n

∑A

k+l k

=

∑B

n l k, l

y . Несложными преобразованиями с учетом

l=0

i=0

k–1

z

∑∑

n

B k, l x y =

n–k

–1

Доказательство. С учетом соотношения (21) имеем ∞

n–1

n–k

k = 0l = 0

k

j=0

(24)

Применив n раз формулу (24), можно убедиться в том, что верна Теорема 6. П.ф. элементов n-сечения B-пирамиды имеет вид n

∏ α ∏ ( 1 – β yz – γ z )

l=0

A k ( y, z ) =

ми с учетом (16) доказывается Л емма 4. П.ф. B n ( x, y ) n-сечения B-пирамиды удовлетворяет рекуррентному соотношению

B n ( x, y ) =

Те ор е ма 4. П.ф. правого k-сегмента A-пирамиды имеет вид

∑A

k = 0l = 0

 k+l  –k–l–1 .   (1 – z)  k 

∞

x y , n $ 1. Несложными преобразования-

n k l k, l

B n ( x, y ) = ( α n – 1 x + β n – 1 y + γ n – 1 )B n – 1 ( x, y ).

В частном случае αi = βi = γi = 1 из (21) получаем п.ф. (k, l)-столбца пирамиды Паскаля: A k, l ( z ) = z

∑∑B

i=0

что дает соотношение (21) при k = t, l = s. Теорема доказана.

A k ( y, z ) =

=

t

∏ α ∏ (1 – γ z)

n–k

n

–1

соотношения (16) доказывается Лемма 5. П.ф. B n, k ( y ) (n, k)-диагонали B-пирамиды удовлетворяет рекуррентному соотношению B n, k ( y ) = ( β n – 1 y + γ n – 1 )B n – 1, k ( y ) + α n – 1 B n – 1, k – 1 ( y ). (25) Теорема 7. П.ф. (k, l)-диагонали B-пирамиды имеет вид

( yz ) . l

l=0 n–1

∞

∑

Используя равенство

B n, k ( y ) = B k

n

k

l

l

Ak z = z

k

∏

( 1 – µi z )

–1

(см.

i=0

l=k

i

i=0 –1 ∞

где B k построены на базе { ( β i y + γ i )α i } i = 0 . n

∞

[4, с. 46]), где A k построены на базе { µ i } i = 0 , после ряда преобразований получаем (22). Теорема доказана. n

∏α , n–1

Доказательство. Поделив обе части (25) на

Непосредственно из (22) следует n–1

получим B n, k ( y )

∞

∑ A ( y, z )x

=

k–1

k

=

k

∑ ( xz ) ∏ α ∏ ( 1 – β y – γ z ) k

k=0

j=0

i

i

–1

∞

(23)

i=0

108

∑

k

= ( β n – 1 y + γ n – 1 )B n – 1, k ( y )

∏

z 1 -------------------------- = -------------- . k+1 1 – 3z ( 1 – 2z ) k=0

n k

имеем W = W

∏α

–1 i

+

i=0 n–1

αi . –1

B n, k ( y )

Обозначив

i=0

.

В частном случае αi = β = γi = 1 и x = y = 1 из (23) получаем п.ф. пирамиды Паскаля: A(z) =

n–1

–1 i

n–2

+ B n – 1, k – 1 ( y )

k

j

∏α i=0

k=0 ∞

i

i=0

Те ор е ма 5 . П.ф. A-пирамиды имеет вид A ( x, y, z ) =

∏α ,

n–1 k–1

∏α

–1 i

n

= Wk,

i=0

+ ( β n – 1 y + γ n – 1 )α n k

n k

–1 n–1

W

n–1 k

и, сравни-

n k

вая с (6), убеждаемся, что W = B , где B построены –1 ∞

на базе { ( β i y + γ i )α i } i = 0 . Теорема доказана. Аналогично доказывается Теорема 8. П.ф. (k, l)-диагонали A-пирамиды имеет вид

С О Р О С О В С К И Й О Б РА З О В АТ Е Л Ь Н Ы Й Ж У Р Н А Л , Т О М 6 , № 5 , 2 0 0 0

МАТЕМАТИКА ∑

ЛИТЕРАТУРА

n–1

n–k

A n, k ( y ) =

n

l

n

A k, l y = A k

l=0

∏

αi ,

i=0

1. Успенский В.А. Треугольник Паскаля. М.: Наука, 1979. 48 с.

∞

2. Green T.M., Hamberg C.L. Pascal’s Triangle. Palo Alto: Dale Seymour, 1986. 280 p.

где A k построены на базе { ( β i y + γ i ) } i = 0 . n

n

n

6.4. Дадим интерпретации чисел B k, l и A k, l . n

B k, l – сумма весов множества размещений n различимых объектов по трем различным ячейкам, при которых k объектов попадает в ячейку 1, l объектов – в ячейку 2 и n − k − l объектов – в ячейку 3 при условии, что вес очередного i-го объекта в зависимости от номера ячейки, в которую он попадает, равен αi − 1 , βi − 1 или γi − 1 , а вес всего размещения равен произведению весов составляющих его объектов. n

A k, l – сумма весов множества размещений n различимых объектов по трем различным ячейкам, при которых k объектов попадает в ячейку 1, l объектов – в ячейку 2 и n − k − l объектов – в ячейку 3 при условии, что вес очередного объекта в зависимости от ячейки, в которую он попадает, равен αj , βj или γj соответственно, где j – число объектов, уже имеющихся в ячейке 1, а вес всего размещения равен произведению весов составляющих его объектов. При αi ≡ βi ≡ γi ≡ 1 имеем уже приве  денную интерпретацию  n  .  k, l 

3. Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения. Ташкент: Фан, 1990. 192 с. 4. Докин В.Н., Жуков В.Д., Колокольникова Н.А. и др. Комбинаторные числа и полиномы в моделях дискретных распределений. Иркутск: Изд-во Иркут. ун-та, 1990. 208 с. 5. Кузьмин О.В. Некоторые комбинаторные числа в обобщенной пирамиде Паскаля // Асимптотические и перечислительные задачи комбинаторного анализа. Иркутск: Изд-во Иркут. ун-та, 1997. С. 90–100. 6. Колокольникова Н.А., Кузьмин О.В. Обобщения триномиальных коэффициентов // Исследования по геомагнетизму, аэрономии и физике Солнца. М.: Наука, 1983. Вып. 63. С. 60–67.

Рецензент статьи Ю.П. Соловьев *** Олег Викторович Кузьмин, кандидат физико-математических наук, доцент кафедры математической статистики и теории вероятностей Иркутского государственного университета. Область научных интересов – комбинаторный анализ и его приложения. Автор и соавтор более 70 научных работ, двух монографий и двух учебных пособий для студентов.

К У З Ь М И Н О . В . Т Р Е У ГО Л Ь Н И К И П И РА М И Д А П А С К А Л Я : С В О Й С Т В А И О Б О Б Щ Е Н И Я

109