平面向量定比分点公式定义
平面向量定比分点公式是解决平面几何中点位置问题的重要工具。当一条线段被一个点分成两部分时，该点称为线段的定比分点。
基本概念
设点P在有向线段P₁P₂上，且点P分有向线段P₁P₂所成的比为λ，即P₁P/PP₂ = λ (λ≠-1)。
若P₁(x₁, y₁)，P₂(x₂, y₂)，则分点P的坐标(x, y)为：
y = (y₁ + λy₂) / (1 + λ)
特别地，当λ=1时，点P是线段P₁P₂的中点，此时中点坐标为：
y = (y₁ + y₂) / 2
当λ>0时，点P在线段P₁P₂内部；当λ<0且λ≠-1时，点P在线段P₁P₂的延长线上。
公式特点
- 适用于平面直角坐标系
- λ为有向线段的数量比
- 公式具有对称性
- 可推广到空间向量
公式推导过程
向量法推导
设点P₁, P, P₂对应的位置向量分别为\(\vec{OP₁}\), \(\vec{OP}\), \(\vec{OP₂}\)。
由题意：\(\vec{P₁P} = λ\vec{PP₂}\)
即：\(\vec{OP} - \vec{OP₁} = λ(\vec{OP₂} - \vec{OP})\)
整理得：\((1+λ)\vec{OP} = \vec{OP₁} + λ\vec{OP₂}\)
所以：\(\vec{OP} = \frac{\vec{OP₁} + λ\vec{OP₂}}{1+λ}\)
写成坐标形式即为定比分点公式。
坐标法推导
设P₁(x₁, y₁), P₂(x₂, y₂), P(x, y)，且P₁P:PP₂ = λ。
由相似三角形原理可得：
\(\frac{x-x₁}{x₂-x} = λ\) 且 \(\frac{y-y₁}{y₂-y} = λ\)
解方程：\(x-x₁ = λ(x₂-x)\)
整理得：\(x(1+λ) = x₁+λx₂\)
所以：\(x = \frac{x₁+λx₂}{1+λ}\)
同理可得y的表达式。
应用实例解析
实例1：求线段的三等分点
已知线段AB，A(2, 3)，B(8, 9)，求将线段AB三等分的两个分点坐标。
解：第一个三等分点C (λ=1/2)
根据定比分点公式：
\(x_C = \frac{2 + \frac{1}{2}×8}{1+\frac{1}{2}} = \frac{2+4}{1.5} = \frac{6}{1.5} = 4\)
\(y_C = \frac{3 + \frac{1}{2}×9}{1+\frac{1}{2}} = \frac{3+4.5}{1.5} = \frac{7.5}{1.5} = 5\)
∴ C(4, 5)
解：第二个三等分点D (λ=2)
根据定比分点公式：
\(x_D = \frac{2 + 2×8}{1+2} = \frac{2+16}{3} = \frac{18}{3} = 6\)
\(y_D = \frac{3 + 2×9}{1+2} = \frac{3+18}{3} = \frac{21}{3} = 7\)
∴ D(6, 7)
实例2：三角形重心坐标公式推导
已知三角形顶点A(x₁, y₁), B(x₂, y₂), C(x₃, y₃)，求重心G的坐标。
解：设BC中点为D，则D坐标为\(\left(\frac{x₂+x₃}{2}, \frac{y₂+y₃}{2}\right)\)。
重心G在AD上，且AG:GD=2:1，即λ=2。
根据定比分点公式：
\(x_G = \frac{x₁ + 2×\frac{x₂+x₃}{2}}{1+2} = \frac{x₁+x₂+x₃}{3}\)
\(y_G = \frac{y₁ + 2×\frac{y₂+y₃}{2}}{1+2} = \frac{y₁+y₂+y₃}{3}\)
∴ 三角形重心坐标公式为 \(G\left(\frac{x₁+x₂+x₃}{3}, \frac{y₁+y₂+y₃}{3}\right)\)
常见问题解答
λ的取值范围决定了分点P的位置：
- 当λ>0时，点P在线段P₁P₂内部
- 当λ=1时，点P为线段P₁P₂的中点
- 当λ<0且λ≠-1时，点P在线段P₁P₂的延长线上
- 当λ=0时，点P与P₁重合
- 当λ→-1时，点P趋向无穷远
可以采用以下记忆方法：
- 分子是起点坐标加上λ倍的终点坐标
- 分母是1+λ
- 可以联想"起点加λ倍终点，除以1加λ"的口诀
- 当λ=1时，公式简化为中点坐标公式，可作为验证
是的，定比分点公式可以推广到空间向量。对于空间中的点P₁(x₁, y₁, z₁)和P₂(x₂, y₂, z₂)，若点P分有向线段P₁P₂所成的比为λ，则点P的坐标为：
y = (y₁ + λy₂) / (1 + λ)
z = (z₁ + λz₂) / (1 + λ)
推导方法与平面向量完全相同，只是增加了z坐标分量。
定比分点公式实际上是向量共线定理的一个具体应用。向量共线定理指出：如果向量\(\vec{a}\)与\(\vec{b}\)共线(\(\vec{b}≠\vec{0}\))，则存在唯一实数λ，使得\(\vec{a}=λ\vec{b}\)。
在定比分点问题中，向量\(\vec{P₁P}\)与\(\vec{PP₂}\)共线，因此存在实数λ使得\(\vec{P₁P}=λ\vec{PP₂}\)，这正是定比分点公式推导的起点。