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
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Back
Top