Если n и k − натуральные числа и n + k = 2n + 4, то какие из следующих утверждений заведомо верны:
n − четное число;
k − четное число;
k − n − четное число?
2n + 4 = 2(n + 2) − четное число, значит:
n + k − четное число, следовательно n и k либо оба четные, либо оба нечетные.
Тогда:
n − четное число − заведомо неверно;
k − четное число − заведомо неверно;
k − n − четное число − заведомо верно.
Ответ: заведомо верно третье утверждение.