展开 除法的简便算法有什么依据呢