角古猜想python

角古猜想是一个数学命题，也被称为费马角古猜想，它指出对于一个大于2的整数n，如果n是一个费马素数，那么它可以被表示为两个平方数之和，也就是存在正整数x和y，使得n = x^2 + y^2。在Python中，可以使用以下代码来判断一个数是否为费马素数，并且满足角古猜想：

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

def is_sum_of_squares(n):
    for i in range(int(n**0.5) + 1):
        j = int((n - i**2)**0.5)
        if i**2 + j**2 == n:
            return True
    return False

n = 17
if is_fermat_prime(n) and is_sum_of_squares(n):
    print("n满足角古猜想")
else:
    print("n不满足角古猜想")

在上面的代码中，is_fermat_prime函数用来判断一个数是否为费马素数，is_sum_of_squares函数用来判断一个数是否可以表示为两个平方数之和。如果一个数同时满足这两个条件，那么它就满足角古猜想。