1. 引言
点到直线的距离是解析几何的重要内容[1],很多学者对其进行了研究[2]-[8],但是大部分研究局限于平面解析几何,对点到空间直线的距离研究较少。教材[1]中给出了在已知直线标准方程的情况下,如何求点到空间直线的距离,即利用向量积的几何意义和等面积求解。当直线l方程是一般方程时,如何求解点到空间直线的距离,给读者留下了巨大的思索空间。本文将利用点到点的距离、点到平面的距离、平面束等方法给出点到直线的距离公式,减少化直线一般方程为标准方程的繁琐环节。
(1)
2. 定理及证明
定理1 已知一点P
,直线l的方程为(1)式,则点P到直线l的距离为
, (2)
其中
,
,
,
。
证明 设
,
,
,由于直线l的方向向量为
,则垂直于直线l且过点P的平面的方程为
。故π与l 的交点
满足方程
.
设
,因为
不共线,所以
。由克拉默法则解得
,
,
,
其中
,
,
,
。
故点P到直线l的距离为点P到M的距离
,即得(2)式。证毕。
定理2 已知一点
,直线l的方程为(1)式,则点P到直线l的距离为
. (3)
其中
,
,
,
,且
(4)
. (5)
证明 过点P作平面
的垂线,设垂足为
点,再过点N作直线l的垂线,设垂足为Q点,则点P到直线l的距离为
。
因为直线
的方向向量为
,所以其坐标式参数方程为
. (6)
将(5)式带入
解得点N的坐标,即为(4)式。又因为点Q在直线l上,且NQ垂直于
,所以有
(7)
由(7)式解得点Q的坐标
,
,
。
其中
满足(5)式。又因为
,将(4)式、(6)式代入(7)得(3)式。证毕。
定理3 已知一点P
,直线l的方程为(1)式,则点P到直线l的距离为
. (8)
其中
(9)
(10)
证明 设过点P与直线l的平面为
,过直线l且垂直于平面
的平面为
,由于点P到直线l的距离d可以转化为点P到平面
的距离。下面利用平面束求
、
的方程。设以直线l为中心的平面束为
,
其中λ,μ为参数。
因为点P
在平面
上,所以λ:
,故平面
的方程为
其中A,B,C,D满足(9)式。
又因为平面
垂直于平面
,可得平面
的方程为
,其中
满足(10)式,则
。证毕。
定理4 已知一点
,直线l的方程为(1)式,则点P到直线l的距离为
. (11)
其中
, (12)
. (13)
证明 过点P分别作平面π1、π2的垂线,其垂足为点M与点N。设点P到平面π1、π2的距离分别为
,
,π1、π2的夹角为
,则
,其中
,
,
分别满足(12)式、(13)式。又因为
, (14)
所以
,
可得
,代入(14)式即得(13)式。证毕。
3. 应用
下面利用定理1~定理4以及文献[1]的方法求解点到直线的距离。
例 已知点
,直线l的方程为:
,求点P到直线l的距离。
方法一 利用定理1,其中A = 1,B = 2,C = −5,W = 30,D = −7,代入(2)式,得点P到直线l的距离
。
方法二 利用定理2,其中
,
,
,代入(3)式,得点P到直线l的距离
。
方法三 利用定理3,其中A =10,B = −10,C = −2,D = 4,
,
,
,
,代入(8)式,得点P到直线l的距离
。
方法四 利用定理4,其中
,
,
,代入(11)式,得点P到直线l的距离
。
方法五 利用文献[1]的方法,将直线的一般方程转化为标准方程,其中l的方向向量为
,令
,则
,
,则l的标准方程为
,再利用点到直线的距离公式
,可得距离
。
4. 结束语
本文利用点到点的距离、点到平面的距离、平面束等方法给出点到直线的距离的多种求法,减少了化直线一般方程为标准方程的繁琐环节。首先,从教学研究的角度来看,该类一题多解的题型为教师提供了丰富的教学研究领域,教师可以通过深入研究不同解题方法的适用性、效果以及对学生学习的影响,进而不断改进自己的教学方法和策略。这种研究是基于课堂观察、学生反馈、教学实验等多种形式,有助于提高教学效果和质量。其次,解析几何的一题多解教学方法也为课程思政提供了重要的载体。通过让学生从不同的角度去思考和解决问题,可以培养学生的空间想象能力和创新思维。学生在解决问题时需要不断地思考、尝试新的方法,这有助于培养他们的创新意识和创新能力。通过引导学生探讨不同解法的优缺点、进行思维碰撞和交流,能够激发学生的学习兴趣,增加学习的趣味性和吸引力,提高了学习的积极性和主动性。总之,一题多解不仅对解析几何教学与研究有重要作用,还能推动教学改革与创新、学科研究与交流,可以进一步提升这种教学方法在解析几何领域的影响力和应用程度,为学生的数学学习和教育教学的发展做出积极贡献。
基金项目
阿坝师范学院质量工程项目(20210405002, 20220410003, 202401003, 20242001171)。