数学ナビゲーター掲示板
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[ スレッド内全3レス(親記事-3 表示) ] <<
0
>>
■52566
/ 親記事)
平方数
▼
■
□投稿者/ 孫子
一般人(1回)-(2024/07/10(Wed) 12:30:22)
自然数nで3^n-2^n-1が平方数となるものをすべて求めたいのでお願いします。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52569
/ ResNo.1)
Re[1]: 平方数
▲
▼
■
□投稿者/ muturajcp
一般人(2回)-(2024/07/14(Sun) 17:05:55)
3^n-2^n-1
n=1のとき
3^1-2^1-1=3-2-1=0は平方数
n=2のとき
3^2-2^2-1=9-4-1=4は平方数
n=4のとき
3^4-2^4-1=81-16-1=64は平方数
nが3以上の奇数のとき
n=2k+1となる自然数kがある
3^(2k+1)=3(9^k)=3(8+1)^k=3(mod4)
2^(2k+1)=2(4^k)=0(mod4)
3^(2k+1)-2^(2k+1)-1=2(mod4)
3^(2k+1)-2^(2k+1)-1=4m+2=2(2m+1)
となる整数mがあるから
3^(2k+1)-2^(2k+1)-1=2(2m+1)は平方数ではない
nが6以上の偶数のとき
n=2kとなる自然数kがある
3^(2k)-2^(2k)-1
が平方数であると仮定すると
3^(2k)-2^(2k)-1=x^2
となる整数xがある
3^(2k)-2^(2k)=1+x^2
(3^k+2^k)(3^k-2^k)=1+x^2
右辺1+x^2は実数の範囲で分解できない既約多項式
3^k+2^k>3^k-2^k>0だから
3^k-2^k=1でなければならないから
k=1
n=2となってn≧6に矛盾するから
3^(2k)-2^(2k)-1
は平方数ではないから
n=1
n=2
n=4
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52570
/ ResNo.2)
Re[1]: 平方数
▲
▼
■
□投稿者/ muturajcp
一般人(3回)-(2024/07/14(Sun) 19:11:26)
訂正です
3^n-2^n-1
n=1のとき
3^1-2^1-1=3-2-1=0
n=2のとき
3^2-2^2-1=9-4-1=4
n=4のとき
3^4-2^4-1=81-16-1=64
nが3以上の奇数のとき
n=2k+1となる自然数kがある
3^(2k+1)=3(9^k)=3(8+1)^k=3(mod4)
2^(2k+1)=2(4^k)=0(mod4)
3^(2k+1)-2^(2k+1)-1=2(mod4)
3^(2k+1)-2^(2k+1)-1=4m+2=2(2m+1)
となる整数mがあるから
3^(2k+1)-2^(2k+1)-1=2(2m+1)は平方数ではない
n=2(2k+1)となる自然数kがあるとき
3^{2(2k+1)}=9^(2k+1)=9(81^k)=9(16*5+1)^k=9(mod16)
2^{2(2k+1)}=4^(2k+1)=4(16^k)=0(mod16)
3^{2(2k+1)}-2^{2(2k+1)}-1=8(mod16)
3^{2(2k+1)}-2^{2(2k+1)}-1=16m+8=8(2m+1)
となる整数mがあるから
3^{2(2k+1)}-2^{2(2k+1)}-1=8(2m+1)は平方数ではない
n=4(2k+1)となる自然数kがあるとき
3^{4(2k+1)}=81^(2k+1)=81(6561)^k=(32*2+17)(205*32+1)^k=17{mod(32)}
2^{4(2k+1)}=16^(2k+1)=16(256)^k=0{mod(32)}
3^{4(2k+1)}-2^{4(2k+1)}-1=16(mod32)
3^{4(2k+1)}-2^{4(2k+1)}-1=(3^{2(2k+1)}+2^{2(2k+1)})(3^{2(2k+1)}-2^{2(2k+1)})-1≧3^6+2^6-1>16
3^{4(2k+1)}-2^{4(2k+1)}-1=32m+16=16(2m+1)
となる自然数mがあるから
3^{4(2k+1)}-2^{4(2k+1)}-1=16(2m+1)は平方数ではない
n=(2^j)(2k+1),j≧3,k≧0となる自然数jと整数kがあるとき
3^{(2^j)(2k+1)}=(3^{2^j})^(2k+1)=(3^{2^j})(9^{2^j})^k=1+2^(j+2){mod(2^(j+3))}
2^{(2^j)(2k+1)}=(2^{2^j})^(2k+1)=(2^{2^j})(4^{2^j})^k=0{mod(2^{j+3})}
3^{(2^j)(2k+1)}-2^{(2^j)(2k+1)}-1=2^(j+2){mod(2^{j+3})}
3^{(2^j)(2k+1)}-2^{(2^j)(2k+1)}-1=(2m+1)2^{j+2}
となる自然数mがあるから
3^{(2^j)(2k+1)}-2^{(2^j)(2k+1)}-1=(2m+1)2^{j+2}は平方数ではない
n=1
n=2
n=4
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52582
/ ResNo.3)
Re[2]: 平方数
▲
▼
■
□投稿者/ 孫子
一般人(3回)-(2024/07/21(Sun) 16:45:11)
ありがとうございました。
とても参考になりました。
解決済み!
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
このスレッドをツリーで一括表示
スレッド内ページ移動 / <<
0
>>
このスレッドに書きこむ
入力内容にタグは利用できません。
数式の記述方法
TeX入力ができます。
\[
TeX形式数式
\]
あるいは,
$
TeX形式数式
$
で数式を記述します。
TeX形式数式には半角英数字のみです。詳しくは、
ここ
を見てください。
Titleは質問の内容がわかりやすいように書いてください。
他人を中傷する記事は管理者の判断で予告無く削除されます。
半角カナは使用しないでください。文字化けの原因になります。
名前、Title、コメントは必須記入項目です。記入漏れはエラーになります。
入力内容の一部は、次回投稿時の手間を省くためブラウザに記録されます。
削除キーを覚えておくと、自分の記事の編集・削除ができます。
URLは自動的にリンクされます。
引用返信するときは不要な引用部分を削除してください。
記事中に No*** のように書くとその記事にリンクされます(No は半角英字/*** は半角数字)。
使用例)
No123 → 記事No123の記事リンクになります(指定表示)。
No123,130,134 → 記事No123/130/134 の記事リンクになります(複数表示)。
No123-130 → 記事No123〜130 の記事リンクになります(連続表示)。
Name
/
E-Mail
/
└> 関連するレス記事をメールで受信しますか?
NO
YES
/ アドレス
非公開
公開
Title
/
URL
/
Comment/ 通常モード->
図表モード->
(適当に改行して下さい/半角10000文字以内)
File
/
アップ可能拡張子=> /
.gif
/
.jpg
/
.jpeg
/
.png
/.txt/.lzh/.zip/.mid/.svg
1) 太字の拡張子は画像として認識されます。
2) 画像は初期状態で縮小サイズ250×250ピクセル以下で表示されます。
3) 同名ファイルがある、またはファイル名が不適切な場合、
ファイル名が自動変更されます。
4) アップ可能ファイルサイズは1回
200KB
(1KB=1024Bytes)までです。
5) ファイルアップ時はプレビューは利用できません。
6) スレッド内の合計ファイルサイズ:[0/500KB]
残り:[500KB]
Icon
/
ぺそぎん(常)
ぺそぎん(喜)
ぺそぎん(礼)
ぺそぎん(跳)
ぺそぎん(焦)
ぺそぎん(励)
マサト
ミツコ
サトシ
サクラ
ダン
エリカ
ホイールロボ
くるりロボ
ぱんだ
ふとめネコ
ねずみ
こあら
疑問ねこ
ランダム
管理者用
(画像を選択/
サンプル一覧
)
削除キー
/
(半角8文字以内)
解決済み!
BOX/
解決したらチェックしてください!
プレビュー/
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター