フェルマーの最終定理の証明 (545ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
429: 07/21(月)06:09 ID:W1xjBo9V(1/14) AAS
AA省
430: 07/21(月)06:10 ID:W1xjBo9V(2/14) AAS
lim┬(c→∞)?(∫_1^c??e^(-x) x^(p-1) ? dx)?lim┬(c→∞) n!/(n-p) (1-1/C^(n-p) )=n!/(n-p)
Γ(p)=∫_0^∞??e^(-x) x^(p-1) ? dx
=∫_0^1??e^(-x) x^(p-1) ? dx+lim┬(c→∞)?(∫_1^c??e^(-x) x^(p-1) ? dx)?1/p+n!/(n-p)
431: 07/21(月)06:11 ID:W1xjBo9V(3/14) AAS
AA省
432: 07/21(月)06:12 ID:W1xjBo9V(4/14) AAS
AA省
433: 07/21(月)06:13 ID:W1xjBo9V(5/14) AAS
AA省
434: 07/21(月)06:15 ID:W1xjBo9V(6/14) AAS
AA省
435: 07/21(月)06:17 ID:W1xjBo9V(7/14) AAS
AA省
436: 07/21(月)11:08 ID:W1xjBo9V(8/14) AAS
任意の自然数nに対しn<P?2nを満たす素数Pが存在する。(#15)
nより大きく2 n以下の素数積Qについて
Q? √(6&2^(2x^2+15)/x^(4x+30) ) (x=√2n, n?5) ･････(#12)
が成り立つ。したがって、もし Q>1ならば(#15) が成り立つ。
x=e^logx 2=e^log2
なので
2^(2x^2+15) = ?(e^log2)?^(2x^2+15)=e^((2x^2+15)log2)
省18
437: 07/21(月)11:09 ID:W1xjBo9V(9/14) AAS
log2>2/3 , log2<7/6
は既知とする。
f(x)=(2x^2+15)log2-(4x+30)logx
とおいたとき
x?12⇒f(x)>0
であることを証明すればよい。
f^' (x)= log2?4x-(4 logx-(4x+30)/x)
省7
443: 07/21(月)21:09 ID:W1xjBo9V(10/14) AAS
r(t)=(acos(t), asin(t), ct)
r ?(t)=(-asin(t), acos(t), c)
ds/dt=?dr/dt?=√(a^2 ?sin?^2 (t)+a^2 ?cos?^2 (t)+c^2 )=√(a^2+c^2 )
dt/ds=1/√(a^2+c^2 )
t=dr/ds=dr/dt?dt/ds=1/√(a^2+c^2 ) (-asin?(t), acos?(t), c)
t^' (s)=dt/ds=dt/dt?dt/ds=1/√(a^2+c^2 ) (-acos?(t), ?-asin??(t), 0) 1/√(a^2+c^2 )
=1/(a^2+c^2 ) (-acos?(t), ?-asin??(t), 0)
省4
444: 07/21(月)21:10 ID:W1xjBo9V(11/14) AAS
b=t×n=1/√(a^2+c^2 ) (■(-asin?(t)@acos?(t)@c))×(■(-cos?(t)@?-sin??(t)@0)) ※外積のスカラー倍
=1/√(a^2+c^2 ) |■(i&j&k@-asin?(t)&acos?(t)&c@-cos?(t)&-sin?(t)&0)|
=1/√(a^2+c^2 ) (|■(acos?(t)&c@-sin?(t)&0)|,|■(c&-asin?(t)@0&-cos?(t) )|,|■(-asin?(t)&acos?(t)@-cos?(t)&-sin?(t) )|)
=1/√(a^2+c^2 ) (csin?(t), -?c?cos??(t), a)
b^' (s)=db/ds=db/dt?dt/ds=1/√(a^2+c^2 ) (?c?cos??(t), csin?(t), 0) 1/√(a^2+c^2 )
=1/(a^2+c^2 ) (?c?cos??(t), csin?(t), 0)
b^' (s)=-τn より
省4
445: 07/21(月)21:11 ID:W1xjBo9V(12/14) AAS
?r=r(t+?t)-r(t). ??r?=?s ?R?θ.
R??s/?θ, ?x→0??s→0
1/R=(lim)┬(?x→0)???θ/?s?=dθ/ds
?s=√(??x?^2+??y?^2 )=√((??x?^2+??y?^2)/??x?^2 ??x?^2 )=√(1+(?y/?x)^2 ) ?x
θ。β=θ+?θとおくと
tan(?θ)= tan(β-θ)=(tanβ-tanθ)/(1+tanβtanθ)=(y'(x+?x)-y'(x))/(1+y'(x+?x)y'(x))
?θは微小なので
省4
446: 07/21(月)21:13 ID:W1xjBo9V(13/14) AAS
C:x=x(t),y=y(t)
(OP) ?=r(t)=(x(t),y(t))
(OQ) ?=r(t+?t)=(x(t+?t),y(t+?t))
?s=??r?=?r(t+?t)-r(t)?
R?θ??s,1/R=?θ/?s
1/R=lim┬(?t→0)???θ/?s?=dθ/(ds)
dr/dt=r ?(t)
省10
447: 07/21(月)21:14 ID:W1xjBo9V(14/14) AAS
?θ/?s=(x ?(y ?(t+?t)-y ?(t))-y ?(x ?(t+?t)-x ?(t)))/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) 1/?r(t+?t)-r(t)?
=((x ?(y ?(t+?t)-y ?(t))-y ?(x ?(t+?t)-x ?(t)))/?t)/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) ?t?r(t+?t)-r(t)?^(-1)
=(x ? ((y ?(t+?t)-y ?(t)))/?t-y ? ((x ?(t+?t)-x ?(t)))/?t)/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) ?(r(t+?t)-r(t))/?t?^(-1)
1/R=(lim)┬(?t→0)???θ/?s?=(x ?y ?-yx ?)/(√(x ?^2+y ?^2 ) √(x ?^2+y ?^2 )) ? ?r ? ??^(-1)
=(x ?y ?-yx ?)/(√(x ?^2+y ?^2 ) √(x ?^2+y ?^2 ) √(x ?^2+y ?^2 ))
=(x ?y ?-yx ?)/(x ?^2+y ?^2 )^(3/2)
R=(x ?^2+y ?^2 )^(3/2)/(x ?y ?-yx ? )
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.066s*