フェルマーの最終定理の証明 (850レス)
上下前次1-新
抽出解除 レス栞
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
16: 与作 [] 04/23(水)21:57:44.10 ID:167XbawO(14/16)
nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nをy^n=(x+1)^n-x^n…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/k…(2)とおく。
(2)は(y-1)=knとすると、両辺の分子の偶奇は一致しない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
200: 与作 [] 06/14(土)18:04:53.10 ID:b7Hd/XxU(1/15)
nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nをy^n=(x+1)^n-x^n…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^(n-1)+…+y+1)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)≠(x^(n-1)+…+x)となる。
(2)を(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/k…(3)とおく。
(3)は(y-1)=knのとき、(y^(n-1)+…+y+1)≠(x^(n-1)+…+x)/kとなる。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
407: 132人目の素数さん [] 07/18(金)16:32:05.10 ID:QNG/Z1cz(8/12)
s=σ+jω ds=jdω ω: -∞ → ∞
s? σ-j∞→σ+j∞
g(t)=1/2π ∫_(-∞)^∞??F(s) e^jωt ? dω=1/2πj ∫_(σ-j∞)^(σ+j∞)??F(s) e^jωt ? ds
f(t) e^(-σt)=f(t)/e^σt =1/2πj ∫_(σ-j∞)^(σ+j∞)??F(s) e^jωt ? ds
f(t)=1/2πj ∫_(σ-j∞)^(σ+j∞)??F(s) e^σt e^jωt ? ds=1/2πj ∫_(σ-j∞)^(σ+j∞)??F(s) e^(σ+jω)t ? ds
∴f(t)=1/2πj ∫_(σ-j∞)^(σ+j∞)??F(s) e^st ? ds ラプラス逆変換 ???
540: 132人目の素数さん [] 07/31(木)09:24:01.10 ID:QyItRY8I(3/5)
∫_α^β??(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
563: 132人目の素数さん [] 08/02(土)10:22:37.10 ID:JM3Uouko(4/8)
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) )
576: 132人目の素数さん [] 08/03(日)19:46:11.10 ID:FKrzG2hZ(3/4)
(p⇒q∧q⇒r) ⇒ (p⇒r)
⇔¬(p⇒q∧q⇒r)∨(¬p∨r)
⇔¬{ (¬p∨q)∧(¬q∨r) }∨(¬p∨r)
⇔ {¬(¬p∨q)∨¬(¬q∨r) }∨(¬p∨r)
⇔ { (p∧¬q)∨(q∧¬r) }∨(¬p∨r)
⇔ (p∧¬q)∨(q∧¬r)∨¬p∨r
⇔ {¬p∨(p∧¬q)} ∨ {r∨(q∧¬r)}
⇔ {(¬p∨p)∧(¬p∨¬q)} ∨ {(r∨q)∧(r∨¬r)}
⇔ (¬q∨¬p)∨(q∨r)
⇔ ¬q∨q∨¬p∨r ⇔ [T]
706: 132人目の素数さん [] 08/22(金)22:01:24.10 ID:aTp7UHTZ(8/9)
det(r ?,r ?_Q)=|■(x ?&(x_q ) ?@y ?&(y_q ) ? )|=x ?(y_q ) ?-(x_q ) ?(y=) ?x ?(y_q ) ?-x ?y ?+x ?y ?-(x_q ) ?y ?
=x ?(y ?(t+Δt)-y Dt)-y ?(x ?(t+Δt)-x Dt)
Δr ? ?Δr ?_Q ?=√(x ?^2+y ?^2 ) √((x_q ) ?^2+(y_q ) ?^2 )
=√(x ?^2+y ?^2 ) √(?(x ?(t+Δt))?^2+?(y ?(t+Δt))?^2 ).
したがって
Δθ/Δs=(x ?(y ?(t+Δt)-y Dt)-y ?(x ?(t+Δt)-x Dt))/(√(x ?^2+y ?^2 ) √(?(x ?(t+Δt))?^2+?(y ?(t+Δt))?^2 )) 1/Δr(t+Δt)-r(t)?
=((x ?(y ?(t+Δt)-y Dt)-y ?(x ?(t+Δt)-x Dt))/Δt)/(√(x ?^2+y ?^2 ) √(?(x ?(t+Δt))?^2+?(y ?(t+Δt))?^2 )) ΔtΔr(t+Δt)-r(t)?^(-1)
=(x ? ((y ?(t+Δt)-y Dt))/Δt-y ? ((x ?(t+Δt)-x Dt))/Δt)/(√(x ?^2+y ?^2 ) √(?(x ?(t+Δt))?^2+?(y ?(t+Δt))?^2 )) ?(r(t+Δt)-r(t))/Δt?^(-1)
1/R=(lim)┬(Δt→0)??Δθ/Δs?=(x ?y ?-yx ?)/(√(x ?^2+y ?^2 ) √(x ?^2+y ?^2 )) ? Δr ? ??^(-1)
=(x ?y ?-yx ?)/(√(x ?^2+y ?^2 ) √(x ?^2+y ?^2 ) √(x ?^2+y ?^2 ))
=(x ?y ?-yx ?)/(x ?^2+y ?^2 )^(3/2)
R=(x ?^2+y ?^2 )^(3/2)/(x ?y ?-yx ? )
772: 与作 [] 08/31(日)15:06:15.10 ID:UWxBdGA7(5/5)
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
(2)は(y-1)=3のとき、(y^2+y+1)=(x^2+x)とならない。
(2)は成立たないので、(y-1)(y^2+y+1)=k3(x^2+x)/kも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
809: 132人目の素数さん [] 09/09(火)14:24:47.10 ID:e/ezkyR1(5/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?∞
813: 与作 [] 09/09(火)20:54:54.10 ID:O1cy+QbR(6/6)
nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nをy^n=(x+1)^n-x^n…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^(n-1)+…+y+1)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)は成立たないので、(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/kも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
843: 与作 [] 09/14(日)16:19:09.10 ID:IGsk2b10(3/3)
nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nをy^n=(x+1)^n-x^n…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^(n-1)+…+y+1)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)は成立たないので、(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/kも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.027s