[bods]

Мой любимый софизм.
Возьмём два разных числа, такие что:

a < b

Тогда существует такое c > 0, что:

a + c = b

Умножим обе части на (a − b), имеем:

(a + c)*(a − b) = b*(a − b)

Раскрываем скобки, имеем:

a*a + c*a − a*b − c*b = b*a − b*b

c*b переносим вправо, имеем:

a*a + c*a − a*b = b*a − b*b + c*b
a*(a + c − b) = b*(a − b + c)

Сокращаем и получаем:

a = b

Ошибка в этом выражении вот где:

a + c = b

следовательно,

а + с - b = 0

Поэтому, выходит:

а * 0 = b * 0

Выражение, равное нулю, сокращается, а так - нельзя.