MHB Challenge involving irrational number

AI Thread Summary
The discussion revolves around proving that for an irrational number \( x \), there exist integers \( m \) and \( n \) such that \( \frac{1}{2555} < mx + n < \frac{1}{2012} \). The key concept is that the set \( \mathbb{Z} + x \mathbb{Z} \) is dense in the real numbers. This density implies that for any interval, including \( \left( \frac{1}{2555}, \frac{1}{2012} \right) \), there are integers \( m \) and \( n \) satisfying the inequality. The challenge emphasizes the application of this density property to find suitable integers. Overall, the main focus is on demonstrating the existence of such integers using the properties of irrational numbers.
anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Let $x$ be an irrational number. Show that there are integers $m$ and $n$ such that $\dfrac{1}{2555}<mx+n<\dfrac{1}{2012}$.
 
Mathematics news on Phys.org
We have $\frac{1}{2012} - \frac{1}{2555} = \frac{ 543}{2012 * 2555}$
Now to keep it simple let p = 2012 * 2555
divide the interval $[0\cdots 1]$ into p equal intervals from 1 to p the $k^{th}$ interval between
$\frac{k-1}{p}$ to $\frac{k}{p}$
Define the function $f(m) = mx - \lfloor mx \rfloor $
Let us find f(k) for k = 1 to p
We shall get p values and there is value in 1st interval.
We shall assert the above statement that there is value in 1st interval.
If there is no value in 1st interval then there are p values and p-1 intervals so 2 values must be in the same interval so say for a and b
So $ | f(a) - f(b) |$ must be in the 1st interval for (a-b)
So there is a value say c such that
$ | f(c) |= \frac{1}{p}$
Now because p = 2012 * 2555
So there exists integer s and t such that
$\frac{1}{2555} < st < rt < \frac{1}{2012}$
So if chose an integer m such that $sc <= m < rc$ then we have
$\frac{1}{2555} < f(c) < \frac{1}{2012}$
Because $f(c) < \frac{1}{p}$
And as $r < p$ we have
$f(mc) < 1$
So $f(m) = mx - \lfloor mx \rfloor $ and choosing $n= - \lfloor mx \rfloor $ we get the result
Hence proved
 
$x$ is irrational then $\mathbb{Z} + x \mathbb{Z}$ is dense so :
$$\exists m,n \in \mathbb{Z}, \dfrac{1}{2555} < m x + n < \dfrac{1}{2012}$$
 
  • Like
Likes dextercioby
ALI ALI said:
$x$ is irrational then $\mathbb{Z} + x \mathbb{Z}$ is dense

If I had to guess, proving this is the main point of the challenge.
 
  • Like
Likes dextercioby, Office_Shredder and topsquark
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Thread 'Video on imaginary numbers and some queries'
Hi, I was watching the following video. I found some points confusing. Could you please help me to understand the gaps? Thanks, in advance! Question 1: Around 4:22, the video says the following. So for those mathematicians, negative numbers didn't exist. You could subtract, that is find the difference between two positive quantities, but you couldn't have a negative answer or negative coefficients. Mathematicians were so averse to negative numbers that there was no single quadratic...
Thread 'Unit Circle Double Angle Derivations'
Here I made a terrible mistake of assuming this to be an equilateral triangle and set 2sinx=1 => x=pi/6. Although this did derive the double angle formulas it also led into a terrible mess trying to find all the combinations of sides. I must have been tired and just assumed 6x=180 and 2sinx=1. By that time, I was so mindset that I nearly scolded a person for even saying 90-x. I wonder if this is a case of biased observation that seeks to dis credit me like Jesus of Nazareth since in reality...
Back
Top