Không mất tính tổng quát giả sử \(a\ge b\)
Vì \(a^b=b^c\Rightarrow b\le c\)
Vì \(b^c=c^d\Rightarrow c\ge d\)
Vì \(c^d=d^e\Rightarrow d\le e\)
Vì \(d^e=e^a\Rightarrow a\ge a\)
Vì \(e^a=a^b\Rightarrow a\le b\)
Trái với điều giả sử nên xảy ra khi \(a=b\)
Khi đó suy ra \(a=b=c=d=e\) (ĐPCM)