Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This is from I. M. Gelfand's Algebra book.

Fractions $\displaystyle\frac{a}{b}$ and $\displaystyle\frac{c}{d}$ are called neighbor fractions if their difference $\displaystyle\frac{ad - bc}{bd}$ has numerator of $\pm 1$, that is, $ad - bc = \pm 1$. Prove that

(a) in this case neither fraction can be simplified (that is, neither has any common factors in numerator and denominator);

(b) if $\displaystyle\frac{a}{b}$ and $\displaystyle\frac{c}{d}$ are neighbor fractions, then $\displaystyle\frac{a+c}{b+d}$ is between them and is a neighbor fraction for both $\displaystyle\frac{a}{b}$ and $\displaystyle\frac{c}{d}$; moreover,

(c) no fraction $\displaystyle\frac{e}{f}$ with positive integer $e$ and $f$ such that $f < b + d$ is between $\displaystyle\frac{a}{b}$ and $\displaystyle\frac{c}{d}$.

Parts (a) and (b) weren't too difficult, but I'm stuck on part (c). I've included (a) and (b) in case they're related to the solution to (c).

share|improve this question
6  
Look up "Farey sequence". –  Yuval Filmus Jun 5 '11 at 19:05
    
Okay, I'll do that. Thanks! –  Matt Gregory Jun 5 '11 at 19:09

1 Answer 1

up vote 5 down vote accepted

Assume $\frac{e}{f}$ is (strictly) between $\frac{a}{b}$ and $\frac{c}{d}$. Then $|\frac{a}{b}-\frac{e}{f}| + |\frac{e}{f}-\frac{c}{d}| = |\frac{a}{b}-\frac{c}{d}| = \frac{1}{bd}$

But $|\frac{a}{b}-\frac{e}{f}| \geq \frac{1}{bf}$ and $|\frac{e}{f}-\frac{c}{d}|\geq \frac{1}{df}$. So $\frac{1}{bf} + \frac{1}{df} \leq \frac{1}{bd}$. Multiply both sides by $bdf$ and we get that $b+d\leq f$.

share|improve this answer
    
There is a geometric meaning to this, which is related to lattice points on the plane. If $(a,b)$ and $(c,d)$ are points on the plane, then $|ad-bc|$ is the area of the quadrilateral with points $(0,0)$, $(a,b)$, $(c,d)$ and $(a+c,b+d)$. If $a,b,c,d$ are integers, and $|ad-bc| = 1$, this theorem essentially says that there is no lattice point in the inside of the quadrilateral. –  Thomas Andrews Jun 5 '11 at 20:26
    
Thanks Thomas! That's very insightful. –  Matt Gregory Jun 5 '11 at 20:42

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.