编写一个求两个正整数最小公倍数的函数，在主函数中从键盘输入 2 个正整数，调用该求最小公倍数的函数，求出这2个数的最大公约数并输出。

要编写一个求两个正整数最小公倍数（LCM）的函数，并在主函数中使用它来计算这两个数的最大公约数（GCD），你可以按照以下步骤进行：

首先，我们需要定义一个用于计算最大公约数（GCD）的辅助函数。最常用的算法是欧几里得算法（Euclidean algorithm），它基于以下性质：对于任意三个整数a, b, c，如果b和c互质，则gcd(a, bc) = gcd(a, b) * gcd(a, c)。

接下来，我们将创建一个函数`lcm(int a, int b)`来计算两数的最小公倍数。根据公式，两数的最小公倍数等于它们的乘积除以它们的最大公约数，即 lcm(a, b) = (a * b) / gcd(a, b)。

下面是完整的C代码实现：

#include <stdio.h>

// 欧几里得算法计算最大公约数
int gcd(int a, int b) {
    if (b == 0)
        return a;
    else
        return gcd(b, a % b);
}

// 计算最小公倍数
int lcm(int a, int b) {
    return (a * b) / gcd(a, b);
}

int main() {
    int num1, num2;
    
    // 输入两个正整数
    printf("请输入第一个正整数: ");
    scanf("%d", &num1);
    printf("请输入第二个正整数: ");
    scanf("%d", &num2);

    // 检查输入是否为正整数
    if (num1 <= 0 || num2 <= 0) {
        printf("输入的数字必须是正整数。\n");
        return 1;
    }

    // 计算最小公倍数
    int lcm_value = lcm(num1, num2);

    // 输出结果
    printf("这两个数的最小公倍数是: %d\n", lcm_value);

    return 0;
}

现在，当你运行这个程序时，它会提示你输入两个正整数，然后计算它们的最小公倍数。同时，也包含了检查输入是否为正整数的逻辑。