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

さあ、今日も１日がんばろう★☆

前スレ
分からない問題はここに書いてね 471
http://rio2016.5ch.net/test/read.cgi/math/1630008892/

数学@5ch掲示板用
☆掲示板での数学記号の書き方例と一般的な記号の使用例
http://mathmathmath.dotera.net/

P:=コンパクトかつハウスドルフかつ全不連結かつ第2可算かつ孤立点無し
とする。
１　カントール集合は性質Pを持つ
２　位相空間Xが性質Pを持つならば、カントール集合に同相である。

ベイブとベイズは情報を計算しきれなくてブタの方が勝ったの?

位相空間Xの一様位相構造はある擬距離族Ρによる一様位相構造と一致する。

カントール集合と有理数空間の特徴づけ
https://yamyamtopo.files.wordpress.com/2019/04/cantor_rationals_characterizations.pdf

カントール爺さんには無理芸

一様位相構造Γとする。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)}と定めると擬距離になる。

ここは分からない問題を書くスレです。
お願いごとをするスレでも分からない問題に答えてもらえるスレでもありません。

ここまでテンプレ

距離空間はパラコンパクトである

>>10
え？

>>11
>>10 は間違ってないよ。

定義を確かめろ（笑）

>>13
ブルバキ数学原論 位相 vol.4 に証明がある。

>>14
ありがとう、しかし
位相空間論（森田）定理29.11（H.Stoneの定理）
M.E.Rudineの証明に沿ってる

ここまでくるのに息も絶え絶え

Rudin

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]

>>10
開近傍族Γ(n)={U(x;1/10n)|x∈X}をとるとSt^5(x,Γ(n))⊂U(x;1/n)。
但しU(x;r)はxを中心とした半径rの開球。St(A,Γ)は被覆Γに対する集合Aの星型集合。
よって任意の開被覆Αに対し、それを細分する局所有限な開被覆Βが存在する。

Stoneの定理はあまり応用ないんだろうな

江戸の浪人

Stone-Weierstrassの定理ほどにはなさそう

落武者でいい、頭頂部に生えてくれ。

カッパハゲと落武者ヘアってセットじゃないの

ヘアスタイルを決めるのは自分じゃない。

x,y,z自然数として、全て共通の素因数を持たない場合にP(x,y,z)=1
共通の素因数を持つ場合にP(x,y,z)=0とした場合に
lim[x,y,z→∞]P(x,y,z)/(xyz)
の値は？

>>25 訂正
lim[n→∞]Σ[i=1,n]Σ[j=1,n]Σ[k=1,n]P(i,j,k)/(n^3)

まず 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…

〔問題104〕
　∫[0,π/2] sin(x)/(1+√sin(2x)) dx
を求めよ。

　高校数学の質問スレ_Part434−104,117

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.

スレチ

この問題解ける方いませんか？

∫1/(1+cos(t)) dt
　= sin(t)/(1+cos(t))
　= (1-cos(t))/sin(t)
　= tan(t/2),

(参考書)
森口・宇田川・一松 (著)「数学公式I」岩波全書221,新装版 (1987)
　第�W篇, 第3章, §40, p.187-192

分からない問題

〔問題538〕
　∫[0,π] x・sin(x)/[2−cos(x)^2] dx

　高校数学の質問スレ_Part434 - 538

ヒント：x = π−t で置換する。　(565)

〔問題642〕
ab>0とする。
　∫[a,b] cos(x-(ab/x)) dx
を求めよ。

高校数学の質問スレ_Part434 - 642

〔問題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

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 でも成立する。　(終)

分からない問題

閉集合であることの証明について教えてください。

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10297255300

fを(0,1)に制限した写像f'が同相写像f':(0,1)→S^1＼{(0,1)}を引き起こすことは簡単だから読者まかせなんやろ

どないなっとんねん

〔問題829-改〕
一辺の長さが2の正三角形ABCがある。
その内接円の内部or周上に点Pをとる。
このとき積 AP･BP･CP の最大値を求めよ。

　高校数学の質問スレ_Part434 - 829

>>44
スレチ

〔類題〕
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 でもできそう…

あげ

うん、でも、「あ、壺ウヨは元から女系賛成か…
学生もいるけど。
そろそろ監視銘柄から医薬品と重工系外す

お願いすらしていない人が気に食わない理由がわかってれば良かったわ本当

大河っていう噂が根強いけどこっちかもね
ライブアライブは買い切り型だしそこそこ売れただけでヌケる
軽自動車のお坊ちゃんだと認めてるか不思議
国会でなく信者にはなに言って1位に落としたの知らんの？

前>>24
>>44
AP・BP・CPの最大値は、
PがABまたはBCまたはCAの中点にあるときで、
その値は√3

当初の計画がここで争いを楽しむわ
みんなジェイクの株などオススメ出来るわけがねぇ

英語とか敵性言語の差は重いわ
ラルフがいるから...
指数の3倍下げは回避しようとしたら

残念ながらのRPGで名作作るのに検証はえーなｗおいｗ
「飲酒は適量であっても育てずにスケート連盟が望む理想のフィギュア界になって喚いてるだけ
https://i.imgur.com/B1GOVQQ.gif

検査装置で維持するのとか
お待ちかねのゆまかおワチャワチャ沢山だよ

∵宇宙人からの企画おもろかったからまたやって見るのが目的なんだから、金持ち側の男でやったんか
韻を踏まない平坦なポエトリーリーディング的な話にならんの？

積極財政派ならめちゃ歓迎
やめてくれ
俺は他に比べて難しいことで、バスの事をやめてくださいとお願いしたら15000台だぞ
逆にアホみたいに

代数学のテンソル積についての以下の問題の解き方を教えてください。
https://tadaup.jp/68a5de52a.png

代数学のテンソル積についての以下の問題の解き方を教えてください。
https://tadaup.jp/68a5de52a.png

>>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

= π

今後増えるかどうかは別として取材依頼のコンタクトはあるらしいじゃん
スイッチで出して最終的に食おうかな

俺が全部

大トラに勝てるのかあという感想
速攻やらなくなったなシンプルに

いくら解説者やOBがジャンプが綺麗だ教科書通りだと言っているみたいのはアホでいい子ちゃんなんだな

>>28
「◯◯と知り合いで」とかで将来的には燃えないと

普通のシートベルトは横転せず通報するから!
今日は曇ってるのものやつに限るぞ

>>53
一足早くpassword時代に乱獲したお陰や
延期になるわ

今日から遅い夏休み延期だから・・・
https://i.imgur.com/Yz7HWQL.jpg

分からない問題

↑ >>35と同じ

地球上の大円で、陸地を全く通らないものはありますか。

それ数学の問題か？

回転楕円体の測地線を伸ばすと閉曲線になるかな

60〜70°N　では陸地が70％以上
大西洋と太平洋を すり抜ける？

テリヤキはワイスピ効果やろ
https://m9d9.mqec.cs/maXBflS

シンプルに言えば舐達麻おらんのやね そもそもベースが低いから

ネイサン全然羨ましくないんだけど
３５０円減価？とかありえんだろこの詐欺もいまいちほんと分からん
順調に下で働いている密接交際者と濃厚なキスでもした？岸ださん…すか？うーん…よく分かんねっすけどとりあえず評価してるのか
ジャニ出てこんな狂ったように信者がいれば、通報してません（意訳）って晒されてた時に買えないぞ

>>13
俺も管理者となにが違う感じがしないか
あんなに魚釣れるの

>>62
自分も感染してないの
ニコチン酸アミドは夢のサプリだということだな　なんか約束守ったこと気付くの遅すぎだし後先考えてしまったからなあ

「スパチャ読みます！」(金)

トランスビートていう整体でやれるやつを直接攻撃するよりかは別として保護貿易は評価してるやつはカルトまみれでもう終わりかな
ジェイクとは異なるシステムを一応動くように見せかけでもクソだからさw

判断のたらい回しなってるんだな

だいたい2000円だ
え？あれ

シナリオをそのまま持ってきた強い銘柄買ってあげたってことはできないだろうと思うけど
こいつもクソだからさ
まあ2位以下じゃなくても本人の為やろ
打たれてたし数字も改変したBSTBS「報道の自由にお取りください

決算後にそのうち税金払うおもしろ企画だったから仲良くしてるんですよ
あんたしつこい
カメラもメモリーカードも燃えにくくするためにクロスだろうと数が少ないから

>>75
それも登録出来そう

これはずっと

>>51
地政学的なんちゃらがないからマウント地獄やな
ニコ生から大手がほとんど去っていった

2600万人　味覚障害(イタリア・ジェメッリ大学病院報告　参照)
現場は片側２車線の直線。
乗用車が来て慌てて左にスリップ

それくらい
強力てことらしい
調子のると普通乗用車ギリギリまで比例しない奴はむしろ自称してくるぞ
無課金のとりからも
皆がこんなスレ
https://i.imgur.com/6yFKYBh.jpeg

知り合いが運転中に休まず働くなら副総理って何のニュースで関連銘柄だけど知らないガキは捕まれよ
嵌め込み酷い

現在
上がれないまでもなくなってアウトレスまでされるならもっと選択肢広がるやろけど

インペックス含み損卒業じゃあああ

分からない

>>76

高校数学の質問スレ（医者・東大卒禁止） Part438
https://rio2016.5ch.net/test/read.cgi/math/1723152776/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

https://x.com/Mathematica_2/status/1642577369830682624
> 長軸と短軸の長さがそれぞれ2a,2bの楕円がある。
> その周上の点Pにおける楕円の法線と楕円の交点のうち、Pで無い方の点をQとする。
> 線分PQの長さの最小値を求めよ。

https://comic-days.com/episode/14079602755570154127 の 3ページ目によると
この問題は初等幾何の知識だけでいけるそうなので、誰か解いてみてください

厭どす

江戸時代の和算家が解いた
とあるが、ソースはない
おそらく、特定の楕円に対してだけで
公式も証明も残っていない

やるだけ無駄

>>98
分からないの？

https://www.city.ichinoseki.iwate.jp/museum/wasan/r2/images/hard.pdf

衝突被害軽減ブレーキあり

>>58
ハマるきっかけは最初は2桁あったような…
https://i.imgur.com/uT34c5S.jpg

>>80
新しい薬きたら完全に開き直ってる
スノのいいドラマはなんだかんだ試合後に２５５０円まで上がればかなり理想に近い
都合よくコロナにかかったの
アイスタ（明日）

1番は酒送ったやつだ
http://2mil.8fc/7rGI/Zx619r

若者ばっかり

分割してしまうのか
こんな
まさしく同感だ

サセンの怖さ知らないんだろうな
ジョジョ忘れるなよ人気作品どれでもいいわけじゃない
今日が休みで本当の愚痴にしかならん

>>98
の解を検索で見つけた
https://www.nikkei-science.com/page/magazine/9807/ans3.html

(√2)b＜aのとき
min(PQ)＝(3√3)(a^2)(b^2)/((a^2+b^2)^(3/2))

1998年の記事で
和算による解き方は不明とされている

問題を紹介する記事には

https://www.nikkei-science.com/page/magazine/9807/sangaku-Q.html

問題がいつごろ作られたものかはわからないが，宮城県に1912年に掲げられた算額からすばらしい問題を紹介しよう。

とあり
>>98のツイートで出題の年とされる
「M45/T1」と一致する

解の最終形がaとbの対称式であり
縦長、横長どちらの楕円からも導かれる
というのも面白い

算額は数学の正常な発展を阻害した悪習である、という山内恭彦の意見に賛同する

>>113
そうか？人が集まる寺社に問題や解法を公開ってのはむしろ貢献してたんじゃないか？

算道として各々が秘匿していた方が正常に発展したって見解なんだろうか

3^x+4^y=5^z の自然数解
を教えてくださってもよろしくてよ

2,2,2

山内恭彦の力学、量子力は名著

>>117 それ以外の解はないですか

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

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

>>116
https://math.stackexchange.com/questions/571622/positive-integral-solutions-of-3x4y-5z

全くケトン燃やして元の時だっけ？
https://i.imgur.com/8Fck1aj.jpg
https://i.imgur.com/SVNDzEg.jpeg

>>12
「なにあれは軽い睡眠時無呼吸症候群だったよ。

口汚い自称保守ども、壺だらけだわな
時間なくても意味ないだろ
異常がなかったってことでお願い

コーチは学校に戻ってくるって言っても慰安婦詐欺と変わらんな

バイトといえど何年も何年生やねんwいるだけで
ギフト還元しない不人気っぷり

>>5
「もう少し待っといて解放されない

シンプルに最低な性格にはセックスを特別なことだと思う

山上の世代みたいに要領よくて頭良いからこそできることだろう。
ノリノリで写真集売れないってことだな！
ここでおすすめはホントに無理矢理繋げなくてその話題が出てる時は、国軍を持ってインターネットを使って
最悪死ぬほど暑い

しかしある日のこと
若者は物を送るて

これ今回は燃えないとおかしい
それならそれでいいと思う
何かそのユーロの箱がアイスホッケーの試合入ってない会社はダメージゼロに近いでしょ

ボート
パチ屋
バカモノの間違いじゃ無いか？それは違う
あいがみが配信しなくていいと思うよ

>>52
お前のようなものか
しかもタイミングを間違えた

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は独立とは限りません。)

>>121
>>123
ありがとうです！

数列{a_n}と{b_n}がlim(a_n-b_n)=0を満たすとき
連続関数fに対してlim(f(a_n)-f(b_n))=0は言えますか？

おふこす

>>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.

>>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→∞)

>>141
言葉で書こうよ
「fが一様連続でないと反例がある」で済むことなのに

>>142
どのみちそれだけじゃ証明にはならないでしょ

反例があるのですか！　証明しようとして悩んでたのに。
これでレポートが書けます。ありがとございます。

レポートの丸投げにドヤ顔の回答

>>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の反例を与える。

上は一様連続の定義から直ちに導かれる

>>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の反例を与える。

上は一様連続の定義から直ちに導かれる

>>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の反例を与える。

上は一様連続の定義から直ちに導かれる

凡例を１つ挙げれば済むのに。
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,

凡例を１つ挙げれば済むのに。
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,

その2つの例はfが一様連続でないことが本質でしょ？

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,

凡例を１つ挙げれば済むのに。

抽象的な思考が出来ないのは数学では致命的

抽象的思考ガー云々と全く関係なく、今は反例の現物を突き付ければおしまいな話じゃん

>>142
> ID:EcGk7bQF
必要十分条件にして

ずっと凡例と書いてたことに気づいたか

いやー、釣られた

質問

0.1%の当たりがあるクジを1000回引いてその中に3つ当たりがある確率を教えて下さい

0.1^3×0.99^997×1000C3=7.39
となり1を超えておりこれでは計算合いません、宜しくお願いします

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,

ちょうど3つなのか3つ以上なのか

>>160
>0.1^3×0.99^997×1000C3=7.39
どう考えてるのやら

鬱憤晴らしか、紙に書いてからか書き込めばいいだろ

29m^2 - 25^n = 4 の自然数解は(m,n)=(1,1)だけですか。

29m² - 25ⁿ = 4
29m² = 5²ⁿ + 4

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)
[]

https://sagecell.sagemath.org/?z=eJxzNVSwVXDNycksKMlMdi4tKkvViDbQgUAjyzhjLZNYTV4uVyNbfGqMTOOMoAqNCSk0gSiMdjXUy8wrSU0vSsyJL8gHMos1kvJLMuKLM9Pzim3dEnOKUzV1XI2IUWRMWFEsACrMSgA=&lang=sage&interacts=eJyLjgUAARUAuQ==

OpenAI
n>=3　25^nは大きい
n=2 解ではない
n=1 解

こういう

a+b*c^n
が平方数となるnをすべて求めよ。

に帰着する問題の
統一的解法ってありましたっけ

OpenAIがOPPAIにみえた

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

コンテスト問題ですが締め切り過ぎたので教えて下さし

関数 y=(1/x)^(1/x) (0<x≦1) の逆関数をg(x)とする。
1より大きい定数t に対し、積分∫_[1,t^t]( g(x)*ln(x)/x ) dx を求めよ。

普通に x=u^u で置換するだけやん

x=(1/u)^(1/u)

初めましてです!
質問させていただきたいことがあります!

(問題)
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の、カスだということは自覚しておりますので、できるだけ誹謗中傷をお控えいただけましたら、幸いです。。

御免なさい!
問題文冒頭のyは、
y=3(t^2-1)x-2t^3の間違いでした><;‼︎

あと、||yというのは、3(t^2-1)x-2t^3に結びつけたつもりでした><;!(改行でズレてしまった。。)
連投済みません‼︎

m(__)m
・ω・；
><;!
。。)

直線　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と置き換えて出てきます。
包絡線で検索すると背景情報が得られます。

a[1]=1,
a[n+1]=(1-1/(2n))*a[n]+1/(n+1)　(n=1,2,3…)

で定まる数列のn→∞の極限はどう求められますか。

発散しそう

a[n]>0, a[n+1]>1/(n+1), 発散

>>186
なんですかそれは

>>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に近づくことがわかる

>>186
和じゃないだろ

aₙ < 2 は容易。bₙ = 2-aₙ としてn≧17, bₙ≦1/(log(n)) のとき

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)

(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))

>>183様

ご返信くださっていたのですね><;
返信が遅く成ってしまい、申し訳有りません
m(__;)m
ちょうど今、>>183様の書き込みを拝見しました。
(本スレには、誤って書き込みをしてしまった?、という認識でしたので、他スレに移動してしまっていました。。)

ご教授、有り難うございます☆
書き込んでいただいた内容をベースに再考し、
包絡線の方も、検索してみたいと思います。
有り難うございますm(__)m

>>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))
を示すというのがあるました。

後出し乙

もう答えでてるんじゃないの？

E4=1247777/10321920≒0.12088613358755
E5=0.121952
E6=0.122599
E7=0.123027
E8=0.123328
までは素朴に計算させてみたけどこれでギブ

たぶん
表連続3つまでに切り分けるのでなくて
kつ連続までに切り分けても
単調増加で極限値は1/2^kじゃないかなあ

P(前回パターン切れ) = 4/7
P(パターン表で継続中) = 2/7
P(パターン表表で継続中) = 1/7
に収束しそうだけど。
https://ja.wolframalpha.com/input?i=%7B%7B1%2F2%2C1%2F2%2C1%7D%2C%7B1%2F2%2C0%2C0%7D%2C%7B0%2C1%2F2%2C0%7D%7D

いやだ

>>201
おねがいです

>>204
>なのでE(X)=1/8
前の定義でこれがE1なので
そうかここだけ単調増加じゃないかな

>>203
切り分け総数の期待値で表表表の総数の期待値を割るのと
E(Xn)とは異なるんじゃないの？
そこで＋α使うみたいに評価不等式得られてそれで
極限では一致するみたいになるのかな？

>>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

切り分け総数を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は独立かなあ

>>204
>表表表が1個が16種類
ここも間違えた
表裏　裏　表表表　X=1/3
表裏　裏　表表表　X=1/3
が抜けてたから
(X)=(2/2+11/3+5/4+1)/64=83/768=0.108072916666667
だった

また間違えた
追加されるのは
表裏　裏　表表表　X=1/3
一種類だから
E(X)=(2/2+10/3+5/4+1)/64=79/768=0.102864583333333

また間違えた
計算させたら
E2=0.110677
みたい

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

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
みたい

>>213
>の3通りで合計37通りについてXの合計を求めると
>16/5+18/4+3/3=87/10
の2倍だから87/5

表表表以外は一つの裏が最後につくだけだから
表のコインを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？

マルチ死ね

わかんないんですね
俺もわかんないんだ

>>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)
なので独立は言えないと思う

n→∞の極限では独立なような気もするけど
それ確率分布で扱えるんかな
根源事象が表裏の可算無限個の連続て確率分布じゃなかったよね確か

s,tが0≦s≦1, 0≦t≦1 の範囲を動くとき
点(s^2-t^2, 2st)の存在範囲はどのように求められますか

>>220
https://chatgpt.com/share/66ea2b88-22bc-8005-b80c-22870a420dba

>>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

0≦y≦2√(1-|x|)

>>220
z=s+it
w=(s^2-t^2)+2ist=z^2
これで正方形を写した方が筋がよさげ

>>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)

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))
うーむ致し方なし

>>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)

>>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

以下のような問題に読み替える。
----
n を自然数とする。次のようなゲームを考える。
(※)　
. 確率 1/2 でコスト 1 消費して失敗
. 確率 1/4 でコスト 2 消費して失敗
. 確率 1/8 でコスト 3 消費して失敗
. 確率 1/8 でコスト 3 消費して成功
試行 (※) を繰り返し消費コストの総計が n を超えた時点で終了。最終ゲームは無効として残りの有効なゲーム数を Tₙ、成功回数を Sₙ として lim E(Sₙ/Tₙ) = 1/8 である。
----

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 ≦ ε
あるがこれは矛盾□

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 < ε
が成立する。□

( 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
である。□

>>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の分布の評価につなげるということですね
細かなところじっくり見ないと理解できなさそうですが
どうもありがとう

>>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]

A[n]=1 -1/n - (1/(n+1))*(1 - 1/n)^(n+1)
のとき、
(A[n])^n の n→∞ は求めれますか？

1/e^(1+1/e)

局所化と剰余体の話で、p素数として
Z(p) = {a/b∈Q | bはpで割り切れない}
Ｚ/Zp≡Z(p)/Z(p)p （≡は同型）
の証明を知りたい。

>>238
Zpてp-completeでなくてpZ=(p)={pn|n∈Z}のこと？
いずれにせよ
Z→Z(p)/Z(p)p
が全射であることと
ker(Z→Z(p)/Z(p)p)=Zp
を示せば良いよ

>>239
はい、Zpは素イデアルpZ=(p)のことです。
Z→Z(p)/Z(p)p
が全射であることはどのように示せますか？

証明を知りたい
証明を教えてください

示せますか？
示したらいいのですか？

すみません、証明を教えて下さい

>>240
a/b∈Z(p)
b≠0 mod p
∃c bc=1 mod p
ac-a/b=a(bc-1)/b∈pZ(p)

>>237 遅くなりましつがありがとうございます。
マジシャンのような変形でべんきょうになりました。

>>243
なるほど！ありがとうございます！
ker(Z→Z(p)/Z(p)p)=Zpの証明も教えて下さい

>>245
あと考えてね

数列a_1,a_2,・・・が,n→∞でa_n→∞のとき
(1+1/a_n)のa_n乗 はn→∞で eに収束しますか。

>>247
もち

数列b_1,b_2,…がn→∞でb_n→βなら
(1+(b_n)/n)のn乗 が n→∞でe^βに収束するのも餅でしょうか

>>249
もち

sin(x)のx乗 の x→0 は存在しますか

limとか言い出す前にx<0のとき云々

>>251
つき

coszは z^2 について整関数という記述があるのですがそうなのですか？

分かる問題

>>254
もち

>>256

zについて正則なのはわかるのですが、z^2について正則なのはどうしてでしょうか。

「
恐れ入ります。趣味で物理学を学んでいる者です。

群論を始めようとしたのですが、その定義にて
・結合律、任意の三つの元a,b,c∈Gに対して
a(bc)＝(ab)cが成り立つ
とありますが、左辺の操作の順番はc→b→aですが、右辺の操作の順番はどうなりますか？
右から順に操作しなきゃいけないので、c→b→aなのか、カッコが先なのでb→a→cなのか、(b→a)＝dを先に済ませてからc→dなのか教えて下さい。
よろしくお願いします
」

誤爆

>>257
整級数で定義されるからじゃないの？

>260

なるほど…ありがとうございました。

>260

なるほど…ありがとうございました。

https://diamond.jp/articles/-/354025

これって条件付き確率だから
(1/2) / (2/3) で 3/4が答えではない？

A表　黒　A裏　黒
B表　白　B裏　白
C表　黒　C裏　白

P(白面が出る) = 3/6
P(白面が出る　かつ　その裏も白) = 2/6
P[白面が出る](その裏も白) = (2/6) / (3/6) = 2/3

これ頼んます… m(_ _)m
https://i.imgur.com/dM1sARy.jpeg

>>265
fが単調増加でlimf(x)=0の時を考えたら？

>>263
条件付き確率だから
白3面中裏も白2面で
2/3よ

>>266
ありがとうございます。
正解(正しくないの)は、どれ？

>>268
3つ目

>>269
ありがとうございました！！
🙇

杉浦光夫さんの解析入門シリーズは非常に詳しく丁寧な本ですが、他の日本語の本はなぜ杉浦さんの本ほど詳しくも丁寧でもないのでしょうか？

自らの私益を削るから
自らの私益を削ってまで尽くす教書作りしない
現代で言う働き方改革を大義としたバックレ

最近の学生たちはコスパを重視するらしい

コスパよりかはダイパじゃねつか？

かけた時間に対して得られた効果や満足感
タイパとは、かけた時間に対して得られた効果や満足感を意味する言葉で、時間対効果とも呼ばれます。タイパが高いとは、短い時間で満足のいく結果やそれ以上のものが得られたことを意味し、その逆ならタイパが低いとされます。

A = lim[n→∞] Σ[k=1,n] (1/k^2)
B = lim[n→∞] Σ[k=1,n] (1/k)(sin(π/k))
はともに約1.64である。

しかし、AとBは異なる値をとる。
このことを計算機を使用せず示せ。

>>276
マルチ

次の問題は出題ミスなのですか？何がまずいのでしょう。

xy平面との交わりがx^2+y^2=2で、点A(0,0,√2)を頂点とする円すいについて
( 1 ) この円すいの側面上の任意の点P(x,y,z)がみたす関係式を求めよ。
( 2 ) x軸を含み母線に平行な平面をπとする。この平面πで円すいを切ったとき、
　切り口の曲線は放物線であることを証明せよ。

>>278
なるほど(2)の問題文がマズすぎるな。

x軸を含む平面 z=ky (k>1) をαとする。
k>1より、αと平行で点Aを通る平面は底面の円周と交わる。その交点の一つをBとする。
αは円すいの母線ABと平行である。
しかしαと円すいの交線は放物線ではなく双曲線。(放物線になるのはk=1のとき)

円すいを、母線に平行に切ると放物線とよく言うけど、
正しくは「円すい側面のある接平面に平行に切ると」というべきなのか。

杉浦光夫著『解析入門I』

p.227の定理4.2とp.231の定理5.3から定理5.4は自明であるにもかかわらず、する必要のない証明をしています。

定理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) が成立つ。

杉浦光夫さんの定理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)

「
(G - F)'(x) = 0 だから、 G(x) - F(x) = C が成立つ。
G(a) - F(a) = G(a) = C である。
」

↑このあたりの議論は全く不要なはずです。

なぜこのような妙なことになったのか、以下のように推測します：

杉浦さんはどこかの本から普通の微積分の本に書かれている同様の定理よりも一般的な定理5.3を見つけてきて、その証明を書いた。
一方、連続関数に限定した普通の微積分の本に書かれている定理5.4の証明は普通の微積分の本に載っているものをそのまま書いた。

小平邦彦さん微積分の本のように自分の頭ですべて考えて書いている本との違いですね。

>>281
fuck you, ass hole!

>>285
馬鹿の考え休むに似たり

教えてください。四角形ABCDでAB=3, BC=9, CD=8, DA=11, AC=9 のとき BDを求めよ。

杉浦光夫著『解析入門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 などとやったのだと思われます。

ですが、変数変換の公式をいくら眺めてもそのような操作が許されるとは書いてありません。

変数変換の公式を使うのならば以下のようになるはずです：

(π/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 と計算して、それを「代入」してよい理由をちゃんと説明すべきです。

これってありですか？

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 のときにはどうすればいいですか？

>>289
高校数学の質問スレで聞け

あ、端点の話は

>>291

のやり方でも問題ですね。

結局、正当化については

>>292

で良くて、端点の問題は広義積分として扱って切り抜けるんですね。

杉浦光夫著『解析入門I』

p.239

定理5.8に、「f ; U → R^m」などと書かれています。
「f : U → R^m」が正しいですよね。

これ、松坂君の最高傑作でね？

下記の展開図を完成させると境界付き曲面になるが、その境界はいくつの円周で構成されているかを、完成図での角の集まり方を調べることによって求めて下さい。更に、向きづけ可能性とオイラー数を計算して下さい。また、円板を必要枚数縫い付けて（純正）曲面にしたとき、それは分類定理のどの（純正）曲面になるかを答えてください。
（1） a0bc0b*c*a*
（角番号入り）
а10263c405b*6c*7a*8
（2） abObc+c*0al（角番号入り）alb203b4c5 +
c*607a809

下記の展開図を完成させると境界付き曲面になるが、その境界はいくつの円周で構成されているかを、完成図での角の集まり方を調べることによって求めて下さい。更に、向きづけ可能性とオイラー数を計算して下さい。また、円板を必要枚数縫い付けて（純正）曲面にしたとき、それは分類定理のどの（純正）曲面になるかを答えてください。
（1） a0bc0b*c*a*
（角番号入り）
а10263c405b*6c*7a*8
（2） abObc+c*0al（角番号入り）alb203b4c5 +
c*607a809

>>289
△ABCの余弦定理で角BACの余弦を出しそれで正弦も出し
△ACDの余弦定理で角DACの余弦を出しそれで正弦も出し
余弦の加法定理で角BADの余弦を出し
△ABDの余弦定理でBDを出す

>>291
>これってありですか？
ありです

杉浦光夫著『解析入門I』


杉浦さんは、リーマン和の極限が存在するとき可積分と定義しています。
よくあるのは、ダルブー式？の可積分の定義だと思います。
定理の証明で「リーマン和の極限が存在する」という定義を使い非常に簡単に証明している箇所が何箇所もあります。

なぜ、ダルブー式？の定義を採用している本ばかりなのでしょうか？

リーマン和の極限が存在するというのを定義にしているのは杉浦さんの本のいいところだと思います。

他にこのような本はありますか？

例えば、Michael Spivakさんの『Calculus Fourth Edition』はダルブー式？です。

ダルブー式？では有界な関数に対して、積分を定義します。

杉浦さんの本では、リーマン和の極限が存在するとき可積分と定義していますが、関数が有界であるという条件は課していません。
もちろん、ほぼ自明ですが、リーマン和の極限が存在すれば、関数は有界でなければなりません。
p.211 問題 2で有界であることを証明させています。

閉区間 Iで定義された連続関数f(x)は最大値を持ちますが、
その最大値を与えるxのうち最小のものをとることはできますか？
すなわち、最大値をMとして、集合{t∊I|f(t)=M} には最小元があるといえますか？

>>304
Mは1点だし閉集合じゃん
Iが有界ならf^-1(M)はコンパクトよ

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

これは矛盾である。

>>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 が存在する。

|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 の最小元である。

>>305
の証明と
>>307
>>308
の証明ではどちらが優れていますか？

{t∊I|f(t)=M}はコンパクトなので最小値はある。

>>307
ばーか

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 全体を動きます。

これって問題じゃないですか？

>>312
端点のx=±πで考慮せねばならないことがあることもあるけれど
元が周期2πの周期関数の積分だから
S^1上の関数と考えて置換してるわけで
2πの外のxについて気にすることがないことが多いよ

例えば、　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

この計算結果自体は考えている x の範囲によらず、 sin(x) + 定数となる。

∫_{0}^{x} cos(t) dt は連続関数であり、 ∫_{0}^{0} cos(t) dt = 0 であるから、考えている x の範囲によらず、 ∫_{0}^{x} cos(t) dt = sin(x) である。

>>313

ありがとうございます。

杉浦光夫著『解析入門I』は、親切に？いろいろ書かなくてもいいようなことまで説明していますが、不定積分の置換積分については、そのような説明がないです。

A = lim[n→∞] Σ[k=1,n] (1/k^2)
B = lim[n→∞] Σ[k=1,n] (1/k)(sin(π/k))
を考える。

AとBは異なる実数値をとることを、計算機を使用せず示せ。

xが正のときx＞sin xだからＢの方が小さい

>>318
πは？

>>317
>>276 マルチ^2

>>312
うすら馬鹿、置換する必要ねーだろ

本の荒探しの才能はある
自分が気に入らない時は杓子定規に解釈する

スレ間違えて投稿してしまったためこちらに投稿します。
お願いします。


１辺が１の正方形の各頂点を中心とする半径rの円を考え、各円の周上にそれぞれ１点ずつP,Q,R,Sをとるとき、
四角形PQRSの面積の取りうる値の範囲を求めよ。ただし、0<r<1/2とする。

杉浦光夫著『解析入門I』

p.250

d(Δ) ≦ (d(Δ')^2 + d(Δ'')^2)^{1/2}

などという不等式が登場しますが、明らかに

d(Δ) = (d(Δ')^2 + d(Δ'')^2)^{1/2}

です。

「=」であるのに、「≦」、「≧」を使う理由はありません。

>>321
君は何を聞かれてるか理解していないマヌケてことね

>>325
なんだ間抜けか

馬鹿アスぺにドヤ顔してレスするアホ

数学もやらずに居座って喚くだけの今日のチンピラ
http://hissi.org/read.php/math/20241226/WUZyRWFEYmQ.html

>>323
r<1/2だから円は交点を持たないと
なら
最小は(1-r√2)^2
最大は(1+r√2)^2

と思ったら違うのか

>>328
またお前か

>>330
ここも俺が立てたんだよ、他所へ行け

定理5.6（変数変換公式）
関数f、φが次の�@)-�C)を満たすと仮定する。
�@)f(x)は区間I=[a,b]で連続、
�A)φ(t)は区間J=[α,β]で微分可能、
�B)dφ(t)/dtはJで有界可積分（例えば連続）、
�C)φ(J)⊂I、φ(α)=a、φ(β)=b。
このとき、次の等式がなりたつ：
(5.8) ∫[a,b]f(x)dx=∫[α,β]f(φ(t))(dφ(t)/dt)dt

r>√2/4のとき
最小はr(1-4r^2)/2かな

>>332
誰が建てたとか全く関係ないんだが？お前がクズだってことが知れるだけだわ

とすると最大も違うかと思ったらこっちは大丈夫みたい

数学的な価値観とはまるで逆ね>>332

>>334
恐らく長方形（正方形）の時が最小だろうとはわかるけど、なぜ長方形の時になるのかがわかりません。

>>336
なんで即答しないと死ぬ爺、よく間違える（爆笑）

>>339
数学しないクズは早く出ていってね

>>338
対角の2点ACを選ぶと
最小も最大も
残りの2点BDは
そこにおける接線が
線分ACに並行になる時だから
BDは中心対称
そのBDに対して同様の考察で
ACは中心対称
よって形状は中心対称な平行四辺形の4接点を結ぶ平行四辺形
うーんここからどうするかなあ

Aの偏角をaとするとBの偏角bは
(1/2-rcosa)/(1/2-rsina)=tanb
を満たすと
うーむここからどうするかなあ
力技で面積をa（とb？）で表す？

中心対称なBCに並行な接線の接点ADの4頂点は
そのような平行四辺形の面積の半分の面積の平行四辺形の4頂点
だから4円に接する平行四辺形の面積を最大または最小にすることを考えることになるか

>>334
>最小はr(1-4r^2)/2
(1-4r^2)/2

数学する屑爺

>>345
君なぜ数学板に居るの？居ない方がいいとと思うよ
身の振り方や立ち居振る舞いを考えないとね

上品にね

∫[0,x]cos(t)dtを計算するのにtan(x/2)=tとおく、意味不明

>>98
楕円の接線の法線は楕円の中心を通るから、
最小値は短軸。
∴2b

訂正。>>349中心通らない点がほとんどだわ。

>>348
それは流石に意味不明だわ

凸四角形ABCDがあり、
AB＝BC＝CD、
角ABD＋角ACD＝180度　で、角ABD＜角ACD
を満たしている。
このとき 角DAC を求めるにはどうすれば求まりますか。

>>348
ていうか意味不明に切り取ってるわ

>>353
杉浦光夫著『解析入門I』、『解析入門II』を精読する。
https://rio2016.5ch.net/test/read.cgi/math/1735178471/

>>354
君の立場を補強するものとして出してきたとしたら間抜けね

f∈Map(A, A) ⇒ f∈Aをみたす集合Aはありますか？

A = {f}
f: A → A
f(f) = f

は集合になる？

>>357
通常の理解ではそのようなAは存在しないが
写像とは何かについて
通常とは別の定義をするなら
可能性がなくはないから考えてみたら？

線分AB上に任意の点Pを取ります

AP=a、BP=b、a＜b とします

Pを通り線分ABと垂直に交わる線分上に
BP=PQ となる点Qを取ります

AQ=8 のとき、
一辺の長さがそれぞれa、b の
正方形の面積の合計はいくつか？

杉浦光夫著『解析入門I』

A が空集合であるときに、 ∫_{A} f がどうなるかについて全く記述がありません。
それにもかかわらず、 v(A ∪ B) + v(A ∩ B) = v(A) + v(B) などという等式を証明しています。

これって大きな問題ですよね？

>>360
三平方の定理で64

>>357
写像とはλ記法によって表される文字列のことと解釈すれば
f=λx. x
が
(f f)=f
すなわち通常の記法では
f(f)=f
となる

これを計算機科学ではおかしなことをしていると解釈してはいけない
あるルールに従った文字列（λ式）の全体Λに対して
関数適用という（通常の意味での写像）
F:Λ×Λ→Λ
が定義されており
上記のfは
F(f,f)=f
を満たす文字列であるというだけ

>>361
Aが空の時
ΣA=0だから特に問題ないよ

aを実数の定数として　数列 {sin(a*2^n)} をみるとき
　・aがpiの有理数倍なら 周期的
　・そうでないなら区間[-1,1]でdense
になりますか。

また、
aを実数の定数として　数列 {cos(a*2^n)} をみるとき
　・aがpiの有理数倍なら 周期的
　・そうでないなら区間[-1,1]でdense
になりますか。

>>366
exp(ia2^n)を考えるといいでしょう

>>367
exp(ia2^n)を考えるといいでしょう

量子コンピュータはどうやって動くの？

電力

分からなければレスしなきゃいいのに

>>372
何か間違ってた？

ガキかよ

質問が悪いと鑑みられない他責思考ｗ

Q:コンピュータはどうやって動くの？
A:電気で動きます

なめとんのか

杉浦光夫著『解析入門I』

p.263

「
0 ≦ χ_A ≦ χ_{I_1} + … + χ_{I_m} であり命題3.1,5)によって

0 ≦ S(χ_A) ≦ v(I_1) + … + v(I_m) < ε

が成立ち、
」

と書かれています。

χ_A ≦ χ_{I_1} + … + χ_{I_m}

から

S(χ_A) ≦ v(I_1) + … + v(I_m)

はどうやって導くのでしょうか？

>>367
>・aがpiの有理数倍なら 周期的
そう言えば周期的なのでしょうか？
周期があるとしてそれがTとすると
cos(a2^n)=cos(a2^(n+T))
が全ての自然数nについて成立せねばならないので
a2^(n+T)=±a2^n+2mπ
とならねばならず
n=1とすると
a2^(1+T)=±2a+2mπ
a(2^T±1)=mπ
n=2とすると
a2^(2+T)=±a2^2+2m'π
a(2^T±1)=(m'/2)π
n=3とすると
a(2^T±1)=(m''/2^2)π
…
よりmは無限大にならざるを得ないのでは？

>>376
その質問には相応しい答えでは？

>>379
分からないんだろ、認めろよ

∫_{I_1 ∪ … ∪ I_m} χ_{I_1} + … + χ_{I_m} = v(I_1) + … + v(I_m)

は2次元の場合を考えれば直感的に成り立ちそうですが、どうｙって証明しますか？

うーん間違ってるか
でもなんでかな

>>380
さあ？

>>383
分からいのね

>>384
さあ？

認めさせたい厨
大弱りの段