■記事リスト / ▼下のスレッド
/ ▲上のスレッド
□投稿者/ 関 一般人(1回)-(2024/04/12(Fri) 21:18:16)
 | 3^n = k^2 - 7
を満たす整数の組 (k,n) をすべて求める。
|
|
|
▽[全レス4件(ResNo.1-4 表示)]
| ■52502 / ResNo.1) |
Re[1]: 高校数学 整数問題
|
□投稿者/ WIZ 一般人(4回)-(2024/04/12(Fri) 22:41:07)
| 2024/04/12(Fri) 22:42:14 編集(投稿者)
k^2-7は整数なので、3^nも整数であり、よってn ≧ 0です。
3^n ≡ k^2 (mod 7)となりますが、7の剰余類において3は平方数に合同にはなりません。
# このことを「3は法7の平方非剰余である」と言います。
# 7の剰余類は、0^2 ≡ 0, 1^2 ≡ 6^2 ≡ 1, 2^2 ≡ 5^2 ≡ 4, 3^2 ≡ 4^2 ≡ 2 (mod 7)
# と3が平方剰余でないことが確認できます。
よって、nは偶数ではなくてはならないので、mを非負整数としてn = 2mとおけます。
3^n = k^2-7
⇒ 7 = k^2-3^(2m) = (k-3^m)(k+3^m)
k-3^mもk+3^mも整数で、k-3^m < k+3^mです。
その積が7に等しいので、(k-3^m, k+3^m) = (-7, -1)(1, 7)となります。
(1) (k-3^m, k+3^m) = (-7, -1)とすると、
(k-3^m)+(k+3^m) = (-7)+(-1)
⇒ 2k = -8
⇒ k = -4
(k-3^m)-(k+3^m) = (-7)-(-1)
⇒ (-2)(3^m) = -6
⇒ m = 1, n = 2
(2) (k-3^m, k+3^m) = (1, 7)とすると、
(k-3^m)+(k+3^m) = 1+7
⇒ 2k = 8
⇒ k = 4
(k-3^m)-(k+3^m) = 1-7
⇒ (-2)(3^m) = -6
⇒ m = 1, n = 2
以上から、(k, n) = (-4, 2)(4, 2)
|
|
|
| ■52503 / ResNo.2) |
Re[2]: 高校数学 整数問題
|
□投稿者/ 関 一般人(2回)-(2024/04/12(Fri) 22:56:17)
| すばやい回答まことにありがとうございました。深く感謝申し上げます。
|
解決済み! |
|
| ■52504 / ResNo.3) |
Re[1]: 高校数学 整数問題
|
□投稿者/ らすかる 一般人(5回)-(2024/04/12(Fri) 23:02:04)
| n＜0のとき明らかに解が存在しないので、n≧0とする。
nが偶数のとき(左辺)≡1(mod 4)
nが奇数のとき(左辺)≡3(mod 4)
平方数を4で割った余りは0か1なので、
右辺を4で割った余りは1か2。
よってnが奇数のとき解は存在しない。
nが偶数のとき、n=2mとおくと
3^(2m)=k^2-7
k^2-(3^m)^2=7
(k+3^m)(k-3^m)=7
7は素数なので2整数の積にすると1×7または(-1)×(-7)となり、
2数の差は±6。
(k+3^m)-(k-3^m)=2(3^m)なので、2(3^m)=±6から適解はm=1のみ。
よってn=2m=2なので、k^2=3^2+7=16となり、k=±4。
従って解は (k,n)=(±4,2)。
|
|
|
| ■52505 / ResNo.4) |
Re[2]: 高校数学 整数問題
|
□投稿者/ 関 一般人(3回)-(2024/04/13(Sat) 07:56:53)
| 回答まことにありがとうございました。
簡潔な記述ですね。解答作成の参考になります。
|
|
|
■記事リスト /
レス記事表示 →
[親記事-4]
|
で表示されます。
で表示されます。
不等式(2)