平面上$2n$个点$(n>1,nin N)$,无三点共线,任意两点连线段,将其中任意$n^2+1$条线段染红色.
求证:三边都为红色的三角形至少有$left[dfrac{2}{3}(n+dfrac{1}{n})
ight]$ 个.
证明:这里染红色的线段看成边,设第$k$个顶点 $v_k$ 引出的边有 $d_k$ 条 $(k=1,2,cdots,2n)$. 记所有的边组成的集合为 $E$.若$v_iv_jin E$,则$v_i,v_j$ 向其余$2n-2$个顶点引出$d_i+d_j-2$ 条边.所以至少有$d_i+d_j-2-(2n-2)$对分别由$v_i,v_j$引向同一顶点的边.它们和$v_iv_j$一起构成三角形.所以至少有$d_i+d_j-2n$个三角形包含边$v_iv_j$.又由于图中每个三角形被计算了三次,所以图中至少有$dfrac{1}{3}sumlimits_{v_iv_jin E}{(d_i+d_j-2n)}$个三角形.上述和式中$d_i$ 出现了$d_i$次,条件中已知边数$|E|=n^2+1$,且各顶点引出的边数和边的总数的关系为$sumlimits_{i=1}^{2n}{d_i}=2(n^2+1)$所以
egin{align*}
dfrac{1}{3}sumlimits_{v_iv_jin E}{(d_i+d_j-2n)}
&=dfrac{1}{3}left(sumlimits_{i=1}^{2n}{d_i^2}-(n^2+1)2n
ight) \
&gedfrac{1}{3}left(dfrac{1}{2n}left(sumlimits_{i=1}^{2n}{d_i}
ight)^2-(n^2+1)2n
ight)\
&=dfrac{1}{3}left(dfrac{1}{2n}left(2(n^2+1)
ight)^2-(n^2+1)2n
ight)\
&=dfrac{2}{3}(n+dfrac{1}{n})
end{align*}
故有$left[dfrac{2}{3}(n+dfrac{1}{n})
ight]$个红色三角形.
$ extbf{注:}$
1.事实上,如果利用数学归纳法我们还可以把结果加强成$n$个红色三角形,详见2017 江苏省赛复赛加试 第三题.
2.类似的还有$1987$年中国国家集训队第二天选拔第六题(最后一题).
3.此题背景是图论里极图理论里的Turán's theorem