展开 加法算式可以用什么法来验算