嗨，你的问题问得特别到位，刚好戳中了弃九法（也就是数字和对应模9余数的性质）的适用边界——它本来就是为整数设计的，直接硬套到分数上肯定会出现矛盾，咱们一步步把这点理清楚：

先解决你第一个关于520/7的矛盾 #

首先得明确：弃九法的核心逻辑只适用于整数的运算。对于整数来说，一个数和它的数字和在模9下是相等的，比如整数c=520，它的数字和是5+2+0=7，所以520 ≡7 mod9；整数7的数字和就是7，所以7≡7 mod9。

你之前的推导里，520 = a×7，这里a=520/7是个分数，这时候不能直接把“数字和”的概念套到a上——因为a是无限循环小数74.2857142857...，它根本没有一个固定的“数字和”：你多写几位小数，数字和就会变，无限延伸下去的话数字和会无限增大，自然不存在一个确定的数字和来满足你之前的等式。

那你推导里的“a的数字和应该是1”错在哪？其实你是把整数的性质硬挪到了分数上。正确的逻辑应该是：从520 ≡7 mod9和520=7a，可以推出7a ≡7 mod9。因为7和9互质，两边可以同时“除以”7（在模运算里叫乘7的逆元），得到a ≡1 mod9。这里的a≡1 mod9不是说a的数字和是1，而是说这个分数作为一个整体，在模9的意义下等价于1，怎么验证呢？

• 520/7=74 + 2/7，整数部分74的数字和是7+4=11，11≡2 mod9；
• 对于分数部分2/7，我们可以找一个数k使得7k≡2 mod9，解这个方程：7×4=28≡1 mod9，所以7的逆元是4，那么k=2×4=8，也就是2/7≡8 mod9；
• 把两部分加起来：2+8=10≡1 mod9，刚好符合a≡1 mod9的结论。

所以这个结论是对的，但和“数字和”无关，因为无限循环小数没有固定数字和。

再聊数字和与除以9的余数的适用范围 #

你说的没错！数字和等于除以9的余数（严格来说是数字和与原数模9同余）这个性质，只适用于整数。

举你提到的18.225为例：整数除法里的余数是指“整数商之外剩下的整数，且小于除数”，但小数除法里的“余数”和这个不是一回事——你说的0.225是商的小数部分，不是整数除法意义上的余数。如果硬要把模9的概念扩展到小数，得用有理数的模运算规则：

• 18.225=18+0.225，18是9的倍数，所以18≡0 mod9；
• 0.225=9/40，因为9和9不互质，约分后可以看成9×40^{-1} mod9，而9≡0 mod9，所以9/40≡0 mod9；
• 最终18.225≡0+0=0 mod9，刚好和它的数字和1+8+2+2+5=18≡0 mod9一致，但这只是巧合——如果是0.3=1/3这种分母含3（9的因数）的小数，它是无限循环小数0.333...，数字和会无限增大，根本没法用数字和来对应模9的结果。

最后总结一下 #

弃九法（数字和对应模9余数的性质）核心只适用于整数的加减乘运算，不能直接套到分数（尤其是无限循环小数）上——因为分数要么没有固定的数字和，要么数字和的变化不符合整数的模9规律。如果要判断有理数在模9下的结果，得用模运算的规则（比如找分母的逆元），而不是靠数字和来验证。

备注：内容来源于stack exchange，提问作者Shyam