证明:对任意a>1,b>1,有不等式a^2/(b-1)+b^2/(a-1)大于等于8