17/02/06 23:58:26.72 XSqY0BvC.net
さあ、今日も１日頑張ろう★☆
前スレ
分からない問題はここに書いてね423 [無断転載禁止]©2ch.net
ｽﾚﾘﾝｸ(math板)
2:１３２人目の素数さん
17/02/07 00:06:51.62 8pbxHSoP.net
削除依頼を出しました
3:１３２人目の素数さん
17/02/07 16:57:24.48 WhbmF/4Y.net
URLﾘﾝｸ(imgur.com)
exp(i*y) = f(y) + i*g(y)
=
lim_{m → ∞} Σ (-1)^k * y^(2*k) / (2*k)! from k = 0 to k = m
+
i * lim_{m → ∞} Σ (-1)^k * y^(2*k+1) / (2*k+1)! from k = 0 to k = m
↑これは、
lim_{m → ∞} Σ (i*y)^k/k! from k = 0 to m を入れ替えたものではないと思います。
Σ a_n の項を入れ替えた級数というのは、
ある全単射 φ : N → N により、
Σ a_φ(n) と表わされる級数のことですよね？
lim_{m → ∞} Σ (-1)^k * y^(2*k) / (2*k)! from k = 0 to k = m
+
i * lim_{m → ∞} Σ (-1)^k * y^(2*k+1) / (2*k+1)! from k = 0 to k = m
は明らかに二つの級数の和であって、一つの級数ではないですよね？
つまりポントリャーギンは、級数の項を入れ替えてもいないのに、
まるで入れ替えた気になっているのではないでしょうか？
4:１３２人目の素数さん
17/02/07 17:11:45.78 WhbmF/4Y.net
推薦図書を挙げておきます。
他に推薦図書がありましたら紹介してください。
微分積分学講義
野村 隆昭
固定リンク: URLﾘﾝｸ(amzn.asia)
Calculus, 4th edition
by Michael Spivak
Link: URLﾘﾝｸ(a.co)
複素関数論講義
野村 隆昭
固定リンク: URLﾘﾝｸ(amzn.asia)
5:１３２人目の素数さん
17/02/07 18:42:32.92 WhbmF/4Y.net
推薦図書を挙げておきます。
Algebra
by Michael Artin
Link: URLﾘﾝｸ(a.co)
6:１３２人目の素数さん
17/02/07 18:45:51.07 DWyi777
7:C.net
8:１３２人目の素数さん
17/02/07 18:59:33.10 UQ4OoNB5.net
1/3+2/3=1と習ったけど
1/3=0.3333..
2/3=0.6666..
1/3+2/3=0.9999..
当方小学生です（頭が）優しく説明してもらえませんか
9:１３２人目の素数さん
17/02/07 19:01:13.94 WhbmF/4Y.net
ランダウの記号
o と O ですが、 O のほうはどういうときに使うのでしょうか？
10:１３２人目の素数さん
17/02/07 19:04:25.18 KC3kFQGk.net
関数解析
Xは( ・, ・)を内積とする複素バナッハ空間、UはXからXの上への有界線形作用素で、
任意の x,y∈X に対し、( Ux , Uy) = ( x , y ) を満たすものとする。
(a)Uの作用素ノルムを求めよ
(b)複素数 λ が |λ|<1 をみたせば λI-U は単射で、(λI-U)^(-1) は有界線形作用素であることを示せ
(c)Uのスペクトルは単位円周に含まれることを示せ
自分的には
(a) ||Ux|| ≦ ||U||・||x|| となる||U|| をもとめるので||U||=1
(b)S_x = λ( y_0 + U_x)
として|| S_x1 - S_x2|| を計算して x0 = y_0 ( λI - U)^(-1)
単射性は単射の性質に当てはめて計算
(c) x∈X , Ux=zx となる x≠0 が存在するので明らか
(c)はわからないから絶対不正解
11:１３２人目の素数さん
17/02/07 20:19:55.51 yDfzyRj6.net
これはひどい
12:１３２人目の素数さん
17/02/07 22:00:36.16 jQ+bq+r2.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
お願いします！！！
13:１３２人目の素数さん
17/02/07 22:20:41.23 arv8yWSt.net
URLﾘﾝｸ(www.fastpic.jp)
この計算のP/D2のところが理解できません
どなたか途中式を教えてください…
14:１３２人目の素数さん
17/02/07 22:23:03.85 WXaSho1W.net
>>3
項は入れ替えています
exp(iy)=f(x)+ig(y)を認めて議論していますが
その等式が成り立つことをexpの定義から導いてみて下さい
15:１３２人目の素数さん
17/02/07 22:51:51.81 JSRGiRXg.net
もうじき春がくる、そして新学期
16:１３２人目の素数さん
17/02/07 22:59:45.45 JSRGiRXg.net
ただで単位を取ろうとするその志いとおかし
17:１３２人目の素数さん
17/02/07 23:02:11.38 JSRGiRXg.net
大先生の教科書をdisるアフィカスいとあわれ
18:１３２人目の素数さん
17/02/07 23:02:50.60 arv8yWSt.net
もう一点お願いします
変化率を求める際に、なぜ変化前の値を基準にするのですか？
変化後の値を基準にしても求められなかったです…
19:１３２人目の素数さん
17/02/07 23:06:24.84 JSRGiRXg.net
その刹那アルキメディスもびっくり
20:１３２人目の素数さん
17/02/07 23:36:31.05 11bgOyRq.net
f(x)を実連続関数とする
任意の実数x,yに対して|f(x)-f(y)|≦1/2*|x-y|が成り立つとき
f(x)=xを満たす実数xがただ1つ存在することを示せ
他のスレで見つけた問題です
わからないので教えてください
21:１３２人目の素数さん
17/02/07 23:51:42.48 PDLxunH2.net
運営乙
22:１３２人目の素数さん
17/02/07 23:54:53.97 yJSVC7fN.net
>>19
バナッハの不動点定理でググれ
23:１３２人目の素数さん
17/02/07 23:57:14.80 11bgOyRq.net
>>21
わからないんですか？
24:１３２人目の素数さん
17/02/08 00:00:27.27 Xewn0u9O.net
>>22
ん？
知らない人が居ないくらい有名すぎる問題だから、ここでテキスト形式で書くより数式で書いてるサイトの方が見易いと思っての発言よ
解答短くないしめんどくさい
俺がわからないと思うなら勝手にそう思ってて
もう一度言うけど「バナッハの不動点定理でググれ」
25:１３２人目の素数さん
17/02/08 00:13:20.97 D5O+H5Kt.net
他のスレというかvipに帰れ
26:１３２人目の素数さん
17/02/08 00:15:40.68 vuyumbdb.net
結構長いことここROMってるけど
おまえら頭おかしい
子どもの名前に数式付けてそう
27:１３２人目の素数さん
17/02/08 00:18:46.70 vz0R3Zjn.net
vipに帰れっていいますけど、なんでこれがvipのスレから拾ってきたやつだってわかるんですかね？
いっつも疑問なんですけど
28:１３２人目の素数さん
17/02/08 00:22:53.65 Xewn0u9O.net
なんだよ転載かよ
わざわざヒントを与えてしまったことを悔いる
29:１３２人目の素数さん
17/02/08 00:25:48.72 vz0R3Zjn.net
他のスレから持ってきたって最初に書いてあるんですけどー
30:１３２人目の素数さん
17/02/08 00:33:55.55 Xewn0u9O.net
おおそうか、そうだな、すまんな
スレ探してみたら既に不動点定理って単語が出てるのにわからないってのは酷いなw
俺の見逃し並に酷いw
31:１３２人目の素数さん
17/02/08 04:16:24.19 UtpeWish.net
>>13
URLﾘﾝｸ(imgur.com)
f_m(y) := Σ (-1)^k * y^(2*k) / (2*k)! from k = 0 to k = m
g_m(y) := Σ (-1)^k * y^(2*k+1) / (2*k+1)! from k = 0 to k = m
とします。
lim (f_m(y) + i * g_m(y)) = lim f_m(y) + i * lim g_m(y) = f(y) + i * g(y)
となります。
h_n(z)
:=
z^0/0! + z^1/1! + z^2/2! + … + z^n/n!
とすると、
f_m(y) + i * g_m(y)
=
(i*y)^0/0! + (i*y)^1/1! + (i*y)^2/2! + … + (i*y)^(2*m)/(2*m)! + (i*y)^(2*m+1)/(2*m+1)!
=
h_(2*m+1)(i*y)
h_(2*m+1)(i*y) は、 h_n(i*y) の部分列で
lim h_n(i*y) = exp(i*y)
だから、
lim (f_m(y) + i * g_m(y)) = lim h_(2*m+1)(i*y) = exp(i*y)
以上から、
exp(i*y) = f(y) + i * g(y)
このように項は入れ替えていません。
32:１３２人目の素数さん
17/02/08 04:19:06.59 UtpeWish.net
「項の入れ替え」とは無論、「無限級数」の項の入れ替えのことです。
そんな入れ替えはしていないことは明らかです。
ポントリャーギンも年を取って微分積分さえまともに理解できなくなっていたのでしょうね。
33:１３２人目の素数さん
17/02/08 04:43:58.94 1K2Qvlbh.net
{0, 1, 2, 3, 4, ...} = {0, 2, 4, ..., 1, 3, 5 , ...}
34:１３２人目の素数さん
17/02/08 04:57:09.18 UtpeWish.net
>>32
それは入れ替えたとは言えないですよね。
35:１３２人目の素数さん
17/02/08 04:59:10.87 UtpeWish.net
無限級数 Σ a_n の項を入れ替えた級数というのは、
級数 Σ a_φ(n)
のことです。
φ は N から N への全単射です。
36:１３２人目の素数さん
17/02/08 05:01:14.43 UtpeWish.net
φ(0) = 0
φ(1) = 2
φ(2) = 4
…
φ(n) = 2*n
…
となってしまいます。
37:１３２人目の素数さん
17/02/08 06:33:04.56 UtpeWish.net
>>19
補題：
x0 ≦ f(x0) となるような実数 x0 が存在する。
証明：
任意の実数 x に対して、 x > f(x) と仮定して矛盾を導く。
仮定により、 x1 をある実数とすると、 x1 > f(x1)。
x を x < x1 を満たす任意の実数とする。仮定により、
|f(x1) - f(x)| ≦ (1/2) * |x1 - x| = (1/2) * (x1 - x)
よって、
f(x1) - f(x) ≦ (1/2) * (x1 - x)
f(x1) + (1/2) * (x - x1) ≦ f(x) < x
x - f(x) ≦ x - [f(x1) + (1/2) * (x - x1)] = (1/2) * (x + x1) - f(x1)
f(x1) < x1 だから -x1 + 2*f(x1) < x1 である。
x := -x1 + 2*f(x1) とおくと
x < x1 であるから、
x - f(x) ≦ (1/2) * (x + x1) - f(x1) = (1/2) * (-x1 + 2*f(x1) + x1) - f(x1) = 0
したがって、
x ≦ f(x)
これは矛盾である。（証明終わり）
38:１３２人目の素数さん
17/02/08 06:33:25.14 UtpeWish.net
>>19
補題により、x0 ≦ f(x0) となるような実数 x0 が存在する。
x0 = f(x0) ならば定理は証明されたことになる。
x0 を x0 < f(x0) を満たす実数とする。
x > x0 とすると、
|f(x) - f(x0)| ≦ (1/2) * |x - x0| = (1/2) * (x - x0)
よって、
f(x) - f(x0) ≦ (1/2) * (x - x0)
f(x) ≦ (1/2) * (x - x0) + f(x0)
x1 := -x0 + 2*f(x0) とおくと、
x1 - x0 = (-x0 + 2*f(x0)) - x0 = 2*(f(x0) - x0) > 0
したがって、
x1 > x0
よって、
f(x1)
≦
(1/2) * (x1 - x0) + f(x0)
=
(1/2) * (2*(f(x0) - x0)) + f(x0)
=
-x0 + 2*f(x0)
=
x1
f(x1) = x1 ならば定理は証明されたことになる。
f(x1) < x1 と仮定する。
g(x) := x - f(x) とおくと、 g(x) は連続関数である。
g(x0) = x0 - f(x0) < 0
g(x1) = x1 - f(x1) > 0
中間値の定理から、
g(x) = 0 となる実数 x が存在する。
すなわち、
x = f(x) となる実数 x が存在する。
39:１３２人目の素数さん
17/02/08 06:39:55.62 UtpeWish.net
一意性も同様にして示せる。
40:１３２人目の素数さん
17/02/08 07:07:07.22 GjcFfuPA.net
>>30
それでは部分和を取らずにそれを証明できますか？
41:１３２人目の素数さん
17/02/08 07:18:39.34 UtpeWish.net
一意性について：
f(x0) = x0 とする。
仮定により、
(1/2) * |x - x0| ≧ |f(x) - f(x0)|
x を x > x0 であるような任意の実数とする。
(1/2) * (x - x0) ≧ |f(x) - f(x0)| ≧ f(x) - f(x0)
(1/2) * (x - x0) + f(x0) ≧ f(x)
-(1/2) * (x - x0) - f(x0) ≦ -f(x)
x - (1/2) * (x - x0) - f(x0) ≦ x - f(x)
(1/2) * (x + x0) - f(x0) ≦ x - f(x)
x > x0 だから
0 = x0 - f(x0) = (1/2) * (x0 + x0) - f(x0) < (1/2) * (x + x0) - f(x0) ≦ x - f(x)
x < f(x)
x を x < x0 であるような任意の実数とする。
-(1/2) * (x - x0) ≧ |f(x) - f(x0)| ≧ -(f(x) - f(x0))
(1/2) * (x - x0) + f(x0) ≦ f(x)
-(1/2) * (x - x0) - f(x0) ≧ -f(x)
x - (1/2) * (x - x0) - f(x0) ≧ x - f(x)
(1/2) * (x + x0) - f(x0) ≧ x - f(x)
x < x0 だから
0 = x0 - f(x0) = (1/2) * (x0 + x0) - f(x0) > (1/2) * (x + x0) - f(x0) ≧ x - f(x)
x > f(x)
以上より、
x ≠ x0 ならば、 x ≠ f(x)
42:１３２人目の素数さん
17/02/08 07:20:50.99 UtpeWish.net
訂正します：
一意性について：
f(x0) = x0 とする。
仮定により、
(1/2) * |x - x0| ≧ |f(x) - f(x0)|
x を x > x0 であるような任意の実数とする。
(1/2) * (x - x0) ≧ |f(x) - f(x0)| ≧ f(x) - f(x0)
(1/2) * (x - x0) + f(x0) ≧ f(x)
-(1/2) * (x - x0) - f(x0) ≦ -f(x)
x - (1/2) * (x - x0) - f(x0) ≦ x - f(x)
(1/2) * (x + x0) - f(x0) ≦ x - f(x)
x > x0 だから
0 = x0 - f(x0) = (1/2) * (x0 + x0) - f(x0) < (1/2) * (x + x0) - f(x0) ≦ x - f(x)
x > f(x)
x を x < x0 であるような任意の実数とする。
-(1/2) * (x - x0) ≧ |f(x) - f(x0)| ≧ -(f(x) - f(x0))
(1/2) * (x - x0) + f(x0) ≦ f(x)
-(1/2) * (x - x0) - f(x0) ≧ -f(x)
x - (1/2) * (x - x0) - f(x0) ≧ x - f(x)
(1/2) * (x + x0) - f(x0) ≧ x - f(x)
x < x0 だから
0 = x0 - f(x0) = (1/2) * (x0 + x0) - f(x0) > (1/2) * (x + x0) - f(x0) ≧ x - f(x)
x < f(x)
以上より、
x ≠ x0 ならば、 x ≠ f(x)
43:１３２人目の素数さん
17/02/08 07:24:32.95 D5O+H5Kt.net
>>35
お前が考えているのは「有限の項の入れ替え」のこと
なんで勝手に有限個に制限してんの？
44:１３２人目の素数さん
17/02/08 07:48:25.52 g0lnOPD5.net
URLﾘﾝｸ(gyazo.com)
この問題が分かりません
どなたか教えてくださいお願いします
45:１３２人目の素数さん
17/02/08 09:21:41.01 8cCH5pXW.net
>>23
そいつは劣等感婆という荒らしだよ、「わからないんですか？」が口癖
46:１３２人目の素数さん
17/02/08 09:29:02.22 av/e9Zn6.net
お願いします。
URLﾘﾝｸ(i.imgur.com)
47:１３２人目の素数さん
17/02/08 10:16:17.24 2BIFOE4I.net
X*(-w)のフーリエ逆変換の導出がわかりません
X*(-w)をフーリエ逆変換の式にいれたものと,
X*(-w) = {∫x(t)e^jwt dt}*からの導出で答えが変わりましたどこが間違いか教えてください
URLﾘﾝｸ(imgur.com)
48:１３２人目の素数さん
17/02/08 11:36:37.09 ClldOyuT.net
分かるように書け
49:人工砲
17/02/08 12:50:47.27 QjknNwlq.net
x(t) は実関数
＊はなに？ 畳み込み？ 共軛？
共軛として
X*(-w) = {∫x(t)e^-jwt dt}*={∫x(t)e^jwt dt}=X(w) ーー（あ）
２番めのブロック
ｗ，ｗ’は独立だから、 平均操作？のところがおかしい。
結局δ関数になり一致するが、
それ以前に（あ）でいいんじゃないの？
50:人工砲
17/02/08 12:55:25.83 QjknNwlq.net
>>43
（１）｜ｘ｜＜１
（２）ｘ＞１
（３）ｘ＝１
（４）ｘ＝－１
で計算してごらん
51:１３２人目の素数さん
17/02/08 13:47:30.12 qefLb8DM.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑はポントリャーギンの『無限小解析』です。
「べき級数の微分係数」についてです。
f1(z) が収束することが書いていません。問題がありますよね。
もちろん f1^{^} が f1(z) の優級数ですので、 f1(z) が収束することは明らかですが。
52:学術 ディジタル アーカイヴ＠院教授
17/02/08 14:12:47.82 8YUFRSfA.net
nice and smooth だね。quick wlow 〇●
53:１３２人目の素数さん
17/02/08 14:58:27.50 ESodJ58I.net
>>49
（１）｜ｘ｜＜１ のとき f(x)=x
（２）ｘ＞１ のとき f(x)=-x
（３）ｘ＝１ のとき f(x)=0
まではできました
（４）ｘ＝－１ のときは
-1-(-1)^n+1 / 1+(-1)^n になってよくわかりません
あとｘ＜－１の場合は考えなくてもよいのですか？
54:１３２人目の素数さん
17/02/08 15:52:16.56 QjknNwlq.net
(4) ｎガキ数のとき
ｎが偶数のとき
x>1 は |x|>1 のミス
↑よくできました。
55:１３２人目の素数さん
17/02/08 16:43:47.84 ESodJ58I.net
>>53
-1-(-1)^n+1 / 1+(-1)^n
nが偶数のとき -1-(-1)/1+1 = 0
nが奇数のとき -1-1/1+(-1)=-2/0 で不定形になってしまいます
これはどういうふうに考えればよいのでしょうか
56:１３２人目の素数さん
17/02/08 16:50:28.84 qefLb8DM.net
>>50
級数(9)と(10)の収束半径が等しいことはどうやって示すのでしょうか？
f1(z) の収束半径が r 以上なのは分かりますが、ちょうど r であることは
どうやって示すのでしょうか？
示すのに必要だと書かれている
2節の(17)は、
k が自然数で、 0 < α < 1 のとき、
n^k * α^n = o(γ^n), α < γ < 1
が成り立つというものです。
9節の(4)は、↓です。
URLﾘﾝｸ(imgur.com)
57:１３２人目の素数さん
17/02/08 18:33:44.65 QjknNwlq.net
>>54 これはどういうふうに考えればよいのでしょうか
あなたの思ったことを書けばいいでしょう。
いい先生ならばおっとおもうでしょう。
機械的な先生なら、”きまんないんだよな”でいいでしょう。
58:１３２人目の素数さん
17/02/08 18:51:59.27 ESodJ58I.net
>>56
Nが偶数の場合と奇数の場合で２つグラフが存在するってことですか？
59:１３２人目の素数さん
17/02/08 18:57:51.70 qefLb8DM.net
複素関数論の本に、以下のように書かれているのですが、
| exp(i * z)| = 1 (∀z ∈ C) ですよね？
なぜ、実数の場合にしか成り立たないかのように書いているのでしょうか？
------------------------------------------------------------------------
cos^2(z) + sin^2(z) = 1 (∀z ∈ C) が成り立つ。
とくに、 θ ∈ R のとき、 cos(θ) も sin(θ) も実数であるから、
| exp(i * θ)| = sqrt(cos^2(θ) + sin^2(θ)) = 1 である。
60:１３２人目の素数さん
17/02/08 18:58:37.97 qefLb8DM.net
>>58
「cos(θ) も sin(θ) も実数であるから」というのが意味不明です。
61:１３２人目の素数さん
17/02/08 19:28:01.71 I4qwhBOv.net
| exp(i * z)| = 1 (∀z ∈ C) ではない。
| exp(i * z)| = 1 (∀z ∈ R) ではある。
62:１３２人目の素数さん
17/02/08 19:42:26.48 qefLb8DM.net
>>60
あ、確かにそうですね。
ありがとうございました。
cos(z) = a + b * i
sin(z) = c + d * i
|cos(z) + i * sin(z)| = |(a - d) + (b + c) * i|| = sqrt((a - d)^2 + (b + c)^2)
sqrt(cos^2(z) + sin^2(z)) = sqrt(1) = 1
63:１３２人目の素数さん
17/02/08 19:49:01.21 qefLb8DM.net
cos(i) + i * sin(i) = 1/e
|cos(i) + i * sin(i)| = 1/e ≠ 1
64:１３２人目の素数さん
17/02/08 21:07:01.58 QjknNwlq.net
>>57
どのようになるかは計算しましたね。
limitは、あるはっきりとした値が存在するときに定義できるので
答えはこのような状況で存在しないということですね。
しいていえば 無限のような状態は極限として入れることができますが
その点は先生に質問してください。
いい先生のようですから、いい答えがえられるでしょう。
65:１３２人目の素数さん
17/02/08 23:28:56.94 2BIFOE4I.net
>>48
xは実数関数とは限らないと考えてください
*は共役でいいです
少し細かく書きました
URLﾘﾝｸ(imgur.com)
66:１３２人目の素数さん
17/02/08 23:51:25.36 2BIFOE4I.net
>>64
あ、これ2ブロック目積分範囲間違えてました。ありがとうございます
67:１３２人目の素数さん
17/02/09 01:52:41.75 FQbpO9Yg.net
>>64
[A]
カンタンのためｘを実関数とすると、 （ たとえば ｘ（ｔ）＝ｆ（ｔ））
(X(w))* = X(-w) になります。
コレを逆フーリエ変換すると
F^-1(X(-w)
68:)=x(-t) （＝ｆ（－ｔ）） あなたの共軛の定義ではｘ（ｔ）＊＝ｘ（－ｔ）になります。 [B] X：ｔ－＞C x(t)=r(t)+I i(t) とすると x*(t)=r(t)-I i(t) r(t),i(t)は独立の関数ですから、意味付けをちゃんとする必要があります。 x*(t)=r(-t)-I i(-t) の可能性がつよい。 [C] wを複素数かするとラプラス変換になりそうですね。 でも自己解決なさっているみたいですのでここでやめます。 [C] wが複素数
69:１３２人目の素数さん
17/02/09 05:23:53.89 PxW+aF/2.net
>>33
唖然
ではこれが全単射でないことを示してください
70:１３２人目の素数さん
17/02/09 07:40:15.74 Jt5vsGWl.net
>>67
全射じゃないので当然全単射じゃありません。
71:１３２人目の素数さん
17/02/09 08:10:47.10 Jt5vsGWl.net
ポントリャーギンの『無限小解析』ですが、
合成関数の微分の公式の証明が厳密じゃ
ないですね。
72:１３２人目の素数さん
17/02/09 08:26:41.08 1EkZkfvc.net
>>69
いいから>>39やれよ
73:１３２人目の素数さん
17/02/09 12:54:44.91 3ujV0Fl6.net
disるしか楽しみが無い惨めな奴
74:１３２人目の素数さん
17/02/09 12:58:38.83 BgXG/zKz.net
劣等感のことかな？(笑)
75:１３２人目の素数さん
17/02/09 13:08:30.47 n8mf5+YO.net
アフィカスの松坂君も忘れないでｗ
76:１３２人目の素数さん
17/02/09 18:39:57.42 FQbpO9Yg.net
包茎かすは除去しませう
77:１３２人目の素数さん
17/02/09 19:45:51.19 9045Z9ec.net
f(x)=x^mとする
Σ(l=1,n){Σ(m=1,n)f(l)(x)}を求めよ
ただし、f(l)(x)はf(x)の第l次導関数である
78:１３２人目の素数さん
17/02/09 21:44:48.51 QOCDV5cs.net
日本人を全員死刑にしろ
79:１３２人目の素数さん
17/02/09 21:47:44.93 L+/2pweG.net
今晩はホロン部、書込みお疲れ
80:１３２人目の素数さん
17/02/09 21:49:08.52 FQbpO9Yg.net
1
3+2x
9+8x+3x^2
33+32x+15x^2+4x^3
....................+nx^(n-1)
81:１３２人目の素数さん
17/02/09 22:22:43.60 y80kLKcw.net
URLﾘﾝｸ(imgur.com)
この演習2の1、2、3教えて下さい
途中式込みでお願いします
82:１３２人目の素数さん
17/02/09 22:25:19.13 QnaP8xkG.net
友達に聞いた方が早いだろ
83:１３２人目の素数さん
17/02/09 22:56:38.06 Jt5vsGWl.net
ある点で任意方向に方向微分可能であるが、連続でないような
関数の例を挙げよ。
84:１３２人目の素数さん
17/02/10 00:19:54.46 1phP8Oir.net
選択公理の必要性がわかりません
どう考えても自明としか思えません
85:１３２人目の素数さん
17/02/10 02:28:24.87 NScJQibH.net
>>79
演習１
(1) (D+1)(D-3)y = xx,
y = -(1/3)xx +(4/9)x -(14/27) + c1･e^(-x) + c2･e^(3x)
(2) (D+1)(D+2)y = e^x,
y = (1/6)e^x + c1･e^(-x) + c2･e^(-2x)
(3) (D-1)(D-1)y = (e^x)cos(x),
y = e^x･(-cos(x) + c1･x + c2),
演習２
(1) (xD-1)(xD+1)y = 2xx,
y = (2/3)x^2 + c1･x + c2/x,
(2) (DD+1)y = sin(2x),
y = -(1/3)sin(2x) + c1･sin(x) + c2･cos(x),
(3) (xD-3)(D-1)y = x^4･e^x
y = e^x･{(1/4)x^4 +c1･x -6} + c2･(x^3 +3xx +6x +6),
86:１３２人目の素数さん
17/02/10 02:42:37.39 ar1x36UO.net
【カッシーナ速報】理化学研究所からの開示文書が届きました
URLﾘﾝｸ(www.nantoka.com)
平成２３年０２月２５日入札公告「幹細胞研究開発棟2階交流スペース・ディスカッションルーム２用什器」
リンク先３、４ページ目
物品購入要求
起案年月日 ２０１１年１月１４日
依頼要求元 計算生命科学センター設立準備室 合成生物学研究グループ
納入場所 所在地 神戸 建物 幹細胞研究開発棟
使用者 上田 泰己
件名 幹細胞研究開発棟2階交流スペース及び居室用什器
業者 ２１００４１７ （株） カッシーナ・イクスシー
合計金額 ４，８７２，０００
87:１３２人目の素数さん
17/02/10 03:06:33.99 NScJQibH.net
>>75
f_m(x）= x^m,
Σ(L=1,m）f_m^(L)(x) = Σ(k=0,m-1）（m!/k!）x^k
m=1～n でたす。
Σ(k=0,n-1）c_k･x^k,
c_k = {(k+1)!+(k+2)!+…+n!} / k!
88:１３２人目の素数さん
17/02/10 03:28:53.08 NScJQibH.net
NASAやESAの無駄遣いに比べたらまだまだ小さい。
土星探査機「カッシーニ」の総費用は約34億米ドル。
なお、カッシーニの卵形線は、2定点からの距離の積が一定な軌跡。
89:１３２人目の素数さん
17/02/10 09:37:07.77 Y01/2Bsj.net
>>81
正解は以下の本に書いてあります。
微分積分学講義
野村 隆昭
固定リンク: URLﾘﾝｸ(amzn.asia)
90:１３２人目の素数さん
17/02/10 09:38:27.67 Ui20yGBC.net
松坂君アフィ儲かってる？
91:１３２人目の素数さん
17/02/10 09:42:06.14 Y01/2Bsj.net
>>87
この動画が正解の動画です。
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
92:１３２人目の素数さん
17/02/10 09:45:23.63 Y01/2Bsj.net
>>88
アフィリエイトではありません。
93:１３２人目の素数さん
17/02/10 09:50:10.41 Y01/2Bsj.net
アフィリエイトかそうでないかってどうやったら分かるんですか？
94:１３２人目の素数さん
17/02/10 10:09:29.19 i+3gL9id.net
アフィに教えるわけ無いじゃんw
95:１３２人目の素数さん
17/02/10 10:24:24.96 Y01/2Bsj.net
この2冊の本は最高です。
微分積分学講義
野村 隆昭
固定リンク: URLﾘﾝｸ(amzn.asia)
複素関数論講義
野村 隆昭
固定リンク: URLﾘﾝｸ(amzn.asia)
96:１３２人目の素数さん
17/02/10 11:00:13.08 YngMsKev.net
結局、項の入れ替えのやつ理解できずに逃げ出してるやん
批判しかできない雑魚なんやな
97:１３２人目の素数さん
17/02/10 13:27:31.35 Y01/2Bsj.net
複素関数入門 (現代数学への入門)
神保 道夫
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この本は評判がいいようですが、どこがいいのかさっぱり分かりません。
98:圏人
17/02/10 13:31:56.87 5V4GxTt/.net
具体的に何があかんの？
99:１３２人目の素数さん
17/02/10 13:41:01.94 COuD4m7Y.net
かまうなよ
100:１３２人目の素数さん
17/02/10 14:00:22.49 h42sAyk9.net
（１）∬(D) cos(x^2 + y^2)dxdy D={(x,y):x^2 + y~2<=4,x>=0}を考察せよ
（２）広義重積分 ∬(D) xy/{(x^2 + y^2)^3/2} dxdy D={(x,y):x^2 + y^2>=1,y>=0}を考察せよ
大学のレポ－ト問題なのですがどなたかお願いいたします、、、、。
101:１３２人目の素数さん
17/02/10 14:11:36.40 Y01/2Bsj.net
>>96
なんかキチンと書かれていない。
いい加減。
であるように思います。
このシリーズは、なんかいい加減な本を寄せ集めたという感じですよね。
102:１３２人目の素数さん
17/02/10 14:12:39.12 COuD4m7Y.net
ただでレポートの答えをほしい
103:１３２人目の素数さん
17/02/10 14:18:38.03 4jjlg0Cu.net
友達にきけばいいじゃん
タダで教えてくれる友達くらいいるだろ
104:１３２人目の素数さん
17/02/10 14:43:52.54 Y01/2Bsj.net
現代数学への入門シリーズの著者である、上野健爾、深谷賢治、神保道夫、青本和彦、高橋陽一郎らは
「悪の枢軸」ではないでしょうか？
105:１３２人目の素数さん
17/02/10 15:48:04.36 CHMkihR0.net
,ｨ´￣￣｀i 、
i .| .:|::|
| :| .:::|::|
.| ｀ー-一´:::|
| :::|
| ............:::::::|
.| ::::|
| ::::|
.| ::::| __,-─‐-、
| :::|─┬´ .＼
| .....::::::::|-‐´＿ ｀、
.| .....:::::::::: ::::|￣ ｀ヽ､,::::.... ヽ
| : ...::::::.....::::|::::: ヾ:::::::... ｀、
_-─‐-_| ..:::::::::::::::::..:|::: ヾ:::::::: ヽ
./ :::|:... ...::: :|::. i:::::: ...:::|
| :::| ::::::::::::::: :|:: ヾ:: ..::::::/
.,ｲ ::::| :|: |::.::::::::/
/ | ::::| :|: |:::::::::/
i :| ::ﾘ :ﾄ、 :/
.| |:::::::... ::::::::::: | :::: .::|
|:::. |::::::::: :::::::::::: ;;:::::::: ::;;;:::::::|
|:::: :::::::::: ::::::::::::::: :::::::::::::.......,,,;;;;;;;;;;:::::ｲ
.|::: ::::::::::::.......:::::::::::::::::.. :::::::::::;;;;;;;;;;;;;;;;;;;;;;;;;;:::::｀ヽ、
106:１３２人目の素数さん
17/02/10 16:02:21.68 qzuUuf76.net
URLﾘﾝｸ(www.youtube.com)
107:１３２人目の素数さん
17/02/10 16:46:31.60 Ijyqqjth.net
努力せずに結果は得られない アルビントフラー
108:１３２人目の素数さん
17/02/10 16:53:22.80 UpxFG1yY.net
>>102
教科書や学者をdisることしか能のないお前が悪の枢軸だよ
109:１３２人目の素数さん
17/02/10 17:05:32.64 ITSS9CVT.net
本にケチつけること自体はなんとも思わないが
色んなスレに書き込まずに１箇所で活動してくれ
110:１３２人目の素数さん
17/02/10 17:22:49.81 GW1zkbsP.net
>>99
＞なんかキチンと書かれていない。
＞いい加減。
自己紹介かな？
なんかいい加減ないちゃもんの寄せ集め。
111:１３２人目の素数さん
17/02/10 18:31:57.32 upzHStRu.net
嫌な話題が続いたので、爽やかに宿題代行。
（１）極座標変換
∬[D] cos(x^2+y^2) dxdy
= ∬[0≦r≦2,-π/2≦θ≦π] cos(r^2) rdrdθ
= ∫[-π/2≦θ≦π/2]dθ ∫[0≦r≦2] cos(r^2) rdr
= ∫[-π/2≦θ≦π/2]dθ ∫[0≦u≦4] (1/2)cos(u) du, u=r^2
= {π/2-(-π/2)} (1/2){sin(4)-sin(0)}
= (π/2)sin(4).
（２）これも極座標変換して
I = ∬[D] xy/{(x^2+y^2)^3/2} dxdy
= ∬[r≧1,0≦θ≦π] (r cosθ)(r sinθ)/{(r^3)/2)} rdrdθ
= ∬[r≧1,0≦θ≦π] 2cosθsinθ drdθ.
D を 0≦θ≦π/2 部分と π/2≦θ≦π 部分に分割すると
I = I1 + I2,
I1 = ∬[r≧1,0≦θ≦π] sin(2θ) drdθ
= ∫[0≦θ≦π/2]sin(2θ)dθ ∫[1≦r]dr
→ (正値)・(+∞),
I2 = ∬[r≧1,0≦θ≦π] sin(2θ) drdθ
= ∫[π/2≦θ≦π]sin(2θ)dθ ∫[1≦r]dr
→ (負値)・(+∞).
I = ∞ - ∞ 型の不定形であり、広義積分は収束しない。
112:１３２人目の素数さん
17/02/10 18:57:38.53 nfrRwSGC.net
>>85
どうやって考えるんですか？
113:１３２人目の素数さん
17/02/10 19:52:44.83 Eas+g8/S.net
日本人は全員ゴミ
114:１３２人目の素数さん
17/02/10 20:33:00.42 upzHStRu.net
考えるな、感じるだ。
115:１３２人目の素数さん
17/02/10 21:24:50.95 mdV35Rg3.net
「ガロア理論の頂を踏む」（石井俊全）(URLﾘﾝｸ(www.amazon.co.jp))
を読んでいます。
1章94ページ
「h を (Z/pZ)* の原始根とします。このとき、h の mod p^n での位数を m とします。
h^m ≡ 1 (mod p^n) より、h^m ≡ 1 (mod p) で、h の mod p での位数が p - 1ですから、m は p - 1 で割り切れます。m = s(p - 1) とします。すると、h^s の mod p^n での位数は p - 1 です。ここで g = h^s をおきます。
1, g, g^2, …, g^(p-2)
は、h で表すと指数がすべて m = s(p -1) 以下ですから、mod p^n でみてすべて異なります。もちろん、mod p で見たときもすべて異なります。」
ここで最後の「もちろん、mod p で見たときもすべて異なります。」にギャップを感じており、すなおに「はい」といえません。「もちろん」というキーワードに驚いています。
この最後の部分はどうしていえるのでしょうか？よろしくお願いいたします。
116:１３２人目の素数さん
17/02/10 22:01:25.41 CBVmXMXw.net
nを自然数とします。
1つのサイコロを繰り返し振って出目を記録し、出目の和がn以上になったらやめるとする。
このとき、出目の和がちょうどnになってやめになる確率をP(n)とするます。
P(n)は一般にnの式で得られますか。
117:１３２人目の素数さん
17/02/10 22:20:53.57 i+3gL9id.net
7項間漸化式解けるならできるんじゃね
118:１３２人目の素数さん
17/02/10 22:22:47.67 Hp0vmjYV.net
>>113
gの位数がhの位数と一致するからです
119:１３２人目の素数さん
17/02/10 22:31:22.49 Y01/2Bsj.net
>>113
本当にいただきを踏むような高度な本なんですか？
120:１３２人目の素数さん
17/02/10 22:47:29.16 ZXg8pG18.net
キーボードではべき乗2が^2、2進数が(2)､と表現するみたいですけど
配列Σをどう表現するのかとか
'、''が何なのかとか数学板初心者なので分かりません。どこかに一覧表はないでしょうか
121:１３２人目の素数さん
17/02/10 22:58:33.21 s1sxtrnq.net
>>118
数学@2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号の使用例
URLﾘﾝｸ(mathmathmath.dotera.net) 👀
Rock54: Caution(BBR-MD5:4d530d62ff3cf059fa11550d53e73292)
122:１３２人目の素数さん
17/02/10 23:26:20.88 upzHStRu.net
>>117
誤字。「頁を踏む」が正解。
読む気がしなくなって、途中で頁を踏む。
123:１３２人目の素数さん
17/02/10 23:44:48.91 CHMkihR0.net
2016Cm が奇数になる正の正数ｍの最小値をもとめよ
（東大入試に 似たような問題があるそうですが）
124:１３２人目の素数さん
17/02/10 23:47:23.78 CHMkihR0.net
↑２項係数です。3C2＝３
125:１３２人目の素数さん
17/02/10 23:55:16.05 CHMkihR0.net
2015Cm が偶数になる正の整数ｍの最小値をもとめよ（東大入試第5問）
126:１３２人目の素数さん
17/02/11 01:01:28.34 wMY+jT4l.net
>>123
32
ですね。
127:１３２人目の素数さん
17/02/11 01:08:21.85 wMY+jT4l.net
>>121
やはり、
32
ですね。
128:１３２人目の素数さん
17/02/11 01:13:45.98 wMY+jT4l.net
Binomial(2016, m)
=
Binomial(2015, m)
+
Binomial(2015, m-1)
奇数 = 偶数 + 奇数
>>123
より、
m < 32 のとき、
Binomial(2015, m)
+
Binomial(2015, m-1)
=
奇数
+
奇数
=
偶数
m = 32 のとき、
Binomial(2015, m)
+
Binomial(2015, m-1)
=
偶数
+
奇数
=
奇数
129:１３２人目の素数さん
17/02/11 01:18:25.27 wMY+jT4l.net
>>123
は、
2016 = 2^5 * 7 * 9
なので、
2^5 = 32
が答えです。
130:１３２人目の素数さん
17/02/11 01:22:06.05 wMY+jT4l.net
>>123
は、
2014/2
2012/4
2010/6
…
という有理数列を考えます。
既約分数に直した時に、分子が偶数となるような最初に有理数を
求めればよいことになります。
131:１３２人目の素数さん
17/02/11 01:27:02.48 wMY+jT4l.net
2014/2 = 1007/1
2012/4 = 503/1
2010/6 = 1005/3
…
1984/32 = 62/1
132:１３２人目の素数さん
17/02/11 01:32:23.82 wMY+jT4l.net
>>113
なぜ、ガロア理論はこんなに人気があるんですかね？
133:１３２人目の素数さん
17/02/11 08:20:17.31 n12g4GHy.net
>>130
ガロア理論はロマン枠であり，昔からよく売れるものだそうですよ‥
134:１３２人目の素数さん
17/02/11 09:27:45.40 r57OIbzB.net
ロマン枠前提に、持って回った書き方の通俗書が多数あり、
そのため何だか難しいことかのように信じられているから。
135:１３２人目の素数さん
17/02/11 09:36:54.78 R/5UKXpJ.net
そうなんですか。
あとゲーデルの不完全性定理もなぜか人気がありますよね？
全然、面白い話題だとは思えないのに意外です。
136:１３２人目の素数さん
17/02/11 09:39:54.33 R/5UKXpJ.net
黒川とかいう人がゼータ関数関係の本を大量に書いていますが、
よほど売れるんでしょうね。
137:１３２人目の素数さん
17/02/11 09:43:46.74 R/5UKXpJ.net
新しい微積分<上> (KS理工学専門書)
長岡 亮介
固定リンク: URLﾘﾝｸ(amzn.asia)
新しい微積分<下> (KS理工学専門書)
長岡 亮介
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この長岡とかいう人は胡散臭い人ですね。
いつも文章がなんかおおげさじゃないですか？
これらの本はどんな本なんですか？
138:１３２人目の素数さん
17/02/11 11:51:19.97 6MC3CaGv.net
>>124-128
ワンダフル！
ありがとうございます。
139:１３２人目の素数さん
17/02/11 11:53:14.48 6MC3CaGv.net
>>129
ありがとうございます！！！
140:１３２人目の素数さん
17/02/11 12:00:01.49 Md4Y6mp2.net
ｎ種類等確率ｍ回平均種類数。
Ａ＝ｎ（１－（１－１／ｎ）＾ｍ）。
ｍ＝０。
Ａ＝０。
ｍ＝１。
Ａ＝１。
ｍ＝２。
Ａ＝２－１／ｎ。
ｎ＝１。
Ａ＝１－０＾ｍ。
ｎ＝２。
Ａ＝２（１－１／２＾ｍ）。
141:１３２人目の素数さん
17/02/11 13:03:29.41 E4uUtKB5.net
ゲーデルはポストモダン枠
142:１３２人目の素数さん
17/02/11 13:34:36.47 R/5UKXpJ.net
微分と積分2―多変数への広がり― (現代数学への入門)
高橋 陽一郎
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この本はひどい本ですね。
他書で全く推薦されていないのも納得ですね。
単関数とかいうのがうざすぎます。
143:１３２人目の素数さん
17/02/11 13:50:16.01 R/5UKXpJ.net
微分と積分〈1〉初等関数を中心に (現代数学への入門)
青本 和彦
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この本もひどい本ですね。
青本さんは、志賀浩二さんとの対談で、志賀さんに教えるのが下手だとか
言われていましたね。
144:１３２人目の素数さん
17/02/11 13:57:08.35 R/5UKXpJ.net
不思議なんですが、解析系の本はひどい本が多いのですが、
代数系の本は誰が書いてもそんなにはひどくなれないですね。
145:１３２人目の素数さん
17/02/11 14:22:52.68 IfO0sMHc.net
>>140
＞単関数とかいうのがうざすぎます。
ルベーグ積分勉強したら発狂しそう
146:１３２人目の素数さん
17/02/11 14:36:04.73 P9Mti7OW.net
(A⇒B∨C) ⇒ (A⇒B)∨(A⇒C)
これはトートロジーっぽいですがトートロジーで間違いないですか？
分配法則かと思ったのですが記号が少し違うのでなんというトートロジーかも教えて下さい。
147:１３２人目の素数さん
17/02/11 15:19:02.88 R/5UKXpJ.net
現代解析学への誘い (現代数学への入門)
俣野 博
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この本の最初のところを読んでいますが、不動点の話はなかなか
面白いですね。
148:１３２人目の素数さん
17/02/11 16:04:07.80 fiXw2ud9.net
>>144
特に名前はなさそうな。
ちなみに、これが命題論理なら確かにトートロジーだし、
もっと強くA⇒B∨Cと(A⇒B)∨(A⇒C)は同値と言えるが、
もしそのA,B,Cが高校数学で言うところの「条件」で
「⇒」が「ならば」，「∨」が「または」を表すならば、
(A⇒B)∨(A⇒C)からA⇒B∨Cを導くことはできるが
A⇒B∨Cから(A⇒B)∨(A⇒C)を導くことはできないから、要注意。
149:１３２人目の素数さん
17/02/11 16:39:03.45 u0VsWdry.net
>>135
アンタの方がよっぽど胡散臭いけどな！
150:１３２人目の素数さん
17/02/11 18:11:08.88 Ltm1Gjta.net
スルー推奨
151:１３２人目の素数さん
17/02/11 20:00:41.36 n+K7PwQJ.net
>>13
152:2 でも >>113 の教科書は本格派ですよ
153:１３２人目の素数さん
17/02/11 20:02:46.01 n+K7PwQJ.net
>>134
リーマン予想のゼータ関数はいまいちインパクトに欠けますね
>>133
不思議ですね，自己言及自体に魅力があるのかもしれない
154:１３２人目の素数さん
17/02/11 20:15:21.42 R/5UKXpJ.net
Miles Reid の代数幾何のビデオ講義なんてあったんですね。
簡単な非数学専攻者向けの講義ばかりが目立ちますが、
こんな講義も公開されているんですね。
とりあえず、雪江明彦さんの講義を先に見ようと思います。
155:１３２人目の素数さん
17/02/11 20:17:38.49 R/5UKXpJ.net
非常に簡単な講義か非常に専門的な講義が大半ですよね。
156:１３２人目の素数さん
17/02/11 20:20:50.96 R/5UKXpJ.net
Miles Reid ってなんか英国紳士って感じの人をイメージしていたんですけど、
なんか浮浪者みたいな風貌ですね。
数学者らしいといえばそうですが。
157:１３２人目の素数さん
17/02/11 20:25:18.75 Fy0Gdc8W.net
>>153
はよ死ね
158:１３２人目の素数さん
17/02/11 21:14:35.53 zqIXJPtO.net
>>146
その命題と条件の使い分けは、何だろう？
述語の意味で条件と呼んでいるのなら、
論理式から∀を省略してしまうことは
全くお勧めできない。
文字が表すものを命題と述語を区別して
同じ文字列で別々の論理式を表してしまうより、
述語の変項を明示して∀や∃を記入したほうが、
ミスや勘違いが入り込みにくい。
159:１３２人目の素数さん
17/02/11 22:06:53.56 uFIr5hQY.net
日本人は全員ゴミ
160:１３２人目の素数さん
17/02/12 00:42:57.09 WUswUHgF.net
>>155
「高校数学」における条件ではそのような曖昧性のある表現が平気で行われているのです
それと混同しないように注意せよ、という趣旨の書き込みだと思います
161:１３２人目の素数さん
17/02/12 00:47:10.48 oJgWJjn7.net
曖昧性？
単に量化子を含まない命題論理の範囲内で考えてるだけだろ
162:ようじょ ◆hNziS2E8421X
17/02/12 00:48:39.50 YcDOqRAW.net
>>150
ゼータ関数のゼロ点が一直線にあるっていうのを本で見たときすごく面白いと思ったしインパクトあると思ったけどなー私
163:１３２人目の素数さん
17/02/12 00:51:27.58 WUswUHgF.net
高校数学では命題命題と言っておきながら、そのほとんどが条件を取り扱っており、命題なんてものはほとんど登場しないのです
センター試験でも命題が問題に出されたことなんて見たことありません
そして
(A⇒B)∨(A⇒C)
これは論理学の世界では∀....(A⇒B)∨(A⇒C)と解釈されます
しかし、高校数学では(∀....A⇒B)∨(∀.....A⇒C)と解釈されるのです
164:１３２人目の素数さん
17/02/12 00:53:56.35 SGCj+4Yk.net
>>156 まずお前から処分せんとな
165:１３２人目の素数さん
17/02/12 02:17:29.63 j9HayjKs.net
>>160
堂々と嘘教えてるのか。やっぱ高校数学は違うわ。
166:１３２人目の素数さん
17/02/12 02:19:47.08 j9HayjKs.net
>>159
二直線上なんだけどな。
167:１３２人目の素数さん
17/02/12 10:02:31.26 Aeuf3/iN.net
Multivariable Mathematics
Theodore Shifrin
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この本がさっき6000円ちょいだったので注文したのですが、
間違って2冊注文してしまいました。
それで、キャンセルして再度注文しようとしたら、
1冊27000円ちょいになっていました。
なんなんですか？アマゾンって。
2冊も注文が入ったからこれは売れる商品だとシステムにより判定されて
いきなり価格を上げたんでしょうね。 <
168:br> 結局売れるはずはないと思うので、間抜けなことをやったことになりますね。
169:１３２人目の素数さん
17/02/12 10:17:12.34 Aeuf3/iN.net
>>164
の本は、
Calculus, 4th edition
by Michael Spivak
Link: URLﾘﾝｸ(a.co)
の文献案内で推薦されている本です。
170:１３２人目の素数さん
17/02/12 10:37:24.53 Aeuf3/iN.net
あ、
>>164
この著者の講義がYouTubeに公開されていますね。
見てみようと思います。
171:１３２人目の素数さん
17/02/12 10:47:05.23 Aeuf3/iN.net
>>166
100回に分かれていますね。
MITとかUC Berkeleyのより高度なんじゃないですか？
URLﾘﾝｸ(www.youtube.com)
172:１３２人目の素数さん
17/02/12 10:51:24.48 i9el1Aep.net
日本人を全員死刑にしろよ
173:１３２人目の素数さん
17/02/12 11:40:31.69 Aeuf3/iN.net
>>167
すこし見てみましたが駄目ですね。
レベルが低すぎます。
174:１３２人目の素数さん
17/02/12 11:42:07.87 Aeuf3/iN.net
>>164
買わなくてよかったと思いました。
175:１３２人目の素数さん
17/02/12 12:33:42.16 x+oe26ll.net
惨めなやっちゃ
176:１３２人目の素数さん
17/02/12 14:14:20.93 imW4VtuB.net
誰か避難所作ってよ
面倒なやつ多すぎる
177:１３２人目の素数さん
17/02/12 14:15:23.14 i9el1Aep.net
日本人は全員ゴミ
178:ようじょ ◆hNziS2E8421X
17/02/12 16:03:02.23 YcDOqRAW.net
>>163
二直線上なんですか？
初めてそれは知りましたー
179:１３２人目の素数さん
17/02/12 17:43:45.92 Aeuf3/iN.net
多変数の微分積分は、以下の本が評判がいいみたいですね。
Advanced Calculus of Several Variables (Dover Books on Mathematics)
by C. H. Edwards Jr.
Link: URLﾘﾝｸ(a.co)
Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus
by Michael Spivak
Link: URLﾘﾝｸ(a.co)
Functions of Several Variables (Undergraduate Texts in Mathematics)
by Wendell H Fleming
Link: URLﾘﾝｸ(a.co)
Analysis On Manifolds (Advanced Books Classics)
by James R. Munkres
Link: URLﾘﾝｸ(a.co)
180:１３２人目の素数さん
17/02/12 17:49:46.88 Aeuf3/iN.net
URLﾘﾝｸ(4.bp.blogspot.com)
↑志村五郎さん。
見た目は、普通のおじいちゃんですね。
河東泰之さんは、何か発表するときは、メモは見てはいけないと言っていましたね。
志村五郎さんは失格ですね。
181:１３２人目の素数さん
17/02/12 17:55:52.78 Aeuf3/iN.net
志村五郎さんが、解析学の本は私にはもう書けないからほかの人に以下のような
内容の本を書いてほしいみたいなこと書いていましたね。
そんなに解析学の入門書って書くのが難しいんですかね？
182:１３２人目の素数さん
17/02/12 18:04:25.78 7kOzZT9I.net
志村先生は現役の最高クラスの数学者だからね、
学生時代の志村先生に卒業論文を書いてもらいそれを横取りしてかろうじて卒業した
人たちには疎んじられているね。
日本の数学界は冷淡だとおもう。
183:１３２人目の素数さん
17/02/12 19:26:59.21 lXryA0vI.net
質問です。
一般の2次正方行列からなるベクトル空間Vにおいて、X∈Vとして
F(X)=BXA-X (Aは2次正方行列、BはAの転置)
で表されるV→Vの線形写像の表現行列を求めよ。ただしVの基は標準基
(1 0) (0 1) (0 0) (0 0)
(0 0) (0 0) (1 0) (0 1) の4つとする
って言う問題で、どうして行列を4次元列ベクトルとして扱っていいのでしょうか。また解答の上�
184:ﾅのちゃんとした表現方法が分からないのでどなたか解答を作っていただけないでしょうか。
185:１３２人目の素数さん
17/02/12 19:30:19.36 lXryA0vI.net
>>179
解く際に基を(1,0,0,0)、(0,1,0,0)…とかとしてみなす際に、こうしたら解けるのはわかるんですが、こうしていい理由とどのように説明を書けばいいかがわかりません
186:１３２人目の素数さん
17/02/12 20:13:10.23 j9HayjKs.net
>>180
まず、教科書で「線形空間」の定義を確認。
可換群(V,+)が体K上の線型空間であるとは、
K×V→Vの演算「スカラー倍」が存在して
∀a∈K,∀x,y∈V,a(x+y)=ax+ay.
∀a,b∈K,∀x∈V,(a+b)x=ax+bx.
∀a,b∈K,∀x∈V,(ab)x=a(bx).
∀x∈V,1x=x.
が成り立つこと。
2次正方行列からなるベクトル空間V
がこの定義を満たすことを確めよう。
次に、Vの基底を探して
４次元空間であることを確かめれば、
Vが４次数対ベクトルと同型であることが判る。
(1 0) (0 1) (0 0) (0 0)
(0 0) (0 0) (1 0) (0 1) の4つが、
生成系かつ一次独立であることを確かめよう。
あとは、基底の像を同じ基底の上に成分表示
すれば、表現行列が判るでしょ。
A=
(a b)
(c d) と置いて
X→F(x) が
(1 0 0 0)→( ad bd -ac -bc)/(ad-bc),
(0 1 0 0)→( cd d^2 -c^2 -cd)/(ad-bc),
(0 0 1 0)→(-ab -b^2 a^2 ab)/(ad-bc),
(0 0 0 1)→(-bc -bd ac ad)/(ad-bc).
187:１３２人目の素数さん
17/02/12 20:17:50.74 7/D48y22.net
来年がんばれ
188:１３２人目の素数さん
17/02/12 21:14:18.58 6JyceLdX.net
>>181
一番上の段落と一番下の段落は質問前から理解してるのですが、真ん中の段落の部分がいまいちわからなくて…
要するに4次数対ベクトルと同型？ということを説明すればいいのですか？
189:１３２人目の素数さん
17/02/12 21:14:49.29 6JyceLdX.net
同型の意味は調べてなんとなくわかりました
190:１３２人目の素数さん
17/02/12 22:31:11.51 j9HayjKs.net
A=
(1 0)
(0 0),
B=
(0 1)
(0 0),
C=
(0 0)
(1 0),
D=
(0 0)
(0 1)
と置くと、
Vの元は wA+xB+yC+zD (w,x,y,zはスカラー)
と書けるから、
R^4 の元を w(1,0,0,0)+x(0,1,0,0)+y(0,0,1,0)+z(0,0,0,1)
と書くのと一緒でしょ。
だから、wA+xB+yC+zD を (w,x,y,z) と書いてもいいでしょ
ということ。
線型写像の表現行列というのは、定義域を列ベクトルで表したとき
それに左から掛ける係数の行列のことだから、
まずはVを列ベクトルで表さないと、始まらない。
Vを列ベクトルで書いたとき、Vがもともと行列の集合だった
という情報は基底A,B,C,Dの具体的な値の中に封印されて、
４次元ベクトル空間としてのVからは見えなくなる。
191:１３２人目の素数さん
17/02/12 22:33:54.38 XfouVUDy.net
>>179の求めているのは丸写しできる答案だよ
192:１３２人目の素数さん
17/02/12 22:34:00.33 lXryA0vI.net
>>185
なるほど、それだけの話で良かったんですね！
もやもやがすっきりしました！ありがとうございました！
193:１３２人目の素数さん
17/02/12 22:48:20.55 Aeuf3/iN.net
f(x, y) が C^2 級ならば、 fxy = fyx という定理があります。
f(t), g(t) を第2次導関数まで持つことが保証された関数として、
F(x, y) := x * f(y/x) + g(y/x)
という関数を考えます。
そうすると、 F(x, y) は一般に C^2 級だとは言えません。
ところが、計算してみると、
Fxy(x, y)
=
(-y/x^2) * f''(y/x) - (1/x^2) * g'(y/x) - (y/x^3) * g''(y/x)
=
Fyx(x, y)
となります。
なんか不思議な感じがします。
f(x, y) を2階までの偏導関数をすべて持つ関数としたとき、
fxy = fyx
が成り立つための必要十分条件は知られていないのでしょうか？
194:１３２人目の素数さん
17/02/12 22:52:33.10 Va3CZlr7.net
またお前か、釣れるといいね
195:１３２人目の素数さん
17/02/12 22:54:31.54 Aeuf3/iN.net
>>188 微分法の公式にしたがって Algorithmical に機械的に計算すると Fxy と Fyx が同じ式になります。 C^2 級だとか、解析的な概念を持ち出さなくても、 ある条件下で、 Fxy = Fyx が成り立つことを Algorithmical に証明できないのでしょうか？
197:１３２人目の素数さん
17/02/12 22:56:56.21 Aeuf3/iN.net
解析的な高級な考えなど不要な場合がほとんどなのではないかと
思うのですが。
Algorithmic に示せるのではないでしょうか？
198:１３２人目の素数さん
17/02/12 22:58:04.20 Va3CZlr7.net
ど素人か
199:１３２人目の素数さん
17/02/13 00:08:30.97 KyP1zMXb.net
>>174
耳鳴な零点があるからな
200:１３２人目の素数さん
17/02/13 00:10:41.79 KyP1zMXb.net
>>177
簡単だと思うなら書けば？
批評してやるからさ
201:１３２人目の素数さん
17/02/13 01:29:44.05 68Tyk6ke.net
アミラーゼという酵素はグルコースがつながってできたデン
プンを分解するが、同じグルコースからできていても、形が
違うセルロースは分解できない。
質問：セルロースは（ ）と形が違う。
Ａ デンプン
Ｂ アミラーゼ
Ｃ グルコース
Ｄ 酵素
202:１３２人目の素数さん
17/02/13 01:44:38.11 /QbkJVVK.net
何この有機化学の問題と見せかけた国語の問題
203:１３２人目の素数さん
17/02/13 05:39:11.77 jwjGj+UW.net
デンプン（αらせん）
（大意）
デンプン（αらせん）の中のヨウ素は周囲の多数の酸素の孤立電子対と配位結合して電荷移動錯体を形成し得る。
アミラーゼと結合した場合には、何らかの理由で、エーテル結合が切れるらしい。
セルロース（βシート）では、そういう結合は立体的に難しそうだ。
204:１３２人目の素数さん
17/02/13 09:36:35.78 0C0ntJDr.net
AをC^∞ n-manifold M のopen setとしNをC^∞ d-manifold とする。
map f:A→N がC^∞ であるためにはN上のsubatlas中の各coordinate pair
(θ,U)に対しfunctions x_iοfがA∩f^(-1)(U)上C^∞であることが
必要かつ十分であることを示せ。ただしi=1,...,dに対しx_i=pr_iοθである
205:１３２人目の素数さん
17/02/13 13:28:28.17 XdJwJJm6.net
分からない問題を書けよ
206:１３２人目の素数さん
17/02/13 13:29:06.22 knaUGRug.net
リーマン予想がわかりません
207:１３２人目の素数さん
17/02/13 13:35:15.33 5svtNdfd.net
Analysis On Manifolds (Advanced Books Classics)
James R. Munkres
固定リンク: URLﾘﾝｸ(amzn.asia)
↑これ電子版だとポイントを考えると安いですね。
208:１３２人目の素数さん
17/02/13 13:55:00.36 5svtNdfd.net
URLﾘﾝｸ(imgur.com)
↑の例題6.40ですが、
r = r(x, y)
θ = θ(x, y)
となるような偏微分可能な関数の存在を暗に仮定しているようですが、
こういう解答でOKなのでしょうか？
もっと厳密に書くとするとどうなるのでしょうか？
209:１３２人目の素数さん
17/02/13 14:01:00.58 5svtNdfd.net
定義域が全く指定されていませんね。
210:１３２人目の素数さん
17/02/13 14:10:34.79 5svtNdfd.net
問題6.41も見てください。
211:１３２人目の素数さん
17/02/13 15:39:01.94 5svtNdfd.net
微分積分の本によくラプラシアンが登場しますが、何の役に立つのかを
書きもせずに、計算だけさせる意味はあるのでしょうか？
212:１３２人目の素数さん
17/02/13 15:57:06.72 AqHMUNdF.net
計算練習のための計算、それ以上の意味が必要あるのでしょうか？
213:１３２人目の素数さん
17/02/13 17:29:57.04 nNYfo5zY.net
>>205の発言で改めてこいつがどうしようもない馬鹿だということを認識させられた
214:１３２人目の素数さん
17/02/13 20:07:45.60 f6lx2NyV.net
ここにいる人らにとっちゃクソほど簡単だろうけど最近懐かしくなって数学勉強し直してる俺にはちんぷんかんぷんなんだ、誰か教えてくださいURLﾘﾝｸ(i.imgur.com)
215:１３２人目の素数さん
17/02/13 20:16:17.06 5svtNdfd.net
[+sqrt(5) + 1] / 4
[-sqrt(5) + 1] / 4
[+sqrt(5) - 1] / 4
[-sqrt(5) - 1] / 4
216:１３２人目の素数さん
17/02/13 20:18:24.14 5svtNdfd.net
>>208
URLﾘﾝｸ(www.wolframalpha.com)
217:１３２人目の素数さん
17/02/13 20:24:54.78 5svtNdfd.net
x = [+sqrt(5) + 1] / 4
y = [+sqrt(5) - 1] / 4
x = [+sqrt(5) - 1] / 4
y = [+sqrt(5) + 1] / 4
x = [-sqrt(5) + 1] / 4
y = [-sqrt(5) - 1] / 4
x = [-sqrt(5) - 1] / 4
y = [-sqrt(5) + 1] / 4
218:１３２人目の素数さん
17/02/13 20:37:12.73 f6lx2NyV.net
ご丁寧にありがとうございます
できれば最初の手の付け方も教えて欲しいのですが...
何度やっても答えが合わないもので...
219:１３２人目の素数さん
17/02/13 20:50:22.71 5svtNdfd.net
x^2 + x*y + y^2 = 1
y/x + x/y = 3
⇔
x^2 + x*y + y^2 = 1
x^2 - 3*x*y + y^2 = 0
⇔
x^2 + x*y + y^2 = 1
4*x*y = 1
⇔
(x + y)^2 = 1 + x*y
x*y = 1/4
⇔
(x + y)^2 = 5/4
x*y = 1/4
⇔
x + y = ±sqrt(5)/2
x*y = 1/4
220:１３２人目の素数さん
17/02/13 21:03:01.89 eRnnko3+.net
>>212
後者の分母を払った式（☆）と前者から xy の値が出る
これと☆から，結局円と双曲線の交点を求めることに帰着
221:１３２人目の素数さん
17/02/13 21:16:32.02 5svtNdfd.net
x + y = ±sqrt(5)/2
x*y = 1/4
⇔
0 = x^2 - (x + y)*x + x*y = x^2 ? [sqrt(5)/2]*x + 1/4
x + y = ±sqrt(5)/2
⇔
x = [±sqrt(5) ± 1] / 4
x + y = ±sqrt(5)/2
⇔
x = [+sqrt(5) + 1] / 4
y = [+sqrt(5) - 1] / 4
or
x = [+sqrt(5) - 1] / 4
y = [+sqrt(5) + 1] / 4
or
x = [-sqrt(5) + 1] / 4
y = [-sqrt(5) - 1] / 4
or
x = [-sqrt(5) - 1] / 4
y = [-sqrt(5) + 1] / 4
222:１３２人目の素数さん
17/02/13 21:18:08.93 5svtNdfd.net
x + y = ±sqrt(5)/2
x*y = 1/4
⇔
0 = x^2 - (x + y)*x + x*y = x^2 - [±sqrt(5)/2]*x + 1/4
x + y = ±sqrt(5)/2
⇔
x = [±sqrt(5) ± 1] / 4
x + y = ±sqrt(5)/2
⇔
x = [+sqrt(5) + 1] / 4
y = [+sqrt(5) - 1] / 4
or
x = [+sqrt(5) - 1] / 4
y = [+sqrt(5) + 1] / 4
or
x = [-sqrt(5) + 1] / 4
y = [-sqrt(5) - 1] / 4
or
x = [-sqrt(5) - 1] / 4
y = [-sqrt(5) + 1] / 4
223:１３２人目の素数さん
17/02/13 21:29:04.56 5svtNdfd.net
x + y = ±sqrt(5)/2
x*y = 1/4
⇔
0 = x^2 - (x + y)*x + x*y = x^2 - [±sqrt(5)/2]*x + 1/4
x + y = ±sqrt(5)/2
⇔
x = [+sqrt(5) ± 1] / 4
x + y = +sqrt(5)/2
or
x = [-sqrt(5) ± 1] / 4
x + y = -sqrt(5)/2
⇔
x = [+sqrt(5) + 1] / 4
y = [+sqrt(5) - 1] / 4
or
x = [+sqrt(5) - 1] / 4
y = [+sqrt(5) + 1] / 4
or
x = [-sqrt(5) + 1] / 4
y = [-sqrt(5) - 1] / 4
or
x = [-sqrt(5) - 1] / 4
y = [-sqrt(5) + 1] / 4
224:１３２人目の素数さん
17/02/13 21:42:27.74 f6lx2NyV.net
あああああやっと理解できました！
スッキリしてよく寝れそうです。ありがとうございました!
225:１３２人目の素数さん
17/02/13 23:15:02.54 6xtbScAl.net
>>119
ありがとう。しかし2進数や16進数の表現のしかたが載ってないように見えます
右下に小さく表示できないけど(2)や(16)じゃなくて(2進数)とか(16進数)とか
書いた方がいいんでしょうか
226:１３２人目の素数さん
17/02/13 23:20:44.43 5svtNdfd.net
16進数は、
0xFF
2進数は、
0b11111111
でいいのではないでしょうか？
227:１３２人目の素数さん
17/02/13 23:20:48.22 HHz/MYmO.net
>>219
書いたほうが誤解が生じなくてよいだろうが
たとえば TeX みたいに下付き添え字をアンダーバーの後に書く流儀もある
228:１３２人目の素数さん
17/02/14 11:05:54.83 u0CT/d+M.net
広義積分
∫[0,∞) sin(x^a) dx (a > 0)
が収束することの証明を教えてください
229:１３２人目の素数さん
17/02/14 11:08:47.88 u0CT/d+M.net
失敬
a > 0でなくa > 1です
230:１３２人目の素数さん
17/02/14 11:39:59.90 O2ee9de7.net
∫ sin(x^a) dx from x = 1 to x = ∞
=
∫ sin(x^a) dx from x = 0 to x = 1
+
∫ sin(x^a) dx from x = 1 to x = ∞
∫ sin(x^a) dx from x = 0 to x = 1 は連続関数の定積分だから収束の問題はない。
以下、 ∫ sin(x^a) dx from x = 1 to x = ∞ について考える。
x = t^(1/a) と置換する。
∫ sin(x^a) dx from x = 1 to x = ∞
=
∫ sin(t) * (1/a) * t^(1/a - 1) dt from t = 1 to t = ∞
=
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 1 to t = ∞
=
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 1 to t = π
+
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = π to t = 2*π
+
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 2*π to t = 3*π
+
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 3*π to t = 4*π
+
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 4*π to t = 5*π
+
… 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
231:１３２人目の素数さん
17/02/14 11:40:15.20 O2ee9de7.net
=
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 1 to t = π
+
a_1
+
a_2
+
a_3
+
a_4
+
…
但し、
a_n := (1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = n*π to t = (n+1)*π
とする。
明らかに、
Σa_n は交代級数だから、収束する。
∫ sin(x^a) dx from x = 1 to x = ∞ も収束することが分かる。
232:１３２人目の素数さん
17/02/14 11:41:03.40 O2ee9de7.net
>>224-225
訂正します↓
233:１３２人目の素数さん
17/02/14 11:41:30.43 O2ee9de7.net
∫ sin(x^a) dx from x = 0 to x = ∞
=
∫ sin(x^a) dx from x = 0 to x = 1
+
∫ sin(x^a) dx from x = 1 to x = ∞
∫ sin(x^a) dx from x = 0 to x = 1 は連続関数の定積分だから収束の問題はない。
234:１３２人目の素数さん
17/02/14 11:42:02.76 O2ee9de7.net
以下、 ∫ sin(x^a) dx from x = 1 to x = ∞ について考える。
x = t^(1/a) と置換する。
∫ sin(x^a) dx from x = 1 to x = ∞
=
∫ sin(t) * (1/a) * t^(1/a - 1) dt from t = 1 to t = ∞
235:１３２人目の素数さん
17/02/14 11:42:48.22 O2ee9de7.net
=
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 1 to t = ∞
236:１３２人目の素数さん
17/02/14 11:43:10.95 O2ee9de7.net
=
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 1 to t = π
+
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = π to t = 2*π
+
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 2*π to t = 3*π
+
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 3*π to t = 4*π
+
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 4*π to t = 5*π
+
…
237:１３２人目の素数さん
17/02/14 11:43:51.19 O2ee9de7.net
=
(1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = 1 to t = π
+
a_1
+
a_2
+
a_3
+
a_4
+
…
238:１３２人目の素数さん
17/02/14 11:44:21.95 O2ee9de7.net
239:但し、 a_n := (1/a) * ∫ sin(t) / t^(1 - 1/a) dt from t = n*π to t = (n+1)*π とする。 明らかに、 Σa_n は交代級数だから、収束する。 ∫ sin(x^a) dx from x = 1 to x = ∞ も収束することが分かる。
240:１３２人目の素数さん
17/02/14 12:42:22.85 d11paVjW.net
ふと疑問に思ったんですが、
位相空間の定理で、実数の性質を利用しない非構成的な存在定理って何かありますか？
実数の性質を ”利用する” 非構成的な存在定理の例：中間値の定理
241:１３２人目の素数さん
17/02/14 13:57:37.64 1BPv4iIy.net
中間値の定理は構成的な証明の方が分かり易いだろ
242:１３２人目の素数さん
17/02/14 14:56:25.20 O2ee9de7.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は、
（１）「平面上に与えられた n 点集合に対して、それらをちょうど2等分する直線が存在する。」
（２）「平面上に与えられた n 個の赤点と m 個の青点に対して、これを同時に2等分する直線が存在する。」
ということについてです。
（１）の証明で「ちょうど半分の点を通過した位置で止める。」と書かれていますが、これでは n が奇数のときに
駄目ですよね。
（２）の証明が意味不明です。
r(P), b(P) は一意的に決まりませんよね。まるで一意的に決まるかのように書いてあり意味不明です。
243:１３２人目の素数さん
17/02/14 15:14:21.07 O2ee9de7.net
（２）についてですけど、点 P の一によっては、 r(P), b(P) が存在しない場合がありますよね。
244:１３２人目の素数さん
17/02/14 15:14:45.75 O2ee9de7.net
（２）についてですけど、点 P の位置によっては、 r(P), b(P) が存在しない場合がありますよね。
245:１３２人目の素数さん
17/02/14 15:19:45.52 O2ee9de7.net
なんか色々といい加減すぎる本ですよね？
246:１３２人目の素数さん
17/02/14 15:29:04.99 hr+hlim+.net
華麗にスルー
247:１３２人目の素数さん
17/02/14 16:05:47.17 O2ee9de7.net
ちなみに、
>>235
の著者は日本数学会出版賞受賞者です。
248:１３２人目の素数さん
17/02/14 18:23:22.82 O2ee9de7.net
薩摩順吉さんの『微分積分』を読んでいますが、ひどい本ですね。
よくもこんないい加減な本が書けるものですね。
249:１３２人目の素数さん
17/02/14 18:31:27.86 M+pXWBFn.net
>>241
お前そろそろ黙れや
スレチなのもわからんのかボケ
250:１３２人目の素数さん
17/02/14 18:32:50.80 pdIPr4rH.net
DQNな糞ガキが、「専売特許お休み。」だって。
251:１３２人目の素数さん
17/02/14 19:09:28.55 YVVOcGxJ.net
日本人を全員死刑にしろよ
252:１３２人目の素数さん
17/02/14 20:41:09.12 pdIPr4rH.net
DQNな糞Japには日本語も英語も通じないのだろうよwww
253:１３２人目の素数さん
17/02/14 22:44:29.15 2PJ9IkSB.net
ハングルなら、通じるのか？
日本人を名乗る一部不穏分子に。
254:１３２人目の素数さん
17/02/14 22:51:11.14 N7ixNUsB.net
ホロン部だよ、在日工作員
255:１３２人目の素数さん
17/02/15 00:56:09.33 I5hK7W3/.net
ガロアの政治思想はいかなるものか
教えてください。
少年ガロアが軽蔑するような俗っぽいのはおことわりします。
256:１３２人目の素数さん
17/02/15 03:13:08.31 CYhrFHdU.net
>>235
(1)
n点のうちの2点以上を通る直線はＣ[n,2］本以下なので、そのどれにも平行でない方向ｘを定める。
ｘに垂直な直線は、n点のうちの2点以上を通らない。
各点を通りｘに垂直なn本の平行線を曳く。
（n点集合に順序構造が入る。）
・nが奇数のとき、両端から(n+1)/2本目の直線をとる。
・nが偶数のとき、（n/2)本目と（n/2＋1)本目の間の任意の平行線と考える。
(2)
平行線の向きｘを動かすとき、
ｒ(P)、ｂ(P)が不連続となるのはC[n,2］個以下の方向。
ｘが180°回れば ｒ(P)－ｂ(P) の符号が反転するので、その中間に、正負の境界方向がある。
257:１３２人目の素数さん
17/02/15 08:42:56.19 y2PWTIdo.net
流れ変えてすみません。正三角形ABCの頂点Bから対辺CAに向かって光を撃つ。撃ち出す方向を辺BCから見て角
258:度θ(0<θ<π/3)で定義する。光が辺AB,BC,CAで合計2p-3回（pは素数）反射して頂点に到達する様なθでk番目に小さいものをθ_kとする。cosθ_kを求めてください。
259:１３２人目の素数さん
17/02/15 08:43:41.52 y2PWTIdo.net
正三角形ABCの頂点Bから対辺CAに向かって光を撃つ。撃ち出す方向を辺BCから見て角度θ(0<θ<π/3)で定義する。光が辺AB,BC,CAで合計2p-3回（pは素数）反射して頂点に到達する様なθでk番目に小さいものをθ_kとする。cosθ_kを求めよ。
260:１３２人目の素数さん
17/02/15 09:09:34.35 7Pef2sID.net
>>251
2*p - 3 回反射して頂点に達するような θ は 0 にいくらでも近いものが存在するため、
答えはありません。
261:１３２人目の素数さん
17/02/15 09:24:35.88 7Pef2sID.net
p を任意の素数とします。
θ = Arctan(sqrt(3) / (2*p - 1))
の角度で光を放つと、 2*p - 3 回反射して頂点に達します。
θ = Arctan(sqrt(3) / (2*p - 1)) → 0 (p → ∞)
です。
262:１３２人目の素数さん
17/02/15 10:13:37.67 ZHkQ9Z1L.net
>>252
pは素数の「定数」ってことじゃないの？
>>251
線分CAをn等分する点をCに近い方から順にP_k（k=1～p-1）とおくと
θ_k=∠CBP_k
cosθ_k=(2p-k)/(2√(p^2-pk+k^2))
正三角形で埋め尽くした格子（そのうち１つがABC）を考え、
Bを始点とし線分CAと交わり2p-3回（CAを含む）格子線と交わって他の格子点を終点とする
線分を探すと、終点は∠ABCを1つの角とする１辺pの正三角形におけるBの対辺上に並ぶ。
263:１３２人目の素数さん
17/02/15 10:20:00.82 ZHkQ9Z1L.net
p=5の場合
sssp://o.8ch.net/p596.png
264:１３２人目の素数さん
17/02/15 10:38:17.65 ZHkQ9Z1L.net
BC方向にx軸、BA方向にy軸をとるような斜交座標系xyをとると
x,yが整数となるのが格子点で、
x=l, y=m, x+y=n（l,m,nはそれぞれ整数）が格子線。
終点の座標をP(x,y)とすると、線分OPが途中交わるのは
x=lタイプがx-1本，y=mタイプがy-1本，x+y=nタイプがx+y-1本なので
合計すると2x+2y-3本であり、
2x+2y-3=2p-3のとき、(x,y)は格子線x+y=p上にある
というお話。
265:１３２人目の素数さん
17/02/15 10:50:16.82 ZHkQ9Z1L.net
ちなみに、xとyが互いに素でなければ、OPは途中で他の格子点を通ることになるが
pが素数だと、x+y=p，x>0，y>0となる格子点P(x,y)において
x,yが互いに素であることが保証されている。
266:１３２人目の素数さん
17/02/15 12:17:25.91 sbPFmsvM.net
ワンパターンの
「何かのレッテル(カラオケ総理などか？)＋お休み。」
とDQNな声が聞こえてきた。
用がないのなら意味不明な声を聴かせるなゴミ。
267:１３２人目の素数さん
17/02/15 12:36:04.36 sbPFmsvM.net
面と向かってものを言うことができずに、匿名性を担保しながら意味不明な
誹謗をする女々しい糞ガキは死んでいいよ。
268:１３２人目の素数さん
17/02/15 12:45:41.21 ZHkQ9Z1L.net
>>254 修正
誤：線分CAをn等分する点
正：線分CAをp等分する点
269:１３２人目の素数さん
17/02/15 14:48:58.77 PdKLyX/p.net
>>252
>>253
恥ずかし
270:１３２人目の素数さん
17/02/15 18:25:39.96 7Pef2sID.net
山本直樹さんの複素関数論の基礎って評価がいいですね。
YouTubeに講義動画もあるんですね。
いい本なんですか？
271:１３２人目の素数さん
17/02/15 19:38:19.39 9Bf5sKiV.net
山本直樹なら、「ＲＥＤ」のほうが。
272:１３２人目の素数さん
17/02/15 21:55:48.90 7Pef2sID.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は山本直樹さんの複素関数論の本です。
z と conj(z) が独立な変数というのはどういうことなのでしょうか？
意味不明です。
273:１３２人目の素数さん
17/02/15 22:01:54.16 Mb3Vajad.net
>>252
これ意味がわからないんだけど、誰か解説して
274:１３２人目の素数さん
17/02/15 23:12:50.78 LzEWdene.net
>>264
お前の言いたいことが意味不明
275:１３２人目の素数さん
17/02/15 23:16:01.20 7Pef2sID.net
>>266
z が決まれば conj(z) も決まりますよね。独立じゃありません。
276:１３２人目の素数さん
17/02/15 23:29:31.68 sbPFmsvM.net
糞ガキに命令される覚えはない、黙れDQN
277:１３２人目の素数さん
17/02/16 12:00:49.24 9NeXnC0v.net
あれは、良くないよね。
初学者むけの説明なのに、初学者には解りにくい。
正当化するには、
複素関数f(z)をz=x+yiで実２変数関数f1(x,y)と見て、
これを解析接続で複素２変数関数f2(x,y)とし、
w=x-yiで変数変換してf3(z,w)にすればいい。
x,yが実数のときw=conj(z)だからといって
はしょってconj(z)と書いてしまうから、
話が判りにくくなる。
難易度的にも、微分可能性の説明をするときに
持ち出すような話ではないし。
公式暗記のためのゴロとしては、かなり筋が悪い。
いろんな入門書に書かれてあるけれど、
出展はどこなんだろうね？
278:１３２人目の素数さん
17/02/16 12:27:48.75 U8YXixDr.net
>>263
敢えて俺は感謝の意をあなたに表明したい
最近マンガにめっきり疎くなってるのだ
279:１３２人目の素数さん
17/02/16 12:52:02.49 pFe1kw0v.net
正三角形で
点A(5, 6)と点B(8, 9)がわかるときに点Cを求め方を教えてください
280:１３２人目の素数さん
17/02/16 13:20:07.97 gZnENlzW.net
点C(x, y)とおいてAB^2=BC^2=CA^2を解く
281:１３２人目の素数さん
17/02/16 14:14:45.60 fjjGt01i.net
URLﾘﾝｸ(youtu.be)
>>264
YouTubeの講義動画ではこのあたりが該当します。
>>269
意味が分かりません。
とにかく、よくないということですね。
282:１３２人目の素数さん
17/02/16 14:15:35.19 rc9QtSb1.net
お前はよくない
283:271
17/02/16 18:27:45.16 LpGwwBnW.net
>>272
AB^2=BC^2=CA^2は具体的にどうやって解くのでしょうか？
284:１３２人目の素数さん
17/02/16 18:47:58.79 mABmrzoR.net
>>275
例えば点A(5, 6)と点B(8, 9)からAB^2って計算出来る？
285:271
17/02/16 18:58:52.36 LpGwwBnW.net
>>276
わかりません(>_<)
286:１３２人目の素数さん
17/02/16 19:10:40.23 wgG3rMVw.net
Thue ってカタカナ英語だとなんてよべばいいですか？
287:１３２人目の素数さん
17/02/16 20:29:05.28 YAWFo7tQ.net
>>278
トゥエ
288:１３２人目の素数さん
17/02/16 20:59:09.42 wgG3rMVw.net
>>279
ありがとうございます
289:１３２人目の素数さん
17/02/17 00:38:20.73 MGsS9i/7.net
(Z Y)
(Y 1/Z)
この行列が直交行列になる時、ZとYの値をそれぞれ求めよ
お願いします。
(
(←繋がってると思ってください
290:１３２人目の素数さん
17/02/17 07:08:09.35 PgYlvDxD.net
列ベクトルが正規直交
Y=0,Z=±1,
291:１３２人目の素数さん
17/02/17 08:52:14.18 H5fwYx8Q.net
息子に聞かれたのですが作図の問題です。
l,mの2直線があり、l上に点Aがある。
このAに接してなおかつ直線mにも接する円を書きなさい
とのことなんですが、
息子は点Aを通り直線lに対する垂線を、直線mにも交わるところまで引き、
その直線mにできた交点と点Aの垂直二等分線を引いて、垂線と交わったところを中心とする円を作図しました。
ですが不正解とされていました。
中心から点Aと直線m上にできた交点までの距離は等しいので正解だと思うのですが、私の知識不足で説明できません。
どなたか教えていただけるとありがたいです。
よろしくお願いします。
※わかりづらく
292:てすみません。
293:１３２人目の素数さん
17/02/17 09:33:18.77 i9/wTMzE.net
マルチだったのかよ
294:１３２人目の素数さん
17/02/17 09:40:55.94 sGaPnqdz.net
なぜ、マルチだと問題なのでしょうか？
295:１３２人目の素数さん
17/02/17 11:26:19.93 /Qo7JN6b.net
下が答えじゃないかなあ？
直線l,mが平行なとき:
点Aから直線lの垂線nを引いたときmとの交点をBとする。ABの中点が問題の円の中心。
直線l,mが平行でないとき:
点Aから直線lの垂線nを引く。
直線l,mの交点をCとして、角Cの二等分線oを引き、nとoの交点が問題の円の中心。
296:１３２人目の素数さん
17/02/17 13:47:30.90 gjziQhBR.net
>>285
他で答えられてる事を答えても無駄なだけさ
297:１３２人目の素数さん
17/02/17 13:48:45.35 sOfDYXTv.net
超作業のパラドックスについて詳しく教えてください
アキレスと亀のパラドックスにおいて、アキレスが少し進むたび自然数を数え上げたとしたら、亀に追いついた瞬間、アキレスは全ての自然数を数え上げたことになるのでしょうか
298:１３２人目の素数さん
17/02/17 13:51:51.83 VcUlMetx.net
>>285
他で書かれた答えと比較されて下に見られるのが嫌だから
299:１３２人目の素数さん
17/02/17 15:19:49.13 H5fwYx8Q.net
>>286さん
ありがとうございます！
平行かそうではないかで作図の仕方も変わるのですね。
無知で申し訳ないのですが、なぜ平行の時しかそのやり方でを使えないのでしょうか？
教えていただけるとありがたいです
300:１３２人目の素数さん
17/02/17 15:39:16.16 GaqnD246.net
その答えは向こうで俺が書いた
だからマルチはダメなんだよ
301:１３２人目の素数さん
17/02/17 17:05:01.17 pHsZw4yA.net
アティマクより、
Aは体である⇔Aから零でない環Bへのすべての準同型写像は単射である
⇒は簡単に示せるのですが⇐が示せません
教えてください
302:１３２人目の素数さん
17/02/17 17:57:41.61 dwcVChaB.net
Aの勝手なイデアルIをとってB=A/Iとする
AからBへの自然な準同型が単射になるから、Aには自明なイデアルしか存在しない
303:271
17/02/17 18:42:15.58 7PE/rEtb.net
AB^2ってどうやって計算するのでしょうか？
304:１３２人目の素数さん
17/02/17 18:54:36.59 pHsZw4yA.net
>>293
なぜB=A/Iと限定していいのでしょうか？
305:１３２人目の素数さん
17/02/17 19:34:48.02 V6DVmrAJ.net
>>288
わからないんですか？
306:１３２人目の素数さん
17/02/17 20:19:08.71 dwcVChaB.net
>>295
限定というか、任意の環Bへの準同型が単射って意味なんじゃないの
ある環Bに対してだったら例えばA=Z(整数全体)とB=R(実数全体)とおけば、
ZからRへの準同型はidしかないから単射になるけど、Zは体じゃないから反例になる
307:１３２人目の素数さん
17/02/17 20:31:11.74 sGaPnqdz.net
数学書の価格ってどうやって決めているのでしょうか？
検討もつかないのですが。
308:１３２人目の素数さん
17/02/17 20:37:54.28 zG/5erT9.net
>>295
示すことは「Aのイデアルは0orAしかない」
これを示す為に任意のイデアルIをとってB=A/Iとおいて、もしI≠A(すなわちB≠0)であれば仮定から標準射影A→B=A/Iが全(単)射になるからI=0
309:１３２人目の素数さん
17/02/17 20:41:48.99 zG/5erT9.net
最後の行、括弧の位置がおかしいことになっとる
適当に補完して
310:１３２人目の素数さん
17/02/17 20:46:13.74 RQasBJ2K.net
>>297
>>299
うわああ初歩的な勘違いをしていました
ありがとうございました
311:１３２人目の素数さん
17/02/17 22:07:25.83 PgYlvDxD.net
>>288
自然数を数えるには、ある有限の時間が必要だが、
アキレスが亀の前位置へ移動する時間は
ステップが進むにつれて０へと収束するから、
どこかの時点で数え上げは間に合わなくなって
問題の仮定が破綻する。
312:１３２人目の素数さん
17/02/17 23:09:22.51 sOfDYXTv.net
>>302
数える時間を0にできると仮定したら、どのようになりますか？
313:１３２人目の素数さん
17/02/17 23:35:10.00 dzWVAE8d.net
三行三列の逆行列を求めよって問題なんですけど
これって三行三列を二行二列に変換してからその二行二列の逆行列を求めるじゃ駄目なんですか？
314:１３２人目の素数さん
17/02/17 23:45:22.46 JZD7TO/C.net
もう間に合わないから来年がんばれ
315:１３２人目の素数さん
17/02/18 02:43:44.81 sfNuvFOa.net
アキレスと亀って実際極限に飛ばしたら0になるから追い抜く事は出来ないけど追い付く事は出来るよな。
316:１３２人目の素数さん
17/02/18 03:50:49.47 fmj92OTK.net
>>304
行列のサイズを自由に変更できる能力者すげえ
317:１３２人目の素数さん
17/02/18 08:05:06.25 x3on7og6.net
>>303
ザ・ワールドの世界だから亀もアキレスも止まる
318:１３２人目の素数さん
17/02/18 09:44:20.38 NeZInYAW.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑
>>264
に関係することが書かれていると思いますが、
やはり、 z と conj(z) が独立な変数というの
が分かりません。
解説をお願いします。
319:１３２人目の素数さん
17/02/18 09:48:47.16 NeZInYAW.net
徹底入門 解析学
梅田 亨
固定リンク: URLﾘﾝｸ(amzn.asia)
↑もう発送されたようですが、読んだ人がいましたら、レビューをお願いします。
320:１３２人目の素数さん
17/02/18 11:23:37.58 Gk0oEv+D.net
>>298
編集などの段階で、随筆などのような他の類の本と同様に考えて、
それらと同じ部数の数学書を発行しても、随筆などとは違い、
全部発行した数学書を売り切ることは難しい。買い手が限られるから、そうなる。
そういことから、随筆などのような一般人がよく読む類の本の需要に比べ、
数学書の需要は低いという見込みは、発行前に大体すぐ見込みが付く。
だから、他の類の本の出版時の発行部数に比べ、出版時での数学書の発行部数は少なくなる。
出版した(売る予定の数学書を書いた)時点で、発行した数学書への著作権が著者に生じる。
その段階で、著者への数学書を売ることによる著作権料を考えるようになる。
出版する数学書の発行部数は少ないから、他の本の類の本に比べ、一冊当たりの値段は高くなる
ことが多く、一冊当たりの著者への著作権料は多くなることが多い。
これは、需要と供給の関係からして考えても、そうなることが多い。
しかし、供給が少ないから、数学書を書いても著者の儲けは少なくなることが多い。
あとは、出版する数学書の中身に対する需要や供給のこと、
どんな製造工程を経て売り出すかのことなどを考えることがあるかもは知れない。
正確な値段の決め方は知らないが、基本的には
以上のようなことが背景にあって値段を決めていることが多い。
321:１３２人目の素数さん
17/02/18 11:46:11.38 Pih1/QfO.net
>>306
なぜですか？
Sn=Σ[k=1→n]1/2^kとしたとき、nがどの値になったらSnが1になるのでしょうか？
322:１３２人目の素数さん
17/02/18 11:49:24.54 PK8kxiBH.net
310 名前：あぼ～ん[NGEx:age] 投稿日：あぼ～ん
323:１３２人目の素数さん
17/02/18 12:13:41.67 o0UUFX8/.net
微分可能の問題の記述の仕方を教えてください
324:１３２人目の素数さん
17/02/18 13:12:50.42 3eI+lvH3.net
{問題(x+h)-問題(x)}/hのh->0の極限が存在するか
325:１３２人目の素数さん
17/02/18 14:07:01.06 X2Mq+uhy.net
>>290
間違っているから、としか言いようがないなあ
平行でないときが原則的な解法で
平行なときには使えないから、別の解法にする
という視点で解答を読まないと
いつまで経っても分からないと思うよ
326:１３２人目の素数さん
17/02/18 19:48:11.14 NeZInYAW.net
>>311
同じ数学書の同じ分野の本でも価格に大きな開きがありますよね。
それが謎なんです。
327:１３２人目の素数さん
17/02/18 19:52:59.33 NeZInYAW.net
例えば、
平井武さんの表現論の本と同じシリーズの岡本和夫さんの
328: ゴミみたいな微分積分の本がなぜか高いです。 このシリーズは高いです。
329:１３２人目の素数さん
17/02/18 19:56:04.22 NeZInYAW.net
書泉グランデに志賀浩二さんが来店した際の写真とサインが飾ってありました。
あと森重文さんのサインも。
店員さんって数学者の顔をおぼえているんですか？
なんかのイベントで来たんですかね？
それとも私は数学の本をたくさん書いている志賀ですとか店員さんにつぶやいたんですかね。
書泉グランデってなんかカバーの色があせたような劣悪な本が多いですね。
330:１３２人目の素数さん
17/02/18 20:49:37.56 NeZInYAW.net
古典力学の数学的方法って復刊してたんですね。
思わず買いそうになりました。
331:１３２人目の素数さん
17/02/18 20:50:37.93 NeZInYAW.net
URLﾘﾝｸ(www.iwanami.co.jp)
在庫ありになっていますね。
332:１３２人目の素数さん
17/02/18 20:55:22.03 NeZInYAW.net
新しい微積分<上> (KS理工学専門書)
長岡 亮介
固定リンク: URLﾘﾝｸ(amzn.asia)
新しい微積分<下> (KS理工学専門書)
長岡 亮介
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この本、ひどい本でした。
買わない方がいいですよ。
333:１３２人目の素数さん
17/02/18 21:07:30.96 jz5W0xmI.net
322 名前：あぼ～ん[NGEx:age] 投稿日：あぼ～ん
334:１３２人目の素数さん
17/02/18 21:17:40.17 6PlNJpF0.net
>>322
どうひどかったのか具体的に
335:１３２人目の素数さん
17/02/18 21:20:16.93 QHejU4N3.net
質問です。
四次関数とx軸に囲まれる部分が3つあるとき、これら三つの面積が全て等しくなることはあり得るか。また、そのときの条件は何か？
336:１３２人目の素数さん
17/02/18 21:20:27.28 clVPriM0.net
「買わない方がいい」とは、かなりの褒め言葉だね
詳細きぼん
337:１３２人目の素数さん
17/02/18 21:22:30.35 clVPriM0.net
グラフと関数の区別をつけないのって、最近の流行りなの？
338:１３２人目の素数さん
17/02/19 00:11:21.71 QR4gB1BX.net
>>320
君にレスはしたくなかったんだが、敢えて言おう
アーノルドはとりあえず買っとけ。以上だ。
339:１３２人目の素数さん
17/02/19 10:50:16.24 IEnzEBD0.net
>>328
ありがとうございます。
よく見たら、翻訳者に「蟹江幸博」という人が含まれていますね。
この人の翻訳は、超低クオリティのものばかりなんですよね。
340:１３２人目の素数さん
17/02/19 10:51:14.32 Vc5OgW99.net
屑同士仲良きことかな
341:１３２人目の素数さん
17/02/19 11:24:11.15 03om3TeF.net
絡みスレ(IDなし)28
ｽﾚﾘﾝｸ(ms板)
317 名前:探索中 ◆AAEUGrbb0o ＠無断転載は禁止 [sage] :2017/02/18(土) 21:07:30.57 ID:F43lLkPc0
あんまり知らないのだけど量子力学は
数学のコインコサインだのの図形方面と
三次関数の方面で
いわば立体的なウネウネの波についてあーだこーだ言う学問だと思っている
波はリボンみたいにくっついてないし波だから物すらないかもだけど波は規則性がある
そこんところを解明するとかで
学問そのものは昔からあったと思うよ
よく理解している人がいたらこの理解で正しいか教えて欲しいものだけど
確か、この波が延びていく率かなんか調べて宇宙が膨張しているとかの証明になったはずなんだけど
これは記憶だけのことでネットで調べても正しいのかどうかわかりません
詳しく説明できる人がいたら教えて欲しいものです
但しサルでも判るレベルで
342:１３２人目の素数さん
17/02/19 11:38:53.67 v3IMFvAI.net
他人のコメをコピペしてる奴って何をしたいんだろね
343:１３２人目の素数さん
17/02/19 13:12:55.88 03om3TeF.net
サルに判るレベルで説明してほしいの
344:１３２人目の素数さん
17/02/19 13:47:18.38 YMWST063.net
7^(7^(7^... mod 10^k を高速に求める方法を解説しているサイトはありますか？周期性を使って解けない事もないのですがもっと早く出来ると言われました(7^7^7^7mod10000が3分で出来るらしい)
345:１３２人目の素数さん
17/02/19 14:30:12.61 Yan3zfQD.net
このサルゥ！
346:１３２人目の素数さん
17/02/19 14:54:22.07 +9KksWP4.net
>>334
スレ立てるまでもない質問はここで 145匹目©2ch.net
ｽﾚﾘﾝｸ(tech板:692番)
347:１３２人目の素数さん
17/02/19 16:45:43.00 LNLjMRQh.net
到達不可能奇数ってなんですか？
348:１３２人目の素数さん
17/02/19 16:49:41.70 h1NYsruz.net
到達できないくらい大きな奇数
349:１３２人目の素数さん
17/02/19 19:00:59.45 IEnzEBD0.net
>>334
n と k が入力で、
7^n mod 10^k が出力でしょうか？
350:１３２人目の素数さん
17/02/19 19:09:31.33 IEnzEBD0.net
>>334
n = a_m*^2^m + a(m-1)*2^(m-1) + … + a_1*2^1 + a_0
a_i ∈ {0, 1}
a_m = 1
とします。
7^2 mod 10^k
7^4 = (7^2) * (7^2) mod 10^k
7^8 = (7^4) * (7^4) mod 10^k
…
7^(2^m) = 7^(2^(m-1)) * 7^(2^(m-1)) mod 10^k
を計算します。
I = {i | 0 ≦ i ≦ m, a_i = 1}
とします。
Π_{i ∈ I} 7^(2^i) mod 10^k
を計算します。
これで log(2, n) 回に比例する回数の掛け算で計算できます。
351:１３２人目の素数さん
17/02/19 19:10:03.99 IEnzEBD0.net
>>334
n = a_m*2^m + a(m-1)*2^(m-1) + … + a_1*2^1 + a_0
a_i ∈ {0, 1}
a_m = 1
とします。
7^2 mod 10^k
7^4 = (7^2) * (7^2) mod 10^k
7^8 = (7^4) * (7^4) mod 10^k
…
7^(2^m) = 7^(2^(m-1)) * 7^(2^(m-1)) mod 10^k
を計算します。
I = {i | 0 ≦ i ≦ m, a_i = 1}
とします。
Π_{i ∈ I} 7^(2^i) mod 10^k
を計算します。
これで log(2, n) 回に比例する回数の掛け算で計算できます。
352:１３２人目の素数さん
17/02/19 19:10:43.18 IEnzEBD0.net
訂正します：
>>334
n = a_m*2^m + a_(m-1)*2^(m-1) + … + a_1*2^1 + a_0
a_i ∈ {0, 1}
a_m = 1
とします。
7^2 mod 10^k
7^4 = (7^2) * (7^2) mod 10^k
7^8 = (7^4) * (7^4) mod 10^k
…
7^(2^m) = 7^(2^(m-1)) * 7^(2^(m-1)) mod 10^k
を計算します。
I = {i | 0 ≦ i ≦ m, a_i = 1}
とします。
Π_{i ∈ I} 7^(2^i) mod 10^k
を計算します。
これで log(2, n) 回に比例する回数の掛け算で計算できます。
353:１３２人目の素数さん
17/02/19 19:12:38.44 IEnzEBD0.net
>>334
その計算ならよほど n が大きくない限り3分もかからないと思います。
354:１３２人目の素数さん
17/02/19 19:13:41.88 IEnzEBD0.net
>>334
あ、 7*7*… じゃなくて 7^7^7… でしたね。
無視してください。
355:１３２人目の素数さん
17/02/19 19:16:53.47 IEnzEBD0.net
>>334
f(m) = 7^m mod 10^k
(f^n)(m) を計算する際、
k と n がどれくらいの大きさなのかを指定したほうがいいかと思います。
356:１３２人目の素数さん
17/02/19 19:17:21.69 IEnzEBD0.net
訂正します：
>>334
f(m) = 7^m mod 10^k
(f^n)(1) を計算する際、
k と n がどれくらいの大きさなのかを指定したほうがいいかと思います。
357:１３２人目の素数さん
17/02/19 19:18:52.29 IEnzEBD0.net
訂正します：
訂正します：
>>334
f(m) = 7^m
(f^n)(1) mod 10^k を計算する際、
k と n がどれくらいの大きさなのかを指定したほうがいいかと思います。
358:１３２人目の素数さん
17/02/19 19:30:30.03 nstFaPN+.net
何回訂正するんだよ
深呼吸して落ち着いてから書けよ
359:１３２人目の素数さん
17/02/19 20:45:15.63 ACKTeiwZ.net
完全性定理と不完全性定理というものがあるそうですが、これは矛盾ではないのでしょうか？
360:１３２人目の素数さん
17/02/19 21:45:59.02 YMWST063.net
>>334 に関わる質問なんですが、
7^m=1(mod n)なる最小の自然数mを簡単に(実際に累乗せずに)出す方法はありますか？nは7と互いに素です
カーマイケルの定理なるものをみつけたのですが底を7に限った時の最小解がほしいです
361:１３２人目の素数さん
17/02/19 22:18:15.40 IEnzEBD0.net
>>350
結局、周期を求めたいということですよね。
周期を利用しないで、周期を利用した場合よりも速く計算できるとは思えないのですが。
362:１３２人目の素数さん
17/02/19 22:35:45.58 IEnzEBD0.net
>>350
Baby Step Giant Step アルゴリズムというのがあったと思います。
363:１３２人目の素数さん
17/02/19 22:36:38.32 IEnzEBD0.net
>>350
7 に限った場合にのみ有効な方法ではありませんが。
364:１３２人目の素数さん
17/02/19 22:46:40.39 IEnzEBD0.net
>>334
3分というのが分かりません。
手計算でということでしょうか？
計算機を使い周期を使えば明らかに一瞬で答えが求まるのではないでしょうか？
365:１３２人目の素数さん
17/02/19 22:53:32.21 YMWST063.net
>>353
ありがとうございます
カーマイケルのようなO(1)に近いアルゴリズム(実はn=10^kしか使わないので素因数分解が要らない)は無さそうですかね？
366:１３２人目の素数さん
17/02/19 22:58:18.43 IEnzEBD0.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑が Baby Step Giant Step アルゴリズムです。
367:１３２人目の素数さん
17/02/19 23:35:36.58 YMWST063.net
>>356
今考えている計算法は
7^n mod 10^kの周期を求める->P
mod Pの周期を求める-> Q
mod Qの周期...
7^n mod 2 = 1
と調べていくのですが、もしこの周期の導出がbaby stepのような探索ではなく、一発で出せるようなものだったら計算が楽で嬉しいんですよ
(さらにmod 10^kの周期=10^(k-1)みたいな規則性があったらもっと嬉しい)
368:１３２人目の素数さん
17/02/20 19:12:23.92 SAZfG5/a.net
確率の問題です。座席番後が書かれた五枚の
くじを用意し、ABC通路DEのように通路を挟
む特急列車で、太郎、花子、次郎、明、広美
の五人がくじを一枚ずつ引いてそれぞれの座
席に座る。五人のうち太郎と花子が隣同士に
なる確率を求めよ。
ただし、通路を隔てた場合は、隣同士ではな
いとする。また、どのくじの引きかたも同様
に確からしいとする。
高校入試の問題ですが、高校の順列、確率を
使って解きたいのですが、うまく答えがでま
せん。答えは3/10です。Hを使う重複順列を
試みたのですが、ダメぽいです。
良い解法があればよろしくお願いします。
369:１３２人目の素数さん
17/02/20 19:26:09.98 ulbYkxwx.net
例の圧力を感じる問題文ですね
太郎、花子、次郎、明、広美の５人がいます
・男は何人ですか？
・女は何人ですか？
で悩むようなネーミング
370:１３２人目の素数さん
17/02/20 19:52:08.54 +meTYPmg.net
totoBIGで25溝0316穣0000杼0000垓0000京0000兆0000億0000万0000分の1事象が発生したらしいけど
数学板ではこの問題をどうとらえますか？
371:１３２人目の素数さん
17/02/20 20:06:36.17 cuC1MFVr.net
量子力学で電子がある位置に存在する確率というのがあると思います。
例えば、地球上にある水素原子の電子が土星に存在する確率というのも
ゼロではないのでしょうか？
そもそも、存在するとはどういうことなんでしょうか？
372:１３２人目の素数さん
17/02/20 20:16:46.47 kN1wqPrk.net
なんでここにマルチする、馬鹿か
373:１３２人目の素数さん
17/02/20 20:33:21.62 SAZfG5/a.net
358です。はい、滋賀の県立入試問題です。
もしかしたら、自己解決したかもです。
仕切りを2個で計算してました。
1個で計算すると、この順列の総数は
3×2×6!/(5!1！)＝36通り
(太郎＋花子の組み合わせは3×2通り)
となり、確率は36/5！＝3/10
合ってますか？
合ってたら息子に説明できそうです。
374:１３２人目の素数さん
17/02/20 20:39:42.95 cuC1MFVr.net
>>358
太花■ ■■ … 3! = 6 通り
花太■ ■■ … 3! = 6 通り
■太花 ■■ … 3! = 6 通り
■花太 ■■ … 3! = 6 通り
■■■ 太花 … 3! = 6 通り
■■■ 花太 … 3! = 6 通り
6*6 / 5! = =6 / 4*5 = 3 / 10
375:１３２人目の素数さん
17/02/20 20:40:43.82 cuC1MFVr.net
訂正します：
>>358
太花■ ■■ … 3! = 6 通り
花太■ ■■ … 3! = 6 通り
■太花 ■■ … 3! = 6 通り
■花太 ■■ … 3! = 6 通り
■■■ 太花 … 3! = 6 通り
■■■ 花太 … 3! = 6 通り
6*6 / 5! = 6 / 4*5 = 3 / 10
376:１３２人目の素数さん
17/02/20 20:55:04.88 FI0+7paT.net
マルチ質問者が叩かれるのは良く見るが、
マルチと百も承知の上で回答する奴を叩かないのはなぜ？
377:１３２人目の素数さん
17/02/20 20:56:15.26 cuC1MFVr.net
「マルチ」はなぜいけないのでしょうか？
378:１３２人目の素数さん
17/02/20 20:58:45.08 FI0+7paT.net
いけないと思わない、むしろ積極的にやるべき
たくさんの人目についた方が良いのは当然
379:１３２人目の素数さん
17/02/20 21:46:58.00 5WuFc6h+.net
いつものアホか
380:１３２人目の素数さん
17/02/20 21:50:56.89 e8KnR7O0.net
賢い人ｷﾀ━━━（ﾟ∀ﾟ）━━━!!!!!
381:１３２人目の素数さん
17/02/20 22:43:13.12 SAZfG5/a.net
310さん
解りやすいご解答有難うございます。
これなら中学生の確率で説明できますね。
382:１３２人目の素数さん
17/02/20 22:44:31.63 SAZfG5/a.net
すいません、365さんでした。
383:１３２人目の素数さん
17/02/20 23:36:46.81 h3FiNsTc.net
5人から2人を選ぶのは、5*4/2=10通り
太郎と花子を〇、それ以外を●とすると
ＡＢＣ ＤＥ
�
384:Z〇● ●● ●〇〇 ●● ●●● 〇〇 の3組
385:１３２人目の素数さん
17/02/21 00:32:12.49 1He11AeK.net
>>334
>>350
>>355
>>357
URLﾘﾝｸ(imgur.com)
n = 2^k * 5^k とします。
↑ (Z/nZ)^* での 7 の位数を求める超高速アルゴリズムが書いてありました。
なんか笑っちゃうほど超簡単だったんですね。
386:１３２人目の素数さん
17/02/21 00:49:28.57 1He11AeK.net
φ(10^4) = 2^5 * 5^3
7^(2^0 * 5^3) ≡ 807 mod 10^4
7^(2^1 * 5^3) ≡ 1249 mod 10^4
7^(2^2 * 5^3) ≡ 1 mod 10^4
7^(2^2 * 5^0) ≡ 2401 mod 10^4
7^(2^2 * 5^1) ≡ 2001 mod 10^4
7^(2^2 * 5^2) ≡ 1 mod 10^4
ord(7) = 2^2 * 5^2 = 100
と簡単に求まりますね。
387:１３２人目の素数さん
17/02/21 01:03:58.64 1He11AeK.net
>>375
の結果を使うと以下のように簡単に、
>>334
で、3分かかると言われた問題を解けますね。
7^7 ≡ 43 mod 100
7^(7^7) ≡ 7^43 ≡ 43 mod 100
7^(7^(7^7)) ≡ 7^43 ≡ 2343 mod 10^4
388:１３２人目の素数さん
17/02/21 09:36:08.53 BSz2Bsy9.net
URLﾘﾝｸ(page6.auctions.yahoo.co.jp)
↑で↓を送料込み1000円ちょっとで買えますね。
微分積分学講義
野村 隆昭
固定リンク: URLﾘﾝｸ(amzn.asia)
389:１３２人目の素数さん
17/02/21 09:43:21.83 BSz2Bsy9.net
あ、定価が2376円なんですね。
新品のほうがいいですね。
390:１３２人目の素数さん
17/02/21 11:04:24.78 dXT7alLC.net
例示
377 名前：あぼ～ん[NGEx:age] 投稿日：あぼ～ん
378 名前：あぼ～ん[NGEx:age] 投稿日：あぼ～ん
391:１３２人目の素数さん
17/02/21 12:58:50.82 JtFg5CZ5.net
こんにちは
テンソルの問題が全くわからないので
知恵を貸してください。
お願いします
URLﾘﾝｸ(i.imgur.com)
演習1の5番や演習2の3が
なぜ不可となるのかがわかりません。
どういう風に表現できたら
正しいテンソル表示と言えるのでしょうか。
さんざんインターネットで調べましたが
わかりませんでした。
よろしくお願いします。