除法计算并验算