Teorema 8.1.13.

Misalkan \(C\) suatu kode dengan \(d_{\min} = 2n + 1\text{.}\) Maka \(C\) dapat mengoreksi sebarang \(n\) kesalahan atau kurang. Selanjutnya, sebarang \(2n\) kesalahan atau kurang dapat dideteksi dalam \(C\text{.}\)

Bukti.

Andaikan kata kode \({\mathbf x}\) dikirimkan dan kata \({\mathbf y}\) diterima dengan paling banyak \(n\) kesalahan. Maka \(d( {\mathbf x}, {\mathbf y}) \leq n\text{.}\) Jika \({\mathbf z}\) adalah sebarang kata kode selain \({\mathbf x}\text{,}\) maka
\begin{equation*} 2n+1 \leq d( {\mathbf x}, {\mathbf z}) \leq d( {\mathbf x}, {\mathbf y}) + d( {\mathbf y}, {\mathbf z}) \leq n + d( {\mathbf y}, {\mathbf z})\text{.} \end{equation*}
Dengan demikian, \(d({\mathbf y}, {\mathbf z} ) \geq n+1\) dan \({\mathbf y}\) akan didekode dengan benar sebagai \({\mathbf x}\text{.}\) Sekarang andaikan \({\mathbf x}\) ditransmisikan dan \({\mathbf y}\) diterima serta sedikitnya satu kesalahan telah terjadi, tetapi tidak lebih dari \(2n\) kesalahan. Maka \(1 \leq d( {\mathbf x}, {\mathbf y} ) \leq 2n\text{.}\) Karena jarak minimum antara kata kode adalah \(2n +1\text{,}\) \({\mathbf y}\) tidak mungkin merupakan kata kode. Akibatnya, kode tersebut dapat mendeteksi antara \(1\) dan \(2n\) kesalahan.
Dalam Konteks