进制算法公式推导方法