Python实现哥德巴赫猜想验证：函数分解与代码解析

周叙

发布时间：2026-10-14 | 3人浏览过

原创

本文介绍如何使用Python函数式编程思想验证哥德巴赫猜想。通过定义素数判断与偶数拆分函数，对8至10000范围内的偶数进行遍历测试。文章提供了两种实现思路及完整代码，展示如何生成素数列表并验证两素数之和等于目标偶数的逻辑，附带具体测试数据输出结果。

哥德巴赫猜想验证概述

哥德巴赫猜想指出，所有大于8的偶数均可表示为两个素数之和。

验证范围设定为8至10000之间的偶数。

基础验证思路

实现思路如下：

首先暂且不纠结具体实现细节，重点在于明确完成该任务的方法论：

核心逻辑是验证大于8的偶数是否都能分解为两个素数之和：


# 可以假设 这个猜想是正确的。
# 设一个变量是true
flag = True
# 确定范围 8 - 10000
for fanwei in range(8,10000,2):
# 如果猜想错误如何？
    if not caixiang(fanwei):
        flag = False
# 正确又如何错误又如何？
if flag = True:
     print('猜想正确')
else:
    print('猜想错误')

随后编写一个函数来判定该猜想是否成立，若成立则返回True。


def caixiang(n):
# 这里需要所有的素数 8 - 10000的
# 这里的目的是为了拆分出两素数参数n 和 循环名 m 两个变量
    for m in range(1,n//2+1):
        if sushu(m) and sushu(n-m):
            return True
    return False

此外，还需实现一个子函数用于判断数字是否为素数：


def sushu(n):
    su = 0
    for i in range(1,n-1):
        c = n%i
        if c == 0:
            su += 1
    return True

至此，哥德巴赫猜想的验证逻辑即告完成。

扩展实现方案

思路扩展：

具体实现方案：

可以定义两个独立函数，分别用于判断素数和执行分解操作。利用前述函数生成n范围内的素数列表。通过双重for循环遍历迭代变量，若两变量之和等于参数n，则将这两个变量加入结果列表。遍历所有情况后返回列表并打印输出。

参考代码实现：


import  math
def isprime(n): #判断素数
    if n == 1:
        return False
    elif n == 2:
        return True
    else:
        for i in range(2,int(math.sqrt(n)+1)):
            if n%i == 0:
                return False
        return True
 
def thonsand(n) : #生成若干个素数，返回素数list
    a = []
    for i in range(1,n+1):
        if isprime(i):
            a.append(i)
    return a
"""利用前面的两个函数生成n范围内的素数列表
两层for循环，两个迭代变量之和如果等于参数n就加入列表中
循环完所有的情况后返回列表，并打印输出。
"""
def gdbh(n): 
    a =[]
    ls = thonsand(n)
    for i in ls:
        for j in ls:
            if n == i+j:
                a.append(i)
                a.append(j)
    return a
                
ls2 = gdbh(12)
ls3 = gdbh(152)
print(ls2)
print(ls3)

使用测试数据12和152进行验证。

输出结果如下：