哥德巴赫猜想是近代三大数学难题之一，即任何一个大于2的偶数，都可表示成两个素数之和。 如: 4=2+2， 6=3+3， 8=3+5， 10=3+7。 请定义一个判断素数的函数，利用它验证4∼n之间的偶数都能够分解为两个素数之和，其中n≥4 。 输入 一行一个整数，为n。(4<=n<=10000) 输出 输出若干行，每行输出一个等式 "x=a+b" ，表示4∼n之间的偶数被分解为两个素数之和，若偶数不符合该整式，则输出“验证失败！”。 如果x能被多种组合方式表示,输出a最小的那种. 样例输入 复制 10 样例输出 复制 4=2+2 6=3+3 8=3+5 10=3+7

```python def is_prime(num): """判断一个数是否为素数""" if num < 2: return False for i in range(2, int(num0.5) + 1): if num % i == 0: return False return True def goldbach_verification(n): """验证4~n之间的偶数是否符合哥德巴赫猜想""" results = [] for x in range(4, n + 1, 2): found = False # 从最小的素数开始尝试 for a in range(2, x // 2 + 1): if is_prime(a): b = x - a if is_prime(b): results.append(f"{x}={a}+{b}") found = True break # 找到a最小的组合就停止 if not found: return ["验证失败！"] return results # 主程序 if __name__ == "__main__": n = int(input().strip()) results = goldbach_verification(n) for line in results: print(line) ``` 代码说明： 1. `is_prime(num)` 函数检查一个数是否为素数。 2. `goldbach_verification(n)` 函数验证4到n之间的所有偶数。 3. 对每个偶数x，从最小的素数a开始尝试，检查b = x - a是否为素数。 4. 找到a最小的有效组合后立即停止，输出等式。 5. 如果某个偶数找不到素数组合，返回“验证失败！”。 6. 主程序读取输入n，调用验证函数并输出结果。 运行示例： 输入：`10` 输出： ``` 4=2+2 6=3+3 8=3+5 10=3+7 ``` [2026-01-11 17:35:04 | AI问答 | 390点数解答]