［参］細矢治夫「トポロジカル・インデックス」日本評論社

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ヘロン三角形

　３辺の長さ比が３：４：５の直角三角形は代表的かつ最小のピタゴラス三角形ですから，ピタゴラス三角形の大家族の元祖という意味で，エジプト三角形と呼ばれることもあります．すべてのピタゴラス三角形は整数の面積をもっています．

　三辺の長さと面積が整数である三角形をヘロン三角形といいますが，エジプト三角形は既約で，３辺の長さの公差が１の等差数列をなすヘロン三角形です．

　直角三角形でない三角形の中にもヘロン三角形は存在します．ヘロン三角形は２つのピタゴラス三角形を貼り合わせることで簡単に作ることができ，たとえば，直角三角形（５，１２，１３）と直角三角形（９，１２，１５）から三辺の長さが（１３，１４，１５）で面積が８４の鋭角三角形と三辺の長さが（４，１３，１５）で面積が２４の鈍角三角形が得られます．

　一般に，３辺と面積が有理数であるようなすべての三角形は，有理数辺をもつ２つの直角三角形から合成されます．３辺がすべて有理数の直角三角形は適当な整数倍によってピタゴラス三角形になりますから，ヘロン三角形は広義のピラゴラス三角形から合成されるといってもよいでしょう．なお，直角三角形の面積は６の倍数ですが，それが平方数となる（ａ，ｂ，ｃ）は存在しません．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】連続数のヘロン三角形

　（１３，１４，１５）というヘロン三角形は，既約で，３辺の長さの公差が１の等差数列であって，元祖（３，４，５）についで興味深いものである．その次に大きいのが（５１，５２，５３）である．

　ａ＜ｂ＜ｃとしても一般性を失わない，

　　ａ＝ｂ−１，ｃ＝ｂ＋１

また，ｂを底辺としたときの高さをｈとすると，三角形の面積は

　　Ｓ＝ｂｈ／２，Ｓ^2＝ｂ^2ｈ^2／４

　ヘロンの公式より，２ｓ＝ａ＋ｂ＋ｃとすると，三角形の面積は

　　Ｓ^2＝ｓ（ｓ−ａ）（ｓ−ｂ）（ｓ−ｃ）

　＝（２ａ^2ｂ^2＋２ｂ^2ｃ^2＋２ｃ^2ａ^2−ａ^4−ｂ^4−ｃ^4）／１６

　＝（ａ＋ｂ＋ｃ）（−ａ＋ｂ＋ｃ）（ａ−ｂ＋ｃ）（ａ＋ｂ−ｃ）／１６

　＝３ｂ^2（ｂ^2−４）／１６

　これより

　　４ｈ^2＝３（ｂ^2−４）

ここで，ｂ＝２ｍとおくと，

　　ｈ^2＝３（ｍ^2−１）

であるから，ペル方程式ｈ^2−３ｍ^2＝−３というペル方程式に帰着される．

　これを解くと

　　（ａ，ｂ，ｃ）＝（３，４，５），（１３，１４，１５），（５１，５２，５３），（１９３，１９４，１９５），（７２３，７２４，７２５），（２７０１，２７０２，２７０３），・・・が得られる．

　また，ｂ，ｈ，ｍについては漸化式

　　ａn＝４ａn-1−ａn-2

ａ，ｃについては漸化式

　　ａn＝５ａn-1−５ａn-2＋ａn-3

Ｓについては漸化式

　　ａn＝１４ａn-1−ａn-2

が得られる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝