Оценка:
Пусть
![$2017 = n$ $2017 = n$](https://dxdy-03.korotkov.co.uk/f/6/b/a/6ba028b495109aa0ba39455c3751add782.png)
- нечетно.
Всего треугольников
![$N = C^3_n$ $N = C^3_n$](https://dxdy-01.korotkov.co.uk/f/c/7/3/c736f3c7f0d503a7b6c212fbe1b34a4482.png)
.
Каждый треугольник либо хороший (ребра образуют цикл), либо плохой (и тогда есть вершина, откуда выходит два ребра, есть вершина, куда приходит два ребра, ну, и есть нейтральная вершина.) Пусть в некоторую вершину графа приходит
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
ребер, а выходит -
![$y$ $y$](https://dxdy-02.korotkov.co.uk/f/d/e/c/deceeaf6940a8c7a5a02373728002b0f82.png)
,
![$x+y = n-1$ $x+y = n-1$](https://dxdy-02.korotkov.co.uk/f/5/1/4/5146185efb2cfb9e6c89e1260603a00482.png)
. Тогда с этой вершиной есть заведомо
![$C^2_x + C^2_y$ $C^2_x + C^2_y$](https://dxdy-04.korotkov.co.uk/f/7/a/4/7a47f919f92ec8d9162978d0ef220df382.png)
плохих треугольников, и эта сумма не меньше чем
![$\frac{n-1}{2}\cdot (\frac{n-1}{2}-1)$ $\frac{n-1}{2}\cdot (\frac{n-1}{2}-1)$](https://dxdy-04.korotkov.co.uk/f/3/8/8/3884778f369935f63add4e0d4bafb70482.png)
. Поэтому плохих не меньше чем
![$\frac{2017\cdot 1008 \cdot 1007}{2}$ $\frac{2017\cdot 1008 \cdot 1007}{2}$](https://dxdy-02.korotkov.co.uk/f/5/7/a/57a9d15992a9c157e39cc350398cc14f82.png)
(каждый плохой сосчитан дважды) из общего числа
![$\frac{2017\cdot 2016 \cdot 2015}{6}$ $\frac{2017\cdot 2016 \cdot 2015}{6}$](https://dxdy-01.korotkov.co.uk/f/0/0/b/00b6cb7debabd71ae6d62c21b7a554c082.png)
.....
Пример: расставим точки по кругу, и каждую соединим стрелкой с половиной остальных - а именно, с теми, кто - по направлению по часовой стрелке - ближе прочих. Оценка превратится в равенство.