Solve the Equation System
\begin{align}
I&& 4^{y+3x}&&=64\\
II&&\log_x(x+12)-3\log_x(4)&&=-1
\end{align}
Step 1: Solving for $x$
The key trick is apply the power-transform $x^h$ to both sides of equation $II$ which will yield a quadratic equation with elementary solutions. Here are the algebrarics:
- Multiply the equation with $-1$: $3\log_x 4-\log_x(x+12)=1$
- Take both sides of the equation to the power of $x$, i.e. $x^{LHS}=x^{RHS}$ and solve for $x$ using the properties of the logarithm function:
\begin{align}
&&x^{3\log_x(4)-\log_x(x+12)}&=x^1\\
\leftrightarrow&&\frac{x^{3\log_x(4)}}{x^{\log_x(x+12)}}&=x
\end{align}
Observe that applying a logarithmic term with (its) inverse (i.e. power function) we obtain the identity function, that is $h^{\log_h (s)}=s$. Thus, the left handside of the equation also satisfies $\frac{x^{3\log_x(4)}}{x^{\log_x(x+12)}}=\frac{4^3}{x+12}$. Thus, we finally have
$$
\frac{4^3}{x+12x}=x
$$
- Pushing all terms to the right-hand side, we get the quadratic equation
$$
x^2+12x-64=0.
$$
The roots of a quadratic equation can be found using the $p/q$ formula, i.e.
$$
x^*=-6\pm\sqrt{100}=-6\pm 10
$$
Notice that we have two solutions, for this equation $x^*\in\{4,-16\}$. But negative values of $x$ can be excluded as the expressions above, specifically $\log_x$ are not defined for $x<0$. Hence, the solution must be
$$
x^*=4
$$
Step 2: Solving for $y$
Substitute $x^*$ into equation $I$:
\begin{align}
&&4^{y+3*x^*}&=64\\
&&4^{y+12}&=64
\end{align}
Take the $log_4$ to on both sides of the equation,
\begin{align}
y+12=3
\end{align}
This gives
$$
y^*=-9.
$$