Изменения
Нет описания правки
II. Рассмотрим два варианта, когда <tex>x = y</tex> (1) и <tex>x \ne y</tex> (2):
#Пусть <tex>x = y</tex>, тогда <tex>d = 0</tex> (по свойству №1), так как <tex>d(x,z)</tex> и <tex>d(z,y)</tex> не могут быть меньше нуля, значит их сумма также неотрицательна <tex>(0 \le d(x,z) + d(z,y))</tex>, следовательно, неравенство <tex>~d(x,y) \le d(x,z) + d(z,y)</tex> выполняется.
#Пусть слова <tex>x</tex> и <tex>\ne y</tex> отличаются в некоторой позиции <tex>t</tex>, т.е <tex>d(x,y) = 1</tex>. Тогда какое бы слово <tex>z</tex> мы ни взяли, оно в этой какой-то конкретной позиции будет отличаться хотя бы от одного из (в которой было расхождение у слов <tex>x</tex> и <tex>y</tex> <tex>( 1 \le d(x,z) + d(z,y)</tex>оно будет отличаться хотя бы от одного из них. Перебрав все такие позиции получим то, когда <tex>z</tex> равно одному из слов что количество различий между словами <tex>x</tex> или и <tex>y</tex>; не превосходит общее количество различий между словами <tex>2 \le d(x,z) + d(z,y)</tex>, когда и <tex>z</tex> не равно ни одному из слов и словами <tex>xz</tex> и <tex>y)</tex>. СледовательноА это означает, что неравенство <tex>~d(x,y) \le d(x,z) + d(z,y)</tex> выполняется.}}
