>>464
(a+b)/2は永遠に実数が作られる証明。
(0.999…+1)/2=0.999…なんて有得ないでしょう。
あるとしたら、0.999…=1の時だけ。
仮定が1なんだから、結果が1は当然。