- 473 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 21:05:41.11 ]
- >>469
＞>>452の場合は
＞(x,y)＝(1,2)、(x, y)＝(2,1)の場合を考慮しているから問題はない。
考慮してないよｗ
>>452では、x,y全ての場合についての等式(全部で4つある)を
丁寧にリストアップしている。しかし、リストアップしたはいいが、
その4つのうち(x,y)＝(1,2), (2,1)の場合の等式は 使 っ て な い 。
a＝b＝1を導くのに使ったのは、 a^2＝2*a−1, b^2＝2*b−1 という2つの等式のみ。
これらの等式は(x,y)＝(1,1), (2,2)すなわちx＝yの場合の等式だから、
結局、>>452 では「x＝yの束縛下の条件しか考慮してない」ことになる。
それとも、
「たとえ等式を使わなくても、>>452のように丁寧にリストアップさえすれば、それで考慮したと見なす」
ということかね？もしそうなら、>>419だって、
「 f(y)^2＝2*f(x)−1 (∀x,y∈R) 」… ★
という一文を書くだけで、「全ての等式を>>452のようにリストアップしたことになる」でしょ。
つまり、「全てのx,yを考慮したことになる」でしょ。
(x,yは無限にあるから、>>452の形式で紙面上にリストアップすることは出来ない。
しかし、★のような形で表記すれば、それは全てのx,yについてリストアップしたのと同じである)
|
 |
