フェルマーの最終定理の証明 (662ﾚｽ)
上下前次1-新
643: 与作 [] 08/17(日)14:24 ID:XIrE7hQA(1/3)
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)は成立つので、(y-1)(y+1)=k2x/kも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
644: 与作 [] 08/17(日)14:25 ID:XIrE7hQA(2/3)
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は自然数解を持たない。
645: 与作 [] 08/17(日)14:26 ID:XIrE7hQA(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は自然数解を持たない。
646: １３２人目の素数さん [] 08/18(月)08:04 ID:FBCMZJZX(1/3)
∫_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)
647: １３２人目の素数さん [] 08/18(月)08:05 ID:FBCMZJZX(2/3)
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
648: １３２人目の素数さん [] 08/18(月)08:11 ID:FBCMZJZX(3/3)
f^((k) ) (z)=(n!/2πi)?_Cf(ζ)/(ζ-z)^(k+1)dζ
?@)n=1のとき
f(z)=1/( 2πi) ?_Cf(ζ)/((ζ-z) ) dζ
f(z+h)=1/( 2πi) ?_Cf(ζ)/(ζ-(z+Δz) ) dζ
f(z+h)-f(z)=1/( 2πi) ?_Cf(ζ)/(ζ-(z+h) )-f(ζ)/((ζ-z) ) dζ
=1/( 2πi) ?_Cf(ζ)((ζ-z)-(ζ-z-h))/(ζ-z-h)(ζ-z)dζ
=1/( 2πi) ?_Cf(ζ)(ζ-z-ζ+z+h)/(ζ-z-h)(ζ-z)dζ
=1/( 2πi) ?_Cf(ζ)h/(ζ-z-h)(ζ-z)dζ
=h/( 2πi) ?_Cf(ζ)/(ζ-z-h)(ζ-z)dζ
( f(z+h)-f(z))/h=1/( 2πi) ?_Cf(ζ)/(ζ-z-h)(ζ-z)dζ
h→0
f'(z)= f^((1)) (z)=1/2πi ?_C(f(ζ))/(ζ-z)^2dζ
?A)n=k(k=1,2,3,…)のとき
f^((k)) (z)=k!/2πi ?_C(f(ζ))/(ζ-z)^(k+1)dζ ⇒f^((k+1)) (z)=(k+1)!/( 2πi) ?_Cf(ζ)/(ζ-z)^(k+2)dζ
f^((k)(z+h)- f^((k) ) (z))/h
=k!/( 2πih) ?_Cf(ζ)/(ζ-(z+h))^(k+1) -f(ζ)/(ζ-z)^(k+1)dζ
=k!/( 2πih) ?_C((ζ-z)^(k+1)-(ζ-z-h)^(k+1))/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ??※
(a+b)^(k+1)
=(_k+1^ )C_0 a^n b^0+(_k+1^ )C_1 a^(k+1-1) b^1+(_k+1^ )C_2 a^(k+1-2) b^2+?+(_k+1^ )C_r a^(k+1-r) b^r+?+b^(k+1)
=a^(k+1)+(k+1) a^k b+(_k+1^ )C_2 a^(k-1) b^2+?+(_k+1^ )C_r a^(k+1-r) b^r+? +b^(k+1)
(ζ-z-h)^(k+1)
=(ζ-z)^(k+1)-(k+1) (ζ-z)^k h + (_k+1^ )C_2 (ζ-z)^(k-1) h^2-?+h^(k+1)
(ζ-z)^(k+1)-(ζ-z-h)^(k+1)
=(k+1) (ζ-z)^k h-(_k+1^ )C_2 (ζ-z)^(k-1) h^2+?-h^(k+1)
( f^((k) ) (z+h)- f^((k) ) (z))/h
=k!/( 2πih) ?_C((k+1) (ζ-z)^k h-(_k+1^ )C_2 (ζ-z)^(k-1) h^2+?-h^(k+1))/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ
=(k+1)!/( 2πi) ?_Cf(ζ)/((ζ-z-h)^(k+1) (ζ-z) ) dζ-k!/( 2πi) ?_C((_k+1^ )C_2 (ζ-z)^(k-1) h-?+h^k)/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ
h→0
f^((k+1)) (z)=(k+1)!/(2πi) ?_Cf(ζ)/(ζ-z)^(k+2)dζ
649: 与作 [] 08/18(月)12:05 ID:HdXNQXxj(1/3)
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)は成立つので、(y-1)(y+1)=k2x/kも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
650: 与作 [] 08/18(月)12:05 ID:HdXNQXxj(2/3)
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は自然数解を持たない。
651: 与作 [] 08/18(月)12:06 ID:HdXNQXxj(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は自然数解を持たない。
652: １３２人目の素数さん [] 08/19(火)05:59 ID:UNSSr5hH(1/8)
y''+3y'+2y=x
(D^2+3D+2)y=x
D^2+3D+2=(D+2)(D+1)=0 D=-2, D=-1
y_0=C_1 e^(-2x)+C_2 e^(-x)
(D+2)(D+1) y_s=x
y_s=1/(D+2)(D+1) x=1/((D+2) ) 1/((D+1) ) x
=1/((D+2) ) 1/((D-(-1)) ) x=1/(D+2) e^(-x) 1/D e^x x
=1/(D+2) e^(-x) ∫??e^x x? dx=1/(D+2) e^(-x) (e^x x-∫?e^x dx) (e^x )'=e^x
=1/(D+2) e^(-x) (xe^x-e^x )=1/(D+2) (x-1)
=1/((D-(-2)) ) x-1/((D-(-2)) )=e^(-2x) 1/D e^2x x-e^(-2x) 1/D e^2x
=e^(-2x) (∫??(1/2 e^2x )' x? dx)-e^(-2x) 1/2 e^2x
=e^(-2x) (1/2 e^2x x-1/2 ∫?e^2x dx)-1/2
=e^(-2x) (1/2 e^2x x-1/4 e^2x )-1/2=1/2 x-1/4-1/2=1/2 x-3/4
∴y=C_1 e^(-2x)+C_2 e^(-x)+1/2 x-3/4
653: １３２人目の素数さん [] 08/19(火)06:00 ID:UNSSr5hH(2/8)
y'''(x) + 6y''(x) + 12y'(x) + 8y(x) = 5x^2e^(-2x) ･････(#)
y''' + 6y'' + 12y' + 8y = 5x^2e^(-2x), y(0) = 0, y'(0) = 5, y''(0) = 4
D^3 + 6D^2 + 12D + 8 = (D+2)^3 = 0
D = -2（3重解）
Y = (Cx^2+Bx+A)e^(-2x)
(#)は
((D+2)^3)y = 5(x^2)e^(-2x)
y0 = 5(x^2)e^(-2x)/(D+2)^3
= 5e^(-2x)/( (2+1)(2+2)(2+3) )x^(2+3)
= (x^5/12)e^(-2x)
y(x) = (Cx^2+Bx+A)e^(-2x) + (x^5/12)e^(-2x)
y(0) = 0, y'(0) = 5, y''(0) = 4 のときの特殊解
y(0) = A = 0
y(x) = Cx^2*e^(-2x) + Bx*e^(-2x) + (x^5/12)e^(-2x)
y'(x) = C2xe^(-2x) - 2Cx^2*e^(-2x)
+ B*e^(-2x) - 2Bx*e^(-2x)
+ (5/12)5x^4*e^(-2x) - 2(x^5/12)*e^(-2x)
y'(0) = B = 5
y'(x) = 2Cxe^(-2x) - 2Cx^2*e^(-2x)
+ 5*e^(-2x) - 10x*e^(-2x)
+ (5/12)5x^4*e^(-2x) - 2(x^5/12)*e^(-2x)
y''(x) = 2Ce^(-2x) + 4Cxe^(-2x) - ( 4Cx*e^(-2x) - 2Cx^2(-2)e^(-2x) )
+ (-2)5*e^(-2x) - (10*e^(-2x) - 2*10x*e^(-2x) )
+ (5/12)20x^3*e^(-2x) - 2(5/12)5x^4*e^(-2x)
- ( 2(4x^4/12)*e^(-2x) - 2*2(x^5/12)*e^(-2x) )
y''(0) = 2C - 10 - 10 = 4
C = 12
y(x) = ( 12x^2+5x+(x^5/12) )e^(-2x)
654: １３２人目の素数さん [] 08/19(火)06:06 ID:UNSSr5hH(3/8)
(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
655: １３２人目の素数さん [] 08/19(火)06:06 ID:UNSSr5hH(4/8)
y_s=1/(D+i) (2i/(e^2ix+1)^2 )=e^(-ix) 1/D e^ix 2i/(e^2ix+1)^2 =e^(-ix) ∫(2ie^2ix)/(e^2ix+1)^2 dx
t=e^2ix+1 dt=2ie^2ix dx dx=dt/(2ie^2ix )
∫?(2ie^2ix)/(e^2ix+1)^2 dx?=∫?(2ie^2ix)/t^2 dt/(2ie^2ix )?=∫t^(-2) dt=-1/t=-1/(e^2ix+1)
y_s=e^(-ix) ∫(2ie^2ix)/(e^2ix+1)^2 dx=-e^(-ix)/(e^2ix+1)
=(- e^(-ix) (e^(-ix)+e^ix-e^ix ))/(e^(-ix) (e^2ix+1) ) =(- e^(-ix) (e^(-ix)+e^ix )+1)/(e^ix+e^(-ix) )
=- e^(-ix)+1/(e^ix+e^(-ix) )=- e^(-ix)+1/2cos(x)
y=C_1 cos(x)+C_2 sin(x)- e^(-ix)+1/2cos(x)
=C_1 cos(x)+C_2 sin(x)- cos(x)+isin(x)+1/2cos(x)
=(C_1-1)cos(x)+(C_2+i)sin(x)+1/2cos(x)
=Acos(x)+Bsin(x)+1/2cos(x)
y_s=1/2cos(x)
y=C_2 cos(x)+C_1 sin(x)- 1/2 cos(2x) 1/cos(x)
=C_2 cos(x)+C_1 sin(x)- 1/2 (2?cos?^2 (x)-1) 1/cos(x)
=C_2 cos(x)+C_1 sin(x)- (?cos?^2 (x)-1/2)/cos(x)
=C_2 cos(x)+C_1 sin(x)- cos(x)+1/2 1/cos(x)
=(C_2-1)cos(x)+C_1 sin(x)+1/2cos(x)
=Acos(x)+Bsin(x)+1/2cos(x)
656: １３２人目の素数さん [] 08/19(火)06:08 ID:UNSSr5hH(5/8)
y''(t) - 3y'(t) + 2y(t) = e^(-t) ･･･････?（初期条件）y(0) = 1/6, y'(0) = 5/6
【ラプラス変換による解法】
L[y''(t)] = s^2Y(s) - sy(0) - y'(0) = s^2Y(s) - s/6 - 5/6
L[3y'(t)] = 3( sY(s) - y(0) ) = 3sY(s) - 1/2
L[2y(t)] = 2Y(s)
L[e^(-t)] = 1/(s + 1)
s^2Y(s) - s/6 - 5/6 - (3sY(s) -1/2) + 2Y(s) = 1/(s+1)
Y(s)(s^2 - 3s + 2) - s/6 -1/3 = 1/(s+1)
s 1 1
Y(s)(s-1)(s-2) = ─ + ─ + ──
6 3 s+1
s(s+1) + 2(s+1) + 6 s^2 + 3s + 8
= ────────── = ───────
6(s+1) 6(s+1)
s^2 + 3s + 8 A B C
Y(s) = ──────── = ── + ── + ──
6(s+1)(s-1)(s-2) s+1 s-1 s-2
s^2 + 3s + 8 = 6( A(s-1)(s-2) + B(s+1)(s-2) + C(s+1)(s-1) )
s = -1 のとき 1 - 3 + 8 = 6A(-2)(-3) 36A = 6 A = 1/6
s = 1 のとき 1 + 3 + 8 = 6B(2)(-1) -12B = 12 B = -1
s = 2 のとき 4 + 6 + 8 = 6C(3)(1) 18C = 18 C = 1
657: １３２人目の素数さん [] 08/19(火)06:08 ID:UNSSr5hH(6/8)
したがって
1/6 1 1
Y(s) = ── - ── + ──
s+1 s-1 s-2
逆ラプラス変換して
y(t) = -e^t + e^(2t) + (1/6)e^(-t)
【演算子法による解法】
特性方程式は
k^2 -3k + 2 = (k-1)(k-2) = 0 k = 1, 2
なので
y''(t) - 3'y(t) + 2y(t) = 0
の一般解 y0 は
y0 = C1e^t + C2e^(2t)
?の特殊解をv(t)とすると
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 とおくと
y(t) = -e^t +e^(2t) + (1/6)e^(-t)
658: １３２人目の素数さん [] 08/19(火)06:10 ID:UNSSr5hH(7/8)
x'' + 2x' + 5x = 2cos(3t), x(0) = 1, x'(0) = 0.･･･････?
L[x''(t)] = s^2X(s) - sx(0) - x'(0) = s^2X(s) - s.
L[2x'(t)] = 2( sX(s) - x(0) ) = 2sX(s) - 2.
L[5x(t)] = 5X(s).
L[2cos(3t)] = 2s/(s^2 + 3^2).
s^2X(s) - s + 2sX(s) - 2 + 5X(s)
= X(s)(s^2 + 2s + 5) - s - 2 = s/(s^2 + 9).
X(s)(s^2 + 2s + 5) = s + 2 + s/(s^2 + 9)
(s^2+9)s + (s^2+9)2 + 2s
= ────────────
s^2 + 9
s^3 + 9s + 2s^2 + 18 + 2s
= ─────────────
s^2 + 9
659: １３２人目の素数さん [] 08/19(火)06:10 ID:UNSSr5hH(8/8)
(s^3+2s^2+11s+18)
X(s) = ─────────
(s^2+2s+5)(s^2+9)
15s+21 2s-9
= ─────── - ─────
13(s^2+2s+5) 13(s^2+9)
15s+15+6 2s-9
= ─────── - ─────
13(s^2+2s+5) 13(s^2+9)
15 s+1 3 2 2 s 3 3
= ──･───── + ──･───── - ──･──── + ──･────
13 (s+1)^2+4 13 (s+1)^2+4 13 (s^2+9) 13 (s^2+9)
x(t) = L^-1[X(s)]
15 s+1 3 2 2 s 3 3
= L^-1[──･────── + ──･────── - ──･──── + ──･────]
13 (s+1)^2+2^2 13 (s+1)^2+2^2 13 s^2+3^2 13 s^2+3^1
15 3 2 3
= ──e^(-t)*cos(2t) + ──e^(-t)*sin(2t) - ──cos(3t) + ──sin(3t)
13 13 13 13
e^(-t) 1
= ────( 15*cos(2t) + 3sin(2t) ) - ──( 2cos(3t) - 3sin(3t) )
13 13
660: 与作 [] 08/19(火)10:37 ID:0I4aqNXf(1/3)
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)は成立つので、(y-1)(y+1)=k2x/kも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
661: 与作 [] 08/19(火)10:38 ID:0I4aqNXf(2/3)
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は自然数解を持たない。
662: 与作 [] 08/19(火)10:39 ID:0I4aqNXf(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 1.175s*