 | ■No49834に返信(日高さんの記事)
> ■No49833に返信(nakaitiさんの記事)
>>■No49831に返信(日高さんの記事)
> >>■No49829に返信(nakaitiさんの記事)
> >>>>x^2+y^2=(x+2a)^2となるので、
> >>>>2a=z-x, a=(z-x)/2となります。
>>>>
>>>>なりません。a=(z-x)^2/2 なので x^2+y^2=(x+(2a)^{1/2})^2 となります。
> >>
> >>x,yは有理数とする。
> >>a=(z-x)^2/2とおくと、
> >>x^2+y^2=(x+(2a)^{1/2})^2の場合、
> >>a=2のとき、
> >>x^2+y^2=(x+2)^2となるので、式は成り立ちます。
> >>a=1のとき、
> >>x^2+y^2=(x+2^(1/2)^2となるので、式は成り立ちません。
>>
>>なぜ a=2 のときは成り立って a=1 のときは成り立たないのか説明してください。
>>
> >>a=(z-x)/2とおくと、
> >>x^2+y^2=(x+2a)^2の場合、
> >>a=2のとき、
> >>x^2+y^2=(x+4)^2となるので、式は成り立ちます。
>>
>>成り立ちません。
>
> その前に理由を教えていただけないでしょうか。
> どうして、a=(z-x)^2/2とおくことができるのでしょうか？
>
>
「〜とおく」というのはそのように「定義する」という意味なのですでに定義されているものに二重に定義しようとしたりしない限り問題ない操作です。その程度のこともわからないから証明がめちゃくちゃなんですね |