+1 Daumen
641 Aufrufe


ich habe eine Folge, die wie folgt rekursiv definiert ist:

$$a_1 := a, a_2 := b, a_n := \frac{1}{2} ( a_{n-1} + a_{n-2} ), n \ge 3 $$

und diese explizit definierte Folge:

$$b_n := \frac{1}{3} \cdot ( 4 \cdot (- \frac{1}{2} ) ^n \cdot ( b - a ) + a + 2b ), n \ge 3$$

Und ich wollte jetzt zeigen, dass $$a_n = b_n \forall n \ge 3$$

Da dachte ich natürlich zuerst an vollständige Induktion. Aber ich bin mir dabei nicht sicher, was ich genau in der vollständigen Induktion beweisen muss.

Eine Idee von mir, war:

(Induktionsanfang) $$n = 3: a_3 = b_3$$

(Induktionsschluss) $$n \rightarrow n + 1: a_{n+1} = b_{n+1}$$

Dabei ist halt $$a_{n+1} = \frac{1}{2} ( a_n + a_{n-1} )$$.

Also ich bin mir nicht ganz sicher, wie ich das jetzt zeigen soll. Ich kann zeigen $$b_{n+1} = \frac{1}{2} ( b_n + b_{n-1} )$$, wenn ich obige Definition für bn so umforme. Würde das für den Induktionsschritt reichen?

Also wie mache ich hier eine korrekte vollständige Induktion?

Danke,

Thilo
Avatar von 4,3 k
Hat sich erledigt. Habe es hinbekommen.

Bitte Lösung für die Nachwelt posten.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community