一个数除以另一个数,等于这个数乘另一个数的倒数的推理过程