1. 引言
向量是近代数学的基本概念之一。向量法为研究解决几何问题提供了新的方法,使许多原本充满技巧和挑战性的几何问题变得有章可循,平易简捷。正因为可以按照确定的程序统一处理问题,向量法的思路与步骤正在走向机械化[1]。一般地,用向量方法处理几何问题(在此并不引入坐标)充分体现“数形结合”思想:① 用向量表示几何元素,建立几何与方程的联系,将几何问题转化为代数问题;② 通过向量运算,得到代数结果;③ 用代数结果解释几何关系,如平行、垂直及共面等位置关系,距离、夹角及面积等数量关系。在此过程中,代数运算与几何意义有机结合,相辅相成。
向量的知识既出现在高中的教学课程之中[2]-[4],也是大学解析几何的教学内容[5]-[8]。向量既是代数概念,又是几何的研究工具。但遗憾的是,其“数”与“形”的桥梁作用没有得到足够重视。向量的教学中偏重代数运算,忽略几何内涵的引伸与挖掘。
如所知,定比分点公式是向量代数中重要的公式,在解决几何中线性关系问题具有十分重要的作用。在学习过程中,作者发现定比分点公式不仅具有鲜明的几何意义,还可以赋予一定的物理意义,使之与物体的重心紧密联系。有趣的是,利用物理的重心理论重新审视定比分点公式,可以得到任何线段及三角形的加权重心公式。这些加权重心公式是线段中点与三角形重心公式的推广。特别地,我们还发现:可以选取三角形的质量分布使得其内部任何一点均可成为该三角形的加权重心。利用建立的加权重心公式,我们可以简易地解决几何中一些较为复杂的线性关系问题。
利用定比分点公式的几何意义解决几何问题,在本科教材中有一定的阐述,但并没有展开深入的讨论[5]-[8]。在相关的教学类论文中,作者们主要介绍了定比分点公式在解题中的一些方法与技巧,但没有从几何方面特别是物理方面去挖掘公式的意义[9]-[11]。鉴于此,本文拟就在这些方面对定比分点公式作一些补充说明,提供一些新的思考,以进一步加深理解。
2. 定比分点公式的推广
为了向量的表示和计算更加简洁,在原点为
的坐标系下,我们把
等点的位置向量表示为
,而不是
。
定理2.1 设线段
。则
三点共线当且仅当
(2.1)
证明(
)设
三点共线,则向量
与
同向。由于
,故
即,
整理得到
(
) 设式(2.1)成立,则移项合并得到
即,
。从而向量
与
同向。特别地,
三点共线。
注1 在定理2.1中,若
三点共线,且
,则有
此时,
。因此,定理2.1 是定比分点公式的推广。
注2 定理2.1表明,线段分点的位置向量可由端点的位置向量表示,且从几何上看,分点位置向量的系数是线段的长度,而端点位置向量的系数恰好是分点到另一端点的距离。事实上,定理中的距离也可以是有向距离,此时,点
未必是线段
的内分点。无论哪种情形,等式两端的系数和始终相等。
例2.1 已知
,
为
的内心,
所对应的边长分别为
。
证明
证明:作射线
交
于点
。由角平分线定理,
。令
。
则由定理2.1,
(2.2)
同理,由角平分线定理,
令
。则由定理2.1,
(2.3)
利用式(2.2)~(2.3)得到
取点
为原点,即得到所证等式。
例2.2 在
中,点
与
分别在
及
上,且
,
,
与
交于点
。证明
,
。
证明:由
,根据定理2.1,
.
设
,则同理可得
。设
(即,选取点
为原点),并消去
得到
(2.4)
由于点
共线,故由定理2.1可知
。于是得
。从而有
。将
代入式(2.4)得到
。从而有
。
注:在例2.2的证明中,我们令
,主要目的是让计算更简单一些。事实上,由于空间中数量关系与坐标的选取无关,我们可以选取任意一点作为原点。如,若在证明中令
,可得
。再消去
得到
.
由于点
共线,故向量
共线(因为
)。于是必有
。从而有
,且
。进而有
。
例2.3
中,
是
边的中点,
,
,
和
分别在
和
上,直线
和
交于
。若
,求
。
证明:设
,且
。则由条件及定比分点公式可得
由前三个方程消去
得到
再与第四方程结合,消去
得到
令
,则上式变为
由于点
共线,故
。从而
(或直接可以从
的系数
得到
)。
3. 加权重心公式
定理3.1 设线段
的质量分布在端点,分别为
与
。则线段
的重心
满足
(3.1)
式(3.1)称为线段加权重心公式。
证明:以点
作为线段
的支点,则由物理学杠杆原理可知
不失一般性,不妨设
。于是由定理2.1得到式(3.1)成立。
注:定理3.1表明,线段分点的位置向量可由端点的位置向量表示,且从物理上看,分点位置向量的系数是线段的总质量,而端点位置向量的系数恰好是该端点的质量。
利用定理3.1,容易得到
推论3.2 设线段
的质量分布在端点,分别为
与
。若
为
的加权重心,且
,则
定义3.1 设三角形的质量分布于三个顶点上。则称三角形的顶点与对边加权重心的连线为三角形的一条重心线。
定理3.3 设
的质量分布在顶点,分别为
,
与
。则
的三条重心线交于一点
,且满足
(3.2)
称点
为
的加权重心。式(3.2)称为三角形加权重心公式。
证明:设
为边
的重心,则由定理3.1得到
设
为线段
的加权重心,则由定理3.1及上式得到
即,
同理可得另外两条重心线的重心
也满足上式,从而三条重心线交于一点。
注1 在定理3.3中,若
,则得到三角形的重心公式
注2 对于三角形内任意一点,总可以对三个顶点赋予相应的质量,使得该点为三角形的某个加权重心。留作练习供读者思考。
注3 定理3.3表明,三角形内部点的位置向量可由顶点的位置向量表示,且从物理上看,内点位置向量的系数是三角形的总质量,而顶点位置向量的系数恰好是该顶点的质量。这与物理学中离散性质量分布下物体重心的位置是一致的。
例3.1 证明塞瓦(Giovanni Ceva)定理及其逆定理:在
中,点
分别在边
上。则
交于一点当且仅当
。
证明:(
)设
交于一点
,则
是
中的加权重心,点
分别是边
上的加权重心。由推论3.2,
于是,
(
)设
令
,则
。于是点
分别是边
上的重心。由定理3.3可知,
交于一点。
例3.2 用加权重心公式证明例2.1。
证明:如所知,三角形的三条对角线
交于内心
。则
也是三角形的加权重心。由角平分线定理,
,根据推论3.2,取
。再由
,可知
。于是由定理3.3三角形加权重心公式得到
例3.3 用加权重心公式证明例2.2。
证明:设
。则由
知
为
重心。设
,则由
知
为
重心。于是点
既是线段
加权重心,也是三角形的加权重心。由定理3.1及3.3得到
将
代入得到
.
于是
。
例3.4 设
为
内一点。证明:
证明:设
分别交
于
。由于
为
加权重心,故
整理得到
(3.3)
由三角形面积比性质及推论3.2,
故
代入式(3.3)中,即得要证等式。
注例3.4及其证明表明,三角形内部点的位置向量可由顶点的位置向量表示,且从几何上看,内点位置向量的系数是三角形的总面积,而顶点位置向量的系数恰好是内点与另外两个顶点构成的三角形面积。换言之,我们有
例3.5 设
点是
内一点。
的延长线分别交
于
,则
证明:设
点是
的加权重心,则
分别为边
的加权重心。于是
由推论3.2及第一、二个方程得到
再由三个方程得到
类似可得
于是,
4. 分析与讨论
在本文中,我们首先从定比分点公式出发,得到它的一般形式,重点阐释了系数表达的几何意义,并通过例题介绍了灵活使用定比分点公式的基本思路和方法。其次,我们利用杠杆原理将定比分点公式赋予物理意义,将分点及三角形内点分别理解为线段及三角形的加权重心,得到线段与三角形的加权重心公式。在运用加权重心公式处理几何问题时,我们可以将端点或顶点进行赋值,列出位置向量的线性方程组,从而使较为复杂的几何问题转化为一些简单的计算。有兴趣的读者可以进一步将以上结果推广到四面体中,即得到四面体的加权重心公式。
通过探究来理解数学,对数学结果进行多角度多维度解读,或横向关联,或纵向挖掘,把数学中蕴含的精神、思想、方法揭示出来,是学习数学的重要途径。大学课堂教学中要鼓励探究,激发兴趣,更要培养学生发散性思维、创造性思维。本文将定比分点公式的几何意义与物理意义相互融合,体现了数学与物理密不可分的联系;同时也建构了几何与代数、数学与物理之间的桥梁,增添了数学知识的趣味性与深度。
致 谢
作者在本文的撰写中得到尹松庭教授的指导与帮助,在此表示诚挚的感谢。
基金项目
本文得到大学生国家级创新创业项目(201810383166)资助。