单位圆内接多边形重心到圆心距离不等式证明及等号条件求助

让我们一步步拆解这个问题，从重心的向量表达式入手，结合数学归纳法来完成证明：

1. 重心的向量表示 #

首先，设单位圆上的每个顶点对应的位置向量为$\vec{A_1}, \vec{A_2}, ..., \vec{A_n}$（每个向量的模长$|\vec{A_i}|=1$）。多边形的重心$G$的位置向量是所有顶点向量的平均值：
$$\vec{OG} = \frac{1}{n}\sum_{i=1}^n \vec{A_i}$$
我们的目标是证明$|\vec{OG}| \leq \frac{n-2}{n}$，等价于证明$|\sum_{i=1}^n \vec{A_i}| \leq n-2$。

2. 用数学归纳法证明不等式 #

基例：n=3（三角形情况） #

当n=3时，O在三角形内部意味着这是一个锐角三角形。根据欧拉公式，外心O到重心G的距离满足：
$$OG^2 = R^2 - \frac{a^2 + b^2 + c^2}{9}$$
其中$R=1$（单位圆半径）。结合正弦定理$a=2\sin A, b=2\sin B, c=2\sin C$，代入后可推导出：
$$a^2 + b^2 + c^2 = 8 + 8\cos A\cos B\cos C$$
因为锐角三角形的三个角余弦值均为正，所以$\cos A\cos B\cos C > 0$，代入欧拉公式得：
$$OG^2 = \frac{1 - 8\cos A\cos B\cos C}{9} < \frac{1}{9}$$
即$OG < \frac{1}{3} = \frac{3-2}{3}$，基例的不等式严格成立，无法取到等号。

归纳步骤：假设n=k时成立，推导n=k+1的情况 #

假设对于任意k边形（k≥3，O在内部），其重心$G_k$满足$|\vec{OG_k}| \leq \frac{k-2}{k}$。对于k+1边形$A_1A_2...A_kA_{k+1}$，其重心$G_{k+1}$的向量为：
$$\vec{OG_{k+1}} = \frac{k\vec{OG_k} + \vec{A_{k+1}}}{k+1}$$
根据三角不等式$|\vec{u} + \vec{v}| \leq |\vec{u}| + |\vec{v}|$，我们有：
$$|\vec{OG_{k+1}}| \leq \frac{k|\vec{OG_k}| + |\vec{A_{k+1}}|}{k+1}$$
代入归纳假设$|\vec{OG_k}| \leq \frac{k-2}{k}$，且$|\vec{A_{k+1}}|=1$（单位圆顶点）：
$$|\vec{OG_{k+1}}| \leq \frac{k \cdot \frac{k-2}{k} + 1}{k+1} = \frac{(k-2) + 1}{k+1} = \frac{k-1}{k+1} = \frac{(k+1)-2}{k+1}$$
这就证明了n=k+1时不等式也成立。结合基例，对所有n≥3，$OG \leq \frac{n-2}{n}$成立。

3. 等式成立的条件 #

观察归纳步骤中的等号触发条件：

1. 三角不等式取等号：要求$\vec{OG_k}$与$\vec{A_{k+1}}$同向，即$\vec{A_{k+1}}$在$\vec{OG_k}$的延长线上（因为都是单位向量，所以$\vec{A_{k+1}} = \frac{\vec{OG_k}}{|\vec{OG_k}|}$）。
2. 归纳假设取等号：即$|\vec{OG_k}| = \frac{k-2}{k}$。

递推下去，我们可以构造出满足等式的多边形：

• 对于n=4：取两个顶点重合于单位圆上某点$P$，另外两个顶点为一对对径点$Q$和$R$（即$\vec{R}=-\vec{Q}$）。此时重心向量为$\frac{2\vec{OP} + \vec{Q} + \vec{R}}{4} = \frac{2\vec{OP}}{4} = \frac{\vec{OP}}{2}$，模长为$\frac{1}{2} = \frac{4-2}{4}$，且O在四边形内部。
• 对于任意n≥4：取$n-2$个顶点重合于单位圆上某点$P$，剩下两个顶点为一对对径点$Q$和$R$。此时重心向量为$\frac{(n-2)\vec{OP} + \vec{Q} + \vec{R}}{n} = \frac{(n-2)\vec{OP}}{n}$，模长为$\frac{n-2}{n}$，只要$P$不与$Q/R$重合，O就位于多边形内部。

而n=3时，我们已经证明无法取到等号，因此等式成立的所有n值为n≥4的正整数。

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