求助证明渐近符号命题：log5ⁿ+4∈Ω(n)（信息学奥赛备考）

首先，明确Ω(n)的定义 #

要证明一个函数$f(n) ∈ Ω(n)$，我们只需要找到两个常数：

• 一个正数$c > 0$
• 一个正整数$n_0 ≥ 1$
  使得当$n ≥ n_0$时，$f(n) ≥ c \cdot n$ 恒成立。

你的推导核心错误 #

你在第一步就误用了对数的运算法则：

你写了 $\log 5^n + \log 10^4 ≥ cn$，这相当于把 $\log(5^n + 4)$ 错误拆成了 $\log5^n + \log4$（这里应该是笔误，但核心问题一致）
对数的加法法则是 $\log(a \times b) = \log a + \log b$，但 $\log(a + b)$ 绝对不能拆成 $\log a + \log b$！这是你推导出错的根源。

正确的证明过程 #

我们的目标函数是 $f(n) = \log(5^n + 4)$（这里默认是底数大于1的对数，比如常用对数$\log_{10}$或者自然对数$\ln$，不影响结论）。

1. 放缩函数：当$n ≥ 1$时，$5^n + 4 > 5^{n$（因为4是正数，加进去肯定比原来的$5}n$大）。
   所以 $\log(5^n + 4) > \log(5^n)$。

2. 应用对数幂法则：对数有个关键性质：$\log_b(a^k) = k \cdot \log_b a$（简单说就是，指数可以提到对数外面来）。
   所以 $\log(5^n) = n \cdot \log 5$。这里$\log5$是一个固定的正数常数（比如$\log_{10}5≈0.699$，$\ln5≈1.609$）。

3. 找到符合要求的常数$c$和$n_0$：
   我们取$c = \frac{\log5}{2}$（只要是小于$\log5$的正数都可以），再取$n_0=1$。
   当$n ≥ 1$时：
   $$\log(5^n +4) > n \cdot \log5 ≥ n \cdot \frac{\log5}{2} = c \cdot n$$
   完全满足Ω(n)的定义！

补充：对数基本性质快速回顾（适合没学过的你） #

• 幂法则：$\log_b(x^k) = k \cdot \log_b x$（指数提出来）
• 乘法法则：$\log_b(x \times y) = \log_b x + \log_b y$（只有乘积才能拆成加法）
• 对数是单调递增函数：如果$a > b > 0$，那么$\log_b a > \log_b b$（越大的数，对数结果也越大）

这样就清晰了，你之前的错误主要是误用了对数的运算法则，把加法当成乘法来拆了，现在纠正后，用放缩和对数幂法则就能轻松证明啦～

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