定比分点公式一般指有向线段的定比分点的坐标公式,是平面几何和解析几何的基本公式。定比分点公式不仅在解析几何中有十分广泛的应用,还可以用它解决代数问题,它是我们推导公式、计算、证明问题常用的基本公式。
向量形式
公式
设为 一边上一点,则
设,则
证明过程
对于前者,
对于后者,将 和相加,应用 即得结论。
坐标形式
公式
在平面直角坐标系内,已知两点, ;在两点连线上有一点,设它的坐标为,且,那么我们说分有向线段 的比为。我们将
称为有向线段 的定比分点的坐标公式。
当为内分点时, ;当为外分点时, ;当与重合时, ;当与重合时,不存在。
推导过程
对 及其上一点应用定比分点公式的向量形式,即证。
推论
下面不加证明地给出两个推论。
中点公式
已知两点, ,设两点中点为,则推出中点公式
三角形重心公式
已知,,设三角形重心为,则推出三角形重心公式