17/02/18 05:35:36.10 e1kUnPkj.net
微分形式というのは
df=f'(x)⊿x
という定義なんですか?
201:132人目の素数さん
17/02/18 05:37:44.67 e1kUnPkj.net
それとも
df/dx=f'(x)
を抽象的(d□の定義をせずに)にかつ形式的に書いたものが
df=f'(x)dx
ですか?
202:132人目の素数さん
17/02/18 11:29:31.04 VzrjEuvo.net
ホントに知りたいと思ってねーだろ
203:¥ ◆2VB8wsVUoo
17/02/22 00:57:37.47 vPMeQnxx.net
¥
204:¥ ◆2VB8wsVUoo
17/02/22 00:57:53.99 vPMeQnxx.net
¥
205:¥ ◆2VB8wsVUoo
17/02/22 00:58:10.74 vPMeQnxx.net
¥
206:¥ ◆2VB8wsVUoo
17/02/22 00:58:27.85 vPMeQnxx.net
¥
207:¥ ◆2VB8wsVUoo
17/02/22 00:58:43.05 vPMeQnxx.net
¥
208:¥ ◆2VB8wsVUoo
17/02/22 00:58:56.41 vPMeQnxx.net
¥
209:¥ ◆2VB8wsVUoo
17/02/22 00:59:13.79 vPMeQnxx.net
¥
210:¥ ◆2VB8wsVUoo
17/02/22 00:59:30.34 vPMeQnxx.net
¥
211:¥ ◆2VB8wsVUoo
17/02/22 00:59:49.68 vPMeQnxx.net
¥
212:¥ ◆2VB8wsVUoo
17/02/22 01:00:08.56 vPMeQnxx.net
¥
213:132人目の素数さん
17/04/03 12:21:01.91 zQpj9cLk.net
「X を距離空間とし、 A を X の部分集合とする。
X の点 a が A - {a} の触点であるとき、 a は A の集積点とよばれる。」
と教科書に書いてあります。
なぜ、
「X を距離空間とし、 A を X の部分集合とする。
X の点 a が A - {a} の境界点であるとき、 a は A の集積点とよばれる。」
と書かないのでしょうか? 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
214:132人目の素数さん
17/04/04 12:55:36.94 DBIKn0Mb.net
それで優越感を持てるんか
215:132人目の素数さん
17/04/30 12:25:33.94 0Ljtscid.net
>>2
I love 微分
216:¥
17/05/08 10:30:26.80 OR+quqWp.net
¥
217:¥
17/05/08 10:30:48.10 OR+quqWp.net
¥
218:¥
17/05/08 10:31:12.77 OR+quqWp.net
¥
219:¥
17/05/08 10:31:33.24 OR+quqWp.net
¥
220:¥
17/05/08 10:31:54.53 OR+quqWp.net
¥
221:¥
17/05/08 10:32:22.73 OR+quqWp.net
¥
222:¥
17/05/08 10:32:47.00 OR+quqWp.net
¥
223:¥
17/05/08 10:33:06.32 OR+quqWp.net
¥
224:¥
17/05/08 10:33:28.40 OR+quqWp.net
¥
225:¥
17/05/08 10:33:46.87 OR+quqWp.net
¥
226:132人目の素数さん
17/08/12 13:26:09.83 vgpKt8d9.net
触点の集合から孤立点をすべて除いた点の集合 = 集積点
ですよね?
227:¥
17/08/12 13:37:50.39 Ay3s6hqd.net
¥
228:132人目の素数さん
17/08/13 11:44:19.41 5crjzoOy.net
>>225
惜しい
229:¥
17/08/13 12:05:10.91 KvJ/be4c.net
¥
230:¥
17/08/13 12:05:28.12 KvJ/be4c.net
¥
231:¥
17/08/13 12:05:44.39 KvJ/be4c.net
¥
232:¥
17/08/13 12:06:00.08 KvJ/be4c.net
¥
233:¥
17/08/13 12:06:16.54 KvJ/be4c.net
¥
234:¥
17/08/13 12:06:31.85 KvJ/be4c.net
¥
235:¥
17/08/13 12:06:48.07 KvJ/be4c.net
¥
236:¥
17/08/13 12:07:04.39 KvJ/be4c.net
¥
237:¥
17/08/13 12:07:25.68 KvJ/be4c.net
¥
238:¥
17/08/13 12:07:43.25 KvJ/be4c.net
¥
239:132人目の素数さん
17/08/13 19:37:37.12 IvrN3VHH.net
>>225
>>227
a ∈ A^a - {A の孤立点}
⇔
a ∈ A^a AND a は A の孤立点ではない。
⇔
a ∈ A^a AND (a ∈ A でない OR a ∈ (A - {a})^a)
⇔
a ∈ A^a AND (a ∈ A でない OR a ∈ (A - {a})^a)
⇔
(a ∈ A^a AND a ∈ A でない) OR a ∈ A^a AND a ∈ (A - {a})^a
⇔
(a ∈ A^a AND A = A - {a}) OR a ∈ (A - {a})^a
⇔
(a ∈ (A - {a})^a AND A = A - {a}) OR a ∈ (A - {a})^a
⇔
a ∈ (A - {a})^a
240:¥
17/08/13 20:19:09.51 KvJ/be4c.net
¥
241:¥
17/08/13 21:56:27.94 KvJ/be4c.net
¥
242:¥
17/08/13 21:56:47.27 KvJ/be4c.net
¥
243:¥
17/08/13 21:57:19.71 KvJ/be4c.net
¥
244:¥
17/08/13 21:57:34.74 KvJ/be4c.net
¥
245:¥
17/08/13 21:57:51.57 KvJ/be4c.net
¥
246:¥
17/08/13 21:58:09.83 KvJ/be4c.net
¥
247:¥
17/08/13 21:58:34.26 KvJ/be4c.net
¥
248:¥
17/08/13 21:58:49.39 KvJ/be4c.net
¥
249:¥
17/08/13 21:59:04.85 KvJ/be4c.net
¥
250:132人目の素数さん
17/08/22 20:41:35.50 nvjPBYhD.net
次の式から任意定数 A, B, C を消去して、 y に関する微分方程式を作れ。
A*x^2 + 2*B*x*y + C*y^2 = 1
これはどうやって解くのでしょうか?
251:¥
17/08/22 20:50:12.28 6mL5TkbK.net
¥
252:¥
17/08/22 20:50:30.46 6mL5TkbK.net
¥
253:¥
17/08/22 20:50:47.46 6mL5TkbK.net
¥
254:¥
17/08/22 20:51:04.49 6mL5TkbK.net
¥
255:¥
17/08/22 20:51:22.16 6mL5TkbK.net
¥
256:¥
17/08/22 20:51:38.38 6mL5TkbK.net
¥
257:¥
17/08/22 20:51:53.99 6mL5TkbK.net
¥
258:¥
17/08/22 20:52:12.04 6mL5TkbK.net
¥
259:¥
17/08/22 20:52:30.55 6mL5TkbK.net
¥
260:¥
17/08/22 20:52:49.15 6mL5TkbK.net
¥
261:132人目の素数さん
17/08/23 12:30:34.22 edu8Brze.net
>>249
定石によれば y/x=u とおき、
A + 2Bu + Cuu = 1/xx,
両辺をu で3回微分して
0 = DDD (1/xx),
ここで、
D = d/du = {xx/(xy'-y)}(d/dx),
D(1/xx) = -2/{x(xy'-y)}
DD(1/xx) = 2(xxy'' + xy' -y)/(xy'-y)^3
DDD(1/xx) = -2(x^4){3x(y'')^2 + y'''(y-xy')}/(xy'-y)^5
したがって
3x(y'')^2 + y'''(y-xy') = 0,
262:¥
17/08/23 12:31:40.17 7o98x7xr.net
¥
263:¥
17/08/23 12:31:57.22 7o98x7xr.net
¥
264:¥
17/08/23 12:32:14.87 7o98x7xr.net
¥
265:¥
17/08/23 12:32:31.24 7o98x7xr.net
¥
266:¥
17/08/23 12:32:46.90 7o98x7xr.net
¥
267:¥
17/08/23 12:33:02.48 7o98x7xr.net
¥
268:¥
17/08/23 12:33:18.51 7o98x7xr.net
¥
269:¥
17/08/23 12:33:36.40 7o98x7xr.net
¥
270:¥
17/08/23 12:33:54.25 7o98x7xr.net
¥
271:¥
17/08/23 12:34:10.39 7o98x7xr.net
¥
272:132人目の素数さん
17/08/23 12:58:24.93 vzGV7nLI.net
>>249
本気で聞いてんのか?
273:¥
17/08/23 13:16:47.75 7o98x7xr.net
¥
274:132人目の素数さん
17/08/23 13:52:26.50 ZiIKkgrq.net
>>260
ありがとうございました。
URLリンク(imgur.com)
URLリンク(imgur.com)
↑のように計算して解けました。
ありがとうございました。
275:¥
17/08/23 14:12:06.97 7o98x7xr.net
¥
276:¥
17/08/23 14:12:22.65 7o98x7xr.net
¥
277:¥
17/08/23 14:12:39.33 7o98x7xr.net
¥
278:¥
17/08/23 14:12:54.92 7o98x7xr.net
¥
279:¥
17/08/23 14:13:10.46 7o98x7xr.net
¥
280:¥
17/08/23 14:13:25.60 7o98x7xr.net
¥
281:¥
17/08/23 14:13:41.01 7o98x7xr.net
¥
282:¥
17/08/23 14:14:11.52 7o98x7xr.net
¥
283:¥
17/08/23 14:14:25.48 7o98x7xr.net
¥
284:¥
17/08/23 14:14:40.41 7o98x7xr.net
¥
285:132人目の素数さん
17/08/23 14:32:17.79 edu8Brze.net
>>249 >>273
分かスレ432、003-004
にもあります。
286:¥
17/08/23 14:36:24.36 7o98x7xr.net
¥
287:¥
17/08/23 14:36:42.79 7o98x7xr.net
¥
288:¥
17/08/23 14:37:00.94 7o98x7xr.net
¥
289:¥
17/08/23 14:37:18.12 7o98x7xr.net
¥
290:¥
17/08/23 14:37:35.32 7o98x7xr.net
¥
291:¥
17/08/23 14:37:52.93 7o98x7xr.net
¥
292:¥
17/08/23 14:38:09.60 7o98x7xr.net
¥
293:¥
17/08/23 14:38:28.15 7o98x7xr.net
¥
294:¥
17/08/23 14:38:46.59 7o98x7xr.net
¥
295:¥
17/08/23 14:39:03.58 7o98x7xr.net
¥
296:132人目の素数さん
17/08/24 14:12:58.14 9N+3FV4m.net
>>249 の主軸を固定すると、
〔類題〕
次の式から任意定数 A,C を消去して y に関する微分方程式を作れ。
Axx + Cyy = 1
分かスレ432-104
〔問題〕
2階の微分方程式
x y y'' - y' (y - x y')= 0
を解いてください。
分かスレ432-053
(参考)
問題の微分式を
L(x)= x y y'' - y' (y - x y'),
とおくと、
dL/dx = x(3y'y'' + yy'''),
3xy'' L +(y-xy')(dL/dx)= xy{3x(y'')^2 + y'''(y-xy')},
297:¥
17/08/24 14:25:05.54 kEDrltmW.net
¥
298:132人目の素数さん
17/08/24 15:04:52.60 9N+3FV4m.net
〔問題〕
1階の微分方程式
x + yy' = 0
を解いてください。
分かスレ432-117
(参考)
問題の微分式を
K(x) = x + yy'
とおくと、
x(dK/dx)- K(x) = L(x)
これの解は >>295 の解に含まれる?
299:¥
17/08/24 15:26:32.48 kEDrltmW.net
¥
300:¥
17/08/24 15:26:48.63 kEDrltmW.net
¥
301:¥
17/08/24 15:27:03.67 kEDrltmW.net
¥
302:¥
17/08/24 15:27:18.55 kEDrltmW.net
¥
303:¥
17/08/24 15:27:34.91 kEDrltmW.net
¥
304:¥
17/08/24 15:27:50.18 kEDrltmW.net
¥
305:¥
17/08/24 15:28:06.40 kEDrltmW.net
¥
306:¥
17/08/24 15:28:23.35 kEDrltmW.net
¥
307:¥
17/08/24 15:28:39.03 kEDrltmW.net
¥
308:¥
17/08/24 15:28:56.00 kEDrltmW.net
¥
309:¥
17/08/24 15:29:11.39 kEDrltmW.net
¥
310:132人目の素数さん
17/09/16 22:24:01.14 xdoLEzuz.net
1/(x^2+1)の定積分ではx=tanΘとおいて
やるのがふつうですが、これ以外の
方法はありますかね。
311:132人目の素数さん
17/09/17 07:35:47.61 aM377AWr.net
>>309
不定積分だが
∫ dx / (x^2 + 1)
= ∫ dx / (i + x)(i - x)
= (1/2i) ∫ (1/(i + x) + 1/(i - x)) dx
= (1/2i) (log(i + x) - log(i - x)) + C
= (1/2i) log((i + x)/(i - x)) + C
= y + C
とおくと
(i + x)/(i - x) = exp(2iy)
x = -i(exp(2iy) - 1) / (exp(2iy) + 1)
x = -i(exp(iy) - exp(-iy)) / (exp(iy) + exp(-iy))
x = -i (2i sin y)/(2 cos y) = tan y
ゆえに y = arctan x
312:132人目の素数さん
17/09/17 08:30:09.23 SMzO9ZfS.net
>>310
ありがとうございます。
(i + x)/(i - x) = exp(2iy) までは分りますが
この後の変形は数学の何の分野で出てくるのですか?
教養課程の微積分では見かけませんが。
313:132人目の素数さん
17/09/17 11:10:06.81 O1us+wI2.net
>>311
(i + x)/(i - x) = exp(2iy) の両辺に(i-x)掛けて
i+x = (i-x) exp(2iy) ってやって更に展開してxについて
解いただけじゃないの?
314:132人目の素数さん
17/09/17 11:14:54.77 BalAohPS.net
(´・∀・`)ヘー
315:132人目の素数さん
17/09/17 11:27:43.54 O1us+wI2.net
もしかして
cos(x) = { exp(ix) + exp(-ix) }/2,
sin(x) = { exp(ix) - exp(ix) }/2i
の部分で引っかかってるのかな。大学の複素関数論や
物理数学やるともうこれは定義なんだけどあなたが中高生なら
マクローリン展開を使って理解するといいかもね
316:132人目の素数さん
17/09/17 17:08:10.68 gMyUTi3U.net
ある非常に有名な本に以下のような内容の記述があります。
でも、 n > 1 のとき、 H が universal になることは決してないですよね。
u = v のとき、常に、 h(u) = h(v) なので、問題の確率は 1 ですから。
--------------------------------------------------
U を要素数の非常に多い有限集合とする。
H を U から {0, 1, ..., n-1} へのすべての写像の集合のある部分集合とする。
u, v ∈ U に対して、ランダムに選んだ h ∈ H が h(u) = h(v) を満たす確率はたかだか 1/n であるとき、
H は universal であるという。
317:132人目の素数さん
17/09/17 20:41:05.50 SMzO9ZfS.net
>>314
>大学の複素関数論や
やはりそうでしたか。
318:132人目の素数さん
17/09/21 13:02:01.11 EbWjsC88.net
数学科じゃなくてもノルム空間からやったほうがいいですか。
319:132人目の素数さん
17/09/21 13:23:39.61 BXixu0jW.net
線型空間からやってください
320:132人目の素数さん
17/09/22 02:26:06.78 IbaffgK4.net
>>316
こいつwwwやはりじゃねえよwww
321:132人目の素数さん
17/09/23 09:03:26.65 FwiJcoAw.net
イラっとポイントはどこかな?
322:132人目の素数さん
17/10/06 13:02:50.20 3fgNd1CC.net
他人の進歩だろう
323:132人目の素数さん
17/10/07 09:41:48.81 CHiyIHvv.net
人間ってめんどくさいですよね
324:132人目の素数さん
17/10/11 10:39:21.53 HgIAH4lS.net
アーベルの定理ですが、なぜ以下のように書かないのでしょうか?
x = r > 0 で級数 Σa_n * r^n が収束していれば、 Σa_n * x^n は区間 (-r, r) で収束する。
(-r, r] で定義された関数 f(x) = Σa_n * x^n は x = r で連続である。
325:ル.ヌー
17/10/12 20:34:20.15 Hbkmuqaq.net
f(z)=z/sinh z,z∈Cにおいて
(1) f(z)はC上正則であることを示せ。
(2) z=0はf(z)の除去可能特異点であることを示せ。
(3) z=0まで定義域を拡大したf(z)のz=0におけるマクローリン展開の2次の項までを求めよ。
(1).(2).(3)の解答をお願い致します。 👀
Rock54: Caution(BBR-MD5:ae2afb6cd11f3e92f5cd12f037b4c3ac)
326:132人目の素数さん
17/10/13 00:35:39.57 Uq4Xc9Fo.net
マルチ
327:¥
17/10/23 21:34:01.30 Dl6USvMt.net
¥
328:¥
17/10/23 21:34:20.07 Dl6USvMt.net
¥
329:¥
17/10/23 21:34:40.48 Dl6USvMt.net
¥
330:¥
17/10/23 21:35:02.01 Dl6USvMt.net
¥
331:¥
17/10/23 21:35:22.87 Dl6USvMt.net
¥
332:¥
17/10/23 21:35:44.13 Dl6USvMt.net
¥
333:¥
17/10/23 21:36:06.53 Dl6USvMt.net
¥
334:¥
17/10/23 21:36:23.57 Dl6USvMt.net
¥
335:¥
17/10/23 21:36:41.74 Dl6USvMt.net
¥
336:¥
17/10/23 21:36:58.01 Dl6USvMt.net
¥
337:132人目の素数さん
17/11/01 11:44:22.20 JbuIDZZG.net
次の(1), (2), (3)をみたす R 上の C^∞ 関数 f(x) と g(x) が存在する。
(1) lim_{x → ∞} f(x) = lim_{x → ∞} g(x) = +∞
(2) lim_{x → ∞} f'(x)/g'(x) は存在して有限値
(3) lim_{x → ∞} f(x)/g(x) は存在しない
例
f(x) = x + sin(x)*cos(x)
g(x) = exp(sin(x)) * f(x)
と書いてあるのですが、
g'(x) = exp(sin(x))*(f(x) + 2*cos(x))*cos(x)
なので、
lim_{x → ∞} f'(x)/g'(x) は考えられないと思います。
これはどういうことなのでしょうか?
338:132人目の素数さん
17/11/01 11:46:48.26 JbuIDZZG.net
>>336
任意の正の実数 K に対して、分母である g'(x) がゼロになるような x (> K) が存在するので。
339:132人目の素数さん
17/11/01 12:51:26.14 Ui7V9dMR.net
あ
340:¥
17/11/01 14:25:42.23 cSPyhj3J.net
¥
341:¥
17/11/01 14:26:05.83 cSPyhj3J.net
¥
342:¥
17/11/01 14:26:25.04 cSPyhj3J.net
¥
343:¥
17/11/01 14:26:43.87 cSPyhj3J.net
¥
344:¥
17/11/01 14:27:01.11 cSPyhj3J.net
¥
345:¥
17/11/01 14:27:18.06 cSPyhj3J.net
¥
346:¥
17/11/01 14:27:34.47 cSPyhj3J.net
¥
347:¥
17/11/01 14:27:53.21 cSPyhj3J.net
¥
348:¥
17/11/01 14:28:13.80 cSPyhj3J.net
¥
349:¥
17/11/01 14:28:36.30 cSPyhj3J.net
¥
350:132人目の素数さん
17/11/05 13:27:04.69 H+oI+PsN.net
学部初級の微分積分の本で,オススメはなんですか?
溝畑「数学解析 上下」
でいいですか?
351:132人目の素数さん
17/11/05 20:44:48.74 RSWE/Y5W.net
レベルは高くないですが、野村隆昭著『微分積分学講義』がおすすめです。
352:132人目の素数さん
17/11/06 13:08:59.54 rqyClSHs.net
なんかこの所よく野村くんが出てくるなー
九大の方ですか?
353:¥
17/11/06 15:26:08.23 StBgmS4d.net
¥
354:¥
17/11/06 15:26:25.95 StBgmS4d.net
¥
355:¥
17/11/06 15:26:45.30 StBgmS4d.net
¥
356:¥
17/11/06 15:27:03.73 StBgmS4d.net
¥
357:¥
17/11/06 15:27:22.48 StBgmS4d.net
¥
358:¥
17/11/06 15:27:40.36 StBgmS4d.net
¥
359:¥
17/11/06 15:27:59.26 StBgmS4d.net
¥
360:¥
17/11/06 15:28:19.02 StBgmS4d.net
¥
361:¥
17/11/06 15:28:37.45 StBgmS4d.net
¥
362:¥
17/11/06 15:28:56.37 StBgmS4d.net
¥
363:132人目の素数さん
17/11/06 22:32:23.00 0X8xBBZb.net
溝畑は構成と文体が独特だよね
364:¥
17/11/07 05:15:59.32 qfDf0bUe.net
¥
365:¥
17/11/07 05:16:17.78 qfDf0bUe.net
¥
366:¥
17/11/07 05:16:36.87 qfDf0bUe.net
¥
367:¥
17/11/07 05:16:56.25 qfDf0bUe.net
¥
368:¥
17/11/07 05:17:13.77 qfDf0bUe.net
¥
369:¥
17/11/07 05:17:30.95 qfDf0bUe.net
¥
370:¥
17/11/07 05:17:52.76 qfDf0bUe.net
¥
371:¥
17/11/07 05:18:20.41 qfDf0bUe.net
¥
372:¥
17/11/07 05:18:39.22 qfDf0bUe.net
¥
373:¥
17/11/07 05:18:58.44 qfDf0bUe.net
¥
374:132人目の素数さん
17/11/07 20:41:55.47 tIMewAzz.net
斎藤正彦さんの『行列と群』という本の中で、
f(z) を実係数多項式とし、複素係数の多項式として
f(z) = g(z)*h(z)
と分解されるとする。
このとき、g(z) が実係数多項式ならば h(z) も実係数多項式である
という論法が使われているのですが、証明を教えてください。
375:¥
17/11/08 01:50:57.02 r2EqUl6O.net
¥
376:¥
17/11/08 01:51:14.47 r2EqUl6O.net
¥
377:¥
17/11/08 01:51:30.49 r2EqUl6O.net
¥
378:¥
17/11/08 01:51:48.39 r2EqUl6O.net
¥
379:¥
17/11/08 01:52:06.61 r2EqUl6O.net
¥
380:¥
17/11/08 01:52:28.87 r2EqUl6O.net
¥
381:¥
17/11/08 01:52:48.00 r2EqUl6O.net
¥
382:¥
17/11/08 01:53:04.96 r2EqUl6O.net
¥
383:¥
17/11/08 01:53:22.13 r2EqUl6O.net
¥
384:¥
17/11/08 01:53:39.83 r2EqUl6O.net
¥
385:132人目の素数さん
17/11/13 20:59:17.97 JOdQXv6a.net
>>373
f(x)/g(x)=h(x) の両辺が
実数係数有理式。
386:132人目の素数さん
17/11/14 12:10:38.53 5GwueLvD.net
区間 [a, b) と R は同相でないことの証明ですが、
[a, b) から1点 a を除いた集合は連結
一方、
R から1点を除いた集合は非連結
という証明がありますが、直接的に証明してください。
387:¥
17/11/14 13:01:53.48 DKMYn3HH.net
¥
388:¥
17/11/14 13:02:09.54 DKMYn3HH.net
¥
389:¥
17/11/14 13:02:25.37 DKMYn3HH.net
¥
390:¥
17/11/14 13:02:43.60 DKMYn3HH.net
¥
391:¥
17/11/14 13:03:01.09 DKMYn3HH.net
¥
392:¥
17/11/14 13:03:17.68 DKMYn3HH.net
¥
393:¥
17/11/14 13:03:35.37 DKMYn3HH.net
¥
394:¥
17/11/14 13:03:53.78 DKMYn3HH.net
¥
395:¥
17/11/14 13:04:11.26 DKMYn3HH.net
¥
396:¥
17/11/14 13:04:29.05 DKMYn3HH.net
¥
397:132人目の素数さん
17/11/24 12:27:06.34 2XbK5FAe.net
〔問題〕
g_i(t)=(1/π)log|1-(r_i)/t|
のとき
∫(-∞,∞)g_1(t)g_2(t) dt
を求めよ。
398:132人目の素数さん
17/11/24 12:33:16.70 2XbK5FAe.net
>>396
r_1,r_2 > 0 とする。
399:132人目の素数さん
17/11/27 10:38:29.04 f62zTFKa.net
>>396-397
min{r_1,r_2}
森口・宇田川・一松:「数学公式I」岩波全書221(1956)p.242
400:132人目の素数さん
17/11/27 10:40:16.99 f62zTFKa.net
〔問題〕
a,b>0 のとき
(1/π)∫[0,∞)2sin(at)sin(bt)/tt dt
を求めよ。
401:132人目の素数さん
17/11/27 10:45:00.32 f62zTFKa.net
>>399
積和公式
2 sin(at)sin(bt)= cos((a-b)t)- cos((a+b)t),
より
(1/π)∫[0,∞)2sin(at)sin(bt)/tt dt
=(1/π)∫[0,∞){1-cos((a+b)t)}/tt dt -(1/π)∫[0,∞){1-cos((a-b)t)}/tt dt
={(|a+b|-|a-b|)/π}∫[0,∞){1-cos(u)}/uu du
=(|a+b|-|a-b|)/2 (*)
= min{a,b}
*)高木:「解析概論」改訂第三版、岩波書店(1961) §48,p.169
森口・宇田川・一松:「数学公式I」岩波全書221(1956) p.251,p.257
402:132人目の素数さん
17/11/27 20:36:31.14 xEoMPOim.net
floor(sqrt(x)) = floor(sqrt(floor(x)))
がすべての負でない実数に対して成り立つことを示せ。
解答:
floor(x) ≦ x だから
sqrt(floor(x)) ≦ sqrt(x).
floor(sqrt(floor(x))) ≦ floor(sqrt(x)).
今、仮に、 floor(sqrt(floor(x))) < floor(sqrt(x))
が成り立つような負でない実数が存在すると仮定する。
x が整数ならば floor(sqrt(floor(x))) = floor(sqrt(x)) だから、 x は整数ではない。
x は整数ではないからもちろん sqrt(x) も整数ではない。
よって、 floor(sqrt(x)) < sqrt(x)
sqrt(floor(x)) < floor(sqrt(x)) が成り立つ。なぜなら、 floor(sqrt(x)) ≦ sqrt(floor(x))
と仮定すると、 floor(sqrt(x)) ≦ floor(sqrt(floor(x))) となってしいまい仮定に反するからである。
以上より、 sqrt(floor(x)) < floor(sqrt(s)) < sqrt(x).
x < floor(x) + 1 だから sqrt(x) < sqrt(floor(x) + 1).
∴ sqrt(floor(x)) < floor(sqrt(x)) < sqrt(floor(x) + 1)
sqrt(floor(x)) < sqrt((floor(sqrt(x)))^2) < sqrt(floor(x) + 1)
floor(x) と floor(x) + 1 の間に整数 (floor(sqrt(x)))^2 が存在することはあり得ない。
これは矛盾である。
したがって、
floor(sqrt(x)) = floor(sqrt(floor(x)))
がすべての負でない実数に対して成り立つ。 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
403:132人目の素数さん
17/12/07 22:02:26.00 PGE1ivVB.net
時枝正さんの You Tube の講義動画を見ました。
メビウスの帯をセンターラインで切ると4回ねじれた帯ができますが、
これはどう考えれば分かりやすいんですか?
404:132人目の素数さん
17/12/21 09:48:16.01 KTVs56hk.net
0 ≦ x ≦ s
0 ≦ y ≦ s
0 ≦ z ≦ s
x + y + z = 2*s
という条件をみたす点 (x, y, z) の集合はコンパクト集合である。
f は連続写像だからこのコンパクト集合上で最大値をとる。
点 (2*s/3, 2*s/3, 2*s/3) はこのコンパクト集合上の点であり、
f(2*s/3, 2*s/3, 2*s/3) = (1/27)*s^3 > 0 である。
x, y, z のどれかが s であれば f = 0 であるからそのような (x, y, z) は最大点ではない。
x, y, z のどれかが 0 であるとする。例えば、 x = 0 であるとする。
このとき、
y + z = 2*s
0 ≦ y ≦ s
0 ≦ z ≦ s
であるから y = z = s でなければならない。
f(0, s, s) = 0 である。
よって、 x, y, z のどれかが 0 であるような点 (x, y, z) は最大点ではない。
以上から、最大点を (x, y, z) とすると、
x, y, z は、
0 < x < s
0 < y < s
0 < z < s
x + y + z = 2*s
という条件をみたす。
よって、
x, y, z が
0 < x < s
0 < y < s
0 < z < s
x + y + z = 2*s
という条件をみたすとき、
f(x, y, z) = (s - x)*(s - y)*(s - z)
を最大にする点 (x, y, z) は存在する。
405:132人目の素数さん
17/12/21 12:56:35.21 2Ndt8RS0.net
>>402
まんまや
406:132人目の素数さん
18/01/01 19:30:36.59 MtjEXQ7g.net
連続関数 f(x, y) が全平面で 0 にならないと仮定する。
2変数連続関数の中間値の定理により、
f(x, y) > 0 for all (x, y)
または、
f(x, y) < 0 for all (x, y)
が成り立つ。
407:132人目の素数さん
18/01/04 22:18:03.09 q45yvd8D.net
〔補題〕
a_i≧0,x_iは実数のとき
Σ[1≦i,j≦n]min{a_i,a_j}x_i xj ≧ 0 (半正値)
(略証)
>>396-400 から出る。
408:¥
18/01/19 18:41:40.58 ujRq+81i.net
¥
409:¥
18/01/19 18:42:00.52 ujRq+81i.net
¥
410:¥
18/01/19 18:42:18.39 ujRq+81i.net
¥
411:¥
18/01/19 18:42:37.29 ujRq+81i.net
¥
412:¥
18/01/19 18:42:56.70 ujRq+81i.net
¥
413:¥
18/01/19 18:43:17.01 ujRq+81i.net
¥
414:¥
18/01/19 18:43:35.29 ujRq+81i.net
¥
415:¥
18/01/19 18:43:52.88 ujRq+81i.net
¥
416:¥
18/01/19 18:44:11.15 ujRq+81i.net
¥
417:¥
18/01/19 18:44:29.51 ujRq+81i.net
¥
418:132人目の素数さん
18/02/02 14:03:40.43 qNa0b/Hk.net
{a} ⊂ A ⊂ {a, b} ⇒ A = {a} または A = {a, b}
これはどうやって証明するんですか?
419:132人目の素数さん
18/02/04 12:52:50.68 e/Db4a5+.net
マルチ
420:132人目の素数さん
18/02/05 12:40:36.66 NBMTNhVs.net
一般のバナッハ空間で、
f(x+h)=f(x)+f'(x)h+|h|ε
で微分係数f'(x)を(普通に)定義するとして、
fがC1級の時、f'(x0)が逆を持てばfはx0で局所的に
逆写像を持つのは普通にいえますが、
線型写像としてのf'(x0)の核が0(つまり単射)のとき、
fがx0で局所的に単射になることは言えるのでしょうか?
バナッハ空間が有限次元ならやさしいのですが、
一般の場合がわかりません。どなたか偉い人、証明を
教えていただけないでしょうか。
それとも無限次元では言えないのかなあ。
421:132人目の素数さん
18/02/06 05:13:22.12 prVkj7SB.net
>>419 もう少し条件を付け足せば、無限次元でも、成り立ちます。
f を バナッハ空間 E の開集合 U からバナッハ空間 F への C^1 級写像で、
U のある点 x_0 に対し、 Ker(Df(x_0)) = {0}, かつ Im(Df(x_0)) が F の閉部分線型空間の時、
E における x_0 の閉近傍 V⊆U �
422:ェ存在し、f は V から f(V) への位相同型となり、 f(V) は F の閉集合であるようにできます。 Im(Df(x_0)) が F で閉でないときは、僕にはわかりません。
423:419
2018/02/0
424:6(火) 17:11:43.09 ID:f7xgRLJ1.net
425:132人目の素数さん
18/02/06 17:51:27.99 prVkj7SB.net
>>421
ここに pdf があります。証明がついていますので、ダウンロードして見てください。
URLリンク(box.yahoo.co.jp)
426:132人目の素数さん
18/03/27 19:34:32.70 45WSVnX0.net
消費者センターに行って相談した後の結果に興味があるので、
結果を書き込みしてください。
427:132人目の素数さん
18/03/27 20:59:13.70 Ia4tbGvR.net
その会社の担当の方から丁寧なご解説があり、その時点では、和解しました。
しかしその後、しばらく そのメールアカウントを使わなかったのですが、
あるときそのメールアカウントにログインすると、
その会社からまた、メールマガジンが 100通以上送られてきて溜まっているのを発見し、
これは困ったぞと思った次第です。
その会社へは、ヤフーのセーフティーメールアドレスを登録して使っていますので、
そのアドレスを削除して、しばらく放置していました。
その数ヶ月後、その同じセーフティーメールアドレスをもう一度
ヤフーに登録しました。それ以降は、その会社からは、メールマガジンは届いていません。
どうやら、物理的に、メールが届かないようにしないと、あの会社のアカウントだと、
勝手にメールマガジンが送られてきてしまうようです。改善を望みたいですね。
428:132人目の素数さん
18/03/28 06:41:23.10 Amka/ZIs.net
付け加えておくと、その担当の方からは、欲しくないメールマガジンが
届いた時の手続きとか、対処法を教えてもらっていたのですが、
流石に、100通以上(実際は120通くらいだったと思う)も届いていると、
対処しきれなかったので、メールアドレスの一時的な削除をするほかなかったんです。
429:132人目の素数さん
18/03/28 13:26:31.82 da7YMUJ9.net
こいつらバカだろ
430:¥
18/04/06 00:33:12.61 I+Mybrk/.net
¥
431:¥
18/04/06 00:33:34.63 I+Mybrk/.net
¥
432:¥
18/04/06 00:33:54.81 I+Mybrk/.net
¥
433:¥
18/04/06 00:34:17.50 I+Mybrk/.net
¥
434:¥
18/04/06 00:34:39.82 I+Mybrk/.net
¥
435:¥
18/04/06 00:35:00.71 I+Mybrk/.net
¥
436:¥
18/04/06 00:35:19.08 I+Mybrk/.net
¥
437:¥
18/04/06 00:35:38.85 I+Mybrk/.net
¥
438:¥
18/04/06 00:36:00.47 I+Mybrk/.net
¥
439:¥
18/04/06 00:36:25.81 I+Mybrk/.net
¥
440:132人目の素数さん
18/04/25 06:45:15.53 Nl+U10U6.net
積分から学ぶ
441:¥
18/05/08 11:56:24.61 FpEjvdxJ.net
¥
442:¥
18/05/08 11:56:40.12 FpEjvdxJ.net
¥
443:¥
18/05/08 11:56:53.77 FpEjvdxJ.net
¥
444:¥
18/05/08 11:57:18.22 FpEjvdxJ.net
¥
445:¥
18/05/08 11:57:36.08 FpEjvdxJ.net
¥
446:¥
18/05/08 11:57:56.00 FpEjvdxJ.net
¥
447:¥
18/05/08 11:58:15.19 FpEjvdxJ.net
¥
448:¥
18/05/08 11:58:37.80 FpEjvdxJ.net
¥
449:¥
18/05/08 11:59:00.13 FpEjvdxJ.net
¥
450:¥
18/05/08 11:59:19.26 FpEjvdxJ.net
¥
451:132人目の素数さん
18/06/17 02:16:07.84 lI+JiKnS.net
〔分かスレ積分公式〕
∫[0,x] 1/{1+cos(t)} dt = tan(x/2) = sin(x)/{1+cos(x)} = {1-cos(x)}/sin(x),
∫[x,π/2] 1/{1-cos(t)} dt = cot(x/2) = sin(x)/{1-cos(x)} = {1+cos(x)}/sin(x),
辺々掛ければ1
分かスレ444-160
452:132人目の素数さん
18/07/21 16:16:42.46 4/chbJgW.net
〔問題2896〕
∫[0,π] 1/√{1+sin(x)} dx の値を求めよ。
URLリンク(suseum.jp)
すうじあむ
453:132人目の素数さん
18/07/24 18:29:17.35 6NVSU4Ku.net
〔問題2897〕
∫[0,π/2] x/{sin(x)^3 + cos(x)^3} dx の値を求めよ。
URLリンク(suseum.jp)
すうじあむ
454:132人目の素数さん
18/07/25 15:20:21.09 FxD1zx7b.net
杉浦光夫著『解析入門I』を読んでいます。
解析入門Iのp.139定理6.10の証明ですが、
「従って f^(-1) は y_0 で連続である。」
とありますが、なぜ、そう言えるのでしょうか?
455:132人目の素数さん
18/07/26 11:44:16.61 el/KNq+4.net
惨めな奴
456:唐澤貴洋
18/09/23 20:50:01.86 xwPrBvIq.net
f(x)=3x^3+x^2+9
微分してみろカス
457:132人目の素数さん
19/01/03 10:18:52.85 WwF5uByy.net
>>453
クソワロタw
こんなの微分出来ない奴なんているのww
458:132人目の素数さん
19/01/05 11:42:09.30 K/EdAGni.net
藁
459:132人目の素数さん
19/03/11 18:27:09.78 mu9XhvNb.net
【米】微分方程式を解いていた男性が女性に通報されフライト2時間遅れ
スレリンク(newsplus板)
460:132人目の素数さん
19/10/08 20:57:14.29 /rMUvROw.net
誰かこの中学3年生(数検準2級所持)に微分積分を分かりやすく教えてくれ!!
461:132人目の素数さん
19/10/29 07:36:54 h3UsEJSt.net
不連続な関数を合成して連続な関数になる例ってありますか?
462:132人目の素数さん
19/10/29 15:55:17.59 eOFk03NX.net
有理数で0,無理数で1をとる関数二つの合成
463:132人目の素数さん
19/10/29 23:02:55.65 VInC1Gtj.net
不連続全単射とその逆関数
464:132人目の素数さん
19/12/15 16:16:15.01 azVZV8Ai.net
色々あるもんだ
465:132人目の素数さん
20/04/12 19:21:14.09 vCgkVZ7R.net
大学理系レベルの知識を習得するのに最適な本を教えてください
できるだけわかりやすい本がいいです
笠原とかそういうのはなしで
おすすめの演習書もお願いします
466:132人目の素数さん
20/04/30 16:02:18 ktuTYd1A.net
勾配を求めるということは傾き、すなわち微分しろということ?
467:132人目の素数さん
20/05/05 01:04:11 zCnalJNN.net
ヤコビやんがわかっていたようでわかっていなかったようでもやっとする
ネットでおかしな説明多し
468:132人目の素数さん
20/05/05 10:49:57 +YlPFLmt.net
なんで曲線で囲まれた面積を出せるのか不思議
469:132人目の素数さん
20/05/05 11:11:33 b2IqdVzK.net
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ,
宿題が 3/10 = 30% でした!
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです!
URLリンク(twitter.com)
(deleted an unsolicited ad)
470:132人目の素数さん
20/05/05 19:57:44 nu2fWXVa.net
微分♪積分♪いい気分♪
471:132人目の素数さん
20/05/08 12:50:07 +uVo2gIx.net
微熱と咳でコロナ気分
472:132人目の素数さん
20/05/14 00:03:56 yUS0z3Tl.net
シグモイドの微分て難しくね?
473:132人目の素数さん
20/08/09 23:46:18.36 wgUVJ5Xl.net
I_n = ∫[a,b] {(b-x)(x-a)}^n dx
= (b-a)^{2n+1} ∫[0,1] {t(1-t)}^n dt
= (b-a)^{2n+1} B(n+1,n+1)
= (b-a)^{2n+1} Γ(n+1)^2 /Γ(2n+2),
474:132人目の素数さん
20/08/13 03:52:22.40 KhggCoPs.net
〔出題2〕
(1)
A = √(N+1) + 2√(N -1/2),
B = √(N-1) + 2√(N +1/2),
とおくとき、
3√N > A > B を示せ。
475:132人目の素数さん
20/08/13 03:55:35.74 KhggCoPs.net
(左側)
(二乗平均) > (相加平均) で
(右側)
A - B = {√(N+1) - √(N-1)} - 2{√(N+1/2) - √(N-1/2)}
= 2/{√(N+1) + √(N-1)} -2/{√(N+1/2) + √(N-1/2)}
> 0,
〔補題〕
√(N+1/2) + √(N-1/2) > √(N+1) + √(N-1),
(略証)
g(x) = √(N+x) は上に凸だから
√(N+1/2) > (3/4)√(N+1) + (1/4)√(N-1),
√(N-1/2) > (1/4)√(N+1) + (3/4)√(N-1),
辺々たす。
または
{√(N+1/2) + √(N-1/2)}^2 - {√(N+1) + √(N-1)}^2
= 2{N + √(NN -1/4)} - 2{N + √(NN-1)}
= 2{√(NN -1/4) - √(NN-1)} > 0,
476:132人目の素数さん
20/08/13 04:00:43.88 KhggCoPs.net
(別法)
g(x) = √(N+x) とおくと
A = g(1) + 2g(-1/2),
B = g(-1) + 2g(1/2),
A-B = g(1) - 2g(1/2) + 2g(-1/2) - g(-1)
= {g(1) - 2g(1/2) + g(0)} - {g(0) - 2g(-1/2) + g(-1)}
= g '(p+1/2) -2g '(p) + g '(p-1/2) (-1/2<p<1/2)
(← 平均値の定理)
= {g '(p+1/2) - g '(p)} - {g '(p) - g '(p-1/2)}
= (1/2){g "(q+1/4) - g "(q-1/4)} (p-1/4<q<p+1/4)
(← 平均値の定理)
= (1/4) g'''(r) (q-1/4<r<q+1/4)
(← 平均値の定理)
= (3/32)(N+r)^(-5/2)
> 0,
∴ A>B
〔平均値の定理〕
f(x) は [a,b] において連続、(a,b) において微分可能とする。然らば
{f(b)-f(a)}/(b-a) = f '(ξ), a<ξ<b,
なるξが存在する。(Lagrange)
高木貞治:「解析概論」改訂第三版, 岩波書店 (1961)
第2章, 定理20. p.48
477:132人目の素数さん
20/08/13 04:05:09.93 KhggCoPs.net
例)
N = 333^2 = 110889,
A = 999 - 5.07770647804844345600×10^(-9)
B = 999 - 5.07772937354721216558×10^(-9)
A - B = 2.289549876870958×10^(-14)
(3/32)N^(-5/2) = 2.289549876769131×10^(-14)
p = -1.315131394219483×10^(-6)
q = -1.643911178466797×10^(-6)
r = -1.972693414161176×10^(-6)
p-2q+r = -2.4514470648×10^(-12)
478:132人目の素数さん
20/08/13 17:12:41 KhggCoPs.net
>>473
〔補題2〕
g(x) は (-1.,1) において3回微分可能 とする。然らば
g(1) - 2g(1/2) + 2g(-1/2) - g(-1) = (1/4)g'''(r), -1<r<1
なるrが存在する。
(平均値の定理を3回使う)
479:132人目の素数さん
20/08/13 17:19:45 KhggCoPs.net
〔出題2〕
(2)
√2 + √z ≒ y
となる自然数 y,z を見つけよ。
---------------------------------
xx - 2yy = -1 ならば
(xx +5 -4x)/2 = yy + 2 - (2√2)y - 2(x-y√2)
= (y-√2)^2 + 2/(x+y√2),
∴ √2 + √{(xx +5 -4x)/2} = y + 1/{(x+y√2)(y-√2)} + … ≒ y,
xx - 2yy = 1 ならば
(xx +3 -4x)/2 = yy + 2 - (2√2)y - 2(x-y√2)
= (y-√2)^2 - 2/(x+y√2),
∴ √2 + √{(xx +3 -4x)/2} = y - 1/{(x+y√2)(y-√2)} + … ≒ y,
例)
x = ((1+√2)^n + (1-√2)^n)/2,
y = ((1+√2)^n - (1-√2)^n)/(2√2),
は「ペル方程式」
xx - 2yy = (-1)^n
をみたす。
480:132人目の素数さん
20/08/15 02:35:42 fibcKrcF.net
〔出題2〕
(3)
n ≒ √a + √b (n,a,bは正の整数) となるような近似の例を無限に多く構成せよ。
ただし (1) のように平方数を利用した「自明な」例は除外する。
できるだけ高い精度の近似例を期待する。
481:132人目の素数さん
20/08/15 21:01:14 fibcKrcF.net
>>476
・xx-2yy = ±1 とする。
z = yy -2x +2
= (y-√2)^2 - 2(x-y√2)
= (y-√2)^2 干 2/(x+y√2),
とおけば
√2 + √z = y 干 1/{(x+y√2)(y-√2)} + … ≒ y,
| 1/{(x+y√2)(y-√2)} | < 1/{(2√2)(y-√2)^2} → 0 (y→∞)
他にも
z' = xx -4y +2
= (x-√2)^2 + (2√2)(x-y√2)
= (x-√2)^2 ± (2√2)/(x+y√2),
とおけば
√2 + √z' = x ± (√2)/{(x+y√2)(x-√2)} + … ≒ x,
| (√2)/{(x+y√2)(x-√2)} | < 1/{(√2)(x-√2)^2} → 0 (x→∞)
482:盗聴盗撮犯罪者・色川高志が嫌がらせをしつこく継続
21/03/17 12:58:01.09 KkUI8XzM.net
色川高志(葛飾区青戸6-23-21ハイツニュー青戸103)
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子(葛飾区青戸6-2�
483:U-6)の挑発 ●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは 龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状) 492盗聴盗撮犯罪者色川高志(青戸6-23-21ハイツニュー青戸1032021/02/03(水) 13:53:22.55ID:QtP78E4Z ●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」 長木親父&長木よしあき(盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会&被害者の会会長)住所=東京都葛飾区青戸6-23-20 ●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父 高添沼田ハゲエロ老義父の住所=東京都葛飾区青戸6-26-6 【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 ℡03ー3607ー0110 盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6-23-19)の 五十路後半強制脱糞 http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
484:132人目の素数さん
21/10/10 05:35:14.97 n35mZS6H.net
これ、むずい
URLリンク(detail.chiebukuro.yahoo.co.jp)
485:132人目の素数さん
22/11/02 08:58:15.45 nyCJInth.net
たしかに
むずかしいな
486:132人目の素数さん
22/12/20 16:03:55.07 R0GrT6qP.net
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
487:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています