自用笔记45——欧几里得-欧拉定理

对于一个 正整数，如果它和除了它自身以外的所有 正因子 之和相等，我们称它为 「完美数」。

给定一个 整数 n， 如果是完美数，返回 true，否则返回 false

示例 1：

输入：28
输出：True
解释：28 = 1 + 2 + 4 + 7 + 14
1, 2, 4, 7, 和 14 是 28 的所有正因子。
示例 2：

输入：num = 6
输出：true
示例 3：

输入：num = 496
输出：true
示例 4：

输入：num = 8128
输出：true
示例 5：

输入：num = 2
输出：false

提示：

1 <= num <= 108

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/perfect-number
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

为了节省时间默认和为1.i从2开始判断是否是num的因数，判断到num^0.5，如果是num的因数，通过num/i求出另一个因数
注意的是因为在循环判断中是i<=pow(num,0.5)所以如果num是完全平方数会导致加了两次根方值，所以在下面判断中需要减去一个根方值。但是第一次忘记这个判断条件的情况下结果也对，应该完全平方数都不是完美数。

bool checkPerfectNumber(int num){
    int i=2,sum=1;
    if(num == 1)
        return false;
    for(i=2;i<=pow(num,0.5);i++)
    {
        if(num%i == 0)
            sum = sum+i+num/i;
    }
    if(num/sqrt(num) == sqrt(num))
        sum = sum-sqrt(num);
    if(sum == num)
        return true;
    else
        return false;
}

欧几里得-欧拉定理
欧几里得-欧拉定理告诉我们，每个偶完全数都可以写成 2^{p-1}(2^p-1) 的形式，其中 pp 为素数。例如前四个完全数可以写成如下形式
6 = 2^1 * (2^2 - 1)
28 = 2^2 * (2^3 - 1)
496 = 2^3 * (2^4 - 1)
8128 = 2^4 * (2^5 - 1)
由于目前奇完全数还未被发现，因此所有的完全数都可以写成上述形式。当 n 不超过 10^8 时，p 也不会很大，因此我们只要带入最小的若干个素数 2, 3, 5, 7, 13, 17, 19, 31)，将不超过 10^8 的所有完全数计算出来即可。