フェルマーの最終定理の証明 (692ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
646: １３２人目の素数さん [] 2025/08/18(月) 08:04:31.53 ID:FBCMZJZX(1/3) 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)
647: １３２人目の素数さん [] 2025/08/18(月) 08:05:00.85 ID:FBCMZJZX(2/3) 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
648: １３２人目の素数さん [] 2025/08/18(月) 08:11:38.90 ID:FBCMZJZX(3/3) AAS
f^((k) ) (z)=(n!/2πi)?_Cf(ζ)/(ζ-z)^(k+1)dζ
?@)n=1のとき
f(z)=1/( 2πi) ?_Cf(ζ)/((ζ-z) ) dζ
f(z+h)=1/( 2πi) ?_Cf(ζ)/(ζ-(z+Δz) ) dζ
f(z+h)-f(z)=1/( 2πi) ?_Cf(ζ)/(ζ-(z+h) )-f(ζ)/((ζ-z) ) dζ
=1/( 2πi) ?_Cf(ζ)((ζ-z)-(ζ-z-h))/(ζ-z-h)(ζ-z)dζ
=1/( 2πi) ?_Cf(ζ)(ζ-z-ζ+z+h)/(ζ-z-h)(ζ-z)dζ
=1/( 2πi) ?_Cf(ζ)h/(ζ-z-h)(ζ-z)dζ
=h/( 2πi) ?_Cf(ζ)/(ζ-z-h)(ζ-z)dζ
( f(z+h)-f(z))/h=1/( 2πi) ?_Cf(ζ)/(ζ-z-h)(ζ-z)dζ
h→0
f'(z)= f^((1)) (z)=1/2πi ?_C(f(ζ))/(ζ-z)^2dζ
?A)n=k(k=1,2,3,…)のとき
f^((k)) (z)=k!/2πi ?_C(f(ζ))/(ζ-z)^(k+1)dζ ⇒f^((k+1)) (z)=(k+1)!/( 2πi) ?_Cf(ζ)/(ζ-z)^(k+2)dζ
f^((k)(z+h)- f^((k) ) (z))/h
=k!/( 2πih) ?_Cf(ζ)/(ζ-(z+h))^(k+1) -f(ζ)/(ζ-z)^(k+1)dζ
=k!/( 2πih) ?_C((ζ-z)^(k+1)-(ζ-z-h)^(k+1))/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ??※
(a+b)^(k+1)
=(_k+1^ )C_0 a^n b^0+(_k+1^ )C_1 a^(k+1-1) b^1+(_k+1^ )C_2 a^(k+1-2) b^2+?+(_k+1^ )C_r a^(k+1-r) b^r+?+b^(k+1)
=a^(k+1)+(k+1) a^k b+(_k+1^ )C_2 a^(k-1) b^2+?+(_k+1^ )C_r a^(k+1-r) b^r+? +b^(k+1)
(ζ-z-h)^(k+1)
=(ζ-z)^(k+1)-(k+1) (ζ-z)^k h + (_k+1^ )C_2 (ζ-z)^(k-1) h^2-?+h^(k+1)
(ζ-z)^(k+1)-(ζ-z-h)^(k+1)
=(k+1) (ζ-z)^k h-(_k+1^ )C_2 (ζ-z)^(k-1) h^2+?-h^(k+1)
( f^((k) ) (z+h)- f^((k) ) (z))/h
=k!/( 2πih) ?_C((k+1) (ζ-z)^k h-(_k+1^ )C_2 (ζ-z)^(k-1) h^2+?-h^(k+1))/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ
=(k+1)!/( 2πi) ?_Cf(ζ)/((ζ-z-h)^(k+1) (ζ-z) ) dζ-k!/( 2πi) ?_C((_k+1^ )C_2 (ζ-z)^(k-1) h-?+h^k)/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ
h→0
f^((k+1)) (z)=(k+1)!/(2πi) ?_Cf(ζ)/(ζ-z)^(k+2)dζ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s