If f is a function satisfying \(f(x+y)=f(x)f(y)\) for all \(x,y \in \mathbb{N}\), such that \(f(1)=3\) and \(\sum\limits_{x=1}^{n} f(x)=120\), find \(n\).
Theory Insight
A function satisfying \(f(x+y)=f(x)f(y)\) over natural numbers behaves like an exponential function. Such functions follow the standard result:
\[ f(x) = [f(1)]^x \]
This converts a functional equation into a geometric sequence problem, which is a very common transformation in algebra and sequences.
Solution Roadmap
- Convert functional equation → exponential form
- Identify sequence as a geometric progression (GP)
- Apply sum of GP formula
- Solve resulting exponential equation
Visual Understanding
Growth pattern of \(3^x\) (Geometric Progression with ratio 3)
Solution
Given \(f(x+y)=f(x)f(y)\) and \(f(1)=3\),
\[ f(x)=3^x \]
Now,
\[ \sum_{x=1}^{n} f(x)=\sum_{x=1}^{n} 3^x = 120 \]
Using sum of GP:
\[ \sum_{x=1}^{n} 3^x = \frac{3(3^n - 1)}{2} \]
\[ \frac{3}{2}(3^n - 1)=120 \]
\[ 3^n - 1 = 80 \]
\[ 3^n = 81 = 3^4 \]
\[ n=4 \]
Final Answer: \(n=4\)
Exam Significance
- Direct application of functional equation → exponential mapping (JEE favorite)
- Conversion to GP is a standard trick in objective exams
- Tests speed in recognizing patterns rather than lengthy computation
- Frequently appears in boards as 3–5 mark conceptual problem