西南大学18秋[0346]《初等数论》作业答案.docxVIP

西南大学18秋[0346]《初等数论》作业答案 其中t为整数。 证明如下： 若a≡b(mod m)，则a-b=km，其中k为整数，即m｜a-b。 反之，若m｜a-b，则a-b=km，其中k为整数，即a=b+km，即a≡b(mod m)。 综上所述，整数a，b对模m同余的充要条件是m｜a-b。 四、叙述带余数除法定理的内容并给出证明。 答：带余数除法定理：对于任意整数a和正整数b，存在唯一的一对整数q和r，使得a=bq+r且0≤rb。 证明如下： 首先证明存在性：对于任意整数a和正整数b，设q为满足q≤a/b的最大整数，则q≥a/b-1，即qb≥a-b，故a≥qb+b，即a-qb≥b。因此，存