数学ナビゲーター掲示板
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[ スレッド内全1レス(親記事-1 表示) ] <<
0
>>
■52230
/ 親記事)
整数問題
▼
■
□投稿者/ 葉
一般人(2回)-(2023/06/29(Thu) 00:05:39)
整数 a,b,c が |a^2-b^2-2abc|<2c を満たしているとき、
abc が偶数であることの証明を教えて下さい。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52409
/ ResNo.1)
Re[1]: 整数問題
▲
▼
■
□投稿者/ WIZ
一般人(10回)-(2023/12/11(Mon) 20:44:17)
2023/12/13(Wed) 17:27:27 編集(投稿者)
0 ≦ |a^2-b^2-2abc| < 2cよりc > 0です。
a = 0またはb = 0ならばabc = 0は偶数なので題意は成立します。
以下a ≠ 0かつb ≠ 0とします。
a = bと仮定すると、|a^2-b^2-2abc| = |-2(a^2)c| = 2(a^2)c < 2c
より、a = 0となりますので、以下a ≠ bとします。
a < 0かつb > 0ならば、-a > 0なので、
|a^2-b^2-2abc| = |(-a)^2-b^2+2(-a)bc| = |b^2-(-a)^2-2(-a)bc| < 2c
a > 0かつb < 0ならば、-b > 0なので、
|a^2-b^2-2abc| = |a^2-(-b)^2+2a(-b)c| = |(-b)^2-a^2-2a(-b)c| < 2c
a < 0かつb < 0ならば、-a > 0かつ-b > 0なので、
|a^2-b^2-2abc| = |(-a)^2-(-b)^2-2(-a)(-b)c| < 2c
いずれも、a > 0かつb > 0における|a^2-b^2-2abc| < 2cの形の不等式評価に帰着します。
a < bと仮定すると、a^2-b^2 < 0かつ-2abc < 0と同符号になりますので、
|a^2-b^2-2abc| = |a^2-b^2|+|-2abc| > 2abc > 2cと題意の条件を満たしません。
# a > 0かつb > 0かつa ≠ bなので、ab > 1*2です。
よって、a > bと言えます。
-2c < a^2-b^2-2abc < 2c
⇒ b^2-2c < a^2-2abc < b^2+2c
b^2 ≧ 1なので、
⇒ 1-2c/(b^2) < (a/b)^2-2(a/b)c < 1+2c/(b^2)
⇒ 1-2c < 1-2c/(b^2) < (a/b)^2-2(a/b)c < 1+2c/(b^2) < 1+2c
⇒ 1-2c+c^2 < (a/b)^2-2(a/b)c+c^2 < 1+2c+c^2
⇒ (c-1)^2 < (c-a/b)^2 < (c+1)^2
⇒ |c-1| < |c-a/b| < |c+1|・・・(3)
# c-1 ≧ 0かつc+1 > 0です。
以下で場合分けします。
(1.1)c-a/b ≧ 0
(1.2)c-a/b < 0
(1.1)ならば(3)より、
⇒ c-1 < c-a/b < c+1
⇒ -1 < -a/b < 1
⇒ -1 < a/b < 1
⇒ 0 < a < b
a > bが必要なので、(1.1)c-a/b ≧ 0の場合は存在しないと言えます。
(1.2)ならば
c-a/b < 0より、a-bc > 0或いはa > bcです。
(3)より、
⇒ c-1 < a/b-c < c+1
⇒ -1 < a/b-2c = (a-2bc)/b < 1
⇒ -b < a-2bc < b
⇒ b(2c-1) < a < b(2c+1)
rを整数で-b < r < bとして、a = 2bc+rとおきます。
-2c < (2bc+r)^2-b^2-2(2bc+r)bc < 2c
⇒ -2c < (4(bc)^2+4bcr+r^2)-b^2-(4(bc)^2+2bcr) < 2c
⇒ -2c < 2bcr+r^2-b^2 < 2c
⇒ -2c < b^2-r^2-2bcr < 2c・・・(4)
⇒ 0 < b^2-r^2 < 2c(br+1)
0 < 2c(br+1)より、0 < br+1となり、0 ≦ brから、r ≧ 0といえます。
a > b > rですから、(4)は正の整数aがより小さい非負整数rに置き換わっただけです。
r = 0ならa = 2bcなので題意の成立が示されたことになるので、
(a, b)が(b, r)というより小さな正の整数の評価へ還元された訳です。
この還元を繰り返すことでrは徐々に小さくなっていき、最終的には0になるはずです。
a = 2bc+rですから、a ≡ r (mod 2)なので、abc ≡ bcr (mod 2)と言えます。
a ≧ 2bc ≧ 2なら、(a, b)⇒(b, r)つまりa/2 ≧ b > rに置き換えられる。
a > b > 0なので、2がaの最小値。a = 2を還元すると、
a = 2 = 2bc+1 ≧ 2*1*1+1 = 3は不可能なので、r = 0つまりa = 2bc+0しかないので題意は成立する。
r = 0であれば、a^2-b^2-2abc = r^2-b^2+2bcr = -b^2なので、
|a^2-b^2+2abc| = |-b^2|と絶対値が平方数となるのも頷けますね。
引用返信
/
返信
[メール受信/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文字以内)
■No52230に返信(葉さんの記事) > 整数 a,b,c が |a^2-b^2-2abc|<2c を満たしているとき、 > abc が偶数であることの証明を教えて下さい。 >
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
数学ナビゲーター