Если n и k натуральные числа и n+k=2n+4, то какие из следующих утверждений заведомо равны: n - четное число k - четное

1) То, что сумма (n + k) = 2 * n + 4 = 2 * (n + 2) не говорит о чётности n или к, как раз сумма нечётных n и к даёт в результате чётное чиcло, так как  2 * (n + 2) чётное.

2) Но с другой стороны, если n будет чётным, то чётным должно быть и к, так как сумма чёт + нечёт даёт нечет.

Так , что вывод: первые два утверждения верны, нельзя сделать.

3) Рассмотрим утверждение (к - n)- чётное число.

Из выражения (n + k) = 2 * n + 4, получим:

2 * n - n - к = -4; n - к = -4;  к - n = 4, чётное число.

Ответ: верно к - n чётное.