Не, а чем мой-то метод не нравится?
Только тем, что в данном разделе это оффтопик. А так -- отличное решение! Я бы с удовольствием предложил усиленную версию загадки про тег (которую я с самого начала задумал), но... Сами понимаете... Лучше уж поговорим о ноликах. Тем более, что тут мне тоже есть, что предложить. Итак...
[joking]
Краем уха я слыхал, что... Впрочем, на всякий случай напомню, что
краем уха называется множество точек уха, не имеющих окрестностей, гомеоморфных (или диффеоморфных -- в зависимости от гладкости ушей) открытому шару (или кубу или симплексу -- смотря откуда уши растут). Так вот, этим краем я слыхал, что в математике можно строго доказать следующую теорему.
Теорема. Для любых
из равенства
следует, что соотношения
и
равносильны.Докажем теперь, что

.
Приступая к доказательству методом от противного, допустим, что

. Тогда

, а значит,

. Полагая

,

и применяя сформулированную выше теорему, заключаем, что для любых

и

соотношения

и

равносильны. Тем не менее, последнее утверждение, очевидно, нарушается, например, для

и

. Полученное противоречие завершает доказательство.
[/joking]