用python写程序：验证哥德巴赫猜想。哥德巴赫猜想是说，任何一个超过2的偶数都可写成两个素数之和，比如4=2+2、8=5+3等等。本题目要求根据用户输入的偶数找出其质数和的分解形式。（集合）

以下是用 Python 编写的验证哥德巴赫猜想的程序：

def is_prime(n):
    if n <= 1:
        return False
    for i in range(2, int(n ** 0.5) + 1):
        if n % i == 0:
            return False
    return True

def goldbach_conjecture(n):
    if n % 2 != 0 or n <= 2:
        return None
    primes = [i for i in range(2, n) if is_prime(i)]
    for p in primes:
        if is_prime(n - p):
            return (p, n - p)
    return None

n = int(input("请输入一个大于2的偶数："))
result = goldbach_conjecture(n)
if result:
    print(f"{n} = {result[0]} + {result[1]}")
else:
    print("无法找到符合条件的质数和。")

运行程序后，输入一个大于2的偶数，程序会输出该偶数的质数和的分解形式。例如，输入 8，程序会输出：

8 = 3 + 5

如果无法找到符合条件的质数和，则输出：

无法找到符合条件的质数和。

注意，这个程序只是验证了哥德巴赫猜想对于输入的偶数是否成立，而并没有证明哥德巴赫猜想本身的正确性。