MathDB
Set Theory masked with children and songs

Source: St Petersburg 2022 9.2

September 28, 2022
combinatorics

Problem Statement

1212 schoolchildren are engaged in a circle of patriotic songs, each of them knows a few songs (maybe none). We will say that a group of schoolchildren can sing a song if at least one member of the group knows it. Supervisor the circle noticed that any group of 1010 circle members can sing exactly 2020 songs, and any group of 88 circle members - exactly 1616 songs. Prove that the group of all 1212 circle members can sing exactly 2424 songs.