NIMCET, GATE, CUET & CBSE test series are live — start practicing free
syllabuzAI

Divisibility Proofs Using Euclid's Lemma | Class 10 Maths

Prove that n³ − n is divisible by 6, n² − 1 is divisible by 8 for odd n, and a square cannot be of the form 5q + 2 or 5q + 3, using Euclid's division lemma.

8 min read

S2

scholar 247

Updated 23 October 2026

On this page

Quick answer: Euclid's division lemma says that for positive integers aa and bb, there are unique integers qq and rr with a=bq+ra = bq + r and 0≤r<b0 \le r < b. Using it, every integer can be written in a few forms (such as 3q3q, 3q+13q + 1, 3q+23q + 2), and checking each form proves results like n3−nn^3 - n is divisible by 66 and n2−1n^2 - 1 is divisible by 88 for odd nn.

When you divide one positive integer by another, you get a quotient and a remainder smaller than the divisor. This simple fact, known as Euclid's division lemma (a=bq+ra = bq + r), is useful for much more than finding the HCF. It is also a powerful tool for proving divisibility results about integers.

For example, why is n3−nn^3 - n divisible by 66 for every positive integer nn? Why is n2−1n^2 - 1 always divisible by 88 when nn is odd? And why can a perfect square never leave a remainder of 22 or 33 when divided by 55? Euclid's division lemma answers all three.

Syllabus note: In the current rationalised NCERT textbook, Euclid's division lemma has been removed from Class 10 Chapter 1 (Real Numbers), which now focuses on the Fundamental Theorem of Arithmetic. These proofs still appear in NCERT Exemplar, older board papers and competitive exams, and they are excellent practice in logical proof writing. Check your current syllabus before your exam.


What You Will Learn

  • The statement of Euclid's division lemma: a=bq+ra = bq + r, 0≤r<b0 \le r < b
  • How to write any integer in forms such as 2q2q, 2q+12q + 1 or 4q+14q + 1, 4q+34q + 3
  • Proof 1: n3−nn^3 - n is divisible by 66 for every positive integer nn
  • Proof 2: n2−1n^2 - 1 is divisible by 88 if nn is an odd positive integer
  • Proof 3: the square of any positive integer cannot be of the form 5q+25q + 2 or 5q+35q + 3
  • How to present number theory proofs clearly in exams

1. Euclid's Division Lemma

Statement

Given positive integers aa and bb, there exist unique integers qq and rr such that a=bq+r,0≤r<ba = bq + r, \quad 0 \le r < b

Choosing a value of bb lets us write every integer in a small number of forms:

Divisor bbPossible forms of nn
222q2q (even) or 2q+12q + 1 (odd)
333q3q, 3q+13q + 1 or 3q+23q + 2
444q4q, 4q+14q + 1, 4q+24q + 2 or 4q+34q + 3
555q5q, 5q+15q + 1, 5q+25q + 2, 5q+35q + 3 or 5q+45q + 4
666q6q, 6q+16q + 1, 6q+26q + 2, 6q+36q + 3, 6q+46q + 4 or 6q+56q + 5

Useful fact: 4q4q and 4q+24q + 2 are even, so every odd integer is of the form 4q+14q + 1 or 4q+34q + 3.


2. Proof 1: n3−nn^3 - n Is Divisible by 6

Question

Prove that n3−nn^3 - n is divisible by 66 for every positive integer nn.

Proof

Step 1: Factorise.

n3−n=n(n2−1)=(n−1) n (n+1)n^3 - n = n(n^2 - 1) = (n - 1)\,n\,(n + 1)

So n3−nn^3 - n is the product of three consecutive integers.

Step 2: Show it is divisible by 2. Of any two consecutive integers, one is even. Since n−1n - 1 and nn are consecutive, one of them is divisible by 22. So (n−1)n(n+1)(n - 1)n(n + 1) is divisible by 22.

Step 3: Show it is divisible by 3. By Euclid's division lemma with b=3b = 3, nn is of the form 3q3q, 3q+13q + 1 or 3q+23q + 2.

  • Case 1, n=3qn = 3q: nn itself is divisible by 33.
  • Case 2, n=3q+1n = 3q + 1: n−1=3qn - 1 = 3q is divisible by 33.
  • Case 3, n=3q+2n = 3q + 2: n+1=3q+3=3(q+1)n + 1 = 3q + 3 = 3(q + 1) is divisible by 33.

In every case, one of the three factors is divisible by 33, so (n−1)n(n+1)(n - 1)n(n + 1) is divisible by 33.

Step 4: Combine. Since 22 and 33 are co-prime (HCF(2,3)=1\text{HCF}(2, 3) = 1), a number divisible by both 22 and 33 is divisible by 2×3=62 \times 3 = 6.

Hence proved: n3−nn^3 - n is divisible by 66 for every positive integer nn.


3. Proof 2: n2−1n^2 - 1 Is Divisible by 8 for Odd nn

Question

Prove that n2−1n^2 - 1 is divisible by 88 if nn is an odd positive integer.

Proof

Step 1: Write the odd integer in the right form. By Euclid's division lemma with b=4b = 4, any positive integer is of the form 4q4q, 4q+14q + 1, 4q+24q + 2 or 4q+34q + 3. Since nn is odd, it cannot be 4q4q or 4q+24q + 2. So:

n=4q+1orn=4q+3,where q≥0n = 4q + 1 \quad \text{or} \quad n = 4q + 3, \quad \text{where } q \ge 0

Step 2: Case 1, n=4q+1n = 4q + 1.

n2−1=(4q+1)2−1=16q2+8q+1−1=16q2+8q=8(2q2+q)n^2 - 1 = (4q + 1)^2 - 1 = 16q^2 + 8q + 1 - 1 = 16q^2 + 8q = 8(2q^2 + q)

So n2−1n^2 - 1 is divisible by 88.

Step 3: Case 2, n=4q+3n = 4q + 3.

n2−1=(4q+3)2−1=16q2+24q+9−1=16q2+24q+8=8(2q2+3q+1)n^2 - 1 = (4q + 3)^2 - 1 = 16q^2 + 24q + 9 - 1 = 16q^2 + 24q + 8 = 8(2q^2 + 3q + 1)

So n2−1n^2 - 1 is divisible by 88.

Hence proved: n2−1n^2 - 1 is divisible by 88 for every odd positive integer nn.

Alternative method: You can also write n=2q+1n = 2q + 1. Then n2−1=4q(q+1)n^2 - 1 = 4q(q + 1). Since qq and q+1q + 1 are consecutive, q(q+1)q(q + 1) is even, so 4q(q+1)4q(q + 1) is divisible by 88. This works too, but you must state why q(q+1)q(q + 1) is even.


4. Proof 3: A Square Cannot Be of the Form 5q+25q + 2 or 5q+35q + 3

Question

Prove that the square of any positive integer cannot be of the form 5q+25q + 2 or 5q+35q + 3 for any integer qq.

Proof

Step 1: By Euclid's division lemma with b=5b = 5, any positive integer aa is of the form 5m5m, 5m+15m + 1, 5m+25m + 2, 5m+35m + 3 or 5m+45m + 4.

Step 2: Square each form.

Form of aaa2a^2Form of a2a^2
5m5m25m2=5(5m2)25m^2 = 5(5m^2)5q5q
5m+15m + 125m2+10m+1=5(5m2+2m)+125m^2 + 10m + 1 = 5(5m^2 + 2m) + 15q+15q + 1
5m+25m + 225m2+20m+4=5(5m2+4m)+425m^2 + 20m + 4 = 5(5m^2 + 4m) + 45q+45q + 4
5m+35m + 325m2+30m+9=5(5m2+6m+1)+425m^2 + 30m + 9 = 5(5m^2 + 6m + 1) + 45q+45q + 4
5m+45m + 425m2+40m+16=5(5m2+8m+3)+125m^2 + 40m + 16 = 5(5m^2 + 8m + 3) + 15q+15q + 1

Step 3: The square of a positive integer can only be of the form 5q5q, 5q+15q + 1 or 5q+45q + 4.

Hence proved: the square of any positive integer cannot be of the form 5q+25q + 2 or 5q+35q + 3.


5. Summary Table

ResultForm to useKey step
n3−nn^3 - n divisible by 66(n−1)n(n+1)(n - 1)n(n + 1), with n=3q,3q+1,3q+2n = 3q, 3q + 1, 3q + 2Divisible by co-prime numbers 22 and 33
n2−1n^2 - 1 divisible by 88 (odd nn)n=4q+1n = 4q + 1 or 4q+34q + 3Take out 88: 8(2q2+q)8(2q^2 + q) and 8(2q2+3q+1)8(2q^2 + 3q + 1)
Squares and division by 55a=5m,5m+1,…,5m+4a = 5m, 5m + 1, \dots, 5m + 4Remainders are only 00, 11 or 44

6. Exam Tips and Common Mistakes

Exam Tip: When you state Euclid's division lemma, always include the condition 0≤r<b0 \le r < b. Leaving it out can cost you a mark.

Exam Tip: Using n=4q+1n = 4q + 1 and n=4q+3n = 4q + 3 for odd numbers lets you take out the factor 88 directly, which keeps the proof short.

Common Mistake: Concluding divisibility by 66 without saying that 22 and 33 are co-prime. Divisibility by two numbers implies divisibility by their product only when the numbers are co-prime.

Remember: Any three consecutive integers contain at least one multiple of 22 and exactly one multiple of 33.


Frequently Asked Questions

What is Euclid's division lemma?

For any two positive integers aa and bb, there exist unique integers qq and rr such that a=bq+ra = bq + r, where 0≤r<b0 \le r < b.

Why is n³ − n always divisible by 6?

Because n3−n=(n−1)n(n+1)n^3 - n = (n - 1)n(n + 1) is a product of three consecutive integers. It always contains a multiple of 22 and a multiple of 33, so it is divisible by 66.

Why is n² − 1 divisible by 8 when n is odd?

Every odd number is of the form 4q+14q + 1 or 4q+34q + 3. In both cases, n2−1n^2 - 1 simplifies to 88 times an integer.

Can a perfect square be of the form 5q + 2?

No. The square of any positive integer is of the form 5q5q, 5q+15q + 1 or 5q+45q + 4, never 5q+25q + 2 or 5q+35q + 3.

Is Euclid's division lemma in the current Class 10 syllabus?

It has been removed from the rationalised NCERT Class 10 textbook, but it is still useful for NCERT Exemplar practice, older board papers and competitive exams.

Concept Check

EASY

For a rational number pq\frac{p}{q} (where pp and qq are co-prime positive integers) to have a terminating decimal expansion, the prime factorisation of qq must strictly be of the form:

Suggested for you