一点微不足道的想法
引理：a,b,c为整数，a>0,ac-b^2=1
则ax^2+2bxy+cy^2=1有整数解
证略（我记得这好像是个定理）
由引理，px^2+2axy+（（a^2+1）/p）y^2=1有解，故p=（px+ay）^2+y^2，故｜px+ay｜，｜y｜为p=x^2+y^2的唯一正整数解
不过x_n该怎么构造呢
引理：a,b,c为整数，a>0,ac-b^2=1
则ax^2+2bxy+cy^2=1有整数解
证略（我记得这好像是个定理）
由引理，px^2+2axy+（（a^2+1）/p）y^2=1有解，故p=（px+ay）^2+y^2，故｜px+ay｜，｜y｜为p=x^2+y^2的唯一正整数解
不过x_n该怎么构造呢
