论文部分内容阅读
设p是形如6k+1的正素数,运用数论方法及计算机程序,获得了丢番图方程x2-xy+y2=p在p<100000时的满足x<y的全部正整数解(9658组);运用数论方法证明了当p是形如6k+5的正素数时丢番图方程x2-xy+y2=p无正整数解.从而推进了广义Fermat猜想和Tijdeman猜想的研究进展.