電卓によるフェルマーの最終定理の証明

[0001 日高 2023/01/17(火) 20:44:16.36 ID:6EJMb1ho]

n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。x,yは有理数。
(x^3-1)/3=y(y+1)と変形する。
{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)が成立するかを検討する。
yを有理数として、電卓により、xを求める。
xの表示部分を手入力して、逆算したとき、両辺は一致しない。
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。

[0002 １３２人目の素数さん 2023/01/17(火) 20:45:23.66 ID:MLw/4+Cl]

お笑い路線に転向したのですか？
ちっとも面白くないけど

[0003 １３２人目の素数さん 2023/01/17(火) 20:46:05.64 ID:tL/9PWEG]

やばい
何言ってるかわからん

[0004 １３２人目の素数さん 2023/01/17(火) 20:48:35.35 ID:1vuyjbbo]

わかったら余計やばいぜ

[0005 日高 2023/01/17(火) 20:49:40.46 ID:6EJMb1ho]

＞途中で切るからならないのかもよ。

有理数^2は、無理数にならないという意味です。

[0006 １３２人目の素数さん 2023/01/17(火) 20:51:16.61 ID:MyHgvDve]

2 は無理数なの？

[0007 日高 2023/01/17(火) 20:51:48.05 ID:6EJMb1ho]

＞だけど永遠に続く道です。

永遠に続く道ですが、一本道です。

[0008 １３２人目の素数さん 2023/01/17(火) 20:52:11.00 ID:1vuyjbbo]

> ＞途中で切るからならないのかもよ。
>
> 有理数^2は、無理数にならないという意味です。

それが、√2が無理数であることとどう関係するのだ？

[0009 日高 2023/01/17(火) 20:53:17.39 ID:6EJMb1ho]

＞2 は無理数なの？

√2は無理数です。

[0010 １３２人目の素数さん 2023/01/17(火) 20:53:52.93 ID:1vuyjbbo]

> ＞だけど永遠に続く道です。
>
> 永遠に続く道ですが、一本道です。

自然数の三つ組(x,y,z)全体は可算集合だから三つ組に対し試しても一本道です。

[0011 日高 2023/01/17(火) 20:56:26.11 ID:6EJMb1ho]

> 有理数^2は、無理数にならないという意味です。

それが、√2が無理数であることとどう関係するのだ？

√2=1.414213562373095........
1.414213562373^2=2となりません。

[0012 １３２人目の素数さん 2023/01/17(火) 20:57:48.56 ID:1vuyjbbo]

> > 有理数^2は、無理数にならないという意味です。
>
> それが、√2が無理数であることとどう関係するのだ？
>
> √2=1.414213562373095........
> 1.414213562373^2=2となりません。

だから、それが√2が無理数であることとどう関係するの、って聞いてるんだよ。

[0013 １３２人目の素数さん 2023/01/17(火) 20:59:41.05 ID:Og/xiYt6]

x^n+y^n=z^n
したがって
z=(x^n+y^n)^(1/n)
電卓でzが整数にならないことを確認すればいいんじゃないですか。
こっちのほうが簡単でしょう。
これも永遠に続く道ですが、一本道です。

[0014 日高 2023/01/17(火) 21:00:17.80 ID:6EJMb1ho]

＞自然数の三つ組(x,y,z)全体は可算集合だから三つ組に対し試しても一本道です。

x,y,zそれぞれに、整数を代入して、試す必要があります。
その場合、規則性は、ありません。

[0015 １３２人目の素数さん 2023/01/17(火) 21:02:14.40 ID:1vuyjbbo]

規則性はあります。カントールの対関数を使います。

[0016 １３２人目の素数さん 2023/01/17(火) 21:06:01.83 ID:1vuyjbbo]

別に、カントールのでなくても構いません。

[0017 日高 2023/01/17(火) 21:12:15.07 ID:6EJMb1ho]

＞z=(x^n+y^n)^(1/n)
電卓でzが整数にならないことを確認すればいいんじゃないですか。
こっちのほうが簡単でしょう。
これも永遠に続く道ですが、一本道です。

すべての整数x,yを入力する必要があります。
私の方法は、有理数yを入力するだけです。

[0018 １３２人目の素数さん 2023/01/17(火) 21:23:14.59 ID:1vuyjbbo]

> 私の方法は、有理数yを入力するだけです。

全ての正の有理数を「一本道」に並べてみせてください。

[0019 １３２人目の素数さん 2023/01/17(火) 21:36:22.19 ID:1vuyjbbo]

ん、ちょっと間違えた。

全ての正の有理数を「一本道」に並べる方法を示してください。

[0020 １３２人目の素数さん 2023/01/17(火) 21:38:22.81 ID:Og/xiYt6]

>>17
x,yが1または2の整数であるときx,yの組み合わせは4通りしかありません。
0<y<=2 の範囲で有理数は何通りありますか？
調べつくすのにどのくらい時間がかかると思いますか？
すべての有理数を調べるには当然y<2の場合も調べなければなりません。

ならば、有理数のｙだけを代入するより、整数x,yを代入したほうがずっと良いんじゃないか？と思いませんか。
すくなくとも0.xxxxxx......で挫折して、2より大きい数には進めない、ということはないんですが。

[0021 １３２人目の素数さん 2023/01/17(火) 22:02:58.59 ID:Og/xiYt6]

>>20
× y<2
〇 y>2

いずれにしても、無限の試行を要求する点で証明としてはダメダメですが、小さいほうから順にという条件を付けても、一番小さい正の有理数って何ですかっていわれるあなたの証明よりはすこしは「まし」なんじゃないですかね。

[0022 １３２人目の素数さん 2023/01/18(水) 08:29:30.82 ID:EdcUGtKy]

つまり日高氏は数学的証明はあきらめたって事で良いのかな？

[0023 日高 2023/01/18(水) 11:32:13.71 ID:g9wzLXZR]

{y(y+1)}^(1/2)は常に無理数です。
{y(y+1)}^(1/2)と等しいxを求めると、無理数となります。

[0024 １３２人目の素数さん 2023/01/18(水) 16:47:30.04 ID:wwzMHpkx]

>>23
>{y(y+1)}^(1/2)と等しいx

どのようにxを求めるのですか？

[0025 日高 2023/01/18(水) 17:04:53.85 ID:g9wzLXZR]

＞どのようにxを求めるのですか？

y=3のばあい、
x={(12*3)+1}^(1/3)となります。

[0026 １３２人目の素数さん 2023/01/18(水) 17:19:30.04 ID:wwzMHpkx]

>x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。『x,yは有理数』。
>(x^3-1)/3=y(y+1)と変形する。
>{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)が成立するかを検討する

>{y(y+1)}^(1/2)は常に無理数です

y=1/3のとき{y(y+1)}^(1/2)=2/3
上の計算は間違ってますか？
たぶん、いつの間にか、都合よく、有理数yが整数yに変身していますね。
「yが有理数なら{y(y+1)}^(1/2)は有理数でありうる」は上の例で明らかなように成り立つんですから、「整数解を持たないならば有理数解は持たない」なんて都合のいいことはいいっこなしにしましょうよ。

[0027 １３２人目の素数さん 2023/01/18(水) 17:37:11.12 ID:wwzMHpkx]

>{y(y+1)}^(1/2)は常に無理数です。
>{y(y+1)}^(1/2)と等しいxを求めると、無理数となります。

それに1行目は要らないでしょう。
yが有理数である限り、{y(y+1)}^(1/2)が有理数であろうと無理数であろうと、{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2) を成り立たせるxが無理数なら、つまり有理数であり得ないなら証明完成です。

あ、もちろん口で「{y(y+1)}^(1/2)と等しいxを求めると、無理数となります」と言うだけじゃだめですよ。
無限の試行を相手に要求してもだめです。
数式を使ってちゃんと論証しなければ。

[0028 日高 2023/01/18(水) 18:58:16.23 ID:g9wzLXZR]

y=1/3のとき{y(y+1)}^(1/2)=2/3となりますが、
{(x^3-1)/3}^(1/2)は、無理数となります。

[0029 １３２人目の素数さん 2023/01/18(水) 19:07:41.72 ID:wwzMHpkx]

>>28
y=1/3が解です、なんて言ってないでしょう。
yが有理数ならば{y(y+1)}^(1/2)は有理数になり得るので、

>{y(y+1)}^(1/2)は常に無理数です。

は完全に勘違いしてますよ、全くの誤りです、といっているんです。

[0030 日高 2023/01/18(水) 19:11:11.79 ID:g9wzLXZR]

{y(y+1)}^(1/2)は常に無理数です。は、間違いでした。

[0031 １３２人目の素数さん 2023/01/18(水) 19:20:46.22 ID:wrWLBK/k]

期待の続編
・そろばんによるフェルマーの最終定理の証明
・おはじきによるフェルマーの最終定理の証明
・指を折って数えることによるフェルマーの最終定理の証明

[0032 １３２人目の素数さん 2023/01/18(水) 20:22:06.01 ID:qXEdwuiO]

日高くんさぁ、証明してからものいいなよ

[0033 １３２人目の素数さん 2023/01/19(木) 01:16:37.71 ID:oRzOGQJf]

>>11

> > 有理数^2は、無理数にならないという意味です。
>
> それが、√2が無理数であることとどう関係するのだ？
>
> √2=1.414213562373095........
> 1.414213562373^2=2となりません。

これ、電卓はいらなかったんだわー。
1.414213562373^2は最後の桁が3*3=9になるのが明らかだから。

[0034 １３２人目の素数さん 2023/01/19(木) 02:17:49.04 ID:ph9Mt2N8]

>>30
{y(y+1)}^(1/2)が有理数にもなりえるのならば、

{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)

と両辺の平方根を取る意味は何ですか？
右辺は無理数と断定できないのだから何の意味もなさそうですが。

それに、右辺が無理数でも困りませんよね。
左辺にも√があるのだから、xが有理数、すなわち(x^3-1)/3が有理数でも{(x^3-1)/3}^(1/2)は無理数になるかもしれません。
両辺の√を取ると無理数になるかどうかは等号成立に関係ないんだから、結局
(x^3-1)/3=y(y+1)を成り立たせる有理数x,yは存在するのか、
という問題に戻るだけじゃないんですか？

[0035 日高 2023/01/19(木) 21:52:49.01 ID:pwGsoEPX]

＞(x^3-1)/3=y(y+1)を成り立たせる有理数x,yは存在するのか、
という問題に戻るだけじゃないんですか？

そうですね。

[0036 １３２人目の素数さん 2023/01/19(木) 22:00:05.23 ID:Sn8rXi8E]

で、その問題は電卓で解けるのですか？

[0037 日高 2023/01/25(水) 11:38:12.69 ID:ZGe2Blki]

＞{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)

と両辺の平方根を取る意味は何ですか？
右辺は無理数と断定できないのだから何の意味もなさそうですが。

右辺は、2/3もしくは、無理数です。
両辺の平方根を取る意味は、同じ無理数は、存在しないからです。
（同じ有理数を除いて）

[0038 １３２人目の素数さん 2023/01/25(水) 12:33:09.42 ID:w+qMfIfE]

> ＞{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)
>
> と両辺の平方根を取る意味は何ですか？
> 右辺は無理数と断定できないのだから何の意味もなさそうですが。
>
> 右辺は、2/3もしくは、無理数です。

まちがいです。

a,b,cをピタゴラス数とします。自然数でa^2+b^2=c^2です。
y=a^2/b^2とすると右辺は{y(y+1)}^(1/2)={(a^2/b^2)[(a^2+b^2)/b^2]}^(1/2)={(a^2/b^2)(c^2/b^2)}^(1/2)=ac/b^2と有理数になります。

[0039 日高 2023/01/25(水) 13:05:00.47 ID:ZGe2Blki]

{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)
右辺は、2/3かac/b^2もしくは、無理数です。
(a,b,cはピタゴラス数）

[0040 １３２人目の素数さん 2023/01/25(水) 19:38:20.78 ID:WsTKiZTE]

>>39
y^2+y-r^2 = 0 (rは有理数)が実数解yを持てば
{y(y+1)}^(1/2)は有理数rになる

[0041 １３２人目の素数さん 2023/01/25(水) 20:07:54.19 ID:arLJ6sh3]

rを自然数とし、r^2=cd（ただしc<d）とする。
y=c/(d-c)とおくとy+1=d/(d-c)なので
{y(y+1)}^(1/2)={cd/(d-c)^2}^(1/2)=r/(d-c).

[0042 １３２人目の素数さん 2023/01/25(水) 23:40:05.67 ID:arLJ6sh3]

いや、右辺が有理数か無理数かは本質ではなかった。
左辺が右辺に等しくなるようなxが有理数でないことはどうやって証明するの？

[0043 日高 2023/01/26(木) 00:40:09.22 ID:Ce3fU38T]

＞左辺が右辺に等しくなるようなxが有理数でないことはどうやって証明するの？

xが有理数の場合、右辺と一致しません。
（右辺が、無理数の場合）

[0044 １３２人目の素数さん 2023/01/26(木) 01:45:49.26 ID:pOdRNgmM]

>xが有理数の場合、右辺と一致しません。
>（右辺が、無理数の場合）

それをどうやって証明するのと聞かれているわけですが。
なぜ右辺と一致しないのか、数式で示しましょう。

それに、「右辺が有理数の場合」はどうなるんですか」？

右辺が無理数になると都合がいい、と思われているようですが、左辺にもルートがあるんですよ？
普通に左辺も無理数になりそうですが？
左辺{(x^3-1)/3}^(1/2)の^(1/2)が見えていないのではありませんか？

[0045 日高 2023/01/26(木) 12:59:07.92 ID:Ce3fU38T]

左辺{(x^3-1)/3}^(1/2)は常に無理数です。

[0046 日高 2023/01/26(木) 13:10:30.54 ID:Ce3fU38T]

左辺（無理数）と右辺（無理数）を比較します。

[0047 日高 2023/01/26(木) 13:17:36.66 ID:Ce3fU38T]

xの表示部分は、有理数です。

[0048 １３２人目の素数さん 2023/01/26(木) 20:29:04.08 ID:CaX2O748]

>>45
> 左辺{(x^3-1)/3}^(1/2)は常に無理数です。

質問１。これは証明された命題ですか？
質問２。この命題はフェルマーの最終定理の証明と関係ありますか？

[0049 日高 2023/01/27(金) 11:08:09.78 ID:M90/ntDo]

質問１。いいえ。なので、役にたちません。

[0050 日高 2023/01/27(金) 11:26:28.69 ID:M90/ntDo]

n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。x,yは有理数。
(x^3-1)/3=y(y+1)…(1)と変形する。
(1)が成立する可能性があるのは、x,yの分母が1のときのみである。
(1)を{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)…(2)とする。
(2)の右辺はyの増加につれて、y+0.5に近づく。
(2)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。

[0051 日高 2023/01/27(金) 11:55:58.95 ID:M90/ntDo]

n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。x,yは有理数。
x^3=3y^2+3y+1…(1)と変形する。
(1)が成立する可能性があるのは、x,yの分母が1のときのみである。
(1)を{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)…(2)と変形する。
(2)の右辺はyの増加につれて、y+0.5に近づく。
(2)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。

[0052 日高 2023/01/27(金) 12:44:06.67 ID:M90/ntDo]

n=4のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^4+y^4=z^4を、x^4+y^4=(y+1)^4とおく。x,yは有理数。
x^4=4y^3+6y^2+4y+1…(1)と変形する。
(1)が成立する可能性があるのは、x,yの分母が1のときのみである。
(1)を{(x^4-1)/4}^(1/3)=(y^3+1.5y^2+y)^(1/3)…(2)と変形する。
(2)の右辺はyの増加につれて、y+0.5に近づく。
(2)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=4のとき、x^n+y^n=z^nは0以外の整数解を持たない。

[0053 日高 2023/01/27(金) 13:01:10.89 ID:M90/ntDo]

n=5のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^5+y^5=z^5を、x^5+y^5=(y+1)^5とおく。x,yは有理数。
x^5=5y^4+10y^3+10y^2+5y+1…(1)と変形する。
(1)が成立する可能性があるのは、x,yの分母が1のときのみである。
(1)を{(x^5-1)/5}^(1/4)=(y^4+2y^3+2y^2+y)^(1/4)…(2)と変形する。
(2)の右辺はyの増加につれて、y+0.5に近づく。
(2)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=5のとき、x^n+y^n=z^nは0以外の整数解を持たない。

[0054 日高 2023/01/27(金) 13:18:56.41 ID:M90/ntDo]

n=7のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^7+y^7=z^7を、x^7+y^7=(y+1)^7とおく。x,yは有理数。
x^7=7y^6+21y^5+35y^4+35y^3+21y^2+7y+1…(1)と変形する。
(1)が成立する可能性があるのは、x,yの分母が1のときのみである。
(1)を{(x^7-1)/7}^(1/6)=(y^6+3y^5+5y^4+5y^3+3y^2+y)^(1/6)…(2)と変形する。
(2)の右辺はyの増加につれて、y+0.5に近づく。
(2)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=7のとき、x^n+y^n=z^nは0以外の整数解を持たない。

[0055 １３２人目の素数さん 2023/01/27(金) 17:58:49.95 ID:zayb907r]

>>50
> (1)が成立する可能性があるのは、x,yの分母が1のときのみである。

○違い

[0056 日高 2023/01/27(金) 18:30:50.18 ID:M90/ntDo]

○違いとは？

[0057 １３２人目の素数さん 2023/01/27(金) 19:41:34.94 ID:zkh4gk5O]

> x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。

これだとz=x+1に限っていませんか？

[0058 １３２人目の素数さん 2023/01/27(金) 19:42:33.46 ID:zkh4gk5O]

間違えたので書き直し。

> x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。

これだとz=y+1に限っていませんか？

[0059 日高 2023/01/27(金) 19:45:14.08 ID:M90/ntDo]

＞これだとz=y+1に限っていませんか？

どういう意味でしょうか？

[0060 １３２人目の素数さん 2023/01/27(金) 19:55:55.06 ID:N4NxZOS/]

>>56
> ○違いとは？
○=キ
○=マ

> x^3=3y^2+3y+1…(1)と変形する。
> (1)が成立する可能性があるのは、x,yの分母が1のときのみである。

x^2+y^2=(y+1)^2の場合でもx^2=2y+1…(1)と変形すると

(1)が成立する可能性があるのはx,yの分母が1のとき「のみ」である

が間違いであることは簡単に分かる

[0061 １３２人目の素数さん 2023/01/27(金) 20:04:00.78 ID:zkh4gk5O]

> x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。

ってことはz=y+1ってことでしょ。

[0062 日高 2023/01/27(金) 20:05:49.35 ID:M90/ntDo]

x^2+y^2=(y+1)^2の場合でもx^2=2y+1…(1)と変形すると

(1)が成立する可能性があるのはx,yの分母が1のとき「のみ」である

が間違いであることは簡単に分かる

n=2のときは、xの分母が、1以外でも、成立します。

[0063 日高 2023/01/27(金) 20:08:06.17 ID:M90/ntDo]

ってことはz=y+1ってことでしょ。

この場合は、x,yは有理数です。

[0064 １３２人目の素数さん 2023/01/27(金) 20:43:09.13 ID:zkh4gk5O]

> この場合は、x,yは有理数です。

なんで自然数が有理数に変わるのですか？

[0065 日高 2023/01/27(金) 20:55:26.51 ID:M90/ntDo]

＞なんで自然数が有理数に変わるのですか？

x^3+y^3=(y+m)^3とx^3+y^3=(y+1)^3は同値です。

[0066 １３２人目の素数さん 2023/01/27(金) 20:59:10.46 ID:zkh4gk5O]

> x^3+y^3=(y+m)^3とx^3+y^3=(y+1)^3は同値です。

でたらめです。

[0067 日高 2023/01/27(金) 21:07:43.81 ID:M90/ntDo]

> x^3+y^3=(y+m)^3とは同値です。でたらめです。

x^3+y^3=(y+m)^3の整数解と、x^3+y^3=(y+1)^3の有理数解は同値です。

[0068 １３２人目の素数さん 2023/01/27(金) 21:11:11.60 ID:aV4xjxzi]

x^3+y^3=(y+m)^3 が正の整数解(x,y,mは正の整数つまり自然数)を持つこととx^3+y^3=(y+1)^3 が正の有理数解(x,yは正の有理数)を持つことは同値の命題です。
それはでたらめではありません。

でたらめなのは
後者の「x^3+y^3=(y+1)^3が成立する可能性があるのは、x,yの分母が1のときのみである」。
とするところです。

何の説明もなしに有理数が整数に化けてしまうところがでたらめとしか言い様がありません。
そこで同値性が何の説明もなしに崩壊することになります。

「x^3+y^3=(y+1)^3が成立する可能性があるのは、x,yの分母が1のときのみである」

これを命題として提示するならばその命題には証明が必要です。
いくらそう言っても理解しても聞きいれてももらえないんですけどね。

[0069 １３２人目の素数さん 2023/01/27(金) 21:21:34.90 ID:zkh4gk5O]

> x^3+y^3=(y+m)^3 が正の整数解(x,y,mは正の整数つまり自然数)を持つこととx^3+y^3=(y+1)^3 が正の有理数解(x,yは正の有理数)を持つことは同値の命題です。
> それはでたらめではありません。

それはそうですが、とてもそうは読めません。
式だけ書いて同値だと言われたら、両者に共通な文字は同じものを指すと読みますよ。

[0070 １３２人目の素数さん 2023/01/27(金) 21:36:25.98 ID:aV4xjxzi]

>>69
それは全くその通りだと思います。
両辺をm^3で割ってx/m、y/mを改めてx,yと置き直す、という一文を入れるべきであり、そう書きなさいと言われたこともたびたびですが日高氏はそれを受け入れません。
そう指摘されても無視します。

日高氏はどうしてもx^3+y^3=(y+1)^3のx,yを整数として扱いたいようで、このスレの上の方でもx,yが有理数の場合を検討しているように見えて、やがてそのうちにその揺らぎは再び安定してしまいx^3+y^3=(y+1)^3のx,yは整数という主張に戻ってしまいます。
そしてその揺らぎが収まった状態でのx^3+y^3=(y+1)^3のx,yはx^3+y^3=(y+m)^3のx,yと同じものである、と考えているものと思います。

同じなんだから区別する必要がない。
日高氏の立場からはそうなんでしょう。
それはたぶん修正不可能なので、なぜ分母が1に限定されるのかに焦点を絞った方がよいのではないかと思います。






どうせ理解してはもらえないんですけどね。

[0071 日高 2023/01/28(土) 15:11:49.57 ID:cewLr2LS]

x^3+y^3=(y+1)^3
x^3=3y^2+3y+1
y=-3+√{3^2-4*3(1-x^3)}/6
yが有理数になるには、{3^2-4*3(1-x^3)}=t^2。tは有理数。
x=b/aとおく。
-3+12*(b/a)^3=t^2
(b^3)/(a^3)=(t^2+3)/12
b^3=(a^3)(t^2+3)/12
b={a*(t^2+3)^(1/3)}/12^(1/3)
12^(1/3)が無理数なので、b,xは無理数。

[0072 １３２人目の素数さん 2023/01/28(土) 15:40:05.45 ID:GS+RxebL]

>>71
> (b^3)/(a^3)=(t^2+3)/12
> b^3=(a^3)(t^2+3)/12
> b={a*(t^2+3)^(1/3)}/12^(1/3)
> 12^(1/3)が無理数なので、b,xは無理数。

a,tの値によって(a^3)(t^2+3)/12の12が変わることが考えられていないので証明は無理

[0073 日高 2023/01/28(土) 17:11:25.14 ID:cewLr2LS]

＞a,tの値によって(a^3)(t^2+3)/12の12が変わることが考えられていないので証明は無

詳しく教えてください。

[0074 １３２人目の素数さん 2023/01/28(土) 20:35:54.46 ID:GxgDsDea]

> b={a*(t^2+3)^(1/3)}/12^(1/3)
> 12^(1/3)が無理数なので、b,xは無理数。

分子のa*(t^2+3)^(1/3)}も無理数かもですから約分したら整数、って可能性があります。

[0075 １３２人目の素数さん 2023/01/28(土) 20:54:08.91 ID:nf6qAmWh]

乱立すんなボケ

初等数学によるフェルマーの最終定理の証明
https://rio2016.5ch.net/test/read.cgi/math/1674902161/

[0076 誘導 2023/01/28(土) 21:34:01.90 ID:cLxdAEsk]

フェルマーの最終定理の簡単な証明11
https://rio2016.5ch.net/test/read.cgi/math/1623532956/l50

[0077 １３２人目の素数さん 2023/03/15(水) 22:25:40.40 ID:rRHW4wzi]

ﾌｩｰ (*-o-)y-．．ｏＯ○

[0078 １３２人目の素数さん 2023/04/04(火) 07:28:45.32 ID:VGOIEHfA]

あーあ