トップページ⇒math
1001コメント303KB

◆ わからない問題はここに書いてね 242 ◆

レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん2008/05/05(月) 04:37:53
  ・累乗 x^2=x*x(掛け算で×は使わない) ・対数 log_[3](9)=2(底は3)
  ・積分 ∫[x=1,3] (e^(x+3))dx        ・数列の和  Σ[k=1,n]A(k)
  ・分数 (a+b)/(c+d) (分子a+b、分母c+d) ・ベクトル AB↑ a↑
   _        。
 , '´   ヽ      // ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
 ! i iハル)))〉  /  | 上記のように書いてローマ数字や丸付き数字などを
 i!iiリ゚ ヮ゚ノij /   < 避けて頂けると助かりますわ。
 li/([l个j]P´     | また複数のスレッドで質問する行為はご遠慮下さい。
ノノく_ 〉リ        ー――――――――――――――――――
  ,し'ノ  ※累乗や分数などは誤解されぬよう括弧の多用をお願いします

他の記号(>>2-3にもあります)と過去ログ
http://members.at.infoseek.co.jp/mathmathmath/
前のスレッド
http://science6.2ch.net/test/read.cgi/math/1208602546/l50
よくある質問
http://www.geocities.co.jp/CollegeLife-Club/7442/math/index.html
(その他注意・関連リンクは>>2>>3>>4辺りを参照)
0951132人目の素数さん2008/05/20(火) 04:30:58
>>950
βは固定です。

それだと
θ=π/2-βのとき
最小値はT=Mgcosβ/2

という答えで良いのですかね?
0952132人目の素数さん2008/05/20(火) 04:37:54
十五日。
0953132人目の素数さん2008/05/20(火) 06:35:56
シュワルツ不等式にて
(a1b1...+anbn)^2≦(a1^2...+an^2)(b1^2+...+bn^2)
を証明せよ

右辺ー左辺≧0で解きたいのですが解りません。
教えてください、どうかよろしくお願いします
0954132人目の素数さん2008/05/20(火) 07:35:45
>>953
>> 右辺ー左辺≧0で解きたいのですが解りません。

シュワルツ不等式の証明には以下のお決まりの方法があるんだけどw
a=(a1,…,an)、b=(b1,…,bn)で定義して積*をその内積とすれば
変数λに対して

(λa-b)*(λa-b)=(λa-b)^2≧0
a*aλ^2-2a*bλ+b*b≧0

であるためにはλが実根を持たないか持っても重根で
なければならない。判定式は

(a*b)^2-a*a b*b≦0 つまり
(a*b)^2≦a*a b*b

等号はλa=b の時、つまりa、bが平行の時に限る。


0955132人目の素数さん2008/05/20(火) 09:24:17
>>953
右辺=Σ[p,q=1→n](ap)^2(bq)^2
左辺=Σ[p=1→n](ap)^2(bp)^2+2Σ[p,q=1→n;p≠q](ap)(bp)(aq)(bq)

右辺の項をp=qとp≠qに分類して、
p=qの項は左辺の(ap)^2(bp)^2との差
p≠qの項は左辺の2(ap)(bp)(aq)(bq)との差
を考える
09569552008/05/20(火) 09:32:43
ちょっと表現が不正確だった

右辺=Σ[p,q=1→n](ap)^2(bq)^2
=Σ[p,q=1→n;p=q](ap)^2(bq)^2+Σ[p,q=1→n;p<q](ap)^2(bq)^2+Σ[p,q=1→n;p>q](ap)^2(bq)^2
=Σ[p,q=1→n;p=q](ap)^2(bq)^2+Σ[p,q=1→n;p<q](ap)^2(bq)^2+Σ[p,q=1→n;p<q](aq)^2(bp)^2
 (最後のΣのpとqを入れ替えた)
=Σ[p,q=1→n;p=q](ap)^2(bq)^2+Σ[p,q=1→n;p<q]((ap)^2(bq)^2+(aq)^2(bp)^2)

左辺=Σ[p=1→n](ap)^2(bp)^2+2Σ[p,q=1→n;p<q](ap)(bp)(aq)(bq)

こう整理してから引き算すればOK
0957132人目の素数さん2008/05/20(火) 09:54:35
Σ(ai)^2 * Σ(bi)^2 - (Σ(ai*bi))^2
= Σ[i,j] (ai)^2*(bj)^2 - Σ[i,j]ai*bi*aj*bj
= Σ[i≠j] (ai)^2*(bj)^2 - Σ[i≠j]ai*bi*aj*bj
= Σ[i<j] {(ai)^2*(bj)^2+(aj)^2*(bi)^2} - 2Σ[i<j]ai*bi*aj*bj
= Σ[i<j] (ai*bj-aj*bi)^2
0958カメ2008/05/20(火) 09:55:56
1/X+1/Y=1/2を満たす整数解を求める

途中の式はどう書けばいいのですか??
0959132人目の素数さん2008/05/20(火) 10:02:48
(X-2)(Y-2)=4
0960カメ2008/05/20(火) 10:19:03
ごめんなさい
どういうことですか??
0961132人目の素数さん2008/05/20(火) 10:22:38
2x+2y=xy
xy-2x-2y=0
xy-2x-2y+4=4
(x-2)(y-2)=4
0962カメ2008/05/20(火) 10:30:11
理解しました
ありがとうございます!
0963132人目の素数さん2008/05/20(火) 11:01:51
ε論法を最近学び始めました。よろしくお願いします。

アルキメデスの公理(任意の実数h,M>0に対して、M<nhとなる自然数nが存在する)は、
lim[n→∞]1/n=0と同値であることを示せというものなのですが、手も足も出ません。

よろしくお願いします。
0964132人目の素数さん2008/05/20(火) 11:18:54
まず

lim[n→∞]1/n=0

の意味というか定義をε-δ論法で書いてみようか。
0965132人目の素数さん2008/05/20(火) 11:26:26
>>964
0966132人目の素数さん2008/05/20(火) 11:27:46
重積分の問題なんですけど…
D={(x,y):y≧x, x≧0, y≦2}に対して、二重積分
I=∬[D] (y^2)(e^y^-4)dxdy を考える

�@累次積分で表せ
�AIの値を求めよ

�@は∫[0→2]dy∫[0→y](y^2)(e^y^-4)dx
と自分なりに累次積分にしてみたんですが(あってますか?)ココからがIを求めようと
∫[0→2]dy∫[0→y](y^2)(e^y^-4)dx
=∫[0→2](y^3)(e^y^-4)dy

となりこの積分が自力で解けず、詰まってしまい求められなくなっています。
極座標変換みたいに(x,y)を何らかで変数変換すればいいんでしょうか?

ご指導お願いいたします。
0967132人目の素数さん2008/05/20(火) 11:28:12
>>964
すみません、>>965はミスです。

∀ε>0に対し、
n>N⇒|1/n|<ε
となる自然数Nが存在する。

であってますか?
0968人工知能2008/05/20(火) 11:29:49
グラフ理論についての質問です。
n次元の立体(ポリゴン状のもの)をつぶしたものがグラフであると定義したとき、
グラフの辺に元の長さの情報があれば、(完全に可能かは別として)n次元の立体を再構築できますよね?
言い換えるなら、グラフ+重み、として近似できる物理的ネットワークはn次元の立体と等価かで
あるように解釈できるはずです。

こんなふうにしてインターネットや脳を解釈したりすることはできませんか?
そういう理論は無いのでしょうか?
0969132人目の素数さん2008/05/20(火) 11:36:34
>>967の記述法だと、

自然数Nがすべてのεに対して存在する

のか、

すべてのεに対して自然数Nが存在する

のかが曖昧。まず上の二つの意味が違うということを理解することが
εーδ論法(この場合はε-N論法だけど)では大事になる。

で、今の場合はどっちかなんだけど、この条件がアルキメデスの公理と
同値な条件であることを示せばいいんでないかい
0970132人目の素数さん2008/05/20(火) 11:37:33
>>968
ニューラルネットワークとかの話?
情報系の先生に聞いた方が委員でないの。
0971132人目の素数さん2008/05/20(火) 11:40:24
>>969
すみません、僕には、
『自然数Nがすべてのεに対して存在する』 も、
『すべてのεに対して自然数Nが存在する』も、同じ意味のように感じられるのですが・・・。
すみません。
0972132人目の素数さん2008/05/20(火) 12:01:38
>>966
t=y^4
0973132人目の素数さん2008/05/20(火) 12:02:54
>>971
日本語が似てるが全然違う。
ご飯を食べてから、宿題をする
と
宿題をしてから、ご飯を食べる
くらい違う
0974132人目の素数さん2008/05/20(火) 12:09:47
>>973
感動した。今度その喩え使わせてもらうよ。
0975132人目の素数さん2008/05/20(火) 12:34:13
>>954>>956-957
詳しい説明ありがとうございました。
よく読み直して再考いたします。
0976132人目の素数さん2008/05/20(火) 13:12:05
「x^n+ax+bは(x-1)^2で割り切ることができる。このとき、a,bを求めよ。ただしnは2以上の自然数とする」

n=2を代入してa=-2,b=1

これであってますか?
0977132人目の素数さん2008/05/20(火) 13:25:25
(x^2-2x+1)(x+2)=x^3-3x+2
n=3を代入すると、a=-3,b=2になりましたね。
さて、n=4のときは?5のときは?どうする?
0978132人目の素数さん2008/05/20(火) 14:08:42
>>971
εδでつまずくのは、まずここだからなぁ。

すべてのεに対して、(それに対応した)Nが決まって、
n>N ならば …

と

あるNが存在して、すべてのεに対して(つまり、どんなεに対しても)
n>N ならば …

というように、意味が変わる。
上の方は、εを変えると、それに応じてNを変えてよい。
下の方は、どんなεに対しても、同じNでなければならない。


今の場合はどっちだろうか。


ここわからないと、一様収束を理解できない。
09799552008/05/20(火) 14:24:59
>>976
そもそも問題を誤解している。
自然数nが与えられた時に、それに応じたa,bを求めよ。
つまりa,bをnの式で表せ。という問題だ。
0980132人目の素数さん2008/05/20(火) 14:25:20
うわ、名前欄にゴミが残ってた
0981132人目の素数さん2008/05/20(火) 15:50:41
幅が一定な帯状の紙をきっちりと結んだとき、結び目が正五角形になることを証明せよ。

実際にやってみたところ正五角形らしきものができましたが、証明の仕方がさっぱりです。
よろしくお願いします。
0982132人目の素数さん2008/05/20(火) 16:43:13
>>978
僕は上の、あるεに対して、あるNが存在して・・・というのしか聞いたことがありません。

すみません。
もう少しヒントをもらえませんか?
0983132人目の素数さん2008/05/20(火) 16:46:25
黙れもっと自分で考えろ!
ヒントも何も、俺らがヒント(982が何を言おうとしてるのか不明)を与えてほしいんだっつーのw
0984132人目の素数さん2008/05/20(火) 16:57:53
>>983
考えても全くわからなくて、手も足も出ないので質問させていただきました。
僕が今悩んでる問題は、アルキメデスの公理(任意の実数h,M>0に対して、M<nhとなる自然数nが存在する)は、
lim[n→∞]1/n=0と同値であることを示せというものなのですが、それの前段階として、
きちんと僕は意味・定義を理解できていないようなのですが、僕はどうしたらいいんでしょうか。
0985132人目の素数さん2008/05/20(火) 17:15:45
そこが運命の分かれ道で、わかるまで足掻くか、わからないままでやり過ごすか。
今理解できなければ一生理解できないと思っていいだろう。

図書館に行ってε-δについて解説している本を探してもいいし、最近じゃネットにも
ゴロゴロころがっているけど、一番いいのは先生を捕まえて理解するまで質問する
ってことだな。安くない金払ってんだから。
0986132人目の素数さん2008/05/20(火) 17:27:13
記号で書くと
1/n→0ってのは
∀ε、∃N st  ∀n>N→|1/n|<ε
(めんどくさいから、ε>0とか細かいのは略)
|1/n|=1/nで、1/n<εってのは1<εn

アルキメデスの公理は
∀ε、a ∃N st ∀n>N→ε*n>a
1/nの極限ってのは
a=1の場合ですね

どうみても同じだろ?何がわからん
0987132人目の素数さん2008/05/20(火) 22:54:55
>>985>>986
なんだかわかったような気がします。ありがとうございました。
0988132人目の素数さん2008/05/21(水) 11:49:50
集合X上の実数値関数からなる集合をF={f_λ}_λ∈Λとする。
Xに、Fに属するすべての関数が連続になるような、一番弱い位相O_ω(F)がただ一つ入る。
その基本近傍系を記述せよ。

問題文の意味からして分かりません。
近傍系ってのは点に対応するものだと思うんですけど、点なんて与えられてないし……
09891stVirtue ◆.NHnubyYck 2008/05/21(水) 12:12:11
Reply:>>988 実数空間の開基として、開区間全体の集合がある。
09901stVirtue ◆.NHnubyYck 2008/05/21(水) 12:12:51
Reply:>>988 各点の基本近傍系を記述するか。
0991132人目の素数さん2008/05/21(水) 12:32:28
69×61の長方形を9個の正方形に分けなさい
0992132人目の素数さん2008/05/21(水) 12:40:32
>>991
61*61
1*1
0993132人目の素数さん2008/05/21(水) 13:37:24
>>988
教科書嫁
とりあえず、近傍系とは何か?位相とは何か?答えてみ。
0994132人目の素数さん2008/05/21(水) 13:42:39
>>988
例えば点a∈Xにたいして
実数値関数として
f(x)=1(x=a),O(それ以外)
を考える
これが連続であるためには
一点集合{a}がXの開集合でなくてはならない
つまり一番弱い位相というのは
すべての点が開集合となる離散位相のこと
0995132人目の素数さん2008/05/21(水) 13:56:04
どうして
Reply:>>とつけるのですか?
普通に
>>1
とかでいいじゃん。

俺は他人と違う!
他人と違うかきかたをしないと気がすまない人なのですか?
0996132人目の素数さん2008/05/21(水) 13:56:55
新参者か・・・
0997132人目の素数さん2008/05/21(水) 14:05:01
Reply:>>254 則■が登場
0998132人目の素数さん2008/05/21(水) 14:05:26
>>996
自演乙
0999132人目の素数さん2008/05/21(水) 14:12:58
>>990
死ねよ、雑魚
1000132人目の素数さん2008/05/21(水) 14:37:53
十六日十時間。
10011001Over 1000Thread
このスレッドは1000を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。