>>280
X^kはX＞0の増加関数だから、
x≧yならx^k≧y^　即ち　x-y≧0ならx^k-y^k≧0　だから　(x-y)(x^k-y^k)≧0
同様に
x-y≦0ならx^k-y^k≦0　だから　この場合も(x-y)(x^k-y^k)≧0