In the plane, points were marked, no three of which are collinear. Straight lines were drawn through all the pairs of marked points. Prove that all the marked points can be colored into two colors in such a way that for any two points of the same color the number of the drawn lines separating them is even. (We say that a line separates two points if none of those points belongs to it, and they lie in different half-planes with respect to it.)
Solution
Крім того, покладемо
Розглянемо довільні три відмічені точки , , . Очевидно, що
де сума береться по всіх проведених прямих.
Легко бачити, що якщо пряма проходить через дві з точок , , , то маємо рівність . Якщо пряма проходить рівно через одну з них, то . А якщо пряма не проходить через жодну, то маємо, що .
Розглянувши всі сім усіляких випадків взаємного розташування чотирьох точок на площині, одержуємо, що для будь-якої точки з решти відмічених точок або серед трьох прямих , , тільки одна розділяє дві точки з числа точок , , , або ж кожна з прямих , , має таку властивість. Отже, парність числа визначається кількістю зазначених вище точок , а їх саме . Таким чином, ми довели, що число є парним для будь-яких трьох відмічених точок , , . А тому серед чисел , , парними є або всі три, або ж — тільки одне. З цього випливає, що якщо для якоїсь точки пофарбувати всі ті точки , для яких парне, у той самий колір, що й точку , а решту точок — у другий колір, то таке розфарбування буде задовольняти умову.