Hi RJ.
Whenever you are trying to come up with a formula or whenever starting out a mathematical induction proof, it is worthwhile to try the first few values of n to see what is happening. So starting with the function definition:
Let's look at the first few values of f_{n }(x):
So this function cycles. The proof is almost done already, so I'll leave the rest to you.
Stephen La Rocque.>
RJ wrote back
Hi,
I understand everything you showed me in the answer, but how does that show me the proof by mathematical induction. I don’t understand, all it seems like is that you are plugging in one equation for the other. I'm still a little confused. So if you could give me a little more insight I would appreciate it.
Thanks
What Sue did was to show that
f_{o}(x) = 2/(2x)
f_{1}(x) = (2x)/(1x)
f_{2}(x) = (2x  2)/x and
f_{3}(x) = x
From here it follows that
f_{4} (x) = f_{o} o f_{3} (x) = f_{o}(x) = 2/(2x) and it follows that
f_{5}(x) = f_{1}(x)
f_{6}(x) = f_{2}(x)
f_{7}(x) = f_{3}(x)
and the pattern repeats. The essence of the induction argument is to be more formal with the clause the pattern repeats.
I am going to change the indexing so that it starts at 1 rather than 0.
Let g_{n} = f_{n1}for n = 1, 2, ... For each n there are integers k and i with i = 1, 2, 3 or 4 so that n = 4k + i. The pattern I see and want to prove is that for each k
g_{4k+1}(x) = 2/(2x)
g_{4k+2}(x) = (2x)/(1x)
g_{4k+3}(x) = (2x  2)/x and
g_{4k+4}(x) = x
I am going to prove this using induction on k. Sue proved this for k = 0. This is the first step in the induction argument. I want to show that the pattern repeats. To do this I assume that I have proved this for some particular value of k and I want to verify it is true for the next value of k. So I am assuming the 4 equations above are true for some particular value of k but not necessarily for any larger k.
Using the definition in the problem
g_{4(k+1)+1}(x) = g_{(4k+4)+1} (x) = f_{0}(g_{4k+4}(x)) = f_{0}(x) = 2/(2x)
In a similar fashion you can show that
g_{4(k+1)+2}(x) = (2x)/(1x)
g_{4(k+1)+3}(x) = (2x  2)/x and
g_{4(k+1)+4}(x) = x
Hence the pattern does hold for k+1.
Thus, by induction the formula I found for f_{n} is valid for all n = 0, 1, 2, ...
Penny
