藤村の三角形問題
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/19 14:12 UTC 版)
ナビゲーションに移動 検索に移動
3, 4, 5 本の直線で作られる藤村の三角形。
藤村の三角形問題（ふじむらのさんかっけいもんだい、英: Kobon triangle problem）は離散幾何学の未解決問題で、藤村幸三郎により初めて述べられた。この問題は、平面上に k 本の直線を引くときに重なり合わずに作ることのできる三角形の最大数 N(k) を求めるものである。ユークリッド平面ではなく射影平面で考え、三角形はその3辺以外の直線と交わらないこと、という条件を課す変種もある[1]。
上界
田村三郎 (数学者)は k(k − 2)/3 を超えない最大の整数が、k 本の直線で作ることのできる重なり合わない三角形の個数の上界を与えることを証明した[2]。2007年、Johannes Bader と Gilles Clément はより強い上界を発見し、k が 6 を法として 0 または 2 と合同のとき、田村の上界には到達し得ないことを示した[3]。したがってこれらの場合、三角形の個数は最大でも田村の上界より1だけ小さい数になる。完全な解（作り得る最大個数の三角形を生む直線の引き方）が得られているのは k = 3, 4, 5, 6, 7, 8, 9, 13, 15, 17 のときだけである[4]。k = 10, 11, 12 に対しては、既知の最善解（直線の引き方）では上界より1だけ小さい個数の三角形が作れている。
G. Clément と J. Bader が証明した[3]ように、k > 2 に対し
3本の直線が1個の三角形を作る。
4本
5本
6本
7本
関連項目
- ロバーツの三角形問題
脚注
- ^ a b Forge, D.; Ramírez Alfonsín, J. L. (1998), “Straight line arrangements in the real projective plane”, Discrete and Computational Geometry 20 (2): 155–161, doi:10.1007/PL00009373.
- ^ Weisstein, Eric W. "Kobon Triangle". MathWorld (英語).
- ^ a b G. Clément and J. Bader. Tighter Upper Bound for the Number of Kobon Triangles. Draft Version, 2007.
- ^ Ed Pegg Jr. on Math Games
- ^ "Matlab code illustrating the procedure of D. Forge and J. L. Ramirez Alfonsin", Retrieved on 9 May 2012.
外部リンク
- Johannes Bader, "Kobon Triangles"
