视频字幕
同余关系是数论中的基本概念。当两个整数除以同一个正整数时，如果它们的余数相同，我们就说这两个数关于这个除数同余。比如在模3的情况下，0、3、6、9都有相同的余数0，所以它们互相同余。
同余关系的正式定义是：对于整数a、b和正整数n，a与b关于模n同余，当且仅当n整除a减b的差。换句话说，a减b必须是n的倍数。让我们看几个例子：17与5关于模12同余，因为17减5等于12，是12的倍数。23与8关于模5同余，因为23减8等于15，是5的3倍。负数也适用，负7与3关于模10同余，因为负7减3等于负10，是10的负1倍。
同余关系具有等价关系的三个重要性质。首先是自反性，任何数都与自己同余，因为a减a等于0，而0是任何数的倍数。其次是对称性，如果a与b同余，那么b也与a同余，因为如果n整除a减b，那么n也整除b减a。最后是传递性，如果a与b同余，b与c同余，那么a与c也同余，这是因为如果n同时整除a减b和b减c，那么n也必然整除a减c。
同余关系的一个重要特性是它保持基本的算术运算。如果两对数分别同余，那么它们的和也同余，积也同余。例如，7与2关于模5同余，9与4关于模5同余，那么7加9就与2加4关于模5同余，即16与6同余，都等于1模5。同样地，7乘9与2乘4关于模5同余，即63与8同余，都等于3模5。这个性质使得模运算在计算中非常有用。
同余关系在现实生活中有着广泛的应用。在时钟算术中，我们用模24运算来计算时间，比如15点加10小时等于25点，而25模24等于1，所以结果是次日凌晨1点。在计算机科学中，同余关系被用于设计哈希函数、生成校验码，比如ISBN书号的校验位就是通过模11运算得到的。在密码学中，著名的RSA加密算法就基于模运算，通过大数的模幂运算来实现安全的信息传输。同余关系的这些应用展现了抽象数学概念在实际问题中的强大威力。