用Python验证哥德巴赫猜想：（输入任意大于2的偶数，找出两个素数，其和等于输入的偶数。若找到输出这两个素数，否则输出找不到） 这个问题可分解成两个步骤：1)判断正整数是否为素数，2)任意偶数是否能分解为两个素数之和。 1）编写判断素数的函数：isPrime(q)，若参数q为素数返回True，否则返回False。 2）编写偶数分解函数：decompose(os)，如果参数os能分解成两个素数之和则输出这两个素数，否则输出找不到。

以下是Python代码实现：

import math

# 判断正整数是否为素数
def isPrime(q):
    if q < 2: # 判断小于2的数都不是素数
        return False
    elif q == 2: # 2是素数
        return True
    elif q % 2 == 0: # 偶数不是素数
        return False
    else:
        for i in range(3, int(math.sqrt(q))+1, 2): # 只需判断奇数
            if q % i == 0:
                return False
        return True

# 任意偶数是否能分解为两个素数之和
def decompose(os):
    for i in range(2, os//2+1): # 只需循环到一半即可
        if isPrime(i) and isPrime(os-i): # 判断两个数是否都为素数
            return i, os-i # 返回这两个素数
    return "找不到" # 没有找到两个素数之和等于os

# 输入一个偶数，进行分解
os = int(input("请输入一个大于2的偶数："))
if os % 2 != 0 or os < 2:
    print("输入错误！")
else:
    print(decompose(os))

示例输出：

请输入一个大于2的偶数：30
(7, 23)

说明：30可以分解为7和23两个素数之和。