整数問題 大至急

以下の問題を、合同式で考える方法を教えて下さい。

問題
画像の(3)
a,b は正の整数とする、
a^3-b^3は、３の倍数ならば９の倍数である

宜しく御願いします。

No.2 ベストアンサー 回答者： syotao 回答日時： 2017/07/17 10:44

ａ³－ｂ³が３の倍数ならば

0≡ａ³-ｂ³＝(ａ-ｂ)(ａ²+ab+ｂ²)＝(ａ-ｂ){(ａ-ｂ)²+3ab}＝(ａ-ｂ)³+3ab(ａ-ｂ)≡(ａ-ｂ)³(mod3)
より、(ａ-ｂ)³が3の倍数になり、3が素数なのでａ-ｂが３の倍数になる。
ａ-ｂが３の倍数になるなら、ａ³-ｂ³が９の倍数になるのは、きのう示した通りです。

この回答へのお礼

昨日といい、今日といい、ベストな解法を提示していただき、心から感謝いたします。

minamino

お礼日時：2017/07/17 14:36

No.5 回答者： syotao 回答日時： 2017/07/17 13:44

No.2です。

先ほどの証明中、(ａ-ｂ)³≡0(mod3)ならばａ-ｂ≡0(mod3)は、つぎのようにしてもでます：
どんな整数ｎでも３で割った余りは0、1、2だからmod3で
ｎ≡0、1、2　のいずれかです。したがってmod3でn³≡0、1、2³＝8≡2となるので
３乗が３の倍数なら、もとの数が3の倍数です。

No.4 回答者： t_fumiaki 回答日時： 2017/07/17 11:49

(2)

(a-b)≡0(mod3)
両辺を2乗すると
(a-b)²≡a²-2ab+b²≡0(mod3)

a³-b³≡(a-b){(a-b)²+3ab}

(a-b)²≡0(mod3)、3ab≡0(mod3)より
(a-b)²+3ab≡0(mod3)

∴a³-b³≡0(mod3)･0(mod3)≡0(mod9)

(3)
a³-b³=(a-b){(a-b)²+3ab}と書ける。また、3は素数なので、

a³-b³≡0(mod3)なら
(a-b)≡0(mod3) 又は(a-b)²+3ab≡0(mod3)

・(a-b)≡0(mod3)の場合
　両辺を2乗すると(a-b)²≡0(mod3)、3ab≡0(mod3)だから
　∴a³-b³≡0(mod3)･0(mod3)≡0(mod9)

・(a-b)²+3ab≡0(mod3)の場合
　3ab≡0(mod3)を代入すると(a-b)²≡0(mod3)
　平方根をとると(a-b)≡0(mod3)
　∴a³-b³≡0(mod3)･0(mod3)≡0(mod9)

No.3 回答者： rnakamra 回答日時： 2017/07/17 10:45

a^3-b^3=(a-b)(a^2+ab+b^2)=(a-b){(a-b)^2+3ab)}=(a-b)^3+3ab(a-b)

これが3の倍数であるなら(a-b)^3が3の倍数となります。
(a-b)^3が3の倍数⇔a-bが3の倍数
a-bが３の倍数であれば(2)からa^3-b^3は9の倍数となります。

この回答へのお礼

rnakamraさん、

今回は、ご回答頂き、心から感謝致します。

minamino

お礼日時：2017/07/17 14:37

No.1 回答者： metabolian 回答日時： 2017/07/17 09:22

a≡p、b≡q(mod 3) ⇒ a^3≡p^3、b^3≡q^3(mod 3) になります。

すると、 a^3 - b^3 が3の倍数
⇒ a^3 - b^3 ≡ p^3 - q^3 ≡ 0 (mod 3)
⇒ (p,q)=(0,0)、(1,1)、(2,2)
※ ここは(p,q) の9通りのパターンで「しらみつぶし」をやりましたが、
もっといい計算方法があるかもしれません。(汗）
⇒ a-b ≡ p-q ≡ 0 (mod 3)

すると、(2) の命題がすでに証明されていれば
(3)も成り立ちます。

この回答へのお礼

metabolian
こんにちは、ご回答を頂き、有難うございました。

minamino

お礼日時：2017/07/17 14:37