- やさしいフェルマーの最終定理の証明Ⅲ
770 ：１３２人目の素数さん[sage]：2021/03/12(金) 12:23:11.28 ID:1zRr76Vm - >>731
いつの間にかzが追加されていますけど？
>>679
>(4)の(an)^{1/(n-1)}を無理数とする。yに任意の無理数を代入すると、「x,yは整数比とならない」。
についてですよ。zがどこにありますか。
改めてお聞きします。zは対象ではありません。
>679
(4)の(an)^{1/(n-1)}を無理数とする。yに任意の無理数を代入すると、x,yは整数比とならない。
yに無理数を入れると，x:yは整数比にならないんですか。
| - やさしいフェルマーの最終定理の証明Ⅲ
779 ：１３２人目の素数さん[sage]：2021/03/12(金) 18:34:39.38 ID:1zRr76Vm - >>774
>679
>(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
y=kx (kは有理数，k>0)を代入してみます。x:yが有理数比とするためにkを有理数とするのですが，実は>0の実数なら何でもかまいません。
さらに(an)^{1/(n-1)}=wとおくと，(4)は
(k^n+1)*x^n=(x+w)^n･･･(4)'となります。
(4)'はxについて簡単に解くことができ，従ってy=kxも簡単に求めることができます。
ここで導かれたx,y (y=kx) の値は日高さんにとって何を意味するんですか。
そのx,yは(4)'すなわち(4)の解にはならないんですか。
y=kx (kは有理数)なのだから，x:yは有理数比になりませんか？
上の(4)'式をみれば，(4)は任意の整数比，有理数比どころか，任意の実数比を取りうる，とは思いませんか？
| - やさしいフェルマーの最終定理の証明Ⅲ
791 ：１３２人目の素数さん[sage]：2021/03/12(金) 20:34:29.29 ID:1zRr76Vm - >>786
そうですか。意味が分かりませんか。
それではわかるように聞き直します。
>779にあげた
(k^n+1)*x^n=(x+w)^n･･･(4)'
を解いて得られる値をとる x,y は(4)'，すなわち(4)の解である。
はい，いいえでお答え下さい。
|
|