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

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

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

---

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

---

591: １３２人目の素数さん [] 2025/08/07(木) 04:29:23.34 ID:jDc0ZGtb ∫_α^β??(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/591

592: １３２人目の素数さん [] 2025/08/07(木) 04:30:01.23 ID:jDc0ZGtb 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?∞ http://rio2016.5ch.net/test/read.cgi/math/1745314067/592

593: １３２人目の素数さん [] 2025/08/07(木) 04:30:55.00 ID:jDc0ZGtb y''+6y'+10y=2sin(x). D^2+6D+10=0. D=-3±i (D^2+6D+10)y=2sin(x) (D-(-3+i))(D-(-3-i))y=i(e^(-ix)-e^ix) y=1/(D-(-3+i))∙1/(D-(-3-i)) i(e^(-ix)-e^ix) a=-3+i, b = -3-i, f(x)=i(e^(-ix)-e^ix) と置くと y=1/(D-a)∙1/(D-b) f(x)=1/(D-b)∙1/(D-a) f(x) =1/(D-b) e^ax 1/D e^(-ax) f(x)=1/(D-b) e^ax ∫▒〖e^(-ax) f(x)〗 dx =e^bx 1/D e^(-bx) e^ax ∫▒〖e^(-ax) f(x)〗 dx =e^bx 1/D e^(a-b)x ∫▒〖e^(-ax) f(x)〗 dx =e^bx ∫▒(e^(a-b)x ∫▒〖e^(-ax) f(x)〗 dx) dx =e^(-(3+i)x) ∫▒(e^2ix ∫▒〖e^((3-i)x) i(e^(-ix)-e^ix)〗 dx) dx =e^(-(3+i)x) ∫▒(〖ie〗^2ix ∫▒〖e^((3-2i)x)-e^3x 〗 dx) dx =e^(-(3+i)x) i∫▒e^2ix (e^((3-2i)x)/(3-2i)-e^3x/3+A)dx =e^(-(3+i)x) i∫▒〖e^3x/(3-2i)-e^((3+2i)x)/3+A〗 e^2ix dx =e^(-(3+i)x) (〖ie〗^3x/(3(3-2i))-〖ie〗^((3+2i)x)/(3(3+2i))+A (i2e^2ix)/2i+B) =e^(-ix) e^(-3x) ((ie^3x)/(3(3-2i))-(〖ie〗^2ix e^3x)/(3(3+2i))+Ae^2ix+B) =e^(-ix) (i/(3(3-2i))-〖ie〗^2ix/(3(3+2i))+Ae^((2i-3)x)+Be^(-3x) ) =(ie^(-ix))/(3(3-2i))-(ie^ix)/(3(3+2i))+Ae^((i-3)x)+Be^(-(3+i)x) =i (3+2i)/3∙(cosx-isinx)/13-i (3-2i)/3∙(cosx+isinx)/13+e^(-3x) (Ae^ix+Be^(-ix)) =i (4icosx-6isinx)/39+e^(-3x) (Acosx+iAsinx+Bcosx-iBsinx) =(-4cosx+6sinx)/39+e^(-3x) ((A+B)cosx+i(A-B)sinx) =2sinx/13-4cosx/39+e^(-3x) (C_1 cosx+C_2 sinx) http://rio2016.5ch.net/test/read.cgi/math/1745314067/593

603: １３２人目の素数さん [] 2025/08/07(木) 11:23:08.78 ID:jDc0ZGtb ∫_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/603

604: １３２人目の素数さん [] 2025/08/07(木) 11:23:32.37 ID:jDc0ZGtb E(t)=Ri(t)+1/C ∫?i(t) dt i(t)=dq(t)/dt ∫?dq(t)/dt dt=q(t) E(t)=R dq(t)/dt+q(t)/C L[Rq^' ]=RsQ(s)-Rq(0)=RsQ(s) L[q(t)/C]=Q(s)/C L[E]=E/s E/s=RsQ(s)+Q(s)/C=Q(s)(Rs+1/C) Q(s)= E/s 1/(Rs+1/C)=E/s(Rs+1/C) =(E/R)/s(s+1/CR) =E/R 1/s(s+1/CR) 1/s(s+1/CR) =A/s+B/(s+1/CR) 1=A(s+1/CR)+Bs s=0⇒A/CR=1 A=CR s=-1/CR⇒-B 1/CR=1 B=-CR Q(s)=E/R (A/s+B/(s+1/CR))=E/R (CR/s-CR/(s+1/CR))=CE/s-CE/(s+1/CR) L^(-1) [CE/s-CE/(s+1/CR)]=CE(L^(-1) [1/s-1/(s+1/CR)])=CE(1-e^(-1/CR t) ) http://rio2016.5ch.net/test/read.cgi/math/1745314067/604

605: １３２人目の素数さん [] 2025/08/07(木) 11:26:54.80 ID:jDc0ZGtb 　　n↑= h↑/|h↑| = (2/3, 2/3, -1/3). 　　　　　　┌　┐┌　　┐ 　　　　　　｜ x｜｜ 2/3｜ 　　A↑･n↑=｜2y｜｜ 2/3｜= 2x/3 + 4y/3 - z/3. 　　　　　　｜ z｜｜-1/3｜ 　　　　　　└　┘└　　┘ 　　2x/3 + 4y/3 - z/3 　= 2x/3 + 4y/3 - (2x + 2y - 2)/3 = 2y/3 + 2/3. 　　dxdy = dS|cosγ| = dS/3.　　dS = 3dxdy. 　　∬_SA↑･n↑dS = ∬_S(2y/3+ 2/3)3dxdy 　　 1 1-x　　　　　　　1　　　　 1-x 　= ∫∫ 2y + 2 dydx = ∫ [y^2 + 2y]　 dx 　　 0 0　　　　　　　　0　　　　　0 　　 1　　　　　　　　　　　　1 　= ∫(1-x)^2 + 2(1-x) dx = ∫ x^2 - 4x + 3 dx 　　 0　　　　　　　　　　　　0 　　　　　　　　　　　1 　= [x^3/3 - 2x^2 + 3x]　= 1/3 - 2 + 3 = 4/3. 　　　　　　　　　　　0 http://rio2016.5ch.net/test/read.cgi/math/1745314067/605

606: １３２人目の素数さん [] 2025/08/07(木) 11:29:58.49 ID:jDc0ZGtb 　　OP↑= r↑(t) = ( x(t), y(t) ). 　　OQ↑= r↑(t+Δt) = ( x(t+Δt), y(t+Δt) ). 　　Δs = |Δr↑| = |r↑(t+Δt) - r↑(Δt)|. ･････(#5-1) 　　RΔθ≒Δs,　　1/R≒Δθ/Δs 　　1/R = dθ/ds = lim[Δt→0]Δθ/Δs 　　dr/dt = r'(t). 　　r↑'(t) = ( x'(t), y'(t) ). 　　r↑'(t+Δt) = ( x'(t+Δt), y'(t+Δt) ). 　　r↑'(t) = r↑' = (x', y') 　　r↑'(t+Δt) = rQ↑' = (xQ', yQ') 　　|r↑'||rQ↑'|sinΔθ = det(r↑', rQ↑') 　　　　　　　　　　 det(r↑', rQ↑') 　　Δθ≒sinΔθ = ────────. 　　　　　　　　　　　|r↑'||rQ↑' 　　det(r↑', rQ↑') = |x'　xQ'| 　 |y'　yQ'| = x'yQ' - xQ'y' = x'yQ' - x'y' + x'y' - xQ'y' = x'(yQ' - y') - y'(xQ' - x') = x'(y'(t+Δt) - y') - y'(x'(t+Δt) - x'). 　　|r↑'||rQ↑' = √((x')^2 + (y')^2)*√((x'(t+Δt))^2 + (y'(t+Δt))^2) http://rio2016.5ch.net/test/read.cgi/math/1745314067/606

610: １３２人目の素数さん [] 2025/08/07(木) 21:57:53.92 ID:jDc0ZGtb 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/610

611: １３２人目の素数さん [] 2025/08/07(木) 21:58:21.19 ID:jDc0ZGtb E(t)=Ri(t)+1/C ∫?i(t) dt i(t)=dq(t)/dt ∫?dq(t)/dt dt=q(t) E(t)=R dq(t)/dt+q(t)/C L[Rq^' ]=RsQ(s)-Rq(0)=RsQ(s) L[q(t)/C]=Q(s)/C L[E]=E/s E/s=RsQ(s)+Q(s)/C=Q(s)(Rs+1/C) Q(s)= E/s 1/(Rs+1/C)=E/s(Rs+1/C) =(E/R)/s(s+1/CR) =E/R 1/s(s+1/CR) 1/s(s+1/CR) =A/s+B/(s+1/CR) 1=A(s+1/CR)+Bs s=0⇒A/CR=1 A=CR s=-1/CR⇒-B 1/CR=1 B=-CR Q(s)=E/R (A/s+B/(s+1/CR))=E/R (CR/s-CR/(s+1/CR))=CE/s-CE/(s+1/CR) L^(-1) [CE/s-CE/(s+1/CR)]=CE(L^(-1) [1/s-1/(s+1/CR)])=CE(1-e^(-1/CR t) ) http://rio2016.5ch.net/test/read.cgi/math/1745314067/611

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.028s