Logarithmic Equations & Inequalities
A rigorous, step-by-step guide — from prerequisites to variable-base problems
1. Prerequisites Recap
1.1 Definition of the Logarithm
The logarithm is defined as the inverse of exponentiation:
Read this as: "$\log_a b$ is the exponent you must put on the base $a$ to obtain $b$." The three restrictions ($a>0$, $a\neq 1$, $b>0$) are non-negotiable — they come from the properties of the exponential function $a^x$.
1.2 Fundamental Properties
All rules below assume positive arguments and a positive base $\neq 1$.
| Property | Formula | Condition |
|---|---|---|
| Product rule | $\log_a(xy) = \log_a x + \log_a y$ | $x>0,\; y>0$ |
| Quotient rule | $\log_a\!\left(\dfrac{x}{y}\right) = \log_a x - \log_a y$ | $x>0,\; y>0$ |
| Power rule | $\log_a(x^{k}) = k\,\log_a x$ | $x>0$ |
| Change of base | $\log_a x = \dfrac{\log_b x}{\log_b a}$ | $b>0,\;b\neq 1$ |
1.3 Monotonicity
The function $y = \log_a x$ is:
- Strictly increasing when $a > 1$ (e.g., $\log_2$, $\ln$, $\log_{10}$).
- Strictly decreasing when $0 < a < 1$ (e.g., $\log_{1/2}$, $\log_{0.3}$).
This fact is the engine behind every logarithmic inequality.
2. Domain of Validity (ОДЗ)
Before any algebraic manipulation, you must determine the set of $x$-values for which every logarithm in the equation/inequality is defined. This is the single most important procedural step.