用Python创建一个程序，计算机将从4开始查找4~无穷大 的区间查找偶数是否可以拆成两个质数

```python # 判断一个数是否为质数的函数 def is_prime(n): if n < 2: return False for i in range(2, int(n0.5) + 1): if n % i == 0: return False return True # 检查偶数是否可以拆成两个质数 def check_even_split(even_num): for i in range(2, even_num // 2 + 1): if is_prime(i) and is_prime(even_num - i): return True return False # 从4开始查找偶数并检查 num = 4 while True: if num % 2 == 0: if not check_even_split(num): print(f"发现反例: {num} 不能拆成两个质数。") break print(f"{num} 可以拆成两个质数。") num = num + 1 ``` 在上述代码中，定义了两个函数。`is_prime`函数用于判断一个数是否为质数，通过检查该数是否能被2到其平方根之间的数整除来判断。`check_even_split`函数用于检查一个偶数是否可以拆成两个质数，通过遍历从2到该偶数一半的所有数，检查该数和该偶数减去该数是否都为质数。在主程序中，从4开始，不断递增数字，对每个偶数调用`check_even_split`函数进行检查，如果发现不能拆成两个质数的偶数，则输出反例并停止程序；否则，输出该偶数可以拆成两个质数。 需要说明的是，这其实是在验证哥德巴赫猜想，目前该猜想在很大范围内都被验证是成立的，所以这个程序大概率不会找到反例而会一直运行下去。 [2025-12-27 09:42:26 | AI问答 | 407点数解答]