进制算法公式推导