Python中使用gcd()函数判断两个数是否存在非平凡的公约数

在Python中，可以使用math模块中的gcd函数来判断两个数是否存在非平凡的公约数。gcd函数可以计算两个整数的最大公约数（Greatest Common Divisor，缩写为GCD）。

下面是一个使用gcd函数判断两个数是否存在非平凡的公约数的示例代码：

import math

def has_nontrivial_common_divisor(num1, num2):
    # 使用gcd函数计算num1和num2的最大公约数
    gcd_value = math.gcd(num1, num2)
    
    # 如果最大公约数大于1，则存在非平凡的公约数
    if gcd_value > 1:
        return True
    else:
        return False

# 使用例子
num1 = 12
num2 = 18

if has_nontrivial_common_divisor(num1, num2):
    print(f"{num1}和{num2}存在非平凡的公约数")
else:
    print(f"{num1}和{num2}不存在非平凡的公约数")

运行以上代码会输出：

12和18存在非平凡的公约数

在这个例子中，我们通过调用has_nontrivial_common_divisor函数来判断两个数num1和num2是否存在非平凡的公约数。函数内部使用了gcd函数来计算num1和num2的最大公约数，如果最大公约数大于1，则返回True，表示存在非平凡的公约数；否则返回False，表示不存在非平凡的公约数。

在这个例子中，num1为12，num2为18，它们的最大公约数为6，因此存在非平凡的公约数。因此，输出结果为"12和18存在非平凡的公约数"。