数论算法实践：亲和数、素数和与哥德巴赫猜想

1. 亲和数：数学中的完美伴侣

在数论领域中，亲和数（Amicable Numbers）是一对特殊的自然数，它们彼此的真因数之和等于对方。这个概念最早可以追溯到公元前500年的毕达哥拉斯学派，但直到1636年才由法国数学家皮埃尔·德·费马发现第二对亲和数(17296, 18416)。

1.1 亲和数的定义与性质

亲和数的数学定义非常明确：对于两个不同的自然数m和n，如果满足σ(m)-m=n且σ(n)-n=m（其中σ表示所有正因数之和函数），那么这对数就是亲和数。最经典的例子是(220, 284)：

• 220的真因数：1, 2, 4, 5, 10, 11, 20, 22, 44, 55, 110
• 这些数的和：1+2+4+5+10+11+20+22+44+55+110 = 284
• 284的真因数：1, 2, 4, 71, 142
• 这些数的和：1+2+4+71+142 = 220

1.2 寻找亲和数的算法实现

现代计算机使得寻找亲和数变得容易许多。以下是一个Python实现的简单算法：

python复制def sum_proper_divisors(n):
    if n == 1:
        return 0
    total = 1
    sqrt_n = int(n**0.5)
    for i in range(2, sqrt_n + 1):
        if n % i == 0:
            other = n // i
            total += i
            if i != other:
                total += other
    return total

def find_amicable_numbers(limit):
    amicable_pairs = []
    for a in range(2, limit + 1):
        b = sum_proper_divisors(a)
        if b > a and sum_proper_divisors(b) == a:
            amicable_pairs.append((a, b))
    return amica