En analyse de la complexité des algorithmes, on est souvent dans le cas d'un algorithme dont la complexité $C(n)$ vérifie
\[
C(n) = a C(n/b) + f(n)
\]
Le "master theorem" étudie le comportement asymptotique de $C(n)$ de manière générale.
La preuve est calculatoire mais donne un résultat intéressant.