Averaging two rational approximations whose errors have opposite signs always yields an approximation with lower error and a bigger denominator than either "par

Averaging two rational approximations whose errors have opposite signs always yields an approximation with lower error and a bigger denominator than either "parent", making good approximations easy to find.