数学小记

近来看到的一个小小的数学问题，简单一记~

问题

给定任一奇数a,求平方数b,使其与a的和等于另一平方数c

初一看该问题没想到直接的构造方法,首先使用穷举法来看下小范围数值的结果:

function is_square_num(n)
    local sqrt = math.floor(math.sqrt(n))
    return sqrt * sqrt == n
end

function calc_square_sum(n)
    local begin = 1
    while true do
        local b = begin * begin
        if is_square_num(b + n) then
            return b
        else
            begin = begin + 1
        end
    end
end

function print_square_sum(n)
    local b = calc_square_sum(n)
    print(n .. " + " .. b .. " = " .. (n + b))
end

测试一些小范围数值:

print_square_sum(3)
print_square_sum(5)
print_square_sum(7)

结果如下:

3 + 1 = 4
5 + 4 = 9
7 + 9 = 16

观察到程序搜索到的b和c都可以写成n和n+1的形式:

我们简单来计算一下 (n+1)^2 - (n)^2:

结果为 2n + 1, 考虑到任一奇数都可以表示成这种形式,所以使用以下构造方法即可立即得到上述的b和c:

改写的代码如下:

function is_square_num(n)
    local sqrt = math.floor(math.sqrt(n))
    return sqrt * sqrt == n
end

function calc_square_sum(n)
    local b = (n - 1) / 2
    return math.floor(b * b)
end

function print_square_sum(n)
    local b = calc_square_sum(n)
    print(n .. " + " .. b .. " = " .. (n + b))
end

引申问题

证明给定任一奇平方数a,都存在偶平方数b,使其与a的和等于另一平方数c

首先奇平方数也是奇数,所以根据第一个问题的结论方法,我们可以找到符合条件的平方数b和c,其中:

剩下的问题便是证明b是偶数,结合a是奇平方数的前提,我们可以得到:

综上,问题得证~