Problem #PRU-65055

Problems Set theory and logic Mathematical logic Mathematical logic (other)

Problem

There are scales and 100 coins, among which several (more than 0 but less than 99) are fake. All of the counterfeit coins weigh the same and all of the real ones also weigh the same, while the counterfeit coin is lighter than the real one. You can do weighings on the scales by paying with one of the coins (whether real or fake) before weighing. Prove that it is possible with a guarantee to find a real coin.