辗转相除法，又称欧几里得算法，是一种古老而高效的求解两个非负整数最大公约数（GCD）的方法。该算法基于一个基本原理：两个整数a和b（假设a > b）的最大公约数等于b和a除以b的余数的最大公约数。换句话说，gcd(a, b) = gcd(b, a mod b)。这个过程可以迭代地执行，每次将原来的除数替换为余数，直到余数为0，此时的除数即为最大公约数。辗转相除法的具体步骤如下：1. 初始化：选取两个整数中的较大值作为初始被除数A，较小值作为除数B。2. 运算：计算A除以B的余数C。3. 迭代：将B作为新的被除数，C作为新的除数，重复步骤2。4. 终止：当余数为0时，停止迭代，此时的除数B即为所求的最大公约数。在C语言中，我们可以编写如下的函数来实现辗转相除法：long int GCD(long int num1, long int num2) { num1 = labs(num1); num2 = labs(num2); if (num1 > num2) { long int temp = num1; num1 = num2; num2 = temp; } while (num2 != 0) { long int remainder = num1 % num2; num1 = num2; num2 = remainder; } return num1; } 如果需要计算数组中所有元素的最大公约数，可以定义一个额外的函数ArrGCD，它接受一个整数数组和数组长度，然后对数组中的每个元素调用GCD函数，将结果作为下一次迭代的输入，直到遍历完所有元素：long int ArrGCD(long int *arr, int arrLen) { long int temp = arr[0]; for (int i = 1; i < arrLen xss=removed>