マスター定理の証明を理解するために Thomas H. Cormen の本を読んでいました。
ありがとう
最初の質問:
b^{\log_b(a)} = a
(SO に TeX はありませんか?)
これは、底に対する対数b
が の逆数であるためですb^
。では、a / a = 1
こうしてb^epsilon
残るだけです。
2 番目と 3 番目の質問:これは幾何級数です。ここで見つけることができます: https://en.wikipedia.org/wiki/Geometric_series#Formulab^epsilon
|b^epsilon| < 1