案例 1 的主定理证明:这些步骤是如何从数学上推导出来的?

Proof of Master theorem for Case-1: How these steps are mathematically derived?

我正在阅读 Thomas H. Cormen 的书来理解大师的证明 theorem.However,我坚持证明案例-1.please 通过更简单的数学推导帮助我理解数学证明下图中的步骤:

谢谢

第一个问题:

b^{\log_b(a)} = a

(SO 中没有 TeX 吗?)

这是因为底数 b 的对数是 b^ 的倒数。 那么a / a = 1,就只剩下b^epsilon了。

第二第三题:这是几何级数,可以在这里找到:https://en.wikipedia.org/wiki/Geometric_series#Formula
为此,加数 b^epsilon 必须介于零和一之间(不包括),即 |b^epsilon| < 1.