Browse · MathNet
Print60th Belarusian Mathematical Olympiad
Belarus algebra
Problem
Prove that there is no function such that for all real . (I. Voronovich)
Solution
Suppose that there exists a function satisfying for any .
Set . Using for , we obtain . Since we have . Similarly, since we have It follows that , i.e. From (1) and (4) it follows that , so either or . We show that both the equalities and give a contradiction. Indeed, if , then from definition of it follows that , but (1) gives , a contradiction. If , then (1) and (2) give and respectively, a contradiction. Therefore there is no function satisfying .
Set . Using for , we obtain . Since we have . Similarly, since we have It follows that , i.e. From (1) and (4) it follows that , so either or . We show that both the equalities and give a contradiction. Indeed, if , then from definition of it follows that , but (1) gives , a contradiction. If , then (1) and (2) give and respectively, a contradiction. Therefore there is no function satisfying .
Techniques
Existential quantifiers