合同式 - niming538の日記

<定義>
2つの整数 $a ,b$ が $n$ を法として合同である、とは、 $a$ を $n$ で割った余りと $b$ を $n$ で割った余りが等しいことをいう、このとき、

$a \equiv b \ (\text{mod} \ 9)$

<CENTER>
<img src="http://www.forkosh.com/mathtex.cgi? a \equiv b \ (\text{mod} \ 9)">
</CENTER>

と書く。また、このような式を合同式とよぶ。

ちなみに否定 not も使えます。

$9 \not \equiv 2 \ (\text{mod} \ 9)$

<CENTER>
<img src="http://www.forkosh.com/mathtex.cgi? 9 \not \equiv 2 \ (\text{mod} \ 9)">
</CENTER>