对数恒等式公式：在a>0且a≠1，N>0的情况下，a^(LogaN)=N，证明：在a>0且a≠1,N>0时设：LogaN=t,(t∈R)则有a^t=N;a^(LogaN)=a^t=N。恒等式（identities），数学概念，恒等式是无论其变量如何取值，等式永远成立的算式。恒等式成立的范围是左右函数定义域的公共部分，两个独立的函数却各自有定义域，与x在非负实数集内是恒等的，而在实数集内是不恒等的。
