- 締切済み
ガウス記号を含む演算について
ａ^ｋ－ｂ^ｋ・（ａ／ｂ）^ｋ＜ｂ^ｋ－（ａ／ｂ）^ｋ という不等式があります（ａもｂもｋもすべて整数であるとします）。ただしこの不等式が正であるかどうかはまだわからないと思います。そこで、ａ＝３、ｂ＝２と値を置いてみます。すると上式は ３^ｋ－２^ｋ・（３／２）^ｋ＜２^ｋ－（３／２）^ｋ となります。この場合左辺は０なので、この不等式は成立します。 では上式中の（３／２）^ｋを［（３／２）^ｋ］と置き換えて、式の左辺を３^ｋ－２^ｋ[（３／２）^ｋ］、右辺を２^ｋ－[（３／２）^ｋ］ とします。このときも、すなわち ３^ｋ－２^ｋ[（３／２）^ｋ］＜２^ｋ－[（３／２）^ｋ］ としたときもこの不等式は成立するのでしょうか。ｋに値を与えて、たとえばｋ＝２とします。すると ３^２－２^２[（３／２）^２］＜２^２－[（３／２）^２］ ↓ ９－８＜４－２ となって不等式は成立します。ただしこれはｋ＝２のときについて その解を見たものであって、あらゆるｋの値について ３^ｋ－２^ｋ[（３／２）^ｋ］＜２^ｋ－[（３／２）^ｋ］ が成立するかどうかを説明するものではないと思います。 あらゆるｋの値について ３^ｋ－２^ｋ[（３／２）^ｋ］＜２^ｋ－[（３／２）^ｋ］ という不等式が成り立つことを代数的に証明することはできないものでしょうか？
- jarinkochi
- お礼率40% (11/27)
- 数学・算数
- 回答数3
- ありがとう数4
- みんなの回答 （3）
- 専門家の回答
みんなの回答
- Tacosan
- ベストアンサー率23% (3656/15482)
や, そんなに難しい話ではなく, 「まだわからないと思います」のところがよくわからんのですよ. a^k - b^k・(a/b)^k は常に 0 ですから, この不等式と b^k < (a/b)^k は等価です. 結局, a > b^2 と等価ですね.
- Tacosan
- ベストアンサー率23% (3656/15482)
本題は終わっていますが, そもそも最初の 「ａ^ｋ－ｂ^ｋ・（ａ／ｂ）^ｋ＜ｂ^ｋ－（ａ／ｂ）^ｋ という不等式があります（ａもｂもｋもすべて整数であるとします）。ただしこの不等式が正であるかどうかはまだわからないと思います」 で何を言わんとしているのかが分かりません.
お礼
ご回答ありがとうございます。「何を言わんとしているのかが分かりません」というのはごもっともなご指摘で、これに関してはinfo22さんへのお礼のなかで詳しく述べさせていただきました。もしよかったらご参照ください。
- info22
- ベストアンサー率55% (2225/4034)
> あらゆるｋの値について >３^ｋ－２^ｋ[（３／２）^ｋ］＜２^ｋ－[（３／２）^ｋ］ >という不等式が成り立つことを代数的に証明することはできないものでしょうか？ 成り立ちませんので証明できません。 反例（成立しないケース） k=0,1 で 左辺＝右辺 k=121,123,128,140,154,158,160,166,176,179,203,207,219,242,246, 254,261,267,302,… で 左辺＞右辺
お礼
お礼が遅れて申し訳ありません。ご提示いただいた反例には参りました。そもそも k=0,1 で 左辺＝右辺 ということくらいとっくに確認しておかなければいけませんよね。恥ずかしいかぎりです。それにしても k=121,123,128,140,154,158,160,166,176,179,203,207,219,242,246, 254,261,267,302,… で 左辺＞右辺 という空恐ろしい反例をあげていただいたのにはビックリしました。声も出ません。 そもそもこういう質問をしたのはウェアリングの問題に興味をもったからです。ｇ(ｋ)を求める式として以下のオイラーの式が知られています。 ｇ(ｋ)＝［（３・２）^ｋ］＋２^ｋ－２ この式が成立するｋの範囲を求める式として以下の式も知られています。 （３／２）^ｋ]（１－２^ｋ）＋３^ｋ≦２^ｋ・・・（１） が成立すればオイラーの式が成り立つというわけです。 （http://www.geocities.jp/ikuro_kotaro/koramu/675_nt5.htm内の【２】ヨハン・アルブレヒト・オイラーの不等式以下の１０行目以降） で、上記の（１）式がどういう経路で導き出されたのかを考えているうちに ［（３／２）^ｋ]＞（３／２）^ｋ－（１－ｘ）・・・（２） という形を考えて見ました。これは元来 ［（３／２）^ｋ]＞（３／２）^ｋ－１・・・［Ａ］＞Ａ－１の形です。で、この式の１をさらに小さくしてみようと思いそれを１－ｘと置いてみたわけです。で、このｘを ｘ＝[（３／２）^ｋ]／２^ｋとして（２）式に代入すると ２^ｋ［（３／２）^ｋ]＞３^ｋ－２^ｋ＋[（３／２）^ｋ]・・・（３） が得られ、これから（１）式が得られたのです。しかし上記Ｘの値というのはｘ＝[（４／２）^ｋ]／２^ｋ＝１としてみた場合には１になるのでガウス記号内の分子をこれより１つ小さい［（３／２）^ｋ]としただけのことで数学的な根拠はありません。 （３）を変形すると ３^ｋ－２^ｋ[（３／２）^ｋ］＜２^ｋ－[（３／２）^ｋ］ が得られます。そしてこの不等式は成り立たないことがinfo22さんの手によって見事くつがえさせられました。とすると（１）式はいかなる過程をへて導き出されたのかという元の課題につきあたってしまいます。
関連するQ&A
- 十分性の確認の問題について
数Ａの青チャートにある問題、正の数X，Ｙに対して√X＋√Ｙ≦ａ√（X＋Ｙ）が成り立つような正の数ａのうち最小なものを求めよ。 この問題の解法でX＝１、Ｙ＝１を代入して√２≦ａを求めた後十分性の確認で逆にａ＝√２のとき 右辺の二乗－左辺の二乗＝（√x－√ｙ）＾２≧０で成立するので 解 最小値√２ と書かれています。特殊なケースを考えてその後十分性を確認するという方針は納得いくのですが、この解法では解の最小値が予測できないと求められないと思うのですが。 例x=1、ｙ=４の時代入すると３／√５≦ａとなって逆にａ＝３／√５のとき与不等式に代入して 右辺の二乗－左辺の二乗をつくっても証明は不可∴これは解ではない。 また、Ｘ，Ｙにある値を代入してａ＝４となったとします。このとき与不等式は当然成り立つのですが、 最小なａ＝√２なわけですから当然間違いとなるわけですがこうしたケースはおきないと断定できるのでしょうか。断定できなければ解を絞り込む段階で予測できないと解を求められないと思うのですが。同じような問題を何題か見たのですが、不等式で数値代入を行い、十分性の確認をするという手法は有効なのでしょうか。整数問題等で同じような手法は納得いくのですが。どなたかご教授お願いします。
- ベストアンサー
- 数学・算数
- ガウス記号
実数xに対して、その整数部分を〔x〕で表す。すなわち〔x〕は不等式 〔x〕≦x<〔x〕＋１をみたす整数である。実数xに対して、等式 〔x〕＋〔x＋1/3〕＋〔x＋2/3〕=〔3x〕が成り立つことを示す。 まず 0≦α＜1/3 1/3≦α<2/3 2/3≦α<1の場合わけがわかりません。 表し方が 小数部分をαとおく 0≦α＜1/3のとき 〔3x〕=〔x〕＋〔x＋1/3〕＋〔x＋2/3〕 =〔n＋α〕＋〔n＋α＋1/3〕＋〔n＋α＋2/3〕の式がわからないです。 nとαがわからない。（どこから現れたか） 〔n＋α〕のαが１より小はなぜわかるの？ 〔n＋α＋1/3〕のα＋1/3が１より小はなぜわかるのか？ 〔n＋α＋2/3〕のα＋2/3がなぜ１より小はなぜわかるのか？ 〔n＋α〕＋〔n＋α＋1/3〕＋〔n＋α＋2/3〕を計算すると なぜ3ｎなのか？ 右辺＝〔3x〕=〔3n＋3α〕になるのか？ ３αはなぜ1より小く、どこから現れてきたのでしょうか？
- ベストアンサー
- 数学・算数
- 中学1年の数学の問題
分からないので教えて下さい。 数量の関係を不等式で表し、左辺と右辺をそれぞれ答えなさい。 a mの紐を5等分する時の1つ分の長さはb m以上になる。 不等式、左辺、右辺の答えを教えて下さい。
- 締切済み
- 数学・算数
- 解説と解き方お願いします！(数学)
(1)不等式７x＋１２〈－２x－３３ の解の中で、最大の整数を求めよ。 →これを解いて、x〈－５ ってわかったんですが 最大の整数が分かりません。 習ってないので教えてもらいたいです。 (2)１以上１００以下の自然数のうち、４または５で割り切れる数は、 全部で何個あるか。 →解き方が分かりません。 (3)不等式１と２を同時に満たす整数がちょうど３個あるようなaの値の範囲を求めよ。 不等式１→３分の１x－４≦３－２分の１x 不等式２→５分の２x－a≧３分のx＋１ →解き方が分かりません。
- 締切済み
- 数学・算数
- 因数分解
度々お世話になります。また、今後もお世話になると思います。 不等式の証明問題です。 「a、b、c、dが正の数であるとき、(ab+cd)(ac+bd)≧4abcdを証明しろ」 左辺-右辺≧0を示す。 左辺-右辺=bc(a^2+d^2)+ad(b^2+c^2)-(4abcd) =bc(a^2+2ad+d^2)+ad(b^2-2bc+c^2)=bc(a-d)^2+ad(b-c)^2……★ aもbもcもdも正の数なので、★は0以上。よって、命題の不等式は成り立つ。 証明の流れはほぼ正しかったのですが(ただ左辺-右辺≧0を示せば良いだけなので)、この因数分解は、ヒントが無ければ導けませんでした。特に不等式の証明に限らず、多項式をうまく因数分解するための工夫やアイディアというのはあるのでしょうか。例えば、2倍したのを1/2で表すみたいな工夫をするきっかけというか… アドバイスお願い致します。
- ベストアンサー
- 数学・算数
補足
あ、そうですね。ほんとにやんなっちゃいます。自明のことが見えなくなっています。問題は３^ｋ－２^ｋ[（３／２）^ｋ］＜２^ｋ－[（３／２）^ｋ］としたときも、この不等式が成立するかどうかなのです。info22さんによれば k=0,1 で 左辺＝右辺 k=121,123,128,140,154,158,160,166,176,179,203,207,219,242,246, 254,261,267,302,… で 左辺＞右辺 ということでした。で、ここではk=0,1のケースは除外してそのほかの反例としてk=121,123,128,140,154,158,160,166,176,179,203,207,219,242,246, 254,261,267,302 という場合があるとのご指摘をいただいていて、なるほどそうなのかと思うほかありません。確かめようにも当方には計算不能です。