Maths Olympiad Prep

Library / /315 of 520

Number theory Difficulty 6.2 National olympiad Prove it

23. Suppose nn and AA are positive integers, and An\sqrt[n]{A} is not an integer. Prove that An\sqrt[n]{A} 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 An\sqrt[n]{A} is a rational fraction, that is,
An=pq,q>1, and (p,q)=1.\sqrt[n]{A}=\frac{p}{q}, \quad q>1, \text { and }(p, q)=1 .

This leads to a contradiction. Raising both sides to the nn-th power, we get
A=pnqnA=\frac{p^{n}}{q^{n}}

Since (p,q)=1(p, q)=1, it follows that (pn,qn)=1\left(p^{n}, q^{n}\right)=1, and qn>1q^{n}>1, so pnqn\frac{p^{n}}{q^{n}} is not an integer, while AA is an integer. Therefore, A=pnqnA=\frac{p^{n}}{q^{n}} cannot hold. This contradiction arises from the assumption that An\sqrt[n]{A} is a rational fraction, so An\sqrt[n]{A} 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.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.