>>946
条件式が a,b,c について偶対称なので,
・a ≦ b ≦ c
・a ≦ c ≦ b
の二ケースについてのみ示せば十分.

前者の場合,a^b = b^c の両辺の大きさを比較すれば,
x^y が両変数について単調なので a = b, b = c でなければならない.
後者の場合は b^c = c^a の両辺を比較すれば同様.