Write the starting fact
ba<dc, a,b,c,d>0 All four numbers are positive and the first fraction is smaller than the second.
Turn it into a product statement
Cross-multiplying (safe because b,d>0) turns ba<dc into ad<bc.
Introduce the middle fraction
b+da+c This is the 'mediant' — add the tops and add the bottoms. We must show it lies between the two.
Aim for the left inequality
ba<b+da+c? First prove the mediant is bigger than ba.
Cross-multiply the left
a(b+d) □ b(a+c) Compare the two by cross-multiplying (denominators positive).
Expand both sides
ab+ad □ ab+bc Multiply out the brackets.
Cancel the common term
ad □ bc Take ab off both sides, leaving ad against bc.
Use the known fact
We already know ad<bc, so the left side is smaller.
Conclude the left inequality
ba<b+da+c Therefore the mediant is greater than ba.
Aim for the right inequality
b+da+c<dc? Now prove the mediant is smaller than dc.
Cross-multiply the right
(a+c)d □ c(b+d) Again compare by cross-multiplying.
Expand and cancel
ad+cd □ bc+cd⇒ad □ bc Multiplying out and cancelling cd again leaves ad against bc.
Conclude the right inequality
ad<bc⇒b+da+c<dc Since ad<bc, the mediant is less than dc.
Combine the two halves
ba<b+da+c<dc Both parts proved, so the mediant lies strictly between the two fractions.
Verify with numbers
3+21+1=52: 31<52<21 With 31 and 21 the mediant is 52=0.4, and 0.333<0.4<0.5, confirming the result.