毕氏数,又名商高数或勾股数(Pythagorean triple),是由三个正整数组成的数组;能符合毕氏定理(毕式定理)“”之中,的正整数解。而且,基于毕氏定理的逆定理,任何边长是毕氏数组的三角形都是直角三角形。
如果是毕氏数,它们的正整数倍数,也是毕氏数,即也是毕氏数。若果三者互质(它们的最大公因数是 1),它们就称为素毕氏数或本原毕氏数组。
找出素毕氏数
例子
以下是小于 100 的素毕氏数:
|
|
|
3 |
4 |
5
|
5 |
12 |
13
|
7 |
24 |
25
|
8 |
15 |
17
|
9 |
40 |
41
|
11 |
60 |
61
|
12 |
35 |
37
|
13 |
84 |
85
|
16 |
63 |
65
|
20 |
21 |
29
|
28 |
45 |
53
|
33 |
56 |
65
|
36 |
77 |
85
|
39 |
80 |
89
|
48 |
55 |
73
|
65 |
72 |
97
|
有些毕氏数组可以有同一个最小的毕氏数。第一个例子是 20 ,它在以下两组毕氏数之中出现: 与 。
其中最先例子是5,它在以下两组毕氏数之中出现 及 。
在 15,386 组素毕氏数的 1229779565176982820 ,它的最小与最大的毕氏数组是:
-
-
-
与
-
-
-
试考虑它的素因数分解
-
它素因数的个数涉及不少素毕氏数。当然,数学上存在比它大的素毕氏数。
性质
对于本原毕氏数组 , ,我们有
- 两两互素
- 其中一个是3的倍数
- 其中一个是4的倍数
- 其中一个是5的倍数
对于第二、三、四条性质的证明:
利用完全平方数 若 都不是3的倍数,则 ,导致 矛盾,所以 一定有且只有一个数是3的倍数。
因为 是本原毕氏数组,所以必有 一奇一偶。不妨设 为奇数, 为偶数,这时候对 两边同时 ,则会得到 ,故 ,所以 一定有且只有一个数是4的倍数。
利用完全平方数 若 都不是5的倍数,则 或 或 ,而 或 ,矛盾,所以 一定有且只有一个数是5的倍数。
证毕。
找寻毕氏数的小技巧
若需要一组最小数为奇数的毕氏数,可任意选取一个 3 或以上的奇数,将该数自乘为平方数,除以 2,答案加减 0.5 可得到两个新的数字,这两个数字连同一开始选取的奇数,三者必定形成一组毕氏数[1]。但却不一定是以这个选取数字为起首毕氏数的最小可能或唯一可能,例如 并非是以 27 为起首的唯一毕氏数,因为存在另一个毕氏数是 ,同样也以 27 为首。
对于任何大于1的整数 , 、 与 ,三个数必为毕氏数[1],例如:代入 为2,则 为5, 为3, 为4, 为一组毕氏数。
推广
参见
外部链接