Subcontests
(6)two sequences of positive integers and inequalities
Let n≥2 be an integer, and let a1,a2,⋯,an be positive integers. Show that there exist positive integers b1,b2,⋯,bn satisfying the following three conditions:(A) ai≤bi for i=1,2,⋯,n;(B) the remainders of b1,b2,⋯,bn on division by n are pairwise different; and(C) b1+b2+⋯bn≤n(2n−1+⌊na1+a2+⋯an⌋)(Here, ⌊x⌋ denotes the integer part of real number x, that is, the largest integer that does not exceed x.) Alina draws chords
On a circle, Alina draws 2019 chords, the endpoints of which are all different. A point is considered marked if it is either (i) one of the 4038 endpoints of a chord; or (ii) an intersection point of at least two chords. Alina labels each marked point. Of the 4038 points meeting criterion (i), Alina labels 2019 points with a 0 and the other 2019 points with a 1. She labels each point meeting criterion (ii) with an arbitrary integer (not necessarily positive).
Along each chord, Alina considers the segments connecting two consecutive marked points. (A chord with k marked points has k−1 such segments.) She labels each such segment in yellow with the sum of the labels of its two endpoints and in blue with the absolute value of their difference.
Alina finds that the N+1 yellow labels take each value 0,1,...,N exactly once. Show that at least one blue label is a multiple of 3.
(A chord is a line segment joining two different points on a circle.)