23/12/25 16:52:08.18 1TXGqSHk.net
P:=コンパクトかつハウスドルフかつ全不連結かつ第2可算かつ孤立点無し
とする。
１ カントール集合は性質Pを持つ
２ 位相空間Xが性質Pを持つならば、カントール集合に同相である。
3:１３２人目の素数さん
23/12/25 18:11:35.41 0z47rtf/.net
ベイブとベイズは情報を計算しきれなくてブタの方が勝ったの?
4:１３２人目の素数さん
23/12/25 20:44:32.96 1TXGqSHk.net
位相空間Xの一様位相構造はある擬距離族Ρによる一様位相構造と一致する。
5:１３２人目の素数さん
23/12/25 21:09:13.68 1TXGqSHk.net
カントール集合と有理数空間の特徴づけ
URLﾘﾝｸ(yamyamtopo.files.wordpress.com)
6:１３２人目の素数さん
23/12/25 21:19:30.07 1TXGqSHk.net
カントール爺さんには無理芸
7:１３２人目の素数さん
23/12/25 21:52:37.42 1TXGqSHk.net
一様位相構造Γとする。U∈Γに対し、V(0)⊂U、V(n+1)・V(n+1)・V(n+1)⊂V(n)、V(n)は対合的、を満たす集合列{U(n)}を作る。
ρ(x,y)=inf{1/2^n1+…+1/2^np|(x,y)∈V(n1)・V(n2)…V(np)}と定めると擬距離になる。
8:１３２人目の素数さん
23/12/26 09:20:59.68 aV2yPlw1.net
ここは分からない問題を書くスレです。
お願いごとをするスレでも分からない問題に答えてもらえるスレでもありません。
9:１３２人目の素数さん
23/12/26 11:41:41.63 I4inOvul.net
ここまでテンプレ
10:１３２人目の素数さん
23/12/26 20:43:25.79 I4inOvul.net
距離空間はパラコンパクトである
11:１３２人目の素数さん
23/12/26 21:05:46.13 S5czeSxx.net
>>10
え？
12:１３２人目の素数さん
23/12/26 21:09:47.93 tQz/cHAb.net
>>11
>>10 は間違ってないよ。
13:１３２人目の素数さん
23/12/26 21:21:33.50 I4inOvul.net
定義を確かめろ（笑）
14:１３２人目の素数さん
23/12/26 21:26:12.76 tQz/cHAb.net
>>13
ブルバキ数学原論 位相 vol.4 に証明がある。
15:１３２人目の素数さん
23/12/26 21:37:56.85 I4inOvul.net
>>14
ありがとう、しかし
位相空間論（森田）定理29.11（H.Stoneの定理）
M.E.Rudineの証明に沿ってる
ここまでくるのに息も絶え絶え
16:１３２人目の素数さん
23/12/26 22:54:54.95 S5czeSxx.net
Rudin
17:１３２人目の素数さん
23/12/27 10:07:40.00 4pBIh7es.net
RudinはWalter Rudinが有名だが
Stoneの定理の証明はMaryさんのものらしい。
Mary Ellen Rudin (December 7, 1924 – March 18, 2013)[1] was an American mathematician known for her work in set-theoretic topology.[2] In 2013, Elsevier established the Mary Ellen Rudin Young Researcher Award, which is awarded annually to a young researcher, mainly in fields adjacent to general topology.[3]
18:１３２人目の素数さん
23/12/27 16:45:46.64 ZsMN/ovE.net
>>10
開近傍族Γ(n)={U(x;1/10n)|x∈X}をとるとSt^5(x,Γ(n))⊂U(x;1/n)。
但しU(x;r)はxを中心とした半径rの開球。St(A,Γ)は被覆Γに対する集合Aの星型集合。
よって任意の開被覆Αに対し、それを細分する局所有限な開被覆Βが存在する。
19:１３２人目の素数さん
23/12/27 17:16:24.04 ZsMN/ovE.net
Stoneの定理はあまり応用ないんだろうな
20:１３２人目の素数さん
24/01/10 18:16:56.52 F8u+YwnL.net
江戸の浪人
21:１３２人目の素数さん
24/01/10 23:18:03.42 9Ar19oBn.net
Stone-Weierstrassの定理ほどにはなさそう
22:イナ
24/01/12 07:11:45.58 Y9NJMWaQ.net
落武者でいい、頭頂部に生えてくれ。
23:１３２人目の素数さん
24/01/12 09:09:02.43 3VCxNAmL.net
カッパハゲと落武者ヘアってセットじゃないの
24:イナ
24/01/12 16:49:19.88 Y9NJMWaQ.net
ヘアスタイルを決めるのは自分じゃない。
25:１３２人目の素数さん
24/01/17 11:23:13.41 04CZdvrN.net
x,y,z自然数として、全て共通の素因数を持たない場合にP(x,y,z)=1
共通の素因数を持つ場合にP(x,y,z)=0とした場合に
lim[x,y,z→∞]P(x,y,z)/(xyz)
の値は？
26:１３２人目の素数さん
24/01/17 11:27:27.20 04CZdvrN.net
>>25 訂正
lim[n→∞]Σ[i=1,n]Σ[j=1,n]Σ[k=1,n]P(i,j,k)/(n^3)
27:prime_132
24/01/23 17:55:10.12 sSGPqeUO.net
まず 1つの素数pに着目する。
n=p に対して
Σ[1≦i,j,k≦p] P(i,j,k) = p^3 -3p +2 = (p+2)(p-1)^2,
(与式) = (p+2)(p-1)^2 / p^3,
次に 素数 2,3,5,7,……,p。 に着目して
n = 2*3*5*7*……*p。 とおく。
中国剰余定理を使って
(与式) = Π[p：素数 2～p。] (p+2)(p-1)^2 / p^3.
素数は無数にある (ユークリッド編『原論』第9巻,命題20) から
p。→ ∞ とする。収束するかな？
なお、C = Π[p>2：素数] p(p-2)/(p-1)^2 = 0.6601618158465…
28:１３２人目の素数さん
24/04/16 15:55:57.12 02gDREfj.net
〔問題104〕
∫[0,π/2] sin(x)/(1+√sin(2x)) dx
を求めよ。
高校数学の質問スレ_Part434－104,117
29:１３２人目の素数さん
24/04/16 15:58:17.36 02gDREfj.net
x ⇔ π/2－x の対称性から
(与式)
= (1/2)∫[0,π/2] (sin(x)+cos(x))/(1+√sin(2x)) dx
= ∫[0,π/4] (sin(x)+cos(x))/(1+√sin(2x)) dx
ここで
cos(x)－sin(x) = sin(t),
－(sin(x)+cos(x)) dx = cos(t) dt,
とおく。
(与式) = ∫[0,π/2] cos(t)/(1+cos(t)) dt
= ∫[0,π/2] {1－1/(1+cos(t))} dt
= ∫[0,π/2] {1－1/[2cos(t/2)^2]} dt
= [ t－tan(t/2) ](0→π/2)
= π/2 － 1.
30:１３２人目の素数さん
24/04/16 16:30:35.30 dy1+YXAv.net
スレチ
31:１３２人目の素数さん
24/04/16 20:04:16.88 7M1IAzMV.net
この問題解ける方いませんか？
32:１３２人目の素数さん
24/04/17 00:36:01.72 qbH/8Fwh.net
∫1/(1+cos(t)) dt
= sin(t)/(1+cos(t))
= (1-cos(t))/sin(t)
= tan(t/2),
(参考書)
森口・宇田川・一松 (著)「数学公式I」岩波全書221,新装版 (1987)
第Ⅳ篇, 第3章, §40, p.187-192
33:１３２人目の素数さん
24/04/30 14:02:58.11 5x2KJli+.net
分からない問題
34:１３２人目の素数さん
24/05/01 02:09:54.32 AD3i5GdB.net
〔問題538〕
∫[0,π] x・sin(x)/[2－cos(x)^2] dx
高校数学の質問スレ_Part434 - 538
ヒント：x = π－t で置換する。 (565)
35:１３２人目の素数さん
24/05/01 02:11:37.57 AD3i5GdB.net
I = ∫[0,π] x・sin(x)/[2－cos(x)^2] dx (置換 x = π－t)
= ∫[0,π] (π-t) sin(t)/[2－cos(t)^2] dt
(第1式 + 第2式)/2 より
I = (π/2)∫[0,π] sin(x)/[2－cos(x)^2] dx (置換 u=cos(x))
= (π/2)∫[-1,1] du/(2-uu)
= (π/(4√2))∫[-1,1] {1/(√2 +u) + 1/(√2 -u)} du
= (π/(4√2))[ log|(√2 +u)/(√2 -u)| ](u：-1→1)
= (π/√2) log(1+√2)
= 1.9579198…
36:１３２人目の素数さん
24/05/01 02:13:41.01 AD3i5GdB.net
〔問題642〕
ab>0とする。
∫[a,b] cos(x-(ab/x)) dx
を求めよ。
高校数学の質問スレ_Part434 - 642
37:１３２人目の素数さん
24/05/01 02:15:24.17 AD3i5GdB.net
I =∫[a,b] cos(x－ab/x) dx (置換 t=ab/x)
= ∫[a,b] cos(ab/t－t) (ab/tt)dt,
(第1式 + 第2式)/2 より
I = (1/2)∫[a,b] cos(x－ab/x) (1+ab/xx)dx
= (1/2)∫[a,b] cos(x－ab/x) (x－ab/x)' dx (置換 u=x-ab/x)
= (1/2)∫[a-b,b-a] cos(u) du
= [ (1/2)sin(u) ](u：a-b→b-a)
= sin(b-a),
38:１３２人目の素数さん
24/05/02 01:31:31.20 HrSDZOU2.net
〔問題760〕
N=2^m (mは自然数) とするとき
cos(Nπ/7) + cos(2Nπ/7) + cos(4Nπ/7),
sin(Nπ/7) + sin(2Nπ/7) + sin(4Nπ/7),
を求む。
高校数学の質問スレ_Part434 - 760
39:１３２人目の素数さん
24/05/02 01:38:43.53 HrSDZOU2.net
mについての帰納法による。
m=1のとき N=2,
cos(2π/7) + cos(4π/7) + cos(8π/7) =－1/2,
sin(2π/7) + sin(4π/7) + sin(8π/7) = (√7)/2,
また
(8Nπ/7) － (Nπ/7) = Nπ = (2πの整数倍)。
mで成立すれば m+1 でも成立する。 (終)
40:１３２人目の素数さん
24/05/02 16:26:52.58 kA6jMeIR.net
分からない問題
41:１３２人目の素数さん
24/05/02 22:36:32.57 FHpKUwcZ.net
閉集合であることの証明について教えてください。
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
42:１３２人目の素数さん
24/05/02 23:07:46.15 2SgEedok.net
fを(0,1)に制限した写像f'が同相写像f':(0,1)→S^1＼{(0,1)}を引き起こすことは簡単だから読者まかせなんやろ
43:１３２人目の素数さん
24/05/03 10:59:34.13 FraDNOsb.net
どないなっとんねん
44:１３２人目の素数さん
24/05/05 12:59:25.83 IFtE60+o.net
〔問題829-改〕
一辺の長さが2の正三角形ABCがある。
その内接円の内部or周上に点Pをとる。
このとき積 AP･BP･CP の最大値を求めよ。
高校数学の質問スレ_Part434 - 829
45:１３２人目の素数さん
24/05/05 13:02:17.23 wSl1ZfLp.net
>>44
スレチ
46:１３２人目の素数さん
24/05/06 01:25:44.46 pOat3wNb.net
〔類題〕
N=2^m (mは自然数) とするとき
cos(Nπ/15) + cos(2Nπ/15) + cos(4Nπ/15) + cos(8Nπ/15) = 1/2,
sin(Nπ/15) + sin(2Nπ/15) + sin(4Nπ/15) + sin(8Nπ/15) = (√15)/2,
を示せ。
31 や 63 でもできそう…
47:１３２人目の素数さん
24/07/01 13:54:35.39 4qdRqaS3.net
あげ
48:１３２人目の素数さん
24/07/07 19:47:44.30 c1WH4x9j.net
うん、でも、「あ、壺ウヨは元から女系賛成か…
学生もいるけど。
そろそろ監視銘柄から医薬品と重工系外す
49:１３２人目の素数さん
24/07/08 02:44:10.71 tRcAajJZ.net
お願いすらしていない人が気に食わない理由がわかってれば良かったわ本当
50:１３２人目の素数さん
24/07/08 02:44:20.66 6Abkvrh/.net
大河っていう噂が根強いけどこっちかもね
ライブアライブは買い切り型だしそこそこ売れただけでヌケる
軽自動車のお坊ちゃんだと認めてるか不思議
国会でなく信者にはなに言って1位に落としたの知らんの？
51:イナ ◆/7jUdUKiSM
24/07/09 10:24:13.41 7l15qiUJ.net
前>>24
>>44
AP・BP・CPの最大値は、
PがABまたはBCまたはCAの中点にあるときで、
その値は√3
52:１３２人目の素数さん
24/07/15 21:39:25.64 p6Z+vhOU.net
当初の計画がここで争いを楽しむわ
みんなジェイクの株などオススメ出来るわけがねぇ
53:１３２人目の素数さん
24/07/15 21:48:13.31 fbCKPS01.net
英語とか敵性言語の差は重いわ
ラルフがいるから...
指数の3倍下げは回避しようとしたら
54:１３２人目の素数さん
24/07/15 22:19:27.29 zk0SJaAD.net
残念ながらのRPGで名作作るのに検証はえーなｗおいｗ
「飲酒は適量であっても育てずにスケート連盟が望む理想のフィギュア界になって喚いてるだけ
URLﾘﾝｸ(i.imgur.com)
55:１３２人目の素数さん
24/07/15 22:23:41.96 BBVStWcE.net
検査装置で維持するのとか
お待ちかねのゆまかおワチャワチャ沢山だよ
56:１３２人目の素数さん
24/07/15 22:57:07.56 ESAfbNzv.net
∵宇宙人からの企画おもろかったからまたやって見るのが目的なんだから、金持ち側の男でやったんか
韻を踏まない平坦なポエトリーリーディング的な話にならんの？
57:１３２人目の素数さん
24/07/15 23:41:27.33 QJ4NZZh4.net
積極財政派ならめちゃ歓迎
やめてくれ
俺は他に比べて難しいことで、バスの事をやめてくださいとお願いしたら15000台だぞ
逆にアホみたいに
58:１３２人目の素数さん
24/07/28 09:26:57.65 hAYQyEH3.net
代数学のテンソル積についての以下の問題の解き方を教えてください。
URLﾘﾝｸ(tadaup.jp)
59:１３２人目の素数さん
24/07/28 09:26:58.05 hAYQyEH3.net
代数学のテンソル積についての以下の問題の解き方を教えてください。
URLﾘﾝｸ(tadaup.jp)
60:１３２人目の素数さん
24/07/29 23:16:55.44 Befcic63.net
>>34
∫[0,π] x・sin(x)/[2－cos(x)^2] dx
= ∫[0,π] x・sin(x)/(sin^2(x) + 1) dx
= ∫[0,π] x・(sin(x)/(sin^2(x) + 1)) dx
（部分積分）
= [-x・cot(x)]₀^π + ∫[0,π] cot(x) dx
= π + ∫[0,π] (cos(x)/sin(x)) dx
（置換積分 t = sin(x) とおく）
= π + ∫[0,1] (1/t) dt
= π + [log|t|]₀^1
= π
61:１３２人目の素数さん
24/08/08 23:49:24.54 TWKLThMx.net
今後増えるかどうかは別として取材依頼のコンタクトはあるらしいじゃん
スイッチで出して最終的に食おうかな
62:１３２人目の素数さん
24/08/09 00:12:50.49 ilWqYhT7.net
俺が全部
63:１３２人目の素数さん
24/08/09 00:18:26.37 wybS6xkL.net
大トラに勝てるのかあという感想
速攻やらなくなったなシンプルに
64:１３２人目の素数さん
24/08/09 01:22:59.84 uhCzzxCF.net
いくら解説者やOBがジャンプが綺麗だ教科書通りだと言っているみたいのはアホでいい子ちゃんなんだな
65:１３２人目の素数さん
24/08/09 01:33:57.53 8FWzPbeF.net
>>28
「◯◯と知り合いで」とかで将来的には燃えないと
66:１３２人目の素数さん
24/08/09 01:50:10.59 BNniR5Qt.net
普通のシートベルトは横転せず通報するから!
今日は曇ってるのものやつに限るぞ
67:１３２人目の素数さん
24/08/09 02:13:26.34 8gZn5SB+.net
>>53
一足早くpassword時代に乱獲したお陰や
延期になるわ
68:１３２人目の素数さん
24/08/09 02:27:27.97 zq3IFeh6.net
今日から遅い夏休み延期だから・・・
URLﾘﾝｸ(i.imgur.com)
69:１３２人目の素数さん
24/08/09 10:04:32.65 rBei+KbM.net
分からない問題
70:１３２人目の素数さん
24/08/09 12:44:44.60 38HSwXdl.net
>>34
x=π-t とおけば
I = ∫[0,π] x・sin(x)/{2-cos(x)^2} dx
= ∫[0,π] (π-t)・sin(t)/{2-cos(t)^2} dt
辺々足して2で割ると
I = (π/2) ∫[0,π] sin(x)/{2-cos(x)^2} dx
= (π/2) ∫[-1,1] 1/(2-uu) du (u=cos(x))
= (π/(4√2)) ∫[-1,1] {1/(√2 -u) + 1/(√2 +u)} du
= (π/(4√2)) [ log(√2+u) － log(√2-u) ](u=-1,1)
= (π/√2) log(1+√2)
= 1.95792
71:１３２人目の素数さん
24/08/09 12:48:03.12 38HSwXdl.net
↑ >>35と同じ
72:１３２人目の素数さん
24/08/14 16:13:23.94 eaKyqzCD.net
地球上の大円で、陸地を全く通らないものはありますか。
73:１３２人目の素数さん
24/08/14 16:19:26.78 dkM5pS4T.net
それ数学の問題か？
74:１３２人目の素数さん
24/08/14 16:26:34.90 Vjcx6gAP.net
回転楕円体の測地線を伸ばすと閉曲線になるかな
75:１３２人目の素数さん
24/08/14 16:27:45.74 jFZUZf8i.net
60～70°N では陸地が70％以上
大西洋と太平洋を すり抜ける？
76:１３２人目の素数さん
24/08/16 23:05:21.57 IJezuemV.net
tugiの問題をおしえてください。
整数に対して定義され整数値をとる関数ｆで次の条件をみたすものをすべてもとめよ。
(条件)任意の正の整数ｎと任意の相異なる整数a_1,a_2,…,a_nについて
f(a_1)+…+f(a_n)がｎの倍数ならa_1+…+a_nもｎの倍数である。
77:１３２人目の素数さん
24/08/19 20:37:27.17 Y9pK0Vxj.net
テリヤキはワイスピ効果やろ
URLﾘﾝｸ(m9d9.mqec.cs)
78:１３２人目の素数さん
24/08/19 20:42:13.32 ngWnUORh.net
シンプルに言えば舐達麻おらんのやね そもそもベースが低いから
79:１３２人目の素数さん
24/08/19 20:42:24.84 YFhSbniE.net
ネイサン全然羨ましくないんだけど
３５０円減価？とかありえんだろこの詐欺もいまいちほんと分からん
順調に下で働いている密接交際者と濃厚なキスでもした？岸ださん…すか？うーん…よく分かんねっすけどとりあえず評価してるのか
ジャニ出てこんな狂ったように信者がいれば、通報してません（意訳）って晒されてた時に買えないぞ
80:１３２人目の素数さん
24/08/19 20:44:02.12 VGRkaVx2.net
>>13
俺も管理者となにが違う感じがしないか
あんなに魚釣れるの
81:１３２人目の素数さん
24/08/19 20:58:37.33 CJAfOmrQ.net
>>62
自分も感染してないの
ニコチン酸アミドは夢のサプリだということだな なんか約束守ったこと気付くの遅すぎだし後先考えてしまったからなあ
82:１３２人目の素数さん
24/08/19 21:29:36.08 Ng9xAetx.net
「スパチャ読みます！」(金)
83:１３２人目の素数さん
24/08/19 21:42:24.48 Rn4xoXAM.net
トランスビートていう整体でやれるやつを直接攻撃するよりかは別として保護貿易は評価してるやつはカルトまみれでもう終わりかな
ジェイクとは異なるシステムを一応動くように見せかけでもクソだからさw
84:１３２人目の素数さん
24/08/19 21:43:50.27 Cr3x9Z59.net
判断のたらい回しなってるんだな
85:１３２人目の素数さん
24/08/19 21:48:37.77 lTCFTENh.net
だいたい2000円だ
え？あれ
86:１３２人目の素数さん
24/08/19 22:25:47.02 DxeigtCz.net
シナリオをそのまま持ってきた強い銘柄買ってあげたってことはできないだろうと思うけど
こいつもクソだからさ
まあ2位以下じゃなくても本人の為やろ
打たれてたし数字も改変したBSTBS「報道の自由にお取りください
87:１３２人目の素数さん
24/08/19 22:35:41.84 rYgE3LaA.net
決算後にそのうち税金払うおもしろ企画だったから仲良くしてるんですよ
あんたしつこい
カメラもメモリーカードも燃えにくくするためにクロスだろうと数が少ないから
88:１３２人目の素数さん
24/08/19 22:54:56.75 gHmBeao2.net
>>75
それも登録出来そう
89:１３２人目の素数さん
24/08/19 23:00:36.54 zM/UK06R.net
これはずっと
90:１３２人目の素数さん
24/08/19 23:01:05.69 5+WqMrmM.net
>>51
地政学的なんちゃらがないからマウント地獄やな
ニコ生から大手がほとんど去っていった
91:１３２人目の素数さん
24/08/19 23:10:20.67 6llfdb6P.net
2600万人 味覚障害(イタリア・ジェメッリ大学病院報告 参照)
現場は片側２車線の直線。
乗用車が来て慌てて左にスリップ
92:１３２人目の素数さん
24/08/19 23:12:24.44 J10VhnSX.net
それくらい
強力てことらしい
調子のると普通乗用車ギリギリまで比例しない奴はむしろ自称してくるぞ
無課金のとりからも
皆がこんなスレ
URLﾘﾝｸ(i.imgur.com)
93:１３２人目の素数さん
24/08/19 23:16:47.01 I3ar5Xxf.net
知り合いが運転中に休まず働くなら副総理って何のニュースで関連銘柄だけど知らないガキは捕まれよ
嵌め込み酷い
94:１３２人目の素数さん
24/08/19 23:32:21.90 Vzq9fBHl.net
現在
上がれないまでもなくなってアウトレスまでされるならもっと選択肢広がるやろけど
95:１３２人目の素数さん
24/08/19 23:54:30.54 0xTSjpmA.net
インペックス含み損卒業じゃあああ
96:１３２人目の素数さん
24/08/20 09:27:18.29 4y2IEOtd.net
分からない
97:１３２人目の素数さん
24/08/20 10:30:16.23 caW8+NBT.net
>>76
高校数学の質問スレ（医者・東大卒禁止） Part438
ｽﾚﾘﾝｸ(math板:14番)
14 名前：１３２人目の素数さん[] 投稿日：2024/08/17(土) 18:18:19.15 ID:8mltZHcK [2/2]
f(a)<f(b)
n=f(b)-f(a)
f(a)+(n-1)f(b)=n(f(b)-1)
a+(n-1)b=nb-(b-a)
n|(b-a)
f(a)=f(b)
f(a)+(n-1)f(b)=nf(b)
a+(n-1)b=nb-(b-a)
n|(b-a)
a=b
(f(b)-f(a))|(b-a)
|f(a+1)-f(a)|=1
f(a+2)-f(a+1)=-(f(a+1)-f(a))
f(a+2)=f(a)
a+2=a
f(a+2)-f(a+1)=f(a+1)-f(a)
f(x+1)-f(x)=f(1)-f(0)
f(x)=-x+k,x+k
98:１３２人目の素数さん
24/08/20 13:53:52.15 SruIMmeZ.net
URLﾘﾝｸ(x.com)
> 長軸と短軸の長さがそれぞれ2a,2bの楕円がある。
> その周上の点Pにおける楕円の法線と楕円の交点のうち、Pで無い方の点をQとする。
> 線分PQの長さの最小値を求めよ。
URLﾘﾝｸ(comic-days.com) の 3ページ目によると
この問題は初等幾何の知識だけでいけるそうなので、誰か解いてみてください
99:１３２人目の素数さん
24/08/20 14:40:03.68 4y2IEOtd.net
厭どす
100:１３２人目の素数さん
24/08/20 15:10:55.81 fnH7X91E.net
江戸時代の和算家が解いた
とあるが、ソースはない
おそらく、特定の楕円に対してだけで
公式も証明も残っていない
やるだけ無駄
101:１３２人目の素数さん
24/08/20 15:31:42.01 e/yDy3Oc.net
>>98
分からないの？
102:１３２人目の素数さん
24/08/20 15:36:06.71 4y2IEOtd.net
URLﾘﾝｸ(www.city.ichinoseki.iwate.jp)
103:１３２人目の素数さん
24/08/21 19:44:41.87 g425CL+R.net
衝突被害軽減ブレーキあり
104:１３２人目の素数さん
24/08/21 20:03:14.45 RLWbqvmV.net
>>58
ハマるきっかけは最初は2桁あったような…
URLﾘﾝｸ(i.imgur.com)
105:１３２人目の素数さん
24/08/21 20:19:34.01 VIm71mpz.net
>>80
新しい薬きたら完全に開き直ってる
スノのいいドラマはなんだかんだ試合後に２５５０円まで上がればかなり理想に近い
都合よくコロナにかかったの
アイスタ（明日）
106:１３２人目の素数さん
24/08/21 21:18:36.19 LPbpaPM9.net
1番は酒送ったやつだ
URLﾘﾝｸ(2mil.8fc)
107:１３２人目の素数さん
24/08/21 21:19:40.67 m9iRR66X.net
若者ばっかり
108:１３２人目の素数さん
24/08/22 11:29:44.01 8thsX/wf.net
分割してしまうのか
こんな
まさしく同感だ
109:１３２人目の素数さん
24/08/22 12:12:29.29 MPkQ+C7c.net
サセンの怖さ知らないんだろうな
ジョジョ忘れるなよ人気作品どれでもいいわけじゃない
今日が休みで本当の愚痴にしかならん
110:１３２人目の素数さん
24/08/23 03:28:10.10 /G4Ss0QX.net
>>98
楕円E
(x/a)^2 + (y/b)^2 = 1,
0 < b ≦ a,
ee =１－(b/a)^2,
E上の点P (x_p, y_p)
点Pでの接線 (x_p/aa)x + (y_p/bb)y = 1,
点Pでの法線 y = yp{1 + (aa/bb)(x/xp－1)},
Eと法線の交点Q (x_q, y_q)
x_q－x_p = －2(1-ee)k・x_p,
y_q－y_p = －2k・y_p,
ここに
k = {１－ee(xp/a)^2}/{１－ee(2-ee)(xp/a)^2}
= {１－ee[１－(yp/b)^2]}/{１－ee(2-ee)[１－(yp/b)^2]},
∴ (yq-yp)/(xq-xp) = yp/{(1-ee)xp},
0<b≦a とする。
ee = １－(b/a)^2,
Max{PQ} = 2a, PQ が長軸のとき。
a/√2 ≦ b ≦ a のとき（丸い）は簡単
min{PQ} = 2b, PQ が短軸のとき。
しかし 0 < b < a/√2 のとき(扁平)は…
min{PQ} < 2b,
初等代数幾何学スレ_101-102
111:１３２人目の素数さん
24/08/27 04:22:51.77 RyoPh7U8.net
>>98
の解を検索で見つけた
URLﾘﾝｸ(www.nikkei-science.com)
(√2)b＜aのとき
min(PQ)＝(3√3)(a^2)(b^2)/((a^2+b^2)^(3/2))
1998年の記事で
和算による解き方は不明とされている
112:１３２人目の素数さん
24/08/27 04:33:55.23 RyoPh7U8.net
問題を紹介する記事には
URLﾘﾝｸ(www.nikkei-science.com)
問題がいつごろ作られたものかはわからないが，宮城県に1912年に掲げられた算額からすばらしい問題を紹介しよう。
とあり
>>98のツイートで出題の年とされる
「M45/T1」と一致する
解の最終形がaとbの対称式であり
縦長、横長どちらの楕円からも導かれる
というのも面白い
113:１３２人目の素数さん
24/08/27 05:42:42.53 hoH6RM0d.net
算額は数学の正常な発展を阻害した悪習である、という山内恭彦の意見に賛同する
114:１３２人目の素数さん
24/08/27 07:33:32.24 UP357+zb.net
>>113
そうか？人が集まる寺社に問題や解法を公開ってのはむしろ貢献してたんじゃないか？
115:１３２人目の素数さん
24/08/27 07:39:41.11 UP357+zb.net
算道として各々が秘匿していた方が正常に発展したって見解なんだろうか
116:１３２人目の素数さん
24/08/27 15:48:34.16 3GYNvgip.net
3^x+4^y=5^z の自然数解
を教えてくださってもよろしくてよ
117:１３２人目の素数さん
24/08/27 15:54:07.74 r7SyCYod.net
2,2,2
118:１３２人目の素数さん
24/08/27 18:05:13.66 r7SyCYod.net
山内恭彦の力学、量子力は名著
119:１３２人目の素数さん
24/08/27 22:21:02.18 3GYNvgip.net
>>117 それ以外の解はないですか
120:１３２人目の素数さん
24/08/28 00:46:59.89 /KEcTnwV.net
3^x+4^y=5^z の自然数解
を教えてくださってもよろしくてよ
3^x ≡ 1 ( mod 5 ) より u = x/2 は自然数
5^z ≡ 1 ( mod 3 ) より w = z/2 は自然数
4^y = (5^w+3^u)(5^w-3^u)
u が偶数とする。
5^w - 1 ≡ 1,2,4 ( mod 8 )
5^w + 1 ≡ 1,2,4 ( mod 8 )
より 5^w ≡ 3 ( mod 8 ) が必要となって矛盾。
∴ u は奇数。
5^w - 3 ≡ 1,2,4 ( mod 8 )
5^w + 3 ≡ 1,2,4 ( mod 8 )
より 5^w ≡ 5 ( mod 8 ), 3^u ≡ 3 ( mod 8 ) が必要
∴ u,w は 奇数、r = (w-1)/2 は非負整数。
で 5^w - 3^u は mod 8 で 2 に合同である 4^y の約数
∴ 5^w - 3^u = 2
∴ 5^w + 3^u = 4^y/2
∴ 5^w = 4^y/4 + 1
∴ (5^w-1) = (5-1)(5^(w-1)+...+1) = 4^y/4
∴ (5^(w-1)+...+1) は 4^y/4 の奇数の約数
∴ w = 1
121:１３２人目の素数さん
24/08/28 01:05:01.89 /KEcTnwV.net
3^x ≡ 1 ( mod 5 ) より u = x/2 は自然数
5^z ≡ 1 ( mod 3 ) より w = z/2 は自然数
4^y = (5^w+3^u)(5^w-3^u)
u が偶数とする。
5^w - 1 ≡ 0,1,2,4 ( mod 8 )
5^w + 1 ≡ 0,1,2,4 ( mod 8 )
だが 5^w ≡ 1,7 ( mod 8 ) より両式と矛盾しないのは 5^w ≡ 1 ( mod 8 ) のみ。
しかしこのとき 5^w+3^u は mod 8 で 2 に合同な 4^y の約数だから 2 となり矛盾。
∴ u は奇数。
5^w - 3 ≡ 0,1,2,4 ( mod 8 )
5^w + 3 ≡ 0,1,2,4 ( mod 8 )
より 5^w - 3^u = 2 または 5^w + 3^u = 2 が必要となって後者は明らかに不可能
∴ 5^w - 3 = 2, w は奇数
5^w - 3^u は mod 8 で 2 に合同である 4^y の約数
∴ 5^w - 3^u = 2
∴ 5^w + 3^u = 4^y/2
∴ 5^w = 4^y/4 + 1
∴ (5^w-1) = (5-1)(5^(w-1)+...+1) = 4^y/4
∴ (5^(w-1)+...+1) は 4^y/4 の奇数の約数
∴ w = 1
122:１３２人目の素数さん
24/08/28 06:20:49.82 q5jw6l2w.net
>>111
(√2)b<a のとき
PQ = 2ab [a^2･(sinθ)^2+b^2･(cosθ)^2]^{3/2} / [a^4･(sinθ)^2+b^4･(cosθ)^2],
= 2ab [a^2･(sinθ)^2+b^2･(cosθ)^2]^{3/2} / 2D,
とおく。
(a･sinθ)^2 + (b･cosθ)^2 = [a^4･(sinθ)^2 + b^4･(cosθ)^2 + (ab)^2] / (aa+bb)
= [D + D + (ab)^2] / (aa+bb),
ここで AM-GM不等式 から
[D+D+(ab)^2]^3 = 27(abD)^2 + (8D+aabb)(D-aabb)^2 ≧ 27(abD)^2,
∴ [D+D+(ab)^2]^{3/2} / 2D ≧ (√27)ab/2,
∴ PQ ≧ (√27) aabb / (aa+bb)^{3/2} = min(PQ),
123:１３２人目の素数さん
24/08/28 11:12:51.58 vITJaj1V.net
>>116
URLﾘﾝｸ(math.stackexchange.com)
124:１３２人目の素数さん
24/08/29 21:02:24.05 3tZsfPpI.net
全くケトン燃やして元の時だっけ？
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
125:１３２人目の素数さん
24/08/29 21:15:10.11 AhduF/Jk.net
>>12
「なにあれは軽い睡眠時無呼吸症候群だったよ。
126:１３２人目の素数さん
24/08/29 21:28:47.93 kPs9suM9.net
口汚い自称保守ども、壺だらけだわな
時間なくても意味ないだろ
異常がなかったってことでお願い
127:１３２人目の素数さん
24/08/29 21:29:50.29 mKvB1zTl.net
コーチは学校に戻ってくるって言っても慰安婦詐欺と変わらんな
128:１３２人目の素数さん
24/08/29 21:36:26.89 NWN1pDI4.net
バイトといえど何年も何年生やねんwいるだけで
ギフト還元しない不人気っぷり
129:１３２人目の素数さん
24/08/29 21:48:08.78 pyYCRI6s.net
>>5
「もう少し待っといて解放されない
130:１３２人目の素数さん
24/08/29 21:58:44.95 yg6osFCt.net
シンプルに最低な性格にはセックスを特別なことだと思う
131:１３２人目の素数さん
24/08/29 22:24:29.02 MMwwQUt0.net
山上の世代みたいに要領よくて頭良いからこそできることだろう。
ノリノリで写真集売れないってことだな！
ここでおすすめはホントに無理矢理繋げなくてその話題が出てる時は、国軍を持ってインターネットを使って
最悪死ぬほど暑い
132:１３２人目の素数さん
24/08/29 22:24:54.14 5yJbKusR.net
しかしある日のこと
若者は物を送るて
133:１３２人目の素数さん
24/08/29 23:19:11.30 aCKtTYdf.net
これ今回は燃えないとおかしい
それならそれでいいと思う
何かそのユーロの箱がアイスホッケーの試合入ってない会社はダメージゼロに近いでしょ
134:１３２人目の素数さん
24/08/29 23:21:03.55 w0OetXOj.net
ボート
パチ屋
バカモノの間違いじゃ無いか？それは違う
あいがみが配信しなくていいと思うよ
135:１３２人目の素数さん
24/08/29 23:52:10.89 pJBRuUDD.net
>>52
お前のようなものか
しかもタイミングを間違えた
136:１３２人目の素数さん
24/08/30 13:59:19.78 5yFPMBqG.net
X_i (i=1,..., n) を独立同一分布の確率変数とするとき、
lim_[n→∞] (1/n) Σ f(X_i) = E[f(X_i)] (ただし、f() はX_iの密度関数)
となるとおもいます。
それでは、Y_i (i=1,..., n) を独立同一分布の確率変数とするとき、
lim_[n→∞] (1/n) Σ f(X_i| Y_i) = E[f(X_i| Y_i)] (ただし、f(x| y) はY_i=yで条件づけたXの条件付き密度関数)
であっていますか？(X_iとY_iは独立とは限りません。)
137:１３２人目の素数さん
24/08/31 21:36:24.23 JcJF0hRf.net
>>121
>>123
ありがとうです！
138:１３２人目の素数さん
24/09/02 00:04:35.69 r5LsnxqT.net
数列{a_n}と{b_n}がlim(a_n-b_n)=0を満たすとき
連続関数fに対してlim(f(a_n)-f(b_n))=0は言えますか？
139:１３２人目の素数さん
24/09/02 00:12:18.37 gvTyQkqz.net
おふこす
140:１３２人目の素数さん
24/09/02 00:43:14.37 82PpvIdl.net
>>138
a_n=√(n+1), b_n=√n, f(x) = cos(πxx) のとき
a_n - b_n = 1/(a_n + b_n) < 1/(2√n) → 0 (n→∞)
f(a_n) = cos(π(n+1)) = －cos(πn) =－(-1)^n,
f(b_n) = cos(πn) = (-1)^n,
｜f(a_n) ー f(b_n)｜ = 2.
141:１３２人目の素数さん
24/09/02 00:54:27.30 82PpvIdl.net
>>138
a_n=√(n+1), b_n=√n, f(x) = e^{xx} のとき
a_n - b_n = 1/(a_n + b_n) < 1/(2√n) → 0 (n→∞)
f(a_n) ー f(b_n) = e^{n+1} － e^n = (e-1) e^n → ∞ (n→∞)
142:１３２人目の素数さん
24/09/02 07:21:38.94 EcGk7bQF.net
>>141
言葉で書こうよ
「fが一様連続でないと反例がある」で済むことなのに
143:１３２人目の素数さん
24/09/02 07:44:28.29 4WdVLsdT.net
>>142
どのみちそれだけじゃ証明にはならないでしょ
144:１３２人目の素数さん
24/09/02 08:47:19.08 r5LsnxqT.net
反例があるのですか！ 証明しようとして悩んでたのに。
これでレポートが書けます。ありがとございます。
145:１３２人目の素数さん
24/09/02 10:03:47.96 UmBzueWa.net
レポートの丸投げにドヤ顔の回答
146:１３２人目の素数さん
24/09/02 10:33:38.48 EcGk7bQF.net
>>143
fが一様連続でなければδ>0が存在して、任意の自然数n>0に対して|a_n-b_n|<1/n、|f(a_n)-f(b_n)|>δとなるようなa_n、b_nが存在する。
数列{a_n}、{b_n}が>>138の反例を与える。
上は一様連続の定義から直ちに導かれる
147:１３２人目の素数さん
24/09/02 10:33:45.41 EcGk7bQF.net
>>143
fが一様連続でなければδ>0が存在して、任意の自然数n>0に対して|a_n-b_n|<1/n、|f(a_n)-f(b_n)|>δとなるようなa_n、b_nが存在する。
数列{a_n}、{b_n}が>>138の反例を与える。
上は一様連続の定義から直ちに導かれる
148:１３２人目の素数さん
24/09/02 10:33:46.43 EcGk7bQF.net
>>143
fが一様連続でなければδ>0が存在して、任意の自然数n>0に対して|a_n-b_n|<1/n、|f(a_n)-f(b_n)|>δとなるようなa_n、b_nが存在する。
数列{a_n}、{b_n}が>>138の反例を与える。
上は一様連続の定義から直ちに導かれる
149:１３２人目の素数さん
24/09/03 10:32:08.88 eNiaw/7G.net
凡例を１つ挙げれば済むのに。
a_n=√(n+1), b_n=√n, f(x)=x^2 のとき
a_n － b_n = 1/(a_n + b_n) < 1/(2b_n) → 0 (n→∞),
f(a_n) - f(b_n) = (a_n)^2 - (b_n)^2 = (n+1) - n = 1,
150:１３２人目の素数さん
24/09/03 10:35:57.98 eNiaw/7G.net
凡例を１つ挙げれば済むのに。
a_n=1/n, b_n=1/(n+1), f(x)=1/x のとき
a_n － b_n = 1/(n(n+1)) → 0 (n→∞),
f(b_n) - f(a_n) = 1/b_n - 1/a_n = (n+1) - n = 1,
151:１３２人目の素数さん
24/09/03 10:51:09.68 ScY+vjjh.net
その2つの例はfが一様連続でないことが本質でしょ？
152:１３２人目の素数さん
24/09/03 19:10:37.35 eNiaw/7G.net
a_n=log(n+1), b_n=log(n), f(x)=e^x のとき
a_n － b_n = log((n+1)/n) < 1/n → 0 (n→∞),
f(a_n) - f(b_n) = (n+1) - n = 1,
153:１３２人目の素数さん
24/09/03 19:15:00.82 ggtbze/Z.net
凡例を１つ挙げれば済むのに。
154:１３２人目の素数さん
24/09/03 19:20:24.77 ScY+vjjh.net
抽象的な思考が出来ないのは数学では致命的
155:１３２人目の素数さん
24/09/03 19:41:45.95 uyd35gvC.net
抽象的思考ガー云々と全く関係なく、今は反例の現物を突き付ければおしまいな話じゃん
156:１３２人目の素数さん
24/09/03 20:25:28.82 UV3pA/me.net
>>142
> ID:EcGk7bQF
必要十分条件にして
157:１３２人目の素数さん
24/09/03 21:48:57.33 ScY+vjjh.net
ずっと凡例と書いてたことに気づいたか
158:１３２人目の素数さん
24/09/03 22:13:48.70 ggtbze/Z.net
いやー、釣られた
159:１３２人目の素数さん
24/09/04 10:00:56.25 KxtGQEfy.net
質問
160:１３２人目の素数さん
24/09/04 10:36:15.99 yvtUjU9r.net
0.1%の当たりがあるクジを1000回引いてその中に3つ当たりがある確率を教えて下さい
0.1^3×0.99^997×1000C3=7.39
となり1を超えておりこれでは計算合いません、宜しくお願いします
161:１３２人目の素数さん
24/09/04 10:58:40.21 Ok1Dq1Xn.net
0.001^3 × 0.999^997 × 1000Ｃ3
= 10^{-9} × 0.368801 × 166167000
= 0.0612825
なお、(1-1/n)^{n-1/2} = 1/e,
n=1000 のとき 0.999^999.5 = 1/e,
162:１３２人目の素数さん
24/09/04 11:02:45.52 bZ0DP6w6.net
ちょうど3つなのか3つ以上なのか
163:１３２人目の素数さん
24/09/04 21:26:52.49 Ok1Dq1Xn.net
当たり無し 0.999^1000 = 0.367695425
当たり１つ 0.001 × 0.999^999 × 1000Ｃ1 = 0.368063489
当たり２つ 0.001^2 × 0.999^998 × 1000Ｃ2 = 0.184031744
これらの合計 0.919790658
当たり3つ以上 0.080209342
164:１３２人目の素数さん
24/09/04 22:48:44.18 psVFlFHw.net
>>160
>0.1^3×0.99^997×1000C3=7.39
どう考えてるのやら
165:１３２人目の素数さん
24/09/04 23:27:26.52 Ok1Dq1Xn.net
n = 1000,
p = 0.001 << 1
2項分布(n,p) を ポアッソン分布(λ) で近似すると
λ = np = 1,
当たりk個 1/(k!e)
当たり3つ 1/(6e) = 0.06131324
当たり3つ以上 １- 1/e -1/e - 1/(2e) = 1 - 5/(2e) = 0.0803014
166:１３２人目の素数さん
24/09/05 00:20:48.74 pIal/D7O.net
5chにここ1年間変な規制掛かっており今アイフォンから書き込みできない状態で慣れない設定でめちゃ書き込み難しいアンドロイドから四苦八苦しながら書き込みしてたら思いっきり間違えてました イライラしながらやったので単純な書き込みミスです。自己解決しました！
167:１３２人目の素数さん
24/09/05 07:28:54.41 qMgzcaAg.net
鬱憤晴らしか、紙に書いてからか書き込めばいいだろ
168:１３２人目の素数さん
24/09/06 10:03:41.84 BtWYeYUv.net
29m^2 - 25^n = 4 の自然数解は(m,n)=(1,1)だけですか。
169:１３２人目の素数さん
24/09/06 11:54:26.76 P2LULF1C.net
29m² - 25ⁿ = 4
29m² = 5²ⁿ + 4
170:１３２人目の素数さん
24/09/06 11:55:44.97 P2LULF1C.net
E=EllipticCurve([0,0,0,0,29^3*4])
E.integral_points(both_signs=False)
[]
E=EllipticCurve([0,0,0,0,29^3*25^2*4])
E.integral_points(both_signs=False)
[(725 : -21025 : 1)]
E=EllipticCurve([0,0,0,0,29^3*25^4*4])
E.integral_points(both_signs=False)
[]
171:１３２人目の素数さん
24/09/06 12:01:55.22 P2LULF1C.net
URLﾘﾝｸ(sagecell.sagemath.org)
172:１３２人目の素数さん
24/09/06 12:05:10.84 BPCYvUtb.net
OpenAI
n>=3 25^nは大きい
n=2 解ではない
n=1 解
173:１３２人目の素数さん
24/09/07 18:48:04.80 GSKIlWNS.net
こういう
a+b*c^n
が平方数となるnをすべて求めよ。
に帰着する問題の
統一的解法ってありましたっけ
174:１３２人目の素数さん
24/09/07 20:22:28.53 aDD0DT6b.net
OpenAIがOPPAIにみえた
175:１３２人目の素数さん
24/09/08 02:00:33.26 X37Zqy4O.net
a + bc^n = m^2 として
n = 3k のとき x = bc^k, y = bm とすれば y^2 = x^3 + ab^2
n = 3k+1 のとき x = bcc^k, y = bcm とすれば y^2 = x^3 + ab^2c^2
n = 3k +2のとき x = bc^2c^k, y = bc^2m とすれば y^2 = x^3 + ab^2c^4
だからいずれも Q 上の楕円曲線の整数点を求める問題に帰着される。
楕円曲線の整数点は有限個しかなく、それを列挙するアルゴリズムもしられてるので計算ソフトが使えるなら全部列挙してくれる。
なので楕円曲線
y^2 + a1xy + a2
176:１３２人目の素数さん
24/09/13 21:21:07.78 T9mXT8UD.net
コンテスト問題ですが締め切り過ぎたので教えて下さし
関数 y=(1/x)^(1/x) (0<x≦1) の逆関数をg(x)とする。
1より大きい定数t に対し、積分∫_[1,t^t]( g(x)*ln(x)/x ) dx を求めよ。
177:１３２人目の素数さん
24/09/14 05:46:10.60 51TYrCNC.net
普通に x=u^u で置換するだけやん
178:１３２人目の素数さん
24/09/14 06:24:48.80 51TYrCNC.net
x=(1/u)^(1/u)
179:１３２人目の素数さん
24/09/14 16:10:19.87 ppLRqqXv.net
初めましてです!
質問させていただきたいことがあります!
(問題)
0≦t≦1、直線y=(3t^2-1)x-2t^3の通過領域
を求めよ。
ただし、x>0とする。
(私の解答)
仮定より 0≦t≦1
不等式の性質から 0×t≦t×t≦1×t
すなわち0≦t^2≦t
t≦1に注意すると 0≦t^2≦1
ふたたび不等式の性質から 0-1≦t^2-1≦1-1
すなわち-1≦t^2-1≦0
…
という感じで式変形をして行きまして、
例えば、x>0のとき、
-3x-2t^3<3(t^2-1)x-2t^3<-2t^3
ll
y
ので、tを0から1まで動かしたら、
(それに対応して、
yは、y=-3xとy=0で挟まれた領域
が、y軸に沿って平行移動して、
y=-3x-2とy=-2で挟まれた領域
まで動くので)
y=0からy=-3x-2で挟まれた領域
をyは動く。
よって、x>0のとき、
求める領域は、-3x-2<y<0
ただ単に、殺伐と式変形をして行っただけけで、私自身、ちゃんと理解ができている訳ではない、という感は否めなくも無いので、正解に至らないのは無理も無いと思うのですが、考え方の何処に間違いが有るのかを今一つ理解できておらず、袋小路に入って立ち往生しております・ω・；
どなたか、お手隙の時にでも、お答えいただけましたら、幸いですm(__)m
追記
私は、数学のセンス0の、カスだということは自覚しておりますので、できるだけ誹謗中傷をお控えいただけましたら、幸いです。。
180:１３２人目の素数さん
24/09/14 16:14:07.85 ppLRqqXv.net
御免なさい!
問題文冒頭のyは、
y=3(t^2-1)x-2t^3の間違いでした><;‼︎
181:１３２人目の素数さん
24/09/14 16:17:57.07 ppLRqqXv.net
あと、||yというのは、3(t^2-1)x-2t^3に結びつけたつもりでした><;!(改行でズレてしまった。。)
連投済みません‼︎
182:１３２人目の素数さん
24/09/14 22:46:18.43 AlUyI7lK.net
m(__)m
・ω・；
><;!
。。)
183:１３２人目の素数さん
24/09/15 11:51:21.82 vbnMSitR.net
直線 y=3(t^2-1)x-2t^3 というのは、
三次曲線 y=x^3-3x 上の点(t,t^3-3t) での接線です。
三次曲線 y=x^3-3x を書き、区間[0,1]での接線を
連続的にイメージすると、通過領域が見えてきます。
y=x^3-3x という式がどこから出てきたかというと、
y=3(t^2-1)x-2t^3 においてt=xと置き換えて出てきます。
包絡線で検索すると背景情報が得られます。
184:１３２人目の素数さん
24/09/15 19:58:22.57 Q7JdJYV+.net
a[1]=1,
a[n+1]=(1-1/(2n))*a[n]+1/(n+1) (n=1,2,3…)
で定まる数列のn→∞の極限はどう求められますか。
185:１３２人目の素数さん
24/09/15 20:38:37.38 HKAd9rwR.net
発散しそう
186:１３２人目の素数さん
24/09/15 21:49:49.63 4oGHYoQa.net
a[n]>0, a[n+1]>1/(n+1), 発散
187:１３２人目の素数さん
24/09/16 00:25:14.79 QaojCljw.net
>>186
なんですかそれは
188:１３２人目の素数さん
24/09/16 00:38:26.38 uYzMRC3n.net
>>184
極限値aが存在するならば
漸化式のa[n], a[n+1]をaとおいた等式が
nが十分大きいときの定常状態となる
a=(1-(1/(2n)))a+(1/(n+1))
これを解いて a=(2n)/(n+1)
n→∞として a=2
a[n]=∑[k=1,n]((1/k)Π[j=k,n](1-(1/(2j))))
を計算すると
a[10]≒1.23
a[100]≒1.75
a[1000]≒1.92
a[10000]≒1.97
と、2に近づくことがわかる
189:１３２人目の素数さん
24/09/16 01:03:00.51 4NTSONC7.net
>>186
和じゃないだろ
190:１３２人目の素数さん
24/09/16 15:35:15.76 kItCEqvY.net
aₙ < 2 は容易。bₙ = 2-aₙ としてn≧17, bₙ≦1/(log(n)) のとき
191:１３２人目の素数さん
24/09/16 15:35:53.89 kItCEqvY.net
bₙ₊₁
= 2+(1-1/(2n))(bₙ-2) - 1/(n+1)
= (1-1/(2n))bₙ+1/n - 1/(n+1)
≦ (1-1/(2n))/log(n) + 1/(n(n+1))
<1/log(n+1)
192:１３２人目の素数さん
24/09/16 15:36:15.43 kItCEqvY.net
(n, bₙ, 1/log(n))
(130,(0.20627505742064423,0.20544281918875867))
(131,(0.2055404117212285,0.20511990258137494))
(132,(0.20481373654348145,0.204800443649844))
(133,(0.20409488751863858,0.2044843780639489))
(134,(0.20338372393072768,0.20417164318237246))
(135,(0.20268010859820573,0.20386217799573403))
193:１３２人目の素数さん
24/09/16 20:53:25.05 5OExzGPN.net
>>183様
ご返信くださっていたのですね><;
返信が遅く成ってしまい、申し訳有りません
m(__;)m
ちょうど今、>>183様の書き込みを拝見しました。
(本スレには、誤って書き込みをしてしまった?、という認識でしたので、他スレに移動してしまっていました。。)
ご教授、有り難うございます☆
書き込んでいただいた内容をベースに再考し、
包絡線の方も、検索してみたいと思います。
有り難うございますm(__)m
194:１３２人目の素数さん
24/09/17 11:34:05.50 mLcgUIJo.net
>>184 の誘導に
・ x[n]=sqrt(n)*a[n] とおくとき、x[n+1]<x[n]+1/sqrt(n+1)
・ y[n]=sqrt(n-1)*a[n] とおくとき、y[n+1]>y[n]+2(sqrt(n+4)-sqrt(n+3))
を示すというのがあるました。
195:１３２人目の素数さん
24/09/17 11:37:28.52 y8t8y6zv.net
後出し乙
196:１３２人目の素数さん
24/09/17 12:38:55.10 5g/h1oRO.net
もう答えでてるんじゃないの？
197:１３２人目の素数さん
24/09/17 16:15:50.34 3/R7qZPl.net
表裏等確率のコインを3n回投げて
頭から
・裏
・表裏
・表表裏
・表表表
の4パターンに切り分ける
たとえば
×○○×××○○○○×××○×○×○×○×××××××○××○×○×○×
（〇：表 ×：裏）
なら
× ○○× × × ○○○ ○× × × ○× ○× ○× ○× × × × × × × ○× × ○× ○× ○×
さいごちょうどピッタリこのパターンに合わないところは
・表
・表表
も可
このとき
Xn=表表表の総数÷切り分け総数
の平均En=E(Xn)は
単調増加でlimEn=1/8になるような気がするのだけど
結局分からないので誰か考えて
198:１３２人目の素数さん
24/09/17 16:17:42.47 3/R7qZPl.net
E4=1247777/10321920≒0.12088613358755
E5=0.121952
E6=0.122599
E7=0.123027
E8=0.123328
までは素朴に計算させてみたけどこれでギブ
199:１３２人目の素数さん
24/09/17 16:20:53.39 3/R7qZPl.net
たぶん
表連続3つまでに切り分けるのでなくて
kつ連続までに切り分けても
単調増加で極限値は1/2^kじゃないかなあ
200:１３２人目の素数さん
24/09/17 16:38:59.09 5g/h1oRO.net
P(前回パターン切れ) = 4/7
P(パターン表で継続中) = 2/7
P(パターン表表で継続中) = 1/7
に収束しそうだけど。
URLﾘﾝｸ(ja.wolframalpha.com)
201:１３２人目の素数さん
24/09/17 16:40:05.86 y8t8y6zv.net
いやだ
202:１３２人目の素数さん
24/09/17 17:18:13.13 3/R7qZPl.net
>>201
おねがいです
203:１３２人目の素数さん
24/09/17 22:04:01.26 K4HkAT+V.net
n回振り時の 切り分け総数の期待値
= 「裏の数」＋１×「表の３～５連の数」＋２×「表の６～８連の数」＋３×「表の６～８連の数」＋．．．
≒ n { 1/2 + (1/2^5+1/2^6+1/2^7) + 2(1/2^8+1/2^9+1/2^10) + 3(1/2^11+1/2^12+1/2^13) + ... }
= n { 1/2 + 7 (1/2^7 + 2/2^10 + 3/2^13 + ...) }
= n ( 1/2 + 7 * 1/98)
= 4n/7
終末処理を考えると 4n/7 +α (0<α<1)
表表表の総数の期待値
=１×「表の３～５連の数」＋２×「表の６～８連の数」＋３×「表の６～８連の数」＋．．．
≒ n {(1/2^5+1/2^6+1/2^7) + 2(1/2^8+1/2^9+1/2^10) + 3(1/2^11+1/2^12+1/2^13) + ... }
= n/14
表表表の総数÷切り分け総数=(n/14)÷(4n/7+α)= n/(8n+14α) → 1/8 (n→∞)
204:１３２人目の素数さん
24/09/17 22:29:10.06 Yt9HWBTT.net
>>203
ちょっとそれ定義が違う
3回振る場合
裏裏裏
裏裏表
裏表裏
裏表表
表裏裏
表裏表
表表裏
表表表
の8種類それぞれ1/8
切り分けは
裏 裏 裏
裏 裏 表
裏 表裏
裏 表表
表裏 裏
表裏 表
表表裏
表表表
でそれぞれで表表表の出現比であるXの値は
0
0
0
0
0
0
0
1
なのでE(X)=1/8
6回振る場合は
裏裏裏裏裏裏～表表表表表表の64通りのうち
表表表が1個が16種類
表表表 表表裏 X=1/2
表表表 表裏 表 X=1/3
表表表 表裏 裏 X=1/3
表表表 裏 表表 X=1/3
表表表 裏 表裏 X=1/3
表表表 裏 裏 表 X=1/4
表表表 裏 裏 裏 X=1/4
裏 表表表 表表 X=1/3
裏 表表表 表裏 X=1/3
裏 表表表 裏 表 X=1/4
裏 表表表 裏 裏 X=1/4
表裏 表表表 表 X=1/3
表裏 表表表 裏 X=1/3
裏 表裏 表表表 X=1/3
裏 裏 裏 表表表 X=1/4
表表裏 表表表 X=1/2
表表表が2個が
表表表 表表表 X=1
よって
E(X)=(2/2+9/3+5/4+2)/64=29/256=0.11328125
205:１３２人目の素数さん
24/09/17 22:30:26.25 Yt9HWBTT.net
>>204
>なのでE(X)=1/8
前の定義でこれがE1なので
そうかここだけ単調増加じゃないかな
206:１３２人目の素数さん
24/09/17 22:36:58.80 Yt9HWBTT.net
>>203
切り分け総数の期待値で表表表の総数の期待値を割るのと
E(Xn)とは異なるんじゃないの？
そこで＋α使うみたいに評価不等式得られてそれで
極限では一致するみたいになるのかな？
207:１３２人目の素数さん
24/09/17 22:46:21.14 Yt9HWBTT.net
>>204
>よって
>E(X)=(2/2+9/3+5/4+2)/64=29/256=0.11328125
間違えた
E(X)=(2/2+9/3+5/4+1)/64=25/256=0.09765625
208:１３２人目の素数さん
24/09/17 22:55:53.95 Yt9HWBTT.net
切り分け総数をYn
表3連の総数をZnとして
Xn=Zn/Ynだから
ZnとYnが独立なら
E(Xn)=E(Zn)E(1/Yn)
だけどE(1/Yn)=1/E(Yn)？
極限ではlimE(1/Yn)=1/limE(Yn)になるの？
そもそもZnとYnは独立かなあ
209:１３２人目の素数さん
24/09/17 23:13:30.82 Yt9HWBTT.net
>>204
>表表表が1個が16種類
ここも間違えた
表裏 裏 表表表 X=1/3
表裏 裏 表表表 X=1/3
が抜けてたから
(X)=(2/2+11/3+5/4+1)/64=83/768=0.108072916666667
だった
210:１３２人目の素数さん
24/09/17 23:18:28.97 Yt9HWBTT.net
また間違えた
追加されるのは
表裏 裏 表表表 X=1/3
一種類だから
E(X)=(2/2+10/3+5/4+1)/64=79/768=0.102864583333333
211:１３２人目の素数さん
24/09/17 23:38:16.63 Yt9HWBTT.net
また間違えた
計算させたら
E2=0.110677
みたい
212:１３２人目の素数さん
24/09/18 00:28:41.98 V+plLnwa.net
6回振る場合に表表表が1個が
最初に来るのが
表表表 表表裏 X=1/2
表表表 表裏 表 X=1/3
表表表 表裏 裏 X=1/3
表表表 裏 表表 X=1/3
表表表 裏 表裏 X=1/3
表表表 裏 裏 表 X=1/4
表表表 裏 裏 裏 X=1/4
2番目に来るのが
裏 表表表 表表 X=1/3
裏 表表表 表裏 X=1/3
裏 表表表 裏 表 X=1/4
裏 表表表 裏 裏 X=1/4
3番目に来るのが
表裏 表表表 表 X=1/3
表裏 表表表 裏 X=1/3
裏 裏 表表表 表 X=1/4
裏 裏 表表表 裏 X=1/4
4番目に来るのが
表表裏 表表表 X=1/2
表裏 裏 表表表 X=1/3
裏 表裏 表表表 X=1/3
裏 裏 裏 表表表 X=1/4
表表表が2個が
表表表 表表表 X=1
E(X)=(2/2+10/3+7/4+1)/64=0.110677083333333
よっしゃOK
213:１３２人目の素数さん
24/09/18 00:49:28.08 V+plLnwa.net
9回振る場合に
表表表が2個なら
あとは裏か表裏か表表裏かとしてさいごに裏か表裏かの場合はそれを表か表表に変えたものでもいいから
裏3個なら
[3,2]＝10通りのうち最後裏なのが[2,2]=6通りなので10＋6＝16通り
裏1個裏表1個なら
[1,1,2]=12通りのうち最後裏なのが[1,2]=3通り最後表裏なのが[
1,2]=3通りなので12+3+3=18通り
これに
表表表 表表表 表表裏
表表裏 表表表 表表表
表表裏 表表表 表表表
の3通りで合計37通りについてXの合計を求めると
16/5+18/4+3/3=87/10
表表表が1個ならあとは裏か表裏か表表裏で
裏6個
裏4個と表裏1個
裏3個と表表裏1個
裏2個と表裏2個
裏1個と表裏1個と表表裏1個
で並べて最後が裏または表裏の場合を数えて置き換えてと
頑張れば出るかな
て計算でも何とかなりそうだがギブ
計算させたら
E3=0.114011
みたい
214:１３２人目の素数さん
24/09/18 00:50:58.19 V+plLnwa.net
>>213
>の3通りで合計37通りについてXの合計を求めると
>16/5+18/4+3/3=87/10
の2倍だから87/5
215:１３２人目の素数さん
24/09/18 09:00:21.19 V+plLnwa.net
表表表以外は一つの裏が最後につくだけだから
表のコインを3個2個1個0個に分けて3個以外に
裏をくっつけてちょうど3n個にすればいいのか
最後のところ
・裏で終わる（ちょうど切り分け）
・表で終わる（ちょうど切り分け＋表）
・表表で終わる（ちょうど切り分け＋表表）
で考えたらいいね
表3個がa個
表2個がb個
表1個がc個
表0個がd個
として
3a+3b+2c+d=3n
であるa,b,c,dに対してその並べ方の総数は[a,b,c,d]なので
En=E(Xn)=(Σ[0≦a,b,c,d,3a+3b+2c+d=3n][a,b,c,d](a/a+b+c+d)
+Σ[0≦a,b,c,d,3a+3b+2c+d=3n-1][a,b,c,d](a/a+b+c+d+1)
+Σ[0≦a,b,c,d,3a+3b+2c+d=3n-2][a,b,c,d](a/a+b+c+d+1)
)/2^3n
limEn=1/8？
216:１３２人目の素数さん
24/09/18 09:21:38.58 eZwysP7z.net
マルチ死ね
217:１３２人目の素数さん
24/09/18 09:33:15.20 V+plLnwa.net
わかんないんですね
俺もわかんないんだ
218:１３２人目の素数さん
24/09/18 09:46:34.01 V+plLnwa.net
>>208
>そもそもZnとYnは独立かなあ
n=1のとき2^3=8パターンで
表表表 Z=1 Y=1
表表裏 Z=0 Y=1
表裏 表 Z=0 Y=2
表裏 裏 Z=0 Y=2
裏 表表 Z=0 Y=2
裏 表裏 Z=0 Y=2
裏 裏 表 Z=0 Y=3
裏 裏 裏 Z=0 Y=3
E(Z)=1/8 E(Y)=2 E(ZY)=1/8≠1/4=E(Z)E(Y)
なので独立は言えないと思う
219:１３２人目の素数さん
24/09/18 09:49:14.51 V+plLnwa.net
n→∞の極限では独立なような気もするけど
それ確率分布で扱えるんかな
根源事象が表裏の可算無限個の連続て確率分布じゃなかったよね確か
220:１３２人目の素数さん
24/09/18 10:02:47.32 QMPXRJf0.net
s,tが0≦s≦1, 0≦t≦1 の範囲を動くとき
点(s^2-t^2, 2st)の存在範囲はどのように求められますか
221:１３２人目の素数さん
24/09/18 10:23:49.86 nIbzxi3G.net
>>220
URLﾘﾝｸ(chatgpt.com)
222:１３２人目の素数さん
24/09/18 11:36:44.17 V+plLnwa.net
>>220
s=rcosθ t=rsinθ
x=RcosΘ=s^2-t^2=r^2cos2θ y=RsinΘ=2st=r^2sin2θ
R=r^2 Θ=2θ
0≦s,t≦1
0≦θ≦π/4 0≦r≦1/cosθ
0≦Θ≦π/2 0≦R=r^2≦1/cos^2θ=2/(1+cosΘ)
0≦R(1+cosΘ)≦2
0≦x,y 0≦x+√(x^2+y^2)≦2
0≦x≦1-y^2/4 0≦y
π/4≦θ≦π/2 0≦r≦1/sinθ
π/2≦Θ≦π 0≦R≦2/(1-cosΘ)
0≦R(1-cosΘ)≦2
x≦0≦y 0≦-x+√(x^2+y^2)≦2
y^2/4-1≦x≦0 0≦y
223:１３２人目の素数さん
24/09/18 11:39:29.95 V+plLnwa.net
0≦y≦2√(1-|x|)
224:１３２人目の素数さん
24/09/18 13:32:55.92 IXg4Hdvi.net
>>220
z=s+it
w=(s^2-t^2)+2ist=z^2
これで正方形を写した方が筋がよさげ
225:１３２人目の素数さん
24/09/19 17:01:45.35 1BG+xZ7H.net
>>208
Zn=XnYnなのでXnとYnが独立なら
E(Zn)=E(Xn)E(Yn)
すなわち
E(Xn)=E(Zn)/E(Yn)
だけんど
XnとYnも独立じゃないよなあ
n=1のとき
表表表 X=1 Y=1
表表裏 X=0 Y=1
表裏 表 X=0 Y=2
表裏 裏 X=0 Y=2
裏 表表 X=0 Y=2
裏 表裏 X=0 Y=2
裏 裏 表 X=0 Y=3
E(X)=1/8 E(Y)=2 E(Z)=E(XY)=1/8≠1/4=E(X)E(Y)
226:１３２人目の素数さん
24/09/19 17:14:21.01 1BG+xZ7H.net
E(Zn)=E(XnYn)=E(Xn)E(Yn)+COV(Xn,Yn)
E(Xn)=E(Zn)/E(Yn)-COV(Xn,Yn)/E(Yn)
limE(Xn)=limE(Zn)/E(Yn)-limCOV(Xn,Yn)/E(Yn)
だから
limCOV(Xn,Yn)/E(Yn)=0
を証明すればいいのか
COV(Xn,Yn)=E((Xn-E(Xn))(Y-E(Yn)))
COV(Xn,Yn)/E(Yn)=E((Xn-E(Xn))(Y/E(Yn)-1))
うーむ致し方なし
227:１３２人目の素数さん
24/09/20 14:56:04.46 h0YVKOCj.net
>>215
>Σ[0≦a,b,c,d,3a+3b+2c+d=3n][a,b,c,d](a/a+b+c+d)
=Σ[1≦a,0≦b,c,d,3a+3b+2c+d=3n]((a+b+c+d)!/a!b!c!d!)(a/a+b+c+d)
=Σ[1≦a,0≦b,c,d,3a+3b+2c+d=3n]((a+b+c+d-1)!/(a-1)!b!c!d!)
=Σ[1≦a,0≦b,c,d,3a+3b+2c+d=3n][a-1,b,c,d]
=Σ[0≦a,b,c,d,3a+3b+2c+d=3n-3][a,b,c,d]
>Σ[0≦a,b,c,d,3a+3b+2c+d=3n-1][a,b,c,d](a/a+b+c+d+1)
=Σ[0≦a,b,c,d,3a+3b+2c+d=3n-4][a,b,c,d](a+b+c+d+1/a+b+c+d+2)
>Σ[0≦a,b,c,d,3a+3b+2c+d=3n-2][a,b,c,d](a/a+b+c+d+1)
=Σ[0≦a,b,c,d,3a+3b+2c+d=3n-5][a,b,c,d](a+b+c+d+1/a+b+c+d+2)
228:１３２人目の素数さん
24/09/20 15:58:36.39 h0YVKOCj.net
>>227
>>Σ[0≦a,b,c,d,3a+3b+2c+d=3n-1][a,b,c,d](a/a+b+c+d+1)
>=Σ[0≦a,b,c,d,3a+3b+2c+d=3n-4][a,b,c,d](a+b+c+d+1/a+b+c+d+2)
≒＞Σ[0≦a,b,c,d,3a+3b+2c+d=3n-4][a,b,c,d]
>>Σ[0≦a,b,c,d,3a+3b+2c+d=3n-2][a,b,c,d](a/a+b+c+d+1)
>=Σ[0≦a,b,c,d,3a+3b+2c+d=3n-5][a,b,c,d](a+b+c+d+1/a+b+c+d+2)
≒＞Σ[0≦a,b,c,d,3a+3b+2c+d=3n-5][a,b,c,d]
En=E(Xn)≒＞(Σ[0≦a,b,c,d,3a+3b+2c+d=3n-3][a,b,c,d]
+Σ[0≦a,b,c,d,3a+3b+2c+d=3n-4][a,b,c,d]
+Σ[0≦a,b,c,d,3a+3b+2c+d=3n-5][a,b,c,d] ) / 2^3n
=Σ[0≦a,b,c,d,3n-5≦3a+3b+2c+d≦3n-3][a,b,c,d] ) / 2^3n
229:１３２人目の素数さん
24/09/23 00:43:35.04 PuFOgYAw.net
以下のような問題に読み替える。
----
n を自然数とする。次のようなゲームを考える。
(※)
. 確率 1/2 でコスト 1 消費して失敗
. 確率 1/4 でコスト 2 消費して失敗
. 確率 1/8 でコスト 3 消費して失敗
. 確率 1/8 でコスト 3 消費して成功
試行 (※) を繰り返し消費コストの総計が n を超えた時点で終了。最終ゲームは無効として残りの有効なゲーム数を Tₙ、成功回数を Sₙ として lim E(Sₙ/Tₙ) = 1/8 である。
----
230:１３２人目の素数さん
24/09/23 00:43:53.99 PuFOgYAw.net
Claim 1 ) P( |Tₙ - 4/7n| > n^(2/3) ) → 0
(∵) 結論を否定すると ε>0 と無限集合 S を
. P( |Tₙ - 4/7n| > n^(2/3) ) > ε ( ∀n ∈ S )
となるようにとれる。このとき z>0 を Y が N(0,1) に従うとき
. P( |Y| > z ) < ε/2
を満たすようにとれる。
このとき十分大きい N₁ で 任意の n > N₁ で (n^(2/3)-5)/√⌊4/7n⌋ > z となるようにとれる。
さらに CLT より十分大きい N₂ で任意の n > N₂ にたいして
. | P( Σ_{k≦4/7n} ( Cₖ - 7/4 )/√⌊4/7n⌋ ≧ z ) - P( Y ≧ z ) | < ε/2
となるようにとれる。N₃ = max{N₁,N₂} とすれば任意の n>N₃ に対して
. |Tₙ - 4/7n| > n^(2/3)
. → ∃t | t - 4/7n| > n^(2/3) Σ_{k≦t} Cₖ = n,n-1,n-2
. ∧ | Σ_{k≦4/7n} Cₖ - Σ_{k≦t} Cₖ | = Σ_{...} Cₖ ≧ n^(2/3) - 1
. → |Σ_{k≦4/7n} ( Cₖ - 7/4 )| ≧ n^(2/3) - 5
. → Σ_{k≦4/7n} ( Cₖ - 7/4 )/√⌊4/7n⌋ ≧ (n^(2/3) - 5 )/√⌊4/7n⌋ ≧ z
だから
. n>N₃ → P( |Tₙ - 4/7n| > n^(2/3) ) < P( Y ≧ z ) + ε/2 ≦ ε
あるがこれは矛盾□
231:１３２人目の素数さん
24/09/23 00:44:12.62 PuFOgYAw.net
Claim 2 ) P( | Sₙ - 1/14 n | < 2n^(2/3) ) → 0
(∵) N(0,1) に従う Y をとる。ε>0 をとる。Claim1 と CLT から N>0 を任意の n>N に対して
. P(| Tₙ - 4/7 n | ≦ n^(2/3)) < ε/3
. | P(|Σ_k≦4/7n (Xₖ - 1/14)/ √⌊4/7n⌋ | > z ) - P( |Y| > z ) | < ε/3
を満たすようにとれる。さらに z>0 を
. P( |Y| > z ) < ε/3
を満たすようにとれる。Xₖ を k ゲームが成功したとき 1、そうでなければ 0 とする。このとき n>N に対して
. | Sₙ - 1/14 n | > 2n^(2/3) ∧ | Tₙ - 4/7 n | ≦ n^(2/3)
. → | Σ_{k≦4/7n} Xₖ - 1/14 n |
. ≧ |Σ_{k≦Tₙ} Xₖ - 1/14 n | - |Σ_{k≦Tₙ} Xₖ - Σ_{k≦4/7n} Xₖ | > n^(2/3)
. → |Σ_k≦4/7n (Xₖ - 1/14)/ √⌊4/7n⌋ | > n^(2/3)/√⌊4/7n⌋ > z
だから
P(| Sₙ - 1/14 n | > 2n^(2/3)) < P(| Tₙ - 4/7 n | ≦ n^(2/3)) + P( |Y| > z ) + ε/3 < ε
が成立する。□
232:１３２人目の素数さん
24/09/23 00:44:26.16 PuFOgYAw.net
( Pf. of the assertion ) ε > 0 を任意に選ぶとき N > 0 を任意の n > N に対して
. | (1/14 n ± 2n^(2/3)) / (4/7 n ∓ n^(2/3)) - 1/8 |< ε
となるようにとれる。このとき
. | Sₙ - 1/14 n | ≦ 2n^(2/3) ⋀ | Tₙ - 4/7 n | ≦ n^(2/3)
. → Sₙ/Tₙ > (1/14 n - 2n^(2/3)) / (4/7 n + n^(2/3)) > 1/8 - ε
. ⋀ Sₙ/Tₙ < (1/14 n + 2n^(2/3)) / (4/7 n - n^(2/3)) < 1/8 + ε
∴ P( | Sₙ/Tₙ - 1/8 | > ε ) ≦ P(| Sₙ - 1/14 n |>2n^(2/3) ) + P(| Tₙ - 4/7 n |>n^(2/3) )
∴ Sₙ/Tₙ → 1/8 in Porb.
∴ E(Sₙ/Tₙ) → E(1/8) = 1/8
である。□
233:１３２人目の素数さん
24/09/23 09:12:36.38 9fFqcRc3.net
>>229
>最終ゲームは無効として残りの有効なゲーム数を Tₙ
これがスッキリしますね
自分の計算でもこれなら
En=E(Xn)=Σ[0≦a,b,c,d,3n-3≦3a+3b+2c+d=3n-1][a,b,c,d]
で行けます（ここから先ができませんが）
証明の方針としては中心極限定理でTn,Snを評価してSn/Tnの分布の評価につなげるということですね
細かなところじっくり見ないと理解できなさそうですが
どうもありがとう
234:１３２人目の素数さん
24/09/23 09:16:01.85 9fFqcRc3.net
>>233
>En=E(Xn)=Σ[0≦a,b,c,d,3n-3≦3a+3b+2c+d=3n-1][a,b,c,d]
Σ[0≦a,b,c,d,3n-5≦3a+3b+2c+d≦3n-3][a,b,c,d]
235:１３２人目の素数さん
24/09/23 19:15:03.03 LIeftZKg.net
A[n]=1 -1/n - (1/(n+1))*(1 - 1/n)^(n+1)
のとき、
(A[n])^n の n→∞ は求めれますか？
236:１３２人目の素数さん
24/09/24 17:54:10.61 1nzsidkc.net
1/e^(1+1/e)
237:１３２人目の素数さん
24/09/24 22:58:12.28 mNX/tavM.net
x:=1/n, y:=(1/(n+1))*(1-1/n)^n=(x/(x+1))*(1-x)^(1/x)
As n->+∞, x->+0, y/x->1/e, y->+0
log(A[n]^n)
=(log(1-x))/x+(log(1-y))/x
=(log(1-x))/x+(y/x)*(log(1-y))/y
->-1-1/e (n->+∞) [lim[t->0]((log(1-t))/t)=-1]
A[n]^n=exp(log(A[n]^n)->e^(-1-1/e) (n->+∞)
238:１３２人目の素数さん
24/09/26 11:42:40.46 wyFq1HdV.net
局所化と剰余体の話で、p素数として
Z(p) = {a/b∈Q | bはpで割り切れない}
Ｚ/Zp≡Z(p)/Z(p)p （≡は同型）
の証明を知りたい。
239:１３２人目の素数さん
24/09/26 16:00:27.79 LfvuYX+f.net
>>238
Zpてp-completeでなくてpZ=(p)={pn|n∈Z}のこと？
いずれにせよ
Z→Z(p)/Z(p)p
が全射であることと
ker(Z→Z(p)/Z(p)p)=Zp
を示せば良いよ
240:１３２人目の素数さん
24/09/26 16:14:50.32 wyFq1HdV.net
>>239
はい、Zpは素イデアルpZ=(p)のことです。
Z→Z(p)/Z(p)p
が全射であることはどのように示せますか？
241:１３２人目の素数さん
24/09/26 16:17:34.81 Yo/uoVvd.net
証明を知りたい
証明を教えてください
示せますか？
示したらいいのですか？
242:１３２人目の素数さん
24/09/26 16:25:15.22 wyFq1HdV.net
すみません、証明を教えて下さい
243:１３２人目の素数さん
24/09/26 16:36:05.50 LfvuYX+f.net
>>240
a/b∈Z(p)
b≠0 mod p
∃c bc=1 mod p
ac-a/b=a(bc-1)/b∈pZ(p)
244:１３２人目の素数さん
24/09/26 22:03:30.61 rLiwDsRS.net
>>237 遅くなりましつがありがとうございます。
マジシャンのような変形でべんきょうになりました。
245:１３２人目の素数さん
24/09/26 23:02:22.47 wyFq1HdV.net
>>243
なるほど！ありがとうございます！
ker(Z→Z(p)/Z(p)p)=Zpの証明も教えて下さい
246:１３２人目の素数さん
24/09/26 23:40:36.71 g6GhBBrS.net
>>245
あと考えてね
247:１３２人目の素数さん
24/09/27 18:08:35.49 LTHiZ1hG.net
数列a_1,a_2,・・・が,n→∞でa_n→∞のとき
(1+1/a_n)のa_n乗 はn→∞で eに収束しますか。
248:１３２人目の素数さん
24/09/27 19:06:50.74 QDwR44fy.net
>>247
もち
249:１３２人目の素数さん
24/09/27 21:51:17.31 LTHiZ1hG.net
数列b_1,b_2,…がn→∞でb_n→βなら
(1+(b_n)/n)のn乗 が n→∞でe^βに収束するのも餅でしょうか
250:１３２人目の素数さん
24/09/27 22:05:14.59 QDwR44fy.net
>>249
もち
251:１３２人目の素数さん
24/09/29 21:15:54.46 nJv+V0Qa.net
sin(x)のx乗 の x→0 は存在しますか
252:１３２人目の素数さん
24/09/29 22:44:24.15 lTxP6Gzn.net
limとか言い出す前にx<0のとき云々
253:１３２人目の素数さん
24/09/30 11:35:09.00 0v0Pqjbi.net
>>251
つき
254:１３２人目の素数さん
24/09/30 16:45:28.22 bI9EMSvy.net
coszは z^2 について整関数という記述があるのですがそうなのですか？
255:１３２人目の素数さん
24/09/30 16:52:23.50 1/W5wGCK.net
分かる問題
256:１３２人目の素数さん
24/09/30 17:14:13.50 0v0Pqjbi.net
>>254
もち
257:１３２人目の素数さん
24/09/30 17:25:20.86 bI9EMSvy.net
>>256
zについて正則なのはわかるのですが、z^2について正則なのはどうしてでしょうか。
258:１３２人目の素数さん
24/09/30 17:27:46.87 1/W5wGCK.net
「
恐れ入ります。趣味で物理学を学んでいる者です。
群論を始めようとしたのですが、その定義にて
・結合律、任意の三つの元a,b,c∈Gに対して
a(bc)＝(ab)cが成り立つ
とありますが、左辺の操作の順番はc→b→aですが、右辺の操作の順番はどうなりますか？
右から順に操作しなきゃいけないので、c→b→aなのか、カッコが先なのでb→a→cなのか、(b→a)＝dを先に済ませてからc→dなのか教えて下さい。
よろしくお願いします
」
259:１３２人目の素数さん
24/09/30 17:28:24.43 1/W5wGCK.net
誤爆
260:１３２人目の素数さん
24/09/30 22:01:02.46 SSus5xGT.net
>>257
整級数で定義されるからじゃないの？
261:１３２人目の素数さん
24/10/01 12:35:47.67 eTRQLqXL.net
>260
なるほど…ありがとうございました。
262:１３２人目の素数さん
24/10/01 12:35:47.67 eTRQLqXL.net
>260
なるほど…ありがとうございました。
263:１３２人目の素数さん
24/11/20 09:28:58.94 PCI8I0d0.net
URLﾘﾝｸ(diamond.jp)
これって条件付き確率だから
(1/2) / (2/3) で 3/4が答えではない？
264:１３２人目の素数さん
24/11/21 11:03:37.26 jLT4rIUa.net
A表 黒 A裏 黒
B表 白 B裏 白
C表 黒 C裏 白
P(白面が出る) = 3/6
P(白面が出る かつ その裏も白) = 2/6
P[白面が出る](その裏も白) = (2/6) / (3/6) = 2/3
265:１３２人目の素数さん
24/12/15 23:07:24.14 QJvx/bEb.net
これ頼んます… m(_ _)m
URLﾘﾝｸ(i.imgur.com)
266:１３２人目の素数さん
24/12/15 23:29:57.13 S+nePBVY.net
>>265
fが単調増加でlimf(x)=0の時を考えたら？
267:１３２人目の素数さん
24/12/15 23:31:44.90 S+nePBVY.net
>>263
条件付き確率だから
白3面中裏も白2面で
2/3よ
268:１３２人目の素数さん
24/12/16 01:56:11.34 SKAyhP19.net
>>266
ありがとうございます。
正解(正しくないの)は、どれ？
269:１３２人目の素数さん
24/12/16 12:35:11.20 oEIh6U69.net
>>268
3つ目
270:１３２人目の素数さん
24/12/16 13:26:05.65 UBQnKVK7.net
>>269
ありがとうございました！！
🙇
271:１３２人目の素数さん
24/12/16 19:44:33.15 bzg3Q5+V.net
杉浦光夫さんの解析入門シリーズは非常に詳しく丁寧な本ですが、他の日本語の本はなぜ杉浦さんの本ほど詳しくも丁寧でもないのでしょうか？
272:１３２人目の素数さん
24/12/17 02:55:36.00 j0XuM55s.net
自らの私益を削るから
自らの私益を削ってまで尽くす教書作りしない
現代で言う働き方改革を大義としたバックレ
273:１３２人目の素数さん
24/12/17 08:33:10.25 8h1XuoXh.net
最近の学生たちはコスパを重視するらしい
274:１３２人目の素数さん
24/12/17 10:07:14.12 2FYEf3ng.net
コスパよりかはダイパじゃねつか？
275:１３２人目の素数さん
24/12/17 13:50:41.75 uxb7ThuK.net
かけた時間に対して得られた効果や満足感
タイパとは、かけた時間に対して得られた効果や満足感を意味する言葉で、時間対効果とも呼ばれます。タイパが高いとは、短い時間で満足のいく結果やそれ以上のものが得られたことを意味し、その逆ならタイパが低いとされます。
276:１３２人目の素数さん
24/12/17 16:25:36.56 cPKg/E6n.net
A = lim[n→∞] Σ[k=1,n] (1/k^2)
B = lim[n→∞] Σ[k=1,n] (1/k)(sin(π/k))
はともに約1.64である。
しかし、AとBは異なる値をとる。
このことを計算機を使用せず示せ。
277:１３２人目の素数さん
24/12/17 16:33:55.68 uZa7W3nt.net
>>276
マルチ
278:１３２人目の素数さん
24/12/19 11:52:19.10 gHnsyf+/.net
次の問題は出題ミスなのですか？何がまずいのでしょう。
xy平面との交わりがx^2+y^2=2で、点A(0,0,√2)を頂点とする円すいについて
( 1 ) この円すいの側面上の任意の点P(x,y,z)がみたす関係式を求めよ。
( 2 ) x軸を含み母線に平行な平面をπとする。この平面πで円すいを切ったとき、
切り口の曲線は放物線であることを証明せよ。
279:１３２人目の素数さん
24/12/20 18:37:29.97 1xokhXLc.net
>>278
なるほど(2)の問題文がマズすぎるな。
x軸を含む平面 z=ky (k>1) をαとする。
k>1より、αと平行で点Aを通る平面は底面の円周と交わる。その交点の一つをBとする。
αは円すいの母線ABと平行である。
しかしαと円すいの交線は放物線ではなく双曲線。(放物線になるのはk=1のとき)
280:１３２人目の素数さん
24/12/21 01:01:49.09 f9H3WeyP.net
円すいを、母線に平行に切ると放物線とよく言うけど、
正しくは「円すい側面のある接平面に平行に切ると」というべきなのか。
281:１３２人目の素数さん
24/12/22 20:38:16.93 OfelNVht.net
杉浦光夫著『解析入門I』
p.227の定理4.2とp.231の定理5.3から定理5.4は自明であるにもかかわらず、する必要のない証明をしています。
282:１３２人目の素数さん
24/12/22 20:49:21.87 OfelNVht.net
定理4.2は閉区間で連続な関数は可積分であるという定理です。
定理5.3は f が I で微分可能で、 f' が可積分ならば ∫_{a}^{b} f' = f(b) - f(a) が成立つ。 f が I で可積分で x で連続ならば F(x) := ∫_{a}^{x} f は x で微分可能で F'(x) = f(x) が成立つというものです。
定理5.4は f が I で連続ならば、 I における任意の一つの原始関数を G とすると ∫_{a}^{b} f = G(b) - G(a) が成立つという定理です。
定理5.4の証明を書くとすると、 f が連続なので、定理4.2により f は可積分である。定理5.3により、 f は原始関数をもつ。 G を f の任意の原始関数とする。
G は I で微分可能で、導関数 f は可積分である。定理5.3により、 ∫_{a}^{b} f = ∫_{a}^{b} G' = G(b) - G(a) が成立つ。
283:１３２人目の素数さん
24/12/22 20:54:07.88 OfelNVht.net
杉浦光夫さんの定理5.4の証明は↑の証明に比べて妙なものです。
F(x) := ∫_{a}^{x} f は f の原始関数である。
G(x) は仮定により f の原始関数である。
(G - F)'(x) = 0 だから、 G(x) - F(x) = C が成立つ。
G(a) - F(a) = G(a) = C である。
∫_{a}^{b} f = F(b) = G(b) - C = G(b) - G(a)
284:１３２人目の素数さん
24/12/22 20:56:04.39 OfelNVht.net
「
(G - F)'(x) = 0 だから、 G(x) - F(x) = C が成立つ。
G(a) - F(a) = G(a) = C である。
」
↑このあたりの議論は全く不要なはずです。
285:１３２人目の素数さん
24/12/22 20:59:15.08 OfelNVht.net
なぜこのような妙なことになったのか、以下のように推測します：
杉浦さんはどこかの本から普通の微積分の本に書かれている同様の定理よりも一般的な定理5.3を見つけてきて、その証明を書いた。
一方、連続関数に限定した普通の微積分の本に書かれている定理5.4の証明は普通の微積分の本に載っているものをそのまま書いた。
286:１３２人目の素数さん
24/12/22 21:05:18.61 OfelNVht.net
小平邦彦さん微積分の本のように自分の頭ですべて考えて書いている本との違いですね。
287:１３２人目の素数さん
24/12/22 21:07:50.42 ZKg2xOmI.net
>>281
fuck you, ass hole!
288:１３２人目の素数さん
24/12/23 01:33:26.15 o27hpcnE.net
>>285
馬鹿の考え休むに似たり
289:１３２人目の素数さん
24/12/23 01:47:39.01 S40dFyUy.net
教えてください。四角形ABCDでAB=3, BC=9, CD=8, DA=11, AC=9 のとき BDを求めよ。
290:１３２人目の素数さん
24/12/23 13:51:46.69 im/spyfh.net
杉浦光夫著『解析入門I』
1変数の積分の変数変換公式（p.235）を適用して、 ∫_{0}^{π} (x * sin(x)) / (1 + (cos(x))^2) dx を計算しています：
∫_{0}^{π} (x * sin(x)) / (1 + (cos(x))^2) dx = (π/2) * ∫_{0}^{π} sin(x) / (1 + (cos(x))^2) dx = (π/2) * ∫_{-1}^{1} 1 / (1 + u^2) du = π^2 / 4
(π/2) * ∫_{0}^{π} sin(x) / (1 + (cos(x))^2) dx = (π/2) * ∫_{-1}^{1} 1 / (1 + u^2) du のところで、 「cos(x) = u と置いた」などと書いています。
おそらく、 dx = 1 / (-sin(x)) du などと計算して、それを「代入」して、
(π/2) * ∫_{0}^{π} sin(x) / (1 + (cos(x))^2) dx = (π/2) * ∫_{1}^{0} [sin(x) / (1 + u^2)] * [1 / (-sin(x))] du = (π/2) * ∫_{0}^{1} 1 / 1 + u^2 du などとやったのだと思われます。
ですが、変数変換の公式をいくら眺めてもそのような操作が許されるとは書いてありません。
291:１３２人目の素数さん
24/12/23 13:51:58.96 im/spyfh.net
変数変換の公式を使うのならば以下のようになるはずです：
(π/2) * ∫_{0}^{π} sin(x) / (1 + (cos(x))^2) dx
x = Arccos(u) と変数変換する。
dx = -1 / √(1 - u^2) du
sin(Arccos(u)) = √(1 - (cos(Arccos(u)))^2) = √(1 - u^2)
変数変換の公式により、
(π/2) * ∫_{0}^{π} sin(x) / (1 + (cos(x))^2) dx = (π/2) * ∫_{1}^{-1} [√(1 - u^2) / (1 + u^2)] * [-1 / √(1 - u^2)] du = (π/2) * ∫_{-1}^{1} 1 / (1 + u^2)] du
が成立つ。
dx = 1 / (-sin(x)) du と計算して、それを「代入」してよい理由をちゃんと説明すべきです。
これってありですか？
292:１３２人目の素数さん
24/12/23 14:12:51.78 im/spyfh.net
Arccos : [-1, 1] → [0, π]
u0 ∈ (-1, 1) とし、 (0, π) ∋ x0 := Arccos(u0) とする。
(dx/du)(u0) = Arccos'(u0) = 1 / cos'(x0) = 1 / sin(x0) であるから、
sin(x0) / (1 + (cos(x0))^2) dx = [sin(x0) / (1 + u0^2)] * [1 / sin(x0)] du = 1 / (1 + u0^2) du
となって、正当化できそうですが、 u0 = -1 or 1 のときにはどうすればいいですか？
293:１３２人目の素数さん
24/12/23 14:19:09.85 hUexyzcT.net
>>289
高校数学の質問スレで聞け
294:１３２人目の素数さん
24/12/23 14:52:33.03 im/spyfh.net
あ、端点の話は
>>291
のやり方でも問題ですね。
295:１３２人目の素数さん
24/12/23 14:58:47.79 im/spyfh.net
結局、正当化については
>>292
で良くて、端点の問題は広義積分として扱って切り抜けるんですね。
296:１３２人目の素数さん
24/12/23 16:55:00.18 im/spyfh.net
杉浦光夫著『解析入門I』
p.239
定理5.8に、「f ; U → R^m」などと書かれています。
「f : U → R^m」が正しいですよね。
297:１３２人目の素数さん
24/12/23 16:58:28.73 xULg4XQo.net
これ、松坂君の最高傑作でね？
298:しがない
24/12/23 17:51:17.95 vZdEPhj9.net
下記の展開図を完成させると境界付き曲面になるが、その境界はいくつの円周で構成されているかを、完成図での角の集まり方を調べることによって求めて下さい。更に、向きづけ可能性とオイラー数を計算して下さい。また、円板を必要枚数縫い付けて（純正）曲面にしたとき、それは分類定理のどの（純正）曲面になるかを答えてください。
（1） a0bc0b*c*a*
（角番号入り）
а10263c405b*6c*7a*8
（2） abObc+c*0al（角番号入り）alb203b4c5 +
c*607a809
299:しがない
24/12/23 23:58:24.60 jBSZHVXu.net
下記の展開図を完成させると境界付き曲面になるが、その境界はいくつの円周で構成されているかを、完成図での角の集まり方を調べることによって求めて下さい。更に、向きづけ可能性とオイラー数を計算して下さい。また、円板を必要枚数縫い付けて（純正）曲面にしたとき、それは分類定理のどの（純正）曲面になるかを答えてください。
（1） a0bc0b*c*a*
（角番号入り）
а10263c405b*6c*7a*8
（2） abObc+c*0al（角番号入り）alb203b4c5 +
c*607a809
300:１３２人目の素数さん
24/12/24 12:54:17.58 sil6ct50.net
>>289
△ABCの余弦定理で角BACの余弦を出しそれで正弦も出し
△ACDの余弦定理で角DACの余弦を出しそれで正弦も出し
余弦の加法定理で角BADの余弦を出し
△ABDの余弦定理でBDを出す
301:１３２人目の素数さん
24/12/24 12:56:54.69 sil6ct50.net
>>291
>これってありですか？
ありです
302:１３２人目の素数さん
24/12/24 14:42:22.34 ElMdtAkk.net
杉浦光夫著『解析入門I』
杉浦さんは、リーマン和の極限が存在するとき可積分と定義しています。
よくあるのは、ダルブー式？の可積分の定義だと思います。
定理の証明で「リーマン和の極限が存在する」という定義を使い非常に簡単に証明している箇所が何箇所もあります。
なぜ、ダルブー式？の定義を採用している本ばかりなのでしょうか？
リーマン和の極限が存在するというのを定義にしているのは杉浦さんの本のいいところだと思います。
他にこのような本はありますか？
例えば、Michael Spivakさんの『Calculus Fourth Edition』はダルブー式？です。
303:１３２人目の素数さん
24/12/24 14:45:28.38 ElMdtAkk.net
ダルブー式？では有界な関数に対して、積分を定義します。
杉浦さんの本では、リーマン和の極限が存在するとき可積分と定義していますが、関数が有界であるという条件は課していません。
もちろん、ほぼ自明ですが、リーマン和の極限が存在すれば、関数は有界でなければなりません。
p.211 問題 2で有界であることを証明させています。
304:１３２人目の素数さん
24/12/25 17:20:15.22 jOLADWIn.net
閉区間 Iで定義された連続関数f(x)は最大値を持ちますが、
その最大値を与えるxのうち最小のものをとることはできますか？
すなわち、最大値をMとして、集合{t∊I|f(t)=M} には最小元があるといえますか？
305:１３２人目の素数さん
24/12/25 17:41:19.45 3QvSsu9z.net
>>304
Mは1点だし閉集合じゃん
Iが有界ならf^-1(M)はコンパクトよ
306:１３２人目の素数さん
24/12/25 20:58:48.12 Uz20zpKU.net
S := {t ∈ I : f(t) = M} とする。
N := f(inf S) とする。
N < M と仮定して矛盾を導く。
f は連続だから、 ε := M - N に対して、正の実数 δ で以下をみたすようなものが存在する。
|t - inf S| < δ and t ∈ I ⇒ |f(t) - N| < ε
一方、
inf S ≦ t0 < inf S + δ をみたす t0 ∈ S が存在する。
|t0 - inf S| < δ and t0 ∈ I ⇒ |f(t0) - N| < ε = M - N
よって、 f(t0) < M
一方、 t0 ∈ S だから f(t0) = M
これは矛盾である。
307:１３２人目の素数さん
24/12/25 21:03:14.76 Uz20zpKU.net
>>306
訂正します：
S := {t ∈ I : f(t) = M} とする。
inf S ∈ I である。
N := f(inf S) とする。
N < M と仮定して矛盾を導く。
f は inf S で連続だから、 ε := M - N に対して、正の実数 δ で以下をみたすようなものが存在する。
|t - inf S| < δ and t ∈ I ⇒ |f(t) - N| < ε
一方、
inf S ≦ t0 < inf S + δ をみたす t0 ∈ S が存在する。
308:１３２人目の素数さん
24/12/25 21:03:25.48 Uz20zpKU.net
|t0 - inf S| < δ and t0 ∈ I だから |f(t0) - N| < ε = M - N が成立つ。
よって、 f(t0) < M
一方、 t0 ∈ S だから f(t0) = M
これは矛盾である。
よって、 N = M である。
よって、 inf S ∈ S である。
よって、 inf S は S の最小元である。
309:１３２人目の素数さん
24/12/25 21:10:51.95 Uz20zpKU.net
>>305
の証明と
>>307
>>308
の証明ではどちらが優れていますか？
310:１３２人目の素数さん
24/12/26 11:21:35.31 YFrEaDbd.net
{t∊I|f(t)=M}はコンパクトなので最小値はある。
311:１３２人目の素数さん
24/12/26 11:23:38.76 YFrEaDbd.net
>>307
ばーか
312:１３２人目の素数さん
24/12/26 11:45:05.02 ayQgO3vN.net
R(z, w) が有理式であるとき、
∫ R(cos(x), sin(x)) dx を計算するのに、
tan(x/2) = t とおくというやり方があります。
R(z, w) = z とします。
∫ R(cos(x), sin(x)) dx = ∫ cos(x) dx を計算することを考えます。
不定積分の定義により、 a ∈ R を任意に固定したとき、
∫_{a}^{x} cos(t) dt を計算することになります。
a = 0 とします。 x は R 全体を動きます。
tan(x/2) = t とおいたとき、この変換でカバーできる x の範囲は 2 * π 未満です。
ですが、 x は R 全体を動きます。
これって問題じゃないですか？
313:１３２人目の素数さん
24/12/26 12:05:12.91 HqiqaKqU.net
>>312
端点のx=±πで考慮せねばならないことがあることもあるけれど
元が周期2πの周期関数の積分だから
S^1上の関数と考えて置換してるわけで
2πの外のxについて気にすることがないことが多いよ
314:１３２人目の素数さん
24/12/26 12:12:22.21 ayQgO3vN.net
例えば、 x = 10000 * π の近傍での
∫_{0}^{x} cos(t) dt を計算するとします。
tan(x/2) = t という変換において、 9999 * π < 10000 * π < 10001 * π ですので、
x の範囲を (9999 * π, 10001 * π) に制限して考えます。
∫_{0}^{x} cos(t) dt = ∫_{0}^{9999 * π} cos(t) dt + ∫_{9999 * π}^{x} cos(t) dt = 定数 + ∫_{9999 * π}^{x} cos(t) dt
考えている x の範囲にかかわらず、 dx/dt = 1 / (dt/dx) = 1 / (1 / (2 * (cos(x/2))^2)) = 2 / (1 + (tan(x/2))^2) = 2 / (1 + t^2) だから、
∫_{9999 * π}^{x} cos(s) ds = ∫_{-∞}^{t} ((1 - t^2) / (1 + t^2)) * (2 / (1 + t^2)) dt = … = sin(x) + C
315:１３２人目の素数さん
24/12/26 12:12:33.95 ayQgO3vN.net
この計算結果自体は考えている x の範囲によらず、 sin(x) + 定数となる。
∫_{0}^{x} cos(t) dt は連続関数であり、 ∫_{0}^{0} cos(t) dt = 0 であるから、考えている x の範囲によらず、 ∫_{0}^{x} cos(t) dt = sin(x) である。
316:１３２人目の素数さん
24/12/26 12:22:21.93 ayQgO3vN.net
>>313
ありがとうございます。
杉浦光夫著『解析入門I』は、親切に？いろいろ書かなくてもいいようなことまで説明していますが、不定積分の置換積分については、そのような説明がないです。
317:１３２人目の素数さん
24/12/26 12:55:24.43 KL/xRBOs.net
A = lim[n→∞] Σ[k=1,n] (1/k^2)
B = lim[n→∞] Σ[k=1,n] (1/k)(sin(π/k))
を考える。
AとBは異なる実数値をとることを、計算機を使用せず示せ。
318:１３２人目の素数さん
24/12/26 13:18:06.76 psXNtfOe.net
xが正のときx＞sin xだからＢの方が小さい
319:１３２人目の素数さん
24/12/26 15:47:30.03 cNC8UuWc.net
>>318
πは？
320:１３２人目の素数さん
24/12/26 15:55:02.35 YFrEaDbd.net
>>317
>>276 マルチ^2
321:１３２人目の素数さん
24/12/26 17:46:57.65 YFrEaDbd.net
>>312
うすら馬鹿、置換する必要ねーだろ
322:１３２人目の素数さん
24/12/26 18:44:36.17 YFrEaDbd.net
本の荒探しの才能はある
自分が気に入らない時は杓子定規に解釈する
323:１３２人目の素数さん
24/12/26 19:08:54.59 oGKgqdEM.net
スレ間違えて投稿してしまったためこちらに投稿します。
お願いします。
１辺が１の正方形の各頂点を中心とする半径rの円を考え、各円の周上にそれぞれ１点ずつP,Q,R,Sをとるとき、
四角形PQRSの面積の取りうる値の範囲を求めよ。ただし、0<r<1/2とする。
324:１３２人目の素数さん
24/12/26 19:46:42.78 ayQgO3vN.net
杉浦光夫著『解析入門I』
p.250
d(Δ) ≦ (d(Δ')^2 + d(Δ'')^2)^{1/2}
などという不等式が登場しますが、明らかに
d(Δ) = (d(Δ')^2 + d(Δ'')^2)^{1/2}
です。
「=」であるのに、「≦」、「≧」を使う理由はありません。
325:１３２人目の素数さん
24/12/26 19:48:48.93 HqiqaKqU.net
>>321
君は何を聞かれてるか理解していないマヌケてことね
326:１３２人目の素数さん
24/12/26 20:50:51.45 YFrEaDbd.net
>>325
なんだ間抜けか
327:１３２人目の素数さん
24/12/26 20:56:03.71 YFrEaDbd.net
馬鹿アスぺにドヤ顔してレスするアホ
328:１３２人目の素数さん
24/12/26 21:32:14.03 HqiqaKqU.net
数学もやらずに居座って喚くだけの今日のチンピラ
URLﾘﾝｸ(hissi.org)
329:１３２人目の素数さん
24/12/26 21:42:39.77 HqiqaKqU.net
>>323
r<1/2だから円は交点を持たないと
なら
最小は(1-r√2)^2
最大は(1+r√2)^2
330:１３２人目の素数さん
24/12/26 21:46:14.82 HqiqaKqU.net
と思ったら違うのか
331:１３２人目の素数さん
24/12/26 21:47:21.14 YFrEaDbd.net
>>328
またお前か
332:１３２人目の素数さん
24/12/26 21:48:36.64 YFrEaDbd.net
>>330
ここも俺が立てたんだよ、他所へ行け
333:１３２人目の素数さん
24/12/26 22:05:17.48 YFrEaDbd.net
定理5.6（変数変換公式）
関数f、φが次のⅰ)-ⅳ)を満たすと仮定する。
ⅰ)f(x)は区間I=[a,b]で連続、
ⅱ)φ(t)は区間J=[α,β]で微分可能、
ⅲ)dφ(t)/dtはJで有界可積分（例えば連続）、
ⅳ)φ(J)⊂I、φ(α)=a、φ(β)=b。
このとき、次の等式がなりたつ：
(5.8) ∫[a,b]f(x)dx=∫[α,β]f(φ(t))(dφ(t)/dt)dt
334:１３２人目の素数さん
24/12/26 22:16:27.73 HqiqaKqU.net
r>√2/4のとき
最小はr(1-4r^2)/2かな
335:１３２人目の素数さん
24/12/26 22:17:17.79 HqiqaKqU.net
>>332
誰が建てたとか全く関係ないんだが？お前がクズだってことが知れるだけだわ
336:１３２人目の素数さん
24/12/26 22:20:56.82 HqiqaKqU.net
とすると最大も違うかと思ったらこっちは大丈夫みたい
337:１３２人目の素数さん
24/12/26 22:22:23.00 HqiqaKqU.net
数学的な価値観とはまるで逆ね>>332
338:１３２人目の素数さん
24/12/27 03:30:25.55 nU3q67T0.net
>>334
恐らく長方形（正方形）の時が最小だろうとはわかるけど、なぜ長方形の時になるのかがわかりません。
339:１３２人目の素数さん
24/12/27 07:01:57.64 Olj6Y78l.net
>>336
なんで即答しないと死ぬ爺、よく間違える（爆笑）
340:１３２人目の素数さん
24/12/27 07:46:43.84 lJC6mGLX.net
>>339
数学しないクズは早く出ていってね
341:１３２人目の素数さん
24/12/27 08:56:58.60 lJC6mGLX.net
>>338
対角の2点ACを選ぶと
最小も最大も
残りの2点BDは
そこにおける接線が
線分ACに並行になる時だから
BDは中心対称
そのBDに対して同様の考察で
ACは中心対称
よって形状は中心対称な平行四辺形の4接点を結ぶ平行四辺形
うーんここからどうするかなあ
342:１３２人目の素数さん
24/12/27 08:58:25.01 lJC6mGLX.net
Aの偏角をaとするとBの偏角bは
(1/2-rcosa)/(1/2-rsina)=tanb
を満たすと
うーむここからどうするかなあ
力技で面積をa（とb？）で表す？
343:１３２人目の素数さん
24/12/27 09:28:20.01 lJC6mGLX.net
中心対称なBCに並行な接線の接点ADの4頂点は
そのような平行四辺形の面積の半分の面積の平行四辺形の4頂点
だから4円に接する平行四辺形の面積を最大または最小にすることを考えることになるか
344:１３２人目の素数さん
24/12/27 09:38:45.45 lJC6mGLX.net
>>334
>最小はr(1-4r^2)/2
(1-4r^2)/2
345:１３２人目の素数さん
24/12/27 10:03:24.83 Olj6Y78l.net
数学する屑爺
346:１３２人目の素数さん
24/12/27 10:51:26.65 lJC6mGLX.net
>>345
君なぜ数学板に居るの？居ない方がいいとと思うよ
身の振り方や立ち居振る舞いを考えないとね
347:１３２人目の素数さん
24/12/27 11:07:43.43 Lh3Zwbej.net
上品にね
348:１３２人目の素数さん
24/12/27 11:41:31.49 x+KXsZsV.net
∫[0,x]cos(t)dtを計算するのにtan(x/2)=tとおく、意味不明
349:イナ
24/12/27 11:47:07.68 Rq07YCLn.net
>>98
楕円の接線の法線は楕円の中心を通るから、
最小値は短軸。
∴2b