Waste less time on Facebook — follow Brilliant.

Help in Proving Divisibility

While I am proving this statement: An = 5^n + 2 (3^(n-1)) + 1 is divisible by 8 for all positive integers, I was wondering if my method of proof is correct if I use the induction method, then use the theorem that d divides (ax+by) or finding linear combinations, and further proving by parity. Is my method of proof correct for this case? (On need-to-know basis.)

Note by John Ashley Capellan
4 years, 4 months ago

No vote yet
2 votes

  Easy Math Editor

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 \( 2 \times 3 \)
2^{34} \( 2^{34} \)
a_{i-1} \( a_{i-1} \)
\frac{2}{3} \( \frac{2}{3} \)
\sqrt{2} \( \sqrt{2} \)
\sum_{i=1}^3 \( \sum_{i=1}^3 \)
\sin \theta \( \sin \theta \)
\boxed{123} \( \boxed{123} \)


Sort by:

Top Newest

Yes, induction is the way to go. I would prove it like this:


Let \(n=1\). Then we have

\(5^1+2\cdot 3^0+1=1\),

which is divisible by \(8\).

Induction step

Let \(5^k+2\cdot 3^{k-1}+1\) be divisible by \(8\), for \(k=1,2,\ldots,n\). Then

\(5^{n+1}+2\cdot 3^n +1\)

\(=5\cdot 5^{n}+3\cdot 2\cdot 3^{n-1} +1\)

\(=4(5^n)+2(2\cdot 3^{n-1})+5^n+2\cdot 3^{n-1}+1\)

\(=4(5^n+3^{n-1})+5^n+2\cdot 3^{n-1}+1\)

From our induction hypothesis, 8 divides \(5^n+2\cdot 3^{n-1}+1\), and we can therefore write it as \(8c_1\) for some \(c_1\in \mathbb{Z}\). Thus, we only need to show, that \(8\) divides \(4(5^n+3^{n-1})\), which will be achieved, if we can show that \(2\) divides \(5^n+3^{n-1}\) - ie. it is even.

It can be shown that the product of two uneven numbers is uneven, and therefore both \(5^n\) and \(3^{n-1}\) are uneven. Furthermore, it can be shown that the sum of two uneven numbers is even. Hence, \(5^n+3^{n-1}\) is even, and we can write it as \(2c_2\) for a suitable \(c_2\in \mathbb{Z}\). We now have

\(=4\cdot 2c_2 + 8c_1=8(c_1+c_2)\),

which is divisible by 8.


René Christensen - 4 years, 4 months ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...