Good use of induction!!!

This is related to the Previous note about Induction

Out of the problems stated in the note, (a)(a) to (d)(d) and (f)(f) are standard results, you can use them like identities.

Here's the proof of (e)(e) which is slightly different than other ones.

Problem is to prove that 24(27n+35n5)24 \mid (2\cdot 7^n+3\cdot 5^n -5) ...... nN\forall n\in \mathbb{N}

Observe that for n=1n=1, we have 27n+35n5=14+155=242\cdot 7^n+3\cdot 5^n -5 = 14+15-5=24. Hence the result is true for 11.

Assume that the result is TRUE\color{#3D99F6}{TRUE} for n=kn=k, and we'll prove for n=k+1n=k+1

For this, we use a little manipulation\color{#20A900}{\text{little manipulation}}.

Consider the term 27k+1+35k+152\cdot 7^{k+1} +3\cdot 5^{k+1} -5.

This term is equivalent to 7(27k+35k5)65k+307(2\cdot7^k +3\cdot 5^k -5) - 6\cdot 5^k +30 ...... this is because 7×35k65k=(216)5k=35k+17\times 3 \cdot 5^k - 6\cdot 5^k = (21-6)5^k = 3\cdot 5^{k+1} and this term we want in our proof!!!

Returning to the proof, we have assumed that the result is true for n=kn=k, hence in the term, i.e.

27k+1+35k+15=7(27k+35k5)divisible by 24 by assumption65k+30\displaystyle 2\cdot 7^{k+1} +3\cdot 5^{k+1} -5 =7 \underbrace{(2\cdot 7^k +3\cdot 5^k -5)}_{\text{divisible by 24 by assumption}} - 6\cdot 5^k +30

Thus what only remains to prove is 65k+30-6\cdot 5^k +30 is divisible by 24, see that

65k+30=6(5k5)-6\cdot 5^k+30= -6(5^k-5). So the problem has reduced to proving 246(5k5)24\mid -6(5^k -5) or even simpler, 45k54 \mid 5^k-5

We know that 51(mod4)    5k1(mod4)5 \equiv 1\pmod{4}\implies 5^k \equiv 1 \pmod{4}

And 5k51(mod4)    5k5110(mod4)5^k\equiv 5\equiv 1 \pmod{4} \implies 5^k-5\equiv 1-1\equiv 0 \pmod{4}

Hence 45k54 | 5^k-5 . Hence the other term in the expression is also divisible by 24, thus if the result is assumedassumed to be true for n=kn=k then we are obtainingobtaining it to be true for n=k+1n=k+1 and for n=1n=1 we already proved, thus it's true for ALLALL natural numbers.

Note by Aditya Raut
5 years, 2 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

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×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

Sort by:

Top Newest

Nice.

Aamir Faisal Ansari - 5 years, 2 months ago

Log in to reply

Good one

Usama Khidir - 5 years, 1 month ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...