Точно? Во-первых, мне кажется, вы перепутали направленность термина "кратно", а во-вторых, вот контрпримеры в обе стороны:
(
делит
, но
не делит
)
(
не делит
, но
делит
)
Идём от противного - пусть такая разметка существует.
Сначала заметим, что на противоположных гранях написаны числа разной чётности, так как у нас есть 3 чётных и 3 нечётных числа, и, если есть пара чисел одной чётности на противоположных гранях, то обязательно есть пара чётных чисел на противоположных гранях, но тогда сумма четырёх их соседей нечётна и не может на них делиться.
Также заметим, что хотя бы одно число делится на четыре. Его соседи складываются в
, которое должно делиться на 4, то есть
должно делиться на четыре и, соответственно, быть равным 12 или 16. Имеем четыре варианта:
1) На противоположных гранях
, кто-то из этих двух делится на 4, остальные - их соседи.
2) На противоположных гранях
, кто-то из этих двух делится на 4, остальные - их соседи.
3) На противоположных гранях
, кто-то из этих двух делится на 4, остальные - их соседи.
4) На противоположных гранях
, кто-то из этих двух делится на 4, остальные - их соседи.
Случаи 1) и 2) легко отбрасываются с учётом того, что противоположные числа взаимно просты, а значит сумма четырёх соседей должна делиться на их произведение, которое либо всегда больше суммы, либо растёт намного быстрее, что позволяет перебрать
.
В случае 3) имеем сумму соседей
, и оно делится на
, значит
делит
и
(видимо, ноль тут следует включать в натуральные?). C учётом замечания про чётность-нечётность тут нетрудно перебрать все (две для каждого
) различные разметки и убедиться, что решений нет.
В случае 4) имеем сумму соседей
, и она делится на
, значит
делит 12 и
, тоже перебираем и убеждаемся, что решений нет.
Длинновато вышло