フェルマーの最終定理の証明 (700レス)
上下前次1-新
抽出解除 レス栞
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
16: 与作 04/23(水)21:57:44.10 ID:167XbawO(14/16) AAS
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) AAS
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: 07/18(金)16:32:05.10 ID:QNG/Z1cz(8/12) AAS
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: 07/31(木)09:24:01.10 ID:QyItRY8I(3/5) 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
563: 08/02(土)10:22:37.10 ID:JM3Uouko(4/8) AAS
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: 08/03(日)19:46:11.10 ID:FKrzG2hZ(3/4) AAS
(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]
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.022s