引理:若 c>1c>1c>1 同时大于 a/ba/ba/b 与 b/ab/ab/a,则方程组 cu+v=acu+v=acu+v=a,u+cv=bu+cv=bu+cv=b 有正解 u,vu,vu,v,由上述公式给出,因为在此假设下分子与 c2−1c^2-1c2−1 都为正。