Let and be real numbers different from and let be a function defined by
Prove that is injective if and only if is surjective.
Solution
The function is injective if and only if . Indeed, suppose is injective and . Then , a contradiction. Suppose now that and let such that . If or , then . If and , then and consequently , a contradiction. Hence is injective.
The function is surjective if and only if . To this end, suppose is surjective and let with . If then , a contradiction. Therefore is rational and so , implying . Conversely, suppose and let . Since and can not occur simultaneously, we have either or . Hence is surjective.
The claim now follows.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.