有理数的除法法则是如何得到的