全国中学生科技大赛参赛作品

a2(b2 c2 a2)、b2(a2 c2 b2)、c2(a2 b2 c2)的本原Heron三角形的三条边都是平方数，则存在正整数x,y,z满足

x2 y2 c2

222 x z b y2 z2 a2

且x2y2 y2z2 z2x2为平方数。反之，如果存在正整数x,y,z满足 上述条件，则相似于三边分别为a2(b2 c2 a2)、b2(a2 c2 b2)、c2(a2 b2 c2)的本原Heron三角形的三条边都是平方数且角平分线均为有理数。

证明：由于(a,b,c)为本原Heron数组，故a,b,c中恰有一个偶数和两个奇数且(a,b,c) 1。由对称性，我们不妨设b,c为奇数，a为偶数。 设相似于三边分别为a2(b2 c2 a2)、b2(a2 c2 b2)、

则必有正整c2(a2 b2 c2)的本原Heron三角形的三条边都是平方数，

数 ,u,v,w满足：

a2(b2 c2 a2) u2

22222 b(a c b) v （4.1）

c2(a2 b2 c2) w2

其中 中没有平方因子，从而必有整数x,y,z使得

b2 c2 a2 x2

2222 a c b y.

a2 b2 c2 z2

即

2c2 (x2 y2) 222 2b (x z).

2a2 (y2 z2)

由于(a,b,c) 1，故 |2.比较（4.1）式的奇偶性，我们有 2。于是