Piramide di Pascal

I primi cinque livelli della piramide di Pascal. Ogni faccia (griglia arancione) è un triangolo di Tartaglia. Le frecce mostrano la derivazione di due termini di esempio.

In matematica, la piramide di Pascal (o tetraedro di Tartaglia) è una disposizione tridimensionale dei coefficienti dello sviluppo trinomiale e della distribuzione trinomiale. La piramide di Pascal è l'analogo tridimensionale del triangolo di Tartaglia bidimensionale, che contiene i coefficienti binomiali che appaiono nello sviluppo binomiale e nella distribuzione binomiale. I coefficienti, gli sviluppi e le distribuzioni binomiali e trinomiali sono sottoinsiemi dei costrutti multinomiali con gli stessi nomi.

Struttura del tetraedro

Poiché il tetraedro è un oggetto tridimensionale, mostrarlo su un foglio di carta, su uno schermo di computer o su un altro mezzo bidimensionale è difficile. Si supponga che il tetraedro sia diviso in un certo numero di livelli, piani, fette o strati. Il livello superiore (il vertice) è etichettato "Livello 0". Gli altri livelli possono essere pensati come viste dall'alto del tetraedro con i livelli precedenti rimossi. I primi sei livelli sono i seguenti:

Derivazione dei primi cinque livelli della piramide di Pascal – dove più valori puntano a un numero, i valori vengono sommati
Livello 0 1
Livello 1 11
1
Livello 2 121
22
1
Livello 3 1331
363
33
1
Livello 4 14641
412124
6126
44
1
Livello 5 15101051
52030205
10303010
102010
55
1

I livelli del tetraedro sono stati deliberatamente mostrati con la punta rivolta verso il basso in modo da non essere singolarmente confusi con il triangolo di Tartaglia.

Panoramica del tetraedro

Connessione con lo sviluppo trinomiale

I numeri del tetraedro derivano dallo sviluppo trinomiale. L'n-esimo livello è costituito da tutti i coefficienti che si ottengono quando il trinomio A+B+C viene elevato all'n-esima potenza. L'n-esima potenza del trinomio viene espansa moltiplicando ripetutamente il trinomio per sé stesso:

(A+B+C)(A+B+C)n=(A+B+C)n+1.
Livelli della piramide di Pascal derivati dai coefficienti di un diagramma ternario capovolto dei termini negli sviluppi delle potenze di un trinomio

Ogni termine nella prima espressione viene moltiplicato per ogni termine nella seconda espressione; successivamente i coefficienti dei termini simili (stesse variabili ed esponenti) vengono sommati. Ecco lo sviluppo di (A+B+C)4:

1A4B0C0 + 4A3B0C1 + 6A2B0C2 + 4A1B0C3 + 1A0B0C4 +

4A3B1C0 + 12A2B1C1 + 12A1B1C2 + 4A0B1C3 +
6A2B2C0 + 12A1B2C1 + 6A0B2C2 +
4A1B3C0 + 4A0B3C1 +

1A0B4C0    

Scrivere lo sviluppo in questo modo non lineare mostra l'espansione in modo più comprensibile. Rende anche ovvia la connessione con il tetraedro: i coefficienti qui corrispondono a quelli del livello 4. Tutti i coefficienti, le variabili e gli esponenti impliciti, che normalmente non vengono scritti, sono mostrati per illustrare un'altra relazione con il tetraedro. (Di solito, "1A" è "A"; "B1" è "B"; e "C0" è "1"; ecc.). La somma degli esponenti di ogni termine è uguale al numero n del livello, ossia 4 in questo caso. Più significativamente, il valore dei coefficienti di ogni termine può essere calcolato direttamente dagli esponenti. La formula è

(x+y+z)!x!y!z!,

dove x, y, z sono rispettivamente gli esponenti di A, B, C, e "!" è il fattoriale. Le formule degli esponenti per il 4º livello sono:

(4+0+0)!4!⋅0!⋅0! (3+0+1)!3!⋅0!⋅1! (2+0+2)!2!⋅0!⋅2! (1+0+3)!1!⋅0!⋅3! (0+0+4)!0!⋅0!⋅4!

(3+1+0)!3!⋅1!⋅0! (2+1+1)!2!⋅1!⋅1! (1+1+2)!1!⋅1!⋅2! (0+1+3)!0!⋅1!⋅3!

(2+2+0)!2!⋅2!⋅0! (1+2+1)!1!⋅2!⋅1! (0+2+2)!0!⋅2!⋅2!

(1+3+0)!1!⋅3!⋅0! (0+3+1)!0!⋅3!⋅1!

(0+4+0)!0!⋅4!⋅0!

Gli esponenti di ogni termine dello sviluppo possono essere visti chiaramente e queste formule si semplificano nei coefficienti dello sviluppo e nei coefficienti del livello 4 del tetraedro.

Connessione con la distribuzione trinomiale

I numeri del tetraedro possono essere trovati anche nella distribuzione trinomiale. Questa è una distribuzione di probabilità discreta utilizzata per determinare la possibilità che si verifichi una determinata combinazione di eventi date tre possibili esiti: il numero di modi in cui gli eventi potrebbero verificarsi viene moltiplicato per le probabilità che si verifichino. La formula per la distribuzione trinomiale è:

1=n!x!y!z!(PA)x(PB)y(PC)z

dove x, y, z indicano il numero di volte in cui si verifica ciascuno dei tre esiti; n è il numero di prove ed è uguale alla somma di x+y+z; e PA, PB, PC sono le probabilità che ciascuno dei tre eventi si verifichi.

Ad esempio, in un'elezione a tre, i candidati hanno ottenuto questi voti: A, 16%; B, 30%; C, 54%. Qual è la probabilità che un focus group di quattro persone scelto a caso contenga i seguenti elettori: 1 per A, 1 per B, 2 per C? La risposta è:

1=4!1!1!2!(16%)1(30%)1(54%)2=12×0,0139968≈17%.

Il numero 12 è il coefficiente di questa probabilità ed è il numero di combinazioni che possono formare questo focus group "112". Ci sono 15 diverse composizioni possibili per focus group di quattro persone. Le espressioni per tutti i 15 coefficienti sono:

4!4!⋅0!⋅0! 4!3!⋅0!⋅1! 4!2!⋅0!⋅2! 4!1!⋅0!⋅3! 4!0!⋅0!⋅4!

4!3!⋅1!⋅0! 4!2!⋅1!⋅1! 4!1!⋅1!⋅2! 4!0!⋅1!⋅3!

4!2!⋅2!⋅0! 4!1!⋅2!⋅1! 4!0!⋅2!⋅2!

4!1!⋅3!⋅0! 4!0!⋅3!⋅1!

4!0!⋅4!⋅0!

Il numeratore di queste frazioni (sopra la linea di frazione) è lo stesso per tutte le espressioni. È la dimensione del campione, un gruppo di quattro persone, e indica che i coefficienti di queste disposizioni si trovano sul livello 4 del tetraedro. I tre numeri del denominatore (sotto la linea) sono il numero dei membri del focus group che hanno votato rispettivamente per A, B e C.

Normalmente viene utilizzata una notazione abbreviata per esprimere le funzioni combinatorie nel seguente formato (che si legge "4 su 4, 0, 0", ecc.).

(44,0,0) (43,0,1) (42,0,2) (41,0,3) (40,0,4)

(43,1,0) (42,1,1) (41,1,2) (40,1,3)

(42,2,0) (41,2,1) (40,2,2)

(41,3,0) (40,3,1)

(40,4,0)

Tuttavia, il valore di queste espressioni è ancora uguale ai coefficienti del 4º livello del tetraedro. E possono essere generalizzate a qualsiasi livello modificando n.

Questa notazione fornisce un modo semplice per esprimere la somma di tutti i coefficienti del livello n:

∑x,y,z(nx,y,z)=3n.

Somma dei coefficienti tra i livelli

I numeri in ogni livello n del tetraedro sono la somma dei tre numeri adiacenti nel livello n−1 "sopra" di esso. Questa relazione è piuttosto difficile da vedere senza mescolare i livelli. Di seguito sono riportati i numeri del livello 3 in corsivo intercalati tra i numeri in grassetto del livello 4:

14641
1331
412124
363
6126
33
44
1
1

La relazione è illustrata dal numero inferiore e centrale 12 del 4º livello. È "circondato" da tre numeri del 3º livello: 6 a "nord", 3 a "sud-ovest", 3 a "sud-est". (I numeri lungo il bordo hanno solo due numeri adiacenti nel livello "superiore" e i tre numeri agli angoli hanno un solo numero adiacente nel livello superiore, motivo per cui sono sempre "1". I numeri mancanti possono essere considerati come "0", quindi non c'è perdita di generalità). Questa relazione tra i livelli adiacenti deriva dal processo di sviluppo trinomiale in due fasi.

Continuando con questo esempio, nel Passaggio 1, ogni termine di (A + B + C)3 viene moltiplicato per ciascun termine di (A + B + C)1. Solo tre di queste moltiplicazioni sono di interesse in questo esempio:

Termine del livello 3   Moltiplicato per   Prodotto
6A1B1C1 1B1 6A1B2C1
3A1B2C0 1C1 3A1B2C1
3A0B2C1 1A1 3A1B2C1

Poi nel Passaggio 2, la somma dei termini simili (stesse variabili ed esponenti) produce: 12A1B2C1, che è il termine di (A + B + C)4; mentre 12 è il coefficiente del 4º livello del tetraedro.

Simbolicamente, la relazione additiva può essere espressa come:

C(x,y,z)=C(x−1,y,z)+C(x,y−1,z)+C(x,y,z−1)

dove C(x,y,z) è il coefficiente del termine con esponenti x, y, z e x+y+z=n è il livello del tetraedro.

Questa relazione funzionerà solo se lo sviluppo trinomiale è disposto nel modo non lineare descritto nella sezione sulla "connessione con lo sviluppo trinomiale".

Rapporto tra i coefficienti dello stesso livello

In ogni livello del tetraedro, i numeri sono in rapporti interi semplici rispetto ai numeri adiacenti. Questa relazione è illustrata per coppie orizzontalmente adiacenti sul 4º livello dai seguenti:

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

Poiché il tetraedro ha una simmetria a tre vie, la relazione di proporzionalità vale anche per le coppie diagonali in entrambe le direzioni, oltre che per le coppie orizzontali mostrate.

I rapporti sono determinati dagli esponenti dei corrispondenti termini adiacenti nello sviluppo trinomiale. Per esempio, un rapporto nell'illustrazione sopra è:

4   ⟨ 1:3 ⟩   12

I termini corrispondenti dello sviluppo trinomiale sono:

4A3B1C0 e 12A2B1C1

Le seguenti regole si applicano ai coefficienti di tutte le coppie di termini adiacenti nello sviluppo trinomiale:

Le regole sono le stesse per tutte le coppie orizzontali e diagonali. Le variabili A, B, C cambieranno.

Questa relazione di proporzionalità fornisce un altro modo (un po' macchinoso) per calcolare i coefficienti del tetraedro:

Il coefficiente del termine adiacente è uguale al coefficiente del termine corrente moltiplicato per l'esponente della variabile decrescente del termine corrente, diviso per l'esponente della variabile crescente del termine adiacente.

Il rapporto dei coefficienti adiacenti potrebbe essere un po' più chiaro se espresso simbolicamente. Ogni termine può avere fino a sei termini adiacenti:

Per x = 0: C(x,y,z−1)=C(x,y−1,z)⋅zy,C(x,y−1,z)=C(x,y,z−1)⋅yz
Per y = 0: C(x−1,y,z)=C(x,y,z−1)⋅xz,C(x,y,z−1)=C(x−1,y,z)⋅zx
Per z = 0: C(x,y−1,z)=C(x−1,y,z)⋅yx,C(x−1,y,z)=C(x,y−1,z)⋅xy

dove C(x,y,z) è il coefficiente e x, y, z sono gli esponenti. Ai tempi precedenti alle calcolatrici tascabili e ai computer, questo approccio veniva utilizzato come scorciatoia scolastica per scrivere gli sviluppi binomiali senza ricorrere a noiose espansioni algebriche o a laboriosi calcoli con i fattoriali.

Questa relazione funzionerà solo se lo sviluppo trinomiale è disposto nel modo non lineare illustrato nella sezione sulla "connessione con lo sviluppo trinomiale".

Relazione con il triangolo di Tartaglia

È ben noto che i numeri lungo i tre bordi esterni dell'n-esimo livello del tetraedro sono gli stessi numeri dell'n-esima riga del triangolo di Tartaglia. Tuttavia, il legame è in realtà molto più profondo di una singola riga di numeri. Questa relazione si illustra al meglio confrontando il triangolo di Tartaglia fino alla riga 4 con il livello 4 del tetraedro.

Triangolo di Tartaglia

1
1       1
1       2       1
1       3       3       1
1       4       6       4       1

Livello 4 del tetraedro
1       4       6       4       1
4      12     12      4
6      12      6
4       4

1

Moltiplicando i numeri di ogni riga del triangolo di Tartaglia giù fino all'n-esima riga per i numeri dell'n-esima riga si genera l'n-esimo livello del tetraedro. Nel seguente esempio, le righe del triangolo di Tartaglia sono in corsivo e le righe del tetraedro sono in grassetto.

1

× 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

I moltiplicatori (1 4 6 4 1) compongono la riga 4 del triangolo di Tartaglia.

Questa relazione dimostra il modo più rapido e semplice per calcolare i numeri per qualsiasi livello del tetraedro senza calcolare i fattoriali, che diventano rapidamente numeri enormi. Le calcolatrici a precisione arbitraria diventano molto lente oltre il livello 200 del tetraedro.

Se i coefficienti del triangolo di Tartaglia sono indicati con C(i,j) e i coefficienti del tetraedro sono indicati con C(n,i,j), dove n è il livello del tetraedro, i è la riga e j è la colonna, allora la relazione può essere espressa simbolicamente come:

C(i,j)×C(n,i)=C(n,i,j),0≤i≤n, 0≤j≤i,

qui i, j, n non sono esponenti, ma solo indici di etichettatura sequenziali.

Altre proprietà

Costruzione esponenziale

Un livello arbitrario n può essere ottenuto in un singolo passaggio usando la seguente formula:

(bd(n+1)+bd+1)n,

dove b è la base e d è il numero di cifre di uno qualsiasi dei coefficienti multinomiali centrali, ossia

d=1+⌊logb(nk1,k2,k3)⌋, ∑i=13ki=n, ⌊n3⌋≤ki≤⌈n3⌉,

quindi incapsulando le cifre del suo risultato per d(n+1), distanziando per d e rimuovendo gli zeri iniziali.

Questo metodo, generalizzato a una dimensione arbitraria, può essere utilizzato per ottenere le fette di qualsiasi simplesso di Pascal.

Esempi

Per base b = 10, n = 5, d = 2:

(1012+102+1)5
= 10000000001015
= 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

incapsulato per d(n+1)     distanziato per d      zeri iniziali rimossi

Per base b = 10, n = 20, d = 9:

(10189+109+1)20.
Livello #20 della piramide di Pascal.

Somma dei coefficienti di un livello per righe

La somma dei numeri in ogni riga di un livello n della piramide di Pascal dà:

(bd+2)n,

dove b è la base e d è il numero di cifre della somma della riga "centrale" (quella con la somma maggiore).

Per base 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  16

1020      1021        1022               1023                     1024

Somma dei coefficienti di un livello per colonne

La somma dei numeri in ogni colonna di un livello n della piramide di Pascal dà:

(b2d+bd+1)n,

dove b è la base e d è il numero di cifre della somma della colonna "centrale" (quella con la somma maggiore).

Per base 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 01

1110   1111      1112           1113                    101014                             101015

Estensioni in dimensioni superiori

Invece di considerare le potenze di un binomio o di un trinomio ((x+y)n o (x+y+z)n), che generano il triangolo di Tartaglia e la piramide di Pascal, si possono considerare i coefficienti che si ottengono elevando il multinomio x1+x2+…+xm a varie potenze. Se il multinomio ha m termini, i coefficienti risultanti possono essere disposti in modo da formare un simplesso m-dimensionale. Gli elementi del livello n del simplesso sono i coefficienti multinomiali

(nk1,k2,…,km)=n!k1!⋅k2!⋯km!

dove k1,k2,…,km variano su tutte le n-uple di m interi non negativi la cui somma è n. Ogni faccia del simplesso m-dimensionale restituisce una copia del simplesso (m−1)-dimensionale, e si ottiene considerando quei termini nello sviluppo multinomiale in cui non compare xm (cioè appare con potenza 0). La disposizione dei punti per m=1 fino a m=4 in un simplesso è illustrata di seguito:

Le prime quattro componenti della linea di Pascal.

Le prime quattro componenti del triangolo di Tartaglia.

Le prime quattro componenti del tetraedro di Pascal.

Le prime quattro fette del 4-simplesso di Pascal. Tutti i punti dello stesso colore appartengono alla stessa n-esima componente, dal rosso (per n = 0) al blu (per n = 3).

Numero di coefficienti

Per l'n-esima componente, l'(m−1)-simplesso, dell'm-simplesso di Pascal, il numero dei coefficienti dello sviluppo multinomiale di cui è composto è dato da:

((n−1)+(m−1)m−1)+(n+(m−2)m−2)=(n+(m−1)m−1)=((mn)),

dove quest'ultima è la notazione del multinsieme. Possiamo vederlo sia come la somma del numero di coefficienti di una componente (n−1)-esima ((m−1)-simplesso) del m-simplesso di Pascal con il numero di coefficienti di un'n-esima componente ((m−2)-simplesso) del (m−1)-simplesso di Pascal, sia come il numero di tutte le possibili partizioni di un'n-esima potenza tra m esponenti.

Parallelismi con il triangolo di Tartaglia e i coefficienti multinomiali

Questa tabella riassume le proprietà dello sviluppo trinomiale e della distribuzione trinomiale. Le confronta con gli sviluppi e le distribuzioni binomiali e multinomiali:

Tipo di polinomio binomiale trinomiale multinomiale
Ordine del polinomio 2 3 m
Esempio di polinomio A+B A+B+C A+B+C+⋯+M
Struttura geometrica triangolo tetraedro m-simplesso
Struttura dell'elemento riga livello gruppo
Simmetria dell'elemento a 2 vie a 3 vie a m vie
Numero di termini per elemento n+1 (n+1)(n+2)2 (n+1)(n+2)...(n+m−1)(m−1)!=(n+m−1)!n!(m−1)!
Somma dei coefficienti per elemento 2n 3n mn
Esempio di termine AxBy AxByCz AxByCz...Mm
Somma degli esponenti, tutti i termini n n n
Equazione del coefficiente n!x!y! n!x!y!z! n!x!y!z!...xm!
Somma dei coefficienti "sovrastanti" 2 3 m
Rapporto tra coefficienti adiacenti 2 6 m(m−1)

Note

  1. ↑ J. Staib e L. Staib, The Pascal Pyramid, in The Mathematics Teacher, vol. 71, n. 6, 1978, pp. 505–510, DOI:10.5951/MT.71.6.0505, JSTOR 27961325.
  2. ↑ Jean Pedersen, Peter Hilton e Derek Holton, Mathematical vistas : from a room with many windows, =New York, NY [u.a.], Springer, 2002, ISBN 978-0387950648.
  3. ↑ (EN) Successione {{{1}}}, su On-Line Encyclopedia of Integer Sequences, The OEIS Foundation.
  1. ↑ Un simplesso è la forma geometrica lineare più semplice che esista in qualsiasi dimensione. I tetraedri e i triangoli ne sono esempi rispettivamente in 3 e 2 dimensioni.
  2. ↑ La formula per il coefficiente binomiale è solitamente espressa come n!x!(n−x)!, dove n−x=y.

Collegamenti esterni

  Portale Matematica: accedi alle voci di Wikipedia che trattano di Matematica