对数等比定理推导全解：从基础定义到复杂应用

1. 对数的基本运算性质

对数是将乘法运算转化为加法运算的有力工具。设 a > 0 且 a ≠ 1，M, N > 0，则有以下核心性质：

• 积的对数： log_a(M·N) = log_aM + log_aN
• 商的对数： log_a(M/N) = log_aM - log_aN
• 幂的对数： log_aMⁿ = n · log_aM (n ∈ R)
• 换底公式： log_ab = (log_cb) / (log_ca)

2. 等比数列的定义

等比数列是指从第二项起，每一项与它前一项的比值等于同一个常数的数列。设首项为 a₁，公比为 q，则通项公式为：

其前 n 项和公式为：

• 当 q = 1 时，S_n = n · a₁
• 当 q ≠ 1 时，S_n = [a₁(1 - qⁿ)] / (1 - q)

例题 1：求和计算

题目： 求 S = log₂(1) + log₂(2) + log₂(4) + ... + log₂(2¹⁰) 的值。

分析： 观察真数部分：1, 2, 4, ..., 2¹⁰。这是一个首项为 1，公比 q=2 的等比数列，共 11 项（从 2⁰ 到 2¹⁰）。

解法：

利用对数性质，S = log₂(1 · 2 · 4 · ... · 2¹⁰)

括号内为等比数列乘积：P = (1 · 2¹⁰)^11/2 = (2¹⁰)^5.5 = 2⁵⁵

所以 S = log₂(2⁵⁵) = 55。

或者使用等差数列求和法：

通项为 log₂(2^k) = k。数列变为 0, 1, 2, ..., 10。

这是首项 0，末项 10，项数 11 的等差数列。

S = (0+10)×11 / 2 = 55。

例题 2：不等式判断

题目： 已知等比数列 {a_n} 各项均为正数，公比 q > 1，比较 A = log_a(a₁a₂...a_n) 与 B = n·log_a(√(a₁a_n)) 的大小。

分析： 这实际上是在比较等比数列前 n 项积的对数与中间项（几何平均数）的对数之和。

推导：

A = log_a(P_n)

B = log_a((√(a₁a_n))ⁿ) = log_a((a₁a_n)^n/2)

我们知道对于等比数列，P_n = (a₁a_n)^n/2 恒成立。

结论： A = B。

此题验证了等比数列下标和性质在指数上的体现。

Q: 对数等比定理推导中，如果公比 q=1 怎么办？

A: 如果 q=1，则等比数列为常数列 a_n = a₁。此时 log_a(a_n) = log_a(a₁)，也是一个常数列（公差为0的等差数列）。公式依然适用，只是计算更简单：Sum = n · log_a(a₁)。

Q: 为什么有时候求和结果会出现负数？

A: 如果底数 0 < a < 1，或者真数小于 1，对数值可能为负。这是正常的数学现象，不影响求和公式的适用性。只需注意符号运算即可。

Q: 如何快速判断一个对数数列是否为等差数列？

A: 检查其真数部分是否构成等比数列。如果真数部分是等比数列，且各项为正，则对数数列必为等差数列。这是最快的判定方法。