In mathematics, the mediant of two fractions, generally made up of four positive integers

:<math> \frac{a}{c} \quad</math> and <math>\quad \frac{b}{d} \quad</math> is defined as <math>\quad \frac{a+b}{c+d}. </math>

That is to say, the numerator and denominator of the mediant are the sums of the numerators and denominators of the given fractions, respectively. It is sometimes called the freshman sum, as it is a common mistake in the early stages of learning about addition of fractions.

Technically, this is a binary operation on valid fractions (nonzero denominator), considered as ordered pairs of appropriate integers, a priori disregarding the perspective on rational numbers as equivalence classes of fractions. For example, the mediant of the fractions 1/1 and 1/2 is 2/3. However, if the fraction 1/1 is replaced by the fraction 2/2, which is an equivalent fraction denoting the same rational number 1, the mediant of the fractions 2/2 and 1/2 is 3/4. For a stronger connection to rational numbers the fractions may be required to be reduced to lowest terms, thereby selecting unique representatives from the respective equivalence classes.

In fact, mediants commonly occur in the study of continued fractions and in particular, Farey fractions. The nth Farey sequence F<sub>n</sub> is defined as the (ordered with respect to magnitude) sequence of reduced fractions a/b (with coprime a, b) such that b&nbsp;&le;&nbsp;n. If two fractions a/c&nbsp;<&nbsp;b/d are adjacent (neighbouring) fractions in a segment of F<sub>n</sub> then <math> bc-ad=1</math> and therefore the mediant is the simplest fraction in the interval (a/c,&nbsp;b/d), in the sense of being the fraction with the smallest denominator. Thus the mediant will then (first) appear in the (c&nbsp;+&nbsp;d)th Farey sequence and is the "next" fraction which is inserted in any Farey sequence between a/c and b/d. This gives the rule how the Farey sequences F<sub>n</sub> are successively built up with increasing n.

The Stern–Brocot tree provides an enumeration of all positive rational numbers via mediants in lowest terms, obtained purely by iterative computation of the mediant according to a simple algorithm.

Properties

  • The mediant inequality: An important property (also explaining its name) of the mediant is that it lies strictly between the two fractions of which it is the mediant: If <math>a/c < b/d </math> and <math>c\cdot d> 0</math>, then <math display="block">\frac a c < \frac{a+b}{c+d} < \frac b d. </math> This property follows from the two relations <math display="block">\frac{a+b}{c+d}-\frac a c= ={d\over{c+d\left( \frac{b}{d}-\frac a c \right)</math> and <math display="block">\frac b d-\frac{a+b}{c+d}= ={c\over{c+d\left( \frac{b}{d}-\frac a c \right). </math>
  • Componendo and Dividendo Theorems: If <math>a/c = b/d</math> and <math>c \ne 0,\ d \ne 0</math>, then <math display="block">\frac a c = \frac b d = \frac{a+b}{c+d}</math>

:* Componendo:

Generalization

The notion of mediant can be generalized to n fractions, and a generalized mediant inequality holds, a fact that seems to have been first noticed by Cauchy. More precisely, the weighted mediant <math>m_w</math> of n fractions <math>a_1/b_1,\ldots,a_n/b_n</math> is defined by <math>\frac{\sum_i w_i a_i}{\sum_i w_i b_i}</math> (with <math>w_i>0</math>). It can be shown that <math>m_w</math> lies somewhere between the smallest and the largest fraction among the <math>a_i/b_i</math>.

See also

  • Mediant
  • Padé approximant
  • Stern–Brocot tree
  • Parallel (operator)
  • Weighted arithmetic mean: the mediant <math>\frac{a+b}{c+d}</math> can be interpreted as the weighted arithmetic mean of the fractions <math>\frac{a}{c}</math> and <math>\frac{b}{d}</math>, using the denominators <math>c</math> and <math>d</math> as the respective weights.

References

[https://youtube.com/watch?v=JnRnvehbcQs]

  • Mediant Fractions at cut-the-knot
  • MATHPAGES, Kevin Brown: Generalized Mediant