验证哥德巴赫猜想python代码验证20亿内的偶数都能分解成两个素数之和

哥德巴赫猜想是一个数论问题，它认为每一个大于2的偶数都可以表示为两个素数之和。使用Python来验证20亿内的偶数是否能被分解为两个素数之和可以通过以下代码实现：

import math

def is_prime(num):
    if num < 2:
        return False
    for i in range(2, int(math.sqrt(num)) + 1):
        if num % i == 0:
            return False
    return True

def verify_goldbach(limit):
    if limit % 2 != 0:
        limit -= 1  # 如果是奇数，减去1使其变为偶数
    for num in range(4, limit + 1, 2):
        found = False
        for i in range(2, num // 2 + 1):
            if is_prime(i) and is_prime(num - i):
                print(f"{num} = {i} + {num-i}")
                found = True
                break
        if not found:
            print(f"无法验证 {num} 能被分解为两个素数之和")

verify_goldbach(2000000000)

以上代码中，`is_prime`函数用于判断一个数是否为素数。它通过判断从2到数的平方根之间是否存在可以整除该数的因子来确定是否为素数。

`verify_goldbach`函数则用于验证每一个偶数是否能被分解为两个素数之和。它依次遍历从4到给定上限的所有偶数，并在每个偶数中尝试所有可能的素数相加的组合。如果找到了两个素数的组合，则打印出分解的结果；如果找不到任何组合，则打印出无法验证该偶数的结果。

通过运行以上代码，我们可以验证20亿内的偶数是否能被分解为两个素数之和。