关于丢番图方程中的柯召—Terjanian—Rotkiewicz方法

1962年,柯召[1]为了证明丢番图方程 x^2-1=y^p,p>3是素数,(1)无整数解,提出了计算Jacobi符号 (Q_p(y)/Q_q(y))来处理丢番图方程的方法,这里Q_n(y)=y^n+1/y+1,2十n.后来,1977年。