- 480 名前：１３２人目の素数さん mailto:sage [2011/09/01(木) 21:26:10.99 ]
- >>478
脳内で補完している訳ではない。>>452は定義域をそちらが勝手に都合よく
狭めているため、全ての定義域で条件を確認しているから正しいことになる。
＞「このa＝b＝1という条件は、x≠yの場合も成立している」
＞という事実を、君が勝手に脳内で補完して証明してしまっただけです。
4つの等式の全てが成立しないと証明できないのであるから、そのチェックでもし
他の2式が成立しないのであれば、証明は成立しない。
苦しい主張の繰り返しでお疲れ様です。
>>471で
＞x = yとx ≠ yの場合に
＞f(x) = 1 => (A)
＞が示せただけ。
と書いているが、f(x) = 1以外にもx ≠ yを満たす関数が存在するかどうかの検証が
行われていない。
懇切丁寧に言いかえれば、
x ≠ yの場合にf(x) = 1だけが条件(A)を満たすということが言えるのかということ。
