[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明その４ (646ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(13): 日高 [kokaji222@yahoo.co.jp] 2020/08/27(木)18:45 ID:q02tcKl1(1/6) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)はr=p^{1/(p-1)なので、yが有理数のとき、xは無理数となり、x,y,zは整数比とならない。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(4)のrが有理数のとき、(4)の解は(3)の解のa^{1/(p-1)}倍となるので、(4)の解x,y,zも整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
2: 日高 [kokaji222@yahoo.co.jp] 2020/08/27(木)18:47 ID:q02tcKl1(2/6) AAS
【定理】p=3のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^3+y^3=z^3を、z=x+rとおいてx^3+y^3=(x+r)^3…(1)とする。
(1)を積の形にすると、r^2{(y/r)^3-1}=a3{x^2+rx}(1/a)…(2)となる。
(2)はa=1、r^2=3のとき、x^3+y^3=(x+√3)^3…(3)となる。
(3)はr=√3なので、yが有理数のとき、xは無理数となり、x,y,zは整数比とならない。
(2)はa=1以外、r^2=a3のとき、x^3+y^3=(x+√(a3))^p…(4)となる。
(4)のrが有理数のとき、(4)の解は(3)の解の√a倍となるので、(4)の解x,y,zも整数比とならない。
∴p=3のとき、x^p+y^p=z^pは、整数比の解を持たない。
3: 日高 [kokaji222@yahoo.co.jp] 2020/08/27(木)18:53 ID:q02tcKl1(3/6) AAS
【定理】p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)を積の形にすると、r{(y/r)^2-1}=a2x(1/a)…(2)となる。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はr=2なので、yが有理数のとき、xは有理数となり、x,y,zは整数比となる。
∴p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
4(1): 2020/08/27(木)19:28 ID:nbl75R9a(1/5) AAS
>>1
さて、スレも新しくなりましたが、未だ以下の命題を主張されますか？
「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
5(3): 日高 [kokaji222@yahoo.co.jp] 2020/08/27(木)19:55 ID:q02tcKl1(4/6) AAS
>4
さて、スレも新しくなりましたが、未だ以下の命題を主張されますか？
「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
はい。
6(1): 2020/08/27(木)20:18 ID:nbl75R9a(2/5) AAS
>>5
では証明をお願いします。
（「自明です。」という回答は、僕らが理解できないので無しで）
7(3): 2020/08/27(木)20:27 ID:q99BSvf3(1/2) AAS
(3)は、x^p+y^p=z^pとz=x+p^{1/(p-1)}との連立方程式なんですよね。
8(3): 日高 [kokaji222@yahoo.co.jp] 2020/08/27(木)20:29 ID:q02tcKl1(5/6) AAS
>6
（「自明です。」という回答は、僕らが理解できないので無しで）
例.p=3の場合は仮定となります。
(3√3)^2+(4√3)^2=(5√3)^2
両辺を(√3)^2で割ると
3^2+4^2=5^2となります。
9(1): 2020/08/27(木)20:31 ID:nbl75R9a(3/5) AAS
>>7
私は実はそれがよく分からないのですよね。
(3)式をそのまま見たら、連立方程式ではないのですが......
10(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/27(木)20:31 ID:q02tcKl1(6/6) AAS
>7
(3)は、x^p+y^p=z^pとz=x+p^{1/(p-1)}との連立方程式なんですよね。
よく、意味がわかりません。
11(1): 2020/08/27(木)20:35 ID:nbl75R9a(4/5) AAS
>>8
そのボケもういらないっす。
以下の式から始めてください。
(3)式はこれです。
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
p=3でやるならこれです。
> x^3+y^3=(x+√3)^3…(3)
12(1): 2020/08/27(木)20:38 ID:/D2+zrED(1) AAS
>>10
連立方程式という用語は分かりますか？
13(2): 2020/08/27(木)20:39 ID:q99BSvf3(2/2) AAS
>>9
> >>7
> 私は実はそれがよく分からないのですよね。
> (3)式をそのまま見たら、連立方程式ではないのですが......
そうなんですが、日高さんの頭の中では二式の連立方程式を意味するのでは。
そのままではzが登場しません。
14(1): 2020/08/27(木)20:47 ID:nbl75R9a(5/5) AAS
>>13
そっかー
z 使ってますもんねえ。
15(1): 2020/08/27(木)21:51 ID:fgrABmTL(1) AAS
日高さんは大学教授？
16(1): 2020/08/28(金)00:42 ID:i/pjbm3i(1) AAS
>>8
> (3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる
p=2のとき、(3√3)^2+(4√3)^2=(5√3)^2は、(3)式なのですか？
p=2のとき、(3√3)^2+(4√3)^2=(5√3)^2は、(3)式に出てくる文字x,yに何を代入したらそうなりますか？
17(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)05:38 ID:cjwSyL+I(1/17) AAS
>11
以下の式から始めてください。
何を、どのようにしたらいいのでしょうか？
18(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)05:39 ID:cjwSyL+I(2/17) AAS
>12
連立方程式という用語は分かりますか？
分かります。
19: 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)05:41 ID:cjwSyL+I(3/17) AAS
>13
そうなんですが、日高さんの頭の中では二式の連立方程式を意味するのでは。
そのままではzが登場しません。
z=x+rです。
20: 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)05:43 ID:cjwSyL+I(4/17) AAS
>14
z 使ってますもんねえ。
z=x+rです。
21: 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)05:44 ID:cjwSyL+I(5/17) AAS
>15
日高さんは大学教授？
違います。
22(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)05:54 ID:cjwSyL+I(6/17) AAS
>16
p=2のとき、(3√3)^2+(4√3)^2=(5√3)^2は、(3)式なのですか？
(4)式です。
r=a2=2√3
a=√3
(3√3)^2+(4√3)^2=(3√3+2√3)^2…(4)
(4)のx,y,zは、(3)のx,y,zの√3倍となります。
23: 日高 2020/08/28(金)06:02 ID:cjwSyL+I(7/17) AAS
【定理】p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)を積の形にすると、r{(y/r)^2-1}=a2x(1/a)…(2)となる。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はr=2なので、yが有理数のとき、xは有理数となり、x,y,zは整数比となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(4)のrが自然数のとき、(4)の解は(3)の解のa倍となるので、(4)の解x,y,zも整数比となる。
∴p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
24(2): 2020/08/28(金)06:29 ID:NIkwrpv8(1) AAS
>>18
それでは、
(3)は、x^p+y^p=z^pとz=x+p^{1/(p-1)}との連立方程式なんですよね。
のどこがわからないんですか？
x,y,zが(3)の解であるということは、x,y,zが上の連立方程式の解であるということではないのですか？
25(3): 2020/08/28(金)06:35 ID:ZTQiYhxJ(1/4) AAS
>>17
あなたは>>5で、
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
を主張されましたので、(3)式
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
から始めて、命題(A)を証明してください。
26(2): 2020/08/28(金)06:36 ID:13mDRQ6K(1) AAS
この問題においては「解」としては「x,y,zの組」を考えないと意味がないので、
例えばp=3として、
> x^3+y^3=(x+√3)^3…(3)
「(3)の解」について考えるとき、実際には
x^3+y^3=z^3 と z=x+√3
もしくは
(3) と z=x+√3
省6
27(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)08:34 ID:cjwSyL+I(8/17) AAS
>24
(3)は、x^p+y^p=z^pとz=x+p^{1/(p-1)}との連立方程式なんですよね。
のどこがわからないんですか？
x,y,zが(3)の解であるということは、x,y,zが上の連立方程式の解であるということではないのですか？
そうですね。
28(4): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)08:52 ID:cjwSyL+I(9/17) AAS
>25
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
を主張されましたので、(3)式
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
から始めて、命題(A)を証明してください。
s,t,uは有理数、wは無理数とする。
x=sw、y=tw、x+p^{1/(p-1)}=uwとおく。
(sw)^p+(tw)^p=(uw)^pの無理数解、sw、tw、uwは整数比となるので、
それぞれを、wで割ると、s、t、uとなる。
29(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)08:58 ID:cjwSyL+I(10/17) AAS
>26
(3) と z=x+√3
という「連立方程式の解」として考えないといけないんだが、ここが抜け落ちてるんでは？
抜け落ちていないと思います。
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
>
> はい。
だからこんな認識になるのではなかろうか
省1
30(1): 2020/08/28(金)08:59 ID:qDWtQvXi(1) AAS
2chｽﾚ:math
> 373日高2020/08/03(月) 19:08:18.17ID:J/rPJuTD
> >372
> これがx^2+y^2=(x+√2)^2の解であることを示してくれということ
> あんたは共通の無理数で割っても同じ式の有理数解になると言っているのだから
> 共通の無理数で割っても同じ式の有理数解にはなりません。
31(2): 2020/08/28(金)09:01 ID:ZTQiYhxJ(2/4) AAS
>>28
> >25
> > 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
> を主張されましたので、(3)式
> > x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> から始めて、命題(A)を証明してください。
>
> s,t,uは有理数、wは無理数とする。
> x=sw、y=tw、x+p^{1/(p-1)}=uwとおく。
> (sw)^p+(tw)^p=(uw)^pの無理数解、sw、tw、uwは整数比となるので、
省5
32: 2020/08/28(金)09:07 ID:S7YNqJqu(1) AAS
>>27
どういう意味でしょうか?
あいまいな応答はやめてください。
33(2): 2020/08/28(金)10:22 ID:o3TBHXHH(1) AAS
>>29
あなたは >>28 で
> >25
> > 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
> を主張されましたので、(3)式
> > x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> から始めて、命題(A)を証明してください。
>
> s,t,uは有理数、wは無理数とする。
> x=sw、y=tw、x+p^{1/(p-1)}=uwとおく。
省14
34(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)17:27 ID:cjwSyL+I(11/17) AAS
>30
> 共通の無理数で割っても同じ式の有理数解にはなりません。
そうですね。
35(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)17:36 ID:cjwSyL+I(12/17) AAS
>31
命題(A)の末尾は「また(3)の有理数解となる」なので、(3)式に合致しないといけません。
>>28の例でいくと、こうなります。
s^p+t^p=(s+p^{1/(p-1)})^p…(3)
こうは、ならないと思います。(3)は、成り立ちません。
36(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)17:44 ID:cjwSyL+I(13/17) AAS
>33
> (3) と z=x+√3
>
> という「連立方程式の解」として考えないといけないんだが、ここが抜け落ちてるんでは？
u=x+√3が成り立つには、xは無理数となる必要があります。
37(3): 2020/08/28(金)17:54 ID:5Q+kNFk3(1) AAS
>>36
> >33
> > (3) と z=x+√3
> >
> > という「連立方程式の解」として考えないといけないんだが、ここが抜け落ちてるんでは？
>
> u=x+√3が成り立つには、xは無理数となる必要があります。
ということは、
x=sw、y=tw、z=x+√3 =uw (s,t,uは有理数、wは無理数)
が(3)の解であるとき、
省7
38(2): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)18:24 ID:cjwSyL+I(14/17) AAS
>37
z=x+√3が成立しないため、(3)の解ではない
xが無理数ならば、成り立ちます。
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
>
> はい。
これは間違いだったということでよいですか？
「整数比となるならば、」は仮定ですので、間違いではありません。
39(2): 2020/08/28(金)18:52 ID:ia4+hgVo(1) AAS
>>38
> >37
> z=x+√3が成立しないため、(3)の解ではない
>
> xが無理数ならば、成り立ちます。
>
> > 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
> >
> > はい。
>
省4
40(3): 2020/08/28(金)19:50 ID:rOVCgqSh(1) AAS
>>38
> >37
> z=x+√3が成立しないため、(3)の解ではない
>
> xが無理数ならば、成り立ちます。
>
いいえ。
x=s、z=uは共に有理数ですから、明らかに成り立ちません。
41(3): 2020/08/28(金)20:10 ID:ZTQiYhxJ(3/4) AAS
>>35
> >31
> 命題(A)の末尾は「また(3)の有理数解となる」なので、(3)式に合致しないといけません。
> >>28の例でいくと、こうなります。
>
> s^p+t^p=(s+p^{1/(p-1)})^p…(3)
>
> こうは、ならないと思います。(3)は、成り立ちません。
では、
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
省1
42: 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)20:29 ID:cjwSyL+I(15/17) AAS
>39
仮定から結論を導くことができなかったので、間違いです
結論は、有理数解はないです。
43(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)20:32 ID:cjwSyL+I(16/17) AAS
>40
いいえ。
x=s、z=uは共に有理数ですから、明らかに成り立ちません。
どの式が、成り立たないのでしょうか？
44(3): 日高 [kokaji222@yahoo.co.jp] 2020/08/28(金)20:35 ID:cjwSyL+I(17/17) AAS
>41
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
は成り立たない、という事でよろしいですか？
これは、正しいです。
45(3): 2020/08/28(金)20:41 ID:ZTQiYhxJ(4/4) AAS
>>44
> x=sw、y=tw、x+p^{1/(p-1)}=uwとおく。
から
> s^p+t^p=(s+p^{1/(p-1)})^p
が導けなかったのに
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
は正しいのですか？
それはおかしくないですか？
46(2): 2020/08/28(金)21:15 ID:qJiRpiGk(1) AAS
>>44 日高
> >41
> > 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
>
> は成り立たない、という事でよろしいですか？
>
>これは、正しいです。
z-xがz/λ-x/λ=(z-x)/λで置き換わる。λは無理数だから1ではない。
よってz-xの値が変わる。こんな当たり前の話がわからないのですか？
47(1): 2020/08/28(金)21:15 ID:acecfJOF(1) AAS
>>43
> >40
> いいえ。
> x=s、z=uは共に有理数ですから、明らかに成り立ちません。
>
> どの式が、成り立たないのでしょうか？
そうですか。記憶力もなければ、その記憶力のなさを補おうとする意識もないんですね
念のために伝えておきますが、これは嫌味です
> s^p+t^p=(s+√3)^p…(3)
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
省9
48(1): 2020/08/28(金)21:26 ID:w+xetTJ5(1) AAS
>>44
> > 共通の無理数で割ると、また(3)の有理数解となる
> これは、正しいです。
ウソ
>>34
> > 共通の無理数で割っても同じ式の有理数解にはなりません。
> そうですね。
約三時間前には全く正反対の書き込みをしているじゃないか
49: 2020/08/29(土)00:16 ID:Ac3vA40m(1) AAS
日高さんには「そうですね」をどういう意味で使っているのか尋ねたほうがよいかもね。
50(1): 2020/08/29(土)05:49 ID:rCVQwfW5(1/6) AAS
2chｽﾚ:mathの>>22について
あなたは、
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
の証明として、2chｽﾚ:mathで
あなたの書いた証明> (3√3)^2+(4√3)^2=(5√3)^2
あなたの書いた証明> 両辺を(√3)^2で割ると
あなたの書いた証明> 3^2+4^2=5^2となります。
省7
51(2): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)08:33 ID:YY+F/JcY(1/29) AAS
>45
それはおかしくないですか？
> s^p+t^p=(s+p^{1/(p-1)})^p
とは、なりません。
s^p+t^p=(s+(p^{1/(p-1)})/w)^p
となります。
52(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)09:06 ID:YY+F/JcY(2/29) AAS
>46
z-xがz/λ-x/λ=(z-x)/λで置き換わる。λは無理数だから1ではない。
よってz-xの値が変わる。こんな当たり前の話がわからないのですか？
「z-xが」のz,xの比と
z/λ-x/λ=(z-x)/λのz,xの比は、同じとなります。
53(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)09:33 ID:YY+F/JcY(3/29) AAS
>47
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
正しくは、
「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解と同じ比となる」 …(A)
です。
54(2): 2020/08/29(土)09:36 ID:4dKq5FVC(1/7) AAS
>>52 日高
> 「z-xが」のz,xの比と
> z/λ-x/λ=(z-x)/λのz,xの比は、同じとなります。
何寝ぼけたこと言ってんの？ (3)をみたすかどうかだから、比じゃなくて差だろ？
55: 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)09:39 ID:YY+F/JcY(4/29) AAS
>48
> > 共通の無理数で割ると、また(3)の有理数解となる
と
> > 共通の無理数で割っても同じ式の有理数解にはなりません。
具体的に、式を示していただけないでしょうか。
56(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)09:45 ID:YY+F/JcY(5/29) AAS
>50
あなたの書いた証明は、「(3)の無理数解が整数比となるならば」という文と食い違っています。
「(3)の無理数解が整数比となるならば」は、仮定です。
(3)式と、(4)式は、同じ比です。
57(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)09:49 ID:YY+F/JcY(6/29) AAS
>54
何寝ぼけたこと言ってんの？ (3)をみたすかどうかだから、比じゃなくて差だろ？
「比じゃなくて差だろ？」
どういう意味でしょうか？
58(1): 2020/08/29(土)10:02 ID:59IjnFhs(1/9) AAS
>>57 日高
> >54
> 何寝ぼけたこと言ってんの？ (3)をみたすかどうかだから、比じゃなくて差だろ？
>
> 「比じゃなくて差だろ？」
> どういう意味でしょうか？
(3)はx^p+y^p=z^pかつz=x+p^{1/(p-1)}だからz-xの値がp^{1/(p-1)}と異なれば(3)はみたさない。
違うの？
59(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)10:10 ID:YY+F/JcY(7/29) AAS
>58
(3)はx^p+y^p=z^pかつz=x+p^{1/(p-1)}だからz-xの値がp^{1/(p-1)}と異なれば(3)はみたさない。
違うの？
(3)はx^p+y^p=z^pかつz=x+p^{1/(p-1)}だからz-xの値がp^{1/(p-1)}と異なれば(3)はみたさない。は、正しいです。
60(2): 2020/08/29(土)10:13 ID:59IjnFhs(2/9) AAS
>>59 日高
じゃあx,y,zとx/λ,y/λ,z/λとではz-xの値が違うだろ？
z-xとz/λ-x/λ=(z-x)/λとなって。（λは無理数だから1とは異なる。）
61(1): 2020/08/29(土)10:13 ID:x0sMkIII(1) AAS
日高氏はわけのわからないことを言って議論を発散させるのが目的だから、
脱線させない方がいいよ。
62: 2020/08/29(土)10:20 ID:59IjnFhs(3/9) AAS
>>61
ごもっとも。私としてはうまく袋小路に追い詰めたと思っているので，しばらく続けます。ご容赦を。
63: 2020/08/29(土)10:32 ID:TOui0+1i(1/9) AAS
>>51
>>53
ここまでの展開で、命題(B)（とします）
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解と同じ比となる」 …(B)
に議論を移されるようなので、命題(A)
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
省1
64(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)10:32 ID:YY+F/JcY(8/29) AAS
>60
じゃあx,y,zとx/λ,y/λ,z/λとではz-xの値が違うだろ？
z-xとz/λ-x/λ=(z-x)/λとなって。（λは無理数だから1とは異なる。）
z-xの値は、ちがいます。
z,xの比は、同じとなります。
65(1): 2020/08/29(土)10:38 ID:59IjnFhs(4/9) AAS
>>64 日高
> >60
> じゃあx,y,zとx/λ,y/λ,z/λとではz-xの値が違うだろ？
> z-xとz/λ-x/λ=(z-x)/λとなって。（λは無理数だから1とは異なる。）
>
> z-xの値は、ちがいます。
> z,xの比は、同じとなります。
だから、λで割ったほうは(3)は満たさないんですよね？
66: 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)11:05 ID:YY+F/JcY(9/29) AAS
>65
だから、λで割ったほうは(3)は満たさないんですよね？
はい。
67(2): 2020/08/29(土)11:09 ID:59IjnFhs(5/9) AAS
>>1 日高
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。
> (2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)はr=p^{1/(p-1)なので、yが有理数のとき、xは無理数となり、x,y,zは整数比とならない。
では上で「x,y,zは整数比とならない」と言えるのはなぜですか？
68(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)11:16 ID:YY+F/JcY(10/29) AAS
>67
では上で「x,y,zは整数比とならない」と言えるのはなぜですか？
(3)はr=p^{1/(p-1)なので、yが有理数のとき、xは無理数となり、x,y,zは整数比とならない。
からです。
69(1): 2020/08/29(土)11:21 ID:59IjnFhs(6/9) AAS
>>68 日高
yが無理数のときは？
70(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)11:47 ID:YY+F/JcY(11/29) AAS
>69
yが無理数のときは？
x,y,zは整数比となりません。
71(5): 2020/08/29(土)11:48 ID:59IjnFhs(7/9) AAS
>>70 日高
なぜですか？
72(4): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)12:05 ID:YY+F/JcY(12/29) AAS
>71
なぜですか？
xが有理数となるからです。
73(1): 2020/08/29(土)12:08 ID:59IjnFhs(8/9) AAS
>>72 日高
> >71
> なぜですか？
>
> xが有理数となるからです。
ｙが無理数だとxが有理数になる！ これは初耳です。
74: 2020/08/29(土)12:26 ID:rCVQwfW5(2/6) AAS
>>56
> (3)式と、(4)式は、同じ比です。
それがどうかしましたか？
(3)式の無理数解は、絶対に(3)式の解です。
(3√3)^2+(4√3)^2=(5√3)^2が(4)式だというなら
省10
75(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)12:28 ID:YY+F/JcY(13/29) AAS
>73
ｙが無理数だとxが有理数になる！ これは初耳です。
x^p+y^p=(x+p^{1/(p-1)})^p…(3)のyを無理数とすると、
(有理数)^p+(無理数)^p＝(有理数+無理数)^p
となります。
76(1): 2020/08/29(土)12:31 ID:59IjnFhs(9/9) AAS
>>75 日高
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)のyを無理数とすると、
> (有理数)^p+(無理数)^p＝(有理数+無理数)^p
> となります。
ｙを決めるとxが決まると思うけど無理数は非可算個、有理数は可算個。
おかしくないかい？
77(2): 2020/08/29(土)12:37 ID:TOui0+1i(2/9) AAS
>>51
> >45
> それはおかしくないですか？
>
> > s^p+t^p=(s+p^{1/(p-1)})^p
> とは、なりません。
>
> s^p+t^p=(s+(p^{1/(p-1)})/w)^p
> となります。
ですから、
省3
78: 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)13:09 ID:YY+F/JcY(14/29) AAS
>76
ｙを決めるとxが決まると思うけど無理数は非可算個、有理数は可算個。
おかしくないかい？
無理数は非可算個、有理数は可算個とは、
どういうことかを、教えていただけないでしょうか。
79(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)13:17 ID:YY+F/JcY(15/29) AAS
>77
「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
は、成り立たないという事ですよね？
「(3)の無理数解が整数比となるならば、」と仮定した場合のはなしです。
80(1): 2020/08/29(土)13:26 ID:TOui0+1i(3/9) AAS
>>79
> >77
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
> は、成り立たないという事ですよね？
>
> 「(3)の無理数解が整数比となるならば、」と仮定した場合のはなしです。
その仮定した場合のはなしの中で、（実際x=sw、y=tw、x+p^{1/(p-1)}=uwとおいています）
結論「また(3)の有理数解となる」とはならなかったのですから、
命題(A)は、成り立たないという事ですよね？
81(1): 2020/08/29(土)13:41 ID:4dKq5FVC(2/7) AAS
>>72 日高
> >71
> なぜですか？
>
> xが有理数となるからです。
yが円周率のとき、xはいくつになりますか？
82(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)13:49 ID:YY+F/JcY(16/29) AAS
>80
その仮定した場合のはなしの中で、（実際x=sw、y=tw、x+p^{1/(p-1)}=uwとおいています）
結論「また(3)の有理数解となる」とはならなかったのですから、
命題(A)は、成り立たないという事ですよね？
仮定した場合のはなしの中では、「また(3)の有理数解となる」となります。
83(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)13:55 ID:YY+F/JcY(17/29) AAS
>81
yが円周率のとき、xはいくつになりますか？
無理数となります。
84(2): 2020/08/29(土)13:58 ID:TOui0+1i(4/9) AAS
>>82
> 仮定した場合のはなしの中では、「また(3)の有理数解となる」となります。
仮定した場合のはなしの中では、「また(3)の有理数解となる」とはならなかったのですよね？
85(1): 2020/08/29(土)14:00 ID:4dKq5FVC(3/7) AAS
>>83 日高
>>72ではyが無理数だとxは有理数と言ったじゃありませんか。
86(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)14:12 ID:YY+F/JcY(18/29) AAS
>84
仮定した場合のはなしの中では、「また(3)の有理数解となる」とはならなかったのですよね？
仮定した場合のはなしの中では、「また(3)の有理数解となる」となります。
「仮定した場合のはなし」とは、「x,y,zが無理数で、整数比となるならば、」です。
87(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)14:14 ID:YY+F/JcY(19/29) AAS
>85
>>72ではyが無理数だとxは有理数と言ったじゃありませんか。
yが無理数だとxは有理数となる場合と、無理数となる場合があります。
88(1): 2020/08/29(土)14:16 ID:TOui0+1i(5/9) AAS
>>86
> >84
> 仮定した場合のはなしの中では、「また(3)の有理数解となる」とはならなかったのですよね？
> 仮定した場合のはなしの中では、「また(3)の有理数解となる」となります。
> 「仮定した場合のはなし」とは、「x,y,zが無理数で、整数比となるならば、」です。
ではこういう事ではないでしょうか。
仮定した場合のはなしの中 > 「また(3)の有理数解となる」とはならなかった
仮定の中から出て：
> 「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」とはならない
いかがでしょうか？
89(1): 2020/08/29(土)14:26 ID:4dKq5FVC(4/7) AAS
>>87 日高
> yが無理数だとxは有理数となる場合と、無理数となる場合があります。
それは何も言っていないに等しいですね。
改めて、>>71に答えてください。
90(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)14:57 ID:YY+F/JcY(20/29) AAS
>88
「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」とはならない
正確には、
(3)の無理数解が整数比となるならば、その無理数解を、共通の無理数で割ると、その解は、整数比となる。」
です。
もとの、(3)式(r=p^{1/(p-1)})の有理数解とは、なりません。
91: 日高 2020/08/29(土)15:02 ID:YY+F/JcY(21/29) AAS
>89
改めて、>>71に答えてください。
67に戻りますが？
92(1): 2020/08/29(土)15:04 ID:TOui0+1i(6/9) AAS
>>90
> 正確には、
> (3)の無理数解が整数比となるならば、その無理数解を、共通の無理数で割ると、その解は、整数比となる。」
> です。
>>1氏がそれで良いと言うなら、私は何の異論もありません。
それでは元の
「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
については、成り立たないという事で良いですね？
93: 2020/08/29(土)15:06 ID:4dKq5FVC(5/7) AAS
うん、>>67に答えてください。
94(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)16:52 ID:YY+F/JcY(22/29) AAS
>92
「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)
については、成り立たないという事で良いですね？
この場合の、「成り立たない」の意味は、正しくないという意味でしょうか？
95(2): 日高 2020/08/29(土)16:57 ID:YY+F/JcY(23/29) AAS
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。
> (2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)はr=p^{1/(p-1)なので、yが有理数のとき、xは無理数となり、x,y,zは整数比とならない。
では上で「x,y,zは整数比とならない」と言えるのはなぜですか？
(3)はr=p^{1/(p-1)なので、yが有理数のとき、xは無理数となり、x,y,zは整数比とならない。
からです。
96: 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)16:59 ID:YY+F/JcY(24/29) AAS
95は、93の答えです。
97(1): 2020/08/29(土)17:01 ID:TOui0+1i(7/9) AAS
>>94
「成り立たない」は「偽」という意味ですが、
「正しくない」でも良いと思います。
98(1): 2020/08/29(土)17:03 ID:4dKq5FVC(6/7) AAS
>>95 日高
yが無理数の場合をお尋ねしました。答えてください。
99(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)17:53 ID:YY+F/JcY(25/29) AAS
>97
「成り立たない」は「偽」という意味ですが、
「正しくない」でも良いと思います。
「(3)の無理数解が整数比となるならば、共通の無理数で割ると、また(3)の有理数解となる」 …(A)を、式で表すと、
(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^p、(s,tは有理数、wは無理数）でしょうか？
100(1): 日高 [kokaji222@yahoo.co.jp] 2020/08/29(土)17:56 ID:YY+F/JcY(26/29) AAS
>98
>>95 日高
yが無理数の場合をお尋ねしました。答えてください。
yが無理数の場合は、xが有理数の場合と、無理数の場合があります。
どちらの場合も、x,y,zは整数比となりません。
上下前次1-新書関写板覧索設栞歴
あと 546 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s