При каких \(a\) имеет решения система
\[\begin{cases} 3^{2x+y}+3^{x+3y}=3\\ 3^y+\left(\frac13\right)^{3x+3y}=3^{a-2x} \end{cases}\]
(Задача от подписчиков.)
Сделаем замену переменных: \(3^x=m, \ 3^y=n\). Тогда \(m,n>0\). А также для удобства заменим \(3^a\) на \(b>0\). Значит, необходимо найти те положительные \(b\), при которых новая система
\[\begin{cases} m^2n+mn^3=3\\[2ex] n+\dfrac1{m^3n^3}=\dfrac b{m^2} \end{cases} \quad \Rightarrow \quad \begin{cases} m^2n+mn^3=3\\ m^3n^4-bmn^3+1=0 \end{cases}\quad \text{(т.к. }m,n\ne 0)\]
имеет положительные решения.
Сделаем еще одну замену: \(\beta=m^2n, \ \alpha=mn^3, \quad \alpha, \beta>0\):
\[\begin{cases} \alpha+\beta=3\\ \alpha \beta -b\alpha+1=0 \end{cases} \quad \Leftrightarrow \quad \begin{cases} \beta=3-\alpha\\ \alpha^2+(b-3)\alpha-1=0 \end{cases}\]
Второе уравнение системы имеет дискриминант \(D=(b-3)^2+4>0\) при всех \(b\). Значит, второе уравнение всегда имеет 2 корня. Заметим, что по теореме Виета произведение этих корней равно \(-1\), значит, они разных знаков. Таким образом, всегда существует единственный \(\alpha_1>0\):
\[\alpha_1=\dfrac{3-b+\sqrt{(3-b)^2+4}}{2}\]
Значит, \(\beta_1=3-\alpha_1=\dfrac{3+b-\sqrt{(3-b)^2+4}}2\). Необходимо, чтобы и \(\beta_1\) был положительным. Таким образом:
\[\dfrac{3+b-\sqrt{(3-b)^2+4}}2>0 \quad \Leftrightarrow \quad \sqrt{(3-b)^2+4}<3+b \quad \Leftrightarrow \quad \begin{cases} 3+b>0\\ (3-b)^2+4>0\\ (3-b)^2+4<(3+b)^2 \end{cases}\]
Т.к. \(b>0\), то и \(3+b>0\), а второе неравенство выполнено всегда (об этом говорилось выше). Значит, данная система равносильна неравенству
\[(3-b)^2+4<(3+b)^2 \quad \Leftrightarrow \quad b>\dfrac13\]
Перейдем к \(a\): \(3^a>3^{-1} \quad \Leftrightarrow \quad a>-1\).
При этих значениях \(a\) оба числа \(\alpha_1\) и \(\beta_1\) положительны. Можно найти само решение системы:
\[\begin{cases} n=\sqrt[5]{\dfrac{\alpha_1^2}{\beta_1}}\\[2ex] m=\sqrt[5]{\dfrac{\beta_1^3}{\alpha_1}} \end{cases} \quad \Rightarrow \quad \begin{cases} 3^y=\sqrt[5]{\dfrac{\alpha_1^2}{\beta_1}}\\[2ex] 3^x=\sqrt[5]{\dfrac{\beta_1^3}{\alpha_1}} \end{cases}\quad \Rightarrow \quad \begin{cases} y=\log_3\left(\sqrt[5]{\dfrac{\alpha_1^2}{\beta_1}}\right)\\[2ex] x=\log_3\left(\sqrt[5]{\dfrac{\beta_1^3}{\alpha_1}}\right) \end{cases}\]
Ответ:
\(a\in (-1;+\infty)\)