分からない問題はここに書いてね 472 (933レス)
1-

826: 04/11(金)16:32 ID:hPLgLj88(5/10) AAS
S も f(S) も開集合でない場合には、どうすればいいですか?
827: 04/11(金)16:33 ID:hPLgLj88(6/10) AAS
もしかして、 R^1 の部分集合 S が連結であれば、弧状連結であるといえますか?
828: 04/11(金)16:34 ID:hPLgLj88(7/10) AAS
なぜそう予想するかというと有名なトポロジストの正弦曲線というのが2次元での例だからです。
もし、1次元の例があれば、それを書くはずだからです。
829: 04/11(金)16:38 ID:hPLgLj88(8/10) AAS
あ、成り立ちますね。
区間しかないわけですから。
830: 04/11(金)16:38 ID:hPLgLj88(9/10) AAS
あ、成り立ちますね。
区間しかないわけですから。
831
(1): 04/11(金)16:43 ID:hPLgLj88(10/10) AAS
なんか結局、 R^1 の連結部分集合は区間であるということを証明するのと同じくらいの労力がかかりそうな気がします。
著者の簡単であるという発言が誤りだったということになりそうです。
832: 04/11(金)17:13 ID:ou7z8euJ(1) AAS
馬鹿アスペ
833: 04/11(金)21:37 ID:BaUrnH3v(1) AAS
もうそろそろ自分が標準的な同程度の学習弾劾にある数学学習者の中で中でダントツに最下位レベルに位置してることくらい理解できないのかね
その原因がどこにあるか考えてみることすらできんのかね
834: 04/11(金)22:31 ID:mCsF8bAs(1) AAS
>>831
目的がすぐわかるってのを簡単ていうのよ
835: 04/11(金)23:13 ID:W9xe+DRc(1) AAS
労力がかかるけどやれば出来るのは、簡単って言うよね。
836: 04/12(土)03:23 ID:ZtbRlSDF(1) AAS
あ、簡単でしたね。

f(S) ∋ y が成り立たないと仮定する。
f(S) ⊂ (-∞, y) ∪ (y, +∞) である。
よって、 f(S) = (f(S) ∩ (-∞, y)) ∪ (f(S) ∩ (y, +∞)) である。
明らかに、 (f(S) ∩ (-∞, y)) ∩ (f(S) ∩ (y, +∞)) = ∅ である。
f(a) ∈ f(S) ∩ (-∞, y), f(b) ∈ f(S) ∩ (y, +∞) であるから、 f(S) ∩ (-∞, y) ≠ ∅, f(S) ∩ (y, +∞) ≠ ∅ である。
したがって、 f(S) は連結ではない。
省1
837
(1): [age] 04/12(土)09:56 ID:OpPf1K8V(1) AAS
この問題はどのように証明しますか?

三角形Tの外接円の半径は、Tの内接円の半径より大きいことを示せ。
838: 04/12(土)10:48 ID:o2wqk0Mw(1) AAS
>>837
三角形の面積 S
外接円半径 R、内接円半径 r とする
明らかな面積比較 πR² > S > πr² より
R > r である
839: 04/12(土)11:02 ID:yAV5n3IP(1) AAS
・外接円(O1)⊇内接円(O2)
・O1, O2の中心を通る直線上の線分について, O1の直径部分⊇O2の直径部分
・↑の記号をつかって, 2R>2r, R>r
840: 04/14(月)14:40 ID:r2r+++xf(1/2) AAS
a,bが自然数のとき
 (a^2+1)/bと(b^2+1)/aがともに自然数⇔(a^2+b^2+1)/(ab)が自然数

が同値なことを示すにはどうすばいいですか。
841: 04/14(月)15:29 ID:EgjOHIoE(1) AAS
p:=(aa+1)/b, q:=(bb+1)/a, r:=(aa+bb+1)/(ab) とおく
p,q,r は正の有理数
(=>)
r=pq-ab∈Z
(<=)
p+q=(a+b)(r-1)∈Z
pq=r+ab∈Z
省2
842: 04/14(月)21:59 ID:lV+PVbYA(1) AAS
解くことを考えてみました。
Fib[n]をフィボナッチ数列の第n項とすると、
Fib[n]^2-Fib[n+2]*Fib[n-2]=(-1)^n
Fib[n]^2+Fib[n+2]^2-3Fib[n]*Fib[n+2]=(-1)^n
らが成立します。従って
Fib[2n-1]^2+1=Fib[2n+1]*Fib[2n-3],Fib[2n+1]^2+1=Fib[2n-1]*Fib[2n+3]
Fib[2n-1]^2+Fib[2n+1]^2+1=3Fib[2n-1]*Fib[2n+1]
省3
843: 04/14(月)23:25 ID:r2r+++xf(2/2) AAS
(ab)=(11)もありですか。
844
(1): 04/15(火)07:10 ID:5YohbW4W(1) AAS
>この本には、 R の連結部分集合は区間であるという命題は書いてありませんので、 f(S) が区間であることは使ってはいけません。

よく知られていて感覚的にも明らか、かつ実際に示すのも難しくないことを「書かれてないから」というだけで使ってはいけないとか意味不明すぎる
845: 04/15(火)08:03 ID:tsOC6SoS(1) AAS
>>844
示すのが難しくないなら示してから使えば良い
846
(1): 04/15(火)09:41 ID:5Mnsuaw7(1) AAS
意地悪爺さんというパロディーがいた昭和
847: 04/16(水)18:15 ID:PjxCDrCZ(1) AAS
>>846
青島都知事=トランプ一期目
小泉総理大臣=トランプ二期目ニキ
848
(1): 04/16(水)20:43 ID:Pkpu3SEj(1) AAS
関数 f を以下で定義する。ただし、 [x] は x を超えない最大の整数を表す。

f(x) := (x - [x])^2 - (x - [x]) + 1/6 for x ∈ R

lim_{N→∞} ∫_1^{N} f(x) / (2 * x^2) dx = (1/2) * log(2*π) - 11/12

であることを証明せよ。
849: 04/16(水)22:24 ID:YQaNbWfo(1/2) AAS
>>848
積分区間を[k,k+1]分けて積分、
log内のkの積にスターリング使う
850: 04/16(水)22:26 ID:zqCyN5gW(1/5) AAS
左辺 n ないやん
851: 04/16(水)22:29 ID:zqCyN5gW(2/5) AAS
とりあえず Euler Maclaurin っぽいけど π^2/6 がでないのがおかしくね?
852: 04/16(水)22:30 ID:zqCyN5gW(3/5) AAS
ああ、わかった、右辺 ((1/2)log(2π) - 11/12 か
853: 04/16(水)22:39 ID:zqCyN5gW(4/5) AAS
でもやっぱり合わん
これ元ネタは Σ1/n^2 と ∫1/x^2dx の差 = const + O(1/N) をつかうんだろうけどだとすると π^2/6 と有理数しかでない。
外部リンク:ja.wikipedia.org
854: 04/16(水)22:46 ID:zqCyN5gW(5/5) AAS
あ、まちがえた
Σ log(n) - ∫log(x)dx の差 = const + O(1/N) やな。
なるほど。
855: 04/16(水)22:48 ID:YQaNbWfo(2/2) AAS
謎に1/6の項ついてるのはオイラーの和公式使いたいってことなんかな
で、逆にスターリングを示したいとか?
スターリング使っていいなら普通に計算するだけ…
856: 04/17(木)00:07 ID:5JDCUshX(1/2) AAS
二次のベルヌーイ多項式の定数項が 1/6 なんよ
857
(1): 04/17(木)12:10 ID:OJkA1AY4(1) AAS
オイラー・マクローリンの公式ってなんで役に立つんですか?
なんか当たり前のことを示した公式にしか見えないのに役に立ちますよね。
858: 04/17(木)12:50 ID:5JDCUshX(2/2) AAS
まぁ直接的にはΣを∫におきかえていくとき部分積分を繰り返すけどその時の定数項の選定で誤差項が微妙に変わる。そのとき x-[x] だと正値しかでないけど B1(x-[x]) = x-[x] -1/2 だと [-1/2,1/2) の値を波打つから x→∞ で f'(x) → 0 の場合には誤差項が x-[x] よりも小さくなることが期待できるし実際その通りになる。でも結局は abel plana の和公式の形に書いたとき誤差項の積分表示のところに自然に 1/(e^x-1) の形が出てくることが原因やろな。
外部リンク:en.wikipedia.org
859: 04/17(木)19:56 ID:bOz3vh0j(1) AAS
>>857
何言ってんのかわからんが?
1+1=2だって役に立つがよ
860: 04/17(木)20:29 ID:dFP4BMBj(1) AAS
当たり前なら役に立たない(と思い込んでる)のはなぜ?
861: 04/17(木)20:57 ID:nTmFZJqJ(1) AAS
鳩の巣原理、ラムゼーの定理は凄く当たり前のことだけど大事なこと
証明だって基本的には当たり前のことから当たり前を導いてるでしょ
862
(1): 04/18(金)09:03 ID:4I9kLeic(1) AAS
例えばMATLABで
X=floor(rand(1,1000).*100);Y=floor(rand(1,1000).*100);plot(X,Y,'o')

XとYを乱数で与えると、密な部分と疎な部分ができるのですがなぜですか?

次の図の向かって右みたいな分布になります
画像リンク[jpg]:pbs.twimg.com
863
(2): 04/18(金)15:52 ID:LiAPa7uP(1) AAS
中3因数分解の初歩で教えてください
xとyは先にxがくるようにしなければいけないですか?

例題 y^2 ー12xy+27x^2 (^2=2乗)

(yー3x)(yー9x) でもいいですか?
解答には
(3xーy)(9xーy)しか書かれてていなくて別解もありませんでした
864: 04/18(金)16:00 ID:smsbrN3/(1/3) AAS
x のほうが前に来るようにしなければならないなら、

y^2 - 12*x*y + 27*x^2

とは書かずに、

27*x^2 - 12*x*y + y^2 と書いていたのではないでしょうか?
865
(1): 04/18(金)16:05 ID:smsbrN3/(2/3) AAS
単なる書いた人の癖だと思います。

おそらく、 -12*x*y と書く人のほうが -12*y*x と書く人のほうが圧倒的に多いと思います。
理由はおそらく、教科書に -12*y*x という順序で書かれることが決してないからです。
ですが、教科書に書き方のルールが書かれていないならば、問題ないはずです。

たとえば、 y*x*(-12) と書いたとするとルール違反になると思います。
おそらく教科書には、変数よりも係数のほうを先に書くとルールが書いてあるからです。
866: 04/18(金)16:05 ID:smsbrN3/(3/3) AAS
>>865

訂正します:

単なる書いた人の癖だと思います。

おそらく、 -12*x*y と書く人のほうが -12*y*x と書く人よりも圧倒的に多いと思います。
理由はおそらく、教科書に -12*y*x という順序で書かれることが決してないからです。
ですが、教科書に書き方のルールが書かれていないならば、問題ないはずです。

たとえば、 y*x*(-12) と書いたとするとルール違反になると思います。
省1
867: 04/18(金)16:09 ID:tR9Sh5Jy(1) AAS
>>863
受験板で聞け
868
(1): 04/18(金)18:23 ID:vIG7NQYW(1) AAS
>>863
本質的にはどちらでもいいです
869
(1): 04/18(金)20:14 ID:ExkYzBSc(1) AAS
本質もなにも普通にどっちでもいい
870: 04/18(金)20:25 ID:xoF6/AlJ(1) AAS
>>862
それを1万回繰り返してから考えたら?
871
(1): 04/18(金)21:42 ID:ufP6r1l9(1) AAS
どの部分も完全に等密度になったら逆にランダムじゃないよね
ランダムだから部分的にムラが出来るって話じゃないの
もっと数増やせば相対的な均等さは増すはず
872: 04/19(土)02:33 ID:Tnrj5OEP(1) AAS
>>868
>>869
どちらでも良いんですね、ありがとうございます、モヤモヤしてたのでスッキリしました
873: 04/19(土)14:36 ID:Va8m5e2d(1) AAS
>>871
もっと粗いメッシュで見たときも、そのメッシュ内の個数がばらばらである必要があるのね
向かって左は粗いメッシュにするとランダム性が無くなる
マンデルブロートみたいにどのメッシュでもランダムじゃないといけない
874
(2): 04/24(木)20:18 ID:Nky8DgKz(1) AAS
φ が有界変動で、 f が φ に関し I = [a, b] でStieltjes積分可能であるとき、
不定積分 F(x) = ∫_{a}^{x} f(t) dφ(t) (x ∈ [a, b]) は以下をみたすことを証明せよ。

φ'(x) が存在し、 f が連続である点 x ∈ I で F は微分可能で、次式が成立つ:

F'(x) = f(x) * φ'(x)
875: 04/25(金)00:29 ID:wcORTY0F(1) AAS
そもそも有界変動関数のStieltjes積分の話してるのに∫_a^x でいけると思ってる時点で修行がたりてない。
876: 04/25(金)03:03 ID:4SB97Md9(1/5) AAS
>>874

は杉浦光夫著『解析入門I』に書いてある問題ですが、問題の点 x ∈ I で、 α'(x) > 0 である場合と α'(x) < 0 である場合には容易に証明できますが、 α'(x) = 0 である場合の証明ができません。

杉浦さんの超略解はありますが、役に立ちません。
877: 04/25(金)03:05 ID:4SB97Md9(2/5) AAS
訂正します:

>>874

は杉浦光夫著『解析入門I』に書いてある問題ですが、問題の点 x ∈ I で、 φ'(x) > 0 である場合と φ'(x) < 0 である場合には容易に証明できますが、 φ'(x) = 0 である場合の証明ができません。

杉浦さんの超略解はありますが、役に立ちません。
878
(1): 04/25(金)04:03 ID:4SB97Md9(3/5) AAS
実は、問題の点 x ∈ I で、 φ'(x) = 0 であることが証明できるといいことがあります。

まず、 φ(x) = x^2 * sin(1/x) for x ∈ [-1, 1] - {0}, φ(0) = 0 と定義します。
φ は [-1, 1] で有界変動です。

f を [-1, 1] で連続で、 f(0) ≠ 0 であるような関数とします。

すると、 f は φ に関し [-1, 1] でStieltjes積分可能です。

杉浦さんの問題によると以下が成り立ちます:
省12
879: 04/25(金)04:06 ID:4SB97Md9(4/5) AAS
この方法で、微分可能ではあるが、導関数が連続ではないような関数が沢山得られます。

これが↑に書いた「いいこと」です。
880: 04/25(金)04:08 ID:4SB97Md9(5/5) AAS
>>878

訂正します:

実は、問題の点 x ∈ I で、 φ'(x) = 0 である場合に、杉浦さんの問題が証明できれば、いいことがあります。

まず、 φ(x) = x^2 * sin(1/x) for x ∈ [-1, 1] - {0}, φ(0) = 0 と定義します。
φ は [-1, 1] で有界変動です。

f を [-1, 1] で連続で、 f(0) ≠ 0 であるような関数とします。
省14
881: 04/28(月)10:26 ID:8HKkTT8U(1) AAS
lim_{h → 0} ∫_C f(ζ) / ((ζ - (z + h)) * (ζ - z)) dζ = ∫_C f(ζ) / (ζ - z)^2 dζ の証明ですが以下で良いですか?

max |f(ζ)| = K とおく。

|∫_C f(ζ) / ((ζ - (z + h)) * (ζ - z)) dζ - ∫_C f(ζ) / (ζ - z)^2 dζ|

∫_C |(f(ζ) * h) / ((ζ - (z + h)) * (ζ - z)^2)| d|ζ|

∫_{C_r} |(f(ζ)| * |h|) / r^3 d|ζ|
省3
882
(3): 04/28(月)18:49 ID:+wKJookE(1) AAS
急激に増加する自然数列では、その逆数和は無理数に収束するらしいのですが
その証明はどのようになされるのでありますか。
883: 04/28(月)19:34 ID:TASCGJ/c(1/3) AAS
1, 2, 4, 8, 16, …は急激に増加する自然数列ではないのか
884: 04/28(月)20:58 ID:rvnfPgkI(1) AAS
1,3,9,81,・・・
885: 04/28(月)21:04 ID:TASCGJ/c(2/3) AAS
>>882
ソースを教えてくれ
リウビユ数のことを言ってると推測する
886: 04/28(月)21:58 ID:OHtP2w4k(1) AAS
>>882
uso
887: 04/28(月)22:12 ID:TASCGJ/c(3/3) AAS
>>882
無理数というより超越数だね
888: 04/29(火)00:26 ID:EwMbGJYA(1/2) AAS
らしいというからには根拠があるんだろ
>急激に増加する自然数列では、その逆数和は無理数に収束するらしいのですが
889: 04/29(火)00:54 ID:xVG+31tk(1) AAS
外部リンク:en.wikipedia.org
890
(1): 04/29(火)15:08 ID:pY4WJf3b(1) AAS
自作プログラムでもAIでも固まったので質問します。

全体のカイ二乗検定で有意差なし:p > 0.05、ボンフェローニ補正後のペアワイズ比較で特定のペアに有意差:p < 0.05/3 = 0.0167)を満たす3群のデータは存在しますか?
存在するなら例示して、存在しないならその証明をお願いします。
891: 04/29(火)21:30 ID:yyAxkgun(1/2) AAS
藤森がいい線いってるのに「ではなーい(全否定かよ!)」
あれって、「では、なーり」だったのか
892: 04/29(火)21:31 ID:yyAxkgun(2/2) AAS
はい、誤爆やらかしましたすみませんごめんなさい
893: 04/29(火)21:51 ID:EwMbGJYA(2/2) AAS
はい、可能です
894
(1): 04/29(火)22:00 ID:v10PczL8(1) AAS
これのことか

爆発的に発散する自然数列の逆数和は必ず無理数に収束する!?
外部リンク:mathlog.info
895: 04/30(水)02:49 ID:wedVH8wl(1) AAS
>>890
自己解決しました。
896: 04/30(水)06:18 ID:zxl4wecI(1) AAS
>>894
この人リウビユ数のこと知らないのね
897: 05/10(土)18:22 ID:myPggmtO(1/2) AAS
有理数より無理数のほうが圧倒的に多い
という実感が得られません
どうすれば?
898: 05/10(土)20:27 ID:PH/ApPVv(1) AAS
無理数に0.000...1を足した数は有理数かどうか
899: 05/10(土)22:17 ID:myPggmtO(2/2) AAS
0.000...1というのは無理数ですか?
900
(1): 05/20(火)22:50 ID:ob4DFAA/(1) AAS
(0,0,0),(1,0,0),(0,1,0),(0,0,1)
(0,1,1),(1,0,1),(1,1,0),(1,1,1)の8点を頂点とする立方体を、
x軸、y軸、z軸のまわりに1回転してできる回転体をそれぞれK、L、Mとする。
(1)Kの体積を求めよ。
(2)K∩Lのたいせきを求めよ。
(3)K∩L∩Mの体積をもとめよ。

(1)は円柱だと思い体積は2πになりました。あってますか。
省1
901: 05/21(水)02:43 ID:YB/vkQAA(1/3) AAS
(2) 1≦|t|≦2 を固定するとき
K ∩ L ∩ z=t

0≦x≦1 ∧ 0≦y≦1 ∧ x≦√(2-t²) ∧ y≦√(2-t²)

0≦x≦√(2-t²) ∧ 0≦y≦√(2-t²) )
∴ (K ∩ L ∩z = t の面積) = 2-t²
省16
902: 05/21(水)02:44 ID:YB/vkQAA(2/3) AAS
(3)間違った
903: 05/21(水)02:45 ID:YB/vkQAA(3/3) AAS
いや、あってる
904: 05/23(金)13:26 ID:P2PMZUhf(1) AAS
四角形ABCDを対角線ACでふたつの三角形に分割し、
三角形ABCの内接円が辺ACに接する点をP、三角形ADCの内接円が辺ACに接する点をQとするとき、
四角形ABCDが内接円をもつこと と PとQが一致すること は同時ですか。
905: 05/24(土)09:57 ID:IpSuPj3z(1) AAS
いいえ
906
(1): 05/29(木)21:16 ID:Oa639Xtt(1/2) AAS
5^130 は何桁か?対数を使わずに計算する(札幌医

10^x = 5^130

まで思いついたが、ちょっとわからないね
1-
あと 27 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.082s