(a) Suppose that \(a, b, c\) are integers and \((a / b)^{2}=c .\) Suppose further
that \(a\) and \(b\) have no common factors except 1: that is, any integer \(x>1\)
which divides \(b\) doesn't divide \(a\). Prove by contradiction that \(b=1\).
(b) Generalize part (a): Suppose that \(a, b, c\) are integers and \((a /
b)^{n}=c,\) where \(n\) is a positive integer. If \(a\) and \(b\) have no common
factors, prove by contradiction that \(b=1\).
(c) Use part (b) to prove the following: Let \(a\) and \(n\) be integers, both
greater than \(1 .\) Let \(x\) be a real nth root of \(a .\) If \(x\) is not an
integer, then \(x\) is irrational.