进制算法公式推导方法是什么