- 535 名前：１３２人目の素数さん mailto:sage [2011/09/03(土) 18:42:57.22 ]
- >>531
＞問題の取り方の違いで双方の隔たりがあったことが分かった。
そういうことだな。
もしα＝β∪γが成り立つのであれば、確かに君が言うとおり、
x≠yの場合も考えなければならない。
しかし、実際にはα＝β∩γなのであり、x≠yの場合は考える必要が無い。
＞α = β∪γ(全てのx, yに対して、その(x, y)に依存して f(y)^2＝2*f(x)−1を満たす関数fが存在すると考える場合)
＞α = β∩γ(全てのx, yに対して、f(y)^2＝2*f(x)−1を満たす関数fが存在すると考える場合)
>>419の問題は、前者のようには解釈できないぞ。
というか、前者のように解釈してるのは君だけだぞ。
