Получается, она должна пересекать

всевозможных областей

, где

и

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

, она должна содержать и точку на разделяющей их гиперплоскости — и не одну, а

разных. Покажите, почему, и дальше тоже должно быть видно.
-- Сб май 02, 2015 20:41:38 --Вы представляли низкие размерности? 1, 2, 3? Если нет, это обязательно надо сделать.
То есть каждая разделяющая гиперплоскость разделяет

пар указанных областей, с каждой такой частью гиперплоскости наша потенциальная гиперплоскость должна пересекаться, а значит, должна иметь более n точек пересечения, то есть совпадать. Значит, она должна совпадать с различными гиперплоскостями, противоречие?