给定不小于3的正整数 \( n \)，求最小的正数 \(\lambda\)，使得对于任何 \(\th...

我们要求在

$$\tan\theta_1 \tan\theta_2 \cdots \tan\theta_n = 2^{\frac{n}{2}}$$

的条件下，使得

$$S = \cos\theta_1 + \cos\theta_2 + \cdots + \cos\theta_n$$

取得最大值。此时给定的 $\lambda$ 就是 $S$ 的最大值，也即所有符合条件的 $\theta_i$ 都满足

$$S \le \lambda,$$

而最优情况达到 $S = \lambda$。

下面给出求解过程。

对称性猜想

由于条件和目标函数均对各个 $\theta_i$ 对称，我们猜想当所有 $\theta_i$ 取相同值时能使 $S$ 取得最大值。设

$$\theta_1 = \theta_2 = \cdots = \theta_n = \theta.$$

此时条件变为

$$(\tan\theta)^n = 2^{\frac{n}{2}},$$

从而

$$\tan\theta = 2^{\frac{1}{2}} = \sqrt{2}.$$

又因为

$$\cos\theta = \frac{1}{\sqrt{1+\tan^2\theta}} = \frac{1}{\sqrt{1+2}} = \frac{1}{\sqrt{3}},$$

所以和为

$$S = n\cos\theta = \frac{n}{\sqrt{3}}.$$

极值的证明（拉格朗日乘数法）

为了证明当所有 $\theta_i$ 取相同值时取得最大值，我们可以使用拉格朗日乘数法。考虑目标函数

$$f(\theta_1,\theta_2,\dots,\theta_n)=\sum_{i=1}^{n}\cos\theta_i,$$

约束条件为

$$g(\theta_1,\theta_2,\dots,\theta_n)=\sum_{i=1}^{n}\ln(\tan\theta_i)=\frac{n}{2}\ln 2.$$

构造拉格朗日函数

$$\mathcal{L} = \sum_{i=1}^{n}\cos\theta_i - \mu \left(\sum_{i=1}^{n}\ln(\tan\theta_i) - \frac{n}{2}\ln 2\right).$$

对每个 $\theta_i$ 求偏导并令其为零。注意

$$\frac{\mathrm{d}}{\mathrm{d}\theta}\cos\theta = -\sin\theta,\quad \frac{\mathrm{d}}{\mathrm{d}\theta}\ln(\tan\theta)=\frac{1}{\sin\theta\cos\theta}.$$

因此对于每个 $i$ 有

$$-\sin\theta_i - \mu\frac{1}{\sin\theta_i\cos\theta_i} = 0.$$

整理得

$$\sin^2\theta_i\cos\theta_i = -\mu.$$

右侧 $-\mu$ 对所有 $i$ 都相同，这说明各个 $\sin^2\theta_i\cos\theta_i$ 都相等，因此各 $\theta_i$ 必须相等。结合之前的讨论，当所有 $\theta_i$ 取同一个值时，由条件得 $\tan\theta = \sqrt{2}$，此时的 $\cos\theta = \frac{1}{\sqrt{3}}$。

结论

因此，在所有满足

$$\tan\theta_1 \tan\theta_2 \cdots \tan\theta_n = 2^{\frac{n}{2}}$$

的 $\theta_i \in \left(0,\frac{\pi}{2}\right)$ 中，

$$\cos\theta_1+\cos\theta_2+\cdots+\cos\theta_n \le \frac{n}{\sqrt{3}},$$

且等号当且仅当

$$\theta_1=\theta_2=\cdots=\theta_n=\arctan(\sqrt{2})$$

时取得。

因此最小的正数 $\lambda$ 为

$$\boxed{\frac{n}{\sqrt{3}}}.$$

我们希望找到最小的正数 $\lambda$，使得对于所有满足

$$\tan \theta_1 \cdot \tan \theta_2 \cdots \tan \theta_n = 2^{\frac{n}{2}}$$

的 $\theta_i \in \left(0,\frac{\pi}{2}\right)$（$i=1,2,\dots,n$），都有

$$\cos \theta_1 + \cos \theta_2 + \cdots + \cos \theta_n \le \lambda.$$

思路

1. 对称性猜想：
   由于条件和目标函数均对各 $\theta_i$ 对称，我们可以猜想当所有 $\theta_i$ 取相同值时，可能使得和 $\cos\theta_1+\cos\theta_2+\cdots+\cos\theta_n$ 取得最大值。设

   $$\theta_1 = \theta_2 = \cdots = \theta_n = \theta.$$

2. 求解相同角度的情况：
   在这种情况下，条件变为

   $$(\tan \theta)^n = 2^{\frac{n}{2}},$$

   从而有

   $$\tan \theta = 2^{\frac{1}{2}} = \sqrt{2}.$$

   又因为

   $$\cos \theta = \frac{1}{\sqrt{1+\tan^2\theta}} = \frac{1}{\sqrt{1+2}} = \frac{1}{\sqrt{3}},$$

   所以和为

   $$\cos \theta_1+\cos \theta_2+\cdots+\cos \theta_n = n\cos \theta = \frac{n}{\sqrt{3}}.$$

3. 证明极值：
   可以用拉格朗日乘数法证明，当所有 $\theta_i$ 取相等值时，和取得最大值。设目标函数为

   $$f(\theta_1,\theta_2,\dots,\theta_n)=\sum_{i=1}^{n}\cos\theta_i,$$

   约束条件为

   $$g(\theta_1,\theta_2,\dots,\theta_n)=\sum_{i=1}^{n}\ln(\tan\theta_i)=\frac{n}{2}\ln 2.$$

   构造拉格朗日函数

   $$\mathcal{L} = \sum_{i=1}^{n}\cos\theta_i - \mu\left(\sum_{i=1}^{n}\ln(\tan\theta_i) - \frac{n}{2}\ln 2\right).$$

   对每个 $\theta_i$ 求偏导并令其为零可以得到所有 $\theta_i$ 必须相等，从而验证了我们的猜想。

结论

因此，在所有满足条件的 $\theta_i$ 中，

$$\cos \theta_1+\cos \theta_2+\cdots+\cos \theta_n \le \frac{n}{\sqrt{3}},$$

且等号成立当且仅当

$$\theta_1=\theta_2=\cdots=\theta_n=\arctan(\sqrt{2}).$$

所以所求的最小正数 $\lambda$ 为

$$\boxed{\frac{n}{\sqrt{3}}}.$$

下面给出一个简洁的思路与结论：

---

1. 问题重述

我们要找一个最小的正数 $\lambda$，使得对任何满足

$$\tan \theta_1 \cdot \tan \theta_2 \cdots \tan \theta_n \;=\; 2^{\tfrac{n}{2}}, \quad \theta_i \in \left(0, \tfrac{\pi}{2}\right),$$

都有

$$\cos \theta_1 + \cos \theta_2 + \cdots + \cos \theta_n \;\le\; \lambda.$$

并求出这样的 $\lambda$。

---

2. 同值猜想

由于题目中的条件（$\tan \theta_i$ 的乘积）与目标（$\cos \theta_i$ 的求和）都对各个 $\theta_i$ 对称，最常见的做法是猜想当所有 $\theta_i$ 相等时（即 $\theta_1=\theta_2=\cdots=\theta_n$）能够使$\cos \theta_1 + \dots + \cos \theta_n$达到最大值。

设 $\theta_1 = \theta_2 = \cdots = \theta_n = \theta$。此时约束条件变为

$$(\tan\theta)^n \;=\; 2^{\frac{n}{2}} \quad\Longrightarrow\quad \tan\theta \;=\; 2^{\tfrac{1}{2}} \;=\; \sqrt{2}.$$

因为

$$\cos \theta = \frac{1}{\sqrt{1 + \tan^2 \theta}} = \frac{1}{\sqrt{1 + 2}} = \frac{1}{\sqrt{3}},$$

所以此时

$$\cos \theta_1 + \cdots + \cos \theta_n = n \,\cos \theta = \frac{n}{\sqrt{3}}.$$

由此猜想当所有角都相等时，所要求的和可达到的最大值即为 $\tfrac{n}{\sqrt{3}}$。

---

3. 极值验证（拉格朗日乘数法简述）

要严格证明这是最大值，一种常见方法是使用拉格朗日乘数法（也可以用对数凸性等思路，原理相似）。

• 目标函数

  $$f(\theta_1,\ldots,\theta_n) \;=\; \sum_{i=1}^n \cos \theta_i.$$

• 约束条件

  $$g(\theta_1,\ldots,\theta_n) \;=\; \sum_{i=1}^n \ln(\tan \theta_i) \;=\; \frac{n}{2}\ln 2.$$

  （因为 $\ln(\tan\theta_1 \cdots \tan\theta_n) = \sum \ln(\tan \theta_i)$。）

构造拉格朗日函数

$$\mathcal{L}\bigl(\theta_1,\dots,\theta_n,\mu\bigr) =\; \sum_{i=1}^n \cos \theta_i \;-\; \mu\Bigl(\sum_{i=1}^n \ln(\tan\theta_i) \;-\; \tfrac{n}{2}\ln 2\Bigr).$$

对每个 $\theta_i$ 分别求导并令其为零，可以推出所有 $\theta_i$ 必须相等（这是最关键的一步）。结合上面的“同值猜想”就完成了最大值的论证。

---

4. 结论

由此可知，满足

$$\tan \theta_1 \cdot \tan \theta_2 \cdots \tan \theta_n = 2^{\tfrac{n}{2}}$$

的所有角度组合中，

$$\cos \theta_1 + \cos \theta_2 + \cdots + \cos \theta_n \;\le\; \frac{n}{\sqrt{3}},$$

并且当且仅当所有 $\theta_i$ 相等且

$$\tan \theta_i = \sqrt{2} \;\;\bigl(\Longrightarrow\; \theta_i = \arctan(\sqrt{2})\bigr)$$

时可达到等号。

因此，我们所求的最小正数 $\lambda$ 恰为

$$\boxed{\frac{n}{\sqrt{3}}}.$$