解方程x/9=12的根据是什么?