Ich ging gerade den folgenden Beweis des Buches Introductory Combinatorics von Richard A. Brualdi durch.
Satz. Die Fibonacci-Zahlen erfüllen die Formel
Mein Zweifel: Im Beweis haben sie geschrieben, dass wir die Fibonacci-Rekursion in der Form . betrachten
Eine Möglichkeit, diese Rekursionsbeziehung zu lösen, besteht darin, nach einer Lösung der Form . zu suchen , wobei q eine von Null verschiedene Zahl ist.
Wie und warum betrachten wir die Lösung der Form ? Vielleicht übersehe ich hier etwas sehr Grundlegendes. Kann sich nicht erinnern. Der Rest des Beweises war verständlich. Bitte helfen Sie in dieser Hinsicht. Vielen Dank für die Hilfe.
(Dies ist jetzt eine lange Antwort, aber Sie können nach jedem Abschnitt aufhören. Jeder Abschnitt verfolgt nur einen anderen Ansatz oder weist auf Ähnlichkeiten mit anderen Arten von Problemen hin.)
Wenn Sie das zum ersten Mal sehen, erscheint es angesichts der Reihenfolge, in der die Dinge normalerweise gelehrt werden, willkürlich. Es wird klarer, wenn Sie sehen, wie sich die Rekursion entweder in der linearen Algebra oder in erzeugenden Funktionen verhält.
Sie können natürlich direkt beweisen, dass die Formel wahr ist. Wenn ist die Formel, die du nur zeigen musst und
Aber das ist kein befriedigender Grund, warum es diese Form annimmt.
Wenn wir eine erzeugende Funktion definieren:
Dann erhältst du mit Partialbrüchen aus der Infinitesimalrechnung, wenn sind die Wurzeln von dann für einige :
Wenn das Polynom im Nenner sich wiederholende Nullstellen hat, wie es bei Partialbrüchen üblich ist, lautet Ihr allgemeiner Term, wenn der Grad einer Nullstelle im Polynom ist
Der Ansatz der linearen Algebra ist zu beachten:
Also wenn du hast:
Die Matrix hat charakteristisches Polynom die zwei verschiedene Wurzeln hat, also gibt es eine Matrix so dass:
So können wir die Einträge von ausdrücken jeder wie und damit ähnlich für
Wie bei Partialbrüchen wird die Form der Matrix, die Sie erhalten, wenn das Polynom wiederholte Nullstellen hat, komplizierter. Sie können im Allgemeinen keine Diagonalmatrix erhalten, sondern nur eine Matrix in Jordan-Normalform.
Eine dritte Möglichkeit, es sich vorzustellen, ist der Vektorraum aller Folgen und der lineare Operator:
Dann bedeutet unsere Wiederholung, dass wenn dann Hier ist der Identitätsoperator
Schreibe das um als:
Dann lass
Dann seit , du bekommst das
Ähnlich, gibt so
So
Dann benutze das
Und
Und deshalb lassen du erhältst:
Gegeben und du erhältst:
Im allgemeineren Fall, wenn ein Polynom ohne wiederholte Nullstelle ist, dann (Im Fall von Fibonacci, und ) Dann:
Dann wenn du erhältst ist eine geometrische Reihe mit gemeinsamem Verhältnis und
Aber die GCD-Anforderung bedeutet, dass wir eine Lösung für Folgendes haben:
(Bei Fibonacci, nach (2).)
Das bedeutet also:
Und das gibt Ihnen:
Diese Technik funktioniert bis (3) mit wiederholten Wurzeln, außer Sie erhalten Aber in (3) ist das Beste, was Sie bekommen können:
Dieser letzte Ansatz bezieht sich auf die lineare Differentialgleichung, bei der Ihnen oft zuerst beigebracht wird: „Hey, versuchen wir es einfach mit bestimmten Lösungen der Form try “ ohne viel Motivation.
Im Vektorraum unendlich differenzierbarer Funktionen erhalten wir einen linearen Operator definiert als
Dann können lineare Differentialgleichungen geschrieben werden als für ein Polynom
Wie zuvor, wenn keine wiederholten Wurzeln hat, erhalten Sie: ist eine Wurzel von oder die eine bekannte Lösungsmenge hat
Dann
Im Wesentlichen finden wir Lösungen für in Bezug auf bekannte Eigenvektoren des linearen Operators für Eigenwerte und es wird immer komplizierter, wenn es wiederholte Wurzeln gibt.
Sogar der Ansatz der linearen Algebra funktioniert auf diese Weise.
befriedigt also ein beliebiger Vektor wir bekommen ist ein Eigenvektor von für Eigenwert
So
Und:
Im Fibonacci-Fall ist und und .
Wenn Sie jemals Differentialgleichungen studiert haben, sind Sie wahrscheinlich auf etwas Ähnliches gestoßen, bei dem eine Lösung einer bestimmten Form vorgeschlagen wird und dann funktioniert. Dies ist kein Zufall, da die Theorien der Differentialgleichungen und der Rekursionen einige Gemeinsamkeiten aufweisen. In beiden Situationen ist es üblich, dass sich die Schüler unzufrieden fühlen, wenn sie zum ersten Mal auf diese Art von Argumentation stoßen.
Einige Dinge, die psychologisch helfen können:
Nun zu einigen möglichen Motivationen für eine solche Vermutung.
Ich denke, indem ich betrachte wir bekommen . Daher können wir durch Lösen der quadratischen Gleichung eine Vorstellung davon bekommen .
Dann können Sie die Eigenwerte berechnen.
Einen Beweis dafür findet man hier in meiner Arbeit.
https://www.ssmrmh.ro/2021/04/12/metallic-numbers/
Beachten Sie jedoch, dass wenn
Ich habe diesen Ansatz schon einmal gedacht und komme zu dem Schluss, dass:
Kommen wir zu deiner Frage, sagten wir weil wir das wissen bedeuten, dh eine Zahl darstellt. Darüber hinaus können wir sehen, dass jede Zahl durch Spielen der Begriffe wie . Dank dieser Eigenschaft können wir gegebene Gleichungen erfüllen, so dass usw.
Noch klarer, sagen wir das und wir wollen auch etwas rekursion wie , dh, . Wir können es durch eine rationale Zahl erfüllen so dass . Wir finden diese rationalen Zahlen auch durch Anfangsbedingungen
Wie Sie verstehen, dank Exponentialfunktionen wie such , können wir unsere rekursiven Beziehungsgleichungen erfüllen. Aus diesem Grund wählen wir sie aus, um sie zu verwenden.
HINWEIS = Soweit ich verstanden habe, fragen Sie sich, warum wir uns entschieden haben am Anfang. Tatsächlich kann dies aus der vorstehenden Erläuterung leicht geschlossen werden. Denn das ist offensichtlich ist eine rationale Zahl und wir können sie durch Exponentialwerte angeben wie oder
Der Standardansatz, um mit linearen rekursiven Folgen wie der Fibonacci-Folge zu arbeiten, ist wie folgt: Betrachten wir eine Abbildung wo sagst du ein beliebiger Ring ist, nehmen wir an, dass die der Abbildung entsprechende Folge dargestellt wird als ,
Angenommen, die rekursive Relation hat die Form ,wo
Dann können wir der Folge ein Polynom zuordnen die Vertretung haben
Wenn ist die Nullmenge von mit ist verschieden, dann ist der allgemeine Begriff von general hat Form
ANMERKUNG: Für eine weniger strenge Darstellung der Theorie linearer rekursiver Sequenzen schlage ich vor, den klassischen sowjetischen Text REKURSIONSSEQUENZEN von Prof. Aleksei Ivanovich Markushevich . durchzugehen
Ross Millikan