Hall矩阵的性质宋海洲.PDFVIP

Hall 矩阵的性质 宋海洲 （华侨大学数学系，泉州 362021） 摘要： 关键词：勾股数；本原勾股数；群；有限生成 若整数a,b,c 满足a2 +b2 c2 ，称 a,b,c 为一组（广义）勾股数组，如果 { } 勾股数组写成向量形式(a,b, c) ，则称该向量为一个勾股向量。 1970 年，Hall[1]构造了如下三个有趣的矩阵，得到了如下的定理 1： ⎛1 2 2⎞ ⎛−1 −2 −2⎞ ⎛ 1 2 2 ⎞ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ 定理 1：设F = ，F = ，F = − − − ， 2 1 2 2 1 2 2 1 2 1 ⎜ ⎟ 2 ⎜ ⎟ 3 ⎜ ⎟ ⎜⎝2 2 3 ⎟⎠ ⎜⎝ 2 2 3 ⎟⎠ ⎜⎝ 2 2 3 ⎟⎠ (a,b, c) 是任意一勾股向量，即a2 +b2 c2 ，则(a,b, c) F ，(a,b, c) F ， 1 2 (a,b, c) F 仍然为勾股向量。 3 定义 1：若a,b,c 满足a2 +b2 c2 ，且a,b,c 互素，我们称{a,b,c}为一组本 原勾股数组，对应的向量为一个本原勾股向量。 显然我们有如下的引理： 引理 1：如果α= (a,b, c) 是任意的一个本原勾股向量，那么a,b 之中必有一 个是奇数，一个是偶数，而c 必是奇数。 定义 2 ：如果正整数a,b,c 满足： a2 +b2 c2 ，且a,b,c 互素，并且b 是偶 数，我们称 a,b,c 为一组规范本原勾股数组，对应的向量为一个规范本原勾股 { } 向量。 1 规范本原勾股向量的表示 记H = (a,b, c) (a,b, c)是规范本原向量 。 { } ⎧ k 2 −m2 k 2 +m2 ⎫ 定理 2 ： H = 。 ⎨(km, , ) k m 0, k , m都是奇数，k与m互素 ⎬ ⎩ 2 2 ⎭ 证 明 ： 设 k m 0, k , m都是奇数，k与m互素 。 容 易 验 证 k 2 −m2 k 2 +m2 k 2 −m2 k 2 +m2 (km, , ) 是一个勾股向量， km 0, 0, 0 并且 2 2 2 2 k 2 −m2 k 2 −m2 k 2 +m