C6 Даны n различных натуральных чисел, составляющих арифметическую прогрессию (n ≥ 3).
А
:: Может ли сумма всех данных чисел быть равной 18?
Б
:: Каково наибольшее значение n, если сумма всех данных чисел меньше 800?
В :: Найдите все возможные значения n, если сумма всех данных чисел равна 111. 

РЕШЕНИЕ 

Без ограничения общности можно считать, что числа составляют возрастающую арифметическую прогрессию.
Обозначим
a - первый член этой прогрессии, а d - её разность.
Тогда сумма её членов равна:
S[n] = `*`(`*`(`+`(`*`(2, `*`(a)), `*`(d, `*`(`+`(n, `-`(1))))), `/`(1, 2)), `*`(n))
 

А :: Легко. Числа 5, 6, 7 составляют арифметическую прогрессию с суммой 18.
`+`(`+`(`≡`(18, 5), 6), 7)
 

Б ::  Для суммы членов арифметической прогресси верно неравенство:
 


n[1, 2] = `*`(`+`(`-`(1), `&+-`(sqrt(6401))), `/`(1, 2))
 

`*`(`+`(sqrt(6401), `-`(1)), `/`(1, 2))39.503 `<=`(n, 39) 

Сумма арифметической прогрессии 1, 2, ..., 39 равна 780 <800.
Т.е. наибольшее значение
n равно 39.
В :: Для суммы членов арифметической прогресси верно:

`and`(`*`(`+`(`*`(2, `*`(a)), `*`(d, `*`(`+`(n, `-`(1))))), `*`(n)) = 222, 222 = `+`(`*`(37, `*`(`*`(2, 3)))))
Таким образом, число n должно быть делителем числа 222.
Если
n ≥ 37, то  `implies`(`and`(`>=`(`*`(`+`(`*`(2, `*`(a)), `*`(d, `*`(`+`(n, `-`(1))))), `*`(n)), `*`(37, 36)), `>`(`*`(37, 36), 222)), `<`(n, 37))
Поскольку
n ≥ 3 , возможно только n = 3 или n = 6.
В1 n = 3 ⇒  
iff(`+`(a, d) = 37, d = `+`(37, `-`(a)))
Пример прогрессии из
трёх членов: `implies`(a = 36 implies d = 1, `+`(`+`(36, 37), `≡`(38, 111)))
В2 n = 6 ⇒  
iff(`+`(`*`(2, `*`(a)), `*`(5, `*`(d))) = 37, a = `*`(`+`(37, `-`(`*`(5, `*`(d)))), `/`(1, 2)))
Пример прогрессии из
шести членов:  

`+`(`+`(`+`(`+`(16, 17), 18), 19), 20, `≡`(21, 111)) 

ПРОВЕРКА 

ОТВЕТ 

А :: Легко. 5;6;7 Б :: 39 В :: 3;6 

Содержание критерия 

Баллы 

Верно получены все перечисленные (см.критерий на 1 балл) результаты 

4 

Верно получены три из перечисленных (см.критерий на 1 балл) результатов 

3 

Верно получены два из перечисленных (см.критерий на 1 балл) результатов 

2 

Верно получен один из следующих результатов:  

- обоснованное решение пункта А; 

- обоснованное решение пункта Б;  

- верно найдены обо значения n в пункет В;
- доказано существование ровно двух значений
n в пункет В 

1 

Решение не соответствует ни одному из критериев, перечисленных выше 

0 

Максимальный балл 

4