MathLabs

Bài 1

Tìm mọi cặp (a,b)(a,b) số nguyên dương sao cho a3a^3 là bội của b2b^2, và b−1b-1 là bội của a−1a-1. (Ở đây nn được gọi là bội của mm nếu n=kmn=km với số nguyên kk nào đó.)
Bước 2 trên 5: Đưa vào c với a^3=b^2c
a3=b2c,a≡b≡1(moda−1) ⟹ c≡1(moda−1)a^3=b^2c,\quad a\equiv b\equiv1\pmod{a-1}\ \Longrightarrow\ c\equiv1\pmod{a-1}
Phân tích chi tiết

Giờ giả sử b≥ab\ge a. Vì b2b^2 chia hết a3a^3, viết a3=b2ca^3=b^2c với cc là số nguyên dương. Theo môđun a−1a-1 ta có a≡1a\equiv1, và vì (a−1)∣(b−1)(a-1)\mid(b-1) nên b≡1b\equiv1, do đó b2≡1b^2\equiv1 và a3≡1(moda−1)a^3\equiv1\pmod{a-1}. Từ a3=b2ca^3=b^2c suy ra c≡1(moda−1)c\equiv1\pmod{a-1}.