$ (T_n )$ = number of nonempty subsets of $ ({1, 2, 3, \dots , n})$ whose average is an integer. Call these subsets int-avg subset (just a name)
Note that one element subsets are by default int-avg subsets. They are n in number. Removing those elements from $(T_n)$ we are left with int-avg subsets with two or more element. We want to show that the number of such subsets is even.
Let X be the collection of all int-avg subsets S such that the average of S is contained in S
Y be the set of all int-avg subsets S such that the average of S is not contained in S.
Adding or deleting the average of a set to or from that set does not change the average.
This operation sets up a one-to-one correspondence between X and Y, so X and Y have the same cardinality. Since $latex (X\cap Y =\emptyset)$, the number of elements in $(X\cup Y)$ is even and hence the number of subsets of two or more elements that have an integer average is even.
Comment
What is the cardinality of $ (T_n)$?
In 2025, 8 students from Cheenta Academy cracked the prestigious Regional Math Olympiad. In this post, we will share some of their success stories and learning strategies. The Regional Mathematics Olympiad (RMO) and the Indian National Mathematics Olympiad (INMO) are two most important mathematics contests in India.These two contests are for the students who are […]
Cheenta Academy proudly celebrates the success of 27 current and former students who qualified for the Indian Olympiad Qualifier in Mathematics (IOQM) 2025, advancing to the next stage — RMO. This accomplishment highlights their perseverance and Cheenta’s ongoing mission to nurture mathematical excellence and research-oriented learning.
Cheenta students shine at the Purple Comet Math Meet 2025 organized by Titu Andreescu and Jonathan Kanewith top national and global ranks.
Celebrate the success of Cheenta students in the Stanford Math Tournament. The Unified Vectors team achieved Top 20 in the Team Round.
T_n - n is the number of non-singleton sets ......ar non- singleton sets always occur in pairs,er modhye there exists a S which contains the average.amr mne hoy this is a shorter solution.i was working it out.....