Разобьем монеты на 3 кучки по 4 монеты, назовем кучки A, B и С. Взвешиваем кучки А и В.
1. А = В.
Мы знаем, что эти 8 монет – настоящие. Кладем на одну чашу три монеты из этих восьми, на другую – три из кучки С.
1) равновесие. Знаем, что фальшивая монета та, что осталась не взвешенной. Взвешиваем ее с любой другой, решение найдено.
2) Неравенство. Знаем, что фальшивая монета – одна из трех, взятых из кучки С, и знаем, тяжелее она или легче. Взвешиваем две монеты из этих трех, если равенство – фальшивая третья, неравенство – решение найдено.
2. А > B.
Знаем, что в кучке С настоящие монеты. На одну чашу весов кладем три монеты из кучки А и одну из кучки В, на другую – оставшуюся из кучки А и три из кучки С (а1, а2, а3, b1 и a4, c1, c2, c3)
1) (а1, а2, а3, b1) = (a4, c1, c2, c3)
Знаем, что фальшивая монета – одна из трех оставшихся из кучки В (b2, b3, b4) и знаем что фальшивая монета легче. Взвешиваем две из них, решение найдено.
2) (а1, а2, а3, b1) > (a4, c1, c2, c3)
Знаем, что фальшивая монета одна из нетронутых монет кучки А (а1, а2, а3) и знаем, что фальшивая монета тяжелее настоящей. Взвешиваем две из них, решение найдено.
3) (а1, а2, а3, b1) < (a4, c1, c2, c3)
Фальшивая монета либо b1 либо а4. Взвешиваем одну из них с любой другой, решение найдено.