ID: 00028819
Найдите все значения $a$, при каждом из которых система уравнений
$$\begin{cases}\log_{11}\left(a-y^{2}\right)=\log_{11}\left(a-x^{2}\right),\\ x^{2}+y^{2}=2x+6y\end{cases}$$
имеет ровно два различных решения.
Источник: ФИПИ
В системе неизвестных два — $x$ и $y$, а буква $a$ — параметр, то есть «настройка»: для каждого $a$ получается своя система. Решение системы — это пара чисел $(x;y)$, и нам нужно поймать те настройки, при которых таких пар ровно две.
Метод назову словами: графический (координатный). Каждое уравнение системы задаёт на плоскости свою линию, а решения — это точки, где линии пересекаются. Параметр $a$ при этом сам линий не двигает, он лишь «разрешает» или «запрещает» уже найденные точки через область определения логарифма. Такой метод здесь удобнее всего: линии оказываются окружностью и двумя прямыми, а их пересечения считаются в два действия.
Шаг 1. Разбираемся с логарифмами. Логарифм — это показатель степени, в которую надо возвести основание, чтобы получить число под знаком логарифма. Функция $\log_{11}u$ строго возрастает, то есть разным числам $u$ отвечают разные значения логарифма. Поэтому равенство $\log_{11}\left(a-y^{2}\right)=\log_{11}\left(a-x^{2}\right)$ равносильно равенству самих аргументов: $a-y^{2}=a-x^{2}$.
Но одного этого мало: логарифм существует только от положительного числа. Значит, обязательно должно выполняться $a-x^{2}\gt 0$ (и то же самое для $a-y^{2}$, но после равенства аргументов это одно и то же условие). Это ограничение — самое главное в задаче, именно через него параметр и работает.
Из $a-y^{2}=a-x^{2}$ сокращаем $a$ и получаем $x^{2}=y^{2}$. Разность квадратов раскладывается на множители: $x^{2}-y^{2}=(x-y)(x+y)=0$. Произведение равно нулю, когда хотя бы один множитель нулевой, поэтому $y=x$ или $y=-x$. На плоскости это две прямые — биссектрисы координатных углов.
Шаг 2. Разбираемся со вторым уравнением. Соберём полные квадраты. Перенесём всё влево: $x^{2}-2x+y^{2}-6y=0$. Дополняем: $x^{2}-2x=(x-1)^{2}-1$ и $y^{2}-6y=(y-3)^{2}-9$. Получаем $(x-1)^{2}-1+(y-3)^{2}-9=0$, то есть
$$(x-1)^{2}+(y-3)^{2}=10.$$
Это окружность с центром в точке $(1;3)$ и радиусом $\sqrt{10}$.
Шаг 3. Ищем точки пересечения. Здесь удобно подставлять прямые прямо в исходную форму $x^{2}+y^{2}=2x+6y$ — так меньше арифметики.
Случай 1 — когда $y=x$. Подставляем: $x^{2}+x^{2}=2x+6x$, то есть $2x^{2}=8x$, или $2x^{2}-8x=0$, то есть $2x(x-4)=0$. Отсюда $x=0$ или $x=4$. Так как $y=x$, получаем точки $(0;0)$ и $(4;4)$.
Случай 2 — когда $y=-x$. Подставляем: $x^{2}+x^{2}=2x+6\cdot(-x)$, то есть $2x^{2}=2x-6x=-4x$, или $2x^{2}+4x=0$, то есть $2x(x+2)=0$. Отсюда $x=0$ или $x=-2$. Так как $y=-x$, при $x=0$ выходит $y=0$, а при $x=-2$ выходит $y=2$. Получаем точки $(0;0)$ и $(-2;2)$.
Итого разных точек-кандидатов три: $(0;0)$, $(4;4)$ и $(-2;2)$. Точка $(0;0)$ встретилась дважды, но считаем её один раз — решения должны быть различными.
Шаг 4. Включаем параметр. Кандидат становится настоящим решением только если для него выполнено условие $a-x^{2}\gt 0$, то есть $a\gt x^{2}$. Подставим координаты каждой точки.
Для $(0;0)$: $a\gt 0^{2}$, то есть $a\gt 0$.
Для $(-2;2)$: $a\gt (-2)^{2}=4$, то есть $a\gt 4$.
Для $(4;4)$: $a\gt 4^{2}=16$, то есть $a\gt 16$.
Шаг 5. Считаем, сколько точек «выживает». Расставим пороги $0$, $4$, $16$ на числовой оси.
Если $a\le 0$, не проходит ни одна точка — решений нет.
Если $0\lt a\le 4$, проходит только $(0;0)$ — одно решение.
Если $4\lt a\le 16$, проходят $(0;0)$ и $(-2;2)$, а точка $(4;4)$ ещё не проходит, ведь для неё нужно строгое $a\gt 16$. Получается ровно два решения — это то, что нужно.
Если $a\gt 16$, проходят все три точки — три решения, слишком много.
Обратите внимание на границы. Значение $a=4$ не годится: тогда для точки $(-2;2)$ выходит $a-x^{2}=4-4=0$, а логарифм нуля не существует. А вот $a=16$ годится: тогда для $(4;4)$ получается $16-16=0$, эта точка выпадает, и остаются ровно две нужные нам.
Проверим себя. Возьмём $a=10$: точка $(0;0)$ даёт $10-0=10\gt 0$ — годится; точка $(-2;2)$ даёт $10-4=6\gt 0$ — годится; точка $(4;4)$ даёт $10-16=-6\lt 0$ — не годится. Ровно два решения, всё сходится.
$(4;16]$