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

b2 c2 a2 2x2

2222 a c b 2y.

a2 b2 c2 2z2

即

x2 y2 c2

222 x z b.

y2 z2 a2

由于三边分别为a2(b2 c2 a2)、b2(a2 c2 b2)、c2(a2 b2 c2)的三角形为Heron三角形，对此三角形我们有，半周长p 2(x2y2 y2z2 z2x2)，面积S 4x2y2z2x2y2 y2z2 z2x2.从而x2y2 y2z2 z2x2为平方数。

x2 y2 c2

反之，如果存在正整数x,y,z满足 x2 z2 b2

y2 z2 a2

且x2y2 y2z2 z2x2为平方数.容易验证三边分别为a2x2、b2y2、c2z2的三角形为Heron三角形，三条边都是平方数且角平分线均为有理数。故定理成立。

完全类似地，不难证明：

定理4.2 设(a,b,c)为本原Heron数组且满足c2 a2 b2，若相似于三边分别为a2(b2 c2 a2)、b2(a2 c2 b2)、c2(c2 a2 b2)的本原Heron三角形的三条边都是平方数，则存在正整数x,y,z满足

x2 y2 c2

222 x z b y2 z2 a2

222222且xy yz zx为平方数。反之，如果存在正整数x,y,z满足 上述条件，则相似于三边分别为a2(b2 c2 a2)、b2(a2 c2 b2)、