Muft Shiksha™ एक 100% Free Education Portal है 🇮🇳, जिसका उद्देश्य Class 9–12 के हर विद्यार्थी तक High-Quality Education को पूरी तरह मुफ्त पहुँचाना है। 🇮🇳 हम मानते हैं कि अच्छी शिक्षा किसी student की आर्थिक स्थिति पर निर्भर नहीं होनी चाहिए। 🇮🇳 हर विद्यार्थी को वही Quality Study Material, MCQs, Quizzes, Exam Preparation, Concept-Based Learning और Bilingual Support मिलना चाहिए, जो आमतौर पर महंगी Coaching या Premium Platforms में मिलता है। Muft Shiksha™ 🇮🇳 इसी सोच के साथ बनाया गया है
Proof of irrationality of square root 2 and square root 3
√2 और √3 की अपरिमेयता का प्रमाण
In Class 9 Mathematics, this Number Systems topic explains how to prove that √2 and √3 are irrational numbers. Students use proof by contradiction: they assume a square root can be written as a fraction in lowest terms, then apply prime-factor and divisibility properties to show that the assumption leads to an impossibility. The lesson strengthens understanding of rational and irrational numbers, factors, parity, and the logic of mathematical proof, while helping learners present each step clearly and accurately.
Practice questions
01 A student assumes \(\sqrt{2}=p/q\), where \(p\) and \(q\) are coprime integers, to prove that \(\sqrt{2}\) is irrational. From \(p^2=2q^2\), the student writes \(p=2m\) and obtains \(q^2=2m^2\). The student says that since \(p\) and \(q\) are coprime, \(q\) must be odd. What is the correct correction to this statement?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. \(q\) is even; therefore, both \(p\) and \(q\) are even, contradicting their coprimality.
Explanation: The equation \(q^2=2m^2\) makes \(q^2\) even, so \(q\) must be even. Since \(p\) was already even, both share factor 2, contradicting coprimality. Exam tip: if a square is even, its integer root is even.
02 If \(\sqrt{3}=\frac{p}{q}\) is assumed to be in lowest terms and \(p^2=3q^2\) is obtained, which conclusion establishes the contradiction in this assumption?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. \(p\) और \(q\) दोनों 3 से विभाज्य हैं।
Explanation: From \(p^2=3q^2\), \(p^2\) is divisible by 3, so \(p\) is divisible by 3. Put \(p=3k\); then \(q\) is also divisible by 3, contradicting lowest terms. Exam tip: use the prime-divisibility property of squares.
03 If
\(\sqrt{3}=\frac{p}{q}\) is assumed to be in lowest terms and
\(p^2=3q^2\) is obtained, which conclusion about
\(p\) and
\(q\) contradicts this assumption?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. Both
\(p\) and
\(q\) are divisible by 3
Explanation: Since
\(p^2=3q^2\),
\(p^2\) is divisible by 3, so
\(p\) is divisible by 3. Put
\(p=3k\); then
\(q^2=3k^2\), so
\(q\) is also divisible by 3. This contradicts lowest terms. Exam tip: if a prime divides a square, it divides the number itself.
04 If (h) is not divisible by (3) and (h^2=3k^2), what inconsistency appears?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: C. h^2 must be divisible by 3, which implies that h is also divisible by 3
Explanation: From h² = 3k², h² is divisible by 3. Since 3 is prime, if it divides the square of an integer, it must also divide that integer. Hence 3 divides h, contradicting the given condition that h is not divisible by 3. Option A is not the required contradiction; the contradiction at this step concerns h directly. Exam tip: For a prime p, use p | n² ⇒ p | n.
05 Which of the following numbers can be proved irrational using its prime factorisation?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. \(\sqrt{3}\)
Explanation: \(\sqrt{3}\) is irrational because 3 is not a perfect square: its prime factor 3 has exponent 1, which is odd. In contrast, \(\sqrt{9}=3\) is rational. Exam tip: a perfect square has only even prime exponents.
06 Suppose \(\sqrt{2}=\frac{p}{q}\), where \(p\) and \(q\) are coprime integers. Which conclusion follows from this assumption and contradicts the fraction being in lowest terms?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. Both \(p\) and \(q\) are even
Explanation: From \(p^2=2q^2\), \(p^2\), and hence \(p\), is even. Put \(p=2r\); then \(q^2=2r^2\), so \(q\) is also even. This contradicts coprimality. Exam tip: an even square has an even root.
07 In proving the irrationality of
ext{\(\sqrt{3}\)}
, Ravi assumes that
ext{\(\sqrt{3}=p/q\)}
, where
ext{\(p\)}
and
ext{\(q\)}
are coprime. From
ext{\(p^2=3q^2\)}
, he says that only
ext{\(p\)}
is divisible by 3 and nothing can be concluded about
ext{\(q\)}
. Which fact corrects his error?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. If 3 divides \(q^2\), then 3 also divides \(q\).
Explanation: Since 3 is prime, \(p^2=3q^2\) implies that 3 divides \(p\). Put \(p=3k\); then \(q^2=3k^2\), so 3 divides \(q\) as well. This contradicts that \(p\) and \(q\) are coprime. Exam tip: if a prime divides a square, it divides the number itself.
08 Suppose \(\sqrt{3}=\frac{p}{q}\), where \(p\) and \(q\) are coprime integers. Which statement correctly justifies the conclusion \(3\mid p\) from \(3\mid p^2\)?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. If a prime divides the square of an integer, then it also divides that integer.
Explanation: Since 3 is prime, \(3\mid p^2=p\times p\) implies \(3\mid p\) by the prime-divisor property. It does not imply that \(p\) is divisible by 9. Exam tip: apply this rule only when the divisor is prime.
09 What is the correct difference between the roles of (d\neq0) and (\gcd(c,d)=1) in the proof of (\sqrt{2})?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: B. (d\neq0) keeps the fraction defined and (\gcd(c,d)=1) is the basis of contradiction
Explanation: A fraction \(c/d\) represents a number only when its denominator is non-zero, so \(d\neq0\) is required to make the expression defined. This condition does not say that the fraction is reduced, and it does not imply any equality between \(c\) and \(d\). The condition \(\gcd(c,d)=1\) has a different purpose: it says that numerator and denominator have no common factor and that the fraction is in lowest terms.
Assuming \(\sqrt{2}=c/d\), squaring gives \(c^2=2d^2\). The parity argument shows that \(c\) is even and then that \(d\) is even. Thus both have the common factor 2, contradicting \(\gcd(c,d)=1\). The contradiction rests on the lowest-terms condition, while the non-zero condition only keeps the fraction meaningful. Hence option B is correct.
10 What is the correct difference between the roles of (k\neq0) and (\gcd(h,k)=1) in the proof of (\sqrt{3})?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: C. (k\neq0) keeps the fraction defined and (\gcd(h,k)=1) gives final contradiction
Explanation: Direct answer: Option C. In a proof of irrationality, assume that sqrt(3)=h/k, where h and k are integers, k is not zero, and the fraction is in lowest terms, so gcd(h,k)=1. The condition k≠0 has a basic definition-related role: division by zero is not allowed, so h/k must be a genuine fraction. After squaring, h^2=3k^2. This shows that 3 divides h^2, and hence 3 divides h; write h=3r. Substitution then shows that 3 divides k as well. Thus h and k have a common factor 3, contradicting gcd(h,k)=1. Option A is wrong because h=3r comes from the divisibility equation, not merely from k≠0. Option B is wrong because the conditions have different jobs. Option C is correct: k≠0 keeps the fraction defined, while gcd(h,k)=1 creates the final contradiction. Option D reverses the logic and is false. Memory cue: denominator nonzero makes a fraction valid; lowest terms make a common-factor contradiction possible.
11 Which property of the prime number 3 is used decisively in the proof by contradiction that \(\sqrt{3}\) is irrational?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. If \(3\mid n^2\), then \(3\mid n\)
Explanation: Assume \(\sqrt{3}=\frac{p}{q}\), where \(p\) and \(q\) are coprime integers. Then \(p^2=3q^2\), so \(3\mid p^2\). Since 3 is prime, \(3\mid p^2\) implies \(3\mid p\). On writing \(p=3k\), we also obtain \(3\mid q\), which contradicts the fact that \(p\) and \(q\) are coprime. Option B is incorrect because divisibility of \(n^2\) by 3 does not mean that \(n=3\); it means that \(n\) is divisible by 3. Exam tip: In irrationality proofs, look for the prime-divisibility property that forces both numerator and denominator to have a common factor.
12 In a proof by contradiction that \(\sqrt{3}\) is irrational, assume \(\sqrt{3}=\frac{p}{q}\), where \(p\) and \(q\) are coprime. Which conclusion from \(p^2=3q^2\) is needed to establish the contradiction?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. 3 divides both \(p\) and \(q\)
Explanation: From \(p^2=3q^2\), 3 divides \(p^2\), so the prime-factor property gives 3 divides \(p\). Put \(p=3k\); then 3 also divides \(q\), contradicting coprimality. Exam tip: transfer prime divisibility from a square back to its base.
13 If c/d is not taken in lowest form in the proof of √2, which conclusion will not remain decisive?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. Contradiction when both are even
Explanation: The governing idea is the role of lowest terms in a contradiction proof. Assume √2=c/d with d nonzero. Squaring gives c²=2d² whether or not c/d has been reduced, and the positive value √2>0 is also unaffected. The argument then shows that c and d are both even. This becomes a contradiction only if the initial representation was in lowest terms, meaning gcd(c,d)=1. Without that condition, a numerator and denominator may legitimately share a factor; for example, 2/4 has both entries even and is still a valid representation of 1/2. Therefore the decisive conclusion is the contradiction arising when both are even, so A is correct. The other steps remain valid independently of reduction.
14 A student claims that if \(3p^2=q^2\), then \(p\) must be divisible by 3. What is the correct evaluation of the claim?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. The claim is correct because if \(q^2\) is divisible by 3, then \(q\) is divisible by 3, and hence \(p\) is also divisible by 3.
Explanation: From \(3p^2=q^2\), \(q^2\) is divisible by 3, so \(q=3r\). Substituting gives \(3p^2=9r^2\), hence \(p^2=3r^2\); therefore, \(p\) is divisible by 3. Exam tip: if a prime divides a square, it divides the number itself.
15 A student assumes that \(\sqrt{3}=\frac{p}{q}\), where \(p\) and \(q\) are coprime positive integers. After obtaining \(3q^2=p^2\), which of the following conclusion is correct?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. \(p\) is divisible by 3
Explanation: From \(3q^2=p^2\), \(p^2\) is divisible by 3. Since 3 is prime, \(p\) must be divisible by 3. Putting \(p=3k\) then shows that \(q\) is also divisible by 3, contradicting coprimality. Exam tip: use the prime-factor rule for square terms.
16 Why is it wrong to assume h and k are divisible by 3 from the beginning in the proof of √3?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: C. Because h and k should initially be coprime and in lowest form
Explanation: A contradiction proof must begin with the strongest legitimate assumption, not with the contradiction that it intends to derive. We assume √3 = h/k, where h and k are integers, k ≠ 0, and gcd(h,k) = 1. Squaring gives h² = 3k²; divisibility arguments then show that 3 divides h and, after substitution, also divides k. This final result contradicts gcd(h,k) = 1. If both numbers were assumed divisible by 3 at the beginning, the contradiction would be presupposed and the proof would become circular. Hence option C is correct. The other options either impose false conditions or use an irrelevant decimal representation.
17 Which of the following statements is essential in a proof by contradiction that \(\sqrt{3}\) is irrational?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. यदि \(3\mid a^2\), तो \(3\mid a\)
Explanation: Assume \(\sqrt{3}=a/b\) with coprime integers \(a,b\). Then \(a^2=3b^2\), so \(3\mid a^2\); the key property gives \(3\mid a\). It later gives \(3\mid b\) too, contradicting coprimality. Exam tip: for prime \(p\), remember \(p\mid a^2\Rightarrow p\mid a\).
18 In a proof by contradiction, suppose \(\sqrt{2}=\frac{h}{k}\), where \(h\) and \(k\) are coprime integers. Which conclusion contradicts this assumption?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. Both \(h\) and \(k\) are even
Explanation: From \(h^2=2k^2\), \(h^2\), and hence \(h\), is even. Put \(h=2m\); then \(k^2=2m^2\), so \(k\) is even too. A common factor 2 contradicts coprimality. Exam tip: establish evenness of both integers.
19 Which of the following number-theoretic facts is used centrally in proving that \(\sqrt{3}\) is irrational?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. If 3 divides the square of an integer, it also divides that integer.
Explanation: Let \(\sqrt{3}=p/q\) be in lowest terms. From \(p^2=3q^2\), 3 divides \(p^2\), so it divides p. This leads to the contradiction; B gives only the reverse implication. Exam tip: state that p and q are coprime.
20 In the proof of (\sqrt{2}), if (\frac{c}{d}) can be changed into (\frac{c/2}{d/2}), what becomes clear?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. The assumed fraction was not in lowest form
Explanation: The direct answer is A. A fraction is in lowest form when its numerator and denominator have no common factor greater than 1. If \\(c/d\\) can be changed to \\((c/2)/(d/2)\\), then both c and d are divisible by 2. The two 2s cancel, so the same value is represented by a smaller numerator and denominator. In the irrationality proof, the fraction was assumed to be in lowest form at the start. Finding that both terms are even contradicts that assumption. Therefore the assumed fraction was not actually in lowest form. Option A is correct. Option B is wrong because this reduction does not say \\(\\sqrt{2}=2\\); it only concerns a common factor. Option C is wrong because d is a denominator and the expression would not be a valid fraction if d were zero. Option D is wrong because no equality between c and d follows. The useful cue is: if numerator and denominator can both be divided by the same number, the fraction was not simplest.
21 A student assumes that \(\sqrt{2}=\frac{p}{q}\), where \(p\) and \(q\) are coprime integers. On squaring, \(p^2=2q^2\) is obtained. Which conclusion follows correctly?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: B. Both \(p\) and \(q\) are even, contradicting their being coprime
Explanation: Since \(p^2=2q^2\), \(p^2\) is even, so \(p\) is even. Put \(p=2r\): \(4r^2=2q^2\), hence \(q^2=2r^2\), making \(q\) even too. This contradicts coprimality. Exam tip: if a square is even, its integer root is even.
23 In the proof of √3, after proving 3 divides h, what kind of step is writing h = 3r?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: A. Definitional substitution
Explanation: The governing concept is the definition of divisibility. The statement 3|h means that there exists an integer r for which h=3r. Writing h=3r therefore converts an abstract divisibility statement into an explicit algebraic form; it is a definitional substitution, not an approximation or a conclusion about a denominator. In the proof, if h²=3k², substituting h=3r gives (3r)²=3k², so 9r²=3k². Dividing by 3 yields k²=3r², which then shows that 3 divides k² and hence, by the prime-square rule, 3 divides k. Thus the substitution is an intermediate step that enables the next divisibility argument. Option A is correct.
25 In the proof of (\sqrt{3}), if (h=3r) and (k=3s) are proved, what happens to the lowest fraction condition?
0 reads0 helpful★ – (0)
Answer and explanation
Correct answer: C. It breaks because (3) is a common factor
Explanation: The square-root spiral repeatedly forms a right triangle. At each stage, the old hypotenuse becomes one leg of the next right triangle, and a new perpendicular leg of length 1 is drawn. If the old hypotenuse is \(\sqrt{n}\), the new one is \(\sqrt{n+1}\), because of the Pythagorean theorem.
If \(h=3r\) and \(k=3s\), then both the numerator and denominator contain the common factor 3. A fraction in lowest form must have numerator and denominator with no common factor greater than 1. Thus the lowest-fraction condition is contradicted; it does not become stronger, make the root an integer, or prove \(k=0\). Therefore option C correctly describes the effect.
☆No ratings yetWrite a review / Rate this question
Was this question useful?
👍 0 Helpful ·👎 0 Not helpful
Difficulty
Easy0%
Medium0%
Hard0%
Was the explanation clear?
Yes 0%·No 0%
0 responses
Student Reviews
No published reviews yet.
Analytics choices
Google Analytics helps us understand site usage. Google may send limited cookie-free signals before your choice. The Live Visitors widget operates independently of this analytics choice; see the privacy policy for its provider and fallback details. Essential site features work without analytics cookies. You can change your choice later in Privacy choices. Privacy policy