重心坐标系(Barycentric Coordinate System)是由德国数学家奥古斯特·莫比乌斯于1827年提出的一种坐标系。它在平面向量、解三角形与立体几何等多个模块中都可以解决某些问题。

内容暂时非常不完善,部分内容目前由AI辅助生成,将来将会重写本文。

基础概念

\(O\)空间中随意选取的一点。在某个平面内,给定一个三角形 \(\triangle ABC\),则对于这个平面内的任意一点 \(P\),都存在唯一实数组 \((x, y, z)\),使得:

\[ \vec{OP} = x\vec{OA} + y\vec{OB} + z\vec{OC} \]

且满足条件:\(x + y + z = 1\)

可以证明,当 \(P, A, B, C\) 四个点给定时,\(x, y, z\) 的值不随 \(O\) 的选取而改变。因此,为了书写方便,可以把 \(O\) 省略,简写成

\[P = xA + yB + zC\]

这里的 \((x, y, z)\) 就是点 \(P\) 关于 \(\triangle ABC\)重心坐标

证明

根据平面向量基本定理,存在(唯一的)实数 \(y\)\(z\),使得

\[\vec{AP} = y\vec{AB} + z\vec{AC}\]

在空间中随便找一个 \(O\)。根据向量加法,\(\vec{AP} = \vec{OP} - \vec{OA}\)\(\vec{AB} = \vec{OB} - \vec{OA}\)\(\vec{AC} = \vec{OC} - \vec{OA}\),代入上面的式子:

\[\vec{OP} - \vec{OA} = y(\vec{OB} - \vec{OA}) + z(\vec{OC} - \vec{OA})\]

\(\vec{OP}\) 留在一边,其他的移到右边,整理得到:

\[\vec{OP} = (1 - y - z)\vec{OA} + y\vec{OB} + z\vec{OC}\]

\(x = 1 - y - z\),那么上面的式子就变成了:

\[\vec{OP} = x\vec{OA} + y\vec{OB} + z\vec{OC}\]

当点 \(P\)\(\triangle ABC\) 内部时,\(x, y, z\) 均为正数,且分别等于以 \(P\) 为顶点的小三角形面积与总面积之比:

\[x = \frac{S_{\triangle PBC}}{S_{\triangle ABC}}, \quad y = \frac{S_{\triangle PCA}}{S_{\triangle ABC}}, \quad z = \frac{S_{\triangle PAB}}{S_{\triangle ABC}}\]

\(O\) 移至点 \(P\),结合上述面积比例,可得 so called 奔驰定理

\[S_{\triangle PBC}\vec{PA} + S_{\triangle PCA}\vec{PB} + S_{\triangle PAB}\vec{PC} = \vec{0}\]

立体几何中的应用

给定空间任意平面 \(\alpha\),若 \(A, B, C\)\(\alpha\) 同侧,则 \(P=xA+yB+zC\)\(\alpha\) 的距离 \(h_P\),可以由 \(A, B, C\)\(\alpha\) 距离 \(h_A, h_B, h_C\) 表示:

\[h_P = x \cdot h_A + y \cdot h_B + z \cdot h_C\]

证明

设平面 \(\alpha\) 的一个单位法向量为 \(\vec{n}\)。在平面 \(\alpha\) 上随便找一点 \(M\),则

\[h_P = \vec{MP} \cdot \vec{n}\]

不妨设 \(\vec{MP} \cdot \vec{n}>0\)

由于

\[\vec{MP} = x\vec{MA} + y\vec{MB} + z\vec{MC}\]

\[ \begin{align} h_Q &= (x\vec{MA} + y\vec{MB} + z\vec{MC}) \cdot \vec{n}\\ &= x(\vec{MA} \cdot \vec{n}) + y(\vec{MB} \cdot \vec{n}) + z(\vec{MC} \cdot \vec{n})\\ &= x \cdot h_P + y \cdot h_B + z \cdot h_C \end{align} \]

由于我们要求 \(A, B, C\) 都在 \(\alpha\) 同侧,\(\vec{MA} \cdot \vec{n}\)\(\vec{MB} \cdot \vec{n}\)\(\vec{MC} \cdot \vec{n}\) 同号。
若不在同一侧,将距离视为“有向距离”即可。

等式两边同乘 \(\frac{1}{3} S_{底面}\),得到体积

\[V_{P-\text{底面}} = xV_{A-\text{底面}} + yV_{B-\text{底面}} + zV_{C-\text{底面}}\]

例题:(2025武汉二调)四棱锥 \(P-ABCD\) 中,\(AB=AD=\sqrt{10}\)\(CB=CD=5\)\(\angle BAD=90^\circ\)\(PB=4\)\(PC=3\)\(\triangle PBC\) 内部点 \(Q\) 满足四棱锥 \(Q-ABCD\) 与三棱锥 \(Q-PAD\) 的体积相等,求 \(PQ\) 长的最小值。

\(Q\)\(\triangle PBC\) 内,我们可以设 \(Q = xP + yB + zC\),其中 \(x, y, z \ge 0\)\(x + y + z = 1\)。设顶点 \(P\) 到底面 \(ABCD\) 的距离为 \(h\)

\[ \begin{align} V_{Q-ABCD} &= x V_{P-ABCD} + y V_{B-ABCD} + z V_{C-ABCD}\\ &= x V_{P-ABCD} = x \cdot (\frac{1}{3} S_{ABCD} \cdot h)\\ &= \frac{1}{3} \times 15 \times xh = 5xh \end{align} \]

因为点 \(B, C\) 就在底面 \(ABCD\) 上,所以以它们为顶点的体积为0

\[ \begin{align} V_{Q-PAD} &= x V_{P-PAD} + y V_{B-PAD} + z V_{C-PAD}\\ &= y V_{P-ABD} + z V_{P-ACD}\\ &= \frac{1}{3} S_{ABD} \cdot h + \frac{1}{3} S_{ACD} \cdot h\\ &= \frac{5}{3}yh + \frac{5}{2}zh \end{align} \]

根据题目已知 \(V_{Q-ABCD} = V_{Q-PAD}\),可得 \(5xh = \frac{5}{3}yh + \frac{5}{2}zh\),化简得

\[5x = \frac{5}{3}y + \frac{5}{2}z\]

\(x = 1 - y - z\) 代入上式,得

\[8y + 9z = 6\]

由条件可知,\(\triangle PBC\) 是以 \(\angle BPC = 90^\circ\) 为直角的直角三角形。

由于 \(Q = xP + yB + zC\),故 \(\vec{PQ} = x\vec{PP} + y\vec{PB} + z\vec{PC}=y\vec{PB} + z\vec{PC}\)

因此

\[ \begin{align} PQ^2 &= y^2|\vec{PB}|^2 + z^2|\vec{PC}|^2\\ &= y^2 \cdot 4^2 + z^2 \cdot 3^2\\ &= 16y^2 + 9z^2 \end{align} \]

使用柯西不等式:

\[[(4y)^2 + (3z)^2] \cdot [2^2 + 3^2] \ge ( 4y \cdot 2 + 3z \cdot 3 )^2=36\]

\(PQ^2 \ge \frac{36}{13}\)

三角形四心的重心坐标

  • 重心 \(G\)\(1:1:1\) \[G = \frac{1}{3}A + \frac{1}{3}B + \frac{1}{3}C\]
  • 内心 \(I\)\(a:b:c\)\(a,b,c\) 为对边长) \[I = \frac{a}{a+b+c}A + \frac{b}{a+b+c}B + \frac{c}{a+b+c}C\]
  • 外心 \(O\)\(\sin 2A : \sin 2B : \sin 2C\)
  • 垂心 \(H\)\(\tan A : \tan B : \tan C\)