トップページ数学
534コメント413KB

フェルマーの最終定理の証明

0418大谷
垢版 |
2024/06/15(土) 11:43:32.64ID:maCPp45s
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数とする。
1^n=(t+1)^n-t^nはtが有理数のとき成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)も成立つ。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0419大谷
垢版 |
2024/06/15(土) 12:26:49.17ID:maCPp45s
1=2-1が成立つので、
20=28-8も成立つ。
0420大谷
垢版 |
2024/06/15(土) 13:21:57.64ID:maCPp45s
1=2-1が成立つので、
43=49-6も成立つ。
0421大谷
垢版 |
2024/06/15(土) 13:41:09.68ID:maCPp45s
1=2-1が成立つので、
3=18-15も成立つ。
0422大谷
垢版 |
2024/06/15(土) 14:35:24.88ID:maCPp45s
1=2-1が成立つので、
3=19-16も成立つ。
0423大谷
垢版 |
2024/06/15(土) 14:50:42.77ID:maCPp45s
1=2-1が成立つので、
16=19-3も成立つ。
0424大谷
垢版 |
2024/06/15(土) 15:06:16.32ID:maCPp45s
1=2-1が成立つので、
19=25-6も成立つ。
0425大谷
垢版 |
2024/06/15(土) 15:20:02.02ID:maCPp45s
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数とする。
1^n=(t+1)^n-t^nはtが有理数のとき成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)も成立つ。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0426大谷
垢版 |
2024/06/15(土) 15:36:59.13ID:maCPp45s
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数とする。
2^n=(t+1)^n-t^nはtが有理数のとき成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)も成立つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0428大谷
垢版 |
2024/06/15(土) 15:49:24.33ID:maCPp45s
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
2^n=(t+1)^n-t^nは無理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが無理数解を持つので、(1)も無理数解を持つ。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0429大谷
垢版 |
2024/06/15(土) 15:52:46.77ID:maCPp45s
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
2^n=(t+1)^n-t^nは有理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持つので、(1)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0430大谷
垢版 |
2024/06/15(土) 15:55:45.67ID:maCPp45s
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
1^n=(t+1)^n-t^nは有理数解を持つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが有理数解を持つので、(1)も有理数解を持つ。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0431大谷
垢版 |
2024/06/15(土) 16:05:40.16ID:maCPp45s
1=(t+1)-tは有理数解を持つ。ので、
x+y=zも有理数解を持つ。
0432大谷
垢版 |
2024/06/15(土) 16:12:23.82ID:maCPp45s
1=(t+1)-tは有理数解を持つ。ので、
y^n=(x+m)^n-x^nも有理数解を持つ。
0433大谷
垢版 |
2024/06/15(土) 16:16:17.97ID:maCPp45s
1=(t+1)-tは有理数解を持つ。ので、
y=(x+m)-xも有理数解を持つ。
0434大谷
垢版 |
2024/06/15(土) 16:24:14.45ID:maCPp45s
1=(t+1)-tは有理数解を持つ。(t=1)
y=(x+m)-xも有理数解を持つ。(y=2.x=5,m=2)
0435132人目の素数さん
垢版 |
2024/06/15(土) 17:31:05.56ID:UavPaQjo
      , .. .    +      。         ’‘        :] . ..
,   ,:‘.          。             +   ,..
 ’‘     +   ,..       . ..; ',   ,:‘
      . .; : ’                           ' ,:‘.
           あ あ ・ ・ ・       ,:‘.      +
.. ' ,:‘.                             . ...:] ’‘
’‘     .;    こ ん な 馬 鹿 な
                                       。
.     。   ス   レ  を 見 たの     ,:‘. 。
 '+。
                初 め て で す          .. ' ,:‘.
:] . ..                            .. ' ,:‘.
  ,   ,:‘.         ..; ',   ,:‘         ’‘
           + , .. .              +          ’。
 ,:‘. 。   .. . . :]:  ' ,:‘.   , .. .    +  。  , .. .    +  . : :...
0436132人目の素数さん
垢版 |
2024/06/15(土) 17:52:53.58ID:UavPaQjo
     , .. .    +      。         ’‘        :] . ..
,   ,:‘.          。             +   ,..
 ’‘     +   ,..       . ..; ',   ,:‘
      . .; : ’                           ' ,:‘.
           あ あ ・ ・ ・       ,:‘.      +
.. ' ,:‘.                             . ...:] ’‘
’‘     .;    こ ん な 馬 鹿 な
                                       。
.     。   ス   レ  を 見 たの     ,:‘. 。
 '+。
                初 め て で す          .. ' ,:‘.
:] . ..                            .. ' ,:‘.
  ,   ,:‘.         ..; ',   ,:‘         ’‘
           + , .. .              +          ’。
 ,:‘. 。   .. . . :]:  ' ,:‘.   , .. .    +  。  , .. .    +  . : :...
0437大谷
垢版 |
2024/06/15(土) 18:00:18.69ID:maCPp45s
>>436

どこが?
0438大谷
垢版 |
2024/06/15(土) 19:13:44.84ID:maCPp45s
1=(t+1)-tは有理数解を持つ。(t=1)ので、
y=(x+m)-xも有理数解を持つ。(y=3.x=7,m=3)
0439大谷
垢版 |
2024/06/15(土) 19:29:32.74ID:maCPp45s
1=(t+1)-tは有理数解を持つ。(t=1)ので、
y=(x+m)-xも有理数解を持つ。(y=4.x=9,m=4)
0440大谷
垢版 |
2024/06/15(土) 20:04:09.23ID:maCPp45s
1=(t+1)-tは有理数解を持つ。(t=1)ので、
y=(x+m)-xも有理数解を持つ。(y=5.x=9,m=5)
0441大谷
垢版 |
2024/06/15(土) 20:19:34.79ID:maCPp45s
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
1^n=(t+1)^n-t^nは有理数解を持つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが有理数解を持つので、(1)も有理数解を持つ。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0442大谷
垢版 |
2024/06/15(土) 20:38:30.88ID:maCPp45s
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
2^n=(t+1)^n-t^nは有理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持つので、(1)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0443132人目の素数さん
垢版 |
2024/06/15(土) 22:15:35.35ID:UavPaQjo
    , .. .    +      。         ’‘        :] . ..
,   ,:‘.          。             +   ,..
 ’‘     +   ,..       . ..; ',   ,:‘
      . .; : ’                           ' ,:‘.
           あ あ ・ ・ ・       ,:‘.      +
.. ' ,:‘.                             . ...:] ’‘
’‘     .;    こ ん な 馬 鹿 な
                                       。
.     。   ス   レ  を 見 たの     ,:‘. 。
 '+。
                初 め て で す          .. ' ,:‘.
:] . ..                            .. ' ,:‘.
  ,   ,:‘.         ..; ',   ,:‘         ’‘
           + , .. .              +          ’。
 ,:‘. 。   .. . . :]:  ' ,:‘.   , .. .    +  。  , .. .    +  . : :...
0444大谷
垢版 |
2024/06/16(日) 10:06:19.50ID:ydlNI6m4
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
2^n=(t+1)^n-t^nは無理数解を持つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが無理数解を持つので、(1)も無理数解を持つ。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0445大谷
垢版 |
2024/06/16(日) 14:55:35.00ID:ydlNI6m4
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
2^n=(t+1)^n-t^nは有理数解を持たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが有理数解を持たないので、(1)も有理数解を持たない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0446大谷
垢版 |
2024/06/16(日) 15:10:21.08ID:ydlNI6m4
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数とする。
2^n=(t+1)^n-t^nは成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立たないので、(1)も成立たない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0447大谷
垢版 |
2024/06/16(日) 15:24:40.91ID:ydlNI6m4
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立たないので、(1)も成立たない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0448大谷
垢版 |
2024/06/16(日) 15:49:21.40ID:ydlNI6m4
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)も成立つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0449大谷
垢版 |
2024/06/16(日) 16:09:37.35ID:ydlNI6m4
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,x,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^nは成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)も成立つ。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0450大谷
垢版 |
2024/06/16(日) 16:30:12.40ID:ydlNI6m4
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立たないので、(1)のxは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0451大谷
垢版 |
2024/06/16(日) 17:56:10.28ID:ydlNI6m4
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0452大谷
垢版 |
2024/06/16(日) 18:23:29.66ID:ydlNI6m4
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^nは成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0453大谷
垢版 |
2024/06/16(日) 18:56:07.96ID:ydlNI6m4
1=2-1が成立つので、
26=29-3も成立つ。
0454大谷
垢版 |
2024/06/16(日) 19:03:17.55ID:ydlNI6m4
1=2-1が成立つので、
2=5-3も成立つ。
0455大谷
垢版 |
2024/06/16(日) 19:35:57.58ID:ydlNI6m4
1=2-1が成立つので、
3=6-3も成立つ。
0456大谷
垢版 |
2024/06/16(日) 19:50:11.53ID:ydlNI6m4
1=2-1が成立つので、
3=7-4も成立つ。
0457大谷
垢版 |
2024/06/16(日) 20:22:45.42ID:ydlNI6m4
1=2-1が成立つので、
3=8-5も成立つ。
0458大谷
垢版 |
2024/06/17(月) 05:13:23.61ID:ic7oiUSi
1=3-1は成立たないので、
2=6-2も成立たない。
0459大谷
垢版 |
2024/06/17(月) 05:40:32.72ID:ic7oiUSi
1=2.1-1は成立たないので、
2=4-1.8も成立たない。
0460大谷
垢版 |
2024/06/17(月) 05:49:43.68ID:ic7oiUSi
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^nは成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0461大谷
垢版 |
2024/06/17(月) 06:20:15.25ID:ic7oiUSi
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+m)^n-t^nは成立つ。(m=1)
(1)は(1^n)k=[{(t+m)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+m)^n}k=x^n-(t^n)k
(1^n)k={(t+m)^n}k-(t^n)kが成立つので、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0462大谷
垢版 |
2024/06/17(月) 06:30:06.22ID:ic7oiUSi
1=2-1が成立つので、
2=3-1も成立つ。
0463大谷
垢版 |
2024/06/17(月) 06:31:48.64ID:ic7oiUSi
1=2-1が成立つので、
2=6-4も成立つ。
0464大谷
垢版 |
2024/06/17(月) 06:34:44.69ID:ic7oiUSi
1=2-1が成立つので、
3=6-3も成立つ。
0465大谷
垢版 |
2024/06/17(月) 06:36:17.49ID:ic7oiUSi
1=2-1が成立つので、
3=5-2も成立つ。
0466大谷
垢版 |
2024/06/17(月) 06:37:49.84ID:ic7oiUSi
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立たないので、(1)のxは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0467大谷
垢版 |
2024/06/17(月) 06:39:08.41ID:ic7oiUSi
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0468大谷
垢版 |
2024/06/17(月) 06:40:14.27ID:ic7oiUSi
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^nは成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが成立つので、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0469大谷
垢版 |
2024/06/17(月) 07:11:39.54ID:ic7oiUSi
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立たないので、(2)も成立たない。
よって、(1)のxは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0470大谷
垢版 |
2024/06/17(月) 07:16:37.33ID:ic7oiUSi
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立つので、(2)も成立つ。
よって、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0471大谷
垢版 |
2024/06/17(月) 07:20:21.33ID:ic7oiUSi
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^nは成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(1^n)k={(t+1)^n}k-(t^n)kが成立つので、(2)も成立つ。
よって、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0472大谷
垢版 |
2024/06/17(月) 07:58:09.40ID:ic7oiUSi
1=2-1が成立つので、
2=4-2も成立つ。
0473大谷
垢版 |
2024/06/17(月) 07:59:51.87ID:ic7oiUSi
1=2-1が成立つので、
2=5-3も成立つ。
0474大谷
垢版 |
2024/06/17(月) 08:43:48.85ID:ic7oiUSi
1=2-1が成立つので、
2=6-4も成立つ。
0475大谷
垢版 |
2024/06/17(月) 09:53:17.88ID:ic7oiUSi
1=2-1が成立つので、
2=7-5も成立つ。
0476大谷
垢版 |
2024/06/17(月) 13:03:06.56ID:ic7oiUSi
1=2-1が成立つので、
2=8-6も成立つ。
0477大谷
垢版 |
2024/06/17(月) 13:18:37.20ID:ic7oiUSi
1=2-1が成立つので、
2=9-7も成立つ。
0478大谷
垢版 |
2024/06/17(月) 15:28:04.55ID:ic7oiUSi
1=2-1が成立つので、
2=10-8も成立つ。
0479大谷
垢版 |
2024/06/17(月) 16:27:14.64ID:ic7oiUSi
1=2-1が成立つので、
2=11-9も成立つ。
0480日高
垢版 |
2024/06/17(月) 16:40:54.04ID:ic7oiUSi
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立たないので、(2)も成立たない。
よって、(1)のxは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0481大谷
垢版 |
2024/06/17(月) 19:29:28.80ID:ic7oiUSi
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^nは成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(2)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2^n)k={(t+1)^n}k-(t^n)kが成立つので、(2)も成立つ。
よって、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0482大谷
垢版 |
2024/06/17(月) 19:45:05.70ID:ic7oiUSi
1=2-1が成立つので、
2=11-9も成立つ。
0484大谷
垢版 |
2024/06/17(月) 20:08:36.55ID:ic7oiUSi
>>483
気狂い、首吊って死ねや

なぜ、そう言い切れるのでしょうか?
0485大谷
垢版 |
2024/06/17(月) 20:25:50.54ID:ic7oiUSi
1=2-1が成立つので、
2=12-10も成立つ。
0486大谷
垢版 |
2024/06/17(月) 20:53:05.45ID:ic7oiUSi
1=2-1が成立つので、
2=13-11も成立つ。
0487大谷
垢版 |
2024/06/17(月) 20:55:23.47ID:ic7oiUSi
1=2-1が成立つので、
2=14-12も成立つ。
0488大谷
垢版 |
2024/06/17(月) 21:22:26.14ID:ic7oiUSi
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^n…(2)は成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立たないので、(3)も成立たない。よって、(1)のxは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0489大谷
垢版 |
2024/06/17(月) 21:29:55.94ID:ic7oiUSi
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^n…(2)は成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立つので、(3)も成立つ。よって、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0490大谷
垢版 |
2024/06/17(月) 21:32:17.97ID:ic7oiUSi
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^n…(2)は成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立つので、(3)も成立つ。よって、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0491大谷
垢版 |
2024/06/17(月) 21:34:10.60ID:ic7oiUSi
1=2-1が成立つので、
2=15-13も成立つ。
0492大谷
垢版 |
2024/06/17(月) 21:36:41.42ID:ic7oiUSi
1=2-1が成立つので、
2=16-14も成立つ。
0493大谷
垢版 |
2024/06/17(月) 21:43:12.77ID:ic7oiUSi
2^2=(5/2)^2-(3/2)^2が成立つので、
3^2=5^2-4^2も成立つ。
0494大谷
垢版 |
2024/06/17(月) 21:45:39.51ID:ic7oiUSi
2^2=(5/2)^2-(3/2)^2が成立つので、
8^2=17^2-15^2も成立つ。
0495大谷
垢版 |
2024/06/17(月) 21:47:51.65ID:ic7oiUSi
2^2=(5/2)^2-(3/2)^2が成立つので、
5^2=13^2-12^2も成立つ。
0496大谷
垢版 |
2024/06/17(月) 22:08:05.97ID:ic7oiUSi
2^3=(2.1)^3-(1.1)^3は成立たないので、
3^3=[{(2.1)^3}*(3/2)^3+u]-{(1.1)^3(3/2)^3+u}も成立たない
0497大谷
垢版 |
2024/06/17(月) 22:11:50.06ID:ic7oiUSi
2^3=(2.1)^3-(1.1)^3が成立たないので、
5^3=[{(2.1)^3}*(5/2)^3+u]-{(1.1)^3(5/2)^3+u}も成立たない。
0498大谷
垢版 |
2024/06/18(火) 05:33:22.14ID:zXJEruMe
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^n…(2)は成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立たないので、(3)も成立たない。よって、(1)のxは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0499大谷
垢版 |
2024/06/18(火) 05:35:47.08ID:zXJEruMe
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^n…(2)は成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立つので、(3)も成立つ。よって、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0500大谷
垢版 |
2024/06/18(火) 05:37:05.21ID:zXJEruMe
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^n…(2)は成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立つので、(3)も成立つ。よって、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0501132人目の素数さん
垢版 |
2024/06/18(火) 06:26:32.55ID:7yL5zYUQ
 日高さんはフェルマーの最終定理の証明を研究しているくらいですから、フェルマーの小定理を使って解く問題については簡単に解けると思います。
 次の問題を、ぜひ教えてください

 集合 S を

  S = { 4n^2 + 4n - 1|n は自然数 }

とします。

  a∈S, a = 4n^2 + 4n - 1

なる a と 2n + 1 が互いに素であることの証明を教えてください。
0502大谷
垢版 |
2024/06/18(火) 06:36:02.19ID:zXJEruMe
>>501

解けません。
0503大谷
垢版 |
2024/06/18(火) 06:52:24.76ID:zXJEruMe
1=2-1が成立つので、
2=17-15も成立つ。
0504大谷
垢版 |
2024/06/18(火) 07:51:42.44ID:zXJEruMe
1=2-1が成立つので、
3=14-11も成立つ。
0505132人目の素数さん
垢版 |
2024/06/18(火) 07:54:37.84ID:7yL5zYUQ
>>502
 フェルマーの最終定理に取り組んでいるのに、何でそれよりも簡単な問題が解けないのですか。
 なんとか解いてくださいよ。
0506大谷
垢版 |
2024/06/18(火) 08:12:50.92ID:zXJEruMe
>>505

わかりません。
0507132人目の素数さん
垢版 |
2024/06/18(火) 09:18:05.64ID:7yL5zYUQ
 次の問題はどうでしょうか?
 僕はこれも解けませんでした。フェルマーの最終定理を研究している日高先生による、うまい解法を教えてください。

 1 個 66 円の柿と 1 個 35 円のミカンを合わせて 3890 円分買った。
 このとき、柿とミカンをそれぞれ何個ずつ買ったのか?
0508大谷
垢版 |
2024/06/18(火) 09:31:00.05ID:zXJEruMe
>>507

わかりません。
0509大谷
垢版 |
2024/06/18(火) 10:43:01.54ID:zXJEruMe
1=2-1が成立つので、
6=17-11も成立つ。
0510大谷
垢版 |
2024/06/18(火) 10:55:33.64ID:zXJEruMe
2^2=(5/2)^2-(3/2)^2が成立つので、
12^2=13^2-5^2も成立つ。
0511大谷
垢版 |
2024/06/18(火) 11:11:59.96ID:zXJEruMe
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^n…(2)は成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立つので、(3)も成立つ。よって、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0512大谷
垢版 |
2024/06/18(火) 11:22:03.87ID:zXJEruMe
2^3=(2.1)^3-(1.1)^3は成立たないので、
4^3=[{(2.1)^3}*(4/2)^3+u]-{(1.1)^3(4/2)^3+u}も成立たない
0513大谷
垢版 |
2024/06/18(火) 11:24:14.81ID:zXJEruMe
n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^n…(2)は成立たない。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立たないので、(3)も成立たない。よって、(1)のxは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
0514大谷
垢版 |
2024/06/18(火) 12:00:51.22ID:zXJEruMe
tが有理数のとき、2^3=(t+1)^3-t^3…(2)は成立たない。
t=b/a
7/3=(b/a)^2+(b/a)=(b^2+ab)/a^2
3=a^2
a=√3となるので、tは無理数。
0515132人目の素数さん
垢版 |
2024/06/18(火) 12:55:32.48ID:7yL5zYUQ
 フェルマーの最終定理を研究している日高先生にお願いです。
 次の一次不定方程式を、合同式を使って解いてください。

   155x + 42y = 1
0516大谷
垢版 |
2024/06/18(火) 12:57:49.63ID:zXJEruMe
>>515

わかりません。
0517大谷
垢版 |
2024/06/18(火) 13:15:49.11ID:zXJEruMe
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^n…(2)は成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立つので、(3)も成立つ。よって、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0518132人目の素数さん
垢版 |
2024/06/18(火) 13:18:56.39ID:7yL5zYUQ
フェルマーの最終定理を研究している日高先生にお願いです。

  p^2=x^3+y^3と表すことができる素数pをすべて求める。

 これはどうして解けばいいですか。解答の方針だけでも結構です。
0519大谷
垢版 |
2024/06/18(火) 13:23:25.57ID:zXJEruMe
>>518

わかりません。
0520大谷
垢版 |
2024/06/18(火) 13:43:30.84ID:zXJEruMe
1=2-1が成立つので、
7=17-10も成立つ。
0521大谷
垢版 |
2024/06/18(火) 14:05:59.27ID:zXJEruMe
1=2-1が成立つので、
7=19-12も成立つ。
0522大谷
垢版 |
2024/06/18(火) 14:09:46.56ID:zXJEruMe
1=2-1が成立つので、
8=19-11も成立つ。
0523大谷
垢版 |
2024/06/18(火) 14:28:31.14ID:zXJEruMe
n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、2^n=(t+1)^n-t^n…(2)は成立つ。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/2)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立つので、(3)も成立つ。よって、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
0524132人目の素数さん
垢版 |
2024/06/18(火) 14:47:37.91ID:7yL5zYUQ
 フェルマーの最終定理を研究している日高先生にお願いです。

  m、n自然数(m>n)に対し m^n = n^m を満たすm、nを全て求める。

 これはどうして解けばいいですか。解答の方針だけでも結構です。
0525大谷
垢版 |
2024/06/18(火) 15:04:34.22ID:zXJEruMe
>>524

わかりません。
0526大谷
垢版 |
2024/06/18(火) 15:59:00.62ID:zXJEruMe
2^2=(5/2)^2-(3/2)^2が成立つので、
3^2=5^2-4^2も成立つ。
0527大谷
垢版 |
2024/06/18(火) 16:28:24.16ID:zXJEruMe
2^2=(5/2)^2-(3/2)^2が成立つので、
5^2=13^2-12^2も成立つ。
0528132人目の素数さん
垢版 |
2024/06/18(火) 17:08:38.50ID:7yL5zYUQ
 超難問であるフェルマーの最終定理の証明を研究している、日高先生にお願いです。

 中学校の連立方程式の問題ですので、今回は指針を示していただけると思います。
   x + y + z = 10 ……(1)
   x + 2y + 3z = 21 ……(2)
  5x + 6y + 7z = 61 ……(3)
 この連立1次方程式は x = 2,y = 5,z = 3 を解としたとき
  2 + 5 + 3 = 10
  2 + 2*5 + 3*3 = 21
  5*2 + 6*5 + 7*3 = 61
となるので正しいように思えます。ところが
  (2)-(1)より  y + 2z = 11
  (2)*5 - (3)より 4y + 8z = 44 ⇔ y + 2z = 11.
となり、y と z の関係を表す 2 つの式が同じになってしまいます。

 これは一体どうしたことなのでしょうか。
0529大谷
垢版 |
2024/06/18(火) 17:31:36.12ID:zXJEruMe
>>528

わかりません。
0530日高
垢版 |
2024/06/18(火) 17:39:07.75ID:zXJEruMe
2^2=(5/2)^2-(3/2)^2が成立つので、
8^2=17^2-15^2も成立つ。
0531132人目の素数さん
垢版 |
2024/06/18(火) 18:19:24.78ID:7yL5zYUQ
日高先生は連立方程式を解いたことはないのですか?
0532大谷
垢版 |
2024/06/18(火) 18:34:49.56ID:zXJEruMe
>>531

多分このような、連立方程式を解いたことはないと思います。
0533大谷
垢版 |
2024/06/18(火) 19:29:18.55ID:zXJEruMe
n=1のとき、x^n+y^n=z^nは自然数解を持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。y,mは有理数とする。
tが有理数のとき、1^n=(t+1)^n-t^n…(2)は成立つ。
(1)は(1^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。
k=(y/1)^n,u=(x+m)^n-{(t+1)^n}k=x^n-(t^n)k
(2)が成立つので、(3)も成立つ。よって、(1)のxは有理数となる。
∴n=1のとき、x^n+y^n=z^nは自然数解を持つ。
0534大谷
垢版 |
2024/06/18(火) 20:10:57.92ID:zXJEruMe
1=2-1が成立つので、
9=20-11も成立つ。
レスを投稿する


ニューススポーツなんでも実況