编写C语言程序，求解最大公约数和最小公倍数。输入两个正整数m和n，输出其最大公约数和和最小公倍数。

在C语言中，我们可以使用欧几里得算法（也称为辗转相除法）来求解两个正整数的最大公约数（Greatest Common Divisor, GCD），而最小公倍数（Least Common Multiple, LCM）可以利用公式 `LCM(a, b) = |a * b| / GCD(a, b)` 来计算。下面是一个简单的程序实现：

#include <stdio.h>

// 求最大公约数（Euclidean Algorithm）
int gcd(int a, int b) {
    if (b == 0)
        return a;
    else
        return gcd(b, a % b);
}

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

int main() {
    int m, n;
    printf("请输入两个正整数 m 和 n: ");
    scanf("%d %d", &m, &n);

    int gcd_result = gcd(m, n);
    int lcm_result = lcm(m, n);

    printf("这两个数的最大公约数是: %d\n", gcd_result);
    printf("这两个数的最小公倍数是: %d\n", lcm_result);

    return 0;
}

在这个程序中，用户输入两个正整数m和n，然后分别计算它们的最大公约数和最小公倍数，并将结果输出。