主定理的三种情况

递归部分占优、两者相当、合并部分占优。分别对应三个结论。