a≠bと仮定する（a,bは実数、a>bと思っているもの)
実数の性質によりa,b間には無数の実数xが存在することになるので
a<x<b
また、a,b間の数の中心をCxとおくと
a<Cx<b
Cx=(a+b)/2とおけるので
a<(a+b)/2<b
この不等式が成立しない場合実数a,bは等しい

a,bに色々代入すると良い