*Giả sử a>b
mà bc=ab>bb
=>bc>bb=>c>b
mà ca=bc<cc
=>ca<cc=>a<c(1)
mà ca=ab<aa
=>ca<aa=>c<a(2)
Từ (1) và (2)=>Vô lí
*Giả sử a<b
mà bc=ab<bb
=>bc<bb=>c<b
mà ca=bc>cc
=>ca>cc=>a>c(3)
mà ca=ab>aa
=>ca>aa=>c>a(4)
Từ (3) và (4)=>Vô lí
=>a=b( vì a<b vô lí, a>b vô lí)
mà ab=bc
=>aa=ac
=>a=c
Vậy a=b=c
Giả sử a\(\ne\)b\(\ne\)c
=> \(a^b\ne b^c\ne c^a\) ( trái với đề bài )
=> a=b=c