Problem

Source: Sharygin 2019 Finals Day 2 Grade 8 P8

Tags: geometry, Sharygin Geometry Olympiad



What is the least positive integer $k$ such that, in every convex 1001-gon, the sum of any k diagonals is greater than or equal to the sum of the remaining diagonals?