For \(a>0\), \(a\neq1\), the value \(\log_a(x)\) is positive exactly when the base \(a\) and the argument \(x\) are on the same side of \(1\): either both are greater than \(1\), or both are between \(0\) and \(1\).
1. Prove this statement using \(a^y=x\) and the monotonicity of exponential functions for the cases \(a>1\) and \(0<a<1\).
2. Without calculating its value, determine the sign of \(\log_{0.2}(5)\) and justify your answer.
Hints
- Set \(y=\log_a(x)\) and rewrite in exponential form.
- Compare \(a^y\) with \(a^0\) when \(y>0\).
- Treat increasing and decreasing exponential functions separately.
- Locate \(0.2\) and \(5\) relative to \(1\).
Solution
1. Let \(y=\log_a(x)\), so \(a^y=x\).
2. If \(a>1\), the function \(a^y\) is increasing. Thus, \(y>0\) exactly when \(a^y>a^0=1\), which means \(x>1\).
3. If \(0<a<1\), the function \(a^y\) is decreasing. Thus, \(y>0\) exactly when \(a^y<a^0=1\), which means \(0<x<1\).
4. Therefore, \(\log_a(x)>0\) exactly when \(a\) and \(x\) are on the same side of \(1\).
5. For \(\log_{0.2}(5)\), the base is less than \(1\) and the argument is greater than \(1\), so the value is negative.
Answer
1. The logarithm is positive exactly when the base and argument are both greater than \(1\) or both lie between \(0\) and \(1\).
2. \(\log_{0.2}(5)<0\)