\({a^{{{\log }_a}b}} = {a^\alpha }\,\,(a = {\log _a}b)\)
Từ định nghĩa ta có: \({a^\alpha } = b \Rightarrow {a^{{{\log }_a}b}} = {a^\alpha } = b\)
Đặt \({\log _a}{a^\alpha } = b\)
Theo định nghĩa \({a^\alpha } = {a^b} \Rightarrow \alpha = b\)
Vậy \({\log _a}{a^\alpha } = b = \alpha \)