Python 初学者练习:验证哥德巴赫猜想

哥德巴赫猜想（Goldbach's Conjecture，也被称为哥德巴赫-欧拉猜想或“每个大于2的偶数都可以写成两个素数之和”）是一个未解决的数学问题，尽管对于所有已经检验过的偶数都已经被验证成立，但我们仍然没有一个普适的证明。不过，在Python中，我们可以编写一个程序来验证哥德巴赫猜想对于给定范围内的偶数是否成立。

设计判断素数的函数 prime，若是素数返回 True，否则返回 False。利用该函数验证哥德巴赫猜想:任意大于等于 4 的偶数，可以用两个素数之和表示。输出大于等于 4 的偶数的所有素数对之和。

如:

输入一个大于等于4的偶数：60
60=7+53
60=13+47
60=17+43
60=19+41
60=23+37
60=29+31

输入一个大于等于4的偶数：124
124=11+113
124=17+107
124=23+101
124=41+83
124=53+71

程序如下:

def prime(x):
    if x < 2:
        return False
    for i in range(2, int(x**0.5) + 1):
        if x % i == 0:
            return False
    return True

def find_prime_pairs(n):
    pairs = []
    for a in range(2, n // 2 + 1):
        b = n - a
        if prime(a) and prime(b):
            pairs.append((a, b))
    return pairs

n = int(input("输入一个大于等于4的偶数："))

pairs = find_prime_pairs(n)
if pairs:
    for i in pairs:
        print(f"{n}={i[0]}+{i[1]}")
else:
    print(f"无法找到两个素数之和为{n}")

设计 prime(x) 函数，若 x 是素数返回 True，否则返回 False 。

将输入的整数拆成 x=a+b 两个数之和，只要控制 a 的变化范围即可，a 的取值范围为[2,x/2]。当循环遍历到一个 a，则 b=x-a，若 a 和 b 都是素数，则按要求输出这两个数。

这个程序的效率并不高，特别是当 end 很大时，因为它会检查每一个偶数是否可以通过两个素数之和来表示。然而，它足够用来验证哥德巴赫猜想在较小的范围内是否成立。对于较大的数，有更高效的算法可以用来查找素数，但这会超出这个简单示例的范围。