23. Suppose and are positive integers, and is not an integer. Prove that must not be a rational fraction. (A rational fraction is a fraction that is not an integer, i.e., the numerator cannot be divided by the denominator.)
Solution
23. Proof: We use proof by contradiction, assuming that is a rational fraction, that is,
This leads to a contradiction. Raising both sides to the -th power, we get
Since , it follows that , and , so is not an integer, while is an integer. Therefore, cannot hold. This contradiction arises from the assumption that is a rational fraction, so cannot be a rational fraction.
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.