Not another composed function

Algebra Level 4

Define the function f ( x ) = 2 x 1 x 2 f(x)=\frac{2x}{1-x^2} . Find the number of distinct real solutions of the equation f ( 5 ) ( x ) = x . f^{(5)} (x) =x.

Details and assumptions

f ( n ) ( x ) f^{(n)} (x) denotes the function f f applied n n times. In particular, f ( 5 ) ( x ) = f ( f ( f ( f ( f ( x ) ) ) ) ) f^{(5)} (x) = f(f(f(f(f(x))))) .


The answer is 31.

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.

18 solutions

Let x = tan θ x= \tan \theta . Then f ( x ) = 2 tan θ 1 tan 2 θ = tan 2 θ f(x) = \frac{2\tan\theta }{1 - \tan^2 \theta} = \tan 2\theta . So, f 5 ( x ) = f 5 ( tan θ ) = tan ( 2 5 θ ) = tan ( 32 θ ) f^5(x) = f^5(\tan \theta) = \tan(2^5 \theta) = \tan (32 \theta ) . Hence the equation becomes tan 32 θ = tan θ \tan 32 \theta = \tan \theta . The general solution to this equation is 32 θ = θ + n π 32\theta = \theta + n \pi , where n n is a positive integer. Solving gives θ = n π 31 \theta= \frac{n\pi }{31} . Note that the function tan \tan repeats by periodicity π \pi , so after putting n = 1 , 2 , . . . , 31 n= 1, 2, ..., 31 , when we put n = 32 , 33 , . . . n= 32, 33, ... , and so on, we will get the same value of tan θ \tan \theta . Hence the total number of distinct real solutions for x x is 31 31 .

Jimmy Kariznov
May 20, 2014

The key is to notice that f ( tan y ) = 2 tan y 1 tan 2 y = tan 2 y f(\tan y) = \dfrac{2\tan y}{1-\tan^2 y} = \tan 2y .

If x x satisfies f ( 5 ) ( x ) = x f^{(5)}(x) = x , then write x = tan y x = \tan y for a unique y ( π 2 , π 2 ) y \in (-\tfrac{\pi}{2},\tfrac{\pi}{2}) . Then, tan y = f ( 5 ) ( tan y ) \tan y = f^{(5)}(\tan y) = f ( 4 ) ( tan 2 y ) = f^{(4)}(\tan 2y) = f ( 3 ) ( tan 4 y ) = f^{(3)}(\tan 4y) = f ( 2 ) ( tan 8 y ) = f^{(2)}(\tan 8y) = f ( 1 ) ( tan 16 y ) = f^{(1)}(\tan 16y) = tan 32 y = \tan 32y .

Since the tan \tan function has period π \pi and is one-to-one on any period, we must have 32 y = y + π k 32y = y+\pi k , i.e. y = π 31 k y = \dfrac{\pi}{31}k for some integer k k .

Since we restricted π 2 < y < π 2 -\dfrac{\pi}{2} < y < \dfrac{\pi}{2} , we must have π 2 < π 31 k < π 2 -\dfrac{\pi}{2} < \dfrac{\pi}{31}k < \dfrac{\pi}{2} , i.e. 15.5 < k < 15.5 -15.5 < k < 15.5 . Since k k is an integer, we have 31 31 values of k k which gives 31 31 values of y y which yield 31 31 distinct solutions for x = tan y x = \tan y .

Benjamin Tong
May 20, 2014

Let x = t a n ( y ) x = tan(y) . Then f ( x ) = 2 tan y 1 tan 2 y = tan ( 2 y ) f(x) = \frac{2\tan y}{1-\tan^2 y} = \tan(2y) . Then, f 5 ( x ) = f 5 ( tan y ) f^5(x) = f^5(\tan y) = tan(32y). Thus, we are asked to find the number of distinct solutions to tan y = tan ( 32 y ) \tan y = \tan(32y) . Since tangent is periodic with period π \pi , we have 32 y = y + n π 32y = y + n\pi , for some integer n n . Thus, y = n π 31 y = \frac{n \pi}{31} . Since we only find the tan y \tan y values and not the actual y y values, we see clearly that there are only 31 \boxed{31} solutions.

If you expanded the polynomial form, you do NOT get a degree 31 polynomial, but a degree 33 polynomial. You can check that the 'base' case " f ( x ) = x f(x) =x " yields a cubic x ( 1 x 2 ) = 2 x x(1-x^2) = 2x , which gives 0 , i , i 0, i, -i as the fixed points. Even though we know that i , i i, -i are 2 complex roots of the degree 33 polynomial, it is difficult to justify that this polynomial must have exactly 33 2 = 31 33-2 =31 real roots, as you have to show that there are no other complex roots, or repeated real roots.

We can extend the domain of the tangent function to the complex numbers, using the definition tan z = sin z cos z = i ( e i z e i z ) e i z + e i z \tan z = \frac { \sin z} { \cos z} = \frac {i (e^{-iz} - e^{iz}) } {e^{-iz} + e^{iz} } . This accounts for the 2 extra roots that we get. It is slightly interesting that the additional roots of f ( n ) ( x ) = x f^{(n)} (x)=x are all real valued, which is highly unlikely for a general polynomial / rational function.

Calvin Lin Staff - 7 years ago

Since the domain of the function is the set of all real numbers except ± 1 \pm1 , there exists θ ( π 2 , π 2 ) { π 4 , π 4 } \theta \in \big(-\frac{\pi}{2},\frac{\pi}{2}\big)\setminus\{-\frac{\pi}{4},\frac{\pi}{4}\} such that x = tan θ . x=\tan\theta. By the double-angle formula for tan 2 θ , \tan2\theta, we therefore have f ( tan θ ) = 2 tan θ 1 tan 2 θ = tan 2 θ . f(\tan\theta) = \frac{2\tan\theta}{1-\tan^2\theta} = \tan 2\theta. Applying the double-angle formula for tan 4 θ , \tan4\theta, we have f ( 2 ) ( tan θ ) = f ( f ( tan θ ) ) = f ( tan 2 θ ) = 2 tan 2 θ 1 tan 2 2 θ = tan 4 θ . f^{(2)}(\tan\theta) = f(f(\tan\theta)) = f(\tan 2\theta) =\frac{2\tan 2\theta}{1-\tan^2 2\theta} = \tan 4\theta. Continuing in the same manner, we finally obtain f ( 5 ) ( tan θ ) = tan 32 θ . f^{(5)}(\tan\theta) = \tan 32\theta. So the problem is equivalent to solve the equation: tan 32 θ = tan θ \tan 32\theta = \tan \theta with a restriction that tan θ ± 1. \tan\theta \neq \pm 1. The general solution is 32 θ = θ + n π 32\theta = \theta +n\pi or θ = n π 31 \theta = \frac{n\pi}{31} where n Z . n\in\mathbb{Z}. Since tangent function is periodic with period of π , \pi, it follows that all distinct solutions are x = tan n π 31 , n = 0 , 1 , 2 , , 30. x=\tan\frac{n\pi}{31}, \quad n=0,1,2,\dots,30. This creates 31 \boxed{31} distinct real solutions in all.

Moderator note:

I like that you mention which values we have to avoid. However, tan θ ± 1 \tan \theta \neq \pm 1 is not the only condition. We also require that tan 2 θ , tan 4 θ , tan 8 θ , tan 16 θ ± 1 \tan 2 \theta, \tan 4 \theta , \tan 8 \theta, \tan 16 \theta \neq \pm 1 , as they cause the value of f ( n ) ( x ) f^{(n)} (x) to be infinity, for some n n .

Michael Kural
May 20, 2014

Define θ = arctan x \theta=\arctan x , so x = tan θ x=\tan \theta for θ ( π 2 , π 2 ) \theta\in (-\frac{\pi}{2},\frac{\pi}{2}) . Then f ( tan θ ) = tan ( 2 θ ) f(\tan \theta)=\tan(2\theta) , so if f ( 5 ) ( x ) = x f^{(5)}(x)=x , tan θ = f ( 5 ) ( tan θ ) = tan ( 32 θ ) \tan \theta=f^{(5)}(\tan \theta)=\tan (32\theta) But this can happen iff 31 θ = 32 θ θ 31\theta=32\theta-\theta is a multiple of π \pi , the period of tan x \tan x . Since θ ( π 2 , π 2 ) \theta\in (-\frac{\pi}{2},\frac{\pi}{2}) , the solutions are θ = 15 π 31 , 14 π 31 , 15 π 31 \theta=-\frac{15\pi}{31},-\frac{14\pi}{31},\cdots \frac{15\pi}{31} Giving 31 \boxed{31} corresponding solutions for x x

Shen Hong
May 20, 2014

let x=tg(a), then f(tg(a))=tg(2a), f(f(tg(a)))=f(tg(2a))=tg(4a) So f^(5)(tg(a))=tg(32a)=tg(a) 0=tg(32a)-tg(a)=tg(31a)(1+tg(a)tg(32a)) 31a=k(pi) k=-15..15 number=31

C C
May 20, 2014

x=tant f(x)=tan 2t hence f(5)(x)=x is same as tan 32t=tan t in various divisions of domain of t we have only 31 distinct solutions of x hence 31

Harshit Sharma
May 20, 2014

Let x=tan a Therefore f(x)=2tan a/1-(tan a)^2 = tan 2a Similarly f^5(x)=tan 32a therefore as f^5(x)=x tan 32x = tan x 32x = n(180) + x x = n(180)/31 On solving this equation we get 31 different values of tan a = x

Thomas Beuman
Jul 30, 2013

We can substitute θ = arctan x \theta = \arctan x , with 1 2 π < θ < 1 2 π -\frac12\pi < \theta < \frac12\pi . Note that this substitution is one-to-one, so any solution we find for θ \theta is a solution for x x and vice versa. We get

f ( x ) = f ( tan θ ) = 2 tan θ 1 tan 2 θ = tan 2 θ . f(x) = f(\tan\theta) = \frac{2\tan\theta}{1-\tan^2\theta} = \tan 2\theta.

Therefore, through repeated use, we easily find

f ( 5 ) ( x ) = tan ( 32 θ ) , f^{(5)}(x) = \tan(32\theta),

Thus the equation to solve translates to

tan ( 32 θ ) = tan θ . \tan(32\theta) = \tan \theta.

This equation holds if and only if

32 θ = θ + k π 32\theta = \theta + k\pi

for some integer k k , which solves to

θ = k π 31 . \theta = \frac{k\pi}{31}.

Considering the restraints on θ \theta , the only valid solutions are for 15 k 15 -15 \leq k \leq 15 , of which there are 31 \boxed{31}

In general, f ( n ) ( x ) = x f^{(n)}(x) = x has 2 n 1 2^n-1 solutions.

It's a shame the f f is cut off if it's the left-most character of a line. You could fix it by using \ [ \ ] rather than \ ( \ ), which will make sure the equation is aligned to the center.

Tim Vermeulen - 7 years, 10 months ago
Ivan Koswara
Jul 30, 2013

Let x = tan θ x = \tan \theta , then f ( x ) = f ( tan θ ) = 2 tan θ 1 ( tan θ ) 2 f(x) = f(\tan \theta) = \dfrac{2\tan \theta}{1 - (\tan \theta)^2} . This is the double-angle formula for tangent , so f ( tan θ ) = tan 2 θ f(\tan \theta) = \tan 2\theta . So f ( 5 ) ( tan θ ) = tan 2 ( 2 ( 2 ( 2 ( 2 θ ) ) ) ) = tan 32 θ f^{(5)}(\tan \theta) = \tan 2(2(2(2(2\theta)))) = \tan 32\theta .

So tan 32 θ = tan θ \tan 32\theta = \tan \theta . We can find tan 31 θ = tan 32 θ tan θ 1 + tan 32 θ tan θ = 0 \tan 31\theta = \dfrac{\tan 32\theta - \tan \theta}{1 + \tan 32\theta \cdot \tan \theta} = 0 because tan 32 θ tan θ = 0 \tan 32\theta - \tan \theta = 0 . Note that tan x = 0 \tan x = 0 has solutions x = π k x = \pi k for all integer k k , so θ = π 31 k \theta = \dfrac{\pi}{31}k .

Now, if n ∉ [ 0 , 30 ] n \not\in [0,30] , let m m be the unique integer where m [ 0 , 30 ] m \in [0,30] and m n ( m o d 31 ) m \equiv n \pmod{31} . Then tan π 31 m = tan π 31 n \tan \dfrac{\pi}{31}m = \tan \dfrac{\pi}{31}n , since π 31 n = π 31 m + π k \dfrac{\pi}{31}n = \dfrac{\pi}{31}m + \pi k for some integer k k and tan \tan has period π \pi . So both result on the same value of x x , so we can discard n n .

So there are 31 31 values of n n . Now suppose n 1 , n 2 [ 0 , 30 ] n_1, n_2 \in [0,30] and tan π 31 n 1 = tan π 31 n 2 \tan \dfrac{\pi}{31}n_1 = \tan \dfrac{\pi}{31}n_2 . Then,

sin π n 1 31 cos π n 1 31 = sin π n 2 31 cos π n 2 31 \dfrac{\sin \frac{\pi n_1}{31}}{\cos \frac{\pi n_1}{31}} = \dfrac{\sin \frac{\pi n_2}{31}}{\cos \frac{\pi n_2}{31}}

sin π n 1 31 cos π n 2 31 = cos π n 1 31 sin π n 2 31 \sin \dfrac{\pi n_1}{31} \cos \dfrac{\pi n_2}{31} = \cos \dfrac{\pi n_1}{31} \sin \dfrac{\pi n_2}{31}

sin π n 1 31 cos π n 2 31 cos π n 1 31 sin π n 2 31 = 0 \sin \dfrac{\pi n_1}{31} \cos \dfrac{\pi n_2}{31} - \cos \dfrac{\pi n_1}{31} \sin \dfrac{\pi n_2}{31} = 0

By the difference of angles formula for sine , we get sin ( π n 1 31 π n 2 31 ) = 0 \sin \left( \dfrac{\pi n_1}{31} - \dfrac{\pi n_2}{31} \right) = 0 , or sin π 31 ( n 1 n 2 ) = 0 \sin \dfrac{\pi}{31} (n_1 - n_2) = 0 . So π 31 ( n 1 n 2 ) = π k \dfrac{\pi}{31} (n_1 - n_2) = \pi k for some integer k k , so n 1 n 2 = 31 k n_1 - n_2 = 31k . But n 1 n 2 30 0 = 30 < 31 n_1 - n_2 \le 30 - 0 = 30 < 31 and n 1 n 2 0 30 = 30 > 31 n_1 - n_2 \ge 0 - 30 = -30 > -31 , so k 1 k \ge 1 and k 1 k \le 1 has no solutions. So k = 0 k = 0 and so n 1 = n 2 n_1 = n_2 . This means all 31 31 values of n n gives distinct values of their tangents (all 31 31 values of tan π 31 n \tan \dfrac{\pi}{31} n are distinct). Each of these values can be the value of x x (the only possibility that it cannot be the value of x x is if tan π 31 n \tan \dfrac{\pi}{31} n is undefined, but that requires π 31 n = π 2 ( 1 + 2 k ) \dfrac{\pi}{31} n = \dfrac{\pi}{2} (1 + 2k) for some integer k k which means n n has a denominator of 2 2 , impossible as n n is integer), so there are 31 \boxed{31} values of x x .

Pi Han Goh
Jul 28, 2013

We will solve for the general formula f ( n ) ( x ) = x f^{(n)} (x) = x

Recall the double angle formula tan ( 2 A ) = 2 tan ( A ) 1 tan 2 ( A ) \tan (2A) = \frac {2 \tan (A) } { 1 - \tan^2 (A) }

Let x = tan y f ( x ) = tan ( 2 y ) x=\tan y \Rightarrow f(x) = \tan (2y)

f ( 2 ) ( x ) = tan ( 2 2 y ) f^{(2)} (x) = \tan (2^2 y)

f ( 3 ) ( x ) = tan ( 2 3 y ) f^{(3)} (x) = \tan (2^3 y)

\ldots

f ( n ) ( x ) = tan ( 2 n y ) f^{(n)} (x) = \tan (2^n y)

When f ( n ) ( x ) = x f^{(n)} (x) = x , tan ( 2 n y ) = tan ( y ) \tan (2^n \space y) = \tan (y)

sin ( 2 n y ) cos ( 2 n y ) = sin ( y ) cos ( y ) \large \Rightarrow \frac {\sin (2^n y) }{ \cos (2^n y) } = \frac {\sin (y) }{ \cos (y) }

sin ( y ( 2 n 1 ) ) = 0 \large \Rightarrow \sin (y(2^n - 1)) = 0

y = π M 2 n 1 \large \Rightarrow y = \frac {\pi \space M}{2^n - 1} , for M = 0 , 1 , 2 , 3 , M=0,1,2,3, \ldots

x = tan ( π M 2 n 1 ) \large \Rightarrow x = \tan (\frac {\pi \space M}{2^n - 1} ) , for M = 0 , 1 , 2 , 3 , , 2 n 2 M=0,1,2,3, \ldots , 2^n - 2 , we stop at M = 2 n 2 M=2^n - 2 because of the periodicity of tan ( π n 2 n 1 ) \large \tan (\frac {\pi \space n}{2^n - 1} )

Hence, there's a total of ( 2 n 1 ) (2^n - 1) solution. In this case, n = 5 n=5 . The answer is 2 5 1 = 31 2^5 - 1 = \boxed{31}

total of ( 2 n 1 ) (2^n - 1) REAL solutions.

Pi Han Goh - 7 years, 10 months ago

Put f ( x ) = tan ( tan 1 2 x 1 x 2 ) = tan ( 2 tan 1 x ) f(x) = \tan (\tan ^{ - 1} \frac{2x}{1 - x^2}) = \tan (2 \tan ^{ - 1} x)

So, f 2 ( x ) = tan ( 2 2 tan 1 x ) f^{2} (x) = \tan ( 2^2 \tan ^{ - 1} x) Continuing, f 5 ( x ) = tan ( 2 5 tan 1 x ) f^{5} (x) = \tan ( 2^5 \tan ^{ - 1} x)

Now f 5 ( x ) = x tan ( 2 5 tan 1 x ) = x . . . . . . . . . . . . . . . ( 1 ) f^{5} (x) = x \Rightarrow \tan ( 2^5 \tan ^{ - 1} x) = x ...............(1)

Applying tan 1 \tan ^{ - 1} to both sides & rearrange, 2 5 tan 1 x = n π + tan 1 x tan 1 x = n π 31 2^5 \tan ^{ - 1} x = n\pi +\tan ^{ - 1}x \rightarrow \tan ^{ - 1} x = \frac{n\pi}{31} Now this equation has infinite solutions but for only certain distinct solutions, (1) holds. As n n ranges over all integers, it has only 31 (0-30) values ( m o d 31 ) \pmod {31} , hence tan x \tan x has only 31 correspondingly distinct values (since tan x = tan ( n π + x ) \tan x = \tan (n\pi + x) ). So answer is 31 .

f(x)=2x/(1-x^2). f(f(x))=2[2x/(1-x^2)]/[1-(2x/(1-x^2))^2] =4x(1-x^2)/(1-6x^2+x^4). similarly,applying it for f(f(f(x))),f(f(f(f(x)))),f(f(f(f(f(x))))) step by step we will recieve an expression in the variable 'x' which when equated to 'x' as given in the condition will give a polynomial in 'x' which has 31 solutions.thus the answer is 31.

Caio Pelicioni
Aug 3, 2013

When looking to f ( x ) f(x) , comes to mind the expression of t a n ( 2 α ) tan(2α) . Therefore, let x = t a n ( α ) x = tan(α) :

f ( t a n ( α ) ) = 2 t a n ( α ) 1 t a n 2 ( α ) = t a n ( 2 α ) f(tan(α)) = \frac{2tan(α)}{1-tan^2(α)} = tan(2α) .

Now, f ( 5 ) ( t a n ( α ) ) = t a n ( 2 5 α ) = t a n ( 32 α ) f^{(5)}(tan(α)) = tan(2^{5}α) = tan(32α) .

After that, the equation becomes t a n ( 32 α ) = t a n ( α ) tan(32α) = tan(α) . Its general solution is given by:

32 α = α + n π 32α = α + nπ

But that can be expressed as:

α = n π 31 α = \frac{nπ}{31}

That expression gives us different solutions for n = 1 , 2 , 3 , . . . 30 , 31 n = 1, 2, 3, ... 30, 31 . After that, we have only duplicates because t a n ( α ) tan(α) is periodical.

Thus, the number of distinct real solutions we are looking for is 31 31 .

Manoj Pandey
Aug 3, 2013

Hint: Put x = t a n y x=tany , then you will reach to t a n 32 y = t a n y tan32y=tany and find general solutions.

Sanjay Meena
Aug 3, 2013

put x=tanθ

then f(tanθ) 2tanθ/1-tan^2θ=tan2θ

now

f^5(x) = f^5(tanθ) = tan(2^5θ) = tan(32θ).

then equation becomes tan32θ=tanθ then general solutions of this equation is given ny

The general solution is 32θ=θ+nπ or

θ=nπ/31 so n=1 2 3 ....31 give different solutions after that give the duplicate solutions due to periodicity of tanθ

so 31 solutions are there

Athul Nambolan
Jul 31, 2013

Let t a n θ = x tan\theta = x , for some real value of y as x is real,

f ( x ) = 2 x 1 x 2 = 2 t a n θ 1 t a n 2 θ = t a n 2 θ f(x)=\frac{2x}{1-x^2} = \frac {2tan\theta}{1 - tan^2 \theta} = tan 2\theta

Similarly,

f ( 5 ) ( t a n θ ) = t a n 32 θ = x = t a n θ f^{(5)}(tan\theta)= tan 32\theta = x = tan \theta (given)

On solving t a n 32 θ = t a n θ tan 32\theta=tan\theta gives value of y = n π 31 y = \frac{n\pi}{31}

Therefore the number of distinct possible values of t a n θ tan\theta is 31 ie possible values of x

Therefore answer 31

David Vaccaro
Jul 31, 2013

Putting x = tan θ x=\tan{\theta} the condition reduces to tan 32 θ = tan θ \tan{32\theta}=\tan{\theta} . Since tan \tan has a period of π \pi this is equivalent to 32 θ = θ + n π 32\theta=\theta+n\pi and hence x = tan ( n π 31 ) x=\tan{(\frac{n\pi}{31})} .

The values n = 0 , 1 , 2 , , 30 n=0,1,2,\dots,30 give 31 distinct values for x x

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...