不难验证,509是一个质数,因此2a+b必能被509整除,不妨设
2a+b=509x (x≥1)
则有,9×(509x)^2=509×(4a+2b+509b)
9×509×x^2=2×509x+509b
9×x^2=2x+b
b=x(9x-2)
把b代入2a+b=509x ,得
2a+x(9x-2)=509x
即 a=x(511-9x)/2 ,【注：由511-9x>0知,x最大只能取到56】
观察上式,当3≤x≤56时,a一定是个合数,所以x只能取2或1
当x取2时,a=493=17×29,仍是合数,舍弃.
当x=1时,a=(511-9×1)/2=251,经验证251是质数
进而求得b=1×(9×1-2)=7