master theorem公式推导

Master Theorem：
假定一个分治算法将规模为n的问题分为k个规模为n/m的子问题，并假设分解和合并的时间复杂度为f(n)，即：

$$T(n)=kT(\frac{n}{m})+f(n)\text{\hspace{1em}(n>1)}$$

$$T(1)=O(1)\text{\hspace{1em}(n=1)}$$

同迭代法求解递推方程可得：

$$T(n)=n^{{\log }_{m}k}+\sum _{j=0}^{{\log }_{n}m-1}{k}^{j}f(\frac{n}{m^j})$$

初次自己手推如下：

$$T(n)=k^{{\log }_{m}n}+\sum _{j=0}^{{\log }_{n}m-1}{k}^{j}f(\frac{n}{m^j})$$

将T(n)带入T(n-1), T(n-1)带入T(n-2)，…， T(2)带入T(1)，这样层层带入后，展开的第一部分是${\log }_{m}n$个k相乘，第二部分是一个幂级数：
$$f(n)+kf(\frac{n}{m})+k^{2}f(\frac{n}{m^2})+k^{3}f(\frac{n}{m^3})+...+k^{j}f(\frac{n}{m^j})$$

一直感觉自己的推导没问题，公式里的第一项没看懂，为什么自己推导的跟公式里面的第一项不同呢？自己哪里错了呢？

突然有一天看到这篇文章：https://zhuanlan.zhihu.com/p/196781010，才发现自己没写错，定理里面的写法和自己写的一样。

即：$$k^{{\log }_{m}n}=k^{\frac{{\log }_{k}n}{{\log }_{k}m}}=(k^{{\log }_{k}n}{)}^{\frac{1}{{\log }_{k}m}}=n^{\frac{1}{{\log }_{k}m}}$$

$$\begin{gathered} 若\frac{1}{{\log }_{k}m}=t，则k^{\frac{1}{t}}=m,k=m^t,t={\log }_{m}k， \\ 即上式可写为MaterTheorem的形式，定理得证。 \end{gathered}$$