编写函数，接收两个正整数作为参数，返回一个元组，其中第一个元素为两个正整数的最大公约数，第二个元素为其最小公倍数，输出最大公约数和最小公偕数

当你需要编写一个函数来计算两个正整数的最大公约数（GCD，Greatest Common Divisor）和最小公倍数（LCM，Least Common Multiple），可以使用欧几里得算法来找到最大公约数，并利用这个结果来计算最小公倍数。以下是Python的一个示例：

def gcd_lcm(a, b):
    def gcd(a, b):  # 辗转相除法求最大公约数
        if b == 0:
            return a
        else:
            return gcd(b, a % b)

    lcm = abs(a * b) // gcd(a, b)  # 最小公倍数公式

    return (gcd(a, b), lcm)

# 使用函数
num1 = int(input("请输入第一个正整数: "))
num2 = int(input("请输入第二个正整数: "))

result = gcd_lcm(num1, num2)
print(f"最大公约数是: {result[0]}")
print(f"最小公倍数是: {result[1]}")