关于一类基本的勾股形内整距点.doc

关于一类基本勾股形内整距点 祝劲永（岱山中学 316200） 直角三角形的整距点，是指到边长为整数的直角三角形各边的距离均为整数的点，在三角形内部的，称为内整距点；在三角形外部的，称为外整距点。 由文[1]，一类基本勾股形的三边长可写成的形式。 定理 若基本勾股形的三边长为，则内整距点的个数为个（注：基本勾股形是三边互素的） 引理1、中，三边长分别 ，建立如图1的直角坐标系， 与斜边AB平行的直线到斜边的距离等于整数的充要条件是： 存在整数m， 使的方程为） 证明 直线AB的方程为，所以： 因为，设的方程为，两条平行线间的距离为，所以 ＝ 所以， 设 ，所求的方程为 引理2 如果直线上有一个整距点，则该直线上所有整距点都可写成 证明 因为直线上的点的坐标都可写成 即它到两直角边的距离为整数的充要条件是（）｜ 令＝（）,即得证 引理3 每一条直线 上至多有一个内整距点。 证明在一条直线上若有一个整距点（），则上所有整距点为 ，如果它是的内点，则必有 即 这是两个长度为1的开区间，值最多有一个，即每条直线上至多1个内整距点。 定理的证明 将放在如图2的坐标系中，由引理知，与斜边AB平行的直线到斜边的距离等于整数的充要条件是：存在整数，使的方程为 （），且每条直线上至多有一个内 整距点。 现对进行讨论，若时，（*）式中的每条直线上有且 只有一个内整距点，我们不难发现， 当＝1时，内整距点为， 当＝2时，内整距点为， 当＝3时，内整距点为…… 当＝时，内整距点为…… 当＝时，内整距点为 从上述一系列内整距点的坐标中，发现一个有趣的现象，其纵坐标成公差为的等差数列，且为（*）式的解。 若时，（*）式中的每条直线上不存在内整距点，这是因为时，内整距点的纵坐标小于零，不合条件中大于零，所以不存在。 所以定理得证。 参考文献 鲁伯埙，基本勾股形的三边长，中等数学，2000（4） 孙四周，关于整距点的几个结论，中学数学，2001（3） B A C x y 图1 l l 图2 C B A x y