в корзине лежат 40 грибов

Ответ от Поликарп Аристотелев[гуру]
так как среди любых 17 грибов имеется хотя бы один рыжик, то груздей в корзине меньше или равно 16. Если бы их было 17 или больше, то мы могли бы взять эти 17 грибов и там не было бы ни одного рыжика. А когда груздей меньше или равно 16, то взяв любые 17 грибов мы имеем среди них один рыжик гарантированно. Аналогично, так как среди любых 25 грибов есть хотя бы один груздь, то рыжиков меньше или равно 24. Всего грибов 40. Максимум рыжиков 24, а груздей 16. 24+16=40 Если их будет не максимум то в сумме 40 не получится. Ответ рыжиков 24.