除法的公式是：被除数除以除去等于商，除不尽时会有余数。被除数和除数都是9，即9除以9，得出结果商是1。

在一个除法算式里，被除数、除数、商和余数的关系，除过基本公式外，还可以推导得出：商乘以除数加余数等于被除数。