由于每个解都能(第 3 步)下降到基本情形,而正向递推(第 2 步)的每一步都保持是解,按归纳法,每个满足 n≥mn\ge mn≥m 的正整数解 (m,n)(m,n)(m,n) 都是一对连续的斐波那契数 (Fk,Fk+1)(F_k,F_{k+1})(Fk,Fk+1)(其中 F1=F2=1F_1=F_2=1F1=F2=1)。