For ## n\geq 1 ##, use congruence theory to establish?

  • Thread starter Thread starter Math100
  • Start date Start date
  • Tags Tags
    Theory
Click For Summary
The discussion focuses on proving the divisibility statement that for natural numbers n≥1, 13 divides the expression 3^(n+2) + 4^(2n+1). The proof employs congruence theory, showing that the expression simplifies to 0 modulo 13. The steps include breaking down the terms and using properties of congruences to arrive at the conclusion. A suggestion is made to improve clarity by using parentheses in the notation. Overall, the proof effectively establishes the required divisibility.
Math100
Messages
816
Reaction score
229
Homework Statement
For ## n\geq 1 ##, use congruence theory to establish the following divisibility statement:
## 13\mid 3^{n+2}+4^{2n+1} ##.
Relevant Equations
None.
Proof

Let ## n\geq 1 ## be a natural number.
Then \begin{align*} 3^{n+2}+4^{2n+1}&\equiv 3^{n}\cdot 3^{2}+(4^{2})^{n}\cdot 4\pmod {13}\\
&\equiv (3^{n}\cdot 9+16^{n}\cdot 4)\pmod {13}\\
&\equiv (3^{n}\cdot 9+3^{n}\cdot 4)\pmod {13}\\
&\equiv (3^{n}\cdot 13)\pmod {13}\\
&\equiv 0\pmod {13}.
\end{align*}
Therefore, ## 13\mid 3^{n+2}+4^{2n+1} ## for ## n\geq 1 ##.
 
Physics news on Phys.org
Math100 said:
Homework Statement:: For ## n\geq 1 ##, use congruence theory to establish the following divisibility statement:
## 13\mid 3^{n+2}+4^{2n+1} ##.
Relevant Equations:: None.

Proof

Let ## n\geq 1 ## be a natural number.
Then \begin{align*} 3^{n+2}+4^{2n+1}&\equiv 3^{n}\cdot 3^{2}+(4^{2})^{n}\cdot 4\pmod {13}\\
&\equiv (3^{n}\cdot 9+16^{n}\cdot 4)\pmod {13}\\
&\equiv (3^{n}\cdot 9+3^{n}\cdot 4)\pmod {13}\\
&\equiv (3^{n}\cdot 13)\pmod {13}\\
&\equiv 0\pmod {13}.
\end{align*}
Therefore, ## 13\mid 3^{n+2}+4^{2n+1} ## for ## n\geq 1 ##.
Looks good.
 
Math100 said:
Homework Statement:: For ## n\geq 1 ##, use congruence theory to establish the following divisibility statement:
## 13\mid 3^{n+2}+4^{2n+1} ##.
Relevant Equations:: None.

Proof

Let ## n\geq 1 ## be a natural number.
Then \begin{align*} 3^{n+2}+4^{2n+1}&\equiv 3^{n}\cdot 3^{2}+(4^{2})^{n}\cdot 4\pmod {13}\\
&\equiv (3^{n}\cdot 9+16^{n}\cdot 4)\pmod {13}\\
&\equiv (3^{n}\cdot 9+3^{n}\cdot 4)\pmod {13}\\
&\equiv (3^{n}\cdot 13)\pmod {13}\\
&\equiv 0\pmod {13}.
\end{align*}
Therefore, ## 13\mid 3^{n+2}+4^{2n+1} ## for ## n\geq 1 ##.
Perfect. Only a minor thing: It is generally better to group things that belong together with parentheses. So ##13\mid (3^{n+2}+4^{2n+1}) ## would be better in my opinion. It is not important in this case since everybody can see that ##13\nmid 3^m## but it is good to get used to it for any linear notation.
 
The working out suggests first equating ## \sqrt{i} = x + iy ## and suggests that squaring and equating real and imaginary parts of both sides results in ## \sqrt{i} = \pm (1+i)/ \sqrt{2} ## Squaring both sides results in: $$ i = (x + iy)^2 $$ $$ i = x^2 + 2ixy -y^2 $$ equating real parts gives $$ x^2 - y^2 = 0 $$ $$ (x+y)(x-y) = 0 $$ $$ x = \pm y $$ equating imaginary parts gives: $$ i = 2ixy $$ $$ 2xy = 1 $$ I'm not really sure how to proceed from here.