Browse · MathNet
PrintJapan 2007
Japan 2007 algebra
Problem
Let be the largest integer not exceeding real number . For real positive numbers , the set is defined by Find all irrational numbers satisfying the following condition. Condition: If a positive real number satisfies , then is an integer.
Solution
First, we prove that any irrational number satisfies the condition. Let , (: positive integer). We can prove this by proving that for any positive integer . We are going to prove this by induction on . Assume that , and (: positive integer). Then we only have to prove that . From , , we get Note that all the terms are integers. We get . Hence, So, . Since , we get . With that the induction is completed. Second, we prove that any irrational number doesn't satisfy the condition. Let . Then is not integer, because is an irrational number. Let ( is positive integer). Then . We get the following inequality. Since either or is even, we get , and . With that, the answer is .
Final answer
All irrational real numbers greater than 2
Techniques
Floors and ceilingsInduction / smoothing