Browse · MathNet
Print74th Romanian Mathematical Olympiad
Romania algebra
Problem
Let be a continuous function on , and a) Show that the function , defined for any by
is invertible, with a differentiable inverse.
b) Show that the equation where is a function , has a unique solution for each , and express in terms of and .
c) Show that is differentiable, strictly decreasing, and has a unique fixed point . Compute .
is invertible, with a differentiable inverse.
b) Show that the equation where is a function , has a unique solution for each , and express in terms of and .
c) Show that is differentiable, strictly decreasing, and has a unique fixed point . Compute .
Solution
a) Because is continuous, is continuous and differentiable, with , for any . Hence, is strictly increasing, and thus injective. Being continuous, has the intermediate value property, and since and , is surjective. Thus, is bijective, hence invertible. Also, because for any , is differentiable, with
b) The equality in the statement becomes , or, equivalently, , for any . The function being increasing, it follows that , for any , so that the function , defined by for any , is well defined and unique satisfying (1).
c) Since the functions and are differentiable, the function defined above is also differentiable, and The function is strictly decreasing, and so has a unique fixed point . For this we have: , so that and .
Because is differentiable, the limit exists and is equal to
b) The equality in the statement becomes , or, equivalently, , for any . The function being increasing, it follows that , for any , so that the function , defined by for any , is well defined and unique satisfying (1).
c) Since the functions and are differentiable, the function defined above is also differentiable, and The function is strictly decreasing, and so has a unique fixed point . For this we have: , so that and .
Because is differentiable, the limit exists and is equal to
Final answer
g(x) = F^{-1}(A − F(x)); c = F^{-1}(A/2); g′(c) = −1
Techniques
Single-variableDerivativesFunctions