整除性质、公约数性质和三项最大公约数性质,在同余式解题中发挥了很大的作用。
整除性质载于第29节。当系数a为模δ的倍数时,
因δ整除a,ax≡0(modδ)。
公约数性质,见第31节,有两种。
三项的最大公约数,可在同余式中同时约去:
bδx≡aδ(mod cδ)和bx≡a(mod c)等价。
系数和常数两项的最大公约数,则在一定条件下进行约简:
当k和c互素时,bkx≡ak(mod c)和bx≡a(mod c)等价。