find the value $2^nequiv ?pmod {12}$
$begingroup$
if $n>1$ odd number,find $$2^nequiv ?pmod {12}$$
it seem the answer is $8$,because
$$2^3=8equiv 8pmod{12}$$
$$2^5=32equiv 8pmod {12}$$
$$2^7=128equiv 8pmod {12}$$
$$2^9=512equiv 8pmod {12}$$
$$cdots $$
But How to prove it for all postive integers $n$?
number-theory
$endgroup$
add a comment |
$begingroup$
if $n>1$ odd number,find $$2^nequiv ?pmod {12}$$
it seem the answer is $8$,because
$$2^3=8equiv 8pmod{12}$$
$$2^5=32equiv 8pmod {12}$$
$$2^7=128equiv 8pmod {12}$$
$$2^9=512equiv 8pmod {12}$$
$$cdots $$
But How to prove it for all postive integers $n$?
number-theory
$endgroup$
1
$begingroup$
$4 cdot 8 = 32 = 24 + 8 equiv 8 pmod{12}$
$endgroup$
– Will Jagy
Jan 19 at 3:04
add a comment |
$begingroup$
if $n>1$ odd number,find $$2^nequiv ?pmod {12}$$
it seem the answer is $8$,because
$$2^3=8equiv 8pmod{12}$$
$$2^5=32equiv 8pmod {12}$$
$$2^7=128equiv 8pmod {12}$$
$$2^9=512equiv 8pmod {12}$$
$$cdots $$
But How to prove it for all postive integers $n$?
number-theory
$endgroup$
if $n>1$ odd number,find $$2^nequiv ?pmod {12}$$
it seem the answer is $8$,because
$$2^3=8equiv 8pmod{12}$$
$$2^5=32equiv 8pmod {12}$$
$$2^7=128equiv 8pmod {12}$$
$$2^9=512equiv 8pmod {12}$$
$$cdots $$
But How to prove it for all postive integers $n$?
number-theory
number-theory
edited Jan 19 at 3:07
inequality
asked Jan 19 at 3:02
inequalityinequality
734520
734520
1
$begingroup$
$4 cdot 8 = 32 = 24 + 8 equiv 8 pmod{12}$
$endgroup$
– Will Jagy
Jan 19 at 3:04
add a comment |
1
$begingroup$
$4 cdot 8 = 32 = 24 + 8 equiv 8 pmod{12}$
$endgroup$
– Will Jagy
Jan 19 at 3:04
1
1
$begingroup$
$4 cdot 8 = 32 = 24 + 8 equiv 8 pmod{12}$
$endgroup$
– Will Jagy
Jan 19 at 3:04
$begingroup$
$4 cdot 8 = 32 = 24 + 8 equiv 8 pmod{12}$
$endgroup$
– Will Jagy
Jan 19 at 3:04
add a comment |
5 Answers
5
active
oldest
votes
$begingroup$
To be precise, we want to prove that if $n$ is an odd number $geq 3$, then $$2^nequiv 8pmod{12}.$$
Since you've verify the initial case $n=3$, we assume if $kgeq3$ is an odd number and $2^kequiv 8pmod{12}$ holds, then $$2^{k+2}equiv 8times 4equiv 32equiv 8pmod{12}$$
holds as well. Hence we completed the proof by induction.
$endgroup$
1
$begingroup$
For quite a while I was trying to do this without induction, but this really is nice, short, and sweet.
$endgroup$
– Randall
Jan 19 at 4:01
$begingroup$
@Randall We can reduce the induction to the triviality $,1^nequiv 1,$ by factoring out $4$ (or $8)$ as I explain in my answer and its comments. Using this mod distributivity often simplifies modular arithmetic (it can be viewed as an operational form of CRT more amenable to computation).
$endgroup$
– Bill Dubuque
Jan 19 at 14:09
add a comment |
$begingroup$
$8cdot 4^{large n}!bmod 12, =, 4(2cdot 4^{large n}! bmod 3), =, 4(2)$
$endgroup$
$begingroup$
$large {rm By} abbmod ac = a(bbmod c) = $ mod Distributive Law, and 4 = 1 (mod 3) $ $
$endgroup$
– Bill Dubuque
Jan 19 at 5:44
$begingroup$
Or $,large 8cdot 4^{large n}!bmod 24, =, 8(color{#c00}4^{large n}! bmod 3), =, 8(1),$ more generally, by $,large color{#c00}4^nequiv color{#c00}1^nequiv 1pmod{!3}. $ Notice that factoring out the $,8,$ simplifies the induction to a completely trivial instance: $,,large 1^nequiv 1 $
$endgroup$
– Bill Dubuque
Jan 19 at 14:12
add a comment |
$begingroup$
We first calculate $$2^n mod{3}, 2^n mod{4}$$
and then combine the results with Chinese Remainder Theorem.
Both should be easy to calculate.
Writing n=2k+1, $$2^{2k+1} equiv {-1}^{2k+1} equiv ({-1}^{2})^{k} times {-1}^1 equiv 1 times -1 equiv -1 equiv 2 mod{3}$$
$$2^{2k+1} equiv 4^ktimes2equiv0mod{4}$$
Therefore by CRT, $$2^{2k+1} equiv 8 mod{12}$$
$endgroup$
add a comment |
$begingroup$
You can prove it with the Chinese remainder theorem: $12=2^2cdot3$.
We have $2^ncong0pmod{2^2}$, and$2^ncong2pmod3$ ( since by Fermat's little theorem, $2^2cong1pmod3$).
Using Bezout's identity, $1cdot2^2-1cdot 3=1$, we get $2cdot1cdot2^2+0cdot1cdot 3=8$, as our solution.
$endgroup$
$begingroup$
A slicker way to apply CRT here is via mod distributivity - see my answer.
$endgroup$
– Bill Dubuque
Jan 19 at 5:49
$begingroup$
Nice @BillDubuque. I will try to use it some time.
$endgroup$
– Chris Custer
Jan 19 at 6:34
add a comment |
$begingroup$
Notice that:
$$2^{2m+1}-8=2(2^m+2)(2^m-2)$$
We wish to show the RHS is a multiple of $12$. The outside $2$ means we need one of the brackets to be a multiple of $6$. Can you show that if two even numbers are four apart, one of them must be a multiple of $6$?
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3078972%2ffind-the-value-2n-equiv-pmod-12%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
5 Answers
5
active
oldest
votes
5 Answers
5
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
To be precise, we want to prove that if $n$ is an odd number $geq 3$, then $$2^nequiv 8pmod{12}.$$
Since you've verify the initial case $n=3$, we assume if $kgeq3$ is an odd number and $2^kequiv 8pmod{12}$ holds, then $$2^{k+2}equiv 8times 4equiv 32equiv 8pmod{12}$$
holds as well. Hence we completed the proof by induction.
$endgroup$
1
$begingroup$
For quite a while I was trying to do this without induction, but this really is nice, short, and sweet.
$endgroup$
– Randall
Jan 19 at 4:01
$begingroup$
@Randall We can reduce the induction to the triviality $,1^nequiv 1,$ by factoring out $4$ (or $8)$ as I explain in my answer and its comments. Using this mod distributivity often simplifies modular arithmetic (it can be viewed as an operational form of CRT more amenable to computation).
$endgroup$
– Bill Dubuque
Jan 19 at 14:09
add a comment |
$begingroup$
To be precise, we want to prove that if $n$ is an odd number $geq 3$, then $$2^nequiv 8pmod{12}.$$
Since you've verify the initial case $n=3$, we assume if $kgeq3$ is an odd number and $2^kequiv 8pmod{12}$ holds, then $$2^{k+2}equiv 8times 4equiv 32equiv 8pmod{12}$$
holds as well. Hence we completed the proof by induction.
$endgroup$
1
$begingroup$
For quite a while I was trying to do this without induction, but this really is nice, short, and sweet.
$endgroup$
– Randall
Jan 19 at 4:01
$begingroup$
@Randall We can reduce the induction to the triviality $,1^nequiv 1,$ by factoring out $4$ (or $8)$ as I explain in my answer and its comments. Using this mod distributivity often simplifies modular arithmetic (it can be viewed as an operational form of CRT more amenable to computation).
$endgroup$
– Bill Dubuque
Jan 19 at 14:09
add a comment |
$begingroup$
To be precise, we want to prove that if $n$ is an odd number $geq 3$, then $$2^nequiv 8pmod{12}.$$
Since you've verify the initial case $n=3$, we assume if $kgeq3$ is an odd number and $2^kequiv 8pmod{12}$ holds, then $$2^{k+2}equiv 8times 4equiv 32equiv 8pmod{12}$$
holds as well. Hence we completed the proof by induction.
$endgroup$
To be precise, we want to prove that if $n$ is an odd number $geq 3$, then $$2^nequiv 8pmod{12}.$$
Since you've verify the initial case $n=3$, we assume if $kgeq3$ is an odd number and $2^kequiv 8pmod{12}$ holds, then $$2^{k+2}equiv 8times 4equiv 32equiv 8pmod{12}$$
holds as well. Hence we completed the proof by induction.
answered Jan 19 at 3:10
kelvin hong 方kelvin hong 方
62018
62018
1
$begingroup$
For quite a while I was trying to do this without induction, but this really is nice, short, and sweet.
$endgroup$
– Randall
Jan 19 at 4:01
$begingroup$
@Randall We can reduce the induction to the triviality $,1^nequiv 1,$ by factoring out $4$ (or $8)$ as I explain in my answer and its comments. Using this mod distributivity often simplifies modular arithmetic (it can be viewed as an operational form of CRT more amenable to computation).
$endgroup$
– Bill Dubuque
Jan 19 at 14:09
add a comment |
1
$begingroup$
For quite a while I was trying to do this without induction, but this really is nice, short, and sweet.
$endgroup$
– Randall
Jan 19 at 4:01
$begingroup$
@Randall We can reduce the induction to the triviality $,1^nequiv 1,$ by factoring out $4$ (or $8)$ as I explain in my answer and its comments. Using this mod distributivity often simplifies modular arithmetic (it can be viewed as an operational form of CRT more amenable to computation).
$endgroup$
– Bill Dubuque
Jan 19 at 14:09
1
1
$begingroup$
For quite a while I was trying to do this without induction, but this really is nice, short, and sweet.
$endgroup$
– Randall
Jan 19 at 4:01
$begingroup$
For quite a while I was trying to do this without induction, but this really is nice, short, and sweet.
$endgroup$
– Randall
Jan 19 at 4:01
$begingroup$
@Randall We can reduce the induction to the triviality $,1^nequiv 1,$ by factoring out $4$ (or $8)$ as I explain in my answer and its comments. Using this mod distributivity often simplifies modular arithmetic (it can be viewed as an operational form of CRT more amenable to computation).
$endgroup$
– Bill Dubuque
Jan 19 at 14:09
$begingroup$
@Randall We can reduce the induction to the triviality $,1^nequiv 1,$ by factoring out $4$ (or $8)$ as I explain in my answer and its comments. Using this mod distributivity often simplifies modular arithmetic (it can be viewed as an operational form of CRT more amenable to computation).
$endgroup$
– Bill Dubuque
Jan 19 at 14:09
add a comment |
$begingroup$
$8cdot 4^{large n}!bmod 12, =, 4(2cdot 4^{large n}! bmod 3), =, 4(2)$
$endgroup$
$begingroup$
$large {rm By} abbmod ac = a(bbmod c) = $ mod Distributive Law, and 4 = 1 (mod 3) $ $
$endgroup$
– Bill Dubuque
Jan 19 at 5:44
$begingroup$
Or $,large 8cdot 4^{large n}!bmod 24, =, 8(color{#c00}4^{large n}! bmod 3), =, 8(1),$ more generally, by $,large color{#c00}4^nequiv color{#c00}1^nequiv 1pmod{!3}. $ Notice that factoring out the $,8,$ simplifies the induction to a completely trivial instance: $,,large 1^nequiv 1 $
$endgroup$
– Bill Dubuque
Jan 19 at 14:12
add a comment |
$begingroup$
$8cdot 4^{large n}!bmod 12, =, 4(2cdot 4^{large n}! bmod 3), =, 4(2)$
$endgroup$
$begingroup$
$large {rm By} abbmod ac = a(bbmod c) = $ mod Distributive Law, and 4 = 1 (mod 3) $ $
$endgroup$
– Bill Dubuque
Jan 19 at 5:44
$begingroup$
Or $,large 8cdot 4^{large n}!bmod 24, =, 8(color{#c00}4^{large n}! bmod 3), =, 8(1),$ more generally, by $,large color{#c00}4^nequiv color{#c00}1^nequiv 1pmod{!3}. $ Notice that factoring out the $,8,$ simplifies the induction to a completely trivial instance: $,,large 1^nequiv 1 $
$endgroup$
– Bill Dubuque
Jan 19 at 14:12
add a comment |
$begingroup$
$8cdot 4^{large n}!bmod 12, =, 4(2cdot 4^{large n}! bmod 3), =, 4(2)$
$endgroup$
$8cdot 4^{large n}!bmod 12, =, 4(2cdot 4^{large n}! bmod 3), =, 4(2)$
edited Jan 19 at 5:38
answered Jan 19 at 5:20
Bill DubuqueBill Dubuque
210k29192645
210k29192645
$begingroup$
$large {rm By} abbmod ac = a(bbmod c) = $ mod Distributive Law, and 4 = 1 (mod 3) $ $
$endgroup$
– Bill Dubuque
Jan 19 at 5:44
$begingroup$
Or $,large 8cdot 4^{large n}!bmod 24, =, 8(color{#c00}4^{large n}! bmod 3), =, 8(1),$ more generally, by $,large color{#c00}4^nequiv color{#c00}1^nequiv 1pmod{!3}. $ Notice that factoring out the $,8,$ simplifies the induction to a completely trivial instance: $,,large 1^nequiv 1 $
$endgroup$
– Bill Dubuque
Jan 19 at 14:12
add a comment |
$begingroup$
$large {rm By} abbmod ac = a(bbmod c) = $ mod Distributive Law, and 4 = 1 (mod 3) $ $
$endgroup$
– Bill Dubuque
Jan 19 at 5:44
$begingroup$
Or $,large 8cdot 4^{large n}!bmod 24, =, 8(color{#c00}4^{large n}! bmod 3), =, 8(1),$ more generally, by $,large color{#c00}4^nequiv color{#c00}1^nequiv 1pmod{!3}. $ Notice that factoring out the $,8,$ simplifies the induction to a completely trivial instance: $,,large 1^nequiv 1 $
$endgroup$
– Bill Dubuque
Jan 19 at 14:12
$begingroup$
$large {rm By} abbmod ac = a(bbmod c) = $ mod Distributive Law, and 4 = 1 (mod 3) $ $
$endgroup$
– Bill Dubuque
Jan 19 at 5:44
$begingroup$
$large {rm By} abbmod ac = a(bbmod c) = $ mod Distributive Law, and 4 = 1 (mod 3) $ $
$endgroup$
– Bill Dubuque
Jan 19 at 5:44
$begingroup$
Or $,large 8cdot 4^{large n}!bmod 24, =, 8(color{#c00}4^{large n}! bmod 3), =, 8(1),$ more generally, by $,large color{#c00}4^nequiv color{#c00}1^nequiv 1pmod{!3}. $ Notice that factoring out the $,8,$ simplifies the induction to a completely trivial instance: $,,large 1^nequiv 1 $
$endgroup$
– Bill Dubuque
Jan 19 at 14:12
$begingroup$
Or $,large 8cdot 4^{large n}!bmod 24, =, 8(color{#c00}4^{large n}! bmod 3), =, 8(1),$ more generally, by $,large color{#c00}4^nequiv color{#c00}1^nequiv 1pmod{!3}. $ Notice that factoring out the $,8,$ simplifies the induction to a completely trivial instance: $,,large 1^nequiv 1 $
$endgroup$
– Bill Dubuque
Jan 19 at 14:12
add a comment |
$begingroup$
We first calculate $$2^n mod{3}, 2^n mod{4}$$
and then combine the results with Chinese Remainder Theorem.
Both should be easy to calculate.
Writing n=2k+1, $$2^{2k+1} equiv {-1}^{2k+1} equiv ({-1}^{2})^{k} times {-1}^1 equiv 1 times -1 equiv -1 equiv 2 mod{3}$$
$$2^{2k+1} equiv 4^ktimes2equiv0mod{4}$$
Therefore by CRT, $$2^{2k+1} equiv 8 mod{12}$$
$endgroup$
add a comment |
$begingroup$
We first calculate $$2^n mod{3}, 2^n mod{4}$$
and then combine the results with Chinese Remainder Theorem.
Both should be easy to calculate.
Writing n=2k+1, $$2^{2k+1} equiv {-1}^{2k+1} equiv ({-1}^{2})^{k} times {-1}^1 equiv 1 times -1 equiv -1 equiv 2 mod{3}$$
$$2^{2k+1} equiv 4^ktimes2equiv0mod{4}$$
Therefore by CRT, $$2^{2k+1} equiv 8 mod{12}$$
$endgroup$
add a comment |
$begingroup$
We first calculate $$2^n mod{3}, 2^n mod{4}$$
and then combine the results with Chinese Remainder Theorem.
Both should be easy to calculate.
Writing n=2k+1, $$2^{2k+1} equiv {-1}^{2k+1} equiv ({-1}^{2})^{k} times {-1}^1 equiv 1 times -1 equiv -1 equiv 2 mod{3}$$
$$2^{2k+1} equiv 4^ktimes2equiv0mod{4}$$
Therefore by CRT, $$2^{2k+1} equiv 8 mod{12}$$
$endgroup$
We first calculate $$2^n mod{3}, 2^n mod{4}$$
and then combine the results with Chinese Remainder Theorem.
Both should be easy to calculate.
Writing n=2k+1, $$2^{2k+1} equiv {-1}^{2k+1} equiv ({-1}^{2})^{k} times {-1}^1 equiv 1 times -1 equiv -1 equiv 2 mod{3}$$
$$2^{2k+1} equiv 4^ktimes2equiv0mod{4}$$
Therefore by CRT, $$2^{2k+1} equiv 8 mod{12}$$
answered Jan 19 at 3:20
Gareth MaGareth Ma
321113
321113
add a comment |
add a comment |
$begingroup$
You can prove it with the Chinese remainder theorem: $12=2^2cdot3$.
We have $2^ncong0pmod{2^2}$, and$2^ncong2pmod3$ ( since by Fermat's little theorem, $2^2cong1pmod3$).
Using Bezout's identity, $1cdot2^2-1cdot 3=1$, we get $2cdot1cdot2^2+0cdot1cdot 3=8$, as our solution.
$endgroup$
$begingroup$
A slicker way to apply CRT here is via mod distributivity - see my answer.
$endgroup$
– Bill Dubuque
Jan 19 at 5:49
$begingroup$
Nice @BillDubuque. I will try to use it some time.
$endgroup$
– Chris Custer
Jan 19 at 6:34
add a comment |
$begingroup$
You can prove it with the Chinese remainder theorem: $12=2^2cdot3$.
We have $2^ncong0pmod{2^2}$, and$2^ncong2pmod3$ ( since by Fermat's little theorem, $2^2cong1pmod3$).
Using Bezout's identity, $1cdot2^2-1cdot 3=1$, we get $2cdot1cdot2^2+0cdot1cdot 3=8$, as our solution.
$endgroup$
$begingroup$
A slicker way to apply CRT here is via mod distributivity - see my answer.
$endgroup$
– Bill Dubuque
Jan 19 at 5:49
$begingroup$
Nice @BillDubuque. I will try to use it some time.
$endgroup$
– Chris Custer
Jan 19 at 6:34
add a comment |
$begingroup$
You can prove it with the Chinese remainder theorem: $12=2^2cdot3$.
We have $2^ncong0pmod{2^2}$, and$2^ncong2pmod3$ ( since by Fermat's little theorem, $2^2cong1pmod3$).
Using Bezout's identity, $1cdot2^2-1cdot 3=1$, we get $2cdot1cdot2^2+0cdot1cdot 3=8$, as our solution.
$endgroup$
You can prove it with the Chinese remainder theorem: $12=2^2cdot3$.
We have $2^ncong0pmod{2^2}$, and$2^ncong2pmod3$ ( since by Fermat's little theorem, $2^2cong1pmod3$).
Using Bezout's identity, $1cdot2^2-1cdot 3=1$, we get $2cdot1cdot2^2+0cdot1cdot 3=8$, as our solution.
edited Jan 19 at 4:49
answered Jan 19 at 3:19
Chris CusterChris Custer
13.2k3827
13.2k3827
$begingroup$
A slicker way to apply CRT here is via mod distributivity - see my answer.
$endgroup$
– Bill Dubuque
Jan 19 at 5:49
$begingroup$
Nice @BillDubuque. I will try to use it some time.
$endgroup$
– Chris Custer
Jan 19 at 6:34
add a comment |
$begingroup$
A slicker way to apply CRT here is via mod distributivity - see my answer.
$endgroup$
– Bill Dubuque
Jan 19 at 5:49
$begingroup$
Nice @BillDubuque. I will try to use it some time.
$endgroup$
– Chris Custer
Jan 19 at 6:34
$begingroup$
A slicker way to apply CRT here is via mod distributivity - see my answer.
$endgroup$
– Bill Dubuque
Jan 19 at 5:49
$begingroup$
A slicker way to apply CRT here is via mod distributivity - see my answer.
$endgroup$
– Bill Dubuque
Jan 19 at 5:49
$begingroup$
Nice @BillDubuque. I will try to use it some time.
$endgroup$
– Chris Custer
Jan 19 at 6:34
$begingroup$
Nice @BillDubuque. I will try to use it some time.
$endgroup$
– Chris Custer
Jan 19 at 6:34
add a comment |
$begingroup$
Notice that:
$$2^{2m+1}-8=2(2^m+2)(2^m-2)$$
We wish to show the RHS is a multiple of $12$. The outside $2$ means we need one of the brackets to be a multiple of $6$. Can you show that if two even numbers are four apart, one of them must be a multiple of $6$?
$endgroup$
add a comment |
$begingroup$
Notice that:
$$2^{2m+1}-8=2(2^m+2)(2^m-2)$$
We wish to show the RHS is a multiple of $12$. The outside $2$ means we need one of the brackets to be a multiple of $6$. Can you show that if two even numbers are four apart, one of them must be a multiple of $6$?
$endgroup$
add a comment |
$begingroup$
Notice that:
$$2^{2m+1}-8=2(2^m+2)(2^m-2)$$
We wish to show the RHS is a multiple of $12$. The outside $2$ means we need one of the brackets to be a multiple of $6$. Can you show that if two even numbers are four apart, one of them must be a multiple of $6$?
$endgroup$
Notice that:
$$2^{2m+1}-8=2(2^m+2)(2^m-2)$$
We wish to show the RHS is a multiple of $12$. The outside $2$ means we need one of the brackets to be a multiple of $6$. Can you show that if two even numbers are four apart, one of them must be a multiple of $6$?
answered Jan 19 at 5:02
Rhys HughesRhys Hughes
6,7071530
6,7071530
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3078972%2ffind-the-value-2n-equiv-pmod-12%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
$4 cdot 8 = 32 = 24 + 8 equiv 8 pmod{12}$
$endgroup$
– Will Jagy
Jan 19 at 3:04