在编写扩展欧几里得算法的前提下，计算了两个数的最大公因数，判断两数是否互素。