扩展欧几里得算法和裴蜀定理之间的历史渊源