>> Можно и так, но нужно еще доказать, что a является целым числом. А это лишь усложняет решение. quoted2
>Разве нет правила, что если один из сомножителей делится на 3, то произведение делится на 3? В данном случае, 6а? quoted1
Есть такое правило, верно. Но в данном случае, задачка предполагает что результат деления будет целое число. Но там и доказывать, что a - есть целое число, это просто пару строк. (я только сделал примечание к вашему доказательству, чтобы соблюсти все условия)
(a + 1) / 3 = b, где b - целое число.
a = 3*b - 1; Множитель 3 - целое число, множимое - целое, вычитаемое - целое. Результат всех операций даст целое число, т.к. отсутствуют дробные числа, следует a - целое число.
>> Но в данном случае, задачка предполагает что результат деления будет целое число. quoted2
> > В условии этого не было, это дополнение от Вас, зачем усложнять, в данном случае? quoted1
Ну я склоняюсь к тому, что результат должен быть целым, без остатка. Хотя может и вправду я усложняю, но очевидного ответа тут не будет, не я составлял текст задания.
Думаю, самое "правильное" решение будет ответ от andx: (7a + 4) => 7(а+1) - 3 - множимое делится на 3 (из условия задачи) и вычитаемое делится на 3.