Ответ:
- Пусть на второй день алхимики сидят по возрастанию длины бороды, а длина бороды алхимика на месте \(i\) равна \(a_i\). Длина бороды звездочёта на этом месте обозначена \(z_i\). Тогда оба ряда упорядочены по возрастанию.
- Предположим, что на некотором месте \(i\) звездочёт не бородатее алхимика: \(z_i\le a_i\).
- Из-за порядка рассадки первые \(i\) звездочётов имеют бороды не длиннее \(z_i\), а значит, не длиннее \(a_i\). В первый день каждый из этих звездочётов сидел напротив отдельного алхимика, борода которого была строго короче бороды звездочёта. Значит, нашлись бы \(i\) алхимиков с бородами строго короче \(a_i\).
- Но среди алхимиков, расположенных по возрастанию, перед алхимиком на месте \(i\) может быть не больше \(i-1\) человек с бородой строго короче \(a_i\). Противоречие.
Ответ: во второй день напротив каждого алхимика сидит звездочёт с более длинной бородой.
