三角形ＡＢＣの各辺を１：λの比に順次内分した点Ｄ，Ｅ，Ｆとし，ＡＤ，ＢＥ，ＣＦの２本ずつの交点が作る三角計ＰＱＲを仮に「縮小三角形」と呼ぶことにする．

　正三角形の縮小三角形は正三角形であるが，中川宏さんの研究は任意の三角形の縮小三角形がもとの三角形と相似になる場合の問題である．かなり面白く，数セミ・ノート欄に投稿してもよいような内容である．

　一松信先生はこの問題を「重心座標」を使って計算されたそうであるから，小生も

　　［参］一松信「現代に活かす初等幾何入門」岩波書店，p10

を参考にしながら計算を試みたのであるが，重心座標系での相似形をどう表現するのかわからない．そこで，一松信先生に解説をお願いすることにした．

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

【１】縮小三角形がもとの三角形と相似になる場合

［Ｑ］縮小三角形がもとの三角形と相似になることがあるか？　あるとすればどのような場合か？

　中川宏さんはλ＝２で，三角形は直角三角形の場合を扱っているが，ここでは少し一般化し，λを１より大きい定数，三角形を任意の三角形として論じることにする．一松先生の結論を先にいうと

［Ａ］同じ向きに相似になるのは正三角形のときに限る．裏返しに相似になるのはパラメータａ，ｂ，ｃ，λの間に特別な関係がある場合である．たとえば，λ＝２のときは正三角形の半分（３辺の比が１：√３：２）のときがその一例である．

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

【２】証明

　以下，その証明をするが，重心座標による証明が簡便なので，それを使う．

［１］主要な点の重心座標はＤ（０，λ，１），Ｅ（１，０，λ），Ｆ（λ，１，０）

直線ＡＤ，ＢＥ，ＣＦの方程式はそれぞれｙ／λ＝ｚ，ｚ／λ＝ｘ，ｘ／λ＝ｙ．これらの交点としてＰ（λ，１，λ^2），Ｑ（λ^2，λ，１），Ｒ（１，λ^2，λ）　　　（いずれも重心座標の比のみ）

　ΔＰＱＲの面積／ΔＡＢＣの面積＝［λ，１，λ^2］／（λ^2＋λ＋１）^3

　　　　　　　　　　　　　　　　　［λ^2，λ，１］

　　　　　　　　　　　　　　　　　［１，λ^2，λ］

＝（λ−１）^2／（λ^2＋λ＋１）

　　　λ＝２なら１／７，λ＝３なら４／１３

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［２］ΔＰＱＲの辺の長さは重心座標の長さの公式から次のようになる．

　　ＰＱ^2＝１／（λ^2＋λ＋１）^2×［λ−λ^2，１−λ，λ^2−１］のノルム

　＝（λ−１）^2／（λ^2＋λ＋１）×［−λ，１，λ＋１］のノルム

　＝（λ−１）^2／（λ^2＋λ＋１）×［ａ^2（λ＋１）＋ｂ^2λ（λ＋１）−ｃ^2λ］

Ｐ（λ，１，λ^2），Ｑ（λ^2，λ，１），Ｒ（１，λ^2，λ）

PQ＝（λ−λ^2，１−λ，λ^2−１）・・・成分の和は0

PQ^2＝-a^2（１−λ，λ^2−１）-b^2（λ−λ^2，λ^2−１）-c^2（λ−λ^2，１−λ）

=(λ−１）^2×［ａ^2（λ＋１）＋ｂ^2λ（λ＋１）−ｃ^2λ］

　同様に

ＱＲ^2＝（λ−１）^2／（λ^2＋λ＋１）×［−ａ^2λ＋ｂ^2（λ＋１）＋ｃ^2λ（λ＋１）］

ＲＰ^2＝（λ−１）^2／（λ^2＋λ＋１）×［ａ^2λ（λ＋１）−ｂ^2λ＋ｃ^2（λ＋１）］

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

Ｐ（λ，１，λ^2），Ｑ（λ^2，λ，１），Ｒ（１，λ^2，λ）は正規化されている必要があり、

Ｐ（λ，１，λ^2）／（λ^2＋λ＋１），Ｑ（λ^2，λ，１）／（λ^2＋λ＋１），Ｒ（１，λ^2，λ）／（λ^2＋λ＋１）

PQ＝（λ−λ^2，１−λ，λ^2−１）／（λ^2＋λ＋１）・・・成分の和は0

PQ^2＝｛-a^2（１−λ，λ^2−１）-b^2（λ−λ^2，λ^2−１）-c^2（λ−λ^2，１−λ）｝／（λ^2＋λ＋１）

=(λ−１）^2×［ａ^2（λ＋１）＋ｂ^2λ（λ＋１）−ｃ^2λ］／（λ^2＋λ＋１）

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