В математике пирамида Паскаля — это трёхмерное расположение трёхчленных чисел, которые являются коэффициентами трёхчленного разложения и трёхчленного распределения . [1] Пирамида Паскаля — это трёхмерный аналог двумерного треугольника Паскаля , который содержит двучленные числа и связан с двучленным разложением и биномиальным распределением . Двучленные и трёхчленные числа, коэффициенты, разложения и распределения являются подмножествами многочленных конструкций с теми же названиями.
Поскольку тетраэдр является трехмерным объектом, его отображение на листе бумаги, экране компьютера или другом двумерном носителе затруднено. Предположим, что тетраэдр разделен на несколько уровней, этажей, срезов или слоев. Верхний слой (вершина) обозначен как «Слой 0». Другие слои можно рассматривать как виды сверху тетраэдра с удаленными предыдущими слоями. Первые шесть слоев следующие:
Слои тетраэдра намеренно показаны вершиной вниз, чтобы их нельзя было спутать с треугольником Паскаля.
Числа тетраэдра выводятся из разложения тринома . Слой n - это матрица отдельных коэффициентов (без переменных или показателей) трехчленного выражения (например: A + B + C ), возведенного в степень n . Степень n трехчлена расширяется путем многократного умножения трехчлена на самого себя:
Каждый член в первом выражении умножается на каждый член во втором выражении; а затем коэффициенты подобных членов (те же переменные и показатели степеней) складываются. Вот расширение ( A + B + C ) 4 :
4 А 3 В 1 С 0 + 12 А 2 В 1 С 1 + 12 А 1 В 1 С 2 + 4 А 0 В 1 С 3 +
6 А 2 В 2 С 0 + 12 А 1 В 2 С 1 + 6 А 0 В 2 С 2 +
4 А 1 В 3 С 0 + 4 А 0 В 3 С 1 +
Запись расширения таким нелинейным способом показывает расширение более понятным способом. Это также делает связь с тетраэдром очевидной — коэффициенты здесь соответствуют коэффициентам слоя 4. Все неявные коэффициенты, переменные и показатели степеней, которые обычно не записываются, также показаны для иллюстрации другой связи с тетраэдром. (Обычно "1 A " — это " A "; " B 1 " — это " B "; а " C 0 " — это "1"; и т. д.) Показатели степеней каждого члена в сумме дают номер слоя ( n ), или 4, в данном случае. Что еще более важно, значение коэффициентов каждого члена можно вычислить непосредственно из показателей степеней. Формула имеет вид ( х + у + z )!/х ! у ! з ! , где x, y, z — показатели степеней A, B, C соответственно, а «!» — факториал, т.е.:. Формулы показателей для 4-го слоя:
Показатели степени каждого члена разложения можно ясно увидеть, и эти формулы упрощаются до коэффициентов разложения и коэффициентов тетраэдра слоя 4.
Числа тетраэдра также можно найти в триномиальном распределении . Это дискретное распределение вероятностей, используемое для определения шанса на то, что произойдет некоторая комбинация событий при трех возможных результатах — количество способов, которыми могут произойти события, умножается на вероятности того, что они произойдут. Формула для триномиального распределения:
где x, y, z — количество раз, когда происходит каждый из трех результатов; n — количество испытаний, равное сумме x+y+z ; а P A , P B , P C — вероятности того, что каждое из трех событий может произойти.
Например, в трехсторонних выборах кандидаты получили следующие голоса: A, 16%; B, 30%; C, 54%. Какова вероятность того, что случайно выбранная фокус-группа из четырех человек будет содержать следующих избирателей: 1 за A, 1 за B, 2 за C? Ответ:
Число 12 является коэффициентом этой вероятности, и это число комбинаций, которые могут заполнить эту фокус-группу "112". Существует 15 различных расположений фокус-групп из четырех человек, которые могут быть выбраны. Выражения для всех 15 этих коэффициентов следующие:
Числитель этих дробей (над чертой) одинаков для всех выражений. Это размер выборки — группа из четырех человек — и он указывает, что коэффициенты этих расположений можно найти на слое 4 тетраэдра. Три числа знаменателя (под чертой) — это количество членов фокус-группы, которые проголосовали за A, B, C соответственно.
Сокращение обычно используется для выражения комбинаторных функций в следующем формате «выбрать» (который читается как «4 выбрать 4, 0, 0» и т. д.).
Но значение этих выражений по-прежнему равно коэффициентам 4-го слоя тетраэдра. И их можно обобщить на любой слой, изменив размер выборки ( n ).
Эта запись позволяет легко выразить сумму всех коэффициентов слоя n :
Числа на каждом слое ( n ) тетраэдра являются суммой трех соседних чисел в слое ( n −1) "выше" него. Эту связь довольно трудно увидеть, не смешивая слои. Ниже приведены курсивные числа слоя 3, перемежающиеся жирными числами слоя 4:
Связь иллюстрируется нижним, центральным числом 12 4-го слоя. Оно «окружено» тремя числами 3-го слоя: 6 на «севере», 3 на «юго-западе», 3 на «юго-востоке». (Числа по краю имеют только два смежных числа в слое «выше», а три угловых числа имеют только одно смежное число в слое выше, поэтому они всегда равны «1». Отсутствующие числа можно считать равными «0», поэтому нет потери общности.) Эта связь между смежными слоями возникает посредством двухэтапного процесса трехчленного расширения.
Продолжая этот пример, на шаге 1 каждый член ( A + B + C ) 3 умножается на каждый член ( A + B + C ) 1. В этом примере интерес представляют только три из этих умножений:
Затем на шаге 2 суммирование подобных членов (одинаковых переменных и показателей степеней) дает: 12 A 1 B 2 C 1 , что является членом ( A + B + C ) 4 ; в то время как 12 является коэффициентом 4-го слоя тетраэдра.
Символически аддитивное отношение можно выразить так:
где C( x,y,z ) — коэффициент при члене с показателями степеней x, y, z , а — слой тетраэдра.
Это соотношение будет работать только в том случае, если трехчленное разложение представлено нелинейным образом, как это показано в разделе «Связь трехчленного разложения».
На каждом слое тетраэдра числа являются простыми целочисленными отношениями соседних чисел. Это соотношение иллюстрируется для горизонтально смежных пар на 4-м слое следующим образом:
1 ⟨1:4⟩ 4 ⟨2:3⟩ 6 ⟨3:2⟩ 4 ⟨4:1⟩ 1 4 ⟨1 : 3⟩ 12 ⟨2 : 2⟩ 12 ⟨3:1⟩ 4 6 ⟨1:2⟩ 12 ⟨2:1⟩ 6 4 ⟨1:1⟩ 4 1
Поскольку тетраэдр обладает трехсторонней симметрией, соотношение также справедливо для диагональных пар в обоих направлениях, а также для показанных горизонтальных пар.
Отношения контролируются показателями соответствующих смежных членов трехчленного разложения. Например, одно отношение на иллюстрации выше:
Соответствующие члены трехчленного разложения:
и
Следующие правила применяются к коэффициентам всех соседних пар членов трехчленного разложения:
Правила одинаковы для всех горизонтальных и диагональных пар. Переменные A, B, C будут меняться.
Это соотношение дает еще один (несколько громоздкий) способ расчета коэффициентов тетраэдра:
Соотношение смежных коэффициентов может быть немного понятнее, если выразить его символически. Каждый член может иметь до шести смежных членов:
где C( x,y,z ) — коэффициент, а x, y, z — показатели степеней. До появления карманных калькуляторов и персональных компьютеров этот подход использовался школьниками в качестве сокращенного варианта для записи биномиальных разложений без утомительных алгебраических разложений или неуклюжих факториальных вычислений.
Это соотношение будет работать только в том случае, если трехчленное разложение представлено нелинейным образом, как это показано в разделе «Связь трехчленного разложения».
Хорошо известно, что числа вдоль трех внешних ребер n -го слоя тетраэдра являются теми же числами, что и n -я линия треугольника Паскаля. Однако связь на самом деле гораздо более обширна, чем просто один ряд чисел. Эту связь лучше всего проиллюстрировать, сравнив треугольник Паскаля до линии 4 со слоем 4 тетраэдра.
Треугольник Паскаля
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
Тетраэдр Слой 4
1 4 6 4 1
4 12 12 4
6 12 6
4 4
1
Умножение чисел каждой линии треугольника Паскаля вплоть до n- й линии на числа n- й линии генерирует n- й слой тетраэдра. В следующем примере линии треугольника Паскаля выделены курсивом , а строки тетраэдра — жирным шрифтом. [2]
× 1 =
1
1 1
× 4 =
4 4
1 2 1
× 6 =
6 12 6
1 3 3 1
× 4 =
4 12 12 4
1 4 6 4 1
× 1 =
Множители (1 4 6 4 1) составляют строку 4 треугольника Паскаля.
Это соотношение демонстрирует самый быстрый и простой способ вычисления чисел для любого слоя тетраэдра без вычисления факториалов, которые быстро становятся огромными числами. (Калькуляторы повышенной точности становятся очень медленными после слоя тетраэдра 200.)
Если коэффициенты треугольника Паскаля обозначены как C( i,j ), а коэффициенты тетраэдра обозначены как C( n,i,j ), где n — слой тетраэдра, i — строка, а j — столбец, то соотношение можно выразить символически как:
[ i, j, n здесь не являются показателями степени, а просто последовательными индексами маркировки.]
В этой таблице суммированы свойства триномиального разложения и триномиального распределения. Она сравнивает их с биномиальными и полиномиальными разложениями и распределениями:
Произвольный слой n можно получить за один шаг, используя следующую формулу:
где b — основание системы счисления, а d — количество цифр любого из центральных многочленных коэффициентов , то есть
затем переносим цифры результата на d ( n +1), добавляем интервал d и удаляем начальные нули.
Этот метод, обобщенный на произвольную размерность, можно использовать для получения срезов любого симплекса Паскаля .
Для основания b = 10, n = 5, d = 2:
= 1000000000101 5= 1000000000505000000102010000010303010000520302005010510100501 1 1 1 000000000505 00 00 00 00 05 05 .. .. .. .. .5 .5 000000102010 00 00 00 10 20 10 .. .. .. 10 20 10~ 000010303010 ~ 00 00 10 30 30 10 ~ .. .. 10 30 30 10 000520302005 00 05 20 30 20 05 .. .5 20 30 20 .5 010510100501 01 05 10 10 05 01 .1 .5 10 10 .5 .1 обернут в d(n+1) с интервалом d, начальные нули удалены
Для основания b = 10, n = 20, d = 9:
Суммирование чисел в каждой строке слоя n пирамиды Паскаля дает
где b — основание системы счисления , а d — количество цифр суммы «центральной» строки (с наибольшей суммой).
Для основания b = 10:
1 ~ 1 \ 1 ~ 1 \ 1 ~ 1 \ 1 ~ 1 \ 1 ~ 1--- 1\1~02\2\2~04\3\3~06\4\4~08 1 ----- 1 \ 2 \ 1 ~ 04 \ 3 \ 6 \ 3 ~ 12 \ 6 \ 12 \ 6 ~ 24 1 02 --------- 1 \ 3 \ 3 \ 1 ~ 08 \ 4 \ 12 \ 12 \ 4 ~ 32 1 04 04 ------------- 1 \ 4 \ 6 \ 4 \ 1 ~ 16 1 06 12 08 ------------------ 1 08 24 32 16102 0 102 1 102 2 102 3 102 4
Суммирование чисел в каждом столбце слоя n пирамиды Паскаля дает
где b — основание системы счисления , а d — количество цифр суммы «центрального» столбца (с наибольшей суммой).
Для основания b = 10:
1 |1| |1| |1| | 1| | 1|--- 1| |1 |2| |2| |3| |3| | 4| | 4| | 5| | 5| 1 ----- 1| |2| |1 |3| |6| |3| | 6| |12| | 6| |10| |20| |10| 1 1 1 --------- 1| |3| |3| |1 | 4| |12| |12| | 4| |10| |30| |30| |10| 1 2 3 2 1 ------------- 1| | 4| | 6| | 4| | 1 | 5| |20| |30| |20| | 5| 1 3 6 7 6 3 1 -------------------------- 1| | 5| |10| |10| | 5| | 1 1 04 10 16 19 16 10 04 01 -------------------------------- 1 05 15 30 45 51 45 30 15 05 01111 0 111 1 111 2 111 3 10101 4 10101 5
В генетике принято использовать пирамиду Паскаля, чтобы узнать пропорцию между различными генотипами в одном скрещивании. Это делается путем проверки линии, которая эквивалентна числу фенотипов (генотипы + 1). Эта линия и будет пропорцией. [ необходимо дополнительное объяснение ]