数学三个横线是什么符号

数学中的三个横线符号"≡"表示同余关系，这个符号在数论中很常见。当两个数除以同一个整数得到相同余数时，就说这两个数同余。比如15除以7余1，22除以7也余1，所以15≡22(mod 7)。这个符号也用于表示恒等式，表明两个表达式在所有情况下都相等，如三角恒等式sin²θ + cos²θ ≡ 1。

三个横线还用于表示定义或定义相等，在数学证明中常见。当数学家说"A≡B"时，表示B是A的定义或A被定义为等于B。这个符号在群论中表示同构关系，两个群结构相同但元素可能不同。在逻辑学中，它表示逻辑等价，两个命题在真值上完全相同。