フェルマーの最終定理の証明 (791ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
465: １３２人目の素数さん [] 07/23(水)11:44 ID:N9YccJaz(1/6)
Q? √(6&2^(2x^2+15)/x^(4x+30) ) (x=√2n, n?5) ･････(#12)
x=e^logx 2=e^log2
2^(2x^2+15) = ?(e^log2)?^(2x^2+15)=e^((2x^2+15)log2)
x^(4x+30)=?(e^logx)?^(4x+30)=e^((4x+30)logx)
(2x^2+15)log2 >(4x+30)logx (x?12) ･････(#14)
2^(2x^2+15)/x^(4x+30) =e^((2x^2+15)log2)/e^((4x+30)logx) =e^((2x^2+15)log2-(4x+30)logx)>e^0
√(6&2^(2x^2+15)/x^(4x+30) )>√(e^0 )=1
x=√2n?12 、つまりn?72
37?n?71⇒n?73?2n
19?n?36⇒n?37?2n
10?n?18⇒n?19?2n
6?n?9⇒n?11?2n
n=4,5⇒n?7?2n
n=3⇒3?6?6
n=2⇒2?3?4
n=1⇒1?2?2
471: １３２人目の素数さん [] 07/23(水)15:13 ID:N9YccJaz(2/6)
g^' (x)=-log(x)+log(n-x)+log(p)-log(1-p)
g^'' (x)=-1/x+(-1)/(n-x)=-(1/x+1/(n-x))=-((n-x+x)/x(n-x) )=-n/x(n-x)
g^'' (μ)=-n/μ(n-μ) =-n/np(n-np) =-1/p(n-np)
=-1/np(1-p) =-1/σ^2
g(x)?g(μ)+(g^' (μ))/1! (x-μ)+(g^'' (μ))/2! (x-μ)^2
=g(μ)-1/(2σ^2 ) (x-μ)^2
g(x)=log(f_B (x))だから
f_B (x)=e^g(x) ?exp(g(μ)-(x-μ)^2/(2σ^2 ))
=e^g(μ) e^(-(x-μ)^2/(2σ^2 ))=Ce^(-(x-μ)^2/(2σ^2 ))
C∫_(-∞)^∞?? e^(-(x-μ)^2/(2σ^2 )) ? dx=1
z=(x-μ)/σ とおくと dz=1/σ dx dx=σdz
x:-∞→∞ のとき z:-∞→∞
C∫_(-∞)^∞?? e^(-(x-μ)^2/(2σ^2 )) ? dx= C∫_(-∞)^∞?? e^(-z^2/2) ? σdz= Cσ∫_(-∞)^∞?? e^(-z^2/2) ? dz
= Cσ∫_(-∞)^∞?? e^(-z^2/2) ? dz
472: １３２人目の素数さん [] 07/23(水)15:14 ID:N9YccJaz(3/6)
M(θ)=E[e^θX ]=∫_(-∞)^∞??e^θx f(x)dx?
M(θ)=E[e^θX ]=1/(√2π σ) ∫_(-∞)^∞??e^θx e^(-(x-μ)^2/(2σ^2 )) ? dx=1/(√2π σ) ∫_(-∞)^∞?e^(θx-(x-μ)^2/(2σ^2 )) dx
θx-(x-μ)^2/(2σ^2 )=1/(2σ^2 ) (2σ^2 θx-(x-μ)^2 )=-1/(2σ^2 ) (? (x-μ)?^2-2σ^2 θx )
=-1/(2σ^2 ) (? x?^2+μ^2-2μx-2σ^2 θx )
=-1/(2σ^2 ) (? x?^2-2(μ+σ^2 θ)x+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(μ+σ^2 θ)^2+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(μ^2+2μσ^2 θ+σ^4 θ^2 )+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(2μσ^2 θ+σ^4 θ^2 ) )
=-(x-(μ+σ^2 θ))^2/(2σ^2 )+μθ+(σ^2 θ^2)/2
M(θ)=1/(√2π σ) ∫_(-∞)^∞?e^(θx-(x-μ)^2/(2σ^2 )) dx
=1/(√2π σ) ∫_(-∞)^∞?e^((-(x-(μ+σ^2 θ))^2/(2σ^2 )+μθ+(σ^2 θ^2)/2) ) dx
=1/(√2π σ) e^(μθ+(σ^2 θ^2)/2) ∫_(-∞)^∞?e^((-(x-(μ+σ^2 θ))^2/(2σ^2 )) ) dx
t=(x-(μ+σ^2 θ))/(√2 σ) x=√2 σt+μ+σ^2 θ dx=√2 σdt
(x-(μ+σ^2 θ))^2/(2σ^2 )=((x-(μ+σ^2 θ))/(√2 σ))^2=t^2
-∞<x?∞ ⇒-∞<t?∞
473: １３２人目の素数さん [] 07/23(水)15:16 ID:N9YccJaz(4/6)
1/(√2π σ) e^(μθ+(σ^2 θ^2)/2) ∫_(-∞)^∞?e^((-(x-(μ+σ^2 θ))^2/(2σ^2 )) ) dx=1/(√2π σ) e^(μθ+(σ^2 θ^2)/2) ∫_(-∞)^∞?e^(-t^2 ) √2 σdt
=1/√π e^(μθ+(σ^2 θ^2)/2) ∫_(-∞)^∞?e^(-t^2 ) dt=e^(μθ+(σ^2 θ^2)/2)
∴M(θ)=e^(μθ+(σ^2 θ^2)/2)
M^' (θ)=e^(μθ+(σ^2 θ^2)/2) (μ+θσ^2 )=M(θ)(μ+θσ^2 )
M^'' (θ)= M^' (θ)(μ+θσ^2 )+ M(θ) σ^2
E[X]=M^' (0)=M(0)μ=e^0 μ=μ
E[X^2 ]=M^'' (0)= M^' (0)(μ+0σ^2 )+ M(0) σ^2=μ^2+σ^2
V[X]= E[X^2 ]-?E[X]?^2=σ^2
474: １３２人目の素数さん [] 07/23(水)15:17 ID:N9YccJaz(5/6)
(x+1)^2020=(x+1)^(2?1010)=(x^2+2x+1)^1010 =((x^2+1)+2x)^1010
((x^2+1)+2x)^1010
=(x^2+1)^1010+1010(x^2+1)^1009 2x+(_1010^ )C_2 (x^2+1)^1008 (2x)^2+
?+1010(x^2+1) (2x)^1009+(2x)^1010
(2x)^1010以外の項はx^2+1の倍数なのでpを適当な整数とすると
((x^2+1)+2x)^1010=p(x^2+1)+(2x)^1010……?
(2x)^1010=(4x^2 )^505=((4x^2+4)-4)^505
((4x^2+4)-4)^505
=(4x^2+4)^505+505(4x^2+4)^504 (-4)+(_505^ )C_2 (4x^2+4)^1008 (-4)^2+
?+505(4x^2+4) (-4)^1009+(-4)^1010
(-4)^1010以外の項は4x^2+4の倍数なのでqを適当な整数とすると
((4x^2+4)-4)^505=q(4x^2+4)+(-4)^1010
=4q(x^2+1)+(-2)^505 2^505
=4q(x^2+1)-2^1010……?
??より
(x+1)^2020=p(x^2+1)+(2x)^1010
=p(x^2+1)+4q(x^2+1)-2^1010
=(x^2+1)(p+4q)-2^1010
475: １３２人目の素数さん [] 07/23(水)15:29 ID:N9YccJaz(6/6)
I=∫_0^2023?2/(x+e^x ) dx と置く。
x?0⇒0<x<e^xであるから、
2/(2e^x )<2/(x+e^x )<2/e^x ∴1/e^x <2/(x+e^x )<2/e^x
∫_0^2023?e^(-x) dx<I<∫_0^2023??2e^(-x) ? dx
[-?(■( @e^(-x) )@ )]_0^2023=-?(■( @e^(-2023) )@ )+1
1-?(■( @e^(-2023) )@ )<I<2-2e^(-2023)<2????????
f(x)=2/(x+e^x )
f^' (x)=-2(1+e^x )/(x+e^x )^2 =-(2+2e^x)/(x+e^x )^2 <0 (単調減少)
f^'' (x)=-(2e^x (x+e^x )^2-2(1+e^x )2(x+e^x )(1+e^x ))/(x+e^x )^4
=(4(1+e^x )^2 (x+e^x )-2e^x (x+e^x )^2)/(x+e^x )^4
=(4(1+e^x )^2-2e^x (x+e^x ))/(x+e^x )^3 >(4(1+e^x )^2-2e^x (e^x+e^x ))/(x+e^x )^3
> (4(1+e^x )^2-4(e^x )^2)/(x+e^x )^3 >0 (下に凸)
(1,f(1))におけるの接線の方程式は
y- f(1)=f^' (1)(x-1)
y- 2/(1+e)=-2(1+e)/(1+e)^2 (x-1)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s