フェルマーの最終定理の証明 (974レス)
フェルマーの最終定理の証明 http://rio2016.5ch.net/test/read.cgi/math/1745314067/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
1: 与作 [] 2025/04/22(火) 18:27:47.38 ID:ZBPrKUfk 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)=k2x/k…(2)とおく。 (2)はk=1のとき、成立つので、k=1以外でも成立つ。 ∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/1
955: 与作 [] 2025/09/30(火) 18:49:54.54 ID:zCyYE19J 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は自然数解を持たない。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/955
956: 与作 [] 2025/09/30(火) 20:38:17.22 ID:zCyYE19J 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は自然数解を持たない。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/956
957: 132人目の素数さん [] 2025/10/01(水) 13:03:22.98 ID:zxDjagoq x = cosθ, y = sinθ dx = -sinθdθ, dy = cosθdθ. x:-1→1 θ:-π→π ?_C x^3 dx = -∫[-π〜π]cos^3θsinθdθ. t = cosθ. dt = -sinθdt. θ:-π→π t:-1→1 -∫[-π〜π]cos^3θsinθdθ= ∫[-1〜1]t^3dt = 0 ?_C x^3 dy = ∫[0-2π]cos^3θcosθdθ= ∫[0-2π]cos^4θdθ = ∫[0-2π](3/8)+(1/2)cos2θ+(1/8)cos4θdθ = (3/8)2π = 3π/4. ∂P/∂y = 0. ?_C x^3 dx = -∫[-π〜π]0*sinθdθ = 0. ∫0dx = F(x)= C.(常にF(x)= C ) ∫[a→b]0dx = F(b) - F(a) = C - C = 0 ∂P/∂x = 3x^2. ?_C x^3 dx = ∬_D 3x^2 dxdy = 3∬_D x^2 dxdy = 3∫[-1〜1]x^2 ∫[-√(1-x^2)〜√(1-x^2)]dy dx = 3∫[-1〜1]x^2*2√(1-x^2)]dx x = sint, dx = costdt. x:-1→1 t:-π/2→π/2 1 π/2 3∫x^2*2√(1-x^2)]dx = 3∫(sint)^2*2cost*cost dt -1 -π/2 π/2 π/2 = 6∫(sint)^2*(cost)^2dt = 3/2∫(1-cos2t)(1+cos2t) dt -π/2 -π/2 π/2 = 3/2∫(1-(cos2t)^2) dt -π/2 π/2 π/2 = 3/2∫ dt - (3/4)∫1 + cos4t dt -π/2 -π/2 = 3π/2 - 3π/4 = 3π/4 http://rio2016.5ch.net/test/read.cgi/math/1745314067/957
958: 与作 [] 2025/10/01(水) 21:53:01.66 ID:grHnCAmh ab=cdが成立つならば、 ab=kcd/kも成立つ。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/958
959: 与作 [] 2025/10/02(木) 12:16:14.20 ID:TswkfBUA ab=kcd/kが成立つならば、 a=kcのとき、b=d/kとなる。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/959
960: 132人目の素数さん [] 2025/10/03(金) 07:02:46.58 ID:cs4+xj87 tan z = sin z / cos z cos z の零点は、z = π/2 + mπ (m は整数)。 tan z は z = π/2 + mπ で一位の極をもつ(tan z の特異点)。 tan z = a/(z - α) + b + c(z - α) + …… (z - α)tan z = a + b(z - α) + ??……? α = π/2 + mπ では、z → α の極限を取り、 (z - α)tan z = sin z / {cos z/(z - α)} → sin α / cos' α = sin α / (- sin α) = - 1 z-pi/2=u とおくと、 tan(z) = -cos(u)/sin(u) = (-1/u)*{1-u^2/2!+...}/{1-u^2/3!+...} = (-1/u)*{1+3u^2+...}. tan(z) = sin(z) / cos(z) sin(z) は C 上特異点なし。 cos(z) の 零点 → tan(z) の特異点 cos(z) の 零点 (1/2+n) π cos(z) = cos ( {z-(1/2+n)π} + (1/2+n)π ) = cos (z-(1/2+n)π)cos (1/2+n)π - sin(z-(1/2+n)π)sin (1/2+n)π = (-1)^(n+1) sin (z-(1/2+n)π) よって、 lim[z→(1/2+n)π](z-(1/2+n)π) / cos(z) = (-1)^(n+1) lim[z→(1/2+n)π](z-(1/2+n)π) / sin(z - (1/2+n)π) tan(z) = i{exp(2iz)-1}/{exp(2iz)+1} z = (1/2+n)π A = lim{z-(1/2+n)π}tan(z) = lim i{exp(2iz)-1}/[{exp(2iz)+1}/{z-(1/2+n)π}] A = 1 http://rio2016.5ch.net/test/read.cgi/math/1745314067/960
961: 与作 [] 2025/10/03(金) 11:55:13.87 ID:BeuOGtss 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は自然数解を無数に持つ。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/961
962: 132人目の素数さん [] 2025/10/03(金) 12:55:34.93 ID:cs4+xj87 ∫[0→∞] (sin(x)/x)^2 dx ∫[0→∞] (sin(x)/x)^2 dx = ∫[0→∞] (1/x^2) sin(x)^2 dx = ∫[0→∞] (- 1/x)'sin(x)^2 dx = [(- 1/x) sin(x)^2][0→∞] - ∫[0→∞] (- 1/x) (sin(x)^2)'dx [(- 1/x) sin(x)^2][0→∞] = [- sin(x)^2/x][0→∞] = lim[x→∞](- sin(x)^2/x) - lim[x→0](- sin(x)^2/x) = lim[x→∞](- sin(x)^2/x) - lim[x→0](- (sin(x)/x)^2 x) = (- 0) - (- 1・0) = 0 ∫[0→∞] (- 1/x) (sin(x)^2)'dx = ∫[0→∞] (- 1/x) 2 sin(x) cos(x) dx = ∫[0→∞] (- 1/x) sin(2x) dx = -∫[0→∞] sin(2x)/x dx = -∫[0→∞] (sin(2x)/(2x))・2 dx = -∫[0→∞] (sin(2x)/(2x)) (d (2x)/dx) dx 2x = t ∫[0→∞] (- 1/x) (sin(x)^2)'dx = -∫[0→∞] (sin(t)/t) (dt/dx) dx = -∫[0→∞] (sin(t)/t) dt = -π/2 ∫[0→∞] (sin(x)/x)^2 dx = 0 - (- π/2) = π/2 http://rio2016.5ch.net/test/read.cgi/math/1745314067/962
963: 与作 [] 2025/10/03(金) 14:14:16.20 ID:BeuOGtss 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は自然数解を持たない。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/963
964: 与作 [] 2025/10/03(金) 19:47:37.19 ID:BeuOGtss 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は自然数解を持たない。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/964
965: 与作 [] 2025/10/04(土) 10:48:34.99 ID:IyD+R4lh ab=cdが成立つならば、 ab=kcd/kも成立つ。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/965
966: 132人目の素数さん [] 2025/10/04(土) 12:50:14.24 ID:ay8RJHln 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) http://rio2016.5ch.net/test/read.cgi/math/1745314067/966
967: 132人目の素数さん [] 2025/10/04(土) 12:52:41.86 ID:ay8RJHln x1' = -2x1 + x2. x2' = x1 - 2x2. ┌ ┐ ┌ ┐┌ ┐ │x1'│=│-2 1││x1│ │x2'│ │ 1 -2││x2│ └ ┘ └ ┘└ ┘. ┌ ┐ A =│-2 1│ │ 1 -2│ └ ┘. ┌ ┐ ┌ ┐ ┌ ┐ LE - A =│L 0│-│-2 1│=│L+2 -1│ │0 L│ │ 1 -2│ │-1 L+2│ └ ┘ └ ┘ └ ┘. │L+2 -1│ │-1 L+2│= (L+2)(L+2) - 1 = L^2 + 4L + 4 - 1 = L^2 + 4L + 3 = (L+1)(L+3) = 0. L = -1, -3. L = -1: ┌ ┐ ┌ ┐┌ ┐ ┌ ┐ V1↑=│v1│ AV1↑= -V1↑. │-2 1││v1│= -│v1│ │v2│ │ 1 -2││v2│ │v2│ └ ┘. └ ┘└ ┘ └ ┘. -2v1 + v2 = -v1. v2 = v1. v1 - 2v2 = -v2. v1 = v2. http://rio2016.5ch.net/test/read.cgi/math/1745314067/967
968: 132人目の素数さん [] 2025/10/04(土) 12:53:42.92 ID:ay8RJHln v1 = v1 = 1 ┌ ┐ V1↑=│1│ │1│ └ ┘. L = -3: ┌ ┐ ┌ ┐┌ ┐ ┌ ┐ V2↑=│v1│ AV2↑= -3V2↑. │-2 1││v1│= -3│v1│ │v2│ │ 1 -2││v2│ │v2│ └ ┘. └ ┘└ ┘ └ ┘. -2v1 + v2 = -3v1. v2 = -v1. v1 - 2v2 = -3v2. v1 = -v2. v2 = 1 ┌ ┐ v2↑=│-1│ │ 1│ └ ┘. ┌ ┐ P =[V1↑ V2↑]=│1 -1│ │1 1│ └ ┘. AP = A[V1↑ V2↑] = [AV1↑ AV2↑] ┌ ┐ ┌ ┐ =[-V1↑ -3V2↑]=[V1↑ V2↑]│-1 0│= P│-1 0│ │ 0 -3│ │ 0 -3│ └ ┘ └ ┘. ┌ ┐ ┌ ┐ ┌ ┐ AP =│-1 0│= P│-1 0│ ∴ P^(-1)AP =│-1 0│ │ 0 -3│ │ 0 -3│ │ 0 -3│ └ ┘ └ ┘. └ ┘. ┌ ┐ ┌ ┐┌ ┐ │x1'│=│-2 1││x1│ │x2'│ │ 1 -2││x2│ └ ┘ └ ┘└ ┘. http://rio2016.5ch.net/test/read.cgi/math/1745314067/968
969: 132人目の素数さん [] 2025/10/04(土) 12:54:38.50 ID:ay8RJHln X'↑= AX↑・・・・・ (#1) u↑ = P^(-1)X↑ X↑= Pu↑・・・・・ (#2) X'↑= APu↑ X'↑= Pu'↑ Pu'↑ = APu↑. P^(-1)Pu'↑ = P^(-1)APu↑. ┌ ┐ u'↑ = P^(-1)APu↑=│-1 0│u↑. │ 0 -3│ └ ┘ ┌ ┐ ┌ ┐┌ ┐ │u1'│=│-1 0││u1│ │u2'│ │ 0 -3││u2│ └ ┘ └ ┘└ ┘. u1'= -u1. ∴u1 = C1e^(-t). u2'= -3u2. ∴u2 = C2e^(-3t). X↑ = P u↑ ┌ ┐ ┌ ┐┌ ┐ │x1│=│1 -1││C1e^(-t) │ │x2│ │1 1││C2e^(-3t)│ └ ┘ └ ┘└ ┘. x1 = C1e^(-t) - C2e^(-3t). x2 = C1e^(-t) + C2e^(-3t). http://rio2016.5ch.net/test/read.cgi/math/1745314067/969
970: 132人目の素数さん [] 2025/10/04(土) 13:00:53.11 ID:ay8RJHln tan(1) = P/Q 1 1 1 (-1)^n sin(1) = 1 - ── + ── - ── + … + ──── … . 3! 5! 7! (2n+1)! 1 1 1 (-1)^n cos(1) = 1 - ── + ── - ── + … + ──── … . 2! 4! 6! (2n)! 1 1 1 1 1 sin(1) = 1 - ── + ── - ── + … + ──── - ──── + … . 3! 5! 7! (4P+1)! (4P+3)! 1 1 1 1 1 cos(1) = 1 - ── + ── - ── + … + ─── - ──── + … . 2! 4! 6! (4P)! (4P+2)! (4P)! (4P)! (4P)! sin(1)(4P)! = (4P)! - ─── + ─── - ── + … - 4P 3! 5! 7! 1 1 + ─── - ────────── + … = A + s. (4P+1) (4P+1)(4P+2)(4P+3) http://rio2016.5ch.net/test/read.cgi/math/1745314067/970
971: 132人目の素数さん [] 2025/10/04(土) 13:01:24.61 ID:ay8RJHln (4P)! (4P)! (4P)! cos(1)(4P)! = (4P)! - ─── + ─── - ─── + … + 1 2! 4! 6! 1 1 - ────── + ──────────── - … (4P+1)(4P+2) (4P+1)(4P+2)(4P+3)(4P+4) 1 1 - (────── - ──────────── + …) = B - t. (4P+1)(4P+2) (4P+1)(4P+2)(4P+3)(4P+4) (A、B は整数) 1 1 s = ─── - ─────────- (4P+1) (4P+1)(4P+2)(4P+3) 1 1 + ─────────────── - ───────────────────── + … . (4P+1)(4P+2)(4P+3)(4P+4)(4P+5) (4P+1)(4P+2)(4P+3)(4P+4)(4P+5)(4P+6)(4P7) s = 1/(4P+1) 1 1 - ( ────────── - ─────────────── (4P+1)(4P+2)(4P+3) (4P+1)(4P+2)(4P+3)(4P+4)(4P+5) 1 1 + ────────── - ──────────- + … ) (4P+1)(4P+2)…(4P7) (4P+1)(4P+2)…(4P9) = 1/(4P+1) - j( j > 0). ∴0 < s < 1/(4P+1). http://rio2016.5ch.net/test/read.cgi/math/1745314067/971
972: 132人目の素数さん [] 2025/10/04(土) 13:02:10.90 ID:ay8RJHln 1 1 t = ─────── - ───────────── (4P+1)(4P+2) (4P+1)(4P+2)(4P+3)(4P+4) 1 + ────────── - ────────── + … > 0 (4P+1)(4P+2)…(4P+6) (4P+1)(4P+2)…(4P+8) 1 t = ─────── (4P+1)(4P+2) 1 1 - (────────── - ────────── + … ) (4P+1)(4P+2)…(4P+4) (4P+1)(4P+2)…(4P+6) = 1/(4P+1)(4P+2) - k( k > 0). ∴0 < t < 1/(4P+1)(4P+2). P A+s ── = ───. PB - Pt = QA + Qs. Q B-t PB - QA = Pt + Qs. 0 < Pt < P/(4P+1)(4P+2) < 1. 0 < Qs < Q/(4P+1) < 1. P/Q = tan(1) > tan(π/4) = 1 より P > Q P Q 0 < Pt + Qs < ─────── + ─── (4P+1)(4P+2) 4P+1 P + Q(4P+2) P + P(4P+2) P(4P+3) = ─────── < ─────── = ────── < 1 (4P+1)(4P+2) (4P+1)(4P+2) (4P+1)(4P+2) ∴0 < Pt + Qs < 1. http://rio2016.5ch.net/test/read.cgi/math/1745314067/972
973: 与作 [] 2025/10/04(土) 16:01:06.79 ID:IyD+R4lh ab=kcd/kが成立つならば、 a=kcのとき、b=d/kとなる。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/973
974: 与作 [] 2025/10/04(土) 18:58:31.26 ID:IyD+R4lh 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は自然数解を無数に持つ。 http://rio2016.5ch.net/test/read.cgi/math/1745314067/974
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.886s*