反比例函数与矩形结合的一个性质的证明及运用