Let , for all real numbers . Prove that is strictly positive on , and is not periodic.
Solution
At any rate, is non-negative since the cosine takes no value smaller than , which means that takes no value smaller than .
Suppose for some real number , so that
But the expression on the right is a sum of two non-negative numbers, hence each of them is zero. So, . But this means that there are odd integers such that and . Clearly, , which means that is rational, an absurdity. Thus, is positive.
To prove that is not periodic, assume the contrary. Then, for some , it is true that for all . In particular, , equivalently, which means that . Thus there are even integers such that and . But . Hence and yet , an absurdity.
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.