用 ai+n=aia_{i+n}=a_iai+n=ai 把 (ai)(a_i)(ai) 延拓到一切整数 iii,这与 an+1=a1a_{n+1}=a_1an+1=a1、an+2=a2a_{n+2}=a_2an+2=a2 相容;此时对一切整数 iii 都有 aiai+1+1=ai+2a_ia_{i+1}+1=a_{i+2}aiai+1+1=ai+2。将此关系式乘以 ai+2a_{i+2}ai+2 得 aiai+1ai+2=ai+22−ai+2a_ia_{i+1}a_{i+2}=a_{i+2}^2-a_{i+2}aiai+1ai+2=ai+22−ai+2;将移位后的关系式 ai+1ai+2+1=ai+3a_{i+1}a_{i+2}+1=a_{i+3}ai+1ai+2+1=ai+3 乘以 aia_iai 也得到同一乘积 aiai+1ai+2=aiai+3−aia_ia_{i+1}a_{i+2}=a_ia_{i+3}-a_iaiai+1ai+2=aiai+3−ai。令两式相等,即对一切整数 iii 有 ai+22−ai+2=aiai+3−aia_{i+2}^2-a_{i+2}=a_ia_{i+3}-a_iai+22−ai+2=aiai+3−ai。