pc28算法公式技巧的数学验证