求助证明渐近复杂度等式f(n) + ο(f(n)) = Θ(f(n))

你将ο(f(n))替换为通用函数g(n)、转而证明f(n)+g(n) = Θ(f(n))的推导思路完全正确，整个证明的核心是严格遵循渐近符号的数学定义，通过不等式夹逼完成推导，不需要额外的复杂技巧。

整个证明基于渐近复杂度分析的通用前提：f(n)在n足够大时为非负值（否则渐近符号的不等式定义本身不成立），对应的两个核心符号定义如下：

• 小ο的严格定义：若g(n) = ο(f(n))，则必然满足lim_{n→∞} |g(n)/f(n)| = 0，对应不等式表述为：对任意给定的正实数c，必然存在足够大的阈值n₀，使得当n ≥ n₀时，始终满足|g(n)| ≤ c·f(n)。
• Θ的严格定义：若函数h(n) = Θ(f(n))，则必然存在两个正实数c₁、c₂，以及足够大的阈值n₀，使得当n ≥ n₀时，始终满足0 ≤ c₁·f(n) ≤ h(n) ≤ c₂·f(n)。

我们令待验证的组合函数h(n) = f(n) + g(n)，其中g(n) = ο(f(n))，分别匹配Θ定义的上下界要求：

1. 上界匹配：根据小ο的定义，我们可以直接选定固定值c=1，此时必然存在阈值n₀₁，当n ≥ n₀₁时满足|g(n)| ≤ 1·f(n)。代入h(n)的表达式可得：
   h(n) = f(n) + g(n) ≤ f(n) + |g(n)| ≤ f(n) + f(n) = 2f(n)
   这直接匹配Θ定义中的上界要求，对应常数c₂=2即可。
2. 下界匹配：我们再次根据小ο的定义选取固定值c=0.5，此时必然存在阈值n₀₂，当n ≥ n₀₂时满足|g(n)| ≤ 0.5·f(n)。代入h(n)的表达式可得：
   h(n) = f(n) + g(n) ≥ f(n) - |g(n)| ≥ f(n) - 0.5f(n) = 0.5f(n)
   这直接匹配Θ定义中的下界要求，对应常数c₁=0.5即可。

取上述两个阈值的最大值作为共同的n₀，就可以完全满足Θ的全部定义要求，因此f(n) + ο(f(n)) = Θ(f(n))成立。

• 不要仅通过极限推导得出结论：虽然根据小ο的性质，lim(n→∞) g(n)/f(n) = 0，因此lim(n→∞) h(n)/f(n) = 1，但这只是符合Θ定义的一种特殊情况，Θ的核心是不等式夹逼，不要求比值极限一定收敛到固定值。
• 不要默认小ο项一定是正的：小ο只要求项的绝对值是f(n)的低阶量，既可以是正的附加项，也可以是负的抵消项，只要绝对值足够小，就不会影响整体的Θ界。
• 不要混淆低阶项的作用：小ο项本身就是比f(n)低一个量级的可忽略项，在量级比较中会被高阶项吸收，因此不会改变f(n)本身的渐近量级。

内容的提问来源于stack exchange，提问作者gianluigi