数学ナビゲーター掲示板
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[
最新記事及び返信フォームをトピックトップへ
]
[ トピック内全5記事(1-5 表示) ] <<
0
>>
■52496
/ inTopicNo.1)
整数の表現の同値証明
▼
■
□投稿者/ エクセルシオール
一般人(1回)-(2024/04/07(Sun) 16:33:10)
負でない整数nに対して、以下の(A)と(B)は同値であることを示せ。
(A)整数xとyが存在して、n=x^2+3y^2と表せる。
(B)整数uとvが存在して、n=u^2+uv+v^2と表せる。
同値と言うことは、(A)の成立を仮定すれば(B)が成立することが証明できて
尚且つ(B)の成立を仮定すれば(A)が成立することが証明できればよいのだと思いますが
方法の見当がつきません。
解き方を教えてください。よろしくお願いします。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52497
/ inTopicNo.2)
Re[1]: 整数の表現の同値証明
▲
▼
■
□投稿者/ らすかる
一般人(3回)-(2024/04/07(Sun) 20:08:31)
任意のx,yに対して
u=y-x, v=y+xとおくと
u^2+uv+v^2=x^2+3y^2
なので、n=x^2+3y^2と表せればn=u^2+uv+v^2と表せる。
u,vの偶奇が同じであるとき
x=(v-u)/2, y=(v+u)/2とおくと
x^2+3y^2=u^2+uv+v^2
なので、n=u^2+uv+v^2と表せればn=x^2+3y^2と表せる。
u,vの偶奇が異なるとき、u=2k, v=2m+1として
x=k+2m+1, y=kとおくと
x^2+3y^2=u^2+uv+v^2
なので、n=u^2+uv+v^2と表せればn=x^2+3y^2と表せる。
従って(A)と(B)は同値。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52498
/ inTopicNo.3)
Re[1]: 整数の表現の同値証明
▲
▼
■
□投稿者/ エクセルシオール
一般人(2回)-(2024/04/07(Sun) 22:40:20)
らすかるさん、回答ありがとうございます。
変数を別の変数の式に置き換えて、他方の式と同じ形に変形できればよい訳ですね。
具体的に置き換える式の発見方法とかコツとかはあるのでしょうか?
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52499
/ inTopicNo.4)
Re[2]: 整数の表現の同値証明
▲
▼
■
□投稿者/ らすかる
一般人(4回)-(2024/04/08(Mon) 02:09:16)
2024/04/08(Mon) 02:21:28 編集(投稿者)
コツはよくわかりません。上の変形も簡単に思いついたわけではないです。
ただ、x^2+3y^2という形は見覚えがありましたし、
u=x+y, v=x-y のような置き換えはよくありますので前半はこれでわかりました。
後半は、u=2k, v=2m+1をu^2+uv+v^2に代入し、その結果を○^2+3△^2の形に
分けることができるか、のように考えました。
ちなみに
x^2+xy+y^2=1 という楕円は x^2+3y^2=2 という楕円を45°回転したものです。
楕円を回転させるとき、u=(x+y)/2, v=(x-y)/2 のような変換をすることが
ありますので、これの関連から考えました。
また
「x^2+xy+y^2=1のとき、x+yの最大値を求めよ」のような問題でも
x=u+v, y=u-vのような置き換えをすることがあり、x^2+3y^2という形は
その問題で見覚えがあった式でした。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52500
/ inTopicNo.5)
Re[1]: 整数の表現の同値証明
▲
▼
■
□投稿者/ エクセルシオール
一般人(3回)-(2024/04/08(Mon) 18:32: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文字以内)
■No52497に返信(らすかるさんの記事) > 任意のx,yに対して > u=y-x, v=y+xとおくと > u^2+uv+v^2=x^2+3y^2 > なので、n=x^2+3y^2と表せればn=u^2+uv+v^2と表せる。 > > u,vの偶奇が同じであるとき > x=(v-u)/2, y=(v+u)/2とおくと > x^2+3y^2=u^2+uv+v^2 > なので、n=u^2+uv+v^2と表せればn=x^2+3y^2と表せる。 > > u,vの偶奇が異なるとき、u=2k, v=2m+1として > x=k+2m+1, y=kとおくと > x^2+3y^2=u^2+uv+v^2 > なので、n=u^2+uv+v^2と表せればn=x^2+3y^2と表せる。 > > 従って(A)と(B)は同値。 >
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
数学ナビゲーター