フェルマーの最終定理の証明 (873ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
224: 与作 [] 06/16(月)20:39:44.00 ID:+5KRk6vM(3/4)
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は自然数解を持たない。
390: 与作 [] 07/17(木)20:12:38.00 ID:4J9At0pY(15/17)
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)=k3(x^2+x)/k…(2)とおく。
(2)はk=1のとき、(y-1)=3、(y^2+y+1)=(x^2+x)とならない。
(2)がk=1のとき、成立つならば、k=1以外でも成立つ。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
403: 与作 [] 07/18(金)10:33:14.00 ID:CPsIms6C(5/11)
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)=k3(x^2+x)/k…(2)とおく。
(2)はk=1のとき、(y-1)=3、(y^2+y+1)=(x^2+x)とならない。
(2)がk=1のとき、成立つならば、k=1以外でも成立つ。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
580: １３２人目の素数さん [] 08/04(月)08:23:48.00 ID:1IPLg7e8(3/5)
係数 定数
┌ ┐
│a1 a2 a3 │ 1 0 0│
│b1 b2 b3 │ 0 1 0│
│c1 c2 c3 │ 0 0 1│
└ ┘
┌ ┐
│1 0 0 │ p1 p2 p3│
│0 1 0 │ q1 q2 q3│
│0 0 1 │ r1 r2 r3│
└ ┘
x1 = p1. x2 = p2. x3 = p3.
y1 = q1. y2 = q2. y3 = q3.
z1 = r1. z2 = r2. z3 = r3.
┌ ┐
│p1 p2 p3│
A^-1 =│q1 q2 q3│
│r1 r2 r3│
└ ┘
593: １３２人目の素数さん [] 08/07(木)04:30:55.00 ID:jDc0ZGtb(3/9)
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)
620: １３２人目の素数さん [] 08/11(月)15:10:49.00 ID:XI0wb1W4(1/5)
?+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
684: １３２人目の素数さん [] 08/20(水)18:25:51.00 ID:kS5YreVJ(9/9)
y''(t) - 3y'(t) + 2y(t) = e^(-t) ･･･････?（初期条件）y(0) = 1/6, y'(0) = 5/6
k^2 -3k + 2 = (k-1)(k-2) = 0 k = 1, 2
y''(t) - 3'y(t) + 2y(t) = 0
y0 = C1e^t + C2e^(2t)
v(t) = 1/(D-1)(D-2)*e^(-t)
= 1/(D-2)*e^(-t) - 1/(D-1)*e^(-t)
= (-1/3)e^(-t) + (1/2)e^(-t) = (1/6)e^(-t)
y(t) = C1e^t + C2e^(2t) + (1/6)e^(-t)
y(0) = C1 + C2 + 1/6 = 1/6
C1 + C2 = 0 …… ?
y'(t) = C1e^t + C2*2e^(2t) - (1/6)e^(-t)
y'(0) = C1 + C2*2 - 1/6 = 5/6
C1+ 2C2 = 1……?
??より
C1 = -1, C2= 1
y(t) = -e^t +e^(2t) + (1/6)e^(-t)
745: １３２人目の素数さん [] 08/29(金)23:13:36.00 ID:4OcLYpFC(2/7)
D^2+1)y=1/(?cos?^3 (x) )
(D^2+1)y=0
λ^2+1=0 λ=0±i
y_0=e^(-0) (C_1 cos(x)+C_2 sin(x))=C_1 cos(x)+C_2 sin(x)
cos(x)=((e^ix+e^(-ix))/2)
1/(cos^3(x))=(2/(e^ix+e^(-ix) ))^3=8/(e^ix+e^(-ix) )^3
(D^2+1) y_s=8/(e^ix+e^(-ix) )^3
(D+i)(D-i) y_s=8/(e^ix+e^(-ix) )^3
y_s=(1/(D+i))(1/(D-i)) 8/(e^ix+e^(-ix) )^3
1/(D-i) 8/(e^ix+e^(-ix) )^3 =8e^ix 1/D e^(-ix) 1/(e^ix+e^(-ix) )^3
=8e^ix ∫e^(-ix)/(e^ix+e^(-ix) )^3 dx
e^(-ix)/(e^ix+e^(-ix) )^3 =(e^3ix e^(-ix))/(e^3ix (e^ix+e^(-ix) )^3 )=e^2ix/((e^ix )^3 (e^ix+e^(-ix) )^3 )
=e^2ix/(e^ix (e^ix+e^(-ix) ))^3 =e^2ix/(e^2ix+1)^3
∴1/(D-i) 8/(e^ix+e^(-ix) )^3 =8e^ix ∫e^(-2ix)/(e^2ix+1)^3 dx
t=e^2ix+1 dt=2ie^2ix dx dx=dt/(2ie^2ix )
∫(8e^2ix)/(e^2ix+1)^3 dx=∫(8e^2ix)/t^3 dt/(2ie^2ix )=∫4/t^3 dt/i
=-∫4i/t^3 dt=-4i∫t^(-3) dt =-4i ?-t?^(-2)/2=2it^(-2)
=2i/(e^2ix+1)^2
764: １３２人目の素数さん [] 08/31(日)10:48:50.00 ID:Bq8GdLuV(1/6)
f(z)=1/(1-z) z=i で展開
?@) |z-i|<√2
(1-i)(1-(z-i)/(1-i))=1-i+(1-i) (z-i)/(1-i)
1/(1-z)=1/(1-i-(z-i) )=1/(1-i)?1/(1-(z-i)/(1-i))
=1/(1-i) (1+((z-i)/(1-i))+((z-i)/(1-i))^2+((z-i)/(1-i))^3+?)
=(z-i)^0/(1-i)+(z-i)^1/(1-i)^2 +(z-i)^2/(1-i)^3 +?
=((1+i) (z-i)^0)/2+((1+i)^2 (z-i)^1)/2^2 +((1+i)^3 (z-i)^2)/2^3 +?
=納n=0→∞]((1+i)/2)^(n+1) (z-i)^n
※(1 )/(1-i)^2 =(1/(1-i))(1/(1-i))=(1+i)/((1-i)(1+i))((1+i)/(1-i)(1+i)) =(1+i)^2/2^2
?A) |z-i|>√2の場合
|z-i|/√2=|(z-i)/(1-i)|>1
すなわち、0<|(1-i)/(z-i)|<1となるから((1-i)/(z-i))^n の級数展開を考える。
1/(1-z)=1/(1-i-(z-i) )=-1/(z-i)?1/(1-(1-i)/(z-i))
=-1/(z-i) (1+((1-i)/(z-i))+((1-i)/(z-i))^2+((1-i)/(z-i))^3+?)
=-(1/(z-i)+(1-i)/(z-i)^2 +(1-i)^2/(z-i)^3 +?)
=-(1/(z-i)+2/(1+i)(z-i)^2 +2^2/?(1+i)^2 (z-i)?^3 +?)
=-((2^0 (z-i)^(-1))/(1+i)^0 +(2^1 (z-i)^(-2))/(1+i)^1 +(2^2 (z-i)^(-3))/(1+i)^2 +?)
=-(?(1+i)^0 (z-i)?^(-1)/2^0 +?(1+i)^(-1) (z-i)?^(-2)/2^(-1) +((1+i)^(-2) (z-i)^(-3))/2^(-2) +?)
=-納n=1→∞]((1+i)/2)^(1-n) (z-i)^(-n)
※(1-i)^2=(1-i)(1-i)=(1-i)(1+i)/(1+i)?(1-i)(1+i)/(1+i)=2^2/(1+i)^2
(1-i)^n=2^n/(1+i)^n
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s