Problem:
Consider the equations
where is the greatest integer that does not exceed . Prove that:
a) any solution of the first equation is an integer;
b) the second equation has a non-integer solution.
Solution
Solution:
a) Let satisfy the equality . Then setting and one has that
Hence either , or is a root of the equation in the brackets. In the second case the discriminant of this equation must be non-negative. Since is an integer, it follows that or . Then either , or . Now implies that , i.e., is an integer.
b) The degree of the polynomial is odd. Hence this polynomial has a real zero . Obviously, is not an integer (in fact, is unique and ). Then and hence .
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.