Do there exist two functions f,g:R→R such that for all x=y the following inequality holds? ∣f(x)−f(y)∣+∣g(x)−g(y)∣>1
Solution
For all x=y we have: (f(x)−f(y))2+(g(x)−g(y))2≥21(∣f(x)−f(y)∣+∣g(x)−g(y)∣)2>21 For every x, consider the point (f(x),g(x)) in the R2 plane. The above inequality shows that the distance between every two of these points is more than 21. For every point (f(x),g(x)), consider a circle with center at this point and a radius of 221, so not two of these circles intersect. On the other hand the number of these points are uncountable, so we have an uncountable number of circles in the plane that no two of them intersect and this is impossible; because there is a point with rational coordinates in every one of the circles, hence we would have an uncountable number of points with rational coordinates and since we know that the total number of the points with rational coordinates is countable, this is a contradiction; so no two functions with this property exist.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.