мимоходом, математическое

[avva]

Доказать, что любая норма, соблюдающая тождество параллелограмма, порождена скалярным произведением, оказалось не так легко, как я думал. То есть это утверждение маскируется под совершенно очевидное, но потом оказывается, что надо немного поработать.

Интересно, какие есть интересные примеры обратного: когда утверждение кажется глубоким и нетривиальным, а потом неожиданно поддается практически тривиальному доказательству.

Comments

[etre-moral.livejournal.com]

Какое док-во Вы имеете в виду, вывод из неравенства Ямамото (и ещё двух авторов, фамилии которых я забыл)?

[flaass.livejournal.com]

Я тоже забыл; LYM-inequality.
Именно это доказательство совсем пальцевое:
"Тривиально сосчитать, сколько макс. цепей проходит через каждый элемент. Минимум этой

[flaass.livejournal.com]

функции достигается в середке; тоже тривиально. Отсюда сразу оценка Шпернера.

[etre-moral.livejournal.com]

Да, конечно.

Благодаря Вашей аббревиатуре я вспомнил: Любель-Мешалкин-Ямамото :-)