フェルマーの最終定理の普通の証明 (835ﾚｽ)
フェルマーの最終定理の普通の証明 http://rio2016.5ch.net/test/read.cgi/math/1730377679/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
301: １３２人目の素数さん [] 2024/11/06(水) 09:15:04.32 ID:9D+SMySu 点 A(x0, y0, z0)を通り、n↑= (a, b, c) を法線ベクトルとする平面πの方程式は π：ax + by + cz - ax0 - by0 - cz0 = 0. ［証明］ 条件より点 A は平面πに含まれるのだから平面π上の任意の点 P(x, x, z) に対してAP↑ は平面π上のベクトルである。 AP↑ = OP↑- OA↑= (x-x0, y-y0, z-z0). ┌ ┐┌ ┐ │a││x-x0│ n↑･AP↑ = │b││y-y0│ │c││z-z0│ └ ┘└ ┘ = a(x-x0) + b(y-y0) + c(z-z0) = ax + bx + cz - ax0 - by0 - cz0. ∴ ax + bx + cz - ax0 - by0 - cz0 = 0. ………? これだと表記が少し煩わしいので d = - ax0 - bx0 - cz0 とおいて http://rio2016.5ch.net/test/read.cgi/math/1730377679/301
302: １３２人目の素数さん [] 2024/11/06(水) 09:17:05.26 ID:9D+SMySu x や dy の意味 「dx の意味」についてはやはり厳密な議論は初等的にはできませんので、これは諦めます が、多分参考になるであろう事を若干書きます。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/302
303: １３２人目の素数さん [] 2024/11/06(水) 09:18:07.38 ID:9D+SMySu 一般に（微分可能な）関数 f(x)に対して、df と書かれる「f の微分」という概念があ ります。この概念が導関数（あるいは微分商と呼ばれる）df/dx に比べて、捉え難い理由 は、導関数は関数なのであるのに対して「微分」は関数でも数でもないという点です。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/303
304: １３２人目の素数さん [] 2024/11/06(水) 09:18:57.12 ID:9D+SMySu 言わばそれらとは関係があるが全く別の概念なのです。もちろん、直観的には「微小変 化」という事で捉えられるし、それはそれで有用な解釈なのですが、数学的に厳密に捉え るのは初等的には容易ではありません。歴史的に見ても、上で言う微分の概念はニュート ンの師バーロウが既に持っていたものですが、数学的な基礎付けはずっと後の話しです。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/304
305: １３２人目の素数さん [] 2024/11/06(水) 09:20:49.09 ID:9D+SMySu ですから、ここではこの「微分」の定義をするより、なぜそのようなものを 考えるのか、導関数だけではいけないのはなぜかという点と、微分と導関数の 関係について説明します。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/305
306: １３２人目の素数さん [] 2024/11/06(水) 09:23:45.04 ID:9D+SMySu まず、微分を考える理由は 「導関数」という概念は座標の取り方に依るが、「微分」は依らない という事です。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/306
307: １３２人目の素数さん [] 2024/11/06(水) 09:24:26.30 ID:9D+SMySu つまり、導関数を求めている時、すなわち関数 f の「微分をする」と いう時、われわれは必ず何らかの座標、たとえば x についての導関数を 求めているわけです。違う座標をとれば導関数は異なります（鎖法則！）。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/307
308: １３２人目の素数さん [] 2024/11/06(水) 09:25:19.82 ID:9D+SMySu ですから、解析力学や微分幾何学等で「座標の取り方に依らない」より 明解な議論をしようとする時に、導関数よりも微分の概念の方が重要とな り、そのため微分形式等の理論装置が出来て来たわけです。 ではこの微分というものと導関数の関係はどうなっているのでしょうか。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/308
309: １３２人目の素数さん [] 2024/11/06(水) 09:26:16.95 ID:9D+SMySu まず、「微分」というものそのものは依然得体の知れないものだが 「微分」には関数が掛けられる、つまり、 微分×関数はまた微分になる という事を認めて下さい。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/309
310: １３２人目の素数さん [] 2024/11/06(水) 09:26:50.74 ID:9D+SMySu さらに座標関数（たとえば x という関数）を考えて下さい。 これの「微分」dx はちょっと特別な性質を持ってます。それは 「任意の関数の微分は dx に何らかの関数を掛けた形に一意的に書ける」 という事。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/310
311: １３２人目の素数さん [] 2024/11/06(水) 09:29:00.88 ID:9D+SMySu つまり、微分可能などんな関数 f を持って来ても df = hdx となる様な 別の関数 h が必ず見つかり、しかも唯一見つかるという事です。実はこの h というのが「座標 x に関する f の導関数」なのです。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/311
312: １３２人目の素数さん [] 2024/11/06(水) 09:29:56.35 ID:9D+SMySu これから導関数を微分商の形に書いた優雅な式 df = (df/dx)dx が得られるわけですが、これは二つの微分を割って得られたというものでは なく、上の様な手続きで得られた式なのだという方が若干厳密です。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/312
313: １３２人目の素数さん [] 2024/11/06(水) 09:30:34.04 ID:9D+SMySu いわゆる「微分」という概念は、天才達の直覚に閃き、永年の進歩趨勢の 中で鍛錬され、その存在が徐々に厳密化されて来た数多くの「深い」概念の 一つだと思います。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/313
314: 真龍 [] 2024/11/06(水) 09:38:30.45 ID:/yaqnAfm (y-1)(y^(n-1)+…+1)=n(x^(n-1)+…)が成り立つならば、 (y-1)(y^(n-1)+…+1)=kn(x^(n-1)+…)/kも成り立つ。…(A) (y-1)(y^(n-1)+…+1)=n(x^(n-1)+…)が成り立たないならば、 (y-1)(y^(n-1)+…+1)=kn(x^(n-1)+…)/kも成り立たない。…(B) http://rio2016.5ch.net/test/read.cgi/math/1730377679/314
315: 真龍 [] 2024/11/06(水) 11:01:16.29 ID:/yaqnAfm X^2+Y^2=Z^2は自然数解を無数に持つ。 X^2+Y^2=Z^2をｙ^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数) (1)を(y-1)(y+1)=2x…(2)とおく。 (2)は(y-1)=2とおくと、(3+1)=xとなるので、成り立つ。 よって、(y-1)(y+1)=k2x/kも成り立つ。 ∴X^2+Y^2=Z^2は自然数解を無数に持つ。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/315
316: 真龍 [] 2024/11/06(水) 11:02:46.52 ID:/yaqnAfm X^3+Y^3=Z^3は自然数解を持たない。 X^3+Y^3=Z^3をｙ^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とおくと、21=(x^2+x)となるので、成り立たない。 よって、(y-1)(y^2+y+1)=k3(x^2+x)/kも成り立たない。 ∴X^3+Y^3=Z^3は自然数解を持たない。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/316
317: 真龍 [] 2024/11/06(水) 11:03:51.15 ID:/yaqnAfm nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。 X^n+Y^n=Z^nをｙ^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-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/1730377679/317
318: １３２人目の素数さん [] 2024/11/06(水) 12:15:55.36 ID:rCRJ5mRV >(2)は(y-1)=nとおくと、両辺の偶奇が異なるので、成り立たない。 これ自体は正しい http://rio2016.5ch.net/test/read.cgi/math/1730377679/318
319: 真龍 [] 2024/11/06(水) 12:30:12.42 ID:/yaqnAfm >>(2)は(y-1)=nとおくと、両辺の偶奇が異なるので、成り立たない。 これ自体は正しい (y-1)=knとおくと、(B)により、 (y^(n-1)+…+y+1)=(x^(n-1)+…+x)/kは成り立たない。 http://rio2016.5ch.net/test/read.cgi/math/1730377679/319
320: １３２人目の素数さん [] 2024/11/06(水) 12:35:59.74 ID:rCRJ5mRV (B)が示されていないのででたらめ http://rio2016.5ch.net/test/read.cgi/math/1730377679/320
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 515 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.005s