Final answer:
The question regards proving using the unique factorization theorem that the square root of a positive integer which is not a perfect square is irrational. By assuming the opposite, we reach a contradiction by showing that a rational square root would require the integer to be a perfect square, violating the initial condition.
Step-by-step explanation:
The statement to be proven is: if n is any positive integer that is not a perfect square, then √n is irrational.
To prove this by contradiction, let's assume the opposite: that there exists an integer n which is not a perfect square, but √n is rational. By the definition of a rational number, this means we can find integers a and b (with b not zero) such that √n = a/b and the fraction a/b is in its lowest terms (meaning a and b are co-prime).
Squaring both sides we get n = a^2/b^2. Since n is an integer and b is not zero, b^2 must multiply up into a^2 exactly, implying b^2 divides a^2. By the unique factorization theorem (also known as the Fundamental Theorem of Arithmetic), each integer greater than 1 can be represented as a product of prime numbers in a way that is unique up to the order of the factors. Hence, the prime factors of b^2 are included in prime factors of a^2.
If √n is rational and in simplest terms, then a and b have no common factors. However, since b^2 divides a^2 and they share no common prime factors, b must be 1, making n a perfect square, which is a contradiction. Therefore, our initial assumption that √n is rational is false, so √n must be irrational.