Но мне вот еще что интересно: очевидно ли, что выстраивая такие вот вложенные квадратики, можно доказать наличие треугольника на 4, 5 и т.д. -цветной плоскости? И если очевидно, то достаточно ли этого, чтобы утверждать наличие прям. равнобедр. треугольник на n-цветной плоскости?
По моему мнению - да, вполне. Опять же - посмотрите на лемму, которую я предложил. Если доказать, что на n-цветной диагонали всегда можно найти серию из 2^(n-1) одноцветных точек, разделенных одинаковыми промежутки - теорема о многоцветных равнобедренных треугольниках будет доказана еще проще и быстрее. Точнее, механизм доказательства - ваш, я только немного модифицировал. И вроде как вполне доказывается, надо только подумать.
И с квадратами в 3-цветовом пространстве, вроде как, все хорошо. Правда, для количества цветов, большего 3 - неочевидно, можно ли найти индуктивный переход.