Доказательство - это не просто объяснение, как найти хорошее решение. Из него должно быть абсолютно точно ясно, что лучшего решения(с ещё меньшим количеством закрашенных клеточек) быть не может. И если мы рассматриваем построение хорошего варианта, исходя из любых самых лучших рассуждений, то обязательно необходимо показать, почему какой-то иной вариант не может оказаться лучше.
Вообще же, часто доказательства бывают такими, что из них может быть вообще не ясно, как построить хороший вариант, зато точно ясно именно то, что требуется - в нашем случае - что меньше такого-то количества закрашенных клеточек(как в уже найденном нами варианте) быть не может.
Рисунок исключительно для наглядности расположения точек.
Обозначим квадраты 3х3 буквами слева направо, каждый ряд, и посмотрим, какие точки будут входить в каждый из них.
Это даст наглядное представление о том, в каких точках пересекаются квадраты 3х3 и, как выбрать оптимальный вариант закраски.
А B C
E O F
K L M
Первый ряд:
А - (1, 2, 3, 6, 7, 8, 11, 12, 13)
B - (2, 3, 4, 7, 8, 9, 12, 13, 14)
C - (3, 4, 5, 8, 9, 10, 13, 14, 15)
Средний ряд:
E - (6, 7, 8, 11, 12, 13, 16, 17,18)
O - (7, 8, 9, 12, 13, 14, 17,18, 19)
F - (8, 9, 10, 13, 14, 15,18, 19, 20)
Третий ряд:
K - (11, 12, 13, 16, 17,18, 21, 22, 23)
L - (12, 13, 14, 17,18, 19, 22, 23, 24)
M - (13, 14, 15,18, 19, 20, 23, 24, 25)
Все квадраты объединяет точка 13.
Точка 12 объединяет все квадраты первого столбца и все квадраты среднего столбца, между собой.
Симметричная ей точка - 14 объединяет все квадраты третьего столбца со средними.
Точка 8 объединяет все квадраты первого и среднего рядов.
Точка 18 ей симметрична. Чтобы не быть пятой точкой для центрального квадрата O, выбираем другую точку, общую для нижнего ряда - это точка 23.
Итак, из таблицы видно, что в центральном квадрате 3х3 (О), в квадратах B и L уже есть закрашенные четыре точки, а в остальных уже есть по три закрашенные точки.
Теперь надо искать точки вне центрального квадрата. Т.е. точки 7, 9, 17, 19 не рассматриваем.
Предположим, выберем точку 10, она даёт возможность закрасить по четвёртой точке только в двух квадратах F и C.
Тогда для М надо выбирать точку 25. И всё так же симметрично для точек 6 и 21. Но это даёт 9 точек закраски.
И так можно рассмотреть любую ещё незакрашенную точку вне центрального квдрата О.
Из таблицы хорошо видно, что оптимальными недостающими точками будут: 11 для квадратов A, E, К и 15 для C, F, M.
Первый ряд:
А - (1, 2, 3, 6,7, 8, 11, 12, 13)
B - (2, 3, 4,7, 8, 9, 12, 13, 14)
C - (3, 4, 5, 8,9, 10, 13, 14, 15)
Средний ряд:
E - (6,7, 8, 11, 12, 13, 16, 17, 18)
O - (7, 8, 9, 12, 13, 14, 17, 18, 19)
F - (8,9, 10, 13, 14, 15, 18, 19, 20)
Третий ряд:
K - (11, 12, 13, 16,17, 18, 21, 22, 23)
L - (12, 13, 14,17, 18, 19, 22, 23, 24)
M - (13, 14, 15,18, 19, 20, 23, 24, 25)
Мне кажется, что такой табличный метод, как нельзя лучше показывает абсолютно точно, что меньше закрашенных точек быть не может.
И что очень даже ясно, как построить наилучший вариант.
Иначе, докажи мне обратное::D:
Обозначим квадраты 3х3 буквами слева направо, каждый ряд, и посмотрим, какие точки будут входить в каждый из них.
Это даст наглядное представление о том, в каких точках пересекаются квадраты 3х3 и, как выбрать оптимальный вариант закраски.
А B C
E O F
K L M
Первый ряд:
А - (1, 2, 3, 6, 7, 8, 11, 12, 13)
B - (2, 3, 4, 7, 8, 9, 12, 13, 14)
C - (3, 4, 5, 8, 9, 10, 13, 14, 15)
Средний ряд:
E - (6, 7, 8, 11, 12, 13, 16, 17,
O - (7, 8, 9, 12, 13, 14, 17,
F - (8, 9, 10, 13, 14, 15,
Третий ряд:
K - (11, 12, 13, 16, 17,
L - (12, 13, 14, 17,
M - (13, 14, 15,
Все квадраты объединяет точка 13.
Точка 12 объединяет все квадраты первого столбца и все квадраты среднего столбца, между собой.
Симметричная ей точка - 14 объединяет все квадраты третьего столбца со средними.
Точка 8 объединяет все квадраты первого и среднего рядов.
Точка 18 ей симметрична. Чтобы не быть пятой точкой для центрального квадрата O, выбираем другую точку, общую для нижнего ряда - это точка 23.
Итак, из таблицы видно, что в центральном квадрате 3х3 (О), в квадратах B и L уже есть закрашенные четыре точки, а в остальных уже есть по три закрашенные точки.
Теперь надо искать точки вне центрального квадрата. Т.е. точки 7, 9, 17, 19 не рассматриваем.
Предположим, выберем точку 10, она даёт возможность закрасить по четвёртой точке только в двух квадратах F и C.
Тогда для М надо выбирать точку 25. И всё так же симметрично для точек 6 и 21. Но это даёт 9 точек закраски.
И так можно рассмотреть любую ещё незакрашенную точку вне центрального квдрата О.
Из таблицы хорошо видно, что оптимальными недостающими точками будут: 11 для квадратов A, E, К и 15 для C, F, M.
Первый ряд:
А - (1, 2, 3, 6,
B - (2, 3, 4,
C - (3, 4, 5, 8,
Средний ряд:
E - (6,
O - (
F - (8,
Третий ряд:
K - (11, 12, 13, 16,
L - (12, 13, 14,
M - (13, 14, 15,
Мне кажется, что такой табличный метод, как нельзя лучше показывает абсолютно точно, что меньше закрашенных точек быть не может.
И что очень даже ясно, как построить наилучший вариант.
Иначе, докажи мне обратное::D:





