>>825
(1) a<b と仮定する。
f は増加関数だから f(a)<f(b) ⇒ b<c
さらに f(b)<f(c) ⇒ c<a
b<a となり矛盾。a>b と仮定しても同様。よって a=b
まったく同様にして a=b=c と結論できる。