👍 +1 👎 |
Задачи заочных этапов олимпиад 2013-2014.Предлагается обсуждать в этой теме задачи, которые представляли достаточную сложность и не были разобраны на просторах интернета или были разобраны достаточно плохо (громоздкое, непонятное или слишком сложное решение).
Приветствуется и публикация неясных задач, и обсуждение уже помещенных.
олимпиады по математике математика обучение
Вуль Владислав Аркадьевич
|
👍 0 👎 |
ПВГ, 2 тур, задача №10.
Для функции [m]f(x)=2013+\sin{2\pi x}-8x^3-12x^2-18x-a[/m] найдите количество целых значений [m]a[/m], при каждом из которых уравнение [m]f(f(...f(x)...))=2x+1[/m] (функцию [m]f[/m] взяли [m]2013[/m] раз) на отрезке [m][49,50][/m] имеет единственное решение. В интернете лежит решение этой задачи, но оно содержит достаточно сложный переход, который имеет смысл разобрать подробнее. |
👍 +1 👎 |
Предлагаю следующее решение:
I. Преобразуем функцию: [m]f(x)=\sin 2\pi x — (2x+1)^3 — 12x + (2014-a)[/m] Функция непрерывная и монотонно убывающая (производная отрицательная, не превосходит [m]-12 + 2\pi[/m]). Тогда теми же свойствами обладает функция в левой части уравнения как композиция нечётного числа непрерывных убывающих функций. В правой части функция непрерывная возрастающая, поэтому решение единственно, и осталось выяснить, когда оно лежит на заданном отрезке. Правая часть возрастает от 99 до 101, поэтому условие существования и единственности решения на [49,50] таково: левая часть при x=49 не меньше 99, а при x=50 не больше 101. |
👍 +1 👎 |
II. Задача свелась к исследованию значений левой части уравнения при целых значениях аргумента. В этом случае [m]f(n)=-(2n+1)^3-12n+(2014-a)[/m] ([m]n[/m] — целое), значение функции такще целое, поскольку [m]a[/m] — целое.
В дальнейшем понадобится также выражение для разности значений функции [m]f[/m] в целых точках: [m]f(n)-f(m)=(2m+1)^3-(2n+1)^3+12m-12n=-2(n-m)((2m+1)^2+(2m+1)(2n+1)+(2n+1)^2+6)[/m] В частности, [m]f(49)-f(50)=2(101^2+101\cdot 99+99^2+6)=60014[/m] |
👍 +1 👎 |
III. Пусть [m]x_{k+1} = f(x{k})[/m], значение [m]x_0[/m] при необходимости будет указываться в скобках. Тогда условие существования и единственности решения (необходимое и достаточное) имеет вид [m]x_{2013}(49) \ge 99[/m], [m]x_{2013}(50) \le 101[/m]
|
👍 +1 👎 |
(строго) возрастает, а [m]x_{2k}[/m] убывает;
если [m]x_1<x_0[/m] убывает, а [m]x_{2k}[/m] возрастает; если [m]x_1=x_0[/m], то [m]x_{k}[/m] — постоянная последовательность. Для доказательства этого утверждения рассмотрим разность [m]x_{k+2} -x_{k} = x_{k+2} -x_{k+1} + x_{k+1} -x_{k} = f(x_{k+1}) -f(x_{k}) + x_{k+1} -x_{k} = -2(x_{k+1} -x_{k})( (2x_{k+1}+1)^2 + (2x_{k+1}+1)(2x_{k}+1)+ (2x_{k}+1)^2+6) + (x_{k+1} -x_{k}) = -(x_{k+1} -x_{k})( 2(2x_{k+1}+1)^2 + 2(2x_{k+1}+1)(2x_{k}+1)+ 2(2x_{k}+1)^2+11)[/m] Поскольку второй сомножитель положителен (11+ удвоенный неполный квадрат суммы), знак [m]x_{k+2} -x_{k}[/m] противоположен знаку [m]x_{k+1} -x_{k}[/m]. Отсюда и следует указанный выше характер поведения последовательности (по индукции). |
👍 +1 👎 |
V. Для выполнения условия [m]x_{2013}(49) \ge 99[/m] необходимо и достаточно, чтобы выполнялось неравенство [m]f(49)>49[/m]. Действительно, в этом случае [m]x_1>49=x_0[/m], подпоследовательность с нечётными индексами строго возрастает, и требуемое неравенство выполняется с большим запасом. С другой стороны, если [m]x_1=f(49)\le 49=x_0[/m], то эта подпоследовательность невозрастающая, и условие нарушается.
Аналогично для выполнения условия [m]x_{2013}(50) \le 101[/m] необходимо и достаточно выполнения неравенства [m]x_1(50)=f(50)\le 50=x_0[/m]: в этом случае подпоследовательность с нечётными номерами будет невозрастающей. |
👍 +1 👎 |
VI. Таким образом, условие существования единственного решения уравнения на отрезке свелось к двум неравенствам: [m]f(49)>49[/m] и [m]f(50)=f(49)-60014 \ge 50[/m], или [m]0 < f(49)-49 \ge 60014+50-49=60015[/m]. Поскольку любое целое значение из указанного промежутка может быть получено при надлежащем выборе параметра [m]a[/m], таких значений оказывается 60015.
|
👍 +1 👎 |
убывающая и непрерывная.
Пусть [m]f(x)=kx+b[/m], тогда [m]f(f(x))=f(kx+b)=k(kx+b)+b=k^2x+kb+b;[/m] [m]f(f(f(x)))=f(kx^2+kb+b)=k(k^2x+kb+b)+b=k^3x+k^2b+kb+b;[/m] [m]...[/m] [m]g(x)=k^{2013}x+k^{2012}b+k^{2011}b+...+kb+b.[/m] [m]g(x)=k^{2013}x+b\frac{k^{2013}-1}{k-1}.[/m] Так как [m]g(x)=2x+1[/m], то [m]k^{2013}=2,~k=\sqrt[2013]{2};[/m] [m]b\frac{k^{2013}-1}{k-1}=1,~b=\sqrt[2013]{2}-1.[/m] Уравнения: [m]g(x)=2x+1[/m] и [m]f(x)=\sqrt[2013]{2}x+\sqrt[2013]{2}-1,[/m] имеют единственные корни, что следует из убывания и возрастания левой и правой частей соответственно. И эти корни совпадают. Таким образом, достаточно, чтобы одновременно были выполнены условия [m]f(49)\geq 49\cdot\sqrt[2013]{2}+\sqrt[2013]{2}-1;[/m] [m]f(50)\leq 50\cdot\sqrt[2013]{2}+\sqrt[2013]{2}-1.[/m] Несложно вычислить, что это получается при [m]60015[/m] целых значениях [m]a[/m]. |
👍 +2 👎 |
Да, затейливо. Не для простых умов. Надо осознать.
Я, признаться, застрял на первой строчке после "тогда", на втором знаке равенства. [m]f(x)=kx+ b[/m] — это же не тождество, а уравнение, справедливое для какого-то одного значения аргумента [m]x[/m]. А утверждается (подразумевается, предполагается), что оно справедливо и для [m]x' = f(x) = kx+ b[/m], потому что получается, что [m]f(f(x))=kf(x) + b[/m] Но тогда в силу единственности решения [m]x = f(x)[/m], что неверно. Где я неправ? |
👍 0 👎 |
Мда...
Согласен. Похоже, что решение содержит дыру. Но есть подозрение, что она устранима. Сходу не вижу... |
👍 +2 👎 |
Сильно удивлюсь, если удастся исправить решение: оно основано на ошибочной гипотезе, что из [m]f(x)=\phi(x)[/m] следует [m]f(f(x))=\phi(\phi(x))[/m] (в данном случае для линейной функции [m]\phi[/m])
Контрпример ([m]f:=\cos[/m], [m]k:=\frac{3}{2\pi}[/m], [m]b:=0[/m]): значение [m]x=\pi/3[/m] является корнем уравнения [m]\cos (x) = \frac \frac{3}{2\pi} x[/m] и не является корнем уравнения [m]\cos(\cos (x)) = \frac \frac{3}{2\pi} \left( \frac \frac{3}{2\pi} x \right)[/m] |
👍 0 👎 |
Пардон, технический сбой. Напишем по-другому: ... является корнем уравнения [m]\cos x = (3/2\pi) x[/m] и не является корнем уравнения [m]\cos \cos x = (3/2\pi)^2 x[/m]
|
👍 +2 👎 |
Сперва удивлялся совпадению ответов, а потом перестал: 60015 — это число целых точек на отрезке [ f(49), f(50) ]. Ничего странного, что оно в задаче появляется и при правильном, и при неправильном решении.
|
👍 +1 👎 |
Да, по этой причине и совпадает.
По ней же вычисление ответа не вызывает проблем. По поводу допущенной ошибки Вы абсолютно правы. Спасибо, что помогли разобраться! |
👍 0 👎 |
Не за что! Всегда рад!
|
👍 +1 👎 |
Несложно вычислить, что это получается при [60015] целых значениях [a] .
Даже в меру строгий проверяющий придрался бы к "несложно вычислить" и потребовал явного вычисления. И был бы прав, причем не только формально. |
👍 0 👎 |
Ну это же не решение, а идея решения. Так что какие-то детали могут опускаться, всё законно.
|
👍 +1 👎 |
Если опущенная деталь слишком трудоемка — идея плохая.
Примерно как идея найти 6 знаков числа пи, сложив пол-миллиона членов ряда 4 -4/3+4/5-4/7+..... |
👍 0 👎 |
Данная деталь не трудоемка. Проблема, как выяснилось, в другом.
|
👍 0 👎 |
Может быть — я не проверял. Хотите — проверьте, имея ввиду 16-17.
Вполне может оказаться, что оценка 60.000 — 60.100 получится, а за точный результат придется поработать дополнительно. |
👍 0 👎 |
[m]1<\sqrt[2013]{2}<1+\frac{1}{2013}[/m] ("Подумаешь, бином Ньютона!")
|
👍 0 👎 |
1. Хватит ли этой грубой оценки — большой вопрос.
2. Даже если хватит — уже полезли 4-х значные знаменатели, так что считать их-не пересчитать. 3. Для школьника оценка через бином может быть совсем неочевидна. |
👍 0 👎 |
1-2. Поскольку слева числа целые, то хватит: неравенства принимают вид [m]f(49)>49[\m], [m]f(50)\le 50[\m]. Фактически здесь достаточно ещё более грубой оценки: [m]51(\sqrt[2013]{2}-1)<1[/m]
3. Да, согласен. Но это в данном случае несущественно, поскольку всё решение неверно. |
👍 0 👎 |
Ну что ж такое сегодня с формулами? Повторяю: неравенства принимают вид f(49)<49, f(50)>=50. И для этого достаточно куда более грубой оценки 51*(2^(1/2013)-1)<1
|
👍 0 👎 |
1-2 — возможно, не проверял и даже не думал на эту тему.
А про верность/неверность решения в целом я ничего не говорил, более того, я даже решение не читал — только крайнюю фразу про "несложно вычислить", и рассказал, какая аллергия бывает на такие фразы у проверяющих |
👍 0 👎 |
Ну а вот так: [m]a-1=(a^n-1)/(1+a+a^2+...+a^{n-1})[/m], откуда [m]\sqrt[n]{2}-1<1/n[/m]. По-моему, вполне школьный уровень.
|
👍 0 👎 |
и неподвижной точкой функции [m]f[/m] (и то, и другое существует и единственно при любом [m]a[/m]).
Если снова обозначить [m]x_{k+1}=f(x_k)[/m], то уравнение принимает вид [m]x_{2013}=2x_0+1[/m] ([m]x_0[/m] — его корень). Обозначим [m]x_k=x_*+d_k[/m], где [m]x_*[/m] — неподвижная точка [m]f[/m]. Тогда [m]d_{2013}=x_*+1+2d_0[/m] |
👍 0 👎 |
Пусть [m]M[/m] — оценка снизу для модуля производной: [m]f'(x)<-M[/m]. Последовательность [m]d_k[/m] знакочередующаяся, и [m]|d_{k+1}|>Md_k[/m]. Ограничимся случаем таких [m]a[/m], для которых [m]x_*[/m] лежит на отрезке [49,50], тогда [m]d_0<0[/m] и , [m]|d_0|<51/(M^{2013}+2)[/m].
|
👍 0 👎 |
Разумеется, [m]|d_{k+1}|>M|d_k|[/m]
|
👍 0 👎 |
В общем случае [m]|d_0|<|x_*+1|/(M^{2013}+2)[/m], знак противоположен знаку [m]x_*+1[/m]
|
👍 0 👎 |
неподвижная точка [m]f[/m] лежит на отрезке [49,50]. Это значения, для которых [m]f(49)=49[/m] (неподвижная точка на левой границе), [m]f(50)=50[/m] (неподвижная точка на правой границе) и все промежуточные. В случае [m]f(49)=49[/m] соответствующее решение уравнения [m]g(x)=2x+1[/m] уже выскочит за левую границу отрезка, поскольку лежит левее, а для всех прочих окажется на отрезке. (Для доказательства можно оценить снизу расстояние от неподвижной точки до левого края, поделив разность [m]f(49)-49[/m], которая не меньше единицы, на максимум модуля производной [m]1+|f'(50)|[/m].) Ну и ещё нужно убедиться, что если неподвижная точка лежит вне отрезка, то и корень уравнения тоже туда не попадёт (для этого, видимо, придётся модифицировать оценку для [m]|d_0|[/m])
Я, разумеется, далёк от мысли, что это решение для школьной олимпиады. Хотя в физматшколах, кажется, формула конечных приращений проходится? Помнится, нам её давали (правда, это было в незапамятные времена). |
👍 0 👎 |
Максимум модуля производной — разумеется, для функции [m]f(x)-x[/m]
|
👍 +1 👎 |
Олимпиада Физтех-2014, очный тур.
|
👍 0 👎 |
Всесибирская открытая олимпиада школьников по математике 2013-14 гг.
|
👍 0 👎 |
Высшая проба 2014, очный тур.
|
👍 0 👎 |
ОММО-2014
|
👍 0 👎 |
Задача про 6 бумажных полосок . 5 класс
|
👍 0 👎 |
Задача с олимпиады
|