欧几里得算法及其扩展