Difference between revisions of "1973 IMO Problems/Problem 5"
(→Solution) |
|||
(One intermediate revision by one other user not shown) | |||
Line 25: | Line 25: | ||
Using our first observation, <math>\frac{a_2 b_1 + b_2 - a_1 b_2 - b_1}{a_1 a_2}=0</math>. Rearranging, we get <math>\frac{b_1}{a_1-1}=\frac{b_2}{a_2-1}</math>. Therefore, the fixed point of <math>f_1</math> equals the fixed point of <math>f_2</math>. Since we made no assumptions about <math>f_1</math> and <math>f_2</math>, this is true for all <math>f</math> in <math>G</math>. | Using our first observation, <math>\frac{a_2 b_1 + b_2 - a_1 b_2 - b_1}{a_1 a_2}=0</math>. Rearranging, we get <math>\frac{b_1}{a_1-1}=\frac{b_2}{a_2-1}</math>. Therefore, the fixed point of <math>f_1</math> equals the fixed point of <math>f_2</math>. Since we made no assumptions about <math>f_1</math> and <math>f_2</math>, this is true for all <math>f</math> in <math>G</math>. | ||
+ | |||
+ | Borrowed from [http://www.cs.cornell.edu/~asdas/imo/imo/isoln/isoln735.html] | ||
+ | |||
+ | == See Also == {{IMO box|year=1973|num-b=4|num-a=6}} |
Latest revision as of 15:51, 29 January 2021
is a set of non-constant functions of the real variable
of the form
and
has the following properties:
(a) If and
are in
, then
is in
; here
.
(b) If is in
, then its inverse
is in
; here the inverse of
is
.
(c) For every in
, there exists a real number
such that
.
Prove that there exists a real number such that
for all
in
.
Solution
First, observe that for each function in
, if
then
. This is a result of (c); for example,
could not be in
because it does not have a fixed point. Or if
, then every point is a fixed point.
Also, for each function in
, if
then the fixed point of
is where
intersects
, namely where
.
Now, take and
, both in
. By (a),
and
must also both be in
. By (b),
must also be in
. Finally, by (a),
must also be in .
Using our first observation, . Rearranging, we get
. Therefore, the fixed point of
equals the fixed point of
. Since we made no assumptions about
and
, this is true for all
in
.
Borrowed from [1]
See Also
1973 IMO (Problems) • Resources | ||
Preceded by Problem 4 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 6 |
All IMO Problems and Solutions |