利用递归函数原理，设计一个求两个正整数的最大公约数的递归函数，并调用该函数的验证结果

下面是求两个正整数的最大公约数的递归函数实现：

def gcd(a, b):
    if b == 0:
        return a
    else:
        return gcd(b, a % b)

函数的基本思路是利用求最大公约数的欧几里得算法（辗转相除法）。具体实现中，如果 b 为 0，则 a 就是最大公约数；否则，将 b 与 a 取模的结果作为新的 a，b 作为新的 b，继续递归求解。

下面是一个简单的测试：

print(gcd(12, 18)) # 输出6

结果为 6，符合预期。