Prove that 3^(2n+1) + 4^(2n+1)is divided by 7

  • Context: Undergrad 
  • Thread starter Thread starter Anzas
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving that the expression 3^(2n+1) + 4^(2n+1) is divisible by 7 for every natural number n. Participants suggest using mathematical induction, with the sequence defined as a_n = 3^(2n+1) + 4^(2n+1). The proof involves manipulating the expression and applying modular arithmetic, ultimately leading to the conclusion that a_n is congruent to 0 modulo 7. The final proof demonstrates that a_n can be simplified to show divisibility without induction.

PREREQUISITES
  • Understanding of mathematical induction
  • Familiarity with modular arithmetic
  • Knowledge of exponentiation and its properties
  • Ability to manipulate algebraic expressions
NEXT STEPS
  • Study the principles of mathematical induction in depth
  • Learn about modular arithmetic and its applications in number theory
  • Explore advanced techniques in algebraic manipulation
  • Investigate other proofs of divisibility in number theory
USEFUL FOR

Mathematicians, students studying number theory, educators teaching algebra, and anyone interested in proofs involving modular arithmetic and induction.

Anzas
Messages
87
Reaction score
0
prove that 3^(2n+1) + 4^(2n+1)
is divided by 7 for every natural n
 
Mathematics news on Phys.org
What have you done so far?
 
this isn't that hard. It is just induction as you suspect. The only fact you need to know is that c_1n + c_2m \equiv b_1n + b_2m\, (mod\, k) if c_1\equiv b_1,\,c_2\equiv b_2\,(mod\, k).

So just write down your sequence a_n = 3^{2n+1}+4^{2n+1}. When a_n is in that form can you write down a_{n+1} without out modifying the exponent.

Hope those hints help.
Steven
 
well assuming that 3^(2n+1) + 4^(2n+1) is divisible by 7
im writing down what needs to be proven for n=n+1

3^(2n+3) + 4^(2n+3) / 7 = some integer = Z

9*3^(2n+1)+16*4^(2n+1) / 7 = Z

3^(2n+1)+4^(2n+1) / 7 + 8*3^(2n+1)+15*4^(2n+1) / 7 = Z

the first term is divisible because of the induction assumption so that leaves me with
8*3^(2n+1)+15*4^(2n+1) / 7

here I am stuck i can't find a way to show that this term is divisible by 7
i tried proving that with another induction but that led me no where.
i also tried transforming 8*3^(2n+1)+15*4^(2n+1) / 7 to
7*3^(2n+1)+7*4^(2n+1) / 7 + 3^(2n+1)+8*4^(2n+1) / 7

3^(2n+1)+4^(2n+1) + 3^(2n+1)+8*4^(2n+1) / 7
and that leaves me with the term 3^(2n+1)+8*4^(2n+1) / 7
that does not help me i can't find a way to show that its divisible by 7
any help/tips would be appreciated

sorry for not using latex by the way it would just take me too much time to type all this in latex :smile:
 
Oh you're so close!

(3^(2n+1)+4^(2n+1)) / 7 + (8*3^(2n+1)+15*4^(2n+1)) / 7
= (3^(2n+1)+4^(2n+1)) / 7 + (3^(2n+1)+4^(2n+1)) / 7 + (7*3^(2n+1)+14*4^(2n+1)) / 7

You just needed to do your trick one more time over

Hope that helps
Steven
 
of course! i can't believe i didn't notice this thank you very much! :smile:
 
We can easily prove it without induction:

a_n = 3^{2n+1}+4^{2n+1}\equiv 3^{2n+1} + (-3)^{2n+1} \equiv 3^{2n+1}\cdot(1 + (-1)^{2n+1}) \equiv 0 (mod 7).
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
992
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K