初等数学によるフェルマーの最終定理の証明９

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

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…(2)のtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは有理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは有理数なので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>1
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(2^n)k={(t+1)^n}k-(t^n)kは右辺の各項の値が異なるのでy^n=(x+m)^n-x^n…(1)ではない
> (t^n)kは無理数なので、xは無理数となる。
間違い (t^n)kが無理数でも(t^n)k+u (u=M^n-(t^n)k, Mは有理数)が有理数ならばxは有理数となる

0918１３２人目の素数さん2023/11/06(月) 09:02:42.19ID:LXBE4bI/
> 「同じ式では、ありません。」であっても2^3=(t+1)^3-t^3と2^3=(x+2)^3-x^3は左辺が同じ値なので(t+1)^3-t^3=(x+2)^3-x^3になります
>
> なりません。
> n=2の場合、
> 15^2=17^2-8^2
> 15^2=113^2-112^2

15^2=(17^2+u)-(8^2+u)=113^2-112^2 (u=12480)が成立するのに「なりません。」なの？

0920日高2023/11/06(月) 10:55:56.01ID:j0vg7AcO
両方とも15^2なのに17^2-8^2=113^2-112^2に「なりません。」なの？

なりますが、各項の数は異なります。

0922日高2023/11/06(月) 11:12:14.83ID:j0vg7AcO
15^2=(17^2+u)-(8^2+u)=113^2-112^2 (u=12480)が成立するのに「なりません。」なの？

なりますが、各項の数は異なります。

>>3
> (t^n)kは無理数なので、xは無理数となる。
間違い (t^n)kが無理数でも(t^n)k+u (u=M^n-(t^n)k, Mは有理数)が有理数ならばxは有理数となる

xは有理数となりますが、その式は成立しません。

>>4

意味がわかりません。

>>5
> >>3
> > (t^n)kは無理数なので、xは無理数となる。
> 間違い (t^n)kが無理数でも(t^n)k+u (u=M^n-(t^n)k, Mは有理数)が有理数ならばxは有理数となる
>
> xは有理数となりますが、その式は成立しません。

> xは有理数となりますが、その式は成立しません。
「その式は成立しません。」はおまえの証明が正しいことを示すわけではないから状況を正しく説明するように文章を書いてくれ
「xは有理数となります」ので私(日高)の証明は間違いです フェルマーの最終定理は他の人によって既に証明されているので「その式は成立しません」

>>7
> xは有理数となりますが、その式は成立しません。
「その式は成立しません。」はおまえの証明が正しいことを示すわけではないから状況を正しく説明するように文章を書いてくれ
「xは有理数となります」ので私(日高)の証明は間違いです フェルマーの最終定理は他の人によって既に証明されているので「その式は成立しません」

訂正します。
当然xは有理数となります。

4*7 の 28 個の正方形のマス目をそれぞれ黒か白で塗る。このとき、28 個の正方形の中から
(1) その 4 つはすべて黒かあるいはすべて白である。
(2) その 4 つを結ぶと長方形ができる
という条件を満たすような 4 つを選び出すことができることを証明する。

　円の円周上に何個かの点があって、それぞれ青か赤の色で塗られている。このときこれらの点で区切られる円弧のうち両端の色が違うものの数は偶数であることを証明する。

　p を素数、n を自然数とする。
a = log_p(n), b = log_(p+1)( (n^2-n+6)/2 )
と定める。a、b が共に素数となるような組をすべて求める。

ある工場で製品 X、Y を 2 種類の原料 a、b を使って作っている。X、Y を 1[kg] 作るのに必要な原料 a、b の量と原料の在庫量は、下の表のようになる。また X、Y 1[kg]当たりの利益は各々1万円と2万円である。原料の在庫量の範囲で、最大の利益を得るには X、Y をそれぞれ何[�s]製造すればよいか。

　曲線 y = f(x) 上の任意の点における接線が常に、定点 (-2,3) を通り f(4) = 1 を満たす f(x) を求める。

>>15

面白い？

>>8
> >>7
> > xは有理数となりますが、その式は成立しません。
> 「その式は成立しません。」はおまえの証明が正しいことを示すわけではないから状況を正しく説明するように文章を書いてくれ
> 「xは有理数となります」ので私(日高)の証明は間違いです フェルマーの最終定理は他の人によって既に証明されているので「その式は成立しません」
>
> 訂正します。
> 当然xは有理数となります。

> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> (t^n)kは無理数なので、xは無理数となる。
「当然xは有理数となります。」なので証明は間違いです

>>17
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> (t^n)kは無理数なので、xは無理数となる。
「当然xは有理数となります。」なので証明は間違いです

最初から、お願いします。
なぜ、私が、「当然xは有理数となります。」と、言ったのでしょうか？

昼前のことを忘れているのか

>>18
> >>17
> > 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> > (t^n)kは無理数なので、xは無理数となる。
> 「当然xは有理数となります。」なので証明は間違いです
>
> 最初から、お願いします。
> なぜ、私が、「当然xは有理数となります。」と、言ったのでしょうか？

0001日高2023/11/09(木) 21:43:38.78ID:ME7xPFvB
nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>18
> >>17
> > 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> > (t^n)kは無理数なので、xは無理数となる。
> 「当然xは有理数となります。」なので証明は間違いです
>
> 最初から、お願いします。
> なぜ、私が、「当然xは有理数となります。」と、言ったのでしょうか？

0003１３２人目の素数さん2023/11/09(木) 23:03:45.68ID:BhzLnvFt
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(2^n)k={(t+1)^n}k-(t^n)kは右辺の各項の値が異なるのでy^n=(x+m)^n-x^n…(1)ではない
> (t^n)kは無理数なので、xは無理数となる。
間違い (t^n)kが無理数でも(t^n)k+u (u=M^n-(t^n)k, Mは有理数)が有理数ならばxは有理数となる

>>18
> >>17
> > 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> > (t^n)kは無理数なので、xは無理数となる。
> 「当然xは有理数となります。」なので証明は間違いです
>
> 最初から、お願いします。
> なぜ、私が、「当然xは有理数となります。」と、言ったのでしょうか？

0004１３２人目の素数さん2023/11/09(木) 23:15:57.05ID:BhzLnvFt
0918１３２人目の素数さん2023/11/06(月) 09:02:42.19ID:LXBE4bI/
> 「同じ式では、ありません。」であっても2^3=(t+1)^3-t^3と2^3=(x+2)^3-x^3は左辺が同じ値なので(t+1)^3-t^3=(x+2)^3-x^3になります
>
> なりません。
> n=2の場合、
> 15^2=17^2-8^2
> 15^2=113^2-112^2

15^2=(17^2+u)-(8^2+u)=113^2-112^2 (u=12480)が成立するのに「なりません。」なの？

0920日高2023/11/06(月) 10:55:56.01ID:j0vg7AcO
両方とも15^2なのに17^2-8^2=113^2-112^2に「なりません。」なの？

なりますが、各項の数は異なります。

0922日高2023/11/06(月) 11:12:14.83ID:j0vg7AcO
15^2=(17^2+u)-(8^2+u)=113^2-112^2 (u=12480)が成立するのに「なりません。」なの？

なりますが、各項の数は異なります。

>>18
> >>17
> > 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> > (t^n)kは無理数なので、xは無理数となる。
> 「当然xは有理数となります。」なので証明は間違いです
>
> 最初から、お願いします。
> なぜ、私が、「当然xは有理数となります。」と、言ったのでしょうか？

0005日高2023/11/10(金) 08:33:22.83ID:A1eecXVE
>>3
> (t^n)kは無理数なので、xは無理数となる。
間違い (t^n)kが無理数でも(t^n)k+u (u=M^n-(t^n)k, Mは有理数)が有理数ならばxは有理数となる

xは有理数となりますが、その式は成立しません。

>>18
> >>17
> > 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> > (t^n)kは無理数なので、xは無理数となる。
> 「当然xは有理数となります。」なので証明は間違いです
>
> 最初から、お願いします。
> なぜ、私が、「当然xは有理数となります。」と、言ったのでしょうか？


0007１３２人目の素数さん2023/11/10(金) 08:58:08.95ID:yXCfLNJs
> > (t^n)kは無理数なので、xは無理数となる。
> 間違い (t^n)kが無理数でも(t^n)k+u (u=M^n-(t^n)k, Mは有理数)が有理数ならばxは有理数となる
>
> xは有理数となりますが、その式は成立しません。

> xは有理数となりますが、その式は成立しません。
「その式は成立しません。」はおまえの証明が正しいことを示すわけではないから状況を正しく説明するように文章を書いてくれ
「xは有理数となります」ので私(日高)の証明は間違いです フェルマーの最終定理は他の人によって既に証明されているので「その式は成立しません」

>>18
> >>17
> > 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> > (t^n)kは無理数なので、xは無理数となる。
> 「当然xは有理数となります。」なので証明は間違いです
>
> 最初から、お願いします。
> なぜ、私が、「当然xは有理数となります。」と、言ったのでしょうか？

0008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
>>7
> xは有理数となりますが、その式は成立しません。
「その式は成立しません。」はおまえの証明が正しいことを示すわけではないから状況を正しく説明するように文章を書いてくれ
「xは有理数となります」ので私(日高)の証明は間違いです フェルマーの最終定理は他の人によって既に証明されているので「その式は成立しません」

訂正します。
当然xは有理数となります。

>>18
> なぜ、私が、「当然xは有理数となります。」と、言ったのでしょうか？

何も考えてないからだろ。

>>26

最初からお願いします。

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>27

最初から何も考えてないからだろ。

>>27

最初から何も考えてないからだろ。

>>30

28を指摘してください。

>>28
問題外。

>>31
>>28
> > xは有理数となりますが、その式は成立しません。
> 「その式は成立しません。」はおまえの証明が正しいことを示すわけではないから状況を正しく説明するように文章を書いてくれ
> 「xは有理数となります」ので私(日高)の証明は間違いです フェルマーの最終定理は他の人によって既に証明されているので「その式は成立しません」
>
> 訂正します。
> 当然xは有理数となります。

> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> (t^n)kは無理数なので、xは無理数となる。
「当然xは有理数となります。」なので証明は間違いです

TikTok LiteでPayPayやAmazonギフトなどに交換可能な4000円分のポイントをプレゼント中！
※既存TikTokユーザーの方はTikTokアプリからログアウトしてアンインストールすれば参加できる可能性があります。

1.SIMの入ったスマホ・タブレットを用意する
2.以下のTikTok Litのサイトからアプリをダウンロード（ダウンロードだけでまだ起動しない）
https://lite.tiktok.com/t/ZSNfJsk9q/
3.ダウンロード完了後、もう一度上記アドレスのリンクからアプリを起動
4.アプリ内でTikTok未使用の電話番号かメールアドレスを使用して登録
5.10日間連続のチェックインで合計で4000円分のポイントゲット

ポイントはPayPayやAmazonギフト券に交換可能！
家族・友人に紹介したり通常タスクをこなせば更にポイントを追加で獲得できます。

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…(2)のtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは有理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
[{(t+1)^n}k+M^n-(t^n)k]は有理数となる。よって、(1)のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>34
おー、これはワクワクするな

>>34
「お友達が 4000 円分」とあるのはお前のことか

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…(2)のtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは有理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは有理数なので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>39の訂正版

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。とは言えない

>>34
楽々で良いな

a2+b2=c2を満たすピタゴラス数をa,b,cとすると、a,bの内1つが
4の倍数で、他方とcは4の倍数ではないことを証明せよ。

　パ・リーグの本塁打王もびっくりの2発だった。大谷翔平投手（28＝エンゼルス）が1発目は片膝をつきながら片手で、2発目はバットを折られながら、特大の本塁打を連発した。
　大谷の2発を目の当たりにした山川穂高内野手（31＝西武）は「あれはねえ、なんて表現したらいいだろう。マジで野球やめたいです。まじで、つまんねえ。あれは無理でしょうねえ。今できることを精いっぱいやるのは、そうですけど。んー、ちょっとね、同じ競技やってるとは思えない。（2本目はバットが）折れてましたし、1本目はふざけてるでしょう。ふざけないで欲しい。あんなの競技が違うし」と苦笑いを交えつつ、そのすごさを語った。

冬に植え付け可能な花。

　角の三等分家を数学板から追放するにはどうしたらいいか。

nが奇素数のとき、♀^n+♂^n=z^nは自然数解を持たない。

nが奇素数のとき、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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは有理数なので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>46の訂正版

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。とは言えない

>>48

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

日高の文字が、濃ゆいのが、本物です。

そうとも、かぎりませんでした。

にせものが、でるなんて、すごくないですか？

>>49
> >>48
>
> どういう意味でしょうか？

> (t^n)kは無理数なので、xは無理数となる。
が間違いと日高とかいう人が認めたということです

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

>>53

あれぇ

nが奇素数のとき、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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは有理数なので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>55の訂正版

nが奇素数のとき、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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。とは言えない

>>WOA?

nが奇素数のとき、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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは有理数なので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

A,B の 2 人がそれぞれ、グー、チョキ、パーの 3 種類の「手」から無造作に 1 つを選んで、双方の「手」によって勝敗を決める。グーはチョキに勝ちパーに負け、チョキはパーに勝ちグーに負け、パーはグーに勝ちチョキに負け、同じ「手」どうしは引き分けとする。A が B に勝つ確率を求める。

　A の所持金は 200 円、B の所持金は 100 円 である。この 2 名が 1 回あたり 100 円を賭けて確率 50% のゲームを行う。このとき B の破産する（所持金が 0 になる）確率は A の破産する確率の何倍か？

　C が単純閉曲線のとき、C 内にC内にz = aが含まれれば
�点C 1/(z-a) dz = 2πi
　そうでなければ
�点C 1/(z-a) dz = 0
になりますが、何か特別な条件を与えれば、1/(z-a)の積分は実数のときと同じように原始関数の形が log(z) の主値関数を使って Log(z-a) になることがあるのですか？

　とある中学校の入試に出された

　1 個 66 円の柿と 1 個 35 円のミカンを合わせて 3890 円分買った。このとき、柿とミカンをそれぞれ何個ずつ買ったのか?

という問題を合同式を使って解け。

　Tさんは自分の部屋を掃除しなかった日の翌日は必ず掃除し、その次の日は4/9の確率で掃除する。また、2日以上連続して掃除したときは、その次の日は1/3の確率で掃除する。
　ある日、Tさんは掃除しなかった。Tさんがこの日からn日後に掃除しない確率a[n]を求める。

(1)サイコロを1回または2回振り最後に出た目を得点とするゲームを考える。1回振って出た目を確認した上で2回目を振るかどうかを決めるのあるが、どのように決めるのが有利か。
(2)上と同様のゲームで、3回振るときも許されるとしたら、2回目、3回目はどのようにするのが有利か。

　5 人で 1 回ジャンケンをするとき次の確率を求める。
(1)1 人だけ勝ち残る。
(2)2 人だけ勝ち残る。
(3)3 人だけ勝ち残る。
(4)4 人だけ勝ち残る。
(5)「あいこ」となる。

(1) 自然数 a, n, k に対して、n(n+1)+ a = (n+k)^2 が成り立つとき、

a≧k^2 + 2k - 1

が成り立つことを示せ。

(2) n(n+1) + 7 が平方数となるような自然数 n をすべて求めよ。

　互いに高い文明を持ちながら、絶対に意思を通じ合うことのできない相手が
あることを人々は知った。どうして石と語り合うことができようか。
　彼らもまた言うだろう。風と手を結ぶにはどうすればよいのかと。

>>59
(1)がx^n=M^nであるような有理数解を持つ場合(1)は別のx^n=t^nであるような無理数解も持つので証明になっていない

https://oshiete.goo.ne.jp/qa/13603166.html 小学生レベルwwwwwwww
なのにローラン展開について質問するおもしろい男
https://oshiete.goo.ne.jp/qa/13580616.html
https://oshiete.goo.ne.jp/qa/13523216.html
https://oshiete.goo.ne.jp/qa/12768481.html
https://oshiete.goo.ne.jp/qa/13406316.html
https://oshiete.goo.ne.jp/qa/13274760.html
https://oshiete.goo.ne.jp/qa/13373088.html
https://oshiete.goo.ne.jp/qa/13554625.html
https://oshiete.goo.ne.jp/qa/13028345.html

20年以上前のとあるスレから
「アインシュタインの相対性理論は間違っていた」は間違っていた
　ここのところ『アインシュタインの相対性理論は間違っていた：窪田登司著：徳間書店』
に対する問い合わせが３件ほど続いているので、この際ですからこの本を肴にして何処が
おかしいのかアップしてみたいと思います。
　題して、『アインシュタインの相対性理論は間違っていた』は間違っていたです。ちと
長いです(^_^;)。
　本の中身自体が細かく章分けされているので、それぞれ個別に論破していきたいと思い
ます。もちろん私のミスもあると思われますから、その時は『アインシュタインの相対性
理論は間違っていたは間違っていたは間違っていた』という事で指摘して下さい(^_^;)。

>>70
(1)がx^n=M^nであるような有理数解を持つ場合(1)は別のx^n=t^nであるような無理数解も持つので証明になっていない

意味がわかりません。

意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。

どうして石と語り合うことができようか。

彼らもまた言うだろう。

風と手を結ぶにはどうすればよいのかと。

論理の基礎を理解しない人間と、どうして数学を語り合うことができようか。

彼もまた言うだろう。

自分でできたと勘違いしている証明を、他人にわかるように説明するにはどうしたらいいのだろうと。

>>73
> >>70
> (1)がx^n=M^nであるような有理数解を持つ場合(1)は別のx^n=t^nであるような無理数解も持つので証明になっていない
>
> 意味がわかりません。

y^n=(x+m)^n-x^n…(1)の解のxは1つではない
> {(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
> (3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
> (t^n)kは無理数なので、xは無理数となる。
(1)が有理数解を持つ場合も(1)においてy=2,m=1とすればx^n=t^nでxは無理数となるがそれとは異なるyとmにおいてx^n=M^n(Mは有理数)となる

>>73
> >>70
> (1)がx^n=M^nであるような有理数解を持つ場合(1)は別のx^n=t^nであるような無理数解も持つので証明になっていない
>
> 意味がわかりません。

>>59の訂正版

nが奇素数のとき、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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。とは言えない

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならない。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>79の訂正版

nが奇素数のとき、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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。とは言えない

>>73
> >>70
> (1)がx^n=M^nであるような有理数解を持つ場合(1)は別のx^n=t^nであるような無理数解も持つので証明になっていない
>
> 意味がわかりません。

>>79の訂正版

nが奇素数のとき、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…(2)の解をtとする。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。

008日高2023/11/10(金) 11:06:55.10ID:A1eecXVE
訂正します。
当然xは有理数となります。

∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。とは言えない

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…(2)のtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
よって、M=xとなりえるる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならない。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>82-83
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。

意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。

>>82-83
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。

>>83
> (t^n)kは無理数なので、xは無理数となる。
>>84
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数となる。

よって(1)は無理数である解(たとえばx=t)を持つ
(1)はx^n=(t^n)kを満たすものの他にも解を持つがそれらのxはx^n=(t^n)k+uのuの値を変えることで求められる {(t^n)k+u}=M^n(Mは有理数)であれば(t^n)kが無理数でもx=Mであるから証明は失敗している

>>88
(1)はx^n=(t^n)kを満たすものの他にも解を持つがそれらのxはx^n=(t^n)k+uのuの値を変えることで求められる {(t^n)k+u}=M^n(Mは有理数)
であれば(t^n)kが無理数でもx=Mであるから証明は失敗している

{(t^n)k+u}=M^nを、(3)に代入するとどうなりますか？

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

>>89
> >>88
> (1)はx^n=(t^n)kを満たすものの他にも解を持つがそれらのxはx^n=(t^n)k+uのuの値を変えることで求められる {(t^n)k+u}=M^n(Mは有理数)
> であれば(t^n)kが無理数でもx=Mであるから証明は失敗している
>
> {(t^n)k+u}=M^nを、(3)に代入するとどうなりますか？

(1)の解がx=Mならば{(t^n)k+u}=M^nを(3)に代入すると(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}=(M+m)^n-M^nとなる

>>90
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。
意味がわかりません。

マチガッテル系の人々
http://taurus.ics.nara-wu.ac.jp/machigatteru/
ある学問分野について、ある時点で誤った方向に進み始め、現在はまったく出鱈目なものになっていると主張する人を、マチガッテル系と定義します。主張そのものは、間違っていても間違っていなくてもかまいません。この用語は、以前にfjで公表したものですが、公表に選んだメディアが悪かったか、まだ、「トンデモ本」ほど一般化していません。もっとも、「トンデモ本」のほうは、一般化した結果、オリジナルの定義とは異なる意味で使われることが多くなってきたので、どちらが幸福かはわかりません。
このページでは、主に、マチガッテル系の人々の主張を集めています。参考のため、マチガッテル系に近いけど違うものも並べています。

>>91
(1)の解がx=Mならば{(t^n)k+u}=M^nを(3)に代入すると(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}=(M+m)^n-M^nとなる

xが有理数Mで、(3)=(1)ならばそうなります。
(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数としかなりません。

>>94
> >>91
> (1)の解がx=Mならば{(t^n)k+u}=M^nを(3)に代入すると(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}=(M+m)^n-M^nとなる
>
> xが有理数Mで、(3)=(1)ならばそうなります。
> (2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数としかなりません。

(2^n)k={(t+1)^n}k-(t^n)kを変形するとk=(y/2)^nなので(2^n)k=y^n={(ty/2)+(y/2)}^n-(ty/2)^n={T+(y/2)}^n-T^nであり(1)になるのは(y/2)=m,y=2mのときだけ
> (2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数としかなりません。
これが成立しているのは(1)のyがy=2mのときだけなのでそれ以外のときは証明できていない

>>95
(2^n)k={(t+1)^n}k-(t^n)kを変形するとk=(y/2)^nなので(2^n)k=y^n={(ty/2)+(y/2)}^n-(ty/2)^n={T+(y/2)}^n-T^n
であり(1)になるのは(y/2)=m,y=2mのときだけ

(2^n)k=y^n={(ty/2)+(y/2)}^n-(ty/2)^n={T+(y/2)}^n-T^n
この変形を詳しく教えて下さい。

nが奇素数のとき、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…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

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…(2)のtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる場合と、
(2^n)k={(t+1)^n}k-(t^n)kとなる場合がある。よって、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

>>96
> >>95
> (2^n)k={(t+1)^n}k-(t^n)kを変形するとk=(y/2)^nなので(2^n)k=y^n={(ty/2)+(y/2)}^n-(ty/2)^n={T+(y/2)}^n-T^n
> であり(1)になるのは(y/2)=m,y=2mのときだけ
>
> (2^n)k=y^n={(ty/2)+(y/2)}^n-(ty/2)^n={T+(y/2)}^n-T^n
> この変形を詳しく教えて下さい。

(2^n)k={(t+1)^n}k-(t^n)kのkにk=(y/2)^nを代入すると(2^n)k=y^n={(ty/2)+(y/2)}^n-(ty/2)^n
y^n=(x+m)^n-x^n…(1)と比較すればx=(ty/2)(=Tとおく), m=(y/2),y=2mでありy^n={T+(y/2)}^n-T^n

>>97
> (3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
> 整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならないので、xは無理数となる。
>>98
> (3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる場合と、
> (2^n)k={(t+1)^n}k-(t^n)kとなる場合がある

>>97の「(2^n)k={(t+1)^n}k-(t^n)kとしかならない」と>>98の「(2^n)k={(t+1)^n}k-(t^n)kとなる場合がある」で異なっているのでインチキ
「(2^n)k={(t+1)^n}k-(t^n)kとなる」場合は(1)においてy=2mのときだけ (これはn=2とnが奇素数のときで同じ)

>>99
(2^n)k={(t+1)^n}k-(t^n)kのkにk=(y/2)^nを代入すると(2^n)k=y^n={(ty/2)+(y/2)}^n-(ty/2)^n
y^n=(x+m)^n-x^n…(1)と比較すればx=(ty/2)(=Tとおく), m=(y/2),y=2mでありy^n={T+(y/2)}^n-T^n

x=(ty/2)(=Tとおく)この場合のTは無理数となります。