Maths Olympiad Prep

Library / /24 of 37

Combinatorics Difficulty 5.6 AIME, harder Find the answer Italy

Problem:

Those entitled to vote on the island of Cavalfurfandia are 50005000; each one is either a knight, in which case he only makes true statements, or a knave, in which case he only makes false statements. Three thousand inhabitants declare that they will vote for Carla, two thousand that they will vote for Flavia. Each of the three thousand who declared they want to vote for Carla makes the further statement: "Everyone who declares they will vote for Flavia is a knave". Knowing that every inhabitant votes for one of the two candidates, what is the minimum margin of votes the winner will have over the loser?

Pick one

Solution

Solution:

The answer is (C). Let us observe that we have two distinct cases depending on whether the statement "Everyone who declares they will vote for Flavia is a knave" is true or false:

- if the statement is true, then everyone who made it (that is, the 30003000 people who declared they would vote for Carla) are knights; therefore, these 30003000 people will actually vote for Carla. On the other hand, since the statement is true, we know that everyone who declared they would vote for Flavia is a knave, so they were lying during that declaration and will therefore vote for Carla. So in this case all the inhabitants of the island will vote for Carla, the result of the election will be 50005000 to 00, and the margin of votes for the winner (Carla) will be 50005000.

- if the statement is false, then everyone who made it (that is, the 30003000 people who declared they would vote for Carla) are knaves and, therefore, will vote for Flavia.

Let nn (with n2000n \leq 2000) be the number of knights who declared they would vote for Flavia (since in this case the above statement is false, we have n1n \geq 1): among these 20002000 people, nn will vote for Flavia (because they were telling the truth when declaring who they would vote for) and 2000n2000 - n will vote for Carla (since they are knaves, they were lying when declaring who they would vote for). We thus obtain that Carla receives in total 2000n2000-n votes, while Flavia receives 3000+n3000+n. In this case the winner (Flavia) will have
(3000+n)(2000n)=1000+2n (3000+n)-(2000-n)=1000+2n
votes of margin. Since 1n20001 \leq n \leq 2000, the margin of votes is between 10021002 and 50005000.

Since the problem asks for the minimum number of margin votes that the winner will have, the answer is 10021002.

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

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