質問: a.bが定数で任意のε>0に対してa0に対してabと仮定する。ε=(a−b)/2
回答: 背理法なので 『任意のε>0に対してabと仮定する。』 を否定したいんですよね。 つまり aa-bとならない、 つまり εがa-bより小さい値なら いいわけです。 だから ε=(a-b)/2 です。 別に ε=(a-b)/3でも ε=(a-b)/4でも ε=(a-b)/5でも ε=(a-b)-2でも εが(a-b)より 小さければ 何でも いいんですよ。