9.5.6定理证明。定义函数，判断某个数是否为素数，编程证明1000以内的正偶数（大于等于4）都能分解为两个素数的和，请给出每个偶数的分解结果，例如，4=2+2，每行显示6个式子_matlab1000以内的大于4的偶数等于两个素数之和

首先写一个判断是否为素数的函数：

from math import*
def judge(x):
#判断是否为素数的函数
    for i in range(2,ceil(x/2)+1):
        if x%i==0:
            return False
    else:
        return True

然后我们证明问题

遍历正偶素，从正偶数为i，取j为i中的数，k=i-j，这样就可以得出和式，然后判断就，jk是否为素数即可

i=4
count=0
while i <=1000:
    for j in range(2,i):
        k=i-j
        if judge(k) and judge(j):
            print("{}={}+{}".format(i,j,k),end=" ")
            count+=1
            if count%6==0:
                print()
            break
    else:
        print("error")
    i+=2

完整代码

from math import*
def judge(x):
#判断是否为素数的函数
    for i in range(2,ceil(x/2)+1):
        if x%i==0:
            return False
    else:
        return True
 
i=4
count=0
while i <=1000:
    for j in range(2,i):
        k=i-j
        if judge(k) and judge(j):
            print("{}={}+{}".format(i,j,k),end=" ")
            count+=1
            if count%6==0:
                print()
            break
    else:
        print("error")
    i+=2