弃七．十一与十三验算法  

Methods of Discarding Seven,Eleven and Thirteen

作　　者：杨金陵 侯双根[1] 

机构地区：[1]郑州工学院数力系,安阳大学

出　　处：《郑州大学学报（工学版）》1994年第4期112-114,共3页Journal of Zhengzhou University（Engineering Science）

摘　　要：本文用初等数论的有关性质，建立了弃十一、弃七与弃十三等三种四则运算验算法，它们比通常的弃九法具有一定的优点。）解：∴ｆ１（１３５８）＝５，ｆ１（２９９８）＝６，ｆ１（４０７１２８４）＝８。又∵５×６≡８（ｍｏｄｌｌ）即ｆ１（１３５８）×ｆ１（２９９８）≡ｆ１（４０７１２８４）（ｍｏｄｌ１）∴（）正确。注：上述两例也可用弃七，弃十三法进行验算。４结束语本文所讨论的三种验算法是平行的，其中以弃十一法为最方便。值得说明的是弃十一位比常用的弃九法还只有以下优点。第一，应用法则ｆ１（）得到的最初数值一定比用弃九法得到的最初数值小得多；第二，弃九法对与算式正确答案的数字相同而顺序相异的错误均验证不出来。对运算结果是两位数的算式，凡弃九法验证不出的错误，应用法则ｆ１（）一定能查出错误来，对运算结果是两位数以上的算式，弃九法有时验证不出的错误，应用法则Ｖ）可很快发现。如３２５４×ｌ７８＝５７２９１２？（正确的结果是５７９２１２），用弃九法验证查不出此错误，而用弃十一法验证立即知道该例运算结果是错误的。By using some properties of elementary number theory,this paper builds three kinds of new methods on the checking of the results of four arithmetic operations.

关 键 词：弃十一法 弃七法 弃十三法 弃九法 等式 

分 类 号：O24[理学—计算数学]