TikZ实现《算法导论》主定理证明图： $$ T(n) = n^{\log_b a} + k \cdot O(n^c), ~ \text{其中}~ k=\frac{1-q^{\log_b n + 1}}{1-q} $$

• 当$q < 1$，即$c > log_b a$时，$n^{\log_b a} < O(n^c), T(n) = O(n^c)$
• 当$q = 1$，即$c = log_b a$时，$k=\log_b n + 1, T(n) = O(n^c \cdot \log_b n)$
• 当$q > 1$，即$c < log_b a$时，$n^{\log_b a} > O(n^c), T(n) = O(n^{\log_b a})$