■記事リスト / ▼下のスレッド
/ ▲上のスレッド
□投稿者/ 二条 一般人(1回)-(2026/02/17(Tue) 00:15:43)
 | 正の整数a,b,cがどの2つも互いに素のとき (a^2+b^2)(b^2+c^2)(c^2+a^2) は平方数ではないことの証明を教えてください。
|
|
|
▽[全レス2件(ResNo.1-2 表示)]
| ■53035 / ResNo.1) |
Re[1]: 平方数ではない
|
□投稿者/ WIZ 一般人(4回)-(2026/02/17(Tue) 11:05:47)
 | べき乗演算子^は四則演算より優先度が高いものとします。
平方数の法4での値は、偶数なら 0^2 ≡ 0, 2^2 ≡ 4 ≡ 0 (mod 4) 奇数なら 1^2 ≡ 1, 3^2 ≡ 9 ≡ 1 (mod 4) となります。
題意より以下の2つの場合に分けて考えます。 (1) 3個とも奇数の場合 a^2+b^2 ≡ 1+1 ≡ 2 (mod 4) 同様に b^2+c^2 ≡ c^2+a^2 ≡ 2 (mod 4) となりますので、 a^2+b^2, b^2+c^2, c^2+a^2 は2の1乗でのみで割り切れるといえます。
よって、(a^2+b^2)(b^2+c^2)(c^2+a^2) は2の3乗で割り切れますが、 2の4以上の偶数乗では割り切れないので平方数とはなり得ません。
(2) 1個が偶数で、他の2個が奇数の場合 aとbを奇数、cを偶数と仮定しても一般性は失われません。 a^2+b^2 ≡ 1+1 ≡ 2 (mod 4), b^2+c^2 ≡ c^2+a^2 ≡ 1+0 ≡ 1 (mod 4) となりますので、 (a^2+b^2)(b^2+c^2)(c^2+a^2) は2の1乗で割り切れますが、 2の偶数乗では割り切れないので平方数とはなり得ません。
|
|
|
| ■53036 / ResNo.2) |
Re[2]: 平方数ではない
|
□投稿者/ 二条 一般人(2回)-(2026/02/17(Tue) 12:38:00)
 | なるほど!! ありがとうございました。
|
解決済み! |
|
■記事リスト /
レス記事表示 →
[親記事-2]
|