11/09/01 21:15:24.87
＞このa=b=1という条件が(x,y)＝(1,2), (2,1)の場合も成立しているから
＞4条件は使っている。
つまり、こういうことだな？
『 >>452では、x＝yという束縛下でf(x)＝1 (∀x∈{1,2})という条件を出したに過ぎない。
ただし、この条件はx≠yの場合も成立している。』
と。そうです。x≠yのときも成立しています。
ただし、その事実について、>>452の証明では 言 及 し て い ま せ ん 。
君が勝手に、証明を補完してしまっただけです。
「このa＝b＝1という条件は、x≠yの場合も成立している」
という事実を、君が勝手に脳内で補完して証明してしまっただけです。
そして、そのような補完が出来る能力が 君にあるのなら、
>>419だって、全く同じ補完が可能になる。
つまり、こういうことだ。
『 >>419では、x＝yという束縛下でf(x)＝1 (∀x∈R)という条件を出したに過ぎない。
ただし、この条件はx≠yの場合も成立している。』
なぜ君は、>>419の場合はこのように考えないのだね？