MHB Can You Prove the GCD Inequality for Natural Numbers?

  • Thread starter Thread starter lfdahl
  • Start date Start date
  • Tags Tags
    Gcd Inequality
AI Thread Summary
The discussion revolves around proving the inequality involving the greatest common divisor (GCD) for natural numbers a and b, where b is greater than a. The inequality states that the sum of two fractions, involving the product of a and b divided by their GCD, and the product of (a+1) and (b+1) divided by their GCD, is greater than or equal to a specific expression involving the square root of the difference between b and a. Participants share various approaches to proving this inequality, highlighting different mathematical techniques and insights. The conversation emphasizes the importance of understanding GCD properties in relation to inequalities. The thread concludes with appreciation for contributions and alternative methods presented by participants.
lfdahl
Gold Member
MHB
Messages
747
Reaction score
0
Prove, that for all natural numbers, $a$ and $b$, with $b > a$:

\[\frac{ab}{(a,b)}+\frac{(a+1)(b+1)}{(a+1,b+1)}\geq \frac{2ab}{\sqrt{b-a}}\]

where $(m,n)$ denotes the greatest common divisor of the natural numbers $m$ and $n$.
 
Mathematics news on Phys.org
lfdahl said:
Prove, that for all natural numbers, $a$ and $b$, with $b > a$:

\[\frac{ab}{(a,b)}+\frac{(a+1)(b+1)}{(a+1,b+1)}\geq \frac{2ab}{\sqrt{b-a}}\]

where $(m,n)$ denotes the greatest common divisor of the natural numbers $m$ and $n$.
let $A=\dfrac{ab}{(a,b)}+\dfrac{(a+1)(b+1)}{(a+1,b+1)}$
$B=\dfrac{2ab}{\sqrt{b-a}}$
using $a\times b=(a,b)\times [a,b]$
where $(a,b)$ denotes the greatest common divisor of the natural numbers $a$ and $b$
and $[a,b]$ denotes the least common multiple of the natural numbers $a$ and $b$
we have $min(A)=b+b+1\leq A=[a,b]+[a+1,b+1]\leq ab+(a+1)(b+1)$
$=2ab+a+b+1=max(A)$
$B\leq 2ab=max(B)$
if we can find a solution $min(A)\geq max(B)$
that is to find solution $2b+1\geq 2ab$ then we have the proof
in this case $a=1,b>a$
in general we may set $b-a=k>0$
to find $\sqrt k(2b+1)\geq 2ab$
we get $\sqrt k=a,or \,\, k=a^2$
 
Last edited:
Albert said:
let $A=\dfrac{ab}{(a,b)}+\dfrac{(a+1)(b+1)}{(a+1,b+1)}$
$B=\dfrac{2ab}{\sqrt{b-a}}$
using $a\times b=(a,b)\times [a,b]$
where $(a,b)$ denotes the greatest common divisor of the natural numbers $a$ and $b$
and $[a,b]$ denotes the least common multiple of the natural numbers $a$ and $b$
we have $min(A)=b+b+1\leq A=[a,b]+[a+1,b+1]\leq ab+(a+1)(b+1)$
$=2ab+a+b+1=max(A)$
$B\leq 2ab=max(B)$
if we can find a solution $min(A)\geq max(B)$
that is to find solution $2b+1\geq 2ab$ then we have the proof
in this case $a=1,b>a$
in general we may set $b-a=k>0$
to find $\sqrt k(2b+1)\geq 2ab$
we get $\sqrt k=a,or \,\, k=a^2$

Thankyou, Albert for your approach to the problem. Well done.

Here´s another approach:

By applying the AM-GM inequality we get:
\[\frac{ab}{(a,b)}+\frac{(a+1)(b+1)}{(a+1,b+1)}\geq 2 \sqrt{\frac{a(a+1)b(b+1)}{(a,b)(a+1,b+1)}} > \frac{2ab}{\sqrt{(a,b)(a+1,b+1)}}\]
In order to complete the solution, we now show that:
\[b-a \ge (a,b)(a+1,b+1)\]
Indeed, $(a,b)$ and $(a+1,b+1)$ both divide $b-a$, since the greatest common divisor of two
numbers also divides their difference. On the other hand, $(a,b)$ and $(a+1,b+1)$ are coprimes.
Therefore the product $(a,b)(a+1,b+1)$ divides $b-a$. Hence the inequality is proved.
 
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...
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