有点高兴,第一次在做数学题时感受到了爆标的快乐。

题目如下:

官方做法过于复杂,贴一个自己的做法。

题目当中的这个 $2017$ 肯定没啥特别的用处所以下文直接当 $n$ 来处理。

首先先考虑一个问题是等腰三角形有几个,答案很显然是 $C_{n}^{2}$。

因为考虑这个图形的每一条对角线都可以当做等腰三角形的底边,且因为 $2017$ 不是 $3$ 的倍数,所以不会出现等边三角形,从而可以做到不重不漏。

接下来考虑如何把异色三角形给踢出去。

有一件很显然的事情:异色三角形中一定有异色边,而且一定有2条。

以一条异色边为腰的等腰有2个,为底的等腰有一个,所以一共是三个。

但是每个三角形都被重复统计了两次所以最后异色三角形数就是 $\frac{3}{2}R(n-R)$。

所以同色三角形数就是 $C_{n}^{2}-\frac{3}{2}R(n-R)$。

与红点分布无关,证毕。

虽然这个问题我只做了几分钟,但是看到自己比标答简洁很多时真的很高兴!