Lời giải:
Không mất tính tổng quát ta giả sử \(a\geq b\)
\(a^bb^a=a^b.b^b.b^{a-b}=(ab)^b.b^{a-b}\)
Vì $a,b$ đều lẻ nên $a-b$ chẵn, do đó $b^{a-b}$ là số chính phương.
Ta thấy: \(a^bb^a=(ab)^b.b^{a-b}\) là số chính phương, trong đó $b^{a-b}$ cũng là số chính phương nên $(ab)^b$ cũng phải là số chính phương. Mà $b$ lẻ nên điều này xảy ra khi $ab$ là số chính phương (đpcm).