哥德巴赫猜想指出任一大于2的偶数可表示为两质数之和，程序通过is_prime函数判断质数并实现分解验证。
哥德巴赫猜想指出：任何一个大于2的偶数都可以表示为两个质数之和。虽然这个猜想尚未被数学证明，但我们可以通过编程来验证它在一定范围内的正确性。下面介绍如何用 Python 实现一个“哥德巴赫分解”程序，即对给定的偶数，找出所有满足条件的两个质数之和的组合。
判断一个数是否为质数
实现哥德巴赫分解的第一步是判断一个数是不是质数。我们可以写一个高效的函数来完成这个任务：
def is_prime(n): if n生成指定范围内的质数列表
为了提高效率，可以先生成小于等于目标偶数的所有质数，然后从中筛选配对：
def get_primes_up_to(n): return [i for i in range(2, n+1) if is_prime(i)]实现哥德巴赫分解
对一个大于2的偶数 n，遍历所有小于等于 n//2 的质数 p，检查 n - p 是否也是质数。如果是，就得到一组解 (p, n-p)。
立即学习“Python免费学习笔记（深入）”；
def goldbach_decompose(n): if n n // 2: break q = n - p if q in prime_set: results.append((p, q)) return results例如调用：
print(goldbach_decompose(28))输出：
说明 28 = 5 + 23 和 11 + 17。
批量验证多个偶数
你也可以写一个函数来验证某个范围内所有偶数的哥德巴赫分解：
def verify_goldbach_in_range(start, end): if start % 2 == 1: start += 1 # 确保起始为偶数 for n in range(start, end+1, 2): decomp = goldbach_decompose(n) if decomp: p, q = decomp[0] # 只显示第一组解 print(f"{n} = {p} + {q}") else: print(f"{n} 无法分解（理论上不应发生）")调用示例：
verify_goldbach_in_range(4, 20)输出：
4 = 2 + 2 6 = 3 + 3 8 = 3 + 5 10 = 3 + 7 12 = 5 + 7 14 = 3 + 11 16 = 3 + 13 18 = 5 + 13 20 = 3 + 17基本上就这些。代码简洁明了，适合学习和验证使用。注意只适用于偶数，奇数或小于4的情况需要额外处理。
