透过数学台历看数学(2018.4.9) - 九引理

   关注遇见数学, 遇见更精彩的自己

2014 年韩国首尔举行国际数学家大会ICM(http://www.icm2014.org/)中，组委会曾制作了一套数学主题的台历，里面使用数学内容与日历的每一天都相映成趣. [遇见数学] 会按今年日期每天发布这个旧台历上相应的内容。

 — 2018.4.8 —

在数学中，九引理是一个对任意阿贝尔范畴（例如阿贝尔群范畴与模范畴）均成立的抽象结果，此引理断言：给定如上的交换图。若每一直行及下两横列正合，则最上一个横列也正合；类此，若每一直行及上两横列正合，则最下一个横列也正合。

小编这里再补充一个：

在十进制里当且仅当一个数的各位数字之和是9的倍数，该数一定是9的倍数。

例如： 

2916=9×324　　

2+9+1+6=18=9×2

参考资料: 维基百科