Maths Olympiad Prep

Library / Serbian Mathematical Olympiad /73 of 80

Serbian Mathematical Olympiad

Combinatorics Difficulty 7.3 National Olympiad, round 2 Prove it Serbia

Problem:

Some of nn cities are connected by airline routes (all routes are two-way). There are exactly mm routes. Let did_{i} be the number of routes departing from city ii, for i=1,2,…,ni=1,2, \ldots, n. If 1⩽di⩽20101 \leqslant d_{i} \leqslant 2010, for every i=1,2,…,ni=1,2, \ldots, n, prove that
∑i=1ndi2⩽4022m−2010n \sum_{i=1}^{n} d_{i}^{2} \leqslant 4022 m-2010 n
holds. Determine all nn for which equality can be attained.

Solution

Solution:

The condition of the problem gives us 0⩽(di−1)(2010−di)0 \leqslant (d_{i}-1)(2010-d_{i}) for all ii, i.e. di2⩽2011di−2010d_{i}^{2} \leqslant 2011 d_{i}-2010. Using the condition ∑i=1ndi=2m\sum_{i=1}^{n} d_{i}=2 m, by summing these inequalities we obtain
∑i=1ndi2⩽2011⋅∑i=1ndi−2010n=4022m−2010n \sum_{i=1}^{n} d_{i}^{2} \leqslant 2011 \cdot \sum_{i=1}^{n} d_{i}-2010 n=4022 m-2010 n
and equality holds if and only if di∈{1,2010}d_{i} \in\{1,2010\} for every i∈{1,2,…,n}i \in\{1,2, \ldots, n\}.

1∘1^{\circ} Let n=2k,k∈Nn=2 k, k \in \mathbb{N}. If we establish an airline route between cities ii and jj if and only if ∣j−i∣=k|j-i|=k, we have di=1d_{i}=1 for all ii.

2∘2^{\circ} Let n=2k−1,k∈Nn=2 k-1, k \in \mathbb{N}. It cannot be that di=1d_{i}=1 for all ii, because otherwise we would have 2m=n=2k−12 m=n=2 k-1. Therefore it must be that dj=2010d_{j}=2010 for some jj; hence n⩾2011n \geqslant 2011. On the other hand, establishing an airline route between cities 1 and ii (1≤i≤2010)(1 \leq i \leq 2010) and between cities 2i2 i and 2i+12 i+1 (i=1006,…,k)(i=1006, \ldots, k) gives a network in which d1=2010d_{1}=2010 and di=1d_{i}=1 for 2⩽i⩽n2 \leqslant i \leqslant n.

Therefore, equality can be attained if 2∣n2 \mid n, or 2∤n2 \nmid n and n≥2011n \geq 2011.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from sr; metadata (topic, difficulty) added by this project.