| ■49627 / ) |
Re[25]: フェルマーの最終定理の簡単な証明5
|
□投稿者/ nakaiti 一般人(47回)-(2019/07/13(Sat) 17:58:37)
 | 背理法に固執しすぎでは？
x,y は有理数で z は実数とし x^p+y^p=z^p を満たすとする。このとき z は無理数であることがわかる。
という証明でも十分証明になっていますね。まあ、zが無理数であることを証明する際に背理法を使うかもしれませんし、実質的に背理法を使った議論になる可能性もありますが、x,y,z がすべて有理数だと「「仮定しなければいけない」」というのはいいすぎですね。
|
|