Theory:

Consider the two rational numbers \(a\) and \(b\).
 
The word "mean" is known as average. The average of two numbers is nothing but the sum of two numbers divided by \(2\).
 
Thus the average/arithmetic mean of two numbers \(a\) and \(b\) is a+b2.
 
Now we need to check whether the average of rational numbers is a rational number or not.
 
We know that \(a\) and \(b\) are rational numbers.
 
Let a=mn and b=xy; where \(n, y\) is not equal to zero.
 
Substitute the value of \(a\) and \(b\) in the average formula.
 
a+b2=mn+xy2=my+nxny2=my+nx2ny.
 
The above result is in \(p/q\) form. Thus, the average of a rational number is also a rational number.
 
Now let us prove that the resultant number lies between the rational numbers.
 
Let us subtract a+b2 from \(a\).
 
aa+b2=2aab2=ab2ab2>0
 
This implies:
 aa+b2>0a>a+b2
 
In similar way:
 
a+b2b=a+b2b2=ab2ab2>0
 
This implies:
 a+b2b>0a+b2>b
 
Since \(a>\frac{a+b}{2}\) and \(\frac{a+b}{2}>b\), the range of \(a\) and \(b\) becomes \(a>\frac{a+b}{2}>b\).
 
Thus, the average of two rational number can be visualised as follows:
 
1.png
The average of any two rational number is again a rational number. We can find infinitely many rational numbers by repeating this process indefinitely.
Important!
If mn and xy are the two rational numbers with mn \(<\) xy, then  m+nx+y is a rational number such that mn \(<\) m+nx+y \(<\) xy.