能斯特方程推导过程，如何演变