三角形の辺に関連する整数問題(大阪医科大学2019年前期数学第1問)

大阪医科大学の前期試験から三角形の辺に関連する整数問題をピックアップします。いわゆる「ナゴヤ三角形」とその仲間に関する問題です。


《問題》

ABCは、3辺の長さ BC=aCA=bAB=c が整数で BAC=π3 を満たすとする。

(1)ab=21 を満たすような(a,b,c)をすべて求めよ。

(2)a+b+c=bc2 を満たすような(a,b,c)をすべて求めよ。

(大阪医科大学2019年 前期第1問)


《考え方》

角度が与えられているので、まずは余弦定理を用いて関係式を作りましょう。後は式変形で上手く絞り込みます。


解答例

 

(1)

a,b,c は辺の長さなので正の整数であることに注意する。ABCに対して余弦定理を適用するとa2=b2+c22bccosπ3c2bc+b2a2=0を得る。①をcの二次方程式と見て判別式を考えると、D=b24(b2a2)=4a23b20となる。②を満たすabab=21 を満たすものは (a,b)=(7,3),(21,1) のみである。

 

(a,b)=(7,3) を①に代入して c=8 を得る。

 

(a,b)=(21,1) を①に代入すると c2c440=0 となり正の整数解をもたない。

 

以上より、(a,b,c)=(7,3,8)()を得る。

 

※参考図:

 

 

(2)

a=bc2bc の両辺を二乗するとa2=b2c24b2cbc2+(a+b)2となる。これを①に代入して整理するとb2c24b2c4bc2+12bc=0 (b4)(c4)=4(bc>0)と変形できる。これより(b,c)=(5,8),(6,6),(8,5)を得るので、(a,b,c)=(7,5,8),(6,6,6),(7,8,5) ()と求められる。

 

※参考図:

 


 

本問は整数問題としては基本レベルですが、題材は意外と奥深かったりします。1つの角が60で各辺の長さが整数であるような三角形の3辺は{a=m2mn+n2b=2mnn2c=m2n2で与えられることが知られています(m+n3の倍数の場合については返信コメント欄を参照して下さい)。特に3辺が「7、5、8」の三角形を「ナゴヤ三角形」と俗称します。この名称は一松信先生の命名だそうです。遊び心がありますね(^▽^)

因みに、1つの角が120で各辺の長さが整数であるような三角形は「アイゼンシュタイン三角形」(Eisenstein triple) と呼ばれます。こちらの各辺は{a=m2+mn+n2b=2mn+n2c=m2n2で与えられます。因みに、こちらは3辺が「7、5、3」の三角形が登場するので「和み三角形」と呼ばれることもあるとかないとか。

“三角形の辺に関連する整数問題(大阪医科大学2019年前期数学第1問)” への2件の返信

  1. 3数がすべて互いに素な場合の生成式について、1つの角が120度の場合はコメントの通りで大丈夫だと思いますが、60度の場合(m+nが3の倍数のとき)はm^2-mn+n^2、2mn-n^2、m^2-n^2を3で割らないとできない三角形があるようです。

  2. 廣津 孝さん
    コメント頂き、ありがとうございます。

    m2mn+n2=(m+n)23mn2mnn2=2n(m+n)3n2m2n2=(m+n)(mn)であり、m+n3の倍数の場合は全ての辺の長さが3の倍数となるので、3で割らなければならないということですね。

    最も簡単な例を挙げると、m=2n=1 のとき各辺の長さが3の正三角形を与えますが、各辺の長さが1の正三角形はどのような(m,n)の組に対してもこれらの一般式からは得られません。
    このような場合のために、m+n3の倍数の場合には既約な「ナゴヤ三角形」を得るために3で割る必要がある、ということのようです。

    また「アイゼンシュタイン三角形」についても(まだよく確認していませんが)互いに素な整数組(m,n)に対して周期的に3が公約数として出現しているようです。

    素因数の分布に関しては既によく調べられていそうな気がします。この辺りの話題は複素数平面とも絡んでくるので面白いですね。

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

©Copyright 2017-2025 理系のための備忘録 All Rights Reserved.