For real

Algebra Level 2

Suppose f f is a continuous, positive real-valued function such that f ( x + y ) = f ( x ) f ( y ) f(x + y) = f(x)f(y) for all real x , y . x,y.

If f ( 8 ) = 3 f(8) = 3 then log 9 ( f ( 2015 ) ) = a b \log_{9}(f(2015)) = \dfrac{a}{b} , where a a and b b are positive coprime integers. Find a b . a - b.


The answer is 1999.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

First, note that f ( 8 ) = f ( 4 + 4 ) = [ f ( 4 ) ] 2 f(8) = f(4 + 4) = [f(4)]^{2} and so f ( 4 ) = 3 1 2 f(4) = 3^{\frac{1}{2}} as f f is positive valued.

Similarly, f ( 2 ) = 3 1 4 f(2) = 3^{\frac{1}{4}} and f ( 1 ) = 3 1 8 . f(1) = 3^{\frac{1}{8}}.

Now f ( n x ) = [ f ( x ) ] n f(nx) = [f(x)]^{n} , so f ( 2015 ) = ( 3 1 8 ) 2015 = 3 2015 8 . f(2015) = (3^{\frac{1}{8}})^{2015} = 3^{\frac{2015}{8}}.

So log 9 ( f ( 2015 ) ) = log 3 ( f ( 2015 ) ) log 3 ( 9 ) = 2015 16 , \log_{9}(f(2015)) = \dfrac{\log_{3}(f(2015))}{\log_{3}(9)} = \dfrac{2015}{16},

and thus a b = 2015 16 = 1999 . a - b = 2015 - 16 = \boxed{1999}.

Another interesting approach could have been :

After taking natural logarithm log f ( x + y ) = log f ( x ) + log f ( y ) \log f(x+y) = \log f(x) + \log f(y) Let g ( x ) = log f ( x ) g(x) = \log f(x) . Then we observe that the function g g satisfies Cauchy's Functional Equation (because f f is a real positive valued continuous function). And hence g ( x + y ) = g ( x ) + g ( y ) g(x+y) = g(x) + g(y) whose solution are given as g ( x ) = f ( 1 ) x f ( x ) = e f ( 1 ) x g(x) = f(1)x \Rightarrow f(x) = e^{f(1)x} Thus, f ( 8 ) = e 8 f ( 1 ) = 3 f ( 1 ) = log 3 8 f ( x ) = 3 x / 8 f(8) = e^{8f(1)} = 3 \Rightarrow f(1) = \frac{\log 3}{8} \Rightarrow \boxed{f(x) = 3^{x/8}} Therefore, log 9 f ( 2015 ) = 2015 16 = a b a b = 1999 \log_9 f(2015) = \frac{2015}{16} = \frac{a}{b} \Rightarrow a-b=1999

Kishlaya Jaiswal - 6 years, 3 months ago

Log in to reply

Pretty much identical. I find Brian's approach easier to grasp, but yours more intuitive.

Jake Lai - 6 years, 3 months ago

Nice approach, Kishlaya. Thanks for mentioning it. :)

Brian Charlesworth - 6 years, 3 months ago

Log in to reply

It was all mine pleasure.

Kishlaya Jaiswal - 6 years, 3 months ago

Log in to reply

@Kishlaya Jaiswal Can you post it as another solution? Thanks.

Pranjal Jain - 6 years, 3 months ago

Log in to reply

@Pranjal Jain But does posting it separately makes any difference?

Kishlaya Jaiswal - 6 years, 3 months ago

Log in to reply

@Kishlaya Jaiswal Yes, it does. Sometimes, people just not scroll to see the comments, after seeing the solution. On the other hand, if you'll post it as solution, '2 solutions' will be written over there.

Pranjal Jain - 6 years, 3 months ago

I solved this exactly in this way....

Ahmed Arup Shihab - 6 years, 3 months ago

Solved it this way too :) +1

A Former Brilliant Member - 6 years, 3 months ago
Mattia Conti
Feb 26, 2018

f(x+y) = f(x)*f(y) is a fundamental property of exponential, so f ( x ) = a x f(x)=a^{x}

in facts a x + y = a x a y a^{x+y} = a^{x}*a^{y} .

Now f(8) = 3 -> it means a 8 = 3 a^{8} = 3 and so a = 3 8 a = \sqrt[8]{3}

than we have done, calcolate l o g 9 ( 3 8 ) 2015 = 2015 l o g 9 3 8 = 2015 16 log_9 ( \sqrt[8]{3})^{2015} = 2015 * log_9 \sqrt[8]{3} = \frac{2015}{16}

and the result is 2015 - 16 = 1999

Ong Zi Qian
May 4, 2018

In fact, if there is a positive real-valued function f ( x + y ) = f ( x ) + f ( y ) f(x+y)=f(x)+f(y) for all real x , y x,y . f ( x ) f(x) must in a form of f ( x ) = a x f(x)=a^x .

Prove: f ( x + y ) = f ( x ) + f ( y ) f(x+y)=f(x)+f(y)

For any number n n ,

f ( n ) = f ( 1 + n 1 ) f(n)\\=f(1+n-1)

= f ( 1 ) + f ( n 1 ) = f ( 1 ) f ( n 1 ) = f ( 1 ) [ f ( 1 ) + f ( n 2 ) ] = f ( 1 ) f ( 1 ) f ( n 2 ) =f(1)+f(n-1)\\=f(1)\cdot f(n-1)\\=f(1)\cdot [f(1)+f(n-2)]\\=f(1)\cdot f(1)\cdot f(n-2)

= [ f ( 1 ) ] 2 f ( n 2 ) =[f(1)]^2\cdot f(n-2)

= [ f ( 1 ) ] 3 f ( n 3 ) =[f(1)]^3\cdot f(n-3)

= [ f ( 1 ) ] 4 f ( n 4 ) =[f(1)]^4\cdot f(n-4)

= [ f ( 1 ) ] n \cdots\\=[f(1)]^n

f ( n ) = [ f ( 1 ) ] n \rightarrow f(n)=[f(1)]^n

By replacing n n and f ( 1 ) f(1) with x x and a a , we get f ( x ) = a x ( Q . E . D . ) \boxed{f(x)=a^x}(Q.E.D.)

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...