Induktionsanfang ist, denke ich leicht. Zeige das es für (0, 1) stimmt.
Nimm jetzt die Fibonacci Zahlen
a(2n-2) = x
a(2n-1) = y - x
a(2n) = y
a(2n+1) = 2y - x
a(2n+2) = 3y - x
Ich möchte jetzt zeigen, dass wenn (a(2n-2), a(2n)) eine Lösung ist, dann ist auch (a(2n), a(2n+2)) eine Lösung.
y^2 - 3·y·(3·y - x) + (3·y - x)^2
= y^2 - 9·y^2 + 3·x·y + 9·y^2 - 6·x·y + x^2
= x^2 - 3·x·y + y^2