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
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...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top