ID: 00028822
Найдите все значения a, при каждом из которых уравнение
\sqrt{x^{2}-a^{2}}=\sqrt{4x^{2}-(4a+2)x+2a}
на отрезке [0;1] имеет ровно один корень.
Источник: ФИПИ
Слева и справа стоят квадратные корни. Неизвестное здесь x, а a — параметр, «настройка» уравнения. Нужно поймать те настройки, при которых на отрезке от 0 до 1 корень ровно один.
Метод назову словами: возведение в квадрат с обязательным контролем области определения. Когда два арифметических квадратных корня равны, равны и подкоренные выражения — это законный переход. Но корень существует только у неотрицательного числа, поэтому к равенству подкоренных выражений надо добавить условие неотрицательности. Именно это условие и будет «фильтром», который отбраковывает лишние корни. Графический метод здесь не нужен: после возведения в квадрат получается обычное квадратное уравнение, которое решается формулой.
Шаг 1. Переходим к системе. Равенство корней равносильно системе: подкоренные выражения равны и одно из них неотрицательно (тогда второе неотрицательно автоматически, ведь они равны). Возьмём для удобства левое:
x^{2}-a^{2}=4x^{2}-(4a+2)x+2a,\qquad x^{2}-a^{2}\ge 0.
Шаг 2. Решаем уравнение. Переносим всё в правую сторону, чтобы старший коэффициент был положительным:
4x^{2}-x^{2}-(4a+2)x+2a+a^{2}=0,\quad\text{то есть}\quad 3x^{2}-(4a+2)x+a^{2}+2a=0.
Это обычное квадратное уравнение относительно x. Найдём дискриминант — число, которое показывает, сколько у уравнения корней:
D=(4a+2)^{2}-4\cdot 3\cdot (a^{2}+2a)=16a^{2}+16a+4-12a^{2}-24a=4a^{2}-8a+4.
Заметим, что 4a^{2}-8a+4=4\left(a^{2}-2a+1\right)=4(a-1)^{2} — это полный квадрат. Значит, \sqrt{D}=2|a-1|, и корни находятся красиво:
x=\dfrac{(4a+2)\pm 2|a-1|}{6}=\dfrac{(2a+1)\pm|a-1|}{3}.
Раскроем модуль. Если a\ge 1, то |a-1|=a-1 и корни равны \dfrac{2a+1+a-1}{3}=a и \dfrac{2a+1-a+1}{3}=\dfrac{a+2}{3}. Если же a\lt 1, то |a-1|=1-a и корни равны \dfrac{2a+1-1+a}{3}=a и \dfrac{2a+1+1-a}{3}=\dfrac{a+2}{3} — тот же самый набор.
Итак, кандидатов ровно два: x=a и x=\dfrac{a+2}{3}.
Шаг 3. Пропускаем кандидатов через фильтр x^{2}-a^{2}\ge 0.
Кандидат x=a. Подставляем: a^{2}-a^{2}=0\ge 0 — условие выполнено при любом a. Проверим и правую часть: 4a^{2}-(4a+2)a+2a=4a^{2}-4a^{2}-2a+2a=0. Обе части равны нулю, так что это настоящий корень всегда.
Кандидат x=\dfrac{a+2}{3}. Подставляем в фильтр: \left(\dfrac{a+2}{3}\right)^{2}\ge a^{2}, то есть (a+2)^{2}\ge 9a^{2}. Переносим всё влево и раскладываем разность квадратов: (a+2)^{2}-(3a)^{2}=(a+2-3a)(a+2+3a)=(2-2a)(4a+2). Условие принимает вид (2-2a)(4a+2)\ge 0, то есть после вынесения положительных множителей 8(1-a)\left(a+\dfrac{1}{2}\right)\ge 0.
Произведение неотрицательно, когда a лежит между корнями -\dfrac{1}{2} и 1 включительно (у выражения (1-a) старший коэффициент отрицателен, так что «плюс» получается именно внутри). Итог: этот кандидат годится при -\dfrac{1}{2}\le a\le 1.
Шаг 4. Требуем попадания на отрезок [0;1].
Для x=a это просто 0\le a\le 1.
Для x=\dfrac{a+2}{3} это 0\le \dfrac{a+2}{3}\le 1, то есть 0\le a+2\le 3, то есть -2\le a\le 1. Вместе с фильтром из шага 3 остаётся -\dfrac{1}{2}\le a\le 1.
Шаг 5. Не забываем случай слияния. Кандидаты совпадают, когда a=\dfrac{a+2}{3}, то есть 3a=a+2, откуда a=1. При этом значении корень на самом деле один, хотя формально мы нашли «два».
Шаг 6. Считаем корни на каждом участке.
Случай 1 — когда a\lt -\dfrac{1}{2}. Первый кандидат не попадает на отрезок (нужно a\ge 0), второй не проходит фильтр. Корней нет — не подходит.
Случай 2 — когда -\dfrac{1}{2}\le a\lt 0. Первый кандидат отрицателен и на отрезок не попадает, второй проходит и фильтр, и отрезок. Ровно один корень — подходит.
Случай 3 — когда 0\le a\lt 1. Работают оба кандидата, и они различны. Два корня — не подходит.
Случай 4 — когда a=1. Оба кандидата равны единице, то есть корень один. Подходит.
Случай 5 — когда a\gt 1. Первый кандидат больше единицы и вылетает за отрезок, второй не проходит фильтр. Корней нет — не подходит.
Шаг 7. Собираем ответ: -\dfrac{1}{2}\le a\lt 0 и отдельная точка a=1.
Проверим себя при a=-\dfrac{1}{2}. Тогда второй кандидат равен \dfrac{-\frac{1}{2}+2}{3}=\dfrac{3}{2}\cdot\dfrac{1}{3}=\dfrac{1}{2}. Слева под корнем: \left(\dfrac{1}{2}\right)^{2}-\left(-\dfrac{1}{2}\right)^{2}=\dfrac{1}{4}-\dfrac{1}{4}=0. Справа под корнем: 4\cdot\dfrac{1}{4}-\left(4\cdot\left(-\dfrac{1}{2}\right)+2\right)\cdot\dfrac{1}{2}+2\cdot\left(-\dfrac{1}{2}\right)=1-0-1=0. Обе части равны нулю — корень настоящий, и он единственный на отрезке. Сходится.
\left[-\dfrac{1}{2};0\right)\cup\{1\}