Где проходит граница между европой и азией?

Докажем это с метода математической индукции. Пусть чисел будет не 5, а n. 
База При n = 1 утверждение очевидно. Действительно, число 200 никак не может оканчиваться на 2009.
Переход Пусть утверждение уже доказано для n = k. Покажем, как тогда доказать его для n = k + 2, если k >= 1. По принципу Дирихле, так как кольцо вычетов по модулю 2 содержит всего 2 элемента, два из чисел дадут одинаковый остаток при делении на 2. Как известно, сумма этих чисел пренепременно окажется четной. Не менее широко известно, что разность двух четных чисел четна. Понятно, что утверждение можно с числа 200 обобщить до любого четного числа, ведь число 2009 нечетно, а четное число не может быть равно нечетному. Обобщим утверждение еще сильнее. Если сумма n чисел четна, то их произведение не может быть нечетно. В таком случае переход становится очевиден из того, что, как нетрудно убедиться, произведение четного и любого чисел четно.

Итак, утверждение верно для n = 1, значит оно верно для n = 3, откуда немедленно следует его справедливость для n = 5, а именно это и требовалось доказать. 

Докажем это с метода математической индукции. Пусть чисел будет не 5, а n. 
База При n = 1 утверждение очевидно. Действительно, число 200 никак не может оканчиваться на 2009.
Переход Пусть утверждение уже доказано для n = k. Покажем, как тогда доказать его для n = k + 2, если k >= 1. По принципу Дирихле, так как кольцо вычетов по модулю 2 содержит всего 2 элемента, два из чисел дадут одинаковый остаток при делении на 2. Как известно, сумма этих чисел пренепременно окажется четной. Не менее широко известно, что разность двух четных чисел четна. Понятно, что утверждение можно с числа 200 обобщить до любого четного числа, ведь число 2009 нечетно, а четное число не может быть равно нечетному. Обобщим утверждение еще сильнее. Если сумма n чисел четна, то их произведение не может быть нечетно. В таком случае переход становится очевиден из того, что, как нетрудно убедиться, произведение четного и любого чисел четно.

Итак, утверждение верно для n = 1, значит оно верно для n = 3, откуда немедленно следует его справедливость для n = 5, а именно это и требовалось доказать.