展开 竖式的验算是什么