有理数の方は明らかだろ。
p、qを任意の有理数とする。
有理数は加法・乗法に関して閉じているから
(p+q)/2も有理数。
そしてこれはpとqの間の数。