This is the 6th post in the Divisibility Rules Series. In this post, we discuss divisibility by 7.

Simple steps are needed to check if a number is divisible by 7. First, multiply the rightmost (unit) digit by 2, and then subtract the product from the remaining digits. If the difference is divisible by 7, then the number is divisible by 7.

**Example 1:** Is 623 divisible by 7?

3 x 2 = 6

62 – 6 = 56

56 is divisible by 7, so 623 is divisible by 7.

If after the process above, the number is still large, and it is difficult if to know if it is divisible by 7, the steps can be repeated. We take the difference as the new number, we multiply the rightmost digit by 2, and then subtract from the remaining digits.

**Example 2**: Is 3423 divisible by 7?

3 x 2 = 6

342 – 6 = 336

We repeat the process for 336. We multiply 6 by 2 and then subtract it from 33.

6 x 2 = 12

33 – 12 = 21

21 is divisible by 7, so 3423 is divisible by 7.

Note that if the number is still large, this process can be repeated over and over again, until it is possible to determine if the remaining digits is divisible by 7.

**Delving Deeper (for the adventurous)**

The following portion are for students who have basic knowledge on proofs. In particular, we will be proving an *if and only if* statement. * A if and only if B* requires to prove that

*and*

**A**implies**B***.*

**B**implies**A**Let be the number that we want divide by 7. Let be the unit’s digit and be the rest of the digit. Then *N* = 10*a* + *b*.

**Explanation: **All whole numbers *N* can be expressed as the product of 10 and a number added to its units digit. For example 983 = 10(98) + 3, 5896 = 10(598) + 6, and so on.

We assign the following statements to ** A** and

**.**

*B***A**: *a* – 2*b* is divisible by 7.

**B**: *N* is divisible by 7.

As we have mentioned above, we have to show that (1) * A* implies

*and (2)*

**B***implies*

**B***. This means that we have to show that if is divisible by , then is divisible by . The statement is the step where we multiplied the unit’s digit by 2, and then subtracted from the remaining digits .*

**A**For (1) We have to show that **A** implies **B**. That is, we have to show that if is divisible by , then is divisible by .

**Proof**

If is divisible by , then we can find a natural number such that (Can you see why?).

Multiply both sides by , we have . Adding on both sides, we have . Now, . Notice that the left hand side of our equation is and the right hand side can be divided by . Therefore, is divisible by . That proves our first statement that If is divisible by , is divisible by .#

For (2), we have to show that **B** implies **A**. That is, we have to show that if is divisible by 7, is divisible by .

**Proof**

If is divisible by , then is divisible by . This means we can find a natural number such that . Subtracting from both sides, we have . This means that . Factoring, we have

Now, since is not divisible by , is divisible by . This proves the second statement if is divisible by , then is divisible by #

From above, we have shown that * A* implies

*and*

**B***implies*

**B***. We have shown that the process that we have done above will hold for all cases.*

**A**
Pingback: Week in Review 1 - March 2012 Mathematics and Multimedia

Divisibility by 7 and it’s proof http://t.co/8wIZKLNd #mathchat

RT @tedcowan7: Divisibility by 7 and it’s proof http://t.co/zZAPNXnu #mathchat <= Totally stealing this :o) Great trick!

“@tedcowan7: Divisibility by 7 and it’s proof http://t.co/YH1Vb2OK #mathchat”

Guillermo, that’s brilliant! I generally teach my students that there is no rule for divisibility by 7; you’ve proved me wrong.

This method will still be beyond a lot of elementary/primary students, but it’s good to know for those who are ready.

Thanks Peter. That’s not my original of course. I have read it somewhere, I just can’t remember where.

Can you easily test for divisibility by 7? Another clear math explanation from @jr_bautista > http://t.co/k2oaU7M7 #mathchat

If you want to know the first real rule for divisibility by 7 access:

primeasdivisor.blogspot.com

The first real rule for divisibility by 7 of the History of Number Theory is presented on this video: