1. 引言
法国数学家皮尔·维尼尔于1631年给出游标卡尺的结构和原理,但此原理至今没有公认的证明,也没有数学定理能解释此原理 [1] [2]。游标万能角度尺的原理就是源于游标卡尺的原理,由于游标万能角度尺上的每格弧长对应的圆心角,可以是无数角度值中的任意一个,其原理是否在任意条件下都成立也没有公认的证明,这些都是百年公知的常识,不同人有不同的观点也很正常。专利中的问题在当时没有理论能说明其存在错误 [3],这里不仅给出了理论依据和解决方案,还从位置不同而读数相同来说明其存在错误。步进电机出现已接近百年历史,其步距角计算公式还是一个经验公式,如果研发步距角是0.1度的电机,应用现在的步距角计算公式 [4] [5],算出转子齿数和相数,有很多不同的方案,但是多数方案实际验证步距角变大了,这就给新产品的研发造成困难。新理论 [6] 给出的步距角计算公式就解决了这种不足,根据新步距角计算公式,还能研发出多个定子磁极线圈,由一相控制的步进电机,现在步进电机一般一相控制两个定子磁极线圈 [4] [5]。根据新理论,绝对值编码器、千分尺、百分表等都有了测量精度更高的新原理,有指针的所有仪器仪表,只要刻度线在圆周上等距离排列,都能应用新理论使其精度提高,新理论与现有电子技术相结合,还能研发出多种电子数显的测量工具。通过本文希望更多的人知道游标卡尺的原理、游标万能角度尺的原理已经有理论依据了,都是正确的,促使大家深入研究,统一认识,在今后的应用中没有争议不出错误,让新理论有更广泛的应用。
2. 理论探讨
相邻定理:a与b是正实数,且a > b,在数轴的上方用红色画出a的整数倍的点,在数轴的下方用黑色画出b的整数倍的点,若
,且m与n是互素的正整数,则有:
1) 相邻重合点之间的距离都是na或mb。
2) 数轴上的点以相邻重合点的中垂线相对称,以重合点相对称。
3) 相邻两点的距离分别是
或
,在相邻重合点之间每种距离仅有两个,且以中垂线相对称。
证明:
1) 数轴上的重合点可以用不定方程ax = by表示,由方程的整数解的数量可知重合点有无数个,由tna = tmb (
),易知在数轴上满足条件tna的点都是重合点,假设tna与(t + 1)na之间还有重合点tna + xa (
),则有
必是整数,
。m和n没有相同素因子,由x < n,可知n中至少有一个素因子在x中不存在,因此
不是整数,
不是整数,即tna + xa不是重合点,tna与(t + 1)na是相邻重合点,之间的距离是
。
2) 证略。
3) 假设数轴上的黑点可以左右整体移动,任意取一个红点和一个黑点,使其成为重合点,并把此重合点定为零点,同样可证明结论1)和结论2)是成立的,因此左右整体移动黑点,只要出现重合点就是无数个,所有出现重合点的状态,相邻重合点之间的点,分布状况永远相同。此结论是理解证明过程的关键之一。令相邻两点的最小距离是y,由结论2)可知,黑点向左或向右移动y都会出现重合点,进一步可推知,黑点任意移动多少个y,都会出现重合点,黑点整体移动是b时(b是相邻两点的最大距离)也会出现重合点,因此b是y的整数倍,下面就讨论黑点每次只移动y,向同一方向移动多少次总距离是b。
任意取两个相邻的重合点,并在两个红点处做上标记,其中不是重合点的红点有n − 1个。黑点每次移动y,在有标记的两个红点之间只会出现一个重合点,如果出现两个以上的重合点,相邻重合点的距离就有小于na,如果不出现重合点,相邻重合点的距离就有大于na,这与结论1)相矛盾。不是重合点的任意一个红点,与两侧黑点的距离之和都是b,因此黑点定向移动总距离是b的过程中,每个红点仅有一次成为重合点,如果有一个红点没有成为重合点,一定出现过相邻两点的最小距离不是y的情况,这与相邻重合点之间的点,分布状况永远相同相矛盾。由以上可知黑点每次只移动y,向同一方向移动n次(不
是重合点的红点数加一)总距离是b,即
,因此相邻两点的距离分别是
,在相邻重合点之间,相邻两点的距离总数是
,由结论2)可知每种距离仅有两个,且对称分布。
推论1):两个相等的同心圆,从一点起把一圆周c等分,另一圆周k等分,将一圆任意转动,若
,则每转动
度,就有d个重合点等分两圆(起点视为重合点)。
证明:在数轴上取长为nad的线段组成一个圆,圆周上红点有nd个,黑点有
个,重合点有d个,令k = md,c = nd,则有
,因此这个圆可视为满足推论要求的两个同心圆,由相邻定理的证明过程可知,把一圆任意转动,每转动
个弧长,就会出现d个重合点均分圆周,
个弧长所对应的圆心角是
。
推论2):A,B两个相等的同心圆,从同一点起,在A圆周上画出连续相等的m格,把B圆周k等分,A圆周上的m格与B圆上的n格圆心角相等,将一圆向同一方向转动,若
,则每转动
度,就会出现一个或两个重合点,每转动m次才会出现两个重合点,且是A圆的首尾两点(起点视为重合点)。
证明:在相邻定理的数轴上任意取两个相邻的重合点,并做标记,其中红点有n格,黑点有m格。此时向同一方向整体移动黑点或红点,每次只移动
,有 可知移动m次有标记的首尾两个黑点再一次成为重合点,在此过程中每一次移动
的距离,由相邻定理证明过程可知,在首尾两个黑点之
间只会出现一个重合点。任意取线段,长度大于或等于有标记的相邻重合点,即线段满足条件
,k与k1是正实数,其中包括做标记的两个重合点,把此线段组成两个相等的同心圆,有黑点的圆是A圆,A圆视为只有连续的m格,有红点的圆是B圆,B圆周有k个a,B圆的n格与A
圆的m格圆心角相等。向同一方向转动A圆或B圆,每次只转动
弧长,同理有上述特征,
弧长对应的圆心角是
度。
当m < n,
时,也可证明推论2)成立。
注释:当a和b是正整数,且
,则有a = md,b = nd,此时相邻定理的结论3)是:相邻两点的距离分别是
,这与文献 [7] 的结论是一致的,由此可知数轴上任意红点与黑点的距
离是
(x,y,k是整数)。文献 [8] [9] 中定理:a与b的最大公约数是d,存在整数x与y,使得
。此定理的证明过程中明确指出d是ax − by的最小正整数,此定理相当于相邻定理的一个推论,由此说明相邻定理是正确的。求
的整数解在RSA密码系统中有重要应用 [10],由相邻定理可
知最小一组整数解的范围是
,
,ax除以b的余数等于相邻两点的距离,只要算出最小一组解就能给出无数解的通式,文献 [10] 还没有这方面的应用。
相邻两点的距离是指红点与黑点的相邻距离,b是相邻两点的最大距离,当
时,在相邻重合点之间b有多个,但能满足要求的b仅有两个。当k不是正整数时,B圆周没有被等分,但是推论2)还是成立的,因实用性差,在文献 [6] 中未说明。由
可知
,当m除以n的余数是1或n − 1时,此时
数轴上相邻两点的距离从小到大顺序排列,可以解释游标卡尺的原理。当
时,推论2)的计算结果与游标万能角度尺的原理计数结果是相等的,也可以证明推论1)在 时,相邻两点的圆心角从小到大顺序排列 [6]。当m除以n的余数不是1或n − 1时,相邻两点的距离不是按照从小到大的顺序排列,游标尺的读数是混乱的,因此游标尺的每一个刻度线都要标注序号,这样的测量工具最好是电子数显的,读数比较方便。新理论在应用中,主尺相当于所有的红点或黑点,游标尺就是相邻的重合点,取其中的黑点或红点作为游标尺。综上所述相邻定理及其推论的适用条件是:必须存在相邻的重合点,主尺每格与游标尺每格不相等。
3. 游标原理证明
游标卡尺的原理:主尺每格是a毫米,游标尺的m格与主尺的m − 1格长度相等,则游标尺每格表示(测量精度):
毫米,游标尺的读数是根据重合的刻度线读取的。证明:游标卡尺的测量精度是根据相邻两点的最小距离,在相邻定理中,当
时,把
代入此式可知
,此时
。如果数轴下方的黑点是主尺,相邻重合点之间的红点有n格,作为游标尺,测量精度是
,此时主尺读数顺序与游标尺读数顺序相反。
文献 [2] 给出的游标卡尺的原理是:
,测量精度
,n是游标尺格数,y是游标尺每格的长度,x是主尺每格的长度,z = 1或2。
证明:在相邻定理中a > b,因此y = a,x = b,
可知
,即
,若
时,由欧几里德算法可知
与n互素,相邻两点最小距离就是 。
游标万能角度尺的原理在绝大多数教材中,只通过人们认可的几个应用实例来说明其测量原理 [11],没有给出一般的表达式,因为很难给出公认的证明,这里根据推论2)给出的游标万能角度尺的原理是:主尺每格圆心角是a度,游标尺上的m格与主尺上的m − 1格的圆心角相等,游标尺每格表示的度数是(测
量精度)
度。游标尺度数是通过重合的刻度线读取。证明:令
(k是正实数),A圆每格是
度,B圆每格是
度,当
时,
。
4. 新理论发现应用中的不足
文献 [3] 是已授权的实用新型专利,有两个是同心圆的圆盘,基盘圆周100等分,标有0~99刻度线,每一格圆心角称为1p;游盘圆周101等分,标有0~100刻度线,每格表示0.01p,基盘的读数是根据游盘零刻度线读取的,游盘读数是根据重合的刻度线读取的,游盘以圆心为轴能够在基盘上转动。如果根据
游标万能角度尺的原理可知游盘每格表示
,但是专利文中没有明确的应用游标原理给出准确值,
也没有说明游盘每格表示0.01p是近似值,只是说游盘一格与基盘一格相差约0.01p,也未明确说游盘每格表示0.01p就是根据此,由此可知创造人和审查员都认为游标万能角度尺的原理不一定恒成立,或此情况不适用游标万能角度尺的原理。如果游盘改为有连续相等的100格,且与基盘的99格相等,应用游标万能角度尺的原理可知游盘每格表示0.01p,在没有理论能说明专利是否正确的情况下,创造人和审查员都应该能想到用这个例子进行对比分析,分析的结果就是他们都认为游标万能角度尺的原理不一定恒成立。总之理论依据不足的游标原理,不同人有不同的观点,有人挑战游标原理都很正常,有争论才能让
真理越辩越明。应用推论(1)也可以说明游盘每格表示
是正确的,k = 101,c = 100,
,
,
。从读数也能说明游盘每格表示0.01p是有问题的,当游盘的零刻度线与基盘一刻度线对齐时,读数是1p,回转一点游盘使基盘的零刻度线与游盘的100刻度线对齐,此时读数也是1p,两处角度不同而读数相同,读数是2p,3p,……都有类似问题。
现在教材中步进电机的步距角计算公式是
,n是相数,z转子齿数,反应式步进电机一相控
制两个定子磁极 [4] [5]。如果应用此公式开发步距角
度的电机,则有nz = 3600,当n = 2,3,4,5,6,10,12,18,20,……时,实际验证步距角都大于0.1度。例如n = 6时,定子磁极数是12个,相邻磁极的圆心角是30度,z = 600,相邻转子齿之间的圆心角是0.6度,30度有50个0.6度,磁极与转子齿对齐时,要转动0.6度才能再一次使磁极和转子齿对齐,即实际步距角是0.6度。推论1)给出的步
距角计算公式是
,m是定子磁极数,z是转子齿数,
,相数
,一相控制d个磁极,且d个磁极等分圆周,这个公式有理论依据计算结果与实际是一致的。如果要求步距角是0.1度,且一相控制两个磁极,即
,由
可知
,当m = 16,
或m = 18,
或m = 50,
,只有这三种情况下
。验证:m = 16相邻磁极之间的圆心角是22.5度,
,转子相邻齿之间的圆心角是0.8度,29个齿有28个0.8度,圆心角是22.4度,实际验证步距角也是22.5 − 22.4 = 0.1度。当d是其它值时,同样的方法可以求出m与z的值。根据推论1)也可以把教材中的步距角计算公式增加一些约束条件,
或素数,当
时,从z中任意取一个因子乘以n就等于定子磁极数m,当gcd(n, z) = 素数时,这个素数在z中只能有一个,定子磁极数m = n乘素数。
5. 结论
游标原理应用超前,其理论滞后,从而存在不同观点,这里从理论上让大家统一认识,探讨新理论的应用,完善各种相关教材中的不足。新理论在学术上有一定的参考价值。