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

分からない問題はここに書いてね352

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2011/04/24(日) 21:57:54.50
さあ、今日も1日頑張ろう★☆

前スレ
分からない問題はここに書いてね351
http://kamome.2ch.net/test/read.cgi/math/1298932294/
0094132人目の素数さん2011/04/28(木) 00:43:36.90
>>93
厳密どころか、高校レベル中学レベルまで甘く見てもバツつけるわこれ。
OKなところ探すほうが大変だ。説明法とかいう独自用語まで開発してるし。

これは誰も相手にしなかった理由がぱっと見ただけでもわかるな…
0095132人目の素数さん2011/04/28(木) 00:46:09.86
一例を挙げれば
丸1の証明らしき記述の2行目から3行目へ至る等号は自明なのか?
0096研太郎2011/04/28(木) 00:48:46.19
やはり間違っていましたか、ありがとうございます。
もう一度やり直して再びやってまいりたいと思います。
0097132人目の素数さん2011/04/28(木) 00:57:08.82
>>85

 A = I + J, 
ここに I:単位行列, J^2 = O,
nについての帰納法によって
 A^n = I + nJ,

 exp(A) = Σ[n=0,∞) (1/n!)A^n
  = Σ[n=0,∞) (1/n!)(I + nJ)
  = {Σ[n=0,∞) (1/n!)}I + {Σ[n=1,∞) (n/n!)}J
  = e I + {Σ[n=1,∞) 1/(n-1)! }J
  = e(I+J)
  = e・A,
0098研太郎2011/04/28(木) 00:57:39.12
説明法というのは

その集合について条件を記す方法を「説明法」
その元を列記する方法である方法を「列記法」

例
10以下の自然数

説明法M=(x|x⊂N,x≦10)
列記法M=(1,2,3,・・・,10)

これであっているはずと認識です。
0099132人目の素数さん2011/04/28(木) 01:08:28.48
一般的な用語を使えばいいのに
0100132人目の素数さん2011/04/28(木) 01:18:32.27
>>84
a≠0 とする。

 a(-1/x^2)x ' = b,
tで積分して
 a/x(t) - a/x(0) = bt,

 x(t) = x(0)/{1 +(b/a)・x(0)t},
0101132人目の素数さん2011/04/28(木) 01:55:08.71
>>98
あってるも何も、そんな変な用語は無い。
0102研太郎2011/04/28(木) 01:55:25.19
しつこくて済まん。

列記法、説明法ってあんまり使わない言葉っすか?
0103132人目の素数さん2011/04/28(木) 01:57:19.52
>>102
とりあえずググって見たが、「列記法」はそれらしきものがひとつしか、「説明法」はまったくでてこなかった
0104132人目の素数さん2011/04/28(木) 02:00:40.92
なんというか、話にならん。
0105132人目の素数さん2011/04/28(木) 02:12:27.57
内包と外延だボゲェがぁぁぁ
0106研太郎2011/04/28(木) 03:19:01.00
説明法は一般的ではないんですね、申し訳ない。

さて、前回の証明ですがやり方を変えました。オーソドックスにいたしました
http://www.hamatyuu.no-ip.com/up_loader/img/up1971.png
ここで助言がほしいのですが、2行目と3行目の変換について、なにか一言付け加えたいのでsぐあ、どう言えばいいでしょうか?
明らか以外にことばが出てきません。

ま、明らかしかないんですがね。
なんかあればおねがいします。
0107132人目の素数さん2011/04/28(木) 03:56:35.89
S[n](n∈N)を可算集合とすると、彈n=1,∞]S[n]も可算集合であることの証明は、どうすればいいですか?
0108132人目の素数さん2011/04/28(木) 06:20:42.46
>>107
http://t1.gstatic.com/images?q=tbn:ANd9GcTTO4sJKNzA2h7WEUkgQ1xXVud8D0Pqgt7wQe9ufuW0vHE6GCaH
0109132人目の素数さん2011/04/28(木) 06:27:16.54
可算集合からの全射を作ればいいんだよ
N×Nからの全射が簡単に作れるでしょ
0110132人目の素数さん2011/04/28(木) 08:09:51.73
>>107
まず選択公理を使います。
0111132人目の素数さん2011/04/28(木) 11:59:11.32
N=89人

携帯∩テレビ 15人
テレビ∩新聞 13人
携帯∩新聞 17人

携帯∪テレビ 73人
テレビ∪新聞 69人
携帯∪新聞 71人

全員が携帯・テレビ・新聞のうち少なくとも一つは利用している。

この時3つ全て利用している人数を教えて下さい
0112132人目の素数さん2011/04/28(木) 12:28:20.93
>>107
S[n](n∈N) は、N=1の時、可算、
N=2の時、目的の集合は可算で、その証明は、ゴニョゴニョ
…
Nの時 目的の集合は可算と仮定すると…
0113132人目の素数さん2011/04/28(木) 12:30:22.40
>>107
有理数全体に埋め込めるので、有理数全体は可算より、所望の集合も可算
0114132人目の素数さん2011/04/28(木) 12:35:37.96
S[1] を 素数を並べた集合と同一視する
S[2] を S[1]の元を2乗した元全体とする。
S[n+1] を S[n]の元を2乗した元全体とする。
∪[n=1,∞]S[n] は、自然数の部分集合、よって可算
0115132人目の素数さん2011/04/28(木) 12:48:57.21
>>112
それはアウト
0116132人目の素数さん2011/04/28(木) 12:54:45.62
>115
エッ 驚く [ 絵文字 ]

0117132人目の素数さん2011/04/28(木) 12:58:59.74
>>111
大体伝わるけど、記号は正しく使いましょう。

とりあえずベン図を書いて、求める数をxとかおいて、人数を書き込んでけばなんとかなる。
0118132人目の素数さん2011/04/28(木) 13:18:36.43
ハイ!トイレで便図を書いてきますっ!
0119清少納言 ◆aO0sj9AI78fF 2011/04/28(木) 14:31:24.46
S(1)[1] S(2)[1] S(1)[2] S(3)[1] S(2)[2] S(1)[3] S(4)[1] S(3)[2] S(2)[3] S(1)[4] ...
といううふうに並べて数え上げてね?
0120132人目の素数さん2011/04/28(木) 16:43:27.79
掛け算は何故入れ替えても答えがおなじになるのでしょうか?
2×3は面積をイメージすれば入れ替えても同じだと思いました。
2×3×4は立体をイメージしました。
しかし2×3×4×5はイメージできません。
どうして入れ替えても同じなのでしょうか?
0121132人目の素数さん2011/04/28(木) 16:51:32.43
>>120
立体×数量でどう?
0122132人目の素数さん2011/04/28(木) 16:52:16.87
2×3×4の立体が5個あるんじゃね
0123132人目の素数さん2011/04/28(木) 17:03:59.86
>>121,122
レスありがとうございます。
2*3の面積と2*3の面積は回転させれば合同になるので等しい事が分かり
2*3*4の立体と3*4*2の立体も回転させれば合同になるので等しい事が分かったのですが
2*3*4の立体5個と3*4*5の立体2個は、等しい事がわかりませんでした。

今考えていたのはこうです。
a*b = b*aが成り立つとする。…�@
�@より2*3 = 3*2・・・�A。

2*3 = xと置くと 2*3*4 = x*4 なので �@より x*4 = 4*x。
�Aより展開すると:2*3*4 = 3*2*4 = 4*2*3 = 4*3*2・・・�B

2*3*4 = yと置くと 2*3*4*5 = y*5なので �@より y*5 = 5*y。
�Bより展開すると:2*3*4*5 = 3*2*4*5 = 4*2*3*5 = 4*3*2*5 = 5*2*3*4 = 5*3*2*4 = 5*4*2*3 = 5*4*3*2

この考えで色々な入れ替えが入れ替え前と同じだということが証明できたと思いました。
しかしこの方法だと 2*5*3*4が同じになることが証明できていない。と思いました。
0124132人目の素数さん2011/04/28(木) 17:11:28.16
あ、�@が成り立つなら5*2*3*4の5*2に着目して 5*2 = 2*5だから
5*2*3*4 = 2*5*3*4になりますね。
でもなんだか。うーん、なんだかモヤモヤが晴れない。
0125132人目の素数さん2011/04/28(木) 17:16:43.36
立体より上のイメージで等しいことを実感するのは難しいんじゃね
0126132人目の素数さん2011/04/28(木) 17:21:36.67
大体、体積とか面積でイメージしたがるのはアホなだけだな
0127132人目の素数さん2011/04/28(木) 17:23:21.00
4次元空間における2*3*4*5と2*5*3*4の立体を思い浮かべれば二つは合同だということが一目でわかるよ
0128132人目の素数さん2011/04/28(木) 19:08:21.41
>>123
証明出来てねえぞバカ
0129132人目の素数さん2011/04/28(木) 20:38:18.24
>>128
どの辺りがですか?
0130132人目の素数さん2011/04/28(木) 21:10:29.35
>>129
別にお前が仮定しなくても交換律は成り立つんだよ
0131132人目の素数さん2011/04/28(木) 21:14:15.28
すいません角度の問題です。解答おしえてもらえませんか?
それとも、これは答えはないですか?
ttp://uproda.2ch-library.com/3687027tK/lib368702.jpg

0132132人目の素数さん2011/04/28(木) 21:14:53.80
分度器でも使えばいい
0133132人目の素数さん2011/04/28(木) 21:15:01.13
>>130
何故成り立つのでしょうか?
0134132人目の素数さん2011/04/28(木) 21:20:34.21
お前には分からない
0135132人目の素数さん2011/04/28(木) 21:20:34.48
>>133
数の掛け算は、交換律と結合律が成り立つような演算として定義されているからだろ
01361312011/04/28(木) 21:21:40.23
はっ!
確かに分度器つかえば解決!!

あざーす!
0137132人目の素数さん2011/04/28(木) 21:46:12.21
>>135
掛け算が順番を入れ替えても結果が同じになるのは掛け算が順番を入れ替えても結果が同じになるように定義されているからというのはトートロジーじゃないですか?
どうして掛け算は順番を入れ替えても成り立つのでしょうか。
0138132人目の素数さん2011/04/28(木) 21:50:22.62
>>137
自然数で定義された積(ただの足し算なのだが)からの流れだろ。
0139132人目の素数さん2011/04/28(木) 21:50:23.15
例えばaiueoという関数があってこの関数にある引数を与えるとある値が帰ってきたとします。
何故この関数にその引数を渡すとその値が返ってくるのですか?という質問に対し
その関数はその引数を渡すとその値が返ってくるように定義されているからです。というのではなく、
この関数の内側では、こうこうこういう演算をし、次にこうこうこういう演算をし、結果としてその値が返るわけです。
というような話を「なぜ掛け算は順番を入れ替えても成り立つのですか?」に対して行うことは出来ないのでしょうか。
0140132人目の素数さん2011/04/28(木) 21:56:33.19
>>139
その関数は誰かが定義していないと使えないだろ
0141132人目の素数さん2011/04/28(木) 21:58:52.71
>>138
流れとはどういう事でしょうか?
足し算は順番を入れ替えても成り立つ。
その流れから行って掛け算でも順番を入れ替えても成り立つ。という事ですか。
足し算は順番を入れ替えても成り立つのは分かります。
(証明出来るわけではなくて、直感的にですが。5+4+3+2と3+2+5+4は数える順番を入れ替えただけだから同じになる。
 ただこれと同じ論法で5*4*3*2と3*2*5*4は掛ける順番を入れ替えただけだから同じになる、と言う自信はありません。理由がほしいです。)
0142132人目の素数さん2011/04/28(木) 22:12:14.80
>>140
そうですね。誰かが定義していないと使えません。

「何故この関数にその引数を渡すとその値が返ってくるのですか?」
「その関数はその引数を渡すとその値が返ってくるように定義されているからです。」
(その内側ではある演算をしてある演算をしている。だからその引数を渡すとその値が返る。)

「何故掛け算は順番を入れ替えても答えが同じになるのですか?」
「掛け算は順番を入れ替えても答えが同じになるように定義されているからです。」
(その内側では〜。だから順番を入れ替えても同じ値が返る。)
  ↑↑
ここの部分です。

|n と m が自然数であるとき、n を m 個加えるたものと m を n 個加えたものは同じ数である。すなわち
| * 交換法則: n × m = m × n

2数である場合は納得出来るのですが、3数以上の場合はどう考えれば良いのでしょうか。
0143132人目の素数さん2011/04/28(木) 22:14:29.53
>>141
自然数での積の定義を考えたことないの?
0144132人目の素数さん2011/04/28(木) 22:17:04.75
>>143
3+3+3+3を3*4と言うですよね。(これをこの場所で考えたことがあると言って良いレベルかどうか分かりませんが)
0145132人目の素数さん2011/04/28(木) 22:23:51.64
a*bと言うかけ算は、実は、g( f(a) + f(b) ) という、ある作用と和の組み合わせで、定義できる。
だから、
a*b*c*d = g( f(a)+f(b)+f(c)+f(d) ) = g( f(d)+f(c)+f(b)+f(a) ) = d*c*b*a
と、和の順番は入れ替えが自由であるのと同様な理由で、積の順番も入れ替えが自由。
0146132人目の素数さん2011/04/28(木) 22:30:31.47
>>145
おお、レスありがとうございます。面白いです。こういう考え方が出来るんですね。
f関数とg関数がどういう作用を持った関数なのか気になります。難しいでしょうか?
0147132人目の素数さん2011/04/28(木) 22:42:05.45
>>141
流れ、とは自然数から始まって、整数、有理数、実数、複素数という数の定義(発見)の流れ。
複素数の先には積が可換な体はないことが分かったのもそう古い話ではないね。
0148132人目の素数さん2011/04/28(木) 22:51:37.84
>>147
掛け算は順番を入れ替えても成り立つ理由は
自然数から始まって、整数、有理数、実数、複素数という数の定義(発見)の流れなのですか・・?
もうすこしお願いできないでしょうか。

>複素数の先には積が可換な体はない。
成り立たない場合もあるのですね。
0149132人目の素数さん2011/04/28(木) 22:54:08.12
単位を入れると自然数の積も可換ではない、というのが小学校教師の頑張り所。
児童の親とぶつかるのが恒例行事。
0150132人目の素数さん2011/04/28(木) 23:07:35.03
単位を入れても可換だよ
そもそも乗数と被乗数の区別がつくか怪しいもんだ
ひどい場合は乗数と被乗数を丁寧に点検すると
出題者が逆噴射しているって場合がある
0151132人目の素数さん2011/04/28(木) 23:15:40.12
結合律は解るのかね
0152132人目の素数さん2011/04/28(木) 23:19:46.61
(a*b)*c = a*(b*c)ですよね。
どこから計算しても同じになるという。
これも何で成り立っているのか分かりません。
確かに計算すると(3*4)*5も3*(4*5)も同じ結果にはなりますが。
0153132人目の素数さん2011/04/28(木) 23:42:27.57
行列A = (2 1 1 ) の固有値を求めたらλ=3(三重解)になりました。
      (0 3 0 )
      (-1 1 4)

この行列の独立な固有ベクトルとしてp1=(1 0 1) 及びp2=(1 1 0)をとりました。

更に行列Aをジョルダン標準形にするために p3=(0 1 0)をとって、変換行列 P = (p1 p2 p3)とその逆行列によって
行列Aを変換したのですが、ジョルダン標準形になりませんでした。

ところが試しにp2 = (0 1 -1)としてみたところ、ジョルダン標準形に変換できました。

p2=(1 1 0) とすることと p2 = (0 1 -1) とすることの差はなんなのでしょうか。
どちらも独立な固有ベクトルのように思うのですが・・・

0154132人目の素数さん2011/04/29(金) 00:54:26.73
>>150
皿個≠個皿 をわすれちゃだめ、というのが肝。
0155132人目の素数さん2011/04/29(金) 00:56:37.73
どうして無限を扱うとパラドックスが生じるのでしょうか?
誰か原理を教えてください。
0156132人目の素数さん2011/04/29(金) 01:12:15.44
3^n+ 3^n-2+・・・+3^0は纏められますか?
0157132人目の素数さん2011/04/29(金) 01:12:28.89
また無限哲学さんか
0158132人目の素数さん2011/04/29(金) 01:46:26.96
>>146
fとして、log(x)、gとして、exp(x)の組み合わせがその一例です。

>>152 
>>(a*b)*c = a*(b*c)ですよね。
>>どこから計算しても同じになるという。
>>これも何で成り立っているのか分かりません。
このような視点をもつことはとても素晴らしい。
普通扱っている数では、成立しているが、それが成立しない数もある。
他に、a*b≠b*aであるような数とかも。
つまり、通常扱っている数字は、最初から(a*b)*c = a*(b*c)を満たすような数字であって
「なぜ(a*b)*c = a*(b*c)が成立するか」は問われるべきものではない。
このような性質を持つ数を持ってきて、いろいろと他の性質とかを調べていると考えるべき。

従って、当然他方で、(a*b)*c = a*(b*c)が成立しない数字を研究する分野もある。
0159132人目の素数さん2011/04/29(金) 01:57:07.24
>>153
やってみたけどp2=(0 1 -1)でも変わらないっぽいが。
ちなみに、元のp2でもP=(p2 p1 p3)とすればできる。
(A-3I)p3=p1だから、p1 p3の順で並べなければならない。
0160132人目の素数さん2011/04/29(金) 02:10:45.23
>>159
並べる順番がおかしかったみたいですね。
ありがとうございます。
0161132人目の素数さん2011/04/29(金) 02:26:34.95
>>156
nが偶数で、3^n-2とやらが3^(n-2)のことを表してるのだとしたら、まとめられる。
等比数列の和の公式。知らなきゃググるか自分で考えろ。
0162132人目の素数さん2011/04/29(金) 02:52:09.93
3 0 1
0 3 0
0 0 3
これを見てジョルダン標準形だと早とちりしただけだわな
これジョルダン標準形ちゃうからね
0163132人目の素数さん2011/04/29(金) 03:22:22.58
>>161
釣りにマジレスカッコいい
0164132人目の素数さん2011/04/29(金) 03:42:40.80
誰か>>155の質問に答えてください。お願いします。
0165132人目の素数さん2011/04/29(金) 03:48:02.71
いやです
0166132人目の素数さん2011/04/29(金) 08:53:17.66
バカに説明しても徒労に終わるのが目に見えてるからな
0167132人目の素数さん2011/04/29(金) 09:12:30.03
>>155
有限の世界の原理が無限の世界でも通用すると無邪気に捉えているから
0168132人目の素数さん2011/04/29(金) 09:57:25.18
行列A=[[2,1][1,1]]の固有値λ1,λ2とそれらに対応する固有ベクトルu1,u2を求めよ。

固有方程式が(λ^2)-(3*λ)+1=0
λ=(3±√5)/2
λ1を(3+√5)/2とすると、
固有ベクトルがa*(1,(-1+√5)/2)となり、
正規化すると(1/√((5-√5)/2))*(1,(-1+√5)/2)

で合っているのでしょうか?
よろしくお願いします。
0169132人目の素数さん2011/04/29(金) 10:00:16.76
>>155
有限の世界の原理が無限の世界でも通用すると悪質極まりない悪意に捉えているから
0170132人目の素数さん2011/04/29(金) 10:02:10.81
>>168
教科書嫁
0171132人目の素数さん2011/04/29(金) 10:07:52.50
数列 a[n]=cos(n) (n=1,2...)の上極限を求めよという問題がわかりません。

この数列は[-1,1]上のどの点にも集積している気がするので上極限を1とみて、
「任意のε>0に対して、無限個のnについて、a[n]>1-ε」を示そうとしました。
しかし、cos(n)>1-εをnについて解く方法がわからなくて、ここで詰まってしまいました。

この問題の解答のご教授よろしくお願いします。
0172清少納言 ◆aO0sj9AI78fF 2011/04/29(金) 10:16:46.46
3.141592653...
有名なπの値ね。
この10進展開の中に0123456789が現れることがあるということが
わかったのはごく最近のことよ。
実はこれ、無限回現れることはほぼ確実だと思うのだけど
誰か証明してみる?
恐らくeの値の小数点以下10000桁
7181828....
の数字も無限回現れると思うわ。
それどころか、πに関して
|π-有理数/10^k|<1/10^(2k)となる有理数とkも無限にありそうだし
あと、Mod(x)という関数を
xの小数部分(x>=0),1-Mod(-x) (x<0)と定義する時、αを無理数とすると
集合{Mod( nα)|nは整数}は1を含まないが、その閉包には1が含まれるの
うまく部分列を選んで考えてね
0173132人目の素数さん2011/04/29(金) 11:29:32.16
そうかのう?
どこかを最後にもう二度とその数字列が出ないということは本当にあり得ないのか?
0174132人目の素数さん2011/04/29(金) 11:38:27.60
「任意の無理数の10進展開列には任意に与えた10進有限数列が現れる」は偽だろうな。
「10進展開したとき、9が現れない無理数が存在する」は?
0175132人目の素数さん2011/04/29(金) 11:49:18.93
0.246810121416182022242628・・・は無理数
0176132人目の素数さん2011/04/29(金) 11:50:19.92
清少納言さんは極端に楽観的に考える人だったのかな?
紫式部さんのほうがそれっぽいんだけど...
0177132人目の素数さん2011/04/29(金) 14:56:17.00
>>174
0.101001000100001…
0178132人目の素数さん2011/04/29(金) 15:19:13.85
同工異曲になるのは仕方がないね。
0179132人目の素数さん2011/04/29(金) 15:21:51.53
次のデータから、弧の長さと中心の角度を求められるか、検算してくだしあ。
三角関数やピタゴラスの定義の使用は可能です。また円周率=3.14で計算。

一メモリ1cmのグラフで、A点の座標(100、100) からB点の座標 (100、200)の弧。
弧の半径は、300cm。
0180132人目の素数さん2011/04/29(金) 15:41:02.07
何がくだしあだぶっころすぞこのやろう_
0181132人目の素数さん2011/04/29(金) 15:48:36.88
>>179自己レス

AからBのAB線の長さが、100cm
300cm×cos?=100cm/2
(100cm/2)/300cm=cos? cos80.40593→80.4°
180°−80.4°×2=19.2° 中心の角 19.2°

300×2×19.2×3.14/360=100.48cm


中心の角 19.2° 弧の長さ 100.5cm
(計算途中で小数点二位以下四捨五入)

で、いいの?
0182132人目の素数さん2011/04/29(金) 15:51:09.30
ずいぶん沸点低いヤツがいるなあ。
まあ、ここは『分からない問題はここに書いてね352』スレなんで、
分からない問題を書くのは勝手だが、誰かが答えるかどうかは
気分次第だww
0183132人目の素数さん2011/04/29(金) 16:37:29.39
複素数jの2分の1乗と(1-j)の3分の2乗の計算がわからない。

誰か教えてください。
0184132人目の素数さん2011/04/29(金) 17:29:26.73
全体438000のうちの2800000は全体の何パーセントですか?
0185132人目の素数さん2011/04/29(金) 17:30:11.01
間違えたw
全体438000のうちの280000は全体の何パーセントですか?
01867し2011/04/29(金) 18:28:20.20
10進展開したとき、9しか現れない無理数は存在しない。(ウケないかな〜)
0187132人目の素数さん2011/04/29(金) 18:33:57.01
A〜Fの各装置の30年以内の巨大故障率が、表1のとおりと予想される場合、
 C,D,E,Fが次のように直列接続からなる一つのシステムにおける巨大故障率
 (30年以内に巨大故障が発生する確率)は?
   −F−E−C−D−
  表1 30年以内の巨大故障率
A 99%
B 90%
C 87%
D 70%
E 60%
F 50%

 計算できたら、
 http://www.jjjnet.com/jishin_kakuritsu.html
 をごらんください。
0188132人目の素数さん2011/04/29(金) 20:08:37.63
0<(?)<0

(?)に何か数字入れられるの?
0189132人目の素数さん2011/04/29(金) 20:59:25.03
哲学屋が会話相手に飢えているようにしか感じない…
0190132人目の素数さん2011/04/29(金) 22:17:48.46
≫166
うるせぇよバカ。
さっさと死ねカス。

≫167
もう少し詳しく教えろカス。
0191132人目の素数さん2011/04/29(金) 22:21:47.68
>>190
カスに教えろと迫る不合理
0192132人目の素数さん2011/04/29(金) 22:32:10.01
アンカーぐらいちゃんとしろ
0193132人目の素数さん2011/04/29(金) 22:39:43.70
>>192
形が似ていれば通用すると思っているカス、それは≫190
■ このスレッドは過去ログ倉庫に格納されています