euclid扩展算法