展开 除法算式的定义和性质