Difference between revisions of "1969 Canadian MO Problems/Problem 8"
(box) |
|||
| Line 1: | Line 1: | ||
== Problem == | == Problem == | ||
| − | Let <math> | + | Let <math>f</math> be a function with the following properties: |
| − | 1) <math> | + | 1) <math>f(n)</math> is defined for every positive integer <math>n</math>; |
| − | 2) <math> | + | 2) <math>f(n)</math> is an integer; |
| − | 3) <math> | + | 3) <math>f(2)=2</math>; |
| − | 4) <math> | + | 4) <math>f(mn)=f(m)f(n)</math> for all <math>m</math> and <math>n</math>; |
| − | 5) <math> | + | 5) <math>f(m)>f(n)</math> whenever <math>m>n</math>. |
| − | Prove that <math> | + | Prove that <math>f(n)=n</math>. |
== Solution == | == Solution == | ||
| − | It's easily shown that <math> | + | It's easily shown that <math>f(1)=1</math> and <math>f(4)=4</math>. Since <math>f(2)<f(3)<f(4),</math> <math>f(3) = 3.</math> |
| − | Now, assume that <math> | + | Now, assume that <math>f(2n+2)=f(2(n+1))=f(2)f(n+1)=2n+2</math> is true for all <math>f(k)</math> where <math>k\leq 2n.</math> |
| − | It follows that <math> | + | It follows that <math>2n<f(2n+1)<2n+2.</math> Hence, <math>f(2n+1)=2n+1</math>, and by induction <math>f(n) = n</math>. |
| − | - | + | {{Old CanadaMO box|num-b=7|num-a=9|year=1969}} |
| − | |||
| − | |||
| − | |||
Latest revision as of 21:42, 17 November 2007
Problem
Let 
be a function with the following properties:
1) 
is defined for every positive integer 
;
2) is an integer;
3) 
;
4) 
for all 
and ;
5) 
whenever 
.
Prove that 
.
Solution
It's easily shown that 
and 
. Since 
Now, assume that 
is true for all 
where 
It follows that 
Hence, 
, and by induction 
.
| 1969 Canadian MO (Problems) | ||
| Preceded by Problem 7 |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • | Followed by Problem 9 |
