Step by step ... Informazioni sulle gare, come allenarsi, chi corrompere.
Даны действительные числа `a_1 < a_2 < a_3 < ... < a_M`. Назовем `{a_1, a_2, ..., a_M}` слабой арифметической прогрессией длины `M` если существуют действительные числа `x_0, x_1, x_2,..., x_M` и `d` для которых `x_0 <= a_1 < x_1 <= a_2 < x_2 <= a_3 < x_3 <= ... <= a_M < x_M` и для `i = 0, 1, 2,..., M - 1`, `x_{i+i} - x_i = d`, т.е. `{x_0, x_1,x_2,..., x_M}` является арифметической прогрессией. (a) Докажите, что если `a_1 < a_2 < a_3`, то `{a_1, a_2, a_3}` является слабой арифметической прогрессией длины `3`. (b) Пусть `A` является подмножеством `{0, 1, 2, 3,..., 999}` и содержит по крайней мере `730` элементов. Докажите, что `A` содержит слабую арифметическую прогрессию длины `10`. |  |