если бы монета меняла свой статус при любом взвешивании(как например думал я изночально) то Вы бы были правы, но она меняет статус только при её непосредственном измерении.

И что, у нас теперь в равенстве одна часть может быть больше другой?это когда 1,3=2,4 и вдруг кто-то из них фальшивый.

Ещё раз напоминаю, Вы делаете ту же ошибку что и я в начале. Монета меняет свой статус только при её непосредственном измерении, если она во взвешивании не участвует то она не меняет свой статус.  1,3=2,4  это третье измерение, теперь посмотрите на то сколько раз участвовала 1 и 2 в предыдущих измерениях а сколько 3 и 4,  исходя из этого и делается вывот что при условии 1,3=2,4  фальшивыми могут быть только 3,4. Но сейчас их измеряют только второй раз по этому они сейчас  косят под нормальных.

Я ее тут поставил, чтоб получить доказательство, что  за 3 шага нереально. я то знаю.