Pascalsches Dreieck

Jeder Eintrag ist die Summe der zwei darüberstehenden Einträge

Das pascalsche Dreieck ist eine geometrische Darstellung der Binomialkoeffizienten $\tbinom{n}{k}$. Sie sind im Dreieck derart angeordnet, dass jeder Eintrag die Summe der zwei darüberstehenden Einträge ist. Dieser Sachverhalt wird durch die Gleichung

$\binom{n+1}{k+1} = \binom{n}{k} + \binom{n}{k+1}$

beschrieben. Dabei kann die Variable n als Zeilenindex und k als Spaltenindex interpretiert werden, wobei die Zählung mit Null beginnt (also erste Zeile n = 0, erste Spalte k = 0).

				$\begin{pmatrix} 0 \\ 0 \end{pmatrix}$
			$\begin{pmatrix} 1 \\ 0 \end{pmatrix}$		$\begin{pmatrix} 1 \\ 1 \end{pmatrix}$
		$\begin{pmatrix} 2 \\ 0 \end{pmatrix}$		$\begin{pmatrix} 2 \\ 1 \end{pmatrix}$		$\begin{pmatrix} 2 \\ 2 \end{pmatrix}$
	$\begin{pmatrix} 3 \\ 0 \end{pmatrix}$		$\begin{pmatrix} 3 \\ 1 \end{pmatrix}$		$\begin{pmatrix} 3 \\ 2 \end{pmatrix}$		$\begin{pmatrix} 3 \\ 3 \end{pmatrix}$
$\begin{pmatrix} 4 \\ 0 \end{pmatrix}$		$\begin{pmatrix} 4 \\ 1 \end{pmatrix}$		$\begin{pmatrix} 4 \\ 2 \end{pmatrix}$		$\begin{pmatrix} 4 \\ 3 \end{pmatrix}$		$\begin{pmatrix} 4 \\ 4 \end{pmatrix}$

Der Name geht auf Blaise Pascal zurück. Das pascalsche Dreieck war jedoch schon früher bekannt und wird deshalb auch heute noch nach anderen „Entdeckern“ benannt. In China spricht man vom Yang-Hui-Dreieck (nach Yang Hui), in Italien vom Tartaglia-Dreieck (nach Nicolo Tartaglia) und im Iran vom Chayyām-Dreieck (nach Omar Khayyām).

Geschichte

Yang-Hui-Dreieck, wie es in einem Buch von Zhu Shijie aus dem Jahre 1303 beschrieben ist.

Blaise Pascals Version des Dreiecks

Die früheste detaillierte Darstellung eines Dreiecks von Binomialkoeffizienten erschien im 10. Jahrhundert in Kommentaren zur Chandas Shastra, einem indischen Buch zur Prosodie des Sanskrit, das von Pingala zwischen dem fünften und zweiten Jahrhundert vor Christus geschrieben wurde. Während Pingalas Werk nur in Fragmenten erhalten blieb, verwendete der Kommentator Halayudha um 975 das Dreieck, um zweifelhafte Beziehungen zu Meru-prastaara den „Stufen des Berges Meru“ herzustellen. Es war auch schon bekannt, dass die Summe der flachen Diagonalen des Dreiecks die Fibonaccizahlen ergeben. Vom indischen Mathematiker Bhattotpala (ca. 1068) sind die ersten 17 Zeilen des Dreiecks überliefert.

Annähernd zur gleichen Zeit wurde das pascalsche Dreieck in Persien von Al-Karaji (953–1029) und Omar Khayyām behandelt und ist deshalb im heutigen Iran als Chayyām-Dreieck bekannt. Es waren verschiedene mathematische Sätze zum Dreieck bekannt, unter anderem der binomische Lehrsatz. Tatsächlich ist es ziemlich sicher, dass Chayyām ein Verfahren zur Berechnung der n-ten Wurzel verwendet hat, das auf der binomischen Erweiterung und damit den Binomialkoeffizienten beruht.

Im 13. Jahrhundert präsentierte Yang Hui das arithmetische Dreieck, das mit dem pascalschen Dreieck identisch ist. In China wird es deshalb heute noch Yang-Hui-Dreieck genannt.

Peter Apian veröffentlichte das Dreieck 1531/32 auf dem Titelbild seines Buchs über Handelsberechnungen, dessen frühere Version von 1527 den ersten schriftlichen Nachweis des pascalschen Dreiecks in Europa darstellt.

1655 schrieb Blaise Pascal das Buch „Traité du triangle arithmétique“ (Abhandlung über das arithmetische Dreieck), in dem er verschiedene Ergebnisse bezüglich des Dreiecks sammelte und diese dazu verwendete, Probleme der Wahrscheinlichkeitstheorie zu lösen. Das Dreieck wurde später von Pierre Raymond de Montmort (1708) und Abraham de Moivre (1730) nach Pascal benannt.

Anwendung

Das Pascalsche Dreieck gibt eine Handhabe, schnell beliebige Potenzen von Binomen auszumultiplizieren. So befinden sich in der dritten Zeile die Koeffizienten der ersten beiden Binomischen Formeln:

$(a \pm b)^2 = a^2 \pm 2\cdot a\cdot b + b^2.$

In der nächsten Zeile finden sich die Koeffizienten für $(a \pm b)^3$:

$(a \pm b)^3 = a^3\pm 3\cdot a^2\cdot b^1 + 3\cdot a^1 \cdot b^2 \pm b^3.$

Diese Auflistung kann beliebig fortgesetzt werden, wobei zu beachten ist, dass für das Binom (a − b) stets das Minuszeichen aus „$\pm$“ zu nehmen ist und dass, während der Exponent von a in jeder Formel stets um 1 abnimmt, der Exponent von b um 1 zunimmt. Eine Verallgemeinerung liefert der Binomische Lehrsatz.

Des Weiteren wechseln sich bei der Anwendung des Pascalschen Dreieck auf das Binom (a - b) mit einem beliebigen Exponenten die Vorzeichen – und + regelmäßig ab (es steht immer dann ein Minus, wenn der Exponent von b ungerade ist). Das heißt z. B.

$(a - b)^4 = a^4 - 4\cdot a^3\cdot b^1 + 6\cdot a^2 \cdot b^2 - 4\cdot a^1 \cdot b^3 + b^4.$

Eine zweidimensionale Verallgemeinerung ist das Trinomial Triangle, in welchem jede Zahl die Summe von drei (statt im Pascalschen Dreieck: von zwei ) Einträgen ist. Eine Erweiterung in die dritte Dimension ist die Pascalsche Pyramide.

Folgen im Pascalschen Dreieck

Im Pascalschen Dreieck finden sich viele bekannte Zahlenfolgen wieder.

Die Diagonalen

Die erste Diagonale enthält nur Einsen und die zweite Diagonale die Folge der natürlichen Zahlen. In der dritten Diagonale finden sich die Dreieckszahlen und in der vierten die Tetraederzahlen. Allgemein findet man in der r-ten Diagonale die regulären figurierten Zahlen der Ordnung r. In jeder Diagonale steht die Folge der Partialsummen zu der Folge, die in der Diagonale darüber steht. Umgekehrt ist jede Diagonalenfolge die Differenzenfolge zu der in der Diagonale unterhalb stehenden Folge.

Allgemein gilt also für die Dreieckszahlen

$\Delta(n) = \binom{n+1}{2}$,

für die Tetraederzahlen

$T(n) = \sum_{k=1}^{n}\Delta(k) = \binom{n+2}{3}$

und für die regulären figurierten Zahlen der Ordnung r

$R(r,n) = \sum_{k=1}^{n} R(r-1,k) = \binom{n+r-1}{r}$.

Die Fibonacci-Zahlen

										1
									1		1
								1		2		1
							$\color{OliveGreen}1$		3		3		1
						$\color{blue}1$		$\color{red}4$		$\color{OliveGreen}6$		4		1
					1		5		$\color{blue}10$		$\color{red}10$		$\color{OliveGreen}5$		1
				1		6		15		20		$\color{blue}15$		$\color{red}6$		$\color{OliveGreen}1$
			1		7		21		35		35		21		$\color{blue}7$		$\color{red}1$
		1		8		28		56		70		56		28		8		$\color{blue}1$
	1		9		36		84		126		126		84		36		9		1
1		10		45		120		210		252		210		120		45		10		1

Die Summen der hier grün, rot und blau markierten flachen „Diagonalen“ ergeben jeweils eine Fibonacci-Zahl (0, 1, 1, 2, 3, 5, 8, 13, 21, 34, ...). In diesem Beispiel ist die Summe der grünen Diagonale gleich 13, die Summe der roten Diagonale gleich 21, die Summe der blauen Diagonale gleich 34. Dass sich die „Diagonale“ manchmal nicht von einem zum anderen Ende „durchziehen“ lässt, wie im Fall der roten Diagonale, ist unerheblich.

Allgemein gilt also

$F(n)=\sum_{k=0}^{\lfloor \frac{n}{2} \rfloor} \binom {n-k-1}{k} = \sum_{k=0}^{\lfloor \frac{n}{2} \rfloor} \binom {n-k-1}{n-2k-1}, n \geq 1$

Die Zeilen

Die Summe der Einträge einer Zeile wird als Zeilensumme bezeichnet. Von oben nach unten verdoppeln sich die Zeilensummen von Zeile zu Zeile. Dies rührt vom Bildungsgesetz des pascalschen Dreiecks her. Jeder Eintrag einer Zeile wird in der folgenden Zeile zur Berechnung zweier Einträge verwendet. Hierbei muss man das Bildungsgesetz durch das Hinzufügen von gedachten Nullen links und rechts von jeder Zeile verallgemeinern, so dass auch die äußeren Einsen jeder Zeile durch die Addition der darüberliegenden Einträge generiert werden. Da die Zeilensumme der ersten Zeile gleich eins ist, ist die Zeilensumme der n-ten Zeile gleich 2^{n − 1}. Dies entspricht dem folgenden Gesetz für Binomialkoeffizienten:

$\sum_{k=0}^n \binom nk = \binom n0 + \binom n1 + \dotsb + \binom nn = 2^n$

Reiht man jeweils die Ziffern der ersten fünf Zeilen des pascalschen Dreiecks aneinander, erhält man mit 1, 11, 121, 1331 und 14641 die ersten Potenzen von 11.

Formal folgt beides aus $(1+x)^n = \sum_{k=0}^n \binom{n}{k} x^k$ für x=1 bzw. x=10.

Die alternierende Summe jeder Zeile ergibt Null:$\sum_{k=0}^n (-1)^k \binom nk = 0, n>0$

Mittlere Binomialkoeffizienten

Die Folge der mittleren Binomialkoeffizienten beginnt mit 1, 2, 6, 20, 70, 252, ... (Folge A000984 in OEIS).

Zusammenhang mit dem Sierpinski-Dreieck

Siehe Zusammenhang zwischen pascalschem und Sierpinski-Dreieck

Potenzen mit beliebiger Basis

Für Potenzen mit beliebiger Basis existiert ein Zahlendreieck anderer Art:

$\begin{matrix} _i\backslash^j & {n \choose 1} & {n \choose 2} & {n \choose 3} & {n \choose 4} & {n\choose 5} \\ n^1 & 1 & & & & \\ n^2 & 1 & 2 & & & \\ n^3 & 1 & 6 & 6 & & \\ n^4 & 1 & 14 & 36 & 24 & \\ n^5 & 1 & 30 & 150 & 240 & 120 \end{matrix}$

Zu dieser Dreiecksmatrix gelangt man durch Inversion der Matrix der Koeffizienten derjenigen Terme, die die Kombinationen ohne Wiederholung der Form $\begin{pmatrix}n \\ k \end{pmatrix}$ für $k = 1, 2, 3, \dots$ usw. darstellen.

Beispiel

$\begin{pmatrix}n \\ 2 \end{pmatrix} = \frac{n\,(n-1)}{2} = - 0{,}5\, n + 0{,}5\,n^2$.

Lesart

$n^5 = 1\,\begin{pmatrix} n\\1 \end{pmatrix} + 30\, \begin{pmatrix} n\\2 \end{pmatrix} + 150\,\begin{pmatrix} n\\3 \end{pmatrix} + 240\,\begin{pmatrix} n\\4 \end{pmatrix} + 120\cdot \begin{pmatrix} n\\5 \end{pmatrix}$

Beispiel

$6^5 = 1\cdot 6 + 30\cdot 15 + 150\cdot 20 + 240\cdot 15 + 120\cdot 6 = 7\,776$

Das Bildungsgesetz der Koeffizienten für den Koeffizienten in Zeile i und Spalte j lautet:

$E(i,j) = [ E(i-1,j-1) + E(i-1,j) ]\cdot j$

es gilt daher auch E(i,j) = j!S(i,j) mit der Stirling-Zahl S(i,j).

Mit Hilfe dieses Dreiecks gewinnt man unmittelbare Einblicke in die Teilbarkeit von Potenzen. So ist jede Primzahlpotenz n^p für p > 3 äquivalent n modulo 6p. Dies ist im Wesentlichen der Inhalt des kleinen Fermatschen Satzes; zusätzlich wird jedoch gezeigt, dass der Ausdruck a^p − a für alle a nicht nur durch p, sondern für p > 3 auch durch 6 teilbar ist. Der größte gemeinsame Teiler der Matrixkoeffizienten ab dem zweiten Koeffizienten der Primzahlexponenten für n entspricht stets dem Nenner der jeweiligen bernoullischen Zahl (Beispiel: p = 3: Nenner = 6; p = 5 : Nenner = 30, usw.)

Mit diesem Zahlendreieck kann beispielsweise mühelos bewiesen werden, dass $\forall n \in \mathbb{N}: n^5 - n^3$ durch 24 teilbar ist:

$0\cdot a+ 24\cdot b + 144\cdot c + 240\cdot d + 120\cdot e$ (mit $a = \begin{pmatrix} n \\ 1 \end{pmatrix}$, $b = \begin{pmatrix} n \\ 2\end{pmatrix}$, usf.)

ist stets durch 24 teilbar, da wegen $n \in \mathbb{N}$ auch $a,b,c,d,e \in \mathbb{N}$ sind.

Siehe auch

• Binomischer Lehrsatz
• Harmonisches Dreieck

Literatur

• John H. Conway und Richard K. Guy: The Book of Numbers. ISBN 0-387-97993-X

Weblinks

 Commons: Pascal's triangle – Sammlung von Bildern, Videos und Audiodateien

• Muster im Pascalschen Dreieck (englisch)
• Das Pascalsche Dreieck