在C语言中，求两个数的最大公约数（GCD）可以使用欧几里得算法，欧几里得算法是一种非常古老且高效的求最大公约数的方法，其基本思想是：对于任意两个正整数a和b（假设a>b），它们的最大公约数等于a除以b的余数与b的最大公约数。

下面是一个使用C语言实现的求最大公约数的程序：

#include <stdio.h>
// 定义一个函数，用于计算最大公约数
int gcd(int a, int b) {
    // 如果b为0，则返回a作为最大公约数
    if (b == 0) {
        return a;
    }
    // 否则，递归调用gcd函数，将a % b和b作为参数传入
    return gcd(b, a % b);
}
int main() {
    int num1, num2;
    printf("请输入两个正整数：");
    scanf("%d %d", &num1, &num2);
    printf("最大公约数为：%d
", gcd(num1, num2));
    return 0;
}

程序解析：

1、我们引入了stdio.h头文件，以便我们可以使用printf和scanf函数进行输入输出。

2、我们定义了一个名为gcd的函数，该函数接受两个整数参数a和b，并返回它们的最大公约数，在这个函数中，我们使用了递归的方法来实现欧几里得算法，当b为0时，我们返回a作为最大公约数；否则，我们递归调用gcd函数，将a % b和b作为参数传入，这样，我们可以不断地将问题规模减小，直到找到最大公约数。

3、在main函数中，我们首先声明了两个整数变量num1和num2，用于存储用户输入的两个正整数，我们使用printf函数提示用户输入两个正整数，并使用scanf函数读取用户输入的值，我们调用gcd函数计算这两个数的最大公约数，并使用printf函数输出结果。

4、整个程序的结构清晰，易于理解，通过递归的方式实现了欧几里得算法，具有较高的效率。

注意：在实际编程过程中，为了提高程序的可读性，建议将代码分为多个模块，例如将输入输出、最大公约数计算等功能分别封装成不同的函数，还可以考虑添加一些错误处理机制，例如检查用户输入的是否为正整数等。

C语言中求最大公约数的方法有很多，这里我们介绍了一种使用欧几里得算法的方法，通过递归的方式，我们可以高效地求解任意两个正整数的最大公约数，希望这个回答能帮助你更好地理解C语言中求最大公约数的方法。