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