对方程两边取指数得
左边=aloga(mn)=mn
右边=a[loga(m)+loga(n)]=[aloga(m)]*[aloga(n)]=mn
命题得证