フェルマーの最終定理の証明 (692ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
546: 08/01(金)17:03 ID:2hip4JpQ(1/8) AAS
∫_0^∞?(sin(x))/x dx
∂/∂s (e^(-sx) (sin(x))/x)=-xe^(-sx) (sin(x))/x=-e^(-sx) sin(x)
F(s)=∫_0^∞??e^(-sx) (sin(x))/x? dx (s?0)
dF(s)/ds=d/ds ∫_0^∞??e^(-sx) sin?(x)/x? dx
=∫_0^∞??∂/ds e^(-sx) sin?(x)/x? dx
=∫_0^∞??-xe^(-sx) sin?(x)/x? dx=-∫_0^∞??e^(-sx) sin?(x) ? dx
=-∫_0^∞??-1/s (e^(-sx) )^' sin(x)? dx
=∫_0^∞??1/s (e^(-sx) )^' sin(x)? dx
=[1/s e^(-sx) sin(x)]_0^∞-1/s ∫_0^∞??e^(-sx) cos(x)? dx
=0-1/s ∫_0^∞??e^(-sx) cos(x)? dx=-1/s ∫_0^∞???-1/s (e^(-sx) )?^' cos(x)? dx
=1/s^2 ∫_0^∞??(e^(-sx) )^' cos(x)? dx
=[1/s^2 e^(-sx) cos(x)]_0^∞-1/s^2 ∫_0^∞??-e^(-sx) sin(x)? dx
=-1/s^2 +1/s^2 ∫_0^∞??e^(-sx) sin(x)? dx
=-1/s^2 -1/s^2 dF(s)/ds (dF(s)/ds=-∫_0^∞??e^(-sx) sin?(x) ? dx)
547: 08/01(金)17:04 ID:2hip4JpQ(2/8) AAS
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
のとき(#15)は成り立つ。
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
548: 08/01(金)17:05 ID:2hip4JpQ(3/8) AAS
x≡1 (mod 3)
x≡2 (mod 5)
x≡3 (mod 11)
3*5*11 = 165
x≡1 (mod 3) ……?
x≡2 (mod 5) ……?
x≡3 (mod 11) ……?
5x≡5 (mod 15) ……?=?*5
3x≡6 (mod 15) ……?=?*3
6x≡12 (mod 15) ……?=?*2
x≡7 (mod 15) ……?=?-?
11x≡77 (mod 165) ……?=?*7
15x≡45 (mod 165) ……?=?*15
4x≡-32 (mod 165) ……?-?
x≡-8 (mod 165)
∴x = 165k - 8(k は整数)
549: 08/01(金)17:05 ID:2hip4JpQ(4/8) AAS
6x≡3 (mod 15)
2x≡1 (mod 5)
6x≡3 (mod 5)
6≡1, 6x≡x (mod 5)
x≡3≡8≡13 (mod 5)
∴x≡3, 8, 13 (mod 15)
550: 08/01(金)17:07 ID:2hip4JpQ(5/8) AAS
74x≡117 (mod 403)
74x≡1 (mod 403)
403=5*74+33
74=2*33+8
33=4*8+1
1=33-4*8=33-4(74-2*33)
=33-4*74+8*33=9*33-4*74
=9(403-5*74)-4*74=9*403-49*74 (=3627-3626=1)
117*(-49)*74≡117 (403)
-5733*74≡117 (403)
(403*15-5733)*74≡117 (403)
312*74≡117 (403)
554: 08/01(金)21:29 ID:2hip4JpQ(6/8) AAS
∫_α^β??(x-α)^m (β-x)^n ? dx=m!n!/(m+n+1)! (β-α)^(m+n+1)
t=(β-α)x+α dt=(β-α)dx dx=dt/(β-α)
x:0→1 t:α→β
x=(t-α)/(β-α) 1-x=(β-α-(t-α))/(β-α)=(β-t)/(β-α)
∫_0^1?x^m (1-x)^n dx
=∫_α^β??((t-α)/(β-α))^m ((β-t)/(β-α))^n ? dt/(β-α)=∫_α^β?((t-α)^m (β-t)^m)/(β-α)^(m+n+1) dt
=1/(β-α)^(m+n+1) ∫_α^β??(t-α)^m (β-t)^m ? dt=m!n!/(m+n+1)!
∴∫_α^β??(x-α)^m (β-x)^n ? dx=m!n!/(m+n+1)! (β-α)^(m+n+1)
m=1,n=1⇒∫_α^β?(x-α)(x-β) dx=-∫_α^β?(x-α)(β-x) dx
=-1/6 (β-α)^3
m=2,n=1⇒∫_α^β?(x-α)(x-β) dx=-∫_α^β??(x-α)^2 (β-x) ? dx
=-1/12 (β-α)^4
m=2,n=2⇒∫_α^β??(x-α)^2 (x-β)^2 ? dx=∫_α^β??(x-α)^2 (β-x)^2 ? dx
=(2?2)/(5?4?3?2?1) (β-α)^5=1/30 (β-α)^5
555: 08/01(金)21:30 ID:2hip4JpQ(7/8) AAS
∂u/∂t=(∂u^2)/(∂x^2 ) (0<x<1, t>0)
u_x (0,t)=u_x (1,t)=0 境界条件（断熱条件）
u(x,0)=δ(x-1/2) 初期条件
u(x,t)=X(x)T(t)
∂u/∂t=XT^'
∂u/∂x=TX^' (∂u^2)/(∂x^2 )=∂/∂x TX^'=TX^''
XT^'= TX^'' T^'/T=X^''/X
(T^' (t))/T(t) =(X^'' (x))/X(x)
T^'/T=X^''/X=μ
X^''/X=μ X^''-μX=0 ???
T^'/T=μ T^'=μT ???
556: 08/01(金)21:31 ID:2hip4JpQ(8/8) AAS
x ?+ax ?+bx=0 ???
λ^2+aλ+b=0
λ=α, β ⇒ x= C_1 e^αt+C_2 e^βt
λ=α (重解) ⇒ x= C_1 e^αt+C_2 te^βt
λ=α±βi ⇒ x= e^αt (C_1 cos?(βt)+C_2 cos?(βt))
λ^2-μ=0
0^2-4(-μ)=4μ
(?@)μ>0のときλ=±√μなので
X= C_1 e^(√μ x)+C_2 e^(-√μ x)
X^'= C_1 √μ e^(√μ x)-C_2 √μ e^(-√μ x)
境界条件 u_x (0,t)=u_x (1,t)=0より
u_x (0,t)=X^' (0)= C_1 √μ e^0-C_2 √μ e^0=(C_1-C_2 ) √μ=0
μ>0なので
C_1-C_2=0 C_1=C_2
u_x (1,t)=X^' (1)= C_1 √μ e^√μ-C_2 √μ e^(-√μ)=(C_1 e^√μ-C_2 e^(-√μ) ) √μ=0
C_1=C_2なので
(C_1 e^√μ-C_1 e^(-√μ) ) √μ= C_1 (e^√μ-e^(-√μ) ) √μ=0
μ>0、e^√μ-e^(-√μ)≠0なのでC_1=C_2=0
（※e^√μ=e^(-√μ)となるのはμ=0のときだけ）
X(x)=0 ∴u(x,t)=X(x)T(t)=0
(?A)μ=0のとき重解なので
X= C_1 e^0x+C_2 xe^0x=C_1+C_2 x
境界条件 u_x (0,t)=u_x (1,t)=0より
X^' (0)=X^' (1)= C_2=0
X=C_1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.023s