分からない問題はここに書いてね464
■ このスレッドは過去ログ倉庫に格納されています
どれか一辺60°外側に回して出せるんだけどな
しかしこんな汚い値になるならそもそもの頂点の座標が汚いんだろうな >>141-142
a=5, b=6, c=4,
とする。
x+y+z = σ, xy+yz+zx = τ,
とおこう。問題の第3式から第2式を引けば
(x-y)σ = bb - aa,
をうる。同様の式を y-z, z-x について作り、
2乗して加えてまとめると、
(σ^2 - 3τ)σ^2 = a^4 + b^4 + c^4 - (ab)^2 - (bc)^2 - (ca)^2.
一方 問題の3つの式を加えて
2σ^2 - 3τ = a^2 + b^2 + c^2,
をうるから、τを消去して
{σ^2 - (aa+bb+cc)/2}^2
= (3/4) {2(ab)^2 + 2(bc)^2 + 2(ca)^2 - a^4 - b^4 - c^4}
= (3/4) (a+b+c)(a+b-c)(b+c-a)(c+a-b)
= (3/4) (4S)^2
= 12 S^2,
となるが、これは σ>0 である解
σ = √{(aa+bb+cc + (4√3)S)/2},
をもつ。(菅原淳輔氏による)
数セミ増刊「数学の問題」第2集, 日本評論社 (1978)
●110 a(b+c)=1,a+2b+3c=2,1≦ab+bc+ca≦2のもとで、|c|の取りうる値の範囲を求めよ。 1+(2b+3c)(b+c)=2(b+c), 0≦bc≦1 (∃b; real)
2x^2+(5c^2-2c)x +3c^4-2c^3+c^2=0,0≦x≦1 (∃x)
解なし 最尤推定において、尤度関数L(θ)=p(X_1,θ)...p(X_n,θ)の最小化とはどういう意味でしょうか?
確率変数を定義域とする汎関数の最小化だと数学的には理解はできますが、違うような気がします。 >>147
なるほど三辺が4,5,6の三角形において三頂点からの距離の和の最小値を求めるという文脈があったか
最小になる点(フェルマー点)は各頂点への脚が120度になるから、脚の長さをそれぞれx,y,zとおけば余弦定理から>>141式を得る
脚の長さの平均を一辺として持つ正三角形の面積をA
一辺が4,5,6の正三角形の面積の平均をM
元の三角形の面積をSとすればA≧1/6(M+S)が成り立つのか
これを幾何的に証明できれば・・・ >>153
これ自分もモヤモヤするところだわ
本当は汎関数的に決めれたらいいんだろうけど統計では分布は決めてしまって母数(分布のパラメータ)だけを決めることにするんよね確か 153です。
ネットでいくつか具体例をみてみると、固定した x_1, ..., x_n ∈ R に対して、それぞれ最大値θを選ぼうとしてるようにみえます。
もしかして、ただの記号の濫用ですかね? >>156
最大値θではなく、最大値を与えるθでした。 https://imgur.com/7xQKxk7.jpg
多変数関数がC^1なら微分可能であることの証明ですが,平均値の定理を適用するためになぜ,閉区間Iを含む開区間を考えているのでしょうか?
φが閉区間I上で連続,Iの内部で微分可能なのは明らかであるように思われます. 接続付きのなめらかな多様体Mで、点p\inMとして測地線c_v(t)(0でpを取る)に沿った平行場Eを考えると、Eが測地線の初期値vと平行場の初期値uとtに対してなめらかってどう示します?
一個の座標に入る場合で考えると難しくないですが、複数の座標を跨ぐ場合どうすればいいのか教えてください。 以下の条件を満たす多変数関数は存在しますか?
f : R^n → R
fは偏微分可能で偏導関数は連続である.
fは不連続である. 12^3-3=b^2
にa=3⇒b=1
以外の自然数の解はありますか。 間違えた。訂正します
12a^3-3=b^2
にa=1⇒b=3
以外の自然数の解はありますか。 又間違えた。訂正します。
12*(a^3)-3=b^2
にa=1⇒b=3
以外の自然数の解はありますか。 >>164
次の結果を適用すれば機械的にチェックできる:
[事実]
整数定数kが 0<|k|≦10^6 の範囲にあるとき
整数x,yが y^2=x^3+k を満たすなら √|x|<5*|k|
この既に証明されたものを認めるなら本題の解法は以下のようになる:
12a^3-3=b^2 が整数a,bに対して成立していたとする.
このとき 両辺を 144倍すれば
(12a)^3 - 432 = (12b)^2 と変形できる
x = 12a, y = 12b とおけば
y^2 = x^3 - 432 ...(☆) を得る
よって さっきの事実から √|x|<5*432 を得る
ゆえに |a| < 388800 を得る
逆に この範囲にある整数aに対して
12a^3-3 が平方数になるか全チェックすることで
a = 1 のみが適することがわかり このとき b=±3
したがって とくに求める自然数解は (a,b)=(1,3) だけである >>165
ありがとう。
ただし、その方法はまだ理解できません。解を出して欲しいんです。
軍事機密のすれに理由があります。
フェルマーの最終定理のn=3の解が見付かります。
ちなみに、ぼくはここ3-6年頑張って一旦諦めたのでここに聞きにきました。
答えてくれたのでまたこの研究にとり励もうと思います。(取り組もう)。 未来から来た僕型翻訳「じゃあ、解は他にあるんですね。前提が証明されていないので」。 >>164
>>165
ちなみに 上記の事実に関してだが
kの範囲を |k|≦10^6 と限定せずに無制限にすると
hall予想という未解決問題になる
具体的には次のようになる :
[hall予想]
次の条件を満たす整数定数cが存在する
[条件]
整数x,y,k が y^2=x^3+k を満たすなら
必ず √|x|<c*|k| が成立している
ちなみにこの手の問題は代数的解法があるのだが
あらゆる意味で計算量が多いことが普通なので手計算でやるものではない
問題が簡単に解ける場合は偶然といってもいい >>168
まじか。ありがとう。すごすぎる。
これであなたも代格者。 >>168
「条件」のところのkは0ではないというのが抜けていた
もうちょっと補足すると以下の問題は"ある意味"で完全に解かれている:
a,b,cを0でない整数定数とするとき, a,b,cだけに依存する計算可能な定数dが存在して
整数x,yに対して a*y^2 = b*x^3 + c ならば 常に max{|x|,|y|}<d が成立する
この結果は例えば bakerという数学者が証明したものの一部だけれども
残念ながら 今のところ証明されているものでは
計算可能といってもa,b,cがかなり小さい場合ですらdが異様な大きさになってしまって 世界の全てのコンピュータを利用しても計算できなくなってしまって実用性皆無
一方で代数的な解法に興味があるなら
本題の場合なら たとえば K=Q(2^(1/3)) として
必要ならばKのQ上のガロア閉包のL=Q(2^(1/3),ω)を用意して
KあるいはLの整数環上で考える
まずさきにやるべきことは
(1) 類数を決定すること
(2) 単数をすべて決定すること
(3) 整基底を決定すること
これらがスタート地点
これらを楽しんでいるうちに
もともとの不定方程式なんてどうでもよくなるかもしれない
不定方程式論に興味があるならp-adicのskolmの方法などを学ぶのがよい >>173
ガロアの顔が嘘つきにみえてる昔から。ピエロに似てるがそれはアメリカらしいものを日本が馬鹿にする理由であって。単にガロアの顔は嘘つきにみえる。因みにあのウィッテンやファインマンも怪しい怪しくなってきました。。
因みにその嘘つきにみえてる人達の本はとてもとても欲しい(借りるか買いたい)し読みたいです。 >>148
4 = (a+2b+3c)^2 = 4(ab+bc+ca) + (a+c)^2 + 2b^2 + 2(b+2c)^2 ≧ 4,
∴ a+2b+3c=2, ab+bc+ca=1, a+c=0, b=0, b+2c=0,
解なし >>165
ありがとう
(432/b+b)/2=a^3
にできますね。理由は今日はつかれたので答えられません。
答えられませんというか唯単にお薬飲んで寝る時間なので。
これにb=?⇒a=!の解は組み合わせは幾つかありますか??。 これもだめになりますね。二次方程式なので。寝ます。 hall予想になります。
ただ、置き換えの技はこれから身に付けていこうとおもいまし。
432/a=b
a=c
とか?...?。 各時刻n=1,2,...において確率pで起こる事象Aがある。各時刻でAが起こるかどうかは他の時刻に依存せず独立にpである。
ある自然数kに対してnを十分大きく取れば、時刻nまでにAが1回以上起こる確率P[n]について
1-P[n]<10^(-k)
とできることを示せ。 >>160
教科書の例
x^2 + y^2≠0 → z = (x^2 - y^2)^2/(x^2 + y^2)^2
x = y = 0 → z = 1 >>181
f : R^n → R
fは偏微分可能で偏導関数は連続である.
⇒
fは微分可能であるから連続でもある. >>179
n > (k/p)log(10)
とすれば
e^{-pn} < 10^{-k},
>>180 より
1 - P[n] = (1-p)^n < (e^{-p})^n = e^{-pn} < 10^{-k}. >>185
ありがとう! 忘れてました。助かりました。 さすがに物理の問題をここに記載すると叩かれるだろうな。 >>184
>シュワルツの不等式は、一般に複素数では成り立たないと思うのですが。
?? というか、なぜシュワルツの不等式?見た感じ(積分の絶対値)≦(絶対値の積分)を指してるように思えるけど
ただ-|f|≦f≦|f|に積分の単調性を適用しただけのものだし、意味としてはシュワルツというより三角不等式じゃないの? あ、ごめん>>190は実関数の話ね
実関数では成り立つものらしいから、画像と合わせれば>>190かな?って >>114
”あなたは、その予想が真偽決定不能という場合もある
ことを忘れています”
「決定不能命題に御用心」
数セミ増刊「数学100の問題」日本評論社 (1984)
p.231 囲み記事
>>179
「ド・メレの問題」
数セミ増刊「数学100の問題」日本評論社 (1984) p.57 >>181,193
偏導関数が原点で連続にはなりません. >>195
f : R^n → R
fは偏微分可能で偏導関数は連続である.(すなわちfはC^1級である.)
⇒
fは微分可能である.
よって,fは連続でもある. >>194
それでぇあ結局命題って何ですか?真偽が決まっているものでも無く真偽が決められるものでも無いのでは命題という概念自体がおかしいのでは >>164
>>165
有理数の問題に拡張したら却って簡単になったようだ
ということで 簡単な解法を紹介しておきます
12a^3-3=b^2 を満たす有理数a,bの組を任意に取る(例えば,a=1,b=3が存在する)
このとき, a=0 でないことに注意する(a=0とすると, b^2 = -3 となり矛盾する)
ここで r = (3+b)/(6a), s = (3-b)/(6a) とおくと
r^3+s^3 =(b^2+3)/(12*a^3) = (12a^3)/(12a^3) = 1
つまり r^3+s^3=1 であることがいえる.
FLTのn=3のときの結果から rs=0 であることが導かれる
これは b=±3 であることを意味する
つまり 有理数a,bに対して 12a^3-3=b^2 が成立しているなら
必ず b^2=9 であることが示された
したがって求める有理数解は(a,b)=(1,±3)に限ることが示された.
以上の方法は 式変形によって FLTのn=3の場合に帰着するという方法です
もっともFLTのn=3の結果を用いているので自己完結した解法ではありません
まあともかくもこの問題に限って言うと有名問題に帰着できるということになりました
一般的にはこのような巧みな式変形を用いたところで別の問題がつくられるだけで
議論は進行しないのですが今回のケースはFLTに"偶然"帰着できたということになりそうです
以上です >>199
でも式変形(置き換え)したら群論の解の有する範囲の値を群でとびますよね。 >>198
難しいですが勉強します
>>200
>答が出てる
え? A,p,qは実数の定数とする。実数xが動くときAcos(x+p)+qの最大値を求めよ。 xが動ける範囲が不明だが、2π以上に亘って動けるなら
|A| + q. 2020年5月号の数学セミナーのp.30に以下の記述がありました。
『以下にベクトル空間の直和による分解の例を二つ挙げます。
(e) n次正方行列全体のなす空間は対称行列 (tA = A)全体と
交代行列全体 (tA = -A)全体の直和。
(f) R上の実関数のなす空間は偶関数 (f(-x) = f(x))全体と
奇関数 (f(-x) = -f(x)) 全体の直和。』
これは正しいでしょうか?
行列全体のなす空間、実関数のなす空間ではない気がするのですが…。 >>205
正しくないと思うなら反例を見つけてみればいい >>207
勘違いしてました。
A = (A + tA)/2 + (A - tA)/2
f(x) = (f(x) + f(-x))/2 + (f(x) - f(-x))/2
なので正しいですね…。 >>181
z = f(x,y) = {cos(2θ)}^2 は y/x =tanθ の関数。
f_x = 8xyy(xx-yy)/(xx+yy)^3 = (2/r)sin(4θ)sinθ,
f_y =-8xxy(xx-yy)/(xx+yy)^3 =-(2/r)sin(4θ)cosθ,
(0,0) に近づく方向によっては発散する。
(0,0) で不連続
z = f(x,y) = {cos(2θ)}^2 は x軸、y軸 上では z=1
(0,0) に近づく方向により別の値に近づく。
(0,0) で不連続。
しかし妙な例だ… A,B,a,b,α,βは実数の定数とする。
実数xが-∞<x<∞を変化するとき、
y=Acos(ax+α)+Bsin(bx+β)
の最大値をA,B,a,b,α,βのうち必要なもので表せ。 そもそもa/bが有理数でないと最大値持たないケースも出るし
愚問 >>213
最大値がある関数(Acos(〜))と最大値がある関数(Bsin(〜))を足したら、最大値が存在しなくなることがある、ということでしょうか?
直観に反する結果でよく分かりません… 実質「恒星の周りを惑星が、惑星の周りを衛生が回ってる。x座標の最大値を求めよ」
a/bが有理数出ない、つまり惑星が一回回る時衛生が有理数回回ってないケースだと軌道の閉包はアニュラスになり、アニュラスの外側の円で軌道に乗る部分は可算無限集合になって全体にはならない
x座標最大の点が軌道に乗ってるとは限らずその場合には解がない
解がなくてもまぁそこまで問題だとは思わないがa/bか有理数で軌道がトロコイドになる時もx座標最大の点は恐ろしい代数方程式になる
おそらく一般解求めるのなんか実質到底不可能やろ
知らんけど >>214
2つの関数が定義域外の同一点で同じ最大値の半分超の値に収束してれば
そうなる なめらかなリーマン多様体に対し、点pが極であるとは点pを通るすべての測地線(=等長にユークリッド空間にはめ込まれてれば二回微分の接成分が0と言い換えられる)が最短曲線(=二点間の距離を実現する曲線がその点自身)である時、点pは極であると言う。
グラフz=x^2+y^2における極が頂点Oに限ることを示せ。
よろしくお願いします A,Bは実数の定数とする。
実数xが-∞<x<∞を変化するとき、
y=Acos(√2(x)+π/6)+Bsin(3x)
の最大値をA,Bで表せ。 >>220
A!=0, B!=0だったら最大値無さそう x = x0において最大
⇔(√2)x0+ π/6 ≡ 3x0 - π/2 ≡ 0 ( mod 2π )
∴ 解なし >>222
yはA+Bは取らないけどA+Bにいくらでも近い値は取るっていう状況だよね
後者をちゃんと証明するのは面倒臭そうだけど感覚的には明か Weylの定理使えば割と楽
主張
a/bが有理数でない実数について
(at+Z, bt+Z) はR/Z×R/Zにおいて稠密
∵) p,q∈(0,1)を任意に取る
b は有理数でないとして良い
t = p/a + n (n∈Z)のとき(at, bt) ≡ (p,bp/a + bn) (mod Z×Z)
であるからWeylの一様分布定理により{bp/a + bn +Z} (n∈Z)の全体はR/Zで稠密だから主張を得る 訂正
∵) p,q∈(0,1)を任意に取る
t = p/a + n/a (n∈Z)のとき(at, bt) ≡ (p,bp/a + bn/a) (mod Z×Z)
であるからWeylの一様分布定理により{bp/a + bn/a +Z} (n∈Z)の全体はR/Zで稠密だから主張を得る 「勘違いは用無しだ。」
幼稚な言葉では何も伝わらない。いい年した大人がそのようなガキみたいな言葉しか
使えなくて残念だな。
何が勘違いなんだ。>知恵遅れ 未解決問題を6問解決した人間が勘違いか。頭おかしいな 今ガキが
「もうでねーからだ。」
といいました。何がでないのでしょうか?しかも意味不明な言葉を聞かせるお前らは誰だ。
チンピラは文句を言うがすぐに逃げていく、女々しい奴らだ。 正しい数学を否定するような言説を振りまくのはもうやめたほうが
いいよ恥さらしはもうたくさんだ n倍積完全数、調和数、Goldbach予想とLemoinie予想の完全に正しい証明がrejectされました。
数学者は私の仕事を全否定する気のようですが、どうすればacceptされるのでしょうか?
インチキはもうたくさんなんですけど? もったいないですね、Goldbach予想は公開していないんですけど、また何の利益にもならないのに
証明を公開しなければならないのでしょうか? これでは私の証明が間違っているかのようにしか、他の人には思われませんね。
こんな名誉棄損が何時まで続けられなければならないのか?
審査不正もいいとろだ! 未解決問題の証明論文は数学?の論文誌に載らず、私はそのうち一部を公開
はたの人間はその正否が分からないから、酷い誹謗を毎日のように受けていて
そのまま永遠に放置ですか? 外から声を聞かせる卑怯者が
「盗んだ〜。」と聞こえてきました。
以前には「盗んだものに評価はない。」とも聞こえてきました。
私の論文は個人的に研究をして書いているものであり、当然他者から盗んだ
ものではありません。
「警察を呼ぶぞ。」と女の声も聞こえてきましたが、どうぞ呼んでください。
こちらは何のやましいこともありませんので、なんの問題もなくそれを
した方が警察から油を搾られるのではないのでしょうか?
前にも書きましたが、未解決問題の証明は私が書いたもの以外に恐らく
ないので、盗みようがありません。もし、その証明があるのであれば
論文誌に掲載され、web上の情報も更新されると考えられます。
根拠のない誹謗を6問の未解決問題の証明を行った私に言うのはやめて
もらいたい。 未解決問題の証明は論文誌にacceptされないようですが、それでは
どの組織がこの証明が正しいということを認定するのでしょうか?
日本数学会ですか
日本応用物理学会ですか
日本学術会議ですか
国際数学者会議ですか
MSPですか 統失ですね。
主張はブログやtwitterでやる人が多いようですが。 幻聴の類は精神疾患ですよ。
精神病院に行った方が良い。 >>241
幻聴ではありません。私は未解決問題を6問解決していて、それが気に入らない
人間や、隠蔽工作を行っている人間の声が聞こえてきているというだけです。
「認めてしまうと俺が辞めなければならないからだ。」
というインチキ暴露も聞こえてきました。しかし、当然「この俺」が誰かは分かりません。
それと最近Air Quotesのサインを出す人間がいますが、それは明らかに私を馬鹿に
しているという証拠です。分かり易い過ぎですね。 ただの荒らしにしかなってないから、ここに書き込むのやめてほしいんだけど >>243
数学に関する分からない問題を書いていますけど ■ このスレッドは過去ログ倉庫に格納されています