18/06/23 07:42:18.13 dwnA+Cpc.net
>>322
あーでも
超準解析でなら無限小つかって何とかなるのかも？
いずれにせよ普通のリーマン積分じゃないけど
341:１３２人目の素数さん
18/06/23 07:48:02.87 +DLbwu6k.net
n=1,2,...に対し、小数点以下n^2桁目が1で他の桁が全て0であるような無限小数を考える。
この無限小数は循環小数でないことを示せ。
342:１３２人目の素数さん
18/06/23 07:51:55.61 dwnA+Cpc.net
>>338
(m+1)^2-m^2=(n+1)^2-n^2
m=n
343:１３２人目の素数さん
18/06/23 09:30:43.46 VyGl4kD6.net
>>337
超準解析使うとどのようになるんですか？
ちょっとかじったんですけど、具体的な計算はよくわかりませんでした
344:１３２人目の素数さん
18/06/23 12:18:48.57 YJJ516lQ.net
>>340
準同型とかの知識がないと理解したことにならないからやめとけ。
345:１３２人目の素数さん
18/06/23 12:22:14.27 F6CiNdZz.net
>>341
とりあえず、超積による超実数の構成や、Losの定理、移行原理、共起性定理、無限大自然数の存在性などは理解したつもりです
346:１３２人目の素数さん
18/06/23 12:44:31.84 YJJ516lQ.net
>>342
準同型について勉強してからおいで。
347:１３２人目の素数さん
18/06/23 12:51:28.99 F6CiNdZz.net
>>343
準同型くらいはわかりますけど、今回の話とどのような関係があるんですか？
348:１３２人目の素数さん
18/06/23 12:58:54.05 YJJ516lQ.net
>>344
全く関係ないよ。
349:１３２人目の素数さん
18/06/23 13:02:20.35 hZkdPDzR.net
準同型という言葉を使いたかっただけだろ
350:１３２人目の素数さん
18/06/23 13:02:26.07 F6CiNdZz.net
>>345
ないんですか？
それなら、>>341はどういうことですか？
あなたは超準解析わからないということですか？
351:１３２人目の素数さん
18/06/23 13:15:14.36 YJJ516lQ.net
どうやら昨夜の質問者じゃないみたいだな。
352:１３２人目の素数さん
18/06/23 13:18:40.39 H6w60CMB.net
劣等感の人じゃない？
353:１３２人目の素数さん
18/06/23 13:19:28.79 F6CiNdZz.net
>>348
だったらなんなんですか？
あなたが知ったかした事実は変わりませんよ
354:１３２人目の素数さん
18/06/23 17:41:34.20 4GlVkfoX.net
>>334
ridge
355:１３２人目の素数さん
18/06/23 19:29:07.67 +DLbwu6k.net
p,qは|p|<1,|q|<1である複素数の定数とする。
xについての方程式x^2+px+q=0が実数解αと実数でない解βを持つとき、|αβ|の取りうる値の範囲を求めよ。
356:１３２人目の素数さん
18/06/23 22:06:40.25 HATFbbTo.net
0≦t<1に対してα=ωt、β=tとおく。
357:１３２人目の素数さん
18/06/23 23:38:07.58 LKZfoglg.net
力の５０００題からの問題なんだけど１１４ページくらい
ある長方形２枚をはりあわせる
□■□ この■はのりしろでのしりろ幅は１センチやで周囲１７４
センチや
縦横変換して、
□■□にしたとき、最初の□■□はあとのより１０平方センチ横幅短い
このとき長方形の面積もとめよって問題や
ここで解説には１０平方センチを１０÷１で１０センチ短くなるとしてる
つまり最初の長方形の長辺と短辺の差が１０として計算しとるけど
これが理解できひん
２で割ったら５短くなるやん
５で割ったら２短くなるやんけ
ちなみに方程式つかったら
最後は （√６９＋５）（√６９－５）で答えの数字よりずっと大きくなってまちがいや
あたまおかしなるで
358:１３２人目の素数さん
18/06/24 01:35:39.01 h9KChfHr.net
自分は尋常じゃないくらい頭が悪いのですが、東京大学理学部数学科に入りたいと思っています。
猛烈に努力をすれば実現可能でしょうか？
それとも、東大の数学科ぐらいになると、馬鹿がどれだけ努力をしても無駄なのでしょうか？
359:１３２人目の素数さん
18/06/24 02:25:33.57 nUG4kBzA.net
本当の意味で頭が良くなりたいです
数学をどれだけ勉強しても、数学の知識ばかりが増えて頭が良くなりません
どうしたら頭が本当に良くなるんですか？
360:１３２人目の素数さん
18/06/24 02:54:13.94 BW6lbwPs.net
>>353
α = t，β = ω(1+ｔ)/2,
とおけば、
|p| = ｜α+β| = √{(3tt+1)/4} < 1,
|q| = |α| |β| = t (1+t)/2,
∴ 0 ≦ |αβ| < 1.
361:１３２人目の素数さん
18/06/24 03:03:34.91 BW6lbwPs.net
>>356
「アホは治るよこうすりゃ治る。
蚊取り線香を粉にして、蕎麦に降り掛け食ってみろ」
362:１３２人目の素数さん
18/06/24 04:51:25.51 OQ0+nvmp.net
わからないのでお願いします。
10個の整数a1～a10に対して、Tk=Σ[i=1,10]ai^k とおき、pを11以上の素数とする。
T1,T2,...T10が全てpで割り切れるならば、a1,a2,...a10も全てpで割り切れることを示せ。
363:１３２人目の素数さん
18/06/24 05:31:05.22 BW6lbwPs.net
>>338
a = Σ[n=1，∞] 1/10^(nn)
が有理数 p/q （p，qは自然数）だったと仮定する。
qは 2k ～ 2k+1 桁とする。
10^(2k-1) ≦ q < 10^(2k+1),
{10^(kk)}p = q {10^(kk) a}
= q Σ[n=1，k] 10^(kk-nn) + q Σ[n=k+1，∞] q/10^(nn-kk)
= q Σ[n=1，k] 10^(kk-nn) + q {1/10^(2k+1) + 1/10^(4k+4) + 1/10^(
364:6k+9) + …} 第1項は自然数、第2項は 0～1の間にある。 ∴ {10^(kk)}p は自然数でなく、pは自然数でない。(矛盾)
365:１３２人目の素数さん
18/06/24 09:37:19.10 BW6lbwPs.net
>>338 (続き)
一方、循環小数は その循環節をL桁として (10^L - 1) を掛けると有限桁で終わる。
∴ 有理数である。
以上により、aは循環小数でない。
366:１３２人目の素数さん
18/06/24 10:26:27.53 BW6lbwPs.net
>>359
〔補題〕
n個の整数 a_1～a_n に対して、T_k = Σ[i=1，n] (a_i)^k とおき、pを n+1以上の素数とする。
T_1，T_2，…，T_n が全てpで割り切れる ⇒ a_1，a_2，…，a_n も全てpで割り切れる。
(略証)
nについての帰納法による。
・n=1 のときは明らか。
・n≧2 のとき
n!･a_1･a_2…a_n は T_1～T_n の整多項式だから (*) 題意より
n!･a_1･a_2…a_n ≡ 0 (mod p)
0 < n < p だから
a_1･a_2…a_n ≡ 0 (mod p)
ある 1 ≦ i ≦ n について a_i ≡ 0 (mod p)
a_i 以外のn-1個については
(T_k)~ = T_k - (a_i)^k ≡ 0 (mod p)
帰納法の仮定から、1≦j≦n，j≠i に対して a_j ≡ 0 (mod p)
*) たとえば
1!･a_1 = T_1,
2!･a_1･a_2 = (T_1)^2 - 2･T_2,
3!･a_1･a_2･a_3 = (T_1)^3 - 3･T_1･T_2 + 2T_3,
367:１３２人目の素数さん
18/06/24 10:39:42.50 jLCQQPbm.net
>>357
(T+1)/2にしてるのはなぜ？
tωでもいいとおもうけど？
368:１３２人目の素数さん
18/06/24 16:03:01.68 GagEFgHQ.net
>>351
ネットで引いてみると微分幾何の用語でridge detectionというのは見つかるけど、>>334の意味で使われてる文書はヒットしないですね。まぁマイナーなジャンルだからかもしれないけど。定義知らなくても前後こ文脈から推定できなくもないし。
369:１３２人目の素数さん
18/06/24 18:38:01.13 BW6lbwPs.net
>>363
β=ωt とすると、t=0 のときβも実数となり、題意を満たさぬ。。。
370:１３２人目の素数さん
18/06/24 19:01:34.10 alg6k7ts.net
>>365
なるほど。
371:１３２人目の素数さん
18/06/24 19:51:29.82 5VHFc6gP.net
>>300
こちらわかる方いませんか？
372:１３２人目の素数さん
18/06/24 19:55:15.08 C9Q8KS7h.net
>>367
f(x,y) = |sin x|
E = {(x,y) | f(x,y) = 1}
F = {(x,y) | f(x,y) = 0}
373:１３２人目の素数さん
18/06/24 20:03:30.14 C9Q8KS7h.net
>>367
f(P) = atan2(dist(E,P), dist(F,P))×(2/π)
374:１３２人目の素数さん
18/06/24 22:31:23.07 5VHFc6gP.net
>>368
>>369
ありがとうございます
375:１３２人目の素数さん
18/06/24 23:03:31.04 BW6lbwPs.net
>>367
もう終わったけど…
f(P) = h( g(FP) / {g(EP） + g(FP)} ）,
g(0) = h(0) = 0，g(x) と h(x) は連続で単調増加。
376:１３２人目の素数さん
18/06/25 05:46:04.95 qOAzU6BU.net
> 普通の(リーマン)積分は有界関数でしか定義されてない
というのが（ｘ軸にこだわる）リーマン積分の限界ではないだろうか。
>>328 のように図形の面積と見做すことは、その限界を越えるための１方法かも知れない。
ともあれ、ルベーグ積分への自然な動機付けにはなると思う。
377:１３２人目の素数さん
18/06/25 07:41:42.02 PuT4iput.net
負でない整数m,nを用いて(2^m)*(3^n)の形で表される自然数を「mn数」と呼ぶこととする。
どのような自然数も、mn数であるか、または相異なるmn数の和で表せることを示せ。
378:１３２人目の素数さん
18/06/25 08:12:35.01 DK5b82Ew.net
２個までの和なら２３が無理
何個つかってもいいなら２進展開
379:１３２人目の素数さん
18/06/25 08:15:23.20 pYmKqi/x.net
どうでもいいけど「mn数」だと具体的な数値入れたときにわけわからんことになるから(m,n)数にしておいた方がいいと思うの
380:１３２人目の素数さん
18/06/25 17:31:17.99 RAzJToPD.net
物事をあるがままに受け入れるのと、リーマン予想を証明するのはどっちの方が凄いことですか？
381:１３２人目の素数さん
18/06/25 18:56:32.32 RcSMYH9T.net
y>0に対して、常にe^(-yx^2)より広義で大きく、また、0から∞までの積分が収束するxの関数を教えてください。
382:１３２人目の素数さん
18/06/25 19:39:02.32 RcSMYH9T.net
>>377
解決しました。
383:１３２人目の素数さん
18/06/25 20:16:25.32 PuT4iput.net
pを2以上の自然数とする。
以下の性質(C)を持つ自然数kをf(p)とおく。
(C):k以下のすべての自然数rに対し、pとp+rが互いに素である。またpとp+k+1は共通の素因数を持つ（1は素因数でない）。
以下の問
384:に答えよ。 （1）f(p)=p-1⇔pは素数、を示せ。 （2）自然数nを用いてp=n!と表せるとき、f(p)を求めよ。
385:１３２人目の素数さん
18/06/25 20:25:41.83 HXiGFzMn.net
>>376
鏡見てみろ、馬鹿、やる気のない、ナマポのおっさんが写ってるだろ
386:１３２人目の素数さん
18/06/25 21:32:30.42 xWSwFb4S.net
国民民主党の伊藤孝恵氏が発言に疑問を呈したのに対し、麻生氏は「マラハラ罪という罪はない。法律的にはございません」と強調。
「『マラセクハラ、罪ではない\単なる早漏』と書かれてみたり、セクハラと罪の間に金玉コンマをつけて『セクハラ・金玉罪はない』というような書き方をされたり。
いろいろ；マラをねじ曲げて伝えられて甚だ残念だ」と述べ、自身のマラ問題発言よりもむしろマスコミのアナル報道ぶりを問題視した。
387:１３２人目の素数さん
18/06/25 22:52:42.09 1sjLojKM.net
f(p)＝pの最小素因子－1
388:１３２人目の素数さん
18/06/26 15:44:07.62 uoh53rsf.net
∫[0,2π](sinθsin(nθ))/(1-2acosθ+a^2)dθ = πa^(n-1)を示して下さい
aの範囲は0≦a＜1です
389:１３２人目の素数さん
18/06/26 18:36:34.59 PjRQhOfe.net
ガウスやオイラーやラマヌジャンみたいな超絶天才数学者になりたい。
390:１３２人目の素数さん
18/06/26 18:38:44.81 sJlNM6cC.net
>>384
鏡見てみろ
391:１３２人目の素数さん
18/06/26 19:06:20.88 QYUm+eDt.net
ある直方体の高さを２ｃｍ短くすると表面積が２４０ｃｍ＾２少なくなる
同様に、横を３ｃｍ短くすると表面積２７０ｃｍ＾２少なくなり、
縦を４ｃｍ短くすると表面積が５２０ｃｍ＾２少なくなる
このある直方体の体積を求めよ
という問題で解説をみたら
２４０÷２÷２＝６０
２７０÷３÷２＝４５
５２０÷４÷２＝６５
・
・
と立式されてるが、最後の２で割る意味がわからない
というか、２，、３，４で割ってる意味もわからん
解説だれか頼む
392:１３２人目の素数さん
18/06/26 19:10:37.25 Y+XJm0lr.net
わからないんですね
393:１３２人目の素数さん
18/06/26 19:35:22.41 QYUm+eDt.net
解説の意味わかったわ
やーい、>>387おまえざまああああああ
つまり表面積が２４０少なくなる、高さ２短くする
となると、
（２・縦＋２・横）・２＝２４０だ、もしくは（２・横＋２・縦）・２＝２４０
これを縦＋横について解くと
２４０÷２÷２だ、
同様に３短くなって２７０なら
（２・高＋２・縦）・３＝２７０だ、（２・横＋２・高）・３＝２７０
よって２７０÷２÷２で高＋縦がでる
もちろん２・横＋２・縦
394:１３２人目の素数さん
18/06/26 19:47:48.67 Yp3dAEmj.net
>>383
2ai sin(θ)/(1-2acos(θ)+a^2)
=1/(2i)(1/(1-a cisθ) - 1/(1-a cis(-θ)))
=2iΣ[k] a^k sin kθ
∫[0,2π]sin kθsin nθdθ=πδ[k,n]
395:１３２人目の素数さん
18/06/26 20:00:17.50 o1lrNo9A.net
コンピュータによる定理の自動証明なるものがあるそうですが
今後は全ての定理はコンピュータがやるようになるのでしょうか？
396:１３２人目の素数さん
18/06/26 20:01:58.84 Yp3dAEmj.net
>>390
それがヒルベルトが超数学と名付けて夢見たのだけど、ゲーデルによって不可能であることが示された命題。
397:１３２人目の素数さん
18/06/26 20:11:18.76 qwrWm4Ev.net
>>391
不完全性定理を用いて>>390を証明する方法を教えてください
398:１３２人目の素数さん
18/06/27 00:09:57.87 2gEhKdLI.net
>>389
途中式もう少し書いて貰っていいですかね
399:１３２人目の素数さん
18/06/27 00:56:29.63 +BB8A0zO.net
途中式？？？
400:１３２人目の素数さん
18/06/27 01:16:02.89 PkqUm90n.net
スピーチの苦手・恐怖を克服 話し方の学校
URLﾘﾝｸ(www.youtube.com)
話し方教室と話し方の学校の大きな違い ～誰でも成長できる理由～
URLﾘﾝｸ(www.youtube.com)
「言葉にできない」ことは、「考えていない」のと同じである
URLﾘﾝｸ(www.youtube.com)
伝える力が飛躍的に伸びる2つのポイント ビジネス 話し方
URLﾘﾝｸ(www.youtube.com)
コミュニケーションがスムーズになるアドバイス
URLﾘﾝｸ(www.youtube.com)
何が人を動かすのか - コミュニケーションの科学
URLﾘﾝｸ(www.youtube.com)
もっと人を動かす講師になれるスピーチの極意『感情デリバリーマトリックス』
URLﾘﾝｸ(www.youtube.com)
感情を伝える表現力トレーニング 話し方の学校
URLﾘﾝｸ(www.youtube.com)
401:１３２人目の素数さん
18/06/27 01:16:55.33 PkqUm90n.net
スピーチにもう悩まない！相手を不愉快にさせない大人の話し方
URLﾘﾝｸ(www.youtube.com)
プレゼンやスピーチが苦手な人こそ実践するべき人前で話す３つのコツ
URLﾘﾝｸ(www.youtube.com)
意識的にスピーチ力を鍛える簡単アドバイス
URLﾘﾝｸ(www.youtube.com)
一目瞭然、プロとアマチュアの話し方の違いとは？
URLﾘﾝｸ(www.youtube.com)
スピーチが得意な人は事前に◯◯してる！
URLﾘﾝｸ(www.youtube.com)
仕事が出来る人かどうかは話し方で9割分かる
URLﾘﾝｸ(www.youtube.com)
スピーチ力をUPさせる簡単な方法
URLﾘﾝｸ(www.youtube.com)
人前で話す恐怖を克服して堂々とスピーチする2つの方法
URLﾘﾝｸ(www.youtube.com)
402:１３２人目の素数さん
18/06/27 03:33:49.52 vUXdnPuF.net
>>392
> >>391
> 不完全性定理を用いて>>390を証明する方法を教えてください
不完全性定理が証明なんじゃ？
403:１３２人目の素数さん
18/06/27 04:47:39.26 XfvCEgFW.net
>>393
sinθ = {e^(iθ) - e^(-iθ)}/(2i),
1 -2a cosθ + aa = 1 -a [e^(iθ) + e^(-iθ)] + aa = [1 -a e^(iθ)][1 -a e^(-iθ)],
より
a sinθ / (1 -a･2cosθ +aa)
= a {e^(iθ) - e^(-iθ)}/(2i) /{[1 -a e^(iθ)][1 -a e^(-iθ)]}
= {1/[1 -a e^(iθ)] - 1/[1 -a e^(-iθ)]} /(2i)
= Σ[k=0,∞] a^k {e^(ikθ) - e^(-ikθ)} /(2i)
= Σ[k=1,∞] a^k sin(kθ),
積和公式
sin(kθ) sin(nθ) = (1/2) {cos((k-n)θ) - cos((k+n)θ)},
∫[0,2π] sin(kθ) sin(nθ) dθ = (1/2) {2πδ[k,n] + 0} = π δ[k,n]
404:１３２人目の素数さん
18/06/27 08:45:54.22 CWWB6fZW.net
>>397
不完全性定理とは
ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできる
ということです
つながりがよくわかりません
405:１３２人目の素数さん
18/06/27 08:53:18.67 CX1HtDCp.net
指数や係数にも虚数単位が入っている場合、積分は定義できますか？
例えば ∫[0→π/2] exp(ix) dx のような。
406:１３２人目の素数さん
18/06/27 08:54:13.46 CWWB6fZW.net
はい
407:１３２人目の素数さん
18/06/27 10:56:37.11 CX1HtDCp.net
a,bを実数とする。
|√(a+b)|と|√(a)+b|の大小を比較せよ。
ただしcが負の実数のとき、iを虚数単位として√c=-√(c)iと定める。
408:１３２人目の素数さん
18/06/27 17:13:02.93 zJp65dVN.net
>>399
任意の無矛盾なはうそ。公理が帰納的に枚挙可能(recursively enumerable)じゃないと無理。
409:１３２人目の素数さん
18/06/27 17:28:15.32 L74yiFgl.net
>>390 サンプル本文の６ページの「定理証明支援系のもたらす可能性」
ってところにＳＦチックだけど面白いことが書いてある
URLﾘﾝｸ(www.morikita.co.jp)
410:１３２人目の素数さん
18/06/27 17:47:36.25 XfvCEgFW.net
>>400
その例では e^(ix) = cos(x) + i sin(x) と分けて別々に積分し、
最後に一緒にすると
[ -i･e^(ix) ](x=0,π/2) = 1+i
複素数Cを {1,i} を基底とするベクトル空間と見なす (?)
411:１３２人目の素数さん
18/06/27 18:09:12.43 4ICaZFXr.net
>>403
何のためにペアノ算術を含む、という条件が含まれてるのか考えましょうねー
412:１３２人目の素数さん
18/06/27 18:45:32.62 Z8PHHCZc.net
ペアノ算術を含む帰納的に枚挙不可能な公理を持つ理論なんかすぐ作れるじゃん。もしかして意味わかってないの？
413:１３２人目の素数さん
18/06/27 18:49:04.33 4ICaZFXr.net
>>407
>>406の意味わかってないんですね(笑)
414:１３２人目の素数さん
18/06/27 18:54:58.94 Z8PHHCZc.net
実は劣等感のひとが本当は基礎論まるでわかってないってことでしょうか？
415:１３２人目の素数さん
18/06/27 18:55:32.32 4ICaZFXr.net
403 名前:１３２人目の素数さん [sage] :2018/06/27(水) 17:13:02.93 ID:zJp65dVN
>>399
任意の無矛盾なはうそ。公理が帰納的に枚挙可能(recursively enumerable)じゃないと無理。
ペアノ算術含むだけでいいと言ってんのになんなんですか？これは
416:１３２人目の素数さん
18/06/27 19:08:19.37 Z8PHHCZc.net
マジっすか？PA含んでるだけで不完全性証明できるんすか！
私は勉強してたときは帰納的に枚挙可能でないとダメだったけどなぁ！www
417:１３２人目の素数さん
18/06/27 19:09:22.81 4ICaZFXr.net
勉強し直しましょうねー
418:１３２人目の素数さん
18/06/27 19:10:13.64 4ICaZFXr.net
てか、ぶっちゃけ計算理論はよくわからないんですけど、計算理論使うとそういう過程が必要になるってだけじゃないですか？
419:１３２人目の素数さん
18/06/27 19:29:06.79 Z8PHHCZc.net
ホンマに知らんかったんや？
PA含んで完全、無矛盾な理論なんかいくらでも作れる。
“PAを含む理論”という語は”PAの公理からなる理論”ではない。不完全性定理の主張は
PAの公理全部を含んでさえいれば、そこにいくらたくさん公理を追加しても、帰納的、無矛盾でさえあれば不完である。
であってPAだけが不完全と言ってるわけではない。
420:１３２人目の素数さん
18/06/27 19:31:01.68 4ICaZFXr.net
>>414
意味がわかりません
ペアノ算術に用いられる言語だけを用いればロッサー文を構築することができますよね
421:１３２人目の素数さん
18/06/27 19:33:48.35 Z8PHHCZc.net
だから？てか？もしかしてホントにわかってないの？
422:１３２人目の素数さん
18/06/27 19:34:34.72 4ICaZFXr.net
>>416
じゃ教えてください
423:１３２人目の素数さん
18/06/27 19:47:02.54 Z8PHHCZc.net
話をハナからPAに限るならもとから帰納性云々の議論はいらない。
しかしだったら”PAを含む理論”ではなく主張を”PAにおいては"にしないといかん。
でもそれでは単にPAの公理が足りてないだけでもっと沢山公理を追加すれば完全な理論ができる可能性が残る。
しかしゲーデルの主張は公理系か “帰納的に定められている限り” PAの場合と同様にして不完全である事が示せてしまうというもの。
そもそも原論文なんか読んでないから知らないけど不完全性定理をわざわざPAだけに限って証明してる教科書ある？
少なくとも一言 “一般に帰納的でさえあれば同様に不完全である" って書いてあるやろ？
"PAは不完全である、終わり" なんて聞いたことない。
424:１３２人目の素数さん
18/06/27 19:48:15.05 4ICaZFXr.net
どうして機能的である、という条件が必要なんですか？
PAを含めばどんなものでも不完全になるんではないんですか？
425:１３２人目の素数さん
18/06/27 20:10:40.83 4ICaZFXr.net
回答が途切れましたね
426:１３２人目の素数さん
18/06/27 20:24:20.60 tbwlyC1K.net
劣等感婆さんの勝利です！
おめでとうございます！
427:１３２人目の素数さん
18/06/27 21:27:45.2
428:9 ID:fmGQ4DiB.net
429:１３２人目の素数さん
18/06/27 21:37:27.87 Z8PHHCZc.net
仕事してた。
どうして帰納的が必要か？
理由その1
その理論に対するロッサー文に対応するものを構成するのに必要だから。
理由その2
帰納的でなければ反例があるから。
430:１３２人目の素数さん
18/06/27 21:38:33.91 4ICaZFXr.net
反例を教えてください
431:１３２人目の素数さん
18/06/27 21:42:58.98 fmGQ4DiB.net
ググレよババア（笑）
432:１３２人目の素数さん
18/06/27 21:43:18.82 Z8PHHCZc.net
Sを任意のPAを含む無矛盾な公理系とする。
TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
この時Tは無矛盾、完全でPAを含む。
433:１３２人目の素数さん
18/06/27 21:47:35.28 4ICaZFXr.net
>>426
＞TをSを含む公理系で無矛盾であるものの中で極大であるものとする。(Zornの補題より存在)
なぜですか？
434:１３２人目の素数さん
18/06/27 21:48:32.27 Z8PHHCZc.net
流石にそこは考えようよ
435:１３２人目の素数さん
18/06/27 21:48:52.70 4ICaZFXr.net
わからないんですか？
436:１３２人目の素数さん
18/06/27 21:50:17.15 4ICaZFXr.net
回答がなければわからないのだとみなします
437:１３２人目の素数さん
18/06/27 21:50:21.43 Z8PHHCZc.net
わかりませーん
438:１３２人目の素数さん
18/06/27 21:50:39.41 4ICaZFXr.net
わからないんですね(笑)
439:１３２人目の素数さん
18/06/27 21:55:32.10 Z8PHHCZc.net
ここはホントにわかってない可能性あるな。
なんでPAの話してたのにZなんでornの補題なんて出てくるんだ？そんなん使うの反則やろ？！と
わからんでもない、けどそこがミソだからしっかり考えてみるといいよ。
440:１３２人目の素数さん
18/06/27 21:56:41.10 4ICaZFXr.net
メタ論理ですよねそんなのはわかります
不完全性定理で使う極大無矛盾な公理系ってやつですね
わかりました
今回は負けを認めます
441:１３２人目の素数さん
18/06/27 21:58:40.69 4ICaZFXr.net
不完全ではなく完全でしたね
442:１３２人目の素数さん
18/06/27 22:00:14.11 Z8PHHCZc.net
誰も勝ってないし誰も負けてません。
楽しい数学のお話できてよかっただけです。
ありがとうございました
443:１３２人目の素数さん
18/06/27 22:12:14.98 +QjILrgv.net
>>434
君はいつも負けてばかりね
なぜかって分かってる？
444:１３２人目の素数さん
18/06/27 22:12:54.50 4ICaZFXr.net
>>437
なぜ単発なんですか？
445:１３２人目の素数さん
18/06/27 22:21:15.23 4ICaZFXr.net
819 名前:１３２人目の素数さん :2018/06/27(水) 02:12:37.03 ID:Zd/sPNRD
A={x∈R^2| 1≦∥x∥≦２}とB={x∈R^2| 0＜∥x∥＜1}って位相同型になりますか？証明も合わせてしていただけると助かります。
821 名前:１３２人目の素数さん :2018/06/27(水) 03:46:18.66 ID:+QjILrgv
>>819
A閉B開
822 名前:１３２人目の素数さん :2018/06/27(水) 08:46:26.41 ID:CWWB6fZW
↑わからないんですね
823 名前:１３２人目の素数さん [sage] :2018/06/27(水) 10:56:16.33 ID:Gj4WdGnJ
>>822
氏ね
証明問題です
821=823を示してください
446:１３２人目の素数さん
18/06/27 22:30:43.80 4ICaZFXr.net
>>439
そこまで難しくはないと思うので、ぜひよろしくお願いします
447:１３２人目の素数さん
18/06/27 22:31:03.43 +QjILrgv.net
>>439
分からないんですね
ちょっと可哀想かも
448:１３２人目の素数さん
18/06/27 22:32:22.48 4ICaZFXr.net
いや、結果は明らかなんですけどね(笑)
449:１３２人目の素数さん
18/06/27 22:55:32.90 +QjILrgv.net
>>442
君が分かってないって内容が分かってないってことが分かった
心安けく
450:１３２人目の素数さん
18/06/27 22:56:06.63 CWWB6fZW.net
なら、821からどのように証明するつもりだったんですか？
451:１３２人目の素数さん
18/06/27 22:56:24.95 CWWB6fZW.net
言ってみてください
452:１３２人目の素数さん
18/06/27 23:01:43.19 CWWB6fZW.net
あと一時間だから逃げ切ろうって感じですか？
453:１３２人目の素数さん
18/06/27 23:23:06.20 +QjILrgv.net
モノノアハレ
454:１３２人目の素数さん
18/06/27 23:28:47.40 CWWB6fZW.net
あと30分ですよ？
A閉B開
これの続きお願いしますね
455:１３２人目の素数さん
18/06/27 23:40:14.91 CWWB6fZW.net
あと20分ですね
456:１３２人目の素数さん
18/06/27 23:50:08.85 CWWB6fZW.net
あと10分ですね
457:１３２人目の素数さん
18/06/27 23:55:03.30 CWWB6fZW.net
あと5分ですね
458:１３２人目の素数さん
18/06/28 01:30:56.08 u1GkknWQ.net
Aが閉だから同相写像で写したら閉にならないといけないのに開になってるから同相でない、とでもしたかったんでしょうね
本当、レベルが低すぎますね
459:１３２人目の素数さん
18/06/28 01:39:11.51 kQaLjbsv.net
外側の世界と内側の世界だとやはり、後者の方が重要なのでしょうか？
つまり、現象と本質だとやはり、後者の方が重要なんでしょうか？
460:１３２人目の素数さん
18/06/28 04:55:03.03 cSDmnlHd.net
〔類題〕
A = {x∈R^2 | 1<∥x∥≦2 } と B = {x∈R^2 | 0<∥x∥≦1} って位相同型になりますか？証明も合わせてしていただけると助かります。
461:１３２人目の素数さん
18/06/28 09:05:02.67 Ngo/ljvA.net
>>453
現象は常に自分の心に現れます
外側の物自体に到達することはできません
462:１３２人目の素数さん
18/06/28 11:14:37.92 hAFNRdR8.net
質問です。
軸径Φｄ＝42（ｍｍ）、伝達トルクＴ＝320（Ｎ・ｍ）
※キー材の許容剪断応力σ＝42（MPa）、キー材の許容面圧（圧縮）応力Ｈ＝80（MPa）
Ｑ：このときのキーの長さを求めよ
463:１３２人目の素数さん
18/06/28 11:15:51.80 RSPj0qe9.net
>>456
答え
機械板で聞け
464:１３２人目の素数さん
18/06/28 11:17:05.90 hAFNRdR8.net
>>457
場所がわかりません。
465:１３２人目の素数さん
18/06/28 11:30:55.58 RSPj0qe9.net
>>458
機械・工学
URLﾘﾝｸ(matsuri.5ch.net)
466:１３２人目の素数さん
18/06/28 12:06:41.63 zUAETU8L.net
>>454
極座標で
(r,θ)→(r-1,θ)
467:１３２人目の素数さん
18/06/28 13:48:17.09 qqLNMo/W.net
どなたか>402の解答を教えてください
468:１３２人目の素数さん
18/06/28 13:49:37.90 qqLNMo/W.net
>>461
訂正:√(-c)i
469:１３２人目の素数さん
18/06/28 15:55:13.16 kNusMbfr.net
高校数学の問題です。
どうしてもわからないのでお願いします。
平面上の好きな点を中心として、
グラフy=e^xに対して、接する円を書く。
接点Pでは円の接線とe^xの接線が一致することを証明せよ。
470:１３２人目の素数さん
18/06/28 16:01:46.44 wVVzqvJI.net
わからないんですね
471:１３２人目の素数さん
18/06/28 16:04:24.54 02IkiEcG.net
そりゃ３個とも傾き一緒だからでいいんじゃないの
472:１３２人目の素数さん
18/06/28 16:06:15.77 kNusMbfr.net
「微分可能な曲線どうしが接している場合、接線も一致している」
というのが成り立つのでしょうか？
どうやったら証明できるのか教えて頂きたいです。m(_ _)m
473:１３２人目の素数さん
18/06/28 16:06:16.02 kNusMbfr.net
「微分可能な曲線どうしが接している場合、接線も一致している」
というのが成り立つのでしょうか？
どうやったら証明できるのか教えて頂きたいです。m(_ _)m
474:１３２人目の素数さん
18/06/28 16:07:30.08 RXIrgr4j.net
>>464
わからなかったんですね（笑）
475:１３２人目の素数さん
18/06/28 18:00:07.46 qqLNMo/W.net
>>463
接するの定義は？
476:１３２人目の素数さん
18/06/28 21:57:41.67 TIZxPjG6.net
>>41
割り込みすいません、あの、
Σk^k（k=1~ｎ）の解教えていただけないでしょうか？
477:１３２人目の素数さん
18/06/28 22:22:41.72 bvccoW5P.net
無いよ？
478:１３２人目の素数さん
18/06/28 22:29:22.31 aAXNinLe.net
日本人を全員死刑にしろ
479:１３２人目の素数さん
18/06/28 23:07:01.71 qqLNMo/W.net
次の条件(a),(b),(c)を満足する座標空間の点(x,y,z)全体からなる領域の面積を求めよ。
(a) x≧y≧z≧0
(b) x+y+z=1
(c)x^2+y^2+2z^2≦1
480:１３２人目の素数さん
18/06/29 00:25:31.89 q33GFUjz.net
>>460
A, B と C = {x∈R^2 | k<∥x∥≦ k+1 } も位相同型ですね。(k=2,3,…)
481:１３２人目の素数さん
18/06/29 11:22:56.06 wsm67pQy.net
おやすみ、おやすみ言う知恵遅れは黙れ
482:１３２人目の素数さん
18/06/29 11:26:01.76 wsm67pQy.net
尾辻がどうとか、うるせーけど文句があるんだったら面と向かって言ってみろ。
女々しいカス共は口を開くな。
483:１３２人目の素数さん
18/06/29 13:23:46.50 CIb/DBdZ.net
日本人の血液型はＡ,Ｏ,Ｂ,ＡＢの比率が概略４：３：２：１であるという。全部の血液型を集めるのは何人集めればよいか？
484:１３２人目の素数さん
18/06/29 15:09:49.65 5rnWpzZF.net
>>474
意味無いな
485:１３２人目の素数さん
18/06/29 15:10:39.01 5rnWpzZF.net
>>477
4種類だから4人で
486:１３２人目の素数さん
18/06/29 17:02:30.63 d/ijOzys.net
座標空間の2点A,Bの距離はLである。A,Bを両端点とする、折れ曲がりがちょうど1箇所だけの折れ線のうち、長さがL+1であるものを考える。ただし折れ曲がりの角度は180°であってもよい。
この折れ線が通過してできる領域D（立体図形D）について考える。
（1）Dはどのような図形か。名称を答えよ。根拠を述べる必要はない。
（2）Dの体積を求めよ。
487:１３２人目の素数さん
18/06/29 17:07:13.98 d/ijOzys.net
一辺の長さが1の立方体Vがある。Vの表面上を3点P,Q,Rが動き、△PQRの面積は常に1/4である。
辺PQの長さの取りうる値の範囲を求めよ。
488:１３２人目の素数さん
18/06/29 17:26:47.53 d/ijOzys.net
p,q,rは自然数とする。
A=(q+√r)/p
B=(q-√r)/p
C_n=A^n-B^n
とおく。
どのようなp,q,rに対しても、適当な自然数sをとれば、任意の自然数nに対して
√s・C_n または (1/√s)・C_n
が自然数となるようにできることを示せ。
489:１３２人目の素数さん
18/06/29 17:31:03.68 d/ijOzys.net
次の命題(a)(b)の真偽を述べよ。
(a)どのような四角錐であっても、適当な平面πが存在して、πによる切り口の図形がひし形であるようにできる。
(b)どのような四角錐であっても、適当な平面πが存在して、πによる切り口の図形が長方形であるようにできる。
490:１３２人目の素数さん
18/06/29 20:58:48.91 wsm67pQy.net
あほなゴミが毎日意味不明な命令をしている。
『おりろ。』って何だよ。
通じるか、ばか。
491:１３２人目の素数さん
18/06/29 21:29:24.54 d/ijOzys.net
自然数n_0=nを1つとる。
n_kから新しい整数n_k+1を、以下の操作を繰り返して作る。
1)n_kを3で割った余りが1または2のとき
公平なコインを投げ、
表が出た場合n_(k+1)=n_(k)+1とし、
裏が出た場合n_(k+1)=n_(k)+2とする。
2)n_kが3で割りきれるときn_(k+1)={n_(k)}/3
n_(i)=1となったときに操作を終了する。n_0=nに対するこのiの平均をE(n)とするとき、極限lim[n→∞] E(n)/ln(n)を求めよ。
492:１３２人目の素数さん
18/06/29 21:45:21.33 CIb/DBdZ.net
>>479
無作為に何人集めればすべての血液型が揃うかという問題。
各々の血液型である確率は0.4,0.3,0.2,0.1
493:１３２人目の素数さん
18/06/29 21:49:52.43 d/ijOzys.net
極限
J = lim[n→∞] ∫[0→nπ] e^(-x^2)/{1+x^2} dx
について、以下の問いに答えよ。
以下ではこの極限が収束することを既知として解答してよい。
（1）Jを10進法表示したときの、小数点以下第一位の数字を求めよ。
（2）Jの小数点以下第二位で四捨五入することにより、Jの近似値を求めよ。
494:１３２人目の素数さん
18/06/29 22:11:44.17 HXSCwxSc.net
>>477
(日本人口)*0.9+1
495:１３２人目の素数さん
18/06/29 22:48:43.97 wsm67pQy.net
>>477
254/15
496:１３２人目の素数さん
18/06/29 23:14:13.99 pZgLmlRb.net
>>486
後付けじゃなあ
ちなみに何人集めても
絶対に揃うとは言えないがな
497:１３２人目の素数さん
18/06/29 23:44:26.44 YhyeAIeU.net
とりあえず>>482はあかんやろ。
p=3,q=3,r=1のときv_3(√3c_n) = -∞やからそんなs取れるわけない。
498:１３２人目の素数さん
18/06/29 23:49:06.21 xe2qj+Uq.net
マイスター・エックハルトと東大医学部首席合格者はどっちの方が頭が良いですか？
499:１３２人目の素数さん
18/06/29 23:50:05.07 niLs2OYO.net
時間の関数として変化している位置ベクトルRp(t)が、その大きさ一定で変化しない場合、即ち|Rp(t)|=C(一定値)のとき、その速度ベクトルVp(t)=d/dt Rp(t)とRp(t)と直交することを証明せよ。
お願いします。
500:１３２人目の素数さん
18/06/29 23:50:50.36 YhyeAIeU.net
>>483の(1)は京大かどっかの過去問で出てたやつ。
そのときは直線上だけど線分上でも縮めりゃいいだけだから存在。
(2)はO-ABCDで４つの側面のなす角を全部鈍角にすれば切断面がOA～ODとまじわってできる角は平面のなす角以上で鈍角。
つまり切断面の図形はかならず鈍角を含むから長方形にはならない。
501:１３２人目の素数さん
18/06/29 23:50:51.08 xe2qj+Uq.net
マイスター・エックハルトは天才の部類に入るでしょうか？
502:１３２人目の素数さん
18/06/29 23:54:47.91 YhyeAIeU.net
>>481のPQの最大値は論を待たず√3だけど最小値が出るのこれ？
Rは一つの頂点としてRを含む長方形で辺の比が1:√2のものの周からP,Qをとるときに最小は属するとおもうんだけど恐ろしい方程式になるよ？これ解けるの？
503:１３２人目の素数さん
18/06/29 23:55:53.20 xe2qj+Uq.net
ニールス・アーベルとマイスター・エックハルトはどっちの方が天才ですか？
504:１３２人目の素数さん
18/06/29 23:56:40.00 YhyeAIeU.net
>>485はむずいな。あとは………
505:１３２人目の素数さん
18/06/29 23:59:06.84 xe2qj+Uq.net
東京大学理学部数学科にはツォンカパを超える天才はいますか？
506:１３２人目の素数さん
18/06/30 00:06:42.46 9gv1982u.net
>>496
まちがえた。
P(p,0), Q(0,q), R(√2,1)としてPQとRの距離は(a+√2b)/√(a^2+b^2)。
よってΔPQR = 1/2(a+√2b)。これが1/4のときのPQ = √(a^2+b^2)の最小値。以下ｒｙ
507:１３２人目の素数さん
18/06/30 00:13:45.01 9gv1982u.net
あ、>>500間違った？撤回しまつ。
508:１３２人目の素数さん
18/06/30 00:25:23.24 9gv1982u.net
いや、やっぱりあってる。>>485がむずい。
509:１３２人目の素数さん
18/06/30 00:43:20.48 xzxKfsfb.net
>>493
d/dt(x(t)^2+y(t)^2)=0
510:１３２人目の素数さん
18/06/30 01:02:42.49 CyuQ8jcF.net
>>477
一応真面目に書いておこう。
日本人口は有限なのでいつかは4種類揃う。
必要な人数が最も多い状況は、AB型以外を全員選んでからAB型を１人選ぶ場合。
この場合、人数は (日本人口)*0.9+1 となる。
よって、(日本人口)*0.9+1 人選べば必ず4種類揃う。
ただし、上の結果は >>477 の割合が正確であると仮定した場合のものである。
割合がおおよそのものであれば、どの程度「おおよそ」なのかが分からなければ正確な値は出せない。
511:１３２人目の素数さん
18/06/30 01:48:05.55 PKlduf9+.net
こういう問題だったらどうだろう
いわゆるコンプガチャ問題。
Ａ,Ｏ,Ｂ,ＡＢのカードが比率４：３：２：１で排出されるガチャがあり、カードの枚数に上限はなく、何度引いても排出比率は変わらない
すべての種類のカードが1枚以上出るまで引き続ける場合、引く枚数の平均値(期待値)は何枚か？
512:１３２人目の素数さん
18/06/30 02:06:17.91 fCwJ+x1N.net
>>503
そんな簡単なものなのでしょうか？
513:１３２人目の素数さん
18/06/30 02:18:21.30 56g4j5qP.net
2R・V=d/dt(R^2)=2R dR/dt=0
病的な関数だったらしらん
514:１３２人目の素数さん
18/06/30 02:42:25.96 IhBrEldX.net
>>505
問題を一般化して、
カードA,B,C,Dの排出確率をa,b,c,dとする。（a,b,c,d＞0, a+b+c+d≦1)
カードAが1枚出るまで引くときの平均枚数をM(A)とすると、
初回でカードAが出た場合の枚数は 1,出なかった場合の平均枚数は 1+M(A) となる。
よって M(A) = a + (1-a)(1+M(A))
これを解いて M(A)=1/a、同様に M(B)=1/b, M(C)=1/c, M(D)=1/d
カードA,Bがそれぞれ1枚以上出るまで引くときの平均枚数をM(A,B)とすると、
初回でカードAが出た場合の平均枚数は 1+M(B)
初回でカードBが出た場合の平均枚数は 1+M(A)
どちらも出なかった場合の平均枚数は 1+M(A,B) となる。
M(A,B) = a(1+M(B)) + b(1+M(A)) + (1-(a+b))(1+M(A,B))
これを解いてM(A,B) = (1 + aM(B) + bM(A)) / (a+b) = (1 + a/b + b/a) / (a+b)
整理して M(A,B) = (1 + ((a+b)/b - 1) + ((a+b)/a - 1)) / (a+b) = ((a+b)/b + (a+b)/a - 1)) / (a+b) = 1/a + 1/b - 1/(a+b)
同様の計算で、
カードA,B,Cがそれぞれ1枚以上出るまで引くときの平均枚数をM(A,B,C)とすると、
M(A,B,C) = 1/a + 1/b + 1/c - 1/(a+b) - 1/(b+c) - 1/(c+a) + 1/(a+b+c)
カードA,B,C,Dがそれぞれ1枚以上出るまで引くときの平均枚数をM(A,B,C,D)とすると、
M(A,B,C,D) = 1/a + 1/b + 1/c + 1/d - 1/(a+b) - 1/(a+c) - 1/(b+c) - 1/(a+d) - 1/(b+d) - 1/(c+d)
+ 1/(a+b+c) + 1/(d+a+b) + 1/(c+d+a) + 1/(b+c+d) - 1/(a+b+c+d) を得る。
a=1/10, b=2/10, c=3/10, d=4/10 を代入すると
M(A,B,C,D)
= 10/1 + 10/2 + 10/3 + 10/4 - 10/3 - 10/4 - 10/5 - 10/5 - 10/6 - 10/7 + 10/6 + 10/7 + 10/8 + 10/9 - 10/10
= 445/36 (= 12 + 13/36)
515:１３２人目の素数さん
18/06/30 03:22:51.68 rGTqtFTX.net
>>485むずい。もちろん収束すととすれば1/log3なんだけど収束証明ができん。
誰かできません？
516:１３２人目の素数さん
18/06/30 03:37:12.38 Hc322z0M.net
BNFとグレゴリー・ペレルマンはどっちの方が頭が良いですか？
517:１３２人目の素数さん
18/06/30 04:49:11.53 ehf+dOAU.net
>>505
まさにそれを想定してつくられた問題。
518:１３２人目の素数さん
18/06/30 04:58:14.06 ehf+dOAU.net
>>508
>477です。
詳細な投稿ありがとうございました。
シミュレーション結果とも一致しました。
519:１３２人目の素数さん
18/06/30 05:06:20.50 ehf+dOAU.net
応用問題
日本人の血液型はＡ,Ｏ,Ｂ,ＡＢの比率が４：３：２：１であるという。
それぞれの血液型の人を最低でも１０、１０、５、２人集めたいとする。
平均して何人必要か？
520:１３２人目の素数さん
18/06/30 05:47:43.91 GVpMSz77.net
>>477
lim[n→∞]Σ[k=4,n]k(4(6/10)^(k-1)+3(7/10)^(k-1)+2(8/10)^(k-1)+(9/10)^(k-1))/10
521:１３２人目の素数さん
18/06/30 06:02:29.55 lmv1fokQ.net
>>494
４角錐O-ABCDで、４つの側面のなす角が全部鈍角だったと仮定する。
このとき、任意の切断面に現れる４角形の内角は４つとも鈍角となる。
これは４角形の内角の和が360°であることと矛盾する。
∴ そのような４角錐は存在しない…
522:１３２人目の素数さん
18/06/30 06:33:13.37 FeP/HZwm.net
>>515
底面がxy平面の|x|,|y|≦100で頂点が(0,0,1)なら４面のなす外向き法線ベクトルは
(1,0,100), (0,1,100),(-1,0,100),(0,-1,100)
で隣り合う平面のなす角がarccos(10000/10001)で鋭角だからなす角は鈍角になる希ガス。
523:１３２人目の素数さん
18/06/30 06:36:22.90 FeP/HZwm.net
あ、でも>>494は証明になってないね。撤回します。
どうせ存在しないと思って甘くみてた。orz
524:１３２人目の素数さん
18/06/30 06:48:01.63 FeP/HZwm.net
>>483
再挑戦。
Oが頂角、ABCDが底面とする。
底面はすべて長方形でないひし形にとり、４側面と底面のなす角はすべて鋭角であるものをとる。
(1)の証明から切断でできる４角形の頂点がOA,OB,OC,ODからなるものはすべて相似とわかる。
よってその場合の切断面の４角形は長方形でない。
４頂点が底面の周上であるときはそこでの角は鋭角となるので長方形でない。
525:１３２人目の素数さん
18/06/30 06:57:17.38 lmv1fokQ.net
>>494
> 切断面がOA～ODとまじわってできる角は平面のなす角以上
これが意味不明。
稜線上に２点A、Bをとって Bを両側にずらした点をC1、C2とする。
∠C1-A-C2 は小さくできる。
3点 C1、A、C2 をとおる平面で切る。
526:１３２人目の素数さん
18/06/30 06:57:49.81 Kfh2SqaS.net
うんこぶりぶり。
これを数式で表すとどうなりますか？
527:１３２人目の素数さん
18/06/30 06:59:28.02 FeP/HZwm.net
>>520
そう、そこ間違った。一般にできる角は２平面のなす角より大きくなると間違えた。なす角より小さくなるが正解ですね。
528:１３２人目の素数さん
18/06/30 07:09:39.22 lmv1fokQ.net
>>514 より
Σ[k=4，n] k･(4/10)･(6/10)^(k-1) = (11/2)･(6/10)^3 - (n + 10/4)･(6/10)^n → (11/2)･(6/10)^3
Σ[k=4，n] k･(3/10)･(7/10)^(k-1) = (19/3)･(7/10)^3 - (n + 10/3)･(7/10)^n → (19/3)･(7/10)^3
Σ[k=4，n] k･(2/10)･(8/10)^(k-1) = 8･(8/10)^3 - (n + 10/2)･(8/10)^n → 8･(8/10)^3
Σ[k=4，n] k･(1/10)･(9/10)^(k-1) = 13･(9/10)^3 - (n + 10)･(9/10)^n → 13･(9/10)^3
(11/2)･(6/10)^3 + (19/3)･(7/10)^3 + 8･(8/10)^3 + 13･(9/10)^3 = 254/15, >>289
529:１３２人目の素数さん
18/06/30 07:16:01.56 lmv1fokQ.net
>>521
> なす角より小さくなるが正解ですね。
これも意味不明。
稜線上に3点 B1、A、B2 をとって B1を一方ずらした点をC1、B2を反対側にずらした点をC2とする。
∠C1-A-C2 は大きくできる。
3点 C1、A、C2 をとおる平面で切る。
530:１３２人目の素数さん
18/06/30 07:16:59.89 Kfh2SqaS.net
ジョン・フォン・ノイマンとシュリニヴァーサ・ラマヌジャンはどっちの方が天才ですか？
531:１３２人目の素数さん
18/06/30 07:25:09.63 FeP/HZwm.net
>>523
え？どうしてですかz軸が稜線としてxy平面上にAB, z軸上にPがあるとき
∠APBは∠AOB以下じゃないですか？
vec(AP)・vec(BP) = vec(AO)・vec(BO) + OP^2 ≧ vec(AO)・vec(BO)
|AP|・|BP| ≧ |AO|・|BO|
より
cos ∠APB ≧ cos ∠AOB
なので∠APB ≦ ∠AOB。
等号成立はP=Oのとき。
でいいと思いますけど？
532:１３２人目の素数さん
18/06/30 07:29:32.04 FeP/HZwm.net
もしかして “２平面のなす角” の語を稜線に垂直な２半直線のなす角にとってくれてない？
これは流石に説明なしで許してくれると思うけど……
533:１３２人目の素数さん
18/06/30 07:39:39.36 FeP/HZwm.net
あ、証明うそ書いてる。割り算とこ不等号メチャメチャ。
やり直します。
534:１３２人目の素数さん
18/06/30 07:45:40.12 lmv1fokQ.net
>>525
> xy平面上にABがあるとき
切断面の向きによっては、xy平面上で２つの面と交わらないこともある…
（AまたはBが存在しない。）
535:１３２人目の素数さん
18/06/30 08:03:41.79 FeP/HZwm.net
>>483
再挑戦。
Oが頂角、ABCDが底面とする。
底面はすべて長方形でないひし形にとる。
切り口が長方形となるのは>>518と同じ議論で２頂点が四角形ABCD上にあるときにかぎられる。
長方形PQRSの頂点がそれぞれOA,OB,BC,DA上にあるとする。
切断面がABと平行でなければ直線PQと直線RSは切断面と直線ABの交点で交わるから矛盾。
よってPQ∥RS∥AB。
このときCDSRは平行四辺形であるからRS=CD。
よってPQ=RS=CD=AB。よってP=A, Q=Bとなり四角形PQRSと四角形ABCDは一致する。
しかしABCDは長方形でないように取っているので矛盾。
なんか一番しょうもないやつにてこずってるなぁ。
536:１３２人目の素数さん
18/06/30 08:15:10.56 lmv1fokQ.net
a=1/10, b=2/10, c=3/10, d=4/10 とおくと、>>514 より
Σ[k=4，n] k･a･(1-a)^(k-1) = (3 + 1/a)･(1-a)^3 - (n + 1/a)･(1-a)^n,
Σ[k=4，n] k･b･(1-b)^(k-1) = (3 + 1/b)･(1-b)^3 - (n + 1/b)･(1-b)^n,
Σ[k=4，n] k･c･(1-c)^(k-1) = (3 + 1/c)･(1-c)^3 - (n + 1/c)･(1-c)^n,
Σ[k=4，n] k･d･(1-d)^(k-1) = (3 + 1/d)･(1-d)^3 - (n + 1/d)･(1-d)^n,
n→∞ のとき (3 + 1/a)･(1-a)^3 + (3 + 1/b)･(1-b)^3 + (3 + 1/c)･(1-c)^3 + (3 + 1/d)･(1-d)^3
537:１３２人目の素数さん
18/06/30 08:16:54.28 AQe/Ijjh.net
E,Fを体
Eの拡大体E'の元a(∉E)を付加した体をE(a)とする
f,gをE(a)からFへの準同型でf(a)=g(a)ならf=g
これは成り立ちますか？
また成り立つなら証明を教えてください
538:１３２人目の素数さん
18/06/30 08:19:11.83 AQe/Ijjh.net
>>531
F,E(a)をE-代数としてf,gはE-代数の準同型でお願いします
539:１３２人目の素数さん
18/06/30 08:30:45.52 xzxKfsfb.net
>>506
そうですよ。
0=(x^2+y^2)'=2xx'+2yy'=2(x,y)(x',y')^t
540:１３２人目の素数さん
18/06/30 08:42:02.58 lKZ40MJL.net
Two sides of a triangle are x = 3 and y = 4, and the included angle is θ = π/3.
To a small change in which of these three variables is the area of the triangle
most sensitive? Why?
541:１３２人目の素数さん
18/06/30 08:58:35.25 lmv1fokQ.net
>>482
A，Bは xx -(2/p)x +(qq-r)/pp = 0 の根
C_n は
C_0 = 0,
C_1 = (2/p)√r,
C_
542:2 = (4q/pp)√r, C_{n+2} = (2/p)C_{n+1} - {(qq-r)/pp}C_n, を満たす。 C_n･p^n / √r は整数だが… >>487 J = (1/2)eπ erfc(1) = 0.671646710823367585218561797205294889161414783565
543:１３２人目の素数さん
18/06/30 09:00:08.60 f79gd0NI.net
>>531
成り立つ。
E(a) の任意の元は a の E 係数有理式で書けるから、それを f,g で送ってみればよい。
544:１３２人目の素数さん
18/06/30 09:28:01.49 Hlhw82VA.net
超準解析とは簡単に言うと「無限に大きい」「無限に
小さい」「無限に近い」という直観的な概念が論理的
に定義される超実数の世界における解析学で位相空間
の部分集合Aを超準解析の世界に写したものを*Aとす
るときAがコンパクトであることは任意の点x∈*Aに対
しxに無限に近いAの点が存在することに同値。*Aは部
分集合Aを超準解析の世界から広く見た集合でいわば
「Aを含んでいる」Aの拡張のような集合であり*Aの
任意の点に必ず無限に近いAの点が存在するというこ
とはAの外の点でAと遠い点は全てAを広く見た*Aに属
し得ないからAはあまり大きくない閉じた集合という
ことがわかる。まさにAはコンパクトだ。
545:１３２人目の素数さん
18/06/30 09:55:31.33 UKiGMRx6.net
>>537
位相空間の超準解析って
距離ないと駄目とか無いの？
それとも開集合の包含による族にうまく同値関係入れて拡張するのかしら
546:１３２人目の素数さん
18/06/30 10:13:14.73 J4XM0V7p.net
普通に超準域に拡大するんだったと思います
547:１３２人目の素数さん
18/06/30 10:30:13.66 UKiGMRx6.net
たとえば
A={0,1}
で位相を
O={{},{0},{0,1}}
と入れたとして
これを超準解析で*Aにしたらどうなるの？
548:１３２人目の素数さん
18/06/30 10:43:19.00 UKiGMRx6.net
この場合はさすがに*A=Aかな
じゃあ
A={1/n|n∈N}⊂R
とかなら？
549:１３２人目の素数さん
18/06/30 10:43:48.88 J4XM0V7p.net
I上の超フィルターをFとして、写像f,g:I→2^Aに対して次の同値関係を定めます
f～g⇔f=g a.e. ⇔∀x∈F f(x)=g(x)
a∈Aとf(x)=a (x∈I)を同一視して、a*を次でさだめます
a*={f:I→2^A|f～a}
このとき、Aを次でさだめます
A*={a*|a∈A}
確かこんな感じです、多分
550:１３２人目の素数さん
18/06/30 10:51:08.66 J4XM0V7p.net
あこれだと元の要素がそのままだから違いますね
551:１３２人目の素数さん
18/06/30 10:58:37.87 UKiGMRx6.net
これもさすがに
*A=A∪{正の無限小超実数}
かなあ
じゃあ
周期1の周期関数の全体に適当なノルム入れて
{0,1}係数の三角関数の和の全体とかだったら？
552:１３２人目の素数さん
18/06/30 11:02:44.95 UKiGMRx6.net
>>542
なるほど
ここのIは適当な区間たとえばI=[0,1]でいいのですか？あるいは別に区間で無くてよくて適当な集合Iとその上の超フィルターで考えるということでしょうか？
553:１３２人目の素数さん
18/06/30 11:05:46.41 J4XM0V7p.net
任意の集合で良いです
でも>>542はちょっと違うと思うんですけど、イメージ的にはこんな感じで任意の上部構造に対して超準個体が定義されるはずです
554:１３２人目の素数さん
18/06/30 11:10:06.96 UKiGMRx6.net
>>544
何を考えているのかというと
離散・有界だけどいくらでも近い２点がありそうなときどうなっちゃうかなと
>>542
>a∈Aとf(x)=a (x∈I)を同一視して、a*を次でさだめます
これだとf:I→A？f:I→2^Aというのならf(x)={a}ですか？
555:１３２人目の素数さん
18/06/30 11:11:26.46 J4XM0V7p.net
そうですね、それで良いです
556:１３２人目の素数さん
18/06/30 11:12:17.23 UKiGMRx6.net
>>546
なるほど
でも
f:I→2^A
に制限がないとするならAの位相って関係なくないですか？
それとも2^Aの内のたとえば開集合族に限定とか？
557:１３２人目の素数さん
18/06/30 11:15:33.53 J4XM0V7p.net
A*と同じようにO*を決めれば良いですね
558:１３２人目の素数さん
18/06/30 11:23:18.81 J4XM0V7p.net
そっかこれは標準固体から超準固体への対応を考えたわけで、純粋な超準領域内の対象の定義にはなってませんね
なんか混乱して来たのでもう少し勉強して来ます
559:１３２人目の素数さん
18/06/30 11:29:55.61 J4XM0V7p.net
頭よくなりたい
560:１３２人目の素数さん
18/06/30 11:34:59.81 UKiGMRx6.net
なるほど
O*がA*の位相になるのかな？
O*の元を2つ取ってきて
f,g:I→2^O
f～f',g～g'
として
f∩g(x)=f(x)∩g(x)
f'∩g'(x)=f'(x)∩g'(x)
{x|f(x)∩g(x)=f'(x)∩g'(x)}⊃{x|f(x)=f'(x)}∩{x|g(x)=g'(x)}
Fがフィルターだから
f∩g～f'∩g'
O*の元を任意個持ってきて
fα:I→2^O
fα～gα
として
(∪fα)(x)=∪(fα(x))
(∪gα)(x)=∪(gα(x))
{x|∪(fα(x))=∪(gα(x))}⊃∩{x|fα(x)=gα(x)}
ここはどうするのですか？フィルターは有限交差性しかないけれど超フィルターは任意個で良かったんでしたっけ？
561:１３２人目の素数さん
18/06/30 11:36:29.99 J4XM0V7p.net
>>553
今どこにいますか？
562:１３２人目の素数さん
18/06/30 11:39:11.43 J4XM0V7p.net
てかウォッシュの定理より、標準域で成り立つことは、超準域でも成り立つんですけど？
でもその超準域の定義がおかしいんでしたね
早く頭いい人正しい超準域の定義を書いてあげてください
わからないんですか？
563:１３２人目の素数さん
18/06/30 11:41:51.77 UKiGMRx6.net
あとやっぱ最初の
A={0,1}
O={{},{0},{01}}
のとき
A*とO*がどうなるのか知りたいです
A*=Aだろうかと思ったのは
O'={{},{0},{1},{0,1}}
ならRの離散部分集合で
たしか離散なZのZ*ってZ∪{無限大超整数}でしたよね？
Z*にたしか無限小は含まれてなかったと思ったから
それに類する結果になるかなと思ったからですが
ホントにそうなるかなあ
564:１３２人目の素数さん
18/06/30 11:42:11.96 J4XM0V7p.net
>>556
てかウォッシュの定理より、標準域で成り立つことは、超準域でも成り立つんですけど？
わからないんですか？
565:１３２人目の素数さん
18/06/30 11:44:43.16 J4XM0V7p.net
>>556
わからないんですね
566:１３２人目の素数さん
18/06/30 11:46:26.69 J4XM0V7p.net
>>556
恥ずかしくないんでしょうか？
567:１３２人目の素数さん
18/06/30 11:54:00.09 UKiGMRx6.net
>>555
>てかウォッシュの定理より、標準域で成り立つことは、超準域でも成り立つんですけど？
そこなんですけど
αは任意個じゃないですか
だから{α}も{α}*であれば成り立つてことないですか？
A={α}として
Uα∈Oていう開集合族を取って
∪[α∈A]Uα∈O
が成り立つから
Uα* ∈* O* [α* ∈* A*]
については
U[α* ∈* A*] Uα* ∈* O*
が成り立つことは言えるんでしょうが
普通の意味でO*がA*の位相と言えるのは
Uα∈* O* [α ∈ A]
に対して
U[α∈A] Uα ∈* O*
が言えないとダメじゃないかと思ったんです
何て言うか
A*とO*の関係は位相じゃなくて位相*みたいなものじゃなくないですか？
568:１３２人目の素数さん
18/06/30 11:54:36.36 J4XM0V7p.net
>>560
ウォッシュの定理より標準域で成り立つことは超準域でも成り立つんですけど？
わからないんですか？
569:１３２人目の素数さん
18/06/30 11:56:58.47 UKiGMRx6.net
>>557
何を聞かれているのかよく分からないんですが
具体的に
A={0,1}
O={{},{0},{0,1}}
のときに
A*とO*がどうなるのかが知りたいです
Iとしてはたとえば自然数全体Nでどうでしょうか？
570:１３２人目の素数さん
18/06/30 11:58:04.96 J4XM0V7p.net
>>562
てかウォッシュの定理より、標準域で成り立つことは、超準域でも成り立つんですけど？
わからないんですか？
571:１３２人目の素数さん
18/06/30 12:02:27.90 UKiGMRx6.net
>>563
あなたの書いていることが私の疑問>562への答えとは思えません
572:１３２人目の素数さん
18/06/30 12:05:18.63 uF5pSWLR.net
超マジメに質問してる ID:UKiGMRx6 に対して、
返答に窮して自分の至らなさに耐え切れなくなった ID:J4XM0V7p が
いつものごとく発狂を始めるという構図。
普段なら、俺のような煽りレスに対して発狂する ID:J4XM0V7p だが、
今回は何1つとして悪いことをしていない ID:UKiGMRx6 に対して発狂し出すという
ゴミクズっぷりを発揮している。
573:１３２人目の素数さん
18/06/30 12:13:04.74 Y2JWr/Fz.net
URLﾘﾝｸ(seosearch.php.xdomain.jp)
574:ate/m68.html
575:１３２人目の素数さん
18/06/30 12:55:45.61 TPGPfb/C.net
高校数学です
ゲロ吐くほど苦悩してます
分かりやすい解き方を教えてもらえると嬉しいです
URLﾘﾝｸ(i.imgur.com)
576:１３２人目の素数さん
18/06/30 13:04:09.31 J4XM0V7p.net
わからないんですね
577:１３２人目の素数さん
18/06/30 13:05:07.67 TPGPfb/C.net
模範解答だとキレイな変形でπ×円の面積を出す積分に帰着させられて解けるのですが天下り的な感じがして納得行かないです
高校数学の範囲でゴリ押しで解く方法って無いですかね？
578:１３２人目の素数さん
18/06/30 13:08:13.96 Pp7X8g+E.net
日本人は全員ゴミ
579:１３２人目の素数さん
18/06/30 13:10:41.62 qXvTW2KB.net
ベゾフ空間と斉次ベゾフ空間に加法群の準同型定理を当てはめることができた。準同型定理により同型と言える。これで斉次ベゾフ空間を定義したら何が起こるんだろう。ベゾフ空間の理論を代数的に観たら何が分かるんだろう。
ベゾフ空間は指数を自由自在に調整して適材適所で使える。しかも量子力学だけではなく表現論で常用されているL^2空間に指数を調整すれば等しくなる。
580:１３２人目の素数さん
18/06/30 13:41:59.19 ieMudksX.net
>>567
まず領域を図示する。微分するだけだからこれは簡単
次に回転させるわけだが、立体の概形はドーナツ状。これをy軸と直交する平面で切って積分。積分計算は容易。
求積する上で立体の形状把握は不要だが、領域の図示と断面の図示は必要。
581:１３２人目の素数さん
18/06/30 13:56:35.46 lKZ40MJL.net
>>567
[(1 - 4*a) / 4] * π^2
この答えは合っていますか？
582:１３２人目の素数さん
18/06/30 13:59:00.06 lKZ40MJL.net
URLﾘﾝｸ(www.wolframalpha.com)(1+-+4*(y%5E2+%2B+a)),+from+y+%3D+-sqrt(1%2F4-a)+to+y+%3D+sqrt(1%2F4-a)
583:１３２人目の素数さん
18/06/30 14:02:18.99 TPGPfb/C.net
>>572
y=-x^4+x^2-aのグラフの、yの根号を取ったグラフを書いて回転させるわけですよね？
第一象限の部分だけ考えても、1つのyに対して2つxの値があると思うんですが、
ゴリ押しで書くととても積分できる形になるとは思えないのですが
どういう形に変形できるんでしょうか？
>>573
合っています。
584:１３２人目の素数さん
18/06/30 14:04:12.19 lKZ40MJL.net
>>567
(x^2)^2 - x^2 + y^2 + a = 0 を x^2 について解くと、
x^2 = [1 - sqrt(1 - 4*(y^2+a))] /2 or [1 + sqrt(1 - 4*(y^2+a))] /2
となる。
求める体積 V は、
V
=
∫ π * [1 + sqrt(1 - 4*(y^2+a))] /2 dy from y = -sqrt(1/4 - a) to y = sqrt(1/4 - a)
-
∫ π * [1 - sqrt(1 - 4*(y^2+a))] /2 dy from y = -sqrt(1/4 - a) to y = sqrt(1/4 - a)
=
∫ π * [1 + sqrt(1 - 4*(y^2+a))] /2 dy from y = -sqrt(1/4 - a) to y = sqrt(1/4 - a)
585:１３２人目の素数さん
18/06/30 14:04:47.72 lKZ40MJL.net
訂正します：
>>567
(x^2)^2 - x^2 + y^2 + a = 0 を x^2 について解くと、
x^2 = [1 - sqrt(1 - 4*(y^2+a))] /2 or [1 + sqrt(1 - 4*(y^2+a))] /2
となる。
求める体積 V は、
V
=
∫ π * [1 + sqrt(1 - 4*(y^2+a))] /2 dy from y = -sqrt(1/4 - a) to y = sqrt(1/4 - a)
-
∫ π * [1 - sqrt(1 - 4*(y^2+a))] /2 dy from y = -sqrt(1/4 - a) to y = sqrt(1/4 - a)
=
[(1 - 4*a) / 4] * π^2
586:１３２人目の素数さん
18/06/30 14:06:23.89 lKZ40MJL.net
a = 1/8 のときの領域：
URLﾘﾝｸ(www.wolframalpha.com)(1-x%5E2)+-+1%2F8
587:１３２人目の素数さん
18/06/30 14:32:43.19 TPGPfb/C.net
>>577
ありがとうございます。
積分範囲の変形についてなんか色々勘違いしてました・・・
588:１３２人目の素数さん
18/06/30 15:01:49.95 ieMudksX.net
>>575
y軸周りに回転させた立体の断面積を求めるところで二乗するから、被積分関数はきれいな形になって計算は容易だよ
特に技巧は必要ないと思うけどな
589:１３２人目の素数さん
18/06/30 16:26:17.40 ieMudksX.net
座標空間の3点A(0,0,1),B(1,0,2),C(3,6,5)を頂点とする、光を通さない三角形の板が固定されている。
z座標が5より大きい点Pが光を放つとき、三角形の板によって平面z=0上に影ができる。その影が△ABCと相似になるようなPの位置はどのようであるか、述べよ。
590:１３２人目の素数さん
18/06/30 16:27:45.13 a/J8/HdR.net
>>562
Sが有限集合のときは S*=S
591:１３２人目の素数さん
18/06/30 17:01:42.61 fCwJ+x1N.net
時間の関数として変化している位置ベクトルRp(t)が、その大きさ一定で変化しない場合、即ち|Rp(t)|=C(一定値)のとき、その速度ベクトルVp(t)=d/dt Rp(t)とRp(t)と直交することを証明せよ。
やっぱりよくわからないです
592:１３２人目の素数さん
18/06/30 17:22:51.66 xzxKfsfb.net
>>583
2次元の場合に
Rp(t)、d/dtRp(t) を成分で書いてみな。
593:１３２人目の素数さん
18/06/30 17:50:58.13 TPGPfb/C.net
高校数学の問題です。
C:y=x^2とl:y=mx(m>0)で囲まれた領域をlを軸として回転させた場合の体積を求めよという問題です
lに沿って数直線を取ってゴリ押しで解くとこういう積分になる、これも自力で試してみろと言われたんですが
これってほんとうに高校数学の範囲で積分できるんでしょうか？
URLﾘﾝｸ(i.imgur.com)
594:１３２人目の素数さん
18/06/30 17:58:45.67 3QKFP042.net
wolframalpha に不定積分を計算させる
それで原始関数がわかったらその関数を微分すればヒントが得られる
595:１３２人目の素数さん
18/06/30 18:00:44.33 56g4j5qP.net
>>585
wolfram先生でもいいけど、Ｓ以外のごちゃごちゃしたものを整理したら、結局(1+ax)^(1/2)の積分じゃん
596:１３２人目の素数さん
18/06/30 18:01:58.82 56g4j5qP.net
>>587
あー、これみなかったことにして。
597:１３２人目の素数さん
18/06/30 18:07:50.07 lKZ40MJL.net
∫ 1 dx
∫ x dx
∫ x^2 dx
∫ sqrt(a + b*x) dx
∫ x * sqrt(a + b*x) dx
全部高校数学の範囲で積分できると思います。
598:１３２人目の素数さん
18/06/30 18:08:31.76 56g4j5qP.net
>>585
やっぱり適当に整理してごちゃごちゃしたものを適当に置き換えていけば
ややこしそうなのは、x(a+x)^(1/2)と(a+x)^(1/2)の積分計算くらいじゃない？
599:１３２人目の素数さん
18/06/30 18:11:52.49 lKZ40MJL.net
PQ = a * (b * sqrt(c + d * x) + e * x + f)
a, b, c, d, e, f は定数
という形をしています。
∫ PQ^2 dx は、
c1 * ∫ 1 dx
c2 * ∫ x dx
c3 * ∫ x^2 dx
c4 * ∫ sqrt(a + b*x) dx
c5 * ∫ x * sqrt(a + b*x) dx
という積分の和になります。
600:１３２人目の素数さん
18/06/30 18:36:26.43 lKZ40MJL.net
>>585
まず、 PQ の式が間違っています。
s = 0 のとき明らかに PQ = 0 でなければなりませんが、
>>585
の式だと 0 になりません。
601:１３２人目の素数さん
18/06/30 18:40:35.10 lKZ40MJL.net
>>592
あ、あってるみたいですね。
602:１３２人目の素数さん
18/06/30 23:11:41.39 UKiGMRx6.net
>>582
ありがとうございました
もしご存じなら教えてください
可算無限のたとえばZやQをZ*やQ*にした場合は
どのような位相空間になるんでしょうか？
そもそも位相空間になるということが
どう証明できるのかよく分かってないんですが･･･
603:１３２人目の素数さん
18/06/30 23:28:02.39 DUaX6qZt.net
わからないんですね(笑)
604:１３２人目の素数さん
18/07/01 00:45:56.27 o+nodY1/.net
>>567 >>569
x^2 = X とおけば与式は
(X - 1/2)^2 + y^2 ≦ 1/4 -a = rr,
という円Cになる。これを
X_min(y) ≦ X ≦ X_max(y)
と表わすと
V = π∫_C {X_max(y) - X_min(y)} dy
= π･{Xy-平面(右)でのCの面積} … 公式
605:１３２人目の素数さん
18/07/01 01:08:13.42 o+nodY1/.net
>>596
a = 1/8 のときの領域：
URLﾘﾝｸ(www.wolframalpha.com)(1-X)+-+1%2F8
a = 3/16, 7/32, 15/64, … も同様
606:１３２人目の素数さん
18/07/01 01:34:20.06 tOu7EWTH.net
xの関数
f(x)=(1-x)(1+e^x)+ax^2
が最小値を持つように、実数aの範囲を定めよ。
607:１３２人目の素数さん
18/07/01 01:35:12.55 5xbld8hN.net
わからないんですね
608:１３２人目の素数さん
18/07/01 01:50:13.73 Tele7xTW.net
lim[x→∞]f(x) = - ∞ (∀a)
609:１３２人目の素数さん
18/07/01 02:05:30.08 tOu7EWTH.net
>>598
すいません間違えました
（正）e^(-x)
（誤）e^x
610:１３２人目の素数さん
18/07/01 02:25:28.94 uSiw+lNo.net
lim[x→-∞]f(x) = ∞ (∀a)
lim[x→∞]f(x) = + ∞ (∀a>0)
lim[x→∞]f(x) = - ∞ (a=0)
lim[x→∞]f(x) = - ∞ (∀a<0)
∴ f(x) が最小値を持つ ⇔ a>0
611:１３２人目の素数さん
18/07/01 03:53:13.98 tOu7EWTH.net
(1)p,q,rはいずれも0でない有理数とする。
xy平面上の直線px+qy+r=0は無数の格子点を通ることを示せ。
(2)s,t,uはいずれも0ではなく、少なくとも1つは無理数とする。
xy平面上の直線sx+ty+u=0が格子点を通るとき、s,t,uが満たすべき条件を述べよ。
またそのとき、直線が通る格子点の個数を全て述べ、無限個存在する場合があるかどうかについても述べよ。
612:１３２人目の素数さん
18/07/01 05:09:14.73 o+nodY1/.net
>>589 >>591
(ff+bbc)・∫ 1 dx = (ff+bbc)・x,
(2ef+bbd)・∫ x dx = (2ef+bbd)・xx/2,
ee・∫ xx dx = ee・(x^3)/3,
2bf・∫ √(c+dx) dx = 2bf・(2/3a)(ax+b)^(3/2),
2be・∫ x√(c+dx) dx = 2be・(2/15aa)(3aaxx+abx-2bb)√(ax+b) +c,
613:１３２人目の素数さん
18/07/01 06:49:16.94 tOu7EWTH.net
aを正の実数とする。
次のように定義される積分I(a)について、以下の問いに答えよ。
必要であればe=2.71...を用いてよい。
I(a) = ∫[0→a] exp(-x^3-1) dx
（1）x>1において、x^2-x+1>kxが常に成り立つような実数kの範囲を求めよ。
（2）任意のa に対して、不等式I(a)<2/5を示せ。
614:１３２人目の素数さん
18/07/01 07:36:02.44 tOu7EWTH.net
半径9の円Cに外接する半径1の円Dがあり、DはCの周上を滑ることなく転がる。
DがC上を反時計回りの方向に転がりはじめてから1周するまでに、D上の点Aが描いた軌跡とCの周で囲まれる領域をEとする。ただし点AははじめCとの接点であったとする。
このとき、E内に含まれる線分の長さの最大値を求めよ。Eはその周も含むものとする。
615:１３２人目の素数さん
18/07/01 08:47:24.30 txs1o1Qu.net
>>536
ありがとうございます
616:１３２人目の素数さん
18/07/01 08:53:09.73 txs1o1Qu.net
R:実数体、a,b:実数とするとき、R[X]/((X-a)(X-b))はR×Rと同型になると思いますが、具体的な同型の作り方を教えてください
617:１３２人目の素数さん
18/07/01 08:54:50.81 5xbld8hN.net
わからないんですね
618:１３２人目の素数さん
18/07/01 09:11:39.05 txs1o1Qu.net
>>608
自己解決しました
R[X]/(X-a)=R、R[X]/(X-b)=R、(X-a)+(X-b)=R[X]なので中国式剰余定理を使えば分かりますね
619:１３２人目の素数さん
18/07/01 09:40:18.01 FmgcMQr5.net
わかったんですね
620:１３２人目の素数さん
18/07/01 09:52:50.73 8Y3Q2+O8.net
Schrodinger modelって単語が純粋なLie群の本に出てきたんですが、物理のあのモデルを意味してるようではないみたいなので教えてください。
sl₂ℝ-tripleを含んでいるみたいです(?)
621:１３２人目の素数さん
18/07/01 09:59:24.58 FmgcMQr5.net
わからないんですね
622:１３２人目の素数さん
18/07/01 10:05:16.89 oH0PUaAm.net
f ： R^2 → R を微分可能な関数とし、
-y * ∂f/∂x + x * ∂f/∂y = 0
を満たすとする。
このとき、1変数の関数 F(x) により、 f(x, y) = F(sqrt(x^2 + y^2)) と表される
ことを示せ。
623:１３２人目の素数さん
18/07/01 10:10:06.44 FmgcMQr5.net
わからないんですね
624:１３２人目の素数さん
18/07/01 10:12:59.52 oH0PUaAm.net
>>614
解答が↓ですが、
URLﾘﾝｸ(youtu.be)
これってどうやって思いついたんですか？
625:１３２人目の素数さん
18/07/01 10:29:54.80 asSnFAKe.net
宣伝うざい
626:１３２人目の素数さん
18/07/01 12:58:46.73 o+nodY1/.net
>>605
(2)
x^3 = t とおく。
x = t^(1/3),
dx = (1/3) t^(1/3 - 1) dt,
∫[0,∞] exp(-x^3 -1) dx = (1/3e)∫[0,∞] exp(-t) t^(1/3 - 1) dt
= (1/3e) Γ(1/3)
= (1/e) Γ(4/3)
= 0.3285088…
< 1/3
627:１３２人目の素数さん
18/07/01 17:11:41.16 tOu7EWTH.net
次のような閉曲線の全体を要素とする集合をSとする。
「閉曲線の周および内部からなる領域に含まれる線分のうち、最長のものの長さ�
628:ｪ1である」 （1）Sの要素で面積最小のものは存在しないことを示せ。 （2）面積最大のものは存在するか。最大値を求める必要はない。
629:１３２人目の素数さん
18/07/01 18:02:02.82 nWgMC75e.net
ID:tOu7EWTH
微妙に問題文がいい加減
>>606 1周とはCの周りを1周することかDが再びAでCに接するまでのことをいうのか
>>619 平面上の閉曲線だよね
630:１３２人目の素数さん
18/07/01 18:48:06.86 oH0PUaAm.net
原点でのすべての方向微分が 0 であるにもかかわらず、 原点のいかなる近傍に
おいても非有界な関数の例を挙げよ。
631:１３２人目の素数さん
18/07/01 18:54:51.71 UtMuEGV7.net
>>621
f(x,y)=
{1/x (y=x^2,x≠0)
{0 (y≠x^2)
{0 (x=0)
632:１３２人目の素数さん
18/07/01 19:23:00.27 oH0PUaAm.net
>>622
ありがとうございました。
633:１３２人目の素数さん
18/07/01 19:31:31.35 oH0PUaAm.net
すべての点で、すべての方向微分が存在する。
原点での方向微分の値は 0 である。
原点のいかなる近傍においても非有界である。
そのような関数の例を挙げよ。
634:１３２人目の素数さん
18/07/01 19:32:08.15 oH0PUaAm.net
訂正します：
すべての点で、すべての方向微分が存在する。
原点でのすべての方向微分の値は 0 である。
原点のいかなる近傍においても非有界である。
そのような関数の例を挙げよ。
635:１３２人目の素数さん
18/07/01 19:34:11.73 5xbld8hN.net
ありません
636:１３２人目の素数さん
18/07/01 19:36:44.89 oH0PUaAm.net
>>626
証明してください。
637:１３２人目の素数さん
18/07/01 19:44:17.42 5xbld8hN.net
全方向で方向微分できるんですから、非有界になることなんてないですよね
638:１３２人目の素数さん
18/07/01 19:46:00.02 vVlH6QWw.net
>>625
g(r) = e^(-1/(x(1-x)))) (0 < x < 1)
= 0 (otherwise)
として
極座標(r,θ)を0＜θ≦2πで選んで
f(r,θ) = g(r/θ)(2π-θ)^2/θ
639:１３２人目の素数さん
18/07/01 19:53:56.53 5xbld8hN.net
今日も「解けない側」の圧勝かぁ・・・。
毎日毎日、ワケ分からん問題ばかりだから常勝なんだよね・・・。
たまには、解ける解けるって悩んで負けてみたい、それが今の切実な悩み。
640:１３２人目の素数さん
18/07/01 21:23:48.93 UtMuEGV7.net
>>625
>>622を原点以外で全微分可能であるようにできると思うよ
具体的にはどうするかなあ
641:１３２人目の素数さん
18/07/01 21:26:34.41 Da/wbbot.net
「全」の大きさはどれくらいですか？
642:１３２人目の素数さん
18/07/01 23:19:42.89 6nmHOW78.net
URLﾘﾝｸ(i.imgur.com)
チャートの例題なんですがなぜここで判別式をDとすると4分のDとなるんですか？教えてください
円と直線の位置関係の範囲です
643:１３２人目の素数さん
18/07/01 23:31:08.57 nWgMC75e.net
>>633
それがわからないのは数Ⅰの理解が不足しているからだ
2次方程式のところを見直せ
ちなみに覚えていないのならD/4じゃなくてふつうにDで立式しても問題ない
644:１３２人目の素数さん
18/07/01 23:34:46.52 c5Hdb/vd.net
関数1/2x2乗-ax +a2乗(0<=x<=2)の最小値を求めよ。
これの平方完成してからの解き方がわかりません。教えてください。
645:１３２人目の素数さん
18/07/01 23:41:16.69 nWgMC75e.net
>>635
定義域の端での値と軸での値をaの関数と見て
そのグラフを図示して比較する
646:１３２人目の素数さん
18/07/01 23:55:20.63 c5Hdb/vd.net
>>636
わかりました。
よく考えたら単純なことでした。
ありがとうございます！
647:１３２人目の素数さん
18/07/01 23:57:42.71 5xbld8hN.net
わかったんですね
648:１３２人目の素数さん
18/07/01 23:59:33.94 UtMuEGV7.net
>>628
負けてばかりの人？また負けたね
649:１３２人目の素数さん
18/07/02 00:10:49.87 Qk2ecPo+.net
>>639
わからないんですね
650:１３２人目の素数さん
18/07/02 03:10:57.81 /y4dJ7T1.net
>>637
実は分かっていなかった、に一票
651:１３２人目の素数さん
18/07/02 04:39:10.83 lnFRbDIp.net
nを自然数とする。
座標平面上の格子点を4頂点とする凸四角形で、面積がnのものを考える。
このような四角形で、平行四辺形でないものは存在するか。
652:１３２人目の素数さん
18/07/02 04:58:52.97 lnFRbDIp.net
座標平面の格子点を内部にちょうどn個含むような円をとることができるか、nが以下の(1),(2)の場合についてそれぞれ考察せよ。
ただしこの問題において、内部は円周を含まない領域である。
(1) 5
(2) 2018
653:１３２人目の素数さん
18/07/02 09:53:36.43 1wuIjRSn.net
ちょっと教えてほしいんだけど、合成積の「*」記号を手書きする時ってどうやって書いてる？
何かの癖で、×マークに横棒を入れた記号を書いてるんだけど、それって少数派というか
間違えてるのを見逃してもらってるだけの気がしてきたのよ。
654:１３２人目の素数さん
18/07/02 11:38:59.52 8jXyKZ/t.net
活字通り縦線描いてるぜ
655:１３２人目の素数さん
18/07/02 12:38:37.90 kbkiBz9c.net
Prelude> length [(x,y)|x<-[-100..100],y<-[-100..100],(x-0.0)^2+(y-0.0)^2<1.1^2]
5
Prelude> length [(x,y)|x<-[-100..100],y<-[-100..100],(x-0.5)^2+(y-0.01)^2<25.3^2]
2018
656:１３２人目の素数さん
18/07/02 12:53:20.77 kbkiBz9c.net
A(√2,√3)は任意の有理数p,q,rに対し(p,q)=(0,0)でないときpx+qy+r=0上にない。
特にAはいかなる異なる２つの格子点をとってもその垂直２等分線上にない。
よってf(r) = #{P | Pは格子点で|AP|<r}
はrについて広義単調増大で不連続点での値の増大は常にちょうど１。
657:１３２人目の素数さん
18/07/02 12:57:57.16 kbkiBz9c.net
>>642
凸四角形に限らなければ常に存在する。
凸四角形に限れば存在するのはn≧2のとき。
658:１３２人目の素数さん
18/07/02 15:45:39.80 /y4dJ7T1.net
>>644
漢字の書き順でよくあるように
右上から左下に斜めに下ろし、そのままペン先を左上に持っていって、右下にはらい
最期に二本の斜め線の交点の上部にペンを置きそのまま垂直に下ろす
とやると、抵抗なく書ける気がする。
３本の線の長さは当然「＊」の形に倣って決める。
659:１３２人目の素数さん
18/07/02 16:00:15.18 dZnBLmxp.net
>>643
(1) n=5
xx+yy=c (1<c≦2)
660:１３２人目の素数さん
18/07/02 16:55:06.75 1wuIjRSn.net
>>645
さんきゅう
ちょっと矯正してみるわ
661:１３２人目の素数さん
18/07/02 17:24:37.58 APWglsvC.net
高校数学の微分方程式の問題です
URLﾘﾝｸ(i.imgur.com)
数式の２行目から３行目までの変形がさっぱり分からなくて困っています
誰か教えて下さいm(_ _)m
662:１３２人目の素数さん
18/07/02 17:25:21.87 APWglsvC.net
f(x) dx のみ書いた場合はf(x)の不定積分を表すのですか？
663:１３２人目の素数さん
18/07/02 17:48:08.96 Y/S4H0fO.net
文字通り f(x) と dx の積と思ってよい
高さ f(x) 幅 dx の長方形を集めて面積を求めようというのが ∫f(x) dx の式
664:１３２人目の素数さん
18/07/02 18:02:58.25 kx498vYj.net
漢字の書き順で右上からってあんまり聞かんわ
まあ人それぞれだが
665:１３２人目の素数さん
18/07/02 18:09:38.39 /y4dJ7T1.net
「必」や「又って書いてみな。
666:１３２人目の素数さん
18/07/02 18:14:31.95 /y4dJ7T1.net
「大」なんかもそうだな。
最期の左上から右下に下ろす筆の準備のために、その直前は右上から左下に下ろす。
一画目の右上が気に入らんのなら、一画目を縦棒にしてくれ。
667:１３２人目の素数さん
18/07/02 18:31:39.72 kx498vYj.net
全部左上から書きはじめてると思うけど
668:１３２人目の素数さん
18/07/02 18:31:40.32 GMXd/ewc.net
>>652
f(y)(dy/dx)=g(x)
であれば、両辺を x で積分すれば
∫f(y)(dy/dx)dx=∫g(x)dx
で、左辺を置換積分の公式で書き換えると
∫f(y)dy=∫g(x)dx
を得る。
この計算を省略して書いてると思えばいい。
669:１３２人目の素数さん
18/07/02 18:37:22.68 1w9E+SrZ.net
√x+√y=C (C＞0) の表す曲線は放物線って言っていいもの？
670:１３２人目の素数さん
18/07/02 19:06:03.90 Y/S4H0fO.net
>>660
正確には放物線の一部だろう
671:１３２人目の素数さん
18/07/02 20:22:05.19 /y4dJ7T1.net
>>658
右上から左下に下ろす筆使いのことをいってるんだけどね。
じゃ、大事な漢字「人」でも追加しておこうか。
672:１３２人目の素数さん
18/07/02 20:56:07.29 BRMgtg27.net
25^1.23
ってどうやるの？
673:１３２人目の素数さん
18/07/02 20:57:59.34 Ni6CVec9.net
塵劫記の『ネズミのつがいが、子を12匹産む。そして親と合わせて14匹になる。
二月に子ネズミがまた子を12匹ずつ産むため、親と合わせて98匹になる。月に一度ずつ、親も子も孫もひ孫も月々に12匹ずつ産む時、
12ヶ月でどれくらいになるかというと、276億8257万4402匹となる。』
どういうこっちゃ
674:１３２人目の素数さん
18/07/02 21:04:55.95 pi3P4075.net
10÷3×３＝a
の時９.９９９９９９９９９９９９９９９９が正ですか。
それともa=10でいいですか？
教えて下さい。
675:１３２人目の素数さん
18/07/02 21:11:28.50 BRMgtg27.net
>>665
3/10×3=10
676:１３２人目の素数さん
18/07/02 21:12:03.91 BRMgtg27.net
25^1.23
ってどうやるの？
677:１３２人目の素数さん
18/07/02 21:26:51.62 LXh2vCzg.net
>>633
判別式をDとすると、D/4はこうなるよ
と読め
678:１３２人目の素数さん
18/07/02 21:32:43.92 LXh2vCzg.net
>>667
25を1.23回掛ける
てのは冗談で、25^123の100乗根。
或いは対数が1.23*log25に均しくなる数。
679:１３２人目の素数さん
18/07/02 21:53:18.99 kx498vYj.net
>>662
そうなの
俺は書きはじめのことを言いたかったから噛み合ってなかったんだな
悪いな
680:１３２人目の素数さん
18/07/02 22:11:14.98 pi3P4075.net
≫666の方へ
１０／３×３＝10ですか？
９.９９９９９９９９９９９９９９９９が答えでも○ですよね？
681:１３２人目の素数さん
18/07/02 22:20:50.10 OJ5VxGhz.net
>>664
a(n):大人のメスの数
b(n):子供のメスの数
c(n):ネズミの数
とすると、a(1)=1、b(1)=6、a(n+1)=a(n)+b(n)、b(n)=6*a(n)
だから、c(n)=2*(a(n)+b(n))=7*c(n-1)=2*7^n
682:１３２人目の素数さん
18/07/02 22:43:18.00 d8CQx9+g.net
>>662
自分の都合のいいように捉えてるだけだろ
「残」は反例の一つだし「必」なんてどっちともとれる
この筆順だって最近統一された歴史のないものだしな
そもそも横書きでそんな書き方するとか左利きかよ
683:１３２人目の素数さん
18/07/02 23:25:03.04 Y+mxygHU.net
>>634
Dで立式するとチャートに書いてある答えと違くなるんですが
それでもいいんですか？
684:１３２人目の素数さん
18/07/02 23:37:53.84 0dp+0AVQ.net
>>674
不等式の両辺に正の数をかけた不等式を解いても解は元の不等式と同じになるだろ
685:１３２人目の素数さん
18/07/02 23:42:20.65 e4Vp/nap.net
f(x,y)=(x^2)Arctan(y/x)-(y^2)Arctan(x/y)(x≠0かつy≠0のとき), 0(x=0またはy=0のとき)と定める時に以下を示して下さい
(∂f/∂x)(0,y)=-y, (∂f/∂y)(x,0)=x, (∂^2f/∂x∂y)(0,0)≠(∂^2f/∂y∂x)(0,0)
686:１３２人目の素数さん
18/07/02 23:44:23.62 iKZyzgoK.net
>>675
そういうことじゃなくて4分のD=じゃなくて普通にD=にすると答えと違う答えになってしまうんですが
もし良かったら途中式的な解説を教えてください
687:１３２人目の素数さん
18/07/02 23:50:40.53 Qk2ecPo+.net
わからないんですね
688:１３２人目の素数さん
18/07/02 23:51:40.30 0dp+0AVQ.net
>>677
単純計算の確認はwolframalphaなどで自分で確認しろ
URLﾘﾝｸ(www.wolframalpha.com)(m%5E2-1)%5E2-4(m%5E2%2B1)(m%5E2-1)%3E0
689:１３２人目の素数さん
18/07/02 23:55:57.29 BRMgtg27.net
>>671
0.999…=1みたいなもんなのでいいかと。
↓
0.999…＝a
9.999…10a
9＝9a
1＝a
690:１３２人目の素数さん
18/07/02 23:57:04.40 0dp+0AVQ.net
入力をミスしてた
URLﾘﾝｸ(www.wolframalpha.com)(m%5E2-1)%7D%5E2-4(m%5E2%2B1)(m%5E2-1)%3E0
691:１３２人目の素数さん
18/07/02 23:57:36.94 Qk2ecPo+.net
>>671
…を最後につけないとダメですね
でも通常のテストではバツです
テストというのは、正しい答えを書くものではなく、出題者の意図する答えを書くものだからです
692:１３２人目の素数さん
18/07/03 00:09:40.60 NxPTbDIX.net
あと教師からの問題で
「田」が一筆書きできないことを証明しろっていうのが出たのですが、本当に解けますか？
693:１３２人目の素数さん
18/07/03 00:12:24.70 owENWaVB.net
グラフ理論という分野の有名な問題ですね
証明の方法は知りません
694:１３２人目の素数さん
18/07/03 00:12:47.99 oAC695l8.net
鎌倉の大仏とシュリニヴァ―サ・ラマヌジャンはどっちの方が頭が良いですか？
695:１３２人目の素数さん
18/07/03 00:14:47.53 owENWaVB.net
イエスキリストですね
696:１３２人目の素数さん
18/07/03 00:26:15.68 oAC695l8.net
イエス・キリストとアラン・コンヌはどっちの方が凄いですか？
697:１３２人目の素数さん
18/07/03 00:26:16.14 bJvtOw4B.net
>>673
反例歓迎。自分に書きやすい順を例示してもらえるなら、それでいいのよ。
横書きなんてことならおれには「α」の書き方が絶好の例になる。。
αの左の曲線部でペンを紙から離せば、あとは縦棒を書き足すだけ。
書き順に歴史がないというのは草書における書き順が今に生きていることを噛みしめるべし。
698:１３２人目の素数さん
18/07/03 01:15:58.57 bJvtOw4B.net
>>683
「奇点』、「偶点」の概念を調べるとよいよ。
699:１３２人目の素数さん
18/07/03 01:18:42.76 F6g7HQZx.net
>>663 >>667
25^1.23 = 25･(25)^0.23
= 25･(5^2)^0.23
= 25･{(10^0.69897)^2}^0.23
= 25･10^(0.69897*2* 0.23)
= 25･10^ 0.321526
= 25･10^(0.30103 + 2*0.0102481)
= 25 (10^0.30103)(10^0.0102481)^2
= 50･(10^ 0.0102481)^2
= 50･exp(0.0102481 * 2.302585)^2
= 50･exp(0.023597)^2
≒ 50･{1 + 0.023597 + 0.5･(0.023597)^2}
= 50･(1.0238754)^2
= 50･1.048321
= 52.41604
>>686
イエス
700:１３２人目の素数さん
18/07/03 01:19:51.21 tC7CbZaO.net
>>688
a云々は何が言いたいかイマイチ分からん
草書の筆順がと言うがそれは統一されてない
流派によってこの字はこう書くとういうのはあると思うがそれは共通のものじゃないからその筆順が生きてるのはその集団の中でだけ
お前は筆順とかなんとか言わずにただ自分の書きやすい*の書き方を言うだけでよかった
それ以外はすべて勝手な感想だからチラシの裏にでも書いとけ
701:１３２人目の素数さん
18/07/03 01:30:40.07 m4KIKdKT.net
この問題解いてくれ
ｽﾚﾘﾝｸ(math板:606番)
606 １３２人目の素数さん sage ▼ 2018/07/01(日) 07:36:02.44 ID:tOu7EWTH [5回目]
半径9の円Cに外接する半径1の円Dがあり、DはCの周上を滑ることなく転がる。
DがC上を反時計回りの方向に転がりはじめてから1周するまでに、D上の点Aが描いた軌跡とCの周で囲まれる領域をEとする。ただし点AははじめCとの接点であったとする。
このとき、E内に含まれる線分の長さの最大値を求めよ。Eはその周も含むものとする。
参考図
URLﾘﾝｸ(www.wolframalpha.com)(10cos(t)-cos(10t),10sin(t)-sin(10t))
702:１３２人目の素数さん
18/07/03 01:31:44.02 m4KIKdKT.net
誤爆したｽﾏｿ
703:１３２人目の素数さん
18/07/03 01:45:36.90 fL5Uov9F.net
ベクトルに関する問題なんですけども教えていただけると嬉しいです。
URLﾘﾝｸ(imepic.jp)
704:１３２人目の素数さん
18/07/03 01:58:53.57 m4KIKdKT.net
>>694
URLﾘﾝｸ(www.wolframalpha.com)(d%2Fdt)(e%5Et+cos(t),e%5Et+sin(t))
もっぺん微分すれば a もわかる
705:１３２人目の素数さん
18/07/03 02:00:10.37 1lWhL84z.net
9000京円以上稼ぐにはどんな方法がありますか？
706:１３２人目の素数さん
18/07/03 02:07:17.71 fL5Uov9F.net
>>695
すいません。5とか何処から出ててきたんですか？
707:１３２人目の素数さん
18/07/03 02:08:24.74 fL5Uov9F.net
>>695
あ、勘違いしていました。
708:１３２人目の素数さん
18/07/03 02:12:53.44 bJvtOw4B.net
>>691
ギリシア文字のアルファが正しく表示されない環境では、伝わらない筈だ。
そもそもがどうでもいい話なので
>>644に適当に応えておいてね。
709:１３２人目の素数さん
18/07/03 03:02:12.72 F6g7HQZx.net
>>603 >>692
Aの軌跡A(t) = （x(t)，y(t)）
x(t) = (R+r)cos(t) - r cos((R+r)/r･t),
y(t) = (R+r)sin(t) - r sin((R+r)/r･t),
（外サイクロイド）
本問では R/r = 9 である。
C の A(0) = (1，0) での接線 x=R と A(t)の交点は
t1 = -0.4650390022827848382
t2 = 0.4650390022827848382
y(t1) = -5.4826553020515282073
y(t2) = 5.4826553020515282073
ゆえ、求める線分は A(t1) - A(t2) で、その長さは
y(t2) - y(t1) = 10.9653106041030564145
710:１３２人目の素数さん
18/07/03 03:32:49.84 F6g7HQZx.net
>>694
5.6
(1)
↑ｒ = (x(t)，y(t)) = ((e^t)cos(t)，(e^t)sin(t)),
↑ｖ = (d/dt)↑ｒ
= ((e^t)[cos(t)-sin(t)]，(e^t)[sin(t)+cos(t)])
= ((√2)(e^t)cos(t +π/4)，(√2)(e^t)sin(t +π/4)),
↑ａ = (d/dt)↑ｖ
= (-2(e^t)sin(t)，2(e^t)cos(t))
= (2(e^t)cos(t +π/2)，2(e^t)sin(t +π/2)),
(2)
↑ｖは↑ｒからπ/4 回った方向。
↑ａは↑ｒからπ/2 回った方向。
x(t) + iy(t) = e^((1+i)t)
とおいてtで微分する方法もある…
>>700
C の A(0) = (R，0) での接線 x=R と A(t)の交点は…
711:１３２人目の素数さん
18/07/03 03:40:52.35 HatamsLw.net
あれ？Eは半径９の円を含んでるんだからEに含まれる線分の長さの最大値は最低でも18以上じゃないの？
712:１３２人目の素数さん
18/07/03 03:54:21.16 fL5Uov9F.net
>>701
ありがとうございます！
713:１３２人目の素数さん
18/07/03 03:57:24.79 m4KIKdKT.net
GeoGebraに書かせてみると21.7くらいはいけた
714:１３２人目の素数さん
18/07/03 04:22:20.99 F6g7HQZx.net
>>700
cos(t) = c とおくと
x(t) = 10cos(t) - cos(10t)
= 10c - T_10(c)
= 1 + 10c -50c^2 +400c^4 -1120c^6 +1280c^8 -512c^10,
9 - x(t) = 8 -10c +50c^2 -400c^4 +1120c^6 -1280c^8 +512c^10
= (1-c){8 -2c +48(1+c)c^2 -352(1+c)c^4 +768(1+c)c^6 -512(1+c)c^8}
715:１３２人目の素数さん
18/07/03 04:26:19.88 F6g7HQZx.net
>>702 >>704
Eは、「点Aが描いた軌跡A(t)とCの周で囲まれる領域」 だよ。
Cの内部は「Cの周のみで囲まれる領域」だよ。
716:１３２人目の素数さん
18/07/03 04:41:04.35 HatamsLw.net
>>706
なる
717:１３２人目の素数さん
18/07/03 07:04:32.26 9tz8Nz1c.net
四面体ABCDのすべての面は合同であり、AB=4、BC=5、CA=6である。
この四面体をxyz空間の平面z=0に置き、A(0,0,0),B(4,0,0),C(c1,c2,0),D(d1,d2,d3)とする。
（1）c1,c2,d1,d2,d3を求めよ。
（2）この四面体の辺上にある格子点をすべて求めよ。辺は両端を含むものとする。
718:１３２人目の素数さん
18/07/03 08:11:19.33 HatamsLw.net
(1)
solve([x^2+y^2=36,(x-4)^2+y^2=25]);
[[y=－(15*sqrt(7))/8,x=27/8],[y=(15*sqrt(7))/8,x=27/8]]
solve([x^2+y^2+z^2=25,(x-4)^2+y^2+z^2=36,(x-27/8)^2+(y-15*sqrt(7)/8)^2+z^2=16]);
[[z=(3*sqrt(6))/sqrt(7),y=87/(8*sqrt(7)),x=5/8],[z=－(3*sqrt(6))/sqrt(7),y=87/(8*sqrt(7)),x=5/8]]
(2)
5
(2)はなんじゃこれ？
719:１３２人目の素数さん
18/07/03 08:24:30.48 F6g7HQZx.net
>>708
(1)
(c1，c2，d1，d2，d3) = (27/8，(15/8)√7，5/8，87/(8√7)，±3√(6/7))
(c1，c2，d1，d2，d3) = (27/8，-(15/8)√7，5/8，-87/(8√7)，±3√(6/7))
* 3辺の長さが √(5/2)，3√(3/2)，3√(5/2) の直方体の対角線を稜とする等面4面体。
* 等積4面体は等面4面体となる。
720:１３２人目の素数さん
18/07/03 08:42:29.80 F6g7HQZx.net
>>710
長さが8，10，12の△を考え、各辺の中点を結ぶ線分で折り返してできる４面体。
URLﾘﾝｸ(mathtrain.jp)
721:１３２人目の素数さん
18/07/03 09:13:33.53 F6g7HQZx.net
>>660
x = (u+v)/√2， y = (u-v)/√2 とおくと（u≧|v|）
放物線
u = (C^4 + 2v^2)/(√8・C^2),
のうち頂点を含む
C^2 /(√8) ≦ u ≦ C^2 /(√2)， |v| ≦ C^2 /(√2),
の部分 >>661
722:１３２人目の素数さん
18/07/03 16:16:05.12 XBCU9OSI.net
「級数の収束、発散には最初の有限項を除いても影響しない」ことの理由は（2.6）を
参照せよということのようですが、このことは（2.6）からどのように説明されるのでしょ
うか？
----------------------------------------------------------------------
Σ a_n, Σ c_n が正項級数で、Σ c_n が収束するとする。
すべての n に対し a_n ≦ c_n ならば Σ a_n は収束する。
証明
級数の収束、発散には最初の有限項を除いても影響しない（（2.6）参照）から、
「すべての n に対して」とあるのは「ある n_0 より大きなすべての n に対して」と
しても同じである。
----------------------------------------------------------------------
(2.6) 二つの数列 (a_n) n ∈ N と (b_n) n ∈ N において、有限個の n に対する
項のみが異なるとき、この二つの数列は同時に収束または発散し、収束するときは
極限も一致する。
723:１３２人目の素数さん
18/07/03 16:28:09.09 XBCU9OSI.net
(a_n) n ∈ N から最初の m 個の項を除いた数列を (b_n) n ∈ N とする。
b_n = a_(n+m)
S_n = Σ a_n
T_n = Σ b_n
とする。
n ≧ m とする。
S_n - (a_0 + a_1 + … + a_(m-1)) = T_(n-m)
である。
(S_n) が収束するとし、 S_n → S とする。
明らかに T_n → S - (a_0 + a_1 + … + a_(m-1))
だから (T_n) は収束する。
逆に、 (T_n) が収束し、 T_n → T とする。
明らかに S_n → T + (a_0 + a_1 + … + a_(m-1))
だから (S_n) は収束する。
724:１３２人目の素数さん
18/07/03 16:29:40.25 XBCU9OSI.net
例えば、 >>714 の説明では(2.6)を使っていません。
725:１３２人目の素数さん
18/07/03 17:54:24.88 XUrZO6O7.net
>>485の後半のE(n)/log nの収束証明がまだできない。
誰かできます？
おそらく出題者本人もやってない希ガス。
収束しない可能性すらあるのではないかと。
因みにE(n)
726:自体は有限値としてwell definedのようです。
727:１３２人目の素数さん
18/07/03 21:49:07.40 i1jSffMX.net
>>689
ありがとう
728:１３２人目の素数さん
18/07/03 22:20:19.65 bJvtOw4B.net
>>714,715
>>(S_n) が収束するとし、 S_n → S とする。
>>
>>明らかに T_n → S - (a_0 + a_1 + … + a_(m-1))
>>
>>だから (T_n) は収束する。
明らかに、のところ証明できる？
729:１３２人目の素数さん
18/07/03 22:28:06.01 +2mB2D/m.net
微小量の2乗はゼロっていうのがずっと引っかかってる
本当にそんなことしていいの？
730:１３２人目の素数さん
18/07/04 00:15:52.60 W7yaDtIc.net
>>719
？
731:１３２人目の素数さん
18/07/04 00:21:55.31 foR26SUl.net
微小量を考えた後は大体微分か積分しますよね
微分の場合は2乗は普通に0に収束しますし、積分の場合は∫dx^2=∫dx*dx=Adxとdxのオーダーになって、他のdxの積分ででてきた有限値と比べれば無視できる、というわけです
732:１３２人目の素数さん
18/07/04 01:39:56.89 Nodtrn/w.net
>>718
S_n = a_0 + a_1 + … + a_{n-1},
T_n = S_{n+m} - S_m,
{S_n} が収束するとき、 S_n → S とおく。
任意の正数ε>0 に対し、ある自然数Nが存在して
n > N ⇒ |S_n -S| < ε,
したがって、
n > N-m ⇒ |T_n + S_m -S｜ = |S_{n+m} -S| < ε
∴ {T_n} は S - Sm に収束する。
逆に、{T_n} が収束するとき、 T_n → T とおく。
任意の正数ε>0 に対し、ある自然数N ' が存在して
n > N ' ⇒ |T_n -T| < ε,
したがって、
n > N '+m ⇒ |S_n -S_m -T｜ = |T_{n-m} -T| < ε
∴ {S_n} は T + S_m に収束する。
733:１３２人目の素数さん
18/07/04 01:53:58.88 qFtlH9Kn.net
奇数次の有理数係数多項式で、有理数根を1つも持たないものは存在しますか？
また上の有理数を、整数に変えたらどうなりますか？
734:１３２人目の素数さん
18/07/04 02:19:47.20 Nodtrn/w.net
>>723
x^(奇数) - p とか？(pは素数)
735:１３２人目の素数さん
18/07/04 04:29:38.67 VCQHnhCo.net
xy平面上の2つの曲線
C1:y=x^3-kx
C2:x=y^3-ky
を考える。
（1）xy平面上の曲線D:y=x^3-axが極大値と極小値を持つような実数aの範囲を求めよ。
（2）Dが極小値をとるときのxの値をm、極大値をとるときのxの値をMとする。またx=mにおけるDの接線とDの交点のx座標をp（p≠m）とする。
このとき、以下の値をそれぞれaで表せ。
M-p、-M、m
（3）C1とC2がx≠yの交点を持つような実数kの範囲を求めよ。
736:１３２人目の素数さん
18/07/04 04:51:20.73 VCQHnhCo.net
すべての面が合同な三角形である四面体ABCDがあり、△ABCの各辺の長さは正の実数aを用いてAB=1+a、BC=1、CA=1-aと表されるという。
（1）△ABCが鋭角三角形となるaの範囲を求めよ。
以下（1）の条件を満たす四面体ABCDをxyz空間で考え、B(0,0,0)、C(1,0,0)、A(s,t,0)とおく。
（2）s,tをaで表せ。ただしt>0とする。
（3）四面体ABCDを平面x=k（0<k<1）で切った切り口の断面積S(k)をaで表せ。
（4）四面体ABCDの体積をV(a)とする。次の極限が0でない有限値に収束するような有理数pと、その極限値を求めよ。
lim[a→0] {V(a)-(√2)/12}/{a^p}