0307132人目の素数さん
2019/04/13(土) 13:42:47.10ID:EI29cEsh拙者は(1)の解法を流用したので、かなり泥臭いでござる。
・あらすじ
n段の三角格子の(外周)辺上の頂点の数 …… n+1個
最多色の頂点の数 …… m ≧ [n/3] +1,
そのペアの数 …… C(m,2) とおり
ペアの距離(1〜n) と 第3頂点の色(2種) で2n組に分類する。
最大組に含まれるペア …… L ≧ [(C(m,2)-1)/2n] +1,
ペアのペアの数 …… C(L,2)
ペア間のずれ(1〜n-1) で分類する。
最大組に含まれるペアのペア …… k ≧ [(C(L,2)-1)/(n-1)] +1,
n≧2592 ⇒ m≧865 ⇒ L≧73 ⇒ k≧2 ⇒ 単色三角形が存在