さあ、今日も1日がんばろう★☆
前スレ
分からない問題はここに書いてね452
http://rio2016.5ch.net/test/read.cgi/math/1555080760/
(使用済です: 478)
分からない問題はここに書いてね453
■ このスレッドは過去ログ倉庫に格納されています
2019/05/17(金) 06:10:41.72ID:WRg508Xy
153132人目の素数さん
2019/05/23(木) 07:34:38.28ID:SyJMyjQ/ AB=5,BC=3,∠ABC=60°の△ABCにおいて、CA=[ア]、外接円の半径Rは[イ]である。
また劣弧BC上に△BPCの面積が最大となるように点Pをとると、AP=[ウ]である。
このときBPとRの大小を比較すると
BP[エ]R
であり、同様にBPとCAの大小を比較すると
BP[オ]CA
である。
〔問題〕
[ア][イ][ウ]に当てはまる実数を求めよ。
また[エ][オ]に当てはまるいずれかの記号を以下から選択せよ。
(選択肢) < = >
また劣弧BC上に△BPCの面積が最大となるように点Pをとると、AP=[ウ]である。
このときBPとRの大小を比較すると
BP[エ]R
であり、同様にBPとCAの大小を比較すると
BP[オ]CA
である。
〔問題〕
[ア][イ][ウ]に当てはまる実数を求めよ。
また[エ][オ]に当てはまるいずれかの記号を以下から選択せよ。
(選択肢) < = >
154132人目の素数さん
2019/05/23(木) 07:42:52.42ID:g3DfwIgx155132人目の素数さん
2019/05/23(木) 08:08:31.59ID:g3DfwIgx 自己解決しました。
r>=0になる範囲で積分すれば出来ますね。
お騒がせしました。
r>=0になる範囲で積分すれば出来ますね。
お騒がせしました。
156132人目の素数さん
2019/05/23(木) 18:03:06.65ID:ZSGKyfj8 原点の近傍でC^∞級の関数fをR全体に拡張することは、「C^∞級の関数は相当自由自在にのばせるので、」
簡単であると書いてある本があるのですが、どうやって拡張するのでしょうか?
簡単であると書いてある本があるのですが、どうやって拡張するのでしょうか?
157132人目の素数さん
2019/05/23(木) 19:20:25.39ID:GUQdqLMi 点Oを中心とする円Cの周上に相異なる2点A,B,Cがあり、AB=1、AC=3である。
また直線BOとACは交点Dを持ち、OD=3/2である。
BCの長さを求めよ。ただし∠ACB<90°である。
また直線BOとACは交点Dを持ち、OD=3/2である。
BCの長さを求めよ。ただし∠ACB<90°である。
159132人目の素数さん
2019/05/24(金) 00:03:55.90ID:RQZvnG8+160132人目の素数さん
2019/05/24(金) 01:15:06.13ID:wjGAxwzm161132人目の素数さん
2019/05/24(金) 01:18:09.69ID:sweCNxNX 平行四辺形□ABCDにおいて、∠ABC=θ(0<θ≤90°)、AB=3、BC=4である。
この3頂点A,B,Cを通る円Kと点Dの距離が1/2であるという。ただし円Sと点Pの距離とは、Sの周上でPと最も近い点をQとしたときのPQの長さを指す。
sinθの値を求めよ。
この3頂点A,B,Cを通る円Kと点Dの距離が1/2であるという。ただし円Sと点Pの距離とは、Sの周上でPと最も近い点をQとしたときのPQの長さを指す。
sinθの値を求めよ。
162132人目の素数さん
2019/05/24(金) 01:25:57.62ID:sweCNxNX 自然数a,b,c,dはad-bc=1を満たす。
a,b,c,dのうち少なくとも一組の自然数は互いに素であるか、または等しいことを示せ。
a,b,c,dのうち少なくとも一組の自然数は互いに素であるか、または等しいことを示せ。
163132人目の素数さん
2019/05/24(金) 08:38:04.91ID:B7NEISpA ad と bc は互いに素(1以外の公約数をもたない)
∴ (a,b) (a,c) (b,d) (c,d) はどれも互いに素。
∴ (a,b) (a,c) (b,d) (c,d) はどれも互いに素。
164132人目の素数さん
2019/05/24(金) 08:51:38.78ID:B7NEISpA >>153
B = 60゚
cos(B) = 1/2,
第二余弦定理から
CA^2 = AB^2 + BC^2 -2・AB・BC・cos(B) = 19,
CA = √19 ・・・・ [ア]
正弦定理から
R = CA/{2sin(B)} = CA/√3 = √(19/3) ・・・・ [イ],
sin(A) = (BC/CA)sin(B) = (3/√19)(√3 /2) = (3√3)/(2√19) = 0.596040
cos(A) = 7/(2√19) = 0.802955
2sin(A/2) = √{2 - 2cos(A)} = √(2 - 7/√19) = 0.627766
2sin(B+A/2) = √(2 + 8/√19) = 1.958399
Pは辺BCからの距離が最大となる点 ⇒ 弧BCの中点
∠AOP/2 = (∠AOC+∠COP)/2 = B + A/2 = 60゚ + A/2,
AP = 2Rsin(B+A/2) = √(19/3) √(2 + 8/√19) = √{(38+8√19)/3} ・・・・ [ウ]
BP = 2Rsin(A/2) = R√(2 - 7/√19) = 0.627766・R
BP < R ・・・・ [エ]
CA = √19 = R√3,
BP < CA ・・・・ [オ]
B = 60゚
cos(B) = 1/2,
第二余弦定理から
CA^2 = AB^2 + BC^2 -2・AB・BC・cos(B) = 19,
CA = √19 ・・・・ [ア]
正弦定理から
R = CA/{2sin(B)} = CA/√3 = √(19/3) ・・・・ [イ],
sin(A) = (BC/CA)sin(B) = (3/√19)(√3 /2) = (3√3)/(2√19) = 0.596040
cos(A) = 7/(2√19) = 0.802955
2sin(A/2) = √{2 - 2cos(A)} = √(2 - 7/√19) = 0.627766
2sin(B+A/2) = √(2 + 8/√19) = 1.958399
Pは辺BCからの距離が最大となる点 ⇒ 弧BCの中点
∠AOP/2 = (∠AOC+∠COP)/2 = B + A/2 = 60゚ + A/2,
AP = 2Rsin(B+A/2) = √(19/3) √(2 + 8/√19) = √{(38+8√19)/3} ・・・・ [ウ]
BP = 2Rsin(A/2) = R√(2 - 7/√19) = 0.627766・R
BP < R ・・・・ [エ]
CA = √19 = R√3,
BP < CA ・・・・ [オ]
165132人目の素数さん
2019/05/24(金) 11:55:53.64ID:B7NEISpA >>171
A (3cosθ, 3sinθ)
B (0, 0)
C (4, 0)
D (4+3cosθ, 3sinθ)
とおく。
Kの中心を O (2, y) とおくと、
y = (3-4cosθ)/(2sinθ),
Kの半径は
R = √(25-24cosθ) / 2sinθ,
K上の点Q~について
Q~D = (OQ~ + Q~D) - R ≧ OD - R,
QD = OD - R
= √{25-24cos(3θ)} / 2sinθ - R,
QD = 1/2 より
θ = 0.0211151976 1.46102566
sinθ = 0.0211136286 0.9939812476
A (3cosθ, 3sinθ)
B (0, 0)
C (4, 0)
D (4+3cosθ, 3sinθ)
とおく。
Kの中心を O (2, y) とおくと、
y = (3-4cosθ)/(2sinθ),
Kの半径は
R = √(25-24cosθ) / 2sinθ,
K上の点Q~について
Q~D = (OQ~ + Q~D) - R ≧ OD - R,
QD = OD - R
= √{25-24cos(3θ)} / 2sinθ - R,
QD = 1/2 より
θ = 0.0211151976 1.46102566
sinθ = 0.0211136286 0.9939812476
166イナ ◆/7jUdUKiSM
2019/05/24(金) 13:06:28.63ID:fFqVUOOs 前>>148
>>157 BC=√[4r^2-{(2r-3)^2/(2r+3)^2}]
>>161 sinθ=t/r
cosθ=√{1-(t/r)^2}
=(3^2+4^2-4t^2)/2・3・4
=(25-4t^2)/24
(25-4t^2)^2/24^2=1-t^2/r^2
(25-4t^2)^2・r^2=24^2(1-t^2)
r^2=24^2(1-t^2)/(25-4t^2)^2
sinθ=t/√{24^2(1-t^2)/(25-4t^2)^2}
=t(25-4t^2)/24√(1-t^2)
ピタゴラスの定理より、
(3sinθ)^2+(4-3cosθ)^2=4t^2
9sin^2θ+16-24cosθ+9cos^2θ=4t^2
9(1-cos^2θ)+16-24cosθ+9cos^2θ=4t^2
25-24cosθ=4t^2
t^2=25/4-6cosθ
sinθ=t(25-4t^2)/24√(1-t^2)
=cosθ√(25/4-6cosθ)/√(1-25/4+6cosθ)
=cosθ√(25-24cosθ)/√(24cosθ-19)
sin^2θ=cos^2θ(25-24cosθ)/(24cosθ-19)
2sinθcosθ=(cos^2θ-sin^2θ)(25-24cosθ)/(24cosθ-19)
2sinθcosθ(24cosθ-19)=(1-2sin^2θ)(25-24cosθ)
48sinθ(1-sin^2θ)-38sinθcosθ=25-50sin^2θ-24cosθ+48sin^2θcosθ
48sinθ-48sin^3θ-38sinθcosθ=25-50sin^2θ-24cosθ+48sin^2θcosθ
中断
>>157 BC=√[4r^2-{(2r-3)^2/(2r+3)^2}]
>>161 sinθ=t/r
cosθ=√{1-(t/r)^2}
=(3^2+4^2-4t^2)/2・3・4
=(25-4t^2)/24
(25-4t^2)^2/24^2=1-t^2/r^2
(25-4t^2)^2・r^2=24^2(1-t^2)
r^2=24^2(1-t^2)/(25-4t^2)^2
sinθ=t/√{24^2(1-t^2)/(25-4t^2)^2}
=t(25-4t^2)/24√(1-t^2)
ピタゴラスの定理より、
(3sinθ)^2+(4-3cosθ)^2=4t^2
9sin^2θ+16-24cosθ+9cos^2θ=4t^2
9(1-cos^2θ)+16-24cosθ+9cos^2θ=4t^2
25-24cosθ=4t^2
t^2=25/4-6cosθ
sinθ=t(25-4t^2)/24√(1-t^2)
=cosθ√(25/4-6cosθ)/√(1-25/4+6cosθ)
=cosθ√(25-24cosθ)/√(24cosθ-19)
sin^2θ=cos^2θ(25-24cosθ)/(24cosθ-19)
2sinθcosθ=(cos^2θ-sin^2θ)(25-24cosθ)/(24cosθ-19)
2sinθcosθ(24cosθ-19)=(1-2sin^2θ)(25-24cosθ)
48sinθ(1-sin^2θ)-38sinθcosθ=25-50sin^2θ-24cosθ+48sin^2θcosθ
48sinθ-48sin^3θ-38sinθcosθ=25-50sin^2θ-24cosθ+48sin^2θcosθ
中断
167132人目の素数さん
2019/05/24(金) 14:15:55.08ID:lexzgFfT 高校生です
∫(0→1) 【x/√(1+x^2)】^3 dx
これ計算するのに、√(1+x^2)=αと置換すると
dα/dx=x/α→ dx=α/x dα
となって、∫(1→√2) (x^3/α^3) * (α/x) dα となり、すぐ計算できますが、
ここで形式上でもα/xが出てくるのが気持ち悪い(x=0になるので)のですが、
これは答案にかくときどう説明したらよいでしょうか?
あるいは分母がゼロになるような場合はそもそもこの変形は誤りでしょうか?
∫(0→1) 【x/√(1+x^2)】^3 dx
これ計算するのに、√(1+x^2)=αと置換すると
dα/dx=x/α→ dx=α/x dα
となって、∫(1→√2) (x^3/α^3) * (α/x) dα となり、すぐ計算できますが、
ここで形式上でもα/xが出てくるのが気持ち悪い(x=0になるので)のですが、
これは答案にかくときどう説明したらよいでしょうか?
あるいは分母がゼロになるような場合はそもそもこの変形は誤りでしょうか?
168132人目の素数さん
2019/05/24(金) 14:36:49.29ID:6toxvcXO >>167
まぁ高校の教科書に公式として載ってるものだけを使うとどうしてもそうなるね。
その気持ち悪さは大学一年で習う微分係数、もしくは広義積分使えるようになると解消される。
もちろんそんなもん使わなくても高校の教科書の範囲内でもできなくないだろうけどそんなの出題者は求めてないだろうし。
受験の解答ならそれで許してもらえるし、自分の気持ち悪さ解消したいだけなら大学の教養の教科書先読みする方がいいと思う。
まぁ高校の教科書に公式として載ってるものだけを使うとどうしてもそうなるね。
その気持ち悪さは大学一年で習う微分係数、もしくは広義積分使えるようになると解消される。
もちろんそんなもん使わなくても高校の教科書の範囲内でもできなくないだろうけどそんなの出題者は求めてないだろうし。
受験の解答ならそれで許してもらえるし、自分の気持ち悪さ解消したいだけなら大学の教養の教科書先読みする方がいいと思う。
169132人目の素数さん
2019/05/24(金) 14:51:38.69ID:/vcM0a9u もちろん誤りだ。
x=tanθなどと置くか、開始をa≠0からにし後からa→0とすべきだろう。
x=tanθなどと置くか、開始をa≠0からにし後からa→0とすべきだろう。
170132人目の素数さん
2019/05/24(金) 15:19:00.77ID:ICQQDhQ9 2x + x2 + x3 + 6x4 = -2
x + 2x2 + x3 + x4 =1
x + x2 + 2x3 + x4 =1
x + x2 + x3 + 2x4 = a
行列の問題です。
x + 2x2 + x3 + x4 =1
x + x2 + 2x3 + x4 =1
x + x2 + x3 + 2x4 = a
行列の問題です。
171132人目の素数さん
2019/05/24(金) 15:28:30.30ID:ICQQDhQ9 次の連立方程式が買いを持つように、定数aを定めて、解を求めよ。
(x1,x2,x3,x4)=c(-4,1,1,1)+(-2,1,1,0) a=0
(x1,x2,x3,x4)=c(-4,1,1,1)+(-2,1,1,0) a=0
172132人目の素数さん
2019/05/24(金) 15:38:54.40ID:B7NEISpA 1〜3行目をたすと
4(x + x2 + x3 + 2x4) = -2 +1 +1 = 0
となるから
a = 0,
(x, x2, x3, x4) = ( 2-4t, t, t, t-1) tは任意
4(x + x2 + x3 + 2x4) = -2 +1 +1 = 0
となるから
a = 0,
(x, x2, x3, x4) = ( 2-4t, t, t, t-1) tは任意
173イナ ◆/7jUdUKiSM
2019/05/24(金) 15:50:38.85ID:fFqVUOOs174132人目の素数さん
2019/05/24(金) 15:55:41.49ID:B7NEISpA >>167
(x dx) を1つの塊と思えばよい。いまの場合は、xは【 】の中から出てくる。
あるいは、1 + x^2 = y とおけば 2x dx = dy だから 1/x は出てこない。
∫(0→1) {x/√(1+x^2)}^3 dx = ∫(1→2) (y-1)/[2y^(3/2)] dy
(x dx) を1つの塊と思えばよい。いまの場合は、xは【 】の中から出てくる。
あるいは、1 + x^2 = y とおけば 2x dx = dy だから 1/x は出てこない。
∫(0→1) {x/√(1+x^2)}^3 dx = ∫(1→2) (y-1)/[2y^(3/2)] dy
175132人目の素数さん
2019/05/24(金) 16:44:15.85ID:Afiamt9N 大学数学、統計学についての質問です。
十分統計量、フィッシャー・ネイマンの分解定理について、以下の例は正しいでしょうか?
ある実験Aの成功確率はpとする。実験は3回成功するまで
行われる。
x_kはk回目に実験が成功したら1、実験が成功しなかったら0の値をとる。
x=(x_1,x_2,・・・,x_n)とする。nは実験が3回目に成功した時の実験回数である。
統計量T(X)を3回目に実験が成功した時の実験回数とする。
この時、T(X)が十分統計量であることを調べる。
P(X=x|T(x)=n;p)
=1/{(n−1)C2}
よりpの値によらないので、T(X)は十分統計量と呼べる。
これをフィッシャー・ネイマンの分解定理でも調べる
P(X=x)
=p^3(1−p)^(n−3)
=p^3(1−p)^(T(x)−3)
より、h(x)=1、g(T(x),p)=p^3(1−p)^(T(x)−3)と分解できるので、T(x)は十分統計量と言える。
十分統計量、フィッシャー・ネイマンの分解定理について、以下の例は正しいでしょうか?
ある実験Aの成功確率はpとする。実験は3回成功するまで
行われる。
x_kはk回目に実験が成功したら1、実験が成功しなかったら0の値をとる。
x=(x_1,x_2,・・・,x_n)とする。nは実験が3回目に成功した時の実験回数である。
統計量T(X)を3回目に実験が成功した時の実験回数とする。
この時、T(X)が十分統計量であることを調べる。
P(X=x|T(x)=n;p)
=1/{(n−1)C2}
よりpの値によらないので、T(X)は十分統計量と呼べる。
これをフィッシャー・ネイマンの分解定理でも調べる
P(X=x)
=p^3(1−p)^(n−3)
=p^3(1−p)^(T(x)−3)
より、h(x)=1、g(T(x),p)=p^3(1−p)^(T(x)−3)と分解できるので、T(x)は十分統計量と言える。
177132人目の素数さん
2019/05/24(金) 17:27:50.01ID:vwA+rezD 質問です
3点がそれぞれx、y、z軸上にある三角形で、三角形の周の長さが1となる三角形全体の集合はどのような図形になりますか?
点の重複や境界線などの細かな議論は不要です。
3点がそれぞれx、y、z軸上にある三角形で、三角形の周の長さが1となる三角形全体の集合はどのような図形になりますか?
点の重複や境界線などの細かな議論は不要です。
178132人目の素数さん
2019/05/24(金) 18:20:36.27ID:p69bq5ip 定理:
整級数 a_0 + a_1*x + a_2*x^2 + … + a_n*x^n + … に対して、つぎのような性質をもつ ρ がただ一つ定まる。
|x| < ρ である任意の x に対して、 a_0 + a_1*x + a_2*x^2 + … + a_n*x^n + … は絶対収束する。
|x| > ρ である任意の x に対して、 a_0 + a_1*x + a_2*x^2 + … + a_n*x^n + … は発散する。
系:
整級数 a_0 + a_1*x + a_2*x^2 + … + a_n*x^n + … が 0 でない収束半径をもつための必要十分条件は、
適当な正の定数 c, M を選んで、すべての n について |a_n| ≦ c*M^n が成立するようにできることである。
なぜ、これが一番上の定理の系なのでしょうか?
整級数 a_0 + a_1*x + a_2*x^2 + … + a_n*x^n + … に対して、つぎのような性質をもつ ρ がただ一つ定まる。
|x| < ρ である任意の x に対して、 a_0 + a_1*x + a_2*x^2 + … + a_n*x^n + … は絶対収束する。
|x| > ρ である任意の x に対して、 a_0 + a_1*x + a_2*x^2 + … + a_n*x^n + … は発散する。
系:
整級数 a_0 + a_1*x + a_2*x^2 + … + a_n*x^n + … が 0 でない収束半径をもつための必要十分条件は、
適当な正の定数 c, M を選んで、すべての n について |a_n| ≦ c*M^n が成立するようにできることである。
なぜ、これが一番上の定理の系なのでしょうか?
179132人目の素数さん
2019/05/24(金) 18:50:43.52ID:JCpzcHyE n個の未知数を完全に求めるためにはn個の独立な(同じでない)条件式が必要であるという命題は正しいですか?
この命題の名前、証明はありますか?
線形な場合なら教科書に載っていますが非線形な場合でも常に成り立っている気がします
この命題の名前、証明はありますか?
線形な場合なら教科書に載っていますが非線形な場合でも常に成り立っている気がします
180イナ ◆/7jUdUKiSM
2019/05/24(金) 18:58:03.06ID:fFqVUOOs 前>>176
BO=r=2ぐらい?
直接BOと△ABCの交点でBでないほうをB'とすると、
△ADB'∽△BDC
DC=tとおくと、
(r+3)/2(3-t)=t/(r-3/2)
r^2=9/4+3t-t^2
B'C=(r-3/2)/(r+3/2)
BB'=2r
BC^2=4r^2-{(r-3/2)^2/(r+3/2)^2}
={4r^2(r+3/2)^2-(r-3/2)^2}/(r+3/2)^2
={4r^2(r^2+3r+9/4)-(r^2-3r+9/4}/(r+3/2)^2
=(4r^4+12r^3+8r^2+3r-9/4)/(r+3/2)^2
BO=r=2ぐらい?
直接BOと△ABCの交点でBでないほうをB'とすると、
△ADB'∽△BDC
DC=tとおくと、
(r+3)/2(3-t)=t/(r-3/2)
r^2=9/4+3t-t^2
B'C=(r-3/2)/(r+3/2)
BB'=2r
BC^2=4r^2-{(r-3/2)^2/(r+3/2)^2}
={4r^2(r+3/2)^2-(r-3/2)^2}/(r+3/2)^2
={4r^2(r^2+3r+9/4)-(r^2-3r+9/4}/(r+3/2)^2
=(4r^4+12r^3+8r^2+3r-9/4)/(r+3/2)^2
181132人目の素数さん
2019/05/24(金) 19:12:08.35ID:l1vbVw/2 >>179
陰関数定理ですね
陰関数定理ですね
182132人目の素数さん
2019/05/24(金) 20:04:44.09ID:QzBYCc3b >>178
なぜってなら、定理から証明できるからだろう
整級数が収束半径r>0を持つ
⇒定理より、0<x<rとなるxに対し,整級数は絶対収束するためx=1/M(M>1/r)とすると、
|an|(1/M)^n≦Σ|a_k|(1/M)^k<c
となるc>0が存在する
⇒あるc,M>0が存在し、任意のn∈Nに対し|an|<c*M^n
整関数に対し、あるc,M>0が存在し、任意のn∈Nに対し|an|<c*M^n
⇒任意のs(0<s<1)に対し、|an|*(s/M)^n<cs^n
⇒Σ|ak|*(s/M)^k<Σcs^k=c/(1-s)となり、整級数はx=s/M>0で絶対収束する
⇒定理よりρがただ一つ定まり、0<s/M<1/M≦ρ
⇒整級数は0でない収束半径ρを持つ
冗長だろうだけれど
なぜってなら、定理から証明できるからだろう
整級数が収束半径r>0を持つ
⇒定理より、0<x<rとなるxに対し,整級数は絶対収束するためx=1/M(M>1/r)とすると、
|an|(1/M)^n≦Σ|a_k|(1/M)^k<c
となるc>0が存在する
⇒あるc,M>0が存在し、任意のn∈Nに対し|an|<c*M^n
整関数に対し、あるc,M>0が存在し、任意のn∈Nに対し|an|<c*M^n
⇒任意のs(0<s<1)に対し、|an|*(s/M)^n<cs^n
⇒Σ|ak|*(s/M)^k<Σcs^k=c/(1-s)となり、整級数はx=s/M>0で絶対収束する
⇒定理よりρがただ一つ定まり、0<s/M<1/M≦ρ
⇒整級数は0でない収束半径ρを持つ
冗長だろうだけれど
183132人目の素数さん
2019/05/24(金) 20:16:32.27ID:p69bq5ip184132人目の素数さん
2019/05/24(金) 20:21:08.93ID:p69bq5ip 一松信さんの本には、他にも、意味不明な系があります:
2つのべき級数 f(x), g(x) の収束半径がともに ρ 以上ならば、
α*f(x) + β*g(x) の収束半径も ρ 以上である。
f(x)*g(x) の収束半径も ρ 以上である。
という定理の系として、
f(x) の収束半径が 1 以上ならば、 f(x) / (1-x) の収束半径も 1 以上であり、
f(x) / (1 - x) = Σ s_n * x^n, where s_n = a_0 + … + a_n
という命題が書いてあります。
なぜ、この命題を系として書いたのかが謎です。
2つのべき級数 f(x), g(x) の収束半径がともに ρ 以上ならば、
α*f(x) + β*g(x) の収束半径も ρ 以上である。
f(x)*g(x) の収束半径も ρ 以上である。
という定理の系として、
f(x) の収束半径が 1 以上ならば、 f(x) / (1-x) の収束半径も 1 以上であり、
f(x) / (1 - x) = Σ s_n * x^n, where s_n = a_0 + … + a_n
という命題が書いてあります。
なぜ、この命題を系として書いたのかが謎です。
186132人目の素数さん
2019/05/24(金) 21:02:57.90ID:iEAknSd7 将棋は本当に初めから結果が決まってるか?というゲーム理論の話で
次のように証明している人がいるんですが、本当に証明になってますか?
https://twitter.com/cobnutsinterest/status/1131158401474416640
https://twitter.com/5chan_nel (5ch newer account)
次のように証明している人がいるんですが、本当に証明になってますか?
https://twitter.com/cobnutsinterest/status/1131158401474416640
https://twitter.com/5chan_nel (5ch newer account)
187132人目の素数さん
2019/05/24(金) 21:13:43.35ID:stVb4M9/188132人目の素数さん
2019/05/24(金) 21:14:19.82ID:C21poFOI > 3*40^(2*82)+1手以内で将棋は必ず終わる。
これ、正しいのか?
これ、正しいのか?
189132人目の素数さん
2019/05/24(金) 21:15:47.17ID:AGiHugmg ∧__∧
(´∀` )
(⊃⌒*⌒⊂)
/__ノωヽ__
(´∀` )
(⊃⌒*⌒⊂)
/__ノωヽ__
190132人目の素数さん
2019/05/24(金) 22:12:58.57ID:wjGAxwzm >>197
有限確定完全情報ゲームだから最善手をさせば先手必勝、後手必勝、必ず引き分けのいずれかであるのは間違いない。
有限確定完全情報ゲームだから最善手をさせば先手必勝、後手必勝、必ず引き分けのいずれかであるのは間違いない。
191132人目の素数さん
2019/05/24(金) 22:36:38.17ID:QzBYCc3b >>188
> > 3*40^(2*82)+1手以内で将棋は必ず終わる。
> これ、正しいのか?
盤面の状態数を上から考えると、1駒の状態2*82通りの40駒分の組み合わせだから、
3*(2*82)^40+1じゃないかなぁ?
> > 3*40^(2*82)+1手以内で将棋は必ず終わる。
> これ、正しいのか?
盤面の状態数を上から考えると、1駒の状態2*82通りの40駒分の組み合わせだから、
3*(2*82)^40+1じゃないかなぁ?
192132人目の素数さん
2019/05/24(金) 22:40:16.58ID:QzBYCc3b 成るかどうかも考えるないといけないから、3*(2*82*2)^40+1か
重要なのは、どれくらいで抑えられるかではなく、有限かどうかだけだから些末なことだけど
重要なのは、どれくらいで抑えられるかではなく、有限かどうかだけだから些末なことだけど
193132人目の素数さん
2019/05/24(金) 22:58:05.43ID:C21poFOI 全ての局面が3回ずつ現れるたら次は必ず千日手になるってことか
実際にはもっと少ない手数以内で決着or千日手になるはずだけどとりあえず有限であることは間違いないと
数字はどうでもいいとは言え、82ってなんで82?
駒が置かれる場所は盤面81ヶ所駒台2ヶ所の計83ヶ所なんじゃ?
実際にはもっと少ない手数以内で決着or千日手になるはずだけどとりあえず有限であることは間違いないと
数字はどうでもいいとは言え、82ってなんで82?
駒が置かれる場所は盤面81ヶ所駒台2ヶ所の計83ヶ所なんじゃ?
194132人目の素数さん
2019/05/24(金) 23:12:34.83ID:pOJOcqJX >>181
179です
陰関数定理と179の主張が全然つながってるように感じないんですが
そんな難しい事を聞いてるわけじゃないです
例えば
未知定数a、bがあり
a^2+b^2=25
a=3
という二つの条件式があれば2つの未知定数aとbは完全に決定できます
同様に自分の今までの経験則から命題
「線形・非線形にかかわらず条件式と未知数の数が一致すれば全ての未知数を決定できる」
が成り立つと思っています
この命題の真偽を知りたいです
179です
陰関数定理と179の主張が全然つながってるように感じないんですが
そんな難しい事を聞いてるわけじゃないです
例えば
未知定数a、bがあり
a^2+b^2=25
a=3
という二つの条件式があれば2つの未知定数aとbは完全に決定できます
同様に自分の今までの経験則から命題
「線形・非線形にかかわらず条件式と未知数の数が一致すれば全ての未知数を決定できる」
が成り立つと思っています
この命題の真偽を知りたいです
195132人目の素数さん
2019/05/24(金) 23:23:10.57ID:QzBYCc3b196132人目の素数さん
2019/05/24(金) 23:26:53.31ID:O4NwKWTS 反例
z=x^2+y^2
z=0
の解は、{(0,0,0)}
z=x^2+y^2
z=0
の解は、{(0,0,0)}
197132人目の素数さん
2019/05/24(金) 23:34:47.94ID:SggjD1dj 将棋の実現可能局面数は10^68くらいで
トランプ52枚の順列の数(52!)や無量大数(10^68)と同じくらい
http://www.nara-wu.ac.jp/math/personal/shinoda/legal.pdf
トランプ52枚の順列の数(52!)や無量大数(10^68)と同じくらい
http://www.nara-wu.ac.jp/math/personal/shinoda/legal.pdf
198132人目の素数さん
2019/05/24(金) 23:34:57.62ID:C21poFOI199186
2019/05/24(金) 23:49:17.90ID:iEAknSd7 帰納法の部分は特に問題ないんですかね
帰納法ってよくドミノ倒しに例えられますけど、>>186は僕の感覚だとドミノが枝分かれしてる気がしたんです。
つまり、p(k)の盤面を必勝と仮定しても、p(k−1)の盤面ではp(k)の盤面になる手を指すとは限らないから、
それだとp(k)を仮定したことと繋がらない…?無視できる?って混乱中です
帰納法ってよくドミノ倒しに例えられますけど、>>186は僕の感覚だとドミノが枝分かれしてる気がしたんです。
つまり、p(k)の盤面を必勝と仮定しても、p(k−1)の盤面ではp(k)の盤面になる手を指すとは限らないから、
それだとp(k)を仮定したことと繋がらない…?無視できる?って混乱中です
200186
2019/05/24(金) 23:55:19.88ID:iEAknSd7 ああでも結論自体は疑ってないんで申告しときます
201132人目の素数さん
2019/05/24(金) 23:56:19.34ID:stVb4M9/ >>194
「決定」の意味は?
その例だと(a,b)=(3,4),(3,-4)が解だが、解は複数でもいいのか?有限個まで許す?
sin(x)=0は解が無数に存在するが、この場合でも決定されたと考えるの?
無限個でも良いなら意味のない主張になると思うが
体と、条件式として許す関数環の選択は何を取るのか?
「決定」の意味は?
その例だと(a,b)=(3,4),(3,-4)が解だが、解は複数でもいいのか?有限個まで許す?
sin(x)=0は解が無数に存在するが、この場合でも決定されたと考えるの?
無限個でも良いなら意味のない主張になると思うが
体と、条件式として許す関数環の選択は何を取るのか?
202132人目の素数さん
2019/05/25(土) 00:00:35.64ID:WrkDJ1gb >>199
p(k)はk手まで指したときに現れる全ての盤面を集めた集合
なので、p(k-1)から1つ盤面を選ぶとき、その盤面からもう一手指すことで得られる全ての盤面はp(k)に含まれている
だから問題ないと思います
p(k)はk手まで指したときに現れる全ての盤面を集めた集合
なので、p(k-1)から1つ盤面を選ぶとき、その盤面からもう一手指すことで得られる全ての盤面はp(k)に含まれている
だから問題ないと思います
203132人目の素数さん
2019/05/25(土) 00:02:26.84ID:WrkDJ1gb 元ツイートを適当に読んでたんで、念のため読み返したらP(k)の定義が違った
>>202はそのままだと変なので適当に読み替えてください
>>202はそのままだと変なので適当に読み替えてください
204186
2019/05/25(土) 00:10:41.44ID:8RFdlatO はい、集合とも考えました
ただそうすると「もし最善なら…」ていう条件が意味あるのかなと。
p(k)が最善の盤面でなければ、あるl<k以下で、"必敗側に必勝手が存在してしまう矛盾"があるはずです。
それでそもそもこの議論のテーマというのは、「そのp(k)の盤面の中に"必敗側に必勝手が存在してしまう矛盾なく初手まで戻せるような図"が存在するか?」
だと思ったんですがそうではないのですか。
ただそうすると「もし最善なら…」ていう条件が意味あるのかなと。
p(k)が最善の盤面でなければ、あるl<k以下で、"必敗側に必勝手が存在してしまう矛盾"があるはずです。
それでそもそもこの議論のテーマというのは、「そのp(k)の盤面の中に"必敗側に必勝手が存在してしまう矛盾なく初手まで戻せるような図"が存在するか?」
だと思ったんですがそうではないのですか。
205132人目の素数さん
2019/05/25(土) 00:32:08.57ID:WrkDJ1gb >>204
元ツイート見返したけど「最善の盤面」って考え方は出てないと思う
ある盤面における最善手の定義は
「必勝盤面になる手。それが無い場合は必引き分け盤面になる手。それもない場合は(必敗盤面になる手しかないので)どれでもよい」
そして、最善手の種類によって帰納的に盤面の種類を確定させていく、と考えている(ツイートでいう必◯◯(iii)を用いている)
なので
「必敗盤面において必勝手(=必勝盤面に移行する手)が存在する」
ということは起こり得ない
もしそのような手が存在するなら、その盤面はもともと必勝盤面と判別されているから
元ツイート見返したけど「最善の盤面」って考え方は出てないと思う
ある盤面における最善手の定義は
「必勝盤面になる手。それが無い場合は必引き分け盤面になる手。それもない場合は(必敗盤面になる手しかないので)どれでもよい」
そして、最善手の種類によって帰納的に盤面の種類を確定させていく、と考えている(ツイートでいう必◯◯(iii)を用いている)
なので
「必敗盤面において必勝手(=必勝盤面に移行する手)が存在する」
ということは起こり得ない
もしそのような手が存在するなら、その盤面はもともと必勝盤面と判別されているから
206132人目の素数さん
2019/05/25(土) 00:32:38.12ID:wpExpgN8 >>199
局面p(k)が後手手番で先手必勝と仮定すると、
先手手番のp(k-1)はp(k)を含めた先手必勝になる局面になるよう打てばいいからp(k-1)は先手必勝になる
p(k)が先手手番で先手必勝と仮定すると、
後手手番のp(k-1)は、
p(k)を含めたすべての次の局面が先手必勝になるならばp(k-1)は先手必勝になり、
p(k)以外の手に引き分けがあり、先手必敗がなく、すべての次の局面が先手必勝か引き分けならばp(k-1)は引き分けになり、
p(k)以外の手に先手必敗がありすべての次の局面が先手必勝、引き分け、先手必敗ならばp(k-1)は先手必敗になる
問題は、p(k-1)に対応する次の局面の集合(p(k)を含む)がすべて先手必勝、引き分け、先手必敗に割り当てられるかだけれど、
ここで、局面の無限ループが存在せず、どんな局面もどんな手でも有限手で終局になる、ということが効いてくる
これにより、p(k-1)から終局までに現れるすべての局面に先手必勝、引き分け、先手必敗を割り当てることができて、p(k-1)も割り当てることができる
局面p(k)が後手手番で先手必勝と仮定すると、
先手手番のp(k-1)はp(k)を含めた先手必勝になる局面になるよう打てばいいからp(k-1)は先手必勝になる
p(k)が先手手番で先手必勝と仮定すると、
後手手番のp(k-1)は、
p(k)を含めたすべての次の局面が先手必勝になるならばp(k-1)は先手必勝になり、
p(k)以外の手に引き分けがあり、先手必敗がなく、すべての次の局面が先手必勝か引き分けならばp(k-1)は引き分けになり、
p(k)以外の手に先手必敗がありすべての次の局面が先手必勝、引き分け、先手必敗ならばp(k-1)は先手必敗になる
問題は、p(k-1)に対応する次の局面の集合(p(k)を含む)がすべて先手必勝、引き分け、先手必敗に割り当てられるかだけれど、
ここで、局面の無限ループが存在せず、どんな局面もどんな手でも有限手で終局になる、ということが効いてくる
これにより、p(k-1)から終局までに現れるすべての局面に先手必勝、引き分け、先手必敗を割り当てることができて、p(k-1)も割り当てることができる
207132人目の素数さん
2019/05/25(土) 00:39:31.38ID:7SfvPTBV >>157
円Kの周上に相異なる3点A,B,Cがあるとする。円Kの半径をrとする。
O (0, 0)
A (r・cosα, r・sinα)
B (r・cosβ, r・sinβ)
C (r・cosγ, r・sinγ)
D ((3/2)cosβ, (3/2)sinβ)
題意より
2r・sin((β-α)/2) = AB = 1,
2r・sin((γ-α)/2) = AC = 3,
2r・sin((γ-β)/2) = BC,
また
OB: y = (tanβ)x,
α=0 とすると
AC: y = (r-x)/tan(γ/2),
交点Dはこの両式を満足する。
∴ cos(γ/2-β) = 1/tan(γ/2),
r = 2.06707551803854068
{r^6 - 3r^5 + (33/4)r^3 - (117/16)r^2 - (27/8)r + (9/16) = 0 の正根}
sin(β/2) = 1 / 2r = 0.241887630924318018
cosβ = 0.882980748011641818
sinβ = 0.469409201700181301
β = 0.48862156358647885663
sin(γ/2) = 3 / 2r = 0.725662892772954
tan(γ/2) = 1.054665301733036072
1/tan(γ/2) = 0.948168104475221164
γ = 1.62399468360912675
BC = 2.222862396800842775
円Kの周上に相異なる3点A,B,Cがあるとする。円Kの半径をrとする。
O (0, 0)
A (r・cosα, r・sinα)
B (r・cosβ, r・sinβ)
C (r・cosγ, r・sinγ)
D ((3/2)cosβ, (3/2)sinβ)
題意より
2r・sin((β-α)/2) = AB = 1,
2r・sin((γ-α)/2) = AC = 3,
2r・sin((γ-β)/2) = BC,
また
OB: y = (tanβ)x,
α=0 とすると
AC: y = (r-x)/tan(γ/2),
交点Dはこの両式を満足する。
∴ cos(γ/2-β) = 1/tan(γ/2),
r = 2.06707551803854068
{r^6 - 3r^5 + (33/4)r^3 - (117/16)r^2 - (27/8)r + (9/16) = 0 の正根}
sin(β/2) = 1 / 2r = 0.241887630924318018
cosβ = 0.882980748011641818
sinβ = 0.469409201700181301
β = 0.48862156358647885663
sin(γ/2) = 3 / 2r = 0.725662892772954
tan(γ/2) = 1.054665301733036072
1/tan(γ/2) = 0.948168104475221164
γ = 1.62399468360912675
BC = 2.222862396800842775
208イナ ◆/7jUdUKiSM
2019/05/25(土) 01:35:36.03ID:jH+6mV44 前>>185
>>157
△ABCの外接円の半径をrとし、直線BOと外接円の交点のうちBでないほうをB'とすると、
BD=r+3/2
DB'=r-3/2
△ABD∽△CB'D(∵2角が等しい)より、
BD=2rかつAC=3に注意しつつACをDで分割すると、
BD:B'D=AD:CD
(r+3/2):(r-3/2)
=(3/2r)(r+3/2):(3/2r)(r-3/2)
AD=(3/2r)(r+3/2)
=(6r+9)/4r
CD=(3/2r)(r-3/2)
=(6r-9)/4r
ピタゴラスの定理より、
AB'=√(BB'^2-AB^2)
=√(4r^2-1)
△AB'D∽△BCD(∵2角が等しい)より、
AB':BC=AD:BD=B'D:CD
{(6r+9)/4r}:(r+3/2)
=(r-3/2):{(6r-9)/4r}
(r+3/2)(r-3/2)={(6r+9)/4r}{(6r-9)/4r}
r^2-9/4=(36r^2-81)/16r^216r^4-36r^2=36r^2-81
16r^4-72r^2+81=0
(4r^2-9)^2=0
4r^2-9=0
r=3/2
(D、B'、Cが一致するのはおかしいけど無視)
BC=AB'(BD/AD)
=√(4r^2-1)・(r+3/2)4r/(6r+9)
=√(4・9/4-1)・(3/2+3/2)4(3/2){6(3/2)+9}
=√8・3・4(3/2)/(9+9)
=2√2・(18/18)
=2√2
>>157
△ABCの外接円の半径をrとし、直線BOと外接円の交点のうちBでないほうをB'とすると、
BD=r+3/2
DB'=r-3/2
△ABD∽△CB'D(∵2角が等しい)より、
BD=2rかつAC=3に注意しつつACをDで分割すると、
BD:B'D=AD:CD
(r+3/2):(r-3/2)
=(3/2r)(r+3/2):(3/2r)(r-3/2)
AD=(3/2r)(r+3/2)
=(6r+9)/4r
CD=(3/2r)(r-3/2)
=(6r-9)/4r
ピタゴラスの定理より、
AB'=√(BB'^2-AB^2)
=√(4r^2-1)
△AB'D∽△BCD(∵2角が等しい)より、
AB':BC=AD:BD=B'D:CD
{(6r+9)/4r}:(r+3/2)
=(r-3/2):{(6r-9)/4r}
(r+3/2)(r-3/2)={(6r+9)/4r}{(6r-9)/4r}
r^2-9/4=(36r^2-81)/16r^216r^4-36r^2=36r^2-81
16r^4-72r^2+81=0
(4r^2-9)^2=0
4r^2-9=0
r=3/2
(D、B'、Cが一致するのはおかしいけど無視)
BC=AB'(BD/AD)
=√(4r^2-1)・(r+3/2)4r/(6r+9)
=√(4・9/4-1)・(3/2+3/2)4(3/2){6(3/2)+9}
=√8・3・4(3/2)/(9+9)
=2√2・(18/18)
=2√2
209132人目の素数さん
2019/05/25(土) 07:59:38.10ID:FJ0FLwJv 千日手をググったらwikiに面白いことが書かれていた
> 以前は「同一局面に戻る同一手順を連続3回」というルールであったが、同一局面に戻る手順が複数ある場合、このルールでは無限に指し手を続けることが可能
手順が2通り(AとBとする)の場合、ABとすれば回避出来ると思ってABABABABABとやってしまうとやっぱり千日手になる
千日手にならないようにするにはどのようにしていけば良いか
(wikiの注釈に一例が載っている)
> 以前は「同一局面に戻る同一手順を連続3回」というルールであったが、同一局面に戻る手順が複数ある場合、このルールでは無限に指し手を続けることが可能
手順が2通り(AとBとする)の場合、ABとすれば回避出来ると思ってABABABABABとやってしまうとやっぱり千日手になる
千日手にならないようにするにはどのようにしていけば良いか
(wikiの注釈に一例が載っている)
210186
2019/05/25(土) 08:07:13.12ID:8RFdlatO >>206
僕はその考え方だと、最終結果が先勝後勝引分になることのみ示しているにすぎず、
はじめからどれかに決まってることまは示してない?(終局まで繋がってるかはわからない)ってチラついたんですが大丈夫そうですね
あるいはそもそも有限確定情報ゲームを仮定したときは、結果を調べ尽くして双方が最適戦略を選択できることを自明とするのか(確かに直感的には自明ですが)
てっきりゲーム理論勉強してマックスミニとかナッシュ均衡やら使わないと証明無理だと思ってたんで意外でした。
僕はその考え方だと、最終結果が先勝後勝引分になることのみ示しているにすぎず、
はじめからどれかに決まってることまは示してない?(終局まで繋がってるかはわからない)ってチラついたんですが大丈夫そうですね
あるいはそもそも有限確定情報ゲームを仮定したときは、結果を調べ尽くして双方が最適戦略を選択できることを自明とするのか(確かに直感的には自明ですが)
てっきりゲーム理論勉強してマックスミニとかナッシュ均衡やら使わないと証明無理だと思ってたんで意外でした。
211132人目の素数さん
2019/05/25(土) 09:14:27.01ID:aewqS/XU f(x) := Σ a_n * x^n の収束半径を ρ > 0 とする。
Σ a_n * x^n の N 項までの部分和を f_N(x) とする。
α を 0 < α < ρ であるような実数とする。
[-α, α] で定義された関数 f(x) - f_N(x) を考える。
max |f(x) - f_N(x)| → 0 (N → ∞) を示せ。
Σ a_n * x^n の N 項までの部分和を f_N(x) とする。
α を 0 < α < ρ であるような実数とする。
[-α, α] で定義された関数 f(x) - f_N(x) を考える。
max |f(x) - f_N(x)| → 0 (N → ∞) を示せ。
212132人目の素数さん
2019/05/25(土) 09:42:22.80ID:/68DekoN >>209
cube-free binary word とかでググれば色々出てくるで
cube-free binary word とかでググれば色々出てくるで
213132人目の素数さん
2019/05/25(土) 17:00:55.44ID:7SfvPTBV214イナ ◆/7jUdUKiSM
2019/05/26(日) 05:18:07.68ID:p0HGxrSD215132人目の素数さん
2019/05/26(日) 08:55:00.59ID:sNedtpWg 質問です。
3頂点がそれぞれx、y、z軸上にある三角形で周の長さが1のもの全体の集合はどのような立体になりますか?
方針でも良いのでアドバイス欲しいです。
3頂点がそれぞれx、y、z軸上にある三角形で周の長さが1のもの全体の集合はどのような立体になりますか?
方針でも良いのでアドバイス欲しいです。
216132人目の素数さん
2019/05/26(日) 11:31:30.68ID:0LLba6BO Thurston の視覚的才能
Thurston というPrinceton の教授になってる人が居るんだけど,
彼について RaoulBott が Michigan 大学に居た頃,彼の入学のテストに関して.
Thurston を合格させるか,させないか,色々と議論になったらしい.
それは,問題を出しても,彼は絵ばかり描いているって言うんだ.
式を全然書かないから本当に分かっているのか,分かっていないのか,分からないって.
彼は視覚的な独特の才能を持ってるんですね.だから,それはそれで良いんです.
それで Princeton 大学の教授にもなった.そういう人も居る訳です
Thurston というPrinceton の教授になってる人が居るんだけど,
彼について RaoulBott が Michigan 大学に居た頃,彼の入学のテストに関して.
Thurston を合格させるか,させないか,色々と議論になったらしい.
それは,問題を出しても,彼は絵ばかり描いているって言うんだ.
式を全然書かないから本当に分かっているのか,分かっていないのか,分からないって.
彼は視覚的な独特の才能を持ってるんですね.だから,それはそれで良いんです.
それで Princeton 大学の教授にもなった.そういう人も居る訳です
217132人目の素数さん
2019/05/26(日) 12:44:54.80ID:PhFweWk2218132人目の素数さん
2019/05/26(日) 16:30:36.00ID:qQH2lLNx 誰か>>88について教えてくれ
要するに100万×0.9=90万 90万×0.9=81万 81万×0.9=72.9万…これを計算し続けてすべてを足していくと最終的に1000万になるとのこと(この説明はわかる)
しかしこれを100万÷0.1の計算だけで導き出せるっていう理屈がわからん
小学生みたいな割り算の感覚しかないから理解できない(100万個の物を0.1ずつ分けたら何人に分けられるか?みたいな感覚しかない)
だれか助けてくれ
要するに100万×0.9=90万 90万×0.9=81万 81万×0.9=72.9万…これを計算し続けてすべてを足していくと最終的に1000万になるとのこと(この説明はわかる)
しかしこれを100万÷0.1の計算だけで導き出せるっていう理屈がわからん
小学生みたいな割り算の感覚しかないから理解できない(100万個の物を0.1ずつ分けたら何人に分けられるか?みたいな感覚しかない)
だれか助けてくれ
219132人目の素数さん
2019/05/26(日) 16:40:45.84ID:e2AgioW7 >>218
S-nS法 で検索
高校数学の理系で習う
元の式と、全体に公比0.9をかけた式を
用意してから、全体を引き算すればよい
100+90+81+72.9+…=S
90+81+72.9+…=0.9S
上から下を引くと
100=S−0.9S=0.1S
求めるSの値は
S=100/(1−0.9)=100/0.1=100×10
S=1000
S-nS法 で検索
高校数学の理系で習う
元の式と、全体に公比0.9をかけた式を
用意してから、全体を引き算すればよい
100+90+81+72.9+…=S
90+81+72.9+…=0.9S
上から下を引くと
100=S−0.9S=0.1S
求めるSの値は
S=100/(1−0.9)=100/0.1=100×10
S=1000
220132人目の素数さん
2019/05/26(日) 16:48:40.78ID:eQuKgZhR >>218
これはどう?
因数分解
1-x^n=(1-x)(1+x+x^2+...+x^(n-1))
から
(1-x^n)/(1-x)=1+x+x^2+...+x^(n-1)
|x|<1、n→∞の時
1/(1-x)=1+x+x^2+...+x^n+x^(n+1)+...
> 要するに100万×0.9=90万 90万×0.9=81万 81万×0.9=72.9万…これを計算し続けてすべてを足していくと最終的に1000万になるとのこと(この説明はわかる)
これに当てはめるなら
1,000,000/(1-0.9)=1,000,000*(1+0.9+0.9^2+...)
これはどう?
因数分解
1-x^n=(1-x)(1+x+x^2+...+x^(n-1))
から
(1-x^n)/(1-x)=1+x+x^2+...+x^(n-1)
|x|<1、n→∞の時
1/(1-x)=1+x+x^2+...+x^n+x^(n+1)+...
> 要するに100万×0.9=90万 90万×0.9=81万 81万×0.9=72.9万…これを計算し続けてすべてを足していくと最終的に1000万になるとのこと(この説明はわかる)
これに当てはめるなら
1,000,000/(1-0.9)=1,000,000*(1+0.9+0.9^2+...)
221132人目の素数さん
2019/05/26(日) 16:49:55.64ID:S0Zsa6pw √(x^2+y^2)+√(y^2+z^2)+√(z^2+x^2) = 1
z=t(0≤t<1)
z=t(0≤t<1)
222132人目の素数さん
2019/05/26(日) 18:22:43.83ID:sNedtpWg >>217
立体にならないってどういうことでしょうか?
立体にならないってどういうことでしょうか?
223132人目の素数さん
2019/05/26(日) 19:14:32.75ID:EUo1aAQg 最後のThe Flawed Proofがg(x)が部分的定数関数となるとき成り立たないのは分かるのですが、その上に3ページにわたって書いてある証明もそのポイントをクリアできていないように思います
というのもk=(g'(x)+v)hなわけですが、これがそもそもの問題となっているg(x+h)-g(x)なのであって、g(x)が定数となっている部分についてはやはりhをどう小さくしてもk=0となってしまうため、kでの除算を含むwは定義できないことになってしまうからです
これについてどうなのでしょうか?他の英サイトの証明もこうしているので有名な手法なので恐らく合っているのでしょうが、それなら私の何が違うのでしょうか
https://i.imgur.com/nVd2Flj.jpg
https://i.imgur.com/gECuyWH.jpg
https://i.imgur.com/l612nZw.jpg
というのもk=(g'(x)+v)hなわけですが、これがそもそもの問題となっているg(x+h)-g(x)なのであって、g(x)が定数となっている部分についてはやはりhをどう小さくしてもk=0となってしまうため、kでの除算を含むwは定義できないことになってしまうからです
これについてどうなのでしょうか?他の英サイトの証明もこうしているので有名な手法なので恐らく合っているのでしょうが、それなら私の何が違うのでしょうか
https://i.imgur.com/nVd2Flj.jpg
https://i.imgur.com/gECuyWH.jpg
https://i.imgur.com/l612nZw.jpg
224132人目の素数さん
2019/05/26(日) 19:26:52.59ID:EImRF/J3 なんというか、画像を参照する気が全く起きない本文
225132人目の素数さん
2019/05/26(日) 19:42:11.90ID:YqL/tp8q うぶな事じゃなくて
やぼな事でもなくて
ボラぼらな事でもなくて、サバな事って何?
やぼな事でもなくて
ボラぼらな事でもなくて、サバな事って何?
226132人目の素数さん
2019/05/26(日) 19:45:13.45ID:dX9hB9Lj ドモアブルの定理の問題解いてるんですが
1 + cosθ + cos2θ・・・・cos nθ と
cos n/2θ sin n+1/2θ / sinθ/2が一致するので証明完了と書いてあります
どこも一致してないように見えますが、この二つは何故一致していると言えるのでしょうか?
1 + cosθ + cos2θ・・・・cos nθ と
cos n/2θ sin n+1/2θ / sinθ/2が一致するので証明完了と書いてあります
どこも一致してないように見えますが、この二つは何故一致していると言えるのでしょうか?
227イナ ◆/7jUdUKiSM
2019/05/26(日) 19:56:47.90ID:p0HGxrSD 前>>214
2sinθ(24-19cosθ-24cos^2θ)=-25+24cosθ+50cos^2θ-48cos^3θ
2sinθ(24-19cosθ-24cos^2θ)=-25+24cosθ+50cos^2θ-48cos^3θ
228132人目の素数さん
2019/05/26(日) 19:58:57.84ID:qQH2lLNx >>219
0.1っていう数字が出てくる理由はその説明で理解できた気がする
でもアホな話だけど100を0.1で割るっていう意味がわからんわ
どうしても100の中に0.1がいくつのあるのか?っていう思考しかできない(この場合1000)
でも90+81+72.9+…って続けても0.1が1000回登場するわけじゃないでしょ
幼稚な質問で申し訳ないが
0.1っていう数字が出てくる理由はその説明で理解できた気がする
でもアホな話だけど100を0.1で割るっていう意味がわからんわ
どうしても100の中に0.1がいくつのあるのか?っていう思考しかできない(この場合1000)
でも90+81+72.9+…って続けても0.1が1000回登場するわけじゃないでしょ
幼稚な質問で申し訳ないが
229132人目の素数さん
2019/05/26(日) 20:10:44.19ID:TNTMyJqf230132人目の素数さん
2019/05/26(日) 20:37:17.13ID:sNedtpWg >>217
楕円になる説明をもう少ししてもらえないでしょうか?
楕円になる説明をもう少ししてもらえないでしょうか?
231132人目の素数さん
2019/05/26(日) 21:34:48.67ID:S0Zsa6pw 平面上に△ABCと点Pがあり、PはPA+PB+PCを最小にする点である。
△ABCの周長をLとするとき、L/2とPA+PB+PCの大小を比較せよ。
△ABCの周長をLとするとき、L/2とPA+PB+PCの大小を比較せよ。
232132人目の素数さん
2019/05/26(日) 21:49:11.81ID:YW6kQwhF233132人目の素数さん
2019/05/26(日) 22:21:34.75ID:ijxfgc+2 合ってるんぢゃね?
題意は、辺長が2の立方体の8頂点。
(1)は、各面を無限に広げた6平面の合併。
(2)は、(0,0,0)や(2,2,2)に接しない6稜を無限に延長した6直線の合併。
(3)は、題意と同じ。
題意は、辺長が2の立方体の8頂点。
(1)は、各面を無限に広げた6平面の合併。
(2)は、(0,0,0)や(2,2,2)に接しない6稜を無限に延長した6直線の合併。
(3)は、題意と同じ。
234132人目の素数さん
2019/05/26(日) 22:33:49.15ID:sNedtpWg >>231
215のヒントですか?
215のヒントですか?
235132人目の素数さん
2019/05/26(日) 23:03:57.66ID:ijxfgc+2 >>231
∠A ≧ 120゚ のとき、P=A
PA + PB + PC = AB + AC,
L/2 = (AB+BC+CA)/2 < AB + AC, (△不等式)
僊BC が120゚以上の頂点を持たないとき、Pはフェルマー点。
PA + PB + PC = x + y + z,
∠APB = ∠BPC = ∠CPA = 120゚ だから
AB = √(xx+xy+yy) < x + y,
BC = √(yy+yz+zz) < y + z,
CA = √(zz+zx+xx) < z + x,
L/2 = (AB+BC+CA)/2 < x+y+z,
∠A ≧ 120゚ のとき、P=A
PA + PB + PC = AB + AC,
L/2 = (AB+BC+CA)/2 < AB + AC, (△不等式)
僊BC が120゚以上の頂点を持たないとき、Pはフェルマー点。
PA + PB + PC = x + y + z,
∠APB = ∠BPC = ∠CPA = 120゚ だから
AB = √(xx+xy+yy) < x + y,
BC = √(yy+yz+zz) < y + z,
CA = √(zz+zx+xx) < z + x,
L/2 = (AB+BC+CA)/2 < x+y+z,
236132人目の素数さん
2019/05/26(日) 23:51:49.33ID:JE0JodsY237132人目の素数さん
2019/05/27(月) 00:08:52.39ID:+JClnMId238132人目の素数さん
2019/05/27(月) 00:56:04.10ID:E+yPdW4Q 合成関数の微分の証明についてさらに質問なのですが
実数全体で微分可能な実関数f(x), g(x)をとってf(g(x))の微分を考える
ときに、
g(x)が「xを含む正の長さをもつ区間で常に一定値となる」ようなことのない場合g(x+h)-g(x)はhを十分小さくとれば0になることはないから教科書などによく載っている間違った証明でも足りる
xを含む正の長さをもつ区間で一定値となるとき、
その区間の端がxでない場合はhを小さくとればg(x)はつねに一定で、つまり微分は0
端がxである場合は両側微分を考えて0
つまり常にdf(g(x))/dx=f'(g(x))g'(x)
と考えたのですが、この証明(?)はg(x)=(x^2)sin(1/x) (g(0)=0とすれば微分可能)
のときにもあてはまるのでしょうか?
f(g(x))のx=0での微分係数を考えると、g(x)は原点付近で無限回振動するのでどのような原点を含む小さい区間をとってもその区間の内側にg(0+h)-g(0)=0、つまりg(h)=0なるhがあるわけです
実数全体で微分可能な実関数f(x), g(x)をとってf(g(x))の微分を考える
ときに、
g(x)が「xを含む正の長さをもつ区間で常に一定値となる」ようなことのない場合g(x+h)-g(x)はhを十分小さくとれば0になることはないから教科書などによく載っている間違った証明でも足りる
xを含む正の長さをもつ区間で一定値となるとき、
その区間の端がxでない場合はhを小さくとればg(x)はつねに一定で、つまり微分は0
端がxである場合は両側微分を考えて0
つまり常にdf(g(x))/dx=f'(g(x))g'(x)
と考えたのですが、この証明(?)はg(x)=(x^2)sin(1/x) (g(0)=0とすれば微分可能)
のときにもあてはまるのでしょうか?
f(g(x))のx=0での微分係数を考えると、g(x)は原点付近で無限回振動するのでどのような原点を含む小さい区間をとってもその区間の内側にg(0+h)-g(0)=0、つまりg(h)=0なるhがあるわけです
239132人目の素数さん
2019/05/27(月) 01:13:05.10ID:484O1ETA 全実数xに対し、どのような正の実数εを持ってきてもsup|f(x)-x|<εかつsup|f'(x)-1|<εが成立するC1級同相写像の例を教えてください。
240132人目の素数さん
2019/05/27(月) 01:15:10.10ID:484O1ETA >>239
一次関数以外でなるべく沢山お願いします
一次関数以外でなるべく沢山お願いします
241132人目の素数さん
2019/05/27(月) 07:59:38.93ID:TuF62y7v242132人目の素数さん
2019/05/27(月) 08:39:29.52ID:dzzva9VB >>232
こういうので必要でも十分でもないが答えになるのはじめてみた
こういうので必要でも十分でもないが答えになるのはじめてみた
243132人目の素数さん
2019/05/27(月) 10:48:17.47ID:LqIW+50N >>232
(2)は十分条件じゃないかな
(2)は十分条件じゃないかな
244132人目の素数さん
2019/05/27(月) 10:53:12.33ID:BkwI/Det >>243
さすがにそれはない
さすがにそれはない
245132人目の素数さん
2019/05/27(月) 11:02:28.89ID:LqIW+50N >>244
はい。間違いでした。
「必要でも十分でもない」を示すには
一方のみで成立する条件と
他方のみで成立する条件をそれぞれ示せば良い
今回の(2)の場合
x=y=z=0 と x=0,y=1,z=2 がそれにあたる
はい。間違いでした。
「必要でも十分でもない」を示すには
一方のみで成立する条件と
他方のみで成立する条件をそれぞれ示せば良い
今回の(2)の場合
x=y=z=0 と x=0,y=1,z=2 がそれにあたる
246132人目の素数さん
2019/05/27(月) 13:45:20.06ID:6tNNPkVA247132人目の素数さん
2019/05/27(月) 13:49:11.73ID:+JClnMId248132人目の素数さん
2019/05/27(月) 14:08:10.51ID:Z5293sjg 算数案件は数学板から外すべき
249132人目の素数さん
2019/05/27(月) 14:20:59.03ID:BkwI/Det 算数案件はともかく、超算数案件はな・・・
250132人目の素数さん
2019/05/27(月) 14:24:42.84ID:39eeJyxr251132人目の素数さん
2019/05/27(月) 14:42:12.13ID:X2qFg8ll このスレに合わないと思うなら小中学スレに誘導すればいいだろう
252132人目の素数さん
2019/05/27(月) 15:05:59.84ID:D+NmdyiT 難関私立の算数のようなものならともかく、ただの計算は、、、
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★3 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場! パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★2 [煮卵★]
- 【MLB】大谷翔平、第2子誕生へ 育休でチームを離脱 球団が発表…週末には復帰予定 長女誕生から1年 ★2 [jinjin★]
- 【テレ東音楽祭】長渕剛、テレ東初出演!『とんぼ』『乾杯』熱唱へ 酒井法子は『碧いうさぎ』歌唱 [Ailuropoda melanoleuca★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★109【メキシコ/カナダ/アメリカ】
- 巨専】 ★2
- 〓たかせん〓 ★2
- ハム専 ★2
- 西武線 ★2
- 【MLB】ドジャース vs オリオールズ ★3
- ⛵👒👊☠👊🏝🏡
- なんで日本人ってどうしても戦争したがるの?戦闘民族なの? [773738893]
- 【悲報】トランプ、中国再訪へへ [834922174]
- 愛国者「日本国民って優秀なのになんで国会議員だけ無能なの?」→20万いいね [834922174]
- 【悲報】🍕ビザ一斉値上げ、7月から
- 「柴犬いらねぇ…」後悔する人が多数…なぜ? [412873597]