|
|
正整数拆分构造勾股数的完整表述(修正版)
核心修正:
设 S = a1^2 + a2^2 + ... + ak^2。
原恒等式左边第一项是 S,因此 S 对应的是某条直角边的平方。
只有 S = A^2 为完全平方数时,才能得到传统整数勾股三元组 (A,B,C)。
若 S 不是完全平方数,则得到的是多平方和恒等式,而不是三边整数勾股数。
一、基础定义
设
x = a1 + a2 + ... + ak,
其中 k >= 1,a1,a2,...,ak 均为正整数。
记拆分项的平方和为
S = a1^2 + a2^2 + ... + ak^2。
二、多平方和恒等式
1. 奇数型
当 S 为奇数时,令
B = (S - 1) / 2,
C = (S + 1) / 2。
则
a1^2 + a2^2 + ... + ak^2 + ((S - 1) / 2)^2 = ((S + 1) / 2)^2。
即
S + B^2 = C^2。
此时 C - B = 1。
2. 偶数型
当 S 除以 4 余 0,即 S mod 4 = 0 时,令
B = S / 4 - 1,
C = S / 4 + 1。
则
a1^2 + a2^2 + ... + ak^2 + (S / 4 - 1)^2 = (S / 4 + 1)^2。
即
S + B^2 = C^2。
此时 C - B = 2。
若 S mod 4 = 2,则 S / 4 为半整数,B、C 不能同时为整数,
应排除这类拆分。
3. 奇偶统一形式
令
d = 1,当 S 为奇数;
d = 2,当 S mod 4 = 0。
并令
B = (S - d^2) / (2d),
C = (S + d^2) / (2d)。
则统一写成
a1^2 + a2^2 + ... + ak^2 + ((S - d^2) / (2d))^2
= ((S + d^2) / (2d))^2。
因为
C - B = d,
C + B = S / d,
所以
C^2 - B^2 = (C - B)(C + B) = d * (S / d) = S。
恒等式成立。
三、整数勾股三元组的生成
若要得到传统整数勾股三元组,还必须令
S = A^2
为完全平方数。
此时
a1^2 + a2^2 + ... + ak^2 = A^2,
再按奇偶规则生成 B、C。
1. 奇数情形
若 A 为奇数,则
(A,B,C) = (A, (A^2 - 1) / 2, (A^2 + 1) / 2)。
满足
A^2 + ((A^2 - 1) / 2)^2 = ((A^2 + 1) / 2)^2。
2. 偶数情形
若 A 为偶数,则
(A,B,C) = (A, A^2 / 4 - 1, A^2 / 4 + 1)。
满足
A^2 + (A^2 / 4 - 1)^2 = (A^2 / 4 + 1)^2。
3. 勾股数的奇偶统一形式
令
d = gcd(A,2),即
d = 1,当 A 为奇数;
d = 2,当 A 为偶数。
则
(A,B,C) = (A, (A^2 - d^2) / (2d), (A^2 + d^2) / (2d))。
其中:
奇数 A >= 3;
偶数 A >= 4。
这就是经典单直角边构造勾股数的奇偶统一公式。
四、完整构造流程
1. 取正整数 x >= 3;
2. 将 x 拆分为
x = a1 + a2 + ... + ak;
3. 计算平方和
S = a1^2 + a2^2 + ... + ak^2;
4. 若 S 为奇数或 S mod 4 = 0,可按统一形式得到多平方和恒等式;
5. 若要得到整数勾股三元组,进一步判断 S 是否为完全平方数:
S = A^2;
6. 取
d = gcd(A,2);
7. 计算
B = (A^2 - d^2) / (2d),
C = (A^2 + d^2) / (2d);
8. 得到整数勾股三元组
(A,B,C)。
五、恒等性证明
统一形式下,
C^2 - B^2
= (C - B)(C + B)
= d * (S / d)
= S
= a1^2 + a2^2 + ... + ak^2。
因此
a1^2 + a2^2 + ... + ak^2 + B^2 = C^2。
当 S = A^2 时,即得
A^2 + B^2 = C^2。
六、实例修正
例 1:x = 5
拆分
5 = 1 + 2 + 2,
则
S = 1^2 + 2^2 + 2^2 = 1 + 4 + 4 = 9 = 3^2。
取 A = 3,d = gcd(3,2) = 1,于是
B = (9 - 1) / 2 = 4,
C = (9 + 1) / 2 = 5。
得到
(3,4,5),
对应恒等式
1^2 + 2^2 + 2^2 + 4^2 = 5^2。
注意:原稿中
5 = 2 + 3,S = 2^2 + 3^2 = 13,
得到的是
2^2 + 3^2 + 6^2 = 7^2,
这是多平方和恒等式,对应实数三边为
(sqrt(13), 6, 7),
不是整数勾股三元组。
例 2:x = 6
单拆
6 = 6,
则
S = 6^2 = 36 = 6^2。
取 A = 6,d = gcd(6,2) = 2,于是
B = (36 - 4) / 4 = 8,
C = (36 + 4) / 4 = 10。
得到
(6,8,10),
即
6^2 + 8^2 = 10^2。
又如
6 = 2 + 4,
S = 2^2 + 4^2 = 4 + 16 = 20,
得到
2^2 + 4^2 + 4^2 = 6^2,
这是多平方和恒等式,不是三边整数勾股数。
七、最终结论
完整公式可概括为:
a1 + a2 + ... + ak = x,
S = a1^2 + a2^2 + ... + ak^2。
若 S 为奇数,则
a1^2 + a2^2 + ... + ak^2 + ((S - 1) / 2)^2
= ((S + 1) / 2)^2。
若 S mod 4 = 0,则
a1^2 + a2^2 + ... + ak^2 + (S / 4 - 1)^2
= (S / 4 + 1)^2。
统一写作:取
d = 1,当 S 为奇数;
d = 2,当 S mod 4 = 0。
则
a1^2 + a2^2 + ... + ak^2 + ((S - d^2) / (2d))^2
= ((S + d^2) / (2d))^2。
若要得到整数勾股三元组,还需令
S = A^2
为完全平方数。
此时令
d = gcd(A,2),
则
(A,B,C) = (A, (A^2 - d^2) / (2d), (A^2 + d^2) / (2d))。
因此,原方法的准确表述应为:
将正整数拆分后,以拆分项的平方和 S 作为直角边的平方;
当 S = A^2 为完全平方数时,按奇偶统一规则生成整数勾股三元组 (A,B,C)。
若 S 不是完全平方数,则得到的是多平方和恒等式,而不是传统三边整数勾股数。
``` |
|