In der Mathematik stellt Pascals Dreieck eine unendliche dreieckige Anordnung von Binomialkoeffizienten dar, die in der Wahrscheinlichkeitstheorie, Kombinatorik und Algebra von grundlegender Bedeutung sind. Während diese mathematische Struktur in der westlichen Welt allgemein dem französischen Mathematiker Blaise Pascal zugeschrieben wird, wurde diese mathematische Struktur schon Jahrhunderte zuvor von verschiedenen Mathematikern in Regionen wie Persien, Indien, China, Deutschland und Italien untersucht.
Üblicherweise werden die Zeilen des Pascalschen Dreiecks von oben beginnend mit Zeile (die 0. Zeile). Innerhalb jeder Zeile werden die Einträge von links beginnend mit und sind normalerweise relativ zu den Elementen in benachbarten Zeilen versetzt. Der Aufbau des Dreiecks folgt einer bestimmten Regel: Zeile 0, die Spitze des Dreiecks, enthält einen einzelnen Eintrag ungleich Null, nämlich 1. Die Einträge jeder nachfolgenden Zeile werden durch Summieren der Zahl direkt darüber und links davon mit der Zahl direkt darüber und rechts davon generiert, wobei alle Leerstellen als Null betrachtet werden. Beispielsweise ist der erste Eintrag in Zeile 1 (oder einer beliebigen Zeile) 1 und ergibt sich aus der Summe von 0 und 1. Ebenso ergibt die Summe von 1 und 3 in Zeile 3 die Zahl 4 in Zeile 4.
Formel
Innerhalb der te Zeile des Pascalschen Dreiecks, das te Eintrag wird formal als , was verbal ausgedrückt wird als „n wähle k“. Der oberste Eintrag lautet beispielsweise . Unter Verwendung dieser Notation kann die zuvor beschriebene Konstruktionsmethode formal ausgedrückt werden als:
Die Binomialkoeffizienten unterliegen der folgenden Wiederholungsbeziehung: und jede Ganzzahl . Diese spezifische Wiederholung wird offiziell als Pascal-Regel anerkannt.
Historischer Kontext
Die numerische Anordnung, aus der Pascals Dreieck besteht, stammt aus der Zeit vor Pascal selbst. Der persische Mathematiker Al-Karaji (953–1029) verfasste ein heute verschollenes Buch, das angeblich die früheste bekannte Beschreibung dieses Dreiecksmusters enthielt. In Indien beschreibt das Chandaḥśāstra, ein Werk des indischen Dichters und Mathematikers Piṅgala (3. oder 2. Jahrhundert v. Chr.), ein System zur Anordnung zweier Silbentypen, um Metren unterschiedlicher Länge zu erstellen und diese aufzuzählen. Dieses System, wie es vom Kommentator Halāyudha aus dem 10. Jahrhundert interpretiert und erweitert wurde, wird als „Methode der Pyramidenausdehnung“ (meru-prastāra) bezeichnet und entspricht mathematisch dem Pascalschen Dreieck zum Zählen von Metern. Später entdeckte der persische Mathematiker Omar Khayyám (1048–1131) dieses Muster unabhängig wieder, was zu seiner Bezeichnung als Khayyam-Dreieck (مثلث خیام) im Iran führte. Khayyám war auch mit mehreren mit dem Dreieck verbundenen Theoremen vertraut, darunter dem Binomialsatz. Er verwendete insbesondere eine Technik zur Bestimmung der n-ten Wurzeln, die auf der Binomialentwicklung und damit auf Binomialkoeffizienten beruhte.
In China wurde das Pascalsche Dreieck im 11. Jahrhundert erkannt und auf die Arbeit des Mathematikers Jia Xian (1010–1070) zurückgeführt. Im 13. Jahrhundert entwickelte Yang Hui (1238–1298) das Dreieck weiter, das heute in China als Yang Huis Dreieck (杨辉三角; 楊輝三角) bezeichnet wird.
Das erste Erscheinen des Pascalschen Dreiecks in Europa lässt sich auf das Werk „Arithmetik“ von Jordanus de Nemore aus dem 13. Jahrhundert zurückführen. Gersonides berechnete im frühen 14. Jahrhundert Binomialkoeffizienten unter Verwendung ihrer multiplikativen Formel. Petrus Apianus (1495–1552) präsentierte das vollständige Dreieck auf dem Titelblatt seiner 1527 erschienenen Veröffentlichung über betriebswirtschaftliche Berechnungen. Im Jahr 1544 veröffentlichte Michael Stifel einen Abschnitt des Dreiecks, nämlich von der zweiten bis zur mittleren Spalte in jeder Zeile, und charakterisierte es als eine Zusammenstellung figurierter Zahlen. In Italien ist die Struktur als Tartaglia-Dreieck bekannt, zu Ehren des italienischen Algebraisten Tartaglia (1500–1577), der 1556 sechs Reihen des Dreiecks dokumentierte. Gerolamo Cardano veröffentlichte 1570 auch das Dreieck sowie die additiven und multiplikativen Prinzipien für seine Konstruktion.
Pascals Traité du Triangle Arithmétique (Abhandlung über das arithmetische Dreieck) wurde 1665 posthum veröffentlicht. In diesem bahnbrechenden Werk stellte Pascal verschiedene bekannte Ergebnisse zum Dreieck zusammen und wandte sie zur Lösung von Problemen innerhalb der Wahrscheinlichkeitstheorie an. Das Dreieck wurde später zu Pascals Ehren von Pierre Raymond de Montmort im Jahr 1708 benannt, der es als table de M. Pascal pour les combinaisons (französisch: Mr. Pascals Tabelle für Kombinationen) bezeichnete. Abraham de Moivre verfestigte diese Nomenklatur im Jahr 1730 weiter und bezeichnete sie als Triangulum Arithmeticum PASCALIANUM (lateinisch: Pascals arithmetisches Dreieck), was letztendlich die Grundlage seiner modernen westlichen Bezeichnung bildete.
Binomialerweiterungen
Das Pascalsche Dreieck liefert die Koeffizienten, die in Binomialentwicklungen auftreten.For instance, consider the expansion:
In this case, the coefficients correspond to the entries found in the second row of Pascal's triangle:
Der Binomialsatz legt im Allgemeinen fest, dass, wenn ein Binomialausdruck, wie z
Die Diagonale ganz links im Pascalschen Dreieck entspricht direkt dem Koeffizienten von
Um die Beziehung zwischen dem Binomialsatz und der einfachen Konstruktion des Pascalschen Dreiecks zu veranschaulichen, betrachten Sie das Problem der Bestimmung der Koeffizienten für die Entwicklung von
Durch Neuindizierung der beiden Summierungen mit
Folglich bleiben die Koeffizienten an den äußersten linken und rechten Positionen stets gleich 1. Darüber hinaus gilt für jede ganze Zahl
Dieses Argument kann mithilfe mathematischer Induktion leicht in einen strengen Beweis des Binomialsatzes formalisiert werden.
Angenommen,
Eine signifikante Implikation des Binomialsatzes ergibt sich, wenn beide Variablen
Folglich ist die Summierung aller Einträge innerhalb der
Kombinatorische Analyse
Das Pascalsche Dreieck bietet auch eine wertvolle Methode zur Berechnung von Kombinationen. Die Anzahl der Kombinationen, insbesondere die Anzahl der Auswahlmöglichkeiten
- Die mathematische Darstellung für Kombinationen, bezeichnet als
.C ( n , k ) wird durch die folgende Gleichung ausgedrückt:= C k n = n C k = ( n k ) = n ! k ! ( n − k ) ! {\displaystyle \mathbf {C} (n,k)=\mathbf {C} _{k}^{n}={{}_{n}C_{k}}={n \choose k}={\frac {n!}{k!(n-k)!}}}
Dieser Wert entspricht der
Beziehung mit Binomialverteilung und Faltungen
Bei Normalisierung durch Division mit
Dieser Abschnitt erläutert die Beziehung zwischen dem Pascalschen Dreieck und der diskreten Faltung und stellt zwei unterschiedliche Zusammenhänge dar. Erstens ist die Polynommultiplikation genau analog zur diskreten Faltung. Folglich ist die wiederholte Faltung der Sequenz
Muster und Eigenschaften
Pascals Dreieck weist zahlreiche inhärente Eigenschaften und komplizierte numerische Muster auf.
Zeilen
- Die kumulative Summe der Elemente in einer bestimmten Zeile ist genau das Doppelte der Summe der Elemente in der unmittelbar vorhergehenden Zeile. Beispielsweise ergibt Zeile 0, die die Spitze des Dreiecks darstellt, den Wert 1; Zeile 1 ergibt 2; Zeile 2 ergibt in der Summe 4, und dieser Fortschritt geht weiter. Dieses Phänomen tritt auf, weil jedes Element in einer Zeile zu zwei Elementen in der nachfolgenden Zeile beiträgt: eines links und eines rechts davon. Folglich ist die Summe der Elemente in Zeile
ist äquivalent zun {\displaystyle n} .§23 24§ n {\displaystyle 2^{n}} - Das Produkt der Elemente in jeder Zeile bildet eine Folge (OEIS-Folge A001142), die mit e, der Basis des natürlichen Logarithmus, verbunden ist. Diese Beziehung wird durch die Definition der Sequenz
- Der Wert von
kann mithilfe der Nilakantha-Unendlichkeitsreihe aus dem Pascalschen Dreieck abgeleitet werden.π {\displaystyle \pi Diese Reihe wird ausgedrückt als: .π = §2829§ + (∑ n = §4142§∞ −§5455§ ) n +§6465§ ( §77 78§n+§8081§ §8283§ )( §102103§n +§105106§ §107 108§ ) §121( 122§n +§124 125§ §126 127§ ) {\displaystyle \pi =3+\sum _{n=1}^{\infty }(-1)^{n+1}{\frac {2n+1 \choose 1}{{2n+1 \choose 2}{2n+2 \choose 2}}}} - Bestimmte numerische Elemente im Pascalschen Dreieck weisen eine Korrelation mit entsprechenden Zahlen im Lozanić-Dreieck auf.
- Die Summe der Quadrate der Elemente in Zeile n entspricht dem zentralen Element von Zeile 2n. Zum Beispiel §678§ + 4§910§ + 6§1112§ + 4§1314§ + 1§1516§ = 70. Diese Beziehung wird formal ausgedrückt als:
n∑ k = §3334§n §6061§n( (n k) §5152§= ) . {\displaystyle \sum _{k=0}^{n}{n \choose k}^{2}={2n \choose n}.} - Für jede gerade Zeile, bezeichnet als
, der Unterschied zwischen dem zentralen Begriff und dem Begriff an Position zwei Stellen links davon ergibt eine katalanische Zahl. Diese Beziehung ist genau definiert durchn = §1011§ m {\displaystyle n=2m} . Beispielsweise erhält man in Zeile 4, die aus der Folge 1, 4, 6, 4, 1 besteht, die dritte katalanische Zahl alsC m − §3738§= {\displaystyle C_{m-1}={\tbinom {2m}{m}}-{\tbinom {2m}{m-2}}}( §52 m53§ m m( §78 79§ m − §88 89§ ) . {\displaystyle C_{3}=6-1=5} =C §119 120§ §124 125§ − §129130§ = §133 134§ - In jeder mit p bezeichneten Zeile, in der p eine Primzahl darstellt, sind alle Einträge außer den Einsen nachweislich durch p teilbar. Diese Eigenschaft lässt sich leicht mithilfe der multiplikativen Formel
. Vorausgesetzt, dass der Nenner {\displaystyle {\tbinom {p}{k}}={\tfrac {p!}{k!(p-k)!}}} =( p ) kp k !! ( p − k ) ! keine zu p äquivalenten Primfaktoren enthält, bleibt der Faktor p nach der ganzzahligen Division unbedingt im Zähler bestehen, wodurch der gesamte Eintrag ein Vielfaches von p.k ! ( p − k ) ! {\displaystyle k!(p-k)!} wird
- Parität: Um die Anzahl der ungeraden Terme innerhalb der Zeile n zu ermitteln, muss man zunächst n in seine binäre Darstellung umwandeln. Wenn x die Menge der in dieser Binärform vorhandenen Einsen bezeichnet, beträgt die Gesamtzahl der ungeraden Terme §89§x. Diese spezifischen numerischen Werte entsprechen den Elementen in der Gould-Sequenz.
- Alle Einträge in Zeile 2n − 1, wobei n ≥ 0, sind ausschließlich ungerade Zahlen.
- Alternierende Summe: Wenn die Elemente einer bestimmten Zeile im Pascalschen Dreieck mit abwechselnden Vorzeichen summiert werden, ist der resultierende Wert durchweg Null. Betrachtet man beispielsweise Zeile 6, die die Folge 1, 6, 15, 20, 15, 6, 1 umfasst, ergibt die Berechnung 1 − 6 + 15 − 20 + 15 − 6 + 1 0.
Diagonalen
Die Diagonalen innerhalb des Pascalschen Dreiecks zählen die mit Simplices verbundenen figürlichen Zahlen auf.
- Die äußersten Diagonalen, die sich sowohl am linken als auch am rechten Rand befinden, bestehen ausschließlich aus der Ziffer 1.
- Die Diagonalen, die unmittelbar an die Kantendiagonalen angrenzen, stellen nacheinander die natürlichen Zahlen dar. Konkret erhöhen sich die eindimensionalen Simplex-Zahlen um die Einheit eins, wenn sich die entsprechenden Liniensegmente zu aufeinanderfolgenden ganzen Zahlen auf der Zahlenlinie erstrecken.
- Im weiteren Verlauf präsentiert das nachfolgende Diagonalenpaar nacheinander die Dreieckszahlen.
- Anschließend zeigt das nachfolgende Diagonalenpaar der Reihe nach die Tetraederzahlen an und das nächste Paar ergibt die Pentatopzahlen.
P §16 - 17§
( n ) = P d ( §42- 43§
- 49§
,
) = §48P d ( n ) = P d ( n − §91- 92§
) + P d − §106- 107§
( n ) = ∑ ich = §135- 136§
n P d − §152- 153§
( ich ) = ∑ ich = §173- 174§
d P ich ( n − §196- 197§
) . {\displaystyle {\begin{aligned}P_{0}(n)&=P_{d}(0)=1,\\P_{d}(n)&=P_{d}(n-1)+P_{d-1}(n)\\&=\sum _{i=0}^{n}P_{d-1}(i)=\sum _{i=0}^{d}P_{i}(n-1).\end{aligned}}} - 49§
Die inhärente Symmetrie des Dreiecks zeigt, dass die nte d-dimensionale Zahl genau der dten n-dimensionalen Zahl entspricht.
Eine nicht rekursive Alternativformel wird wie folgt dargestellt:
Die geometrische Interpretation der Funktion Pd legt fest, dass Pd(1) = 1 universell für alle Werte von d ist. Ein d-dimensionales Dreieck, dargestellt durch ein Tetraeder in drei Dimensionen, kann konzeptualisiert werden, indem zusätzliche Punkte unter einem Anfangspunkt angeordnet werden, im Einklang mit der Bedingung Pd(1) = 1. Diese Punkte werden in einer Konfiguration positioniert, die der numerischen Anordnung analog ist, die im Pascal-Dreieck beobachtet wird. Um Pd(x) zu bestimmen, muss die geometrische Zielkonfiguration insgesamt x Punkte umfassen. Folglich stellt Pd(x) die Gesamtzahl der Punkte innerhalb dieser spezifischen Form dar. Ein 0-dimensionales Dreieck wird als Punkt definiert, während ein 1-dimensionales Dreieck lediglich eine Linie ist; also P§3839§(x) = 1 und P§4445§(x) = x, was der Folge der natürlichen Zahlen entspricht. Die Anzahl der Punkte innerhalb jeder Schicht entspricht Pd − 1(x).
Unabhängige Berechnung von Zeilen oder Diagonalen
Es gibt einfache Algorithmen zur Bestimmung aller Elemente innerhalb einer bestimmten Zeile oder Diagonale, ohne dass die Berechnung anderer Elemente oder Fakultäten erforderlich ist.
Zum Berechnen der Zeile
( n k ) = ( n k − §4142§) × n + §6162§− k k . {\displaystyle {n \choose k}={n \choose k-1}\times {\frac {n+1-k}{k}}.
Zur Veranschaulichung umfasst die Berechnung von Zeile 5 die folgenden Brüche:
Um die Elemente entlang einer bestimmten Diagonale zu berechnen, beginnend mit der Sequenz
- Die Beziehung zur Berechnung dieser nachfolgenden Elemente wird durch die folgende Formel ausgedrückt:
( n + k k ) = ( n + k − §4950§k − §5859§) × n + k k . {\displaystyle {n+k \choose k}={n+k-1 \choose k-1}\times {\frac {n+k}{k}}.
Um beispielsweise die Diagonale zu berechnen, die bei
Umfassende Muster und Eigenschaften
- Das visuelle Muster, das durch die Hervorhebung nur der ungeraden Zahlen im Pascal-Dreieck entsteht, weist eine starke Ähnlichkeit mit dem Sierpiński-Dreieck-Fraktal auf. Diese Kongruenz verstärkt sich mit der Einbeziehung zusätzlicher Zeilen; Letztendlich entspricht das erzeugte Muster genau dem Sierpiński-Dreieck, wenn die Zeilenzahl gegen Unendlich tendiert, vorausgesetzt, der Umfang ist konstant. Eine breitere Anwendung umfasst die unterschiedliche Einfärbung von Zahlen basierend auf ihrer Teilbarkeit durch ganze Zahlen wie 3, 4 usw., wodurch analoge Muster entstehen.
- Angenommen, dass sich der Anteil der schwarz gefärbten Zahlen Null nähert, wenn n zunimmt, folgt daraus als Konsequenz, dass sich der Anteil ungerader Binomialkoeffizienten in ähnlicher Weise Null nähert, wenn n bis ins Unendliche reicht.
- Innerhalb eines dreieckigen Segments einer Gitterstruktur stimmt die Anzahl der kürzesten Gitterpfade von einem beliebigen Knoten bis zur Spitze des Dreiecks mit dem entsprechenden Eintrag im Pascal-Dreieck überein. Für ein als Dreieck konfiguriertes Plinko-Spielbrett stellt diese Verteilung genau die Wahrscheinlichkeiten dar, die mit dem Gewinn verschiedener Preise verbunden sind.
- Wenn die Reihen des Pascalschen Dreiecks nach links ausgerichtet sind, entsprechen die Summen der Elemente entlang seiner Diagonalbänder den Fibonacci-Zahlen.
Matrix-Exponentialformulierung
Aufgrund seiner einfachen Konstruktion mithilfe von Fakultäten kann eine grundlegende Darstellung des Pascalschen Dreiecks über die Exponentialmatrix ausgedrückt werden. Insbesondere wird das Pascalsche Dreieck als Exponentialfunktion einer Matrix abgeleitet, die durch die Folge 1, 2, 3, 4, ... auf ihrer Unterdiagonale gekennzeichnet ist, wobei alle anderen Einträge Null sind.
Formulierung der Clifford-Algebra durch Simplices
Die Beschriftung der Elemente innerhalb jedes n-Simplex richtet sich nach den Basiselementen der Clifford-Algebra, die als Formen in der geometrischen Algebra verwendet werden und sich von Matrixdarstellungen unterscheiden. Die Identifizierung geometrischer Operationen wie Rotationen erleichtert die Erläuterung algebraischer Operationen. Analog entspricht jede Zeile n (beginnend bei 0) des Pascalschen Dreiecks einem (n-1)-Simplex und gibt gleichzeitig die Menge benannter Basisformen innerhalb der n-dimensionalen geometrischen Algebra an. Der Binomialsatz bietet eine Möglichkeit, die geometrische Beziehung zu belegen, die dem Pascalschen Dreieck innewohnt. Dieser identische Beweis ist auf Simplices anwendbar, mit der Einschränkung, dass die Anfangsspalte aller Einsen außer Acht gelassen werden muss; im algebraischen Kontext stellen diese die reellen Zahlen dar,
Geometrische Korrespondenz mit Polytopen
Jede Zeile innerhalb des Pascalschen Dreiecks zählt die Elemente (z. B. Kanten und Eckpunkte) jeder Dimension innerhalb ihres entsprechenden Simplex (z. B. eines Dreiecks oder Tetraeders) auf. Specifically, when k > 0, der k-te Eintrag der n-ten Zeile gibt die Anzahl der (k − 1)-dimensionalen Elemente an, die in einem (n − 1)-dimensionalen Simplex vorhanden sind. Beispielsweise besteht ein Dreieck (ein zweidimensionaler Simplex) aus einem zweidimensionalen Element (dem Dreieck selbst), drei eindimensionalen Elementen (Linien oder Kanten) und drei 0-dimensionalen Elementen (Eckpunkten oder Ecken); Diese Konfiguration stimmt mit der dritten Reihe des Pascalschen Dreiecks überein: 1, 3, 3, 1. Diese Beobachtung kann durch die Integration der Pascalschen Regel zur Dreieckserzeugung mit der geometrischen Methodik zur Konstruktion von Simplizes verdeutlicht werden: Jeder Simplex wird von einem Simplex mit niedrigerer Dimension durch die Einführung eines neuen Scheitelpunkts abgeleitet, der außerhalb des räumlichen Bereichs des vorhergehenden Simplex positioniert ist. Folglich bleibt jedes d-dimensionale Element innerhalb des kleineren Simplex als d-dimensionales Element im höheren Simplex bestehen, während jedes (d − 1)-dimensionale Element bei der Verbindung mit dem neu hinzugefügten Scheitelpunkt ein neues d-dimensionales Element im höheren Simplex erzeugt.
Ein analoges Muster ergibt sich bei der Betrachtung von Quadraten im Gegensatz zu Dreiecken. Um dieses Muster zu erkennen, ist es notwendig, ein analoges Dreieck zu Pascals zu konstruieren, wobei die Einträge die Koeffizienten von (x + 2)Zeilennummer und nicht von (x + 1)Zeilennummer darstellen. Several methods exist for achieving this. Der einfachere Ansatz besteht darin, mit Zeile 0 als 1 und Zeile 1 als 1, 2 zu beginnen. Anschließend werden die analogen Dreiecke unter Einhaltung der folgenden Regel konstruiert:
( n k ) = §2627§ × ( n − §4445§k − §5354§) + ( n − §7879§k ) . {\displaystyle {n \choose k}=2\times {n-1 \choose k-1}+{n-1 \choose k}.
Konkret wählt man ein Zahlenpaar aus, das den kombinatorischen Regeln des Pascalschen Dreiecks entspricht; Der linke Term wird jedoch vor der Summierung mit zwei multipliziert. This operation yields:
1 1 2 1 4 4 1 6 12 8 1 8 24 32 16 1 10 40 80 80 32 1 12 60 §166 167§ 240 192 64 1 14 84 280 560 672 448 §220 221§ {\displaystyle {\begin{matrix}{\text{ 1}}\\{\text{ 1}}\quad {\text{ 2}}\\{\text{ 1}}\quad {\text{ 4}}\quad {\text{ 4}}\\{\text{ 1}}\quad {\text{ 6}}\quad {\text{ 12}}\quad {\text{ 8}}\\{\text{ 1}}\quad {\text{ 8}}\quad {\text{ 24}}\quad {\text{ 32}}\quad {\text{ 16}}\\{\text{ 1}}\quad {\text{ 10}}\quad {\text{ 40}}\quad {\text{ 80}}\quad {\text{ 80}}\quad {\text{ 32}}\\{\text{ 1}}\quad {\text{ 12}}\quad {\text{ 60}}\quad 160\quad 240\quad 192\quad {\text{ 64}}\\{\text{ 1}}\quad {\text{ 14}}\quad {\text{ 84}}\quad 280\quad 560\quad 672\quad 448\quad 128\end{matrix}}}
Eine alternative Methode zum Generieren dieses speziellen Dreiecks besteht darin, mit dem Pascalschen Dreieck zu beginnen und anschließend jeden Eintrag mit 2k zu multiplizieren, wobei „k“ die Position der angegebenen Zahl innerhalb ihrer jeweiligen Zeile angibt.Betrachtet man beispielsweise den 2. Wert in der 4. Zeile des Pascalschen Dreiecks, der 6 ist (wobei zu beachten ist, dass die Folge von Einsen dem nullten Eintrag in jeder Zeile entspricht), wird der entsprechende Wert im analogen Dreieck durch Multiplikation von 6 mit 2Positionsnummer abgeleitet, was zu 6 × 2§56§ = 6 × 4 = 24 führt. Sobald dieses analoge Dreieck konstruiert ist, erleichtert es die Bestimmung der Anzahl von Elementen beliebiger Dimension, die einen beliebig dimensionierten Würfel (einen Hyperwürfel) bilden, was die Interpretationsmethode widerspiegelt, die für Pascals Dreieck verwendet wird. Beispielsweise besteht ein zweidimensionaler Würfel (ein Quadrat) aus einem zweidimensionalen Element, vier eindimensionalen Elementen (Seiten oder Linien) und vier 0-dimensionalen Elementen (Punkten oder Eckpunkten). Diese Konfiguration entspricht der zweiten Zeile der Tabelle (1, 4, 4). Ebenso besitzt ein Standardwürfel einen Würfel, sechs Flächen, zwölf Kanten und acht Eckpunkte, was der nachfolgenden Reihe des analogen Dreiecks (1, 6, 12, 8) entspricht. Dieses beobachtete Muster erstreckt sich unbegrenzt.
Die diesem Muster zugrunde liegende Begründung lässt sich verstehen, wenn man bedenkt, dass ein n-Würfel aus einem (n − 1)-Würfel durch einen Prozess der Duplizierung und Verschiebung konstruiert wird. Konkret wird die ursprüngliche Figur dupliziert und dann um eine bestimmte Distanz (entspricht der Kantenlänge eines regulären n-Würfels) in eine Richtung verschoben, die orthogonal zu ihrer ursprünglichen räumlichen Ausrichtung ist. Anschließend wird jeder Scheitelpunkt der neu generierten Figur mit dem entsprechenden Scheitelpunkt in der Originalfigur verbunden. Dieser erste Vervielfältigungsschritt erklärt, warum es beim Aufzählen der dimensionalen Elemente eines n-Würfels notwendig ist, die erste Zahl innerhalb eines Paares in einer bestimmten Zeile dieses Pascalschen Dreiecksanalogon zu verdoppeln, bevor die Summation durchgeführt wird, um die Zahl in der nachfolgenden Zeile zu erhalten. Folglich berücksichtigt diese anfängliche Verdoppelung die „ursprünglichen“ Elemente, die im nächsthöheren n-Würfel vorhanden sind. Wie bereits festgestellt, werden neue Elemente gebildet, indem auf Elementen mit einer Dimension weniger aufgebaut wird (z. B. Kanten aus Eckpunkten, Flächen aus Kanten). Darüber hinaus gibt die endgültige Zahl in einer bestimmten Zeile die Anzahl neuer Eckpunkte an, die erforderlich sind, um den nächsthöheren n-Würfel zu erzeugen.
Innerhalb dieses speziellen Dreiecks ergibt die Summierung der Elemente in Zeile m durchweg einen Wert, der 3m entspricht. Um dieses Prinzip zu veranschaulichen, betrachten Sie die Elemente von Zeile 4: 1 + 8 + 24 + 32 + 16 = 81. Diese Summe entspricht genau
Aufzählung von Eckpunkten in einem Würfel basierend auf der Entfernung
Jede aufeinanderfolgende Zeile des Pascalschen Dreiecks liefert die Anzahl der Eckpunkte, die sich in bestimmten Abständen von einem festgelegten festen Eckpunkt innerhalb eines n-dimensionalen Würfels befinden. In einem dreidimensionalen Kontext korreliert beispielsweise die dritte Zeile (1 3 3 1) direkt mit einem standardmäßigen dreidimensionalen Würfel: Wenn ein Scheitelpunkt V als Referenzpunkt gewählt wird, gibt es einen Scheitelpunkt im Abstand von 0 von V (nämlich V selbst), drei Scheitelpunkte im Abstand von 1 und drei Scheitelpunkte im Abstand von √§910§ und ein Scheitelpunkt im Abstand von √§1314§ (der Scheitelpunkt diametral gegenüber von V). Die zweite Reihe des Dreiecks entspricht einem Quadrat, während Reihen mit höheren Indizes Hyperwürfel mit zunehmenden Abmessungen darstellen.
Fourier-Transformation von sin(x)n+1/x
Wie bereits festgestellt, entsprechen die aus der Entwicklung von (x + 1)n abgeleiteten Koeffizienten der n-ten Zeile des Dreiecks. Ebenso weisen die Koeffizienten von (x − 1)n die gleiche Zahlenfolge auf, jedoch mit wechselnden Vorzeichen, die zwischen +1 und −1 schwanken. Nach entsprechender Normalisierung entsteht ein identisches numerisches Muster innerhalb der Fourier-Transformation von sin(x)n+1/x. Insbesondere wenn n eine gerade ganze Zahl ist, wird die reelle Komponente der Transformation berücksichtigt; Wenn umgekehrt n eine ungerade ganze Zahl ist, wird die imaginäre Komponente verwendet. Das Ergebnis dieses Prozesses ist eine Stufenfunktion, deren normierte Werte durch die nte Zeile des Dreiecks unter Einbeziehung der oben genannten alternierenden Vorzeichen dargestellt werden. Die Werte der resultierenden Schrittfunktion werden beispielsweise abgeleitet von:
R e ( Fourier [ Sünde ( x ) §41 42§ x ] ) {\displaystyle {\mathfrak {Re}}\left({\text{Fourier}}\left[{\frac {\sin(x)^{5}}{x}}\right]\right)}
Diese Begriffe bilden die vierte Reihe des Dreiecks und weisen abwechselnde Vorzeichen auf. Dies stellt eine Verallgemeinerung eines grundlegenden Ergebnisses dar, das in der Elektrotechnik häufig angewendet wird.
R e ( Fourier [ Sünde ( x ) §4142§ x ] ) {\displaystyle {\mathfrak {Re}}\left({\text{Fourier}}\left[{\frac {\sin(x)^{1}}{x}}\right]\right)}
Dieser Ausdruck definiert die Boxcar-Funktion. Die entsprechende Zeile im Dreieck ist Zeile 0, die ausschließlich die Ziffer 1 enthält.
Wenn die ganze Zahl *n* zu 2 oder 3 modulo 4 kongruent ist, sind die Anfangszeichen negativ eins. Insbesondere richtet sich die Folge der normalisierten ersten Terme nach den Potenzen von *i*, die zyklisch die Schnittpunkte der Achsen mit dem Einheitskreis innerhalb der komplexen Ebene durchlaufen:
Erweiterungen
Erweiterung nach oben
Pascals Dreieck kann vertikal über den Scheitelwert von 1 hinaus erweitert werden, während seine grundlegende additive Eigenschaft erhalten bleibt; Es gibt jedoch mehrere Methoden, um diese Erweiterung zu erreichen.
Höherdimensionale Verallgemeinerungen
Pascals Dreieck besitzt Verallgemeinerungen in höhere Dimensionen. Die dreidimensionale Variante wird entweder als Pascalsche Pyramide oder Pascalsches Tetraeder bezeichnet, während die umfassenderen, allgemeinen Formen als Pascalsche Simplices bezeichnet werden.
Erweiterung auf komplexe Zahlen
Angesichts der Definition der Fakultätsfunktion als
Erweiterung auf beliebige Basen
Isaac Newton beobachtete einmal, dass die ersten fünf Reihen des Pascalschen Dreiecks, wenn man sie als Ziffern einer ganzen Zahl interpretiert, die entsprechenden Potenzen von Elf darstellen. Anschließend behauptete er, ohne Beweise vorzulegen, dass alle nachfolgenden Reihen auf ähnliche Weise Elferpotenzen erzeugen. Im Jahr 1964 brachte Robert L. Morton ein umfassenderes Argument vor und schlug vor, dass jede Zeile eine
- In der Positionsnotation ist eine Radix
Ziffer, wie z. B.a {\displaystyle a} , fungiert als Univariate Polynom mit der Variablen14641 a {\displaystyle 14641_{a}} . Innerhalb dieses Polynoms ist der Grad der Variablen für die ter Term (wobeii {\displaystyle i} für den Anfangsbegriff) ist genaui = §8081§{\displaystyle i=0} . Zum Beispiel die Zahli {\displaystyle i} veranschaulicht dieses Prinzip.14641 a = §122123§⋅ a §131 132§ + §137138§ ⋅ a §146 147§ + §152153§ ⋅ a §161 162§ + §167168§ ⋅ a §176177§ + §182183§⋅ a §191192§ {\displaystyle 14641_{a}=1\cdot a^{4}+4\cdot a^{3}+6\cdot a^{2}+4\cdot a^{1}+1\cdot a^{0}} - Jede Zeile stellt die Binomialentwicklung von
. Die Variable( dara + b ) n {\displaystyle (a+b)^{n}} kann aus dieser Erweiterung entfernt werden, indemb {\displaystyle b} . Folglich veranschaulicht die Erweiterung die erweiterte Darstellung einer Basiszugewiesen wird b = §5657§{\displaystyle b=1} Ziffer, wie zuvor gezeigt. Wenn die Einträge der Zeile folglich verkettet und in der Basisa {\displaystyle a} , sie ergeben den numerischen Wert, der interpretiert werdena {\displaystyle a} . Außerdem, wenn( a + §110111§) n = §123124§ a n {\displaystyle (a+1)^{n}=11_{a}^{n}} undc = a + §156157§{\displaystyle c=a+1} , der Satz bleibt gültig fürc < §176177§{\displaystyle c<0} .In diesem Zusammenhang gilt:a mod §198 199§ c {\displaystyle a{\bmod {2}}c} ist kongruent zua {\displaystyle a} , und ungerade Werte von{ c − §241242§, − ( c + §254255§) } {\displaystyle \{c-1,-(c+1)\}} führen zu negativen Zeilenprodukten.n {\displaystyle n
Wenn die Basis einer Zeile, dargestellt durch die Variable
11 12 §14 15§= §2021§: §2425§ : 56 : 164 : 353 : 560 : 650 : 560 : 353 : 164 : §6061§ : §6465§ : §6970§ §72 73§= 27433 a 9699701 §86 87§{\displaystyle 11_{12}^{12}=1:10:56:164:353:560:650:560:353:164:56:10:1_{12}=27433a9699701_{12}}
Der normalisierte Wert von
1.1 1234 1234 = 2.885 : Abschnitt 24 xmlns="w3.org/1998/Math/MathML">25§: 35 : 977 : 696 : … ⏞ 1227 Ziffern : §5859§: §6364§ 1234 = 2.717181235 … §79 80§ {\displaystyle 1.1_{1234}^{1234}=2.885:2:35:977:696:\overbrace {\ldots } ^{\text{1227 Ziffern}}:0:1_{1234}=2.717181235\ldots _{10}}
Referenzen
„Pascal's Triangle“, Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- "Pascal-Dreieck", Encyclopedia of Mathematics, EMS Press, 2001 [1994]Weisstein, Eric W. „Pascals Dreieck.“ MathWorld.
- Das alte Methodendiagramm der sieben Multiplikationsquadrate (abgeleitet vom Ssu Yuan Yü Chien von Chu Shi-Chieh, 1303, das die ersten neun Reihen des Pascalschen Dreiecks veranschaulicht)
- Pascals Abhandlung über das arithmetische Dreieck (bestehend aus Seitenbildern von Pascals Abhandlung, 1654, zusammen mit einer Zusammenfassung)