去九法（又称弃九法、弃九验算法）是种验算加、减、乘、除运算的方法。
历史.去九法的应用要追溯至萨珊王朝时代。当时伊斯兰文化贸易兴盛，应商业的需求，就产生了去九法，以验算交易中运算。
原理.因此可得知：所以，在ABC+DEF=GHI的运算中，
验算方法.所以证明了此式并无错误。