由情形 B,p≡1htmlDatatutor−start=10,tutor−end=11pmod5 且 q≡1htmlDatatutor−start=10,tutor−end=11pmod5,结合 p<q 且 p,q≥5 为素数,得 p≥11,q≥31。
由 q3∣p5−35 且 q>p≥11>3,故 q∤p−3(因 p−3<q 且 p−3≥8>0)。因此 q3∣p−3p5−35=p4+3p3+9p2+27p+81。
于是
q3≤p4+3p3+9p2+27p+81=p4(1+p3+p29+p327+p481).
因 p≥11,括号内 <∑k=0∞(3/p)k=1−3/p1=p−3p≤811。故 q3<811p4,即 p>(118)1/4q3/4。
回到 (⋆):p3q3∣p5+q5−35,故 p3q3≤p5+q5−35<p5+q5。两边除以 p3q3:
1<q3p2+p3q2.
由 p<q,q3p2<q1≤311。由 p>(118)1/4q3/4,
p3q2<(118)3/4q9/4q2=(811)3/4q−1/4≤(811)3/4⋅31−1/4.
计算:(11/8)3/4≈1.27,311/4≈2.36,故 p3q2<0.54。于是 q3p2+p3q2<311+0.54≈0.57<1,与 p3q3≤p5+q5−35 矛盾。
因此不存在 p,q≥5 的解,所有解为 (3,3,n),n≥1。