フェルマーの最終定理の証明 (586ﾚｽ)

フェルマーの最終定理の証明 http://rio2016.5ch.net/test/read.cgi/math/1745314067/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

546: １３２人目の素数さん [] 2025/08/01(金) 17:03:07.33 ID:2hip4JpQ ∫_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) http://rio2016.5ch.net/test/read.cgi/math/1745314067/546

547: １３２人目の素数さん [] 2025/08/01(金) 17:04:10.07 ID:2hip4JpQ 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 http://rio2016.5ch.net/test/read.cgi/math/1745314067/547

548: １３２人目の素数さん [] 2025/08/01(金) 17:05:03.84 ID:2hip4JpQ 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 は整数) http://rio2016.5ch.net/test/read.cgi/math/1745314067/548

549: １３２人目の素数さん [] 2025/08/01(金) 17:05:58.73 ID:2hip4JpQ 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) http://rio2016.5ch.net/test/read.cgi/math/1745314067/549

550: １３２人目の素数さん [] 2025/08/01(金) 17:07:23.92 ID:2hip4JpQ 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) http://rio2016.5ch.net/test/read.cgi/math/1745314067/550

554: １３２人目の素数さん [] 2025/08/01(金) 21:29:42.07 ID:2hip4JpQ ∫_α^β??(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 http://rio2016.5ch.net/test/read.cgi/math/1745314067/554

555: １３２人目の素数さん [] 2025/08/01(金) 21:30:16.09 ID:2hip4JpQ ∂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 ??? http://rio2016.5ch.net/test/read.cgi/math/1745314067/555

556: １３２人目の素数さん [] 2025/08/01(金) 21:31:06.55 ID:2hip4JpQ 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 http://rio2016.5ch.net/test/read.cgi/math/1745314067/556

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.023s