Prove without induction that $2×7^n+3×5^n-5$ is divisible by $24$. The Next CEO of Stack OverflowWhy is $a^n - b^n$ divisible by $a-b$?Prove that $n^2 + n +1$ is not divisible by $5$ for any $n$What day of the week was it on this date in the year 1000?Proof of divisibility using modular arithmetic: $5mid 6^n - 5n + 4$Is there a way to prove that 2y(y-1) is divisible by four other than by means of induction?Prove that $ 16^20+29^21+42^22$ is divisible by $13$.How to prove if a binary number is divisible by 3?Prove that $4^n+ 1$ is not divisible by $3$Show that for every integer $n$, $n^3 - n$ is divisible by 3 using modular arithmeticProve that $3$ divides $14^2n-1$ with modular arithmetic.
Why did the Drakh emissary look so blurred in S04:E11 "Lines of Communication"?
logical reads on global temp table, but not on session-level temp table
Arrows in tikz Markov chain diagram overlap
Is it OK to decorate a log book cover?
Is it possible to create a QR code using text?
Find the majority element, which appears more than half the time
Why was Sir Cadogan fired?
Car headlights in a world without electricity
MT "will strike" & LXX "will watch carefully" (Gen 3:15)?
Upgrading From a 9 Speed Sora Derailleur?
How badly should I try to prevent a user from XSSing themselves?
Could you use a laser beam as a modulated carrier wave for radio signal?
Is there a rule of thumb for determining the amount one should accept for a settlement offer?
Can Sri Krishna be called 'a person'?
How should I connect my cat5 cable to connectors having an orange-green line?
Gödel's incompleteness theorems - what are the religious implications?
My ex-girlfriend uses my Apple ID to login to her iPad, do I have to give her my Apple ID password to reset it?
How did scripture get the name bible?
How can the PCs determine if an item is a phylactery?
What is a typical Mizrachi Seder like?
Was the Stack Exchange "Happy April Fools" page fitting with the 90s code?
Is a linearly independent set whose span is dense a Schauder basis?
Could a dragon use hot air to help it take off?
Why does sin(x) - sin(y) equal this?
Prove without induction that $2×7^n+3×5^n-5$ is divisible by $24$.
The Next CEO of Stack OverflowWhy is $a^n - b^n$ divisible by $a-b$?Prove that $n^2 + n +1$ is not divisible by $5$ for any $n$What day of the week was it on this date in the year 1000?Proof of divisibility using modular arithmetic: $5mid 6^n - 5n + 4$Is there a way to prove that 2y(y-1) is divisible by four other than by means of induction?Prove that $ 16^20+29^21+42^22$ is divisible by $13$.How to prove if a binary number is divisible by 3?Prove that $4^n+ 1$ is not divisible by $3$Show that for every integer $n$, $n^3 - n$ is divisible by 3 using modular arithmeticProve that $3$ divides $14^2n-1$ with modular arithmetic.
$begingroup$
I proved this by induction. But I want to show it using modular arithmetic. I tried for sometime as follows
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a+3×4b\
12(a+b)$$
In this way I just proved that it is divisible by 12 but it is not enough. Am I missing something or it will solved by some other method.
modular-arithmetic divisibility
$endgroup$
add a comment |
$begingroup$
I proved this by induction. But I want to show it using modular arithmetic. I tried for sometime as follows
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a+3×4b\
12(a+b)$$
In this way I just proved that it is divisible by 12 but it is not enough. Am I missing something or it will solved by some other method.
modular-arithmetic divisibility
$endgroup$
$begingroup$
If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
$endgroup$
– AlephNull
Mar 20 at 11:27
add a comment |
$begingroup$
I proved this by induction. But I want to show it using modular arithmetic. I tried for sometime as follows
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a+3×4b\
12(a+b)$$
In this way I just proved that it is divisible by 12 but it is not enough. Am I missing something or it will solved by some other method.
modular-arithmetic divisibility
$endgroup$
I proved this by induction. But I want to show it using modular arithmetic. I tried for sometime as follows
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a+3×4b\
12(a+b)$$
In this way I just proved that it is divisible by 12 but it is not enough. Am I missing something or it will solved by some other method.
modular-arithmetic divisibility
modular-arithmetic divisibility
edited Mar 20 at 13:33
Bernard
124k741118
124k741118
asked Mar 20 at 11:20
aman ranaaman rana
355
355
$begingroup$
If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
$endgroup$
– AlephNull
Mar 20 at 11:27
add a comment |
$begingroup$
If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
$endgroup$
– AlephNull
Mar 20 at 11:27
$begingroup$
If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
$endgroup$
– AlephNull
Mar 20 at 11:27
$begingroup$
If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
$endgroup$
– AlephNull
Mar 20 at 11:27
add a comment |
6 Answers
6
active
oldest
votes
$begingroup$
Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:
- if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;
- otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.
$endgroup$
1
$begingroup$
may I suggest that you use $times$ instead of the dot?
$endgroup$
– Ertxiem
Mar 20 at 11:29
1
$begingroup$
Yes, you are allowed to do that. :-)
$endgroup$
– José Carlos Santos
Mar 20 at 11:30
1
$begingroup$
Thank you very much. :)
$endgroup$
– Ertxiem
Mar 20 at 11:35
1
$begingroup$
This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
$endgroup$
– Carl Mummert
Mar 20 at 12:10
1
$begingroup$
@Carl Do you know any way to formalize "proof without induction" at an elementary level?
$endgroup$
– Bill Dubuque
Mar 21 at 2:49
add a comment |
$begingroup$
$$2(7^n-1)+3(5^n-1)$$
$$=2((1+6)^n-1)+3((1+4)^n-1)$$
$$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$
$$equiv 24npmod24$$
$endgroup$
1
$begingroup$
Very nice and simple.... +1
$endgroup$
– Shailesh
Mar 20 at 12:07
add a comment |
$begingroup$
Case 1 : $n$ is odd
In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$
Case 2 : $n$ is even
In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$
$endgroup$
add a comment |
$begingroup$
Note that you have
$$
7^n - 1 = 6a\
5^n - 1 = 4b
$$
Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).
The binomial theorem gives
$$
7^n - 1 = (8-1)^n - 1\
= 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
$$
We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.
Then we have
$$
5^n - 1 = (4 + 1)^n - 1\
= 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
$$
and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.
So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.
$endgroup$
add a comment |
$begingroup$
You may split it up by calculating $mod 8$ and $mod 3$:
$mod 8$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
& equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
& stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
& equiv_8 & 0
endeqnarray*
$mod 3$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_3 & 2times 1^n + 3times (-1)^n +1 \
& equiv_3 & 3times (1 + (-1)^n)\
& equiv_3 & 0
endeqnarray*
$endgroup$
add a comment |
$begingroup$
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a + 3×4b\
12(color#c00a+b) $$
but it is not enough [to prove divisibility by $24$]
Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$
$endgroup$
add a comment |
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%2f3155303%2fprove-without-induction-that-2%25c3%25977n3%25c3%25975n-5-is-divisible-by-24%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
6 Answers
6
active
oldest
votes
6 Answers
6
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:
- if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;
- otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.
$endgroup$
1
$begingroup$
may I suggest that you use $times$ instead of the dot?
$endgroup$
– Ertxiem
Mar 20 at 11:29
1
$begingroup$
Yes, you are allowed to do that. :-)
$endgroup$
– José Carlos Santos
Mar 20 at 11:30
1
$begingroup$
Thank you very much. :)
$endgroup$
– Ertxiem
Mar 20 at 11:35
1
$begingroup$
This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
$endgroup$
– Carl Mummert
Mar 20 at 12:10
1
$begingroup$
@Carl Do you know any way to formalize "proof without induction" at an elementary level?
$endgroup$
– Bill Dubuque
Mar 21 at 2:49
add a comment |
$begingroup$
Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:
- if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;
- otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.
$endgroup$
1
$begingroup$
may I suggest that you use $times$ instead of the dot?
$endgroup$
– Ertxiem
Mar 20 at 11:29
1
$begingroup$
Yes, you are allowed to do that. :-)
$endgroup$
– José Carlos Santos
Mar 20 at 11:30
1
$begingroup$
Thank you very much. :)
$endgroup$
– Ertxiem
Mar 20 at 11:35
1
$begingroup$
This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
$endgroup$
– Carl Mummert
Mar 20 at 12:10
1
$begingroup$
@Carl Do you know any way to formalize "proof without induction" at an elementary level?
$endgroup$
– Bill Dubuque
Mar 21 at 2:49
add a comment |
$begingroup$
Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:
- if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;
- otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.
$endgroup$
Yes, it can be done by another method. Note that $7^2=2times24+1$ and that $5^2=24+1$ and that therefore$$7^nequivbegincases7pmod24&text if $n$ is odd\1pmod24&text otherwiseendcases$$and$$5^nequivbegincases5pmod24&text if $n$ is odd\1pmod24&text otherwise.endcases$$So:
- if $n$ is odd, then $2times7^n+3times5^n-5equiv2times7+3times5-5=24equiv0pmod24$;
- otherwise, $2times7^n+3times5^n-5equiv2times1+3times1-5equiv0pmod24$.
edited Mar 20 at 11:30
answered Mar 20 at 11:26
José Carlos SantosJosé Carlos Santos
171k23132240
171k23132240
1
$begingroup$
may I suggest that you use $times$ instead of the dot?
$endgroup$
– Ertxiem
Mar 20 at 11:29
1
$begingroup$
Yes, you are allowed to do that. :-)
$endgroup$
– José Carlos Santos
Mar 20 at 11:30
1
$begingroup$
Thank you very much. :)
$endgroup$
– Ertxiem
Mar 20 at 11:35
1
$begingroup$
This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
$endgroup$
– Carl Mummert
Mar 20 at 12:10
1
$begingroup$
@Carl Do you know any way to formalize "proof without induction" at an elementary level?
$endgroup$
– Bill Dubuque
Mar 21 at 2:49
add a comment |
1
$begingroup$
may I suggest that you use $times$ instead of the dot?
$endgroup$
– Ertxiem
Mar 20 at 11:29
1
$begingroup$
Yes, you are allowed to do that. :-)
$endgroup$
– José Carlos Santos
Mar 20 at 11:30
1
$begingroup$
Thank you very much. :)
$endgroup$
– Ertxiem
Mar 20 at 11:35
1
$begingroup$
This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
$endgroup$
– Carl Mummert
Mar 20 at 12:10
1
$begingroup$
@Carl Do you know any way to formalize "proof without induction" at an elementary level?
$endgroup$
– Bill Dubuque
Mar 21 at 2:49
1
1
$begingroup$
may I suggest that you use $times$ instead of the dot?
$endgroup$
– Ertxiem
Mar 20 at 11:29
$begingroup$
may I suggest that you use $times$ instead of the dot?
$endgroup$
– Ertxiem
Mar 20 at 11:29
1
1
$begingroup$
Yes, you are allowed to do that. :-)
$endgroup$
– José Carlos Santos
Mar 20 at 11:30
$begingroup$
Yes, you are allowed to do that. :-)
$endgroup$
– José Carlos Santos
Mar 20 at 11:30
1
1
$begingroup$
Thank you very much. :)
$endgroup$
– Ertxiem
Mar 20 at 11:35
$begingroup$
Thank you very much. :)
$endgroup$
– Ertxiem
Mar 20 at 11:35
1
1
$begingroup$
This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
$endgroup$
– Carl Mummert
Mar 20 at 12:10
$begingroup$
This is a correct method, but to prove the results stated would still require induction, for example to conclude that $7^2k equiv 1 pmod 24$ from $7^2 equiv 1 pmod24$. Even proving that $1^n = 1$ will require induction.
$endgroup$
– Carl Mummert
Mar 20 at 12:10
1
1
$begingroup$
@Carl Do you know any way to formalize "proof without induction" at an elementary level?
$endgroup$
– Bill Dubuque
Mar 21 at 2:49
$begingroup$
@Carl Do you know any way to formalize "proof without induction" at an elementary level?
$endgroup$
– Bill Dubuque
Mar 21 at 2:49
add a comment |
$begingroup$
$$2(7^n-1)+3(5^n-1)$$
$$=2((1+6)^n-1)+3((1+4)^n-1)$$
$$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$
$$equiv 24npmod24$$
$endgroup$
1
$begingroup$
Very nice and simple.... +1
$endgroup$
– Shailesh
Mar 20 at 12:07
add a comment |
$begingroup$
$$2(7^n-1)+3(5^n-1)$$
$$=2((1+6)^n-1)+3((1+4)^n-1)$$
$$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$
$$equiv 24npmod24$$
$endgroup$
1
$begingroup$
Very nice and simple.... +1
$endgroup$
– Shailesh
Mar 20 at 12:07
add a comment |
$begingroup$
$$2(7^n-1)+3(5^n-1)$$
$$=2((1+6)^n-1)+3((1+4)^n-1)$$
$$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$
$$equiv 24npmod24$$
$endgroup$
$$2(7^n-1)+3(5^n-1)$$
$$=2((1+6)^n-1)+3((1+4)^n-1)$$
$$equiv2(6n+text terms containing 6^2)+3(4n+text terms containing 4^2)$$
$$equiv 24npmod24$$
answered Mar 20 at 11:54
lab bhattacharjeelab bhattacharjee
228k15158279
228k15158279
1
$begingroup$
Very nice and simple.... +1
$endgroup$
– Shailesh
Mar 20 at 12:07
add a comment |
1
$begingroup$
Very nice and simple.... +1
$endgroup$
– Shailesh
Mar 20 at 12:07
1
1
$begingroup$
Very nice and simple.... +1
$endgroup$
– Shailesh
Mar 20 at 12:07
$begingroup$
Very nice and simple.... +1
$endgroup$
– Shailesh
Mar 20 at 12:07
add a comment |
$begingroup$
Case 1 : $n$ is odd
In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$
Case 2 : $n$ is even
In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$
$endgroup$
add a comment |
$begingroup$
Case 1 : $n$ is odd
In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$
Case 2 : $n$ is even
In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$
$endgroup$
add a comment |
$begingroup$
Case 1 : $n$ is odd
In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$
Case 2 : $n$ is even
In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$
$endgroup$
Case 1 : $n$ is odd
In this case $$2×7^n+3×5^n-5=2×7^n+2×5^n+5^n-5\=2timesunderbrace(7^n+5^n)_12k+5(5^n-1-1)\=24k+5(underbrace25^n-1over 2-1_24k')\=24k''$$
Case 2 : $n$ is even
In this case $$2×7^n+3×5^n-5=14×7^n-1+15×5^n-1-5\=14timesunderbrace(7^n-1+5^n-1)_12k+5(5^n-2-1)\=24k+5(underbrace25^n-2over 2-1_24k')\=24k''$$
answered Mar 20 at 11:36
Mostafa AyazMostafa Ayaz
18.2k31040
18.2k31040
add a comment |
add a comment |
$begingroup$
Note that you have
$$
7^n - 1 = 6a\
5^n - 1 = 4b
$$
Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).
The binomial theorem gives
$$
7^n - 1 = (8-1)^n - 1\
= 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
$$
We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.
Then we have
$$
5^n - 1 = (4 + 1)^n - 1\
= 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
$$
and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.
So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.
$endgroup$
add a comment |
$begingroup$
Note that you have
$$
7^n - 1 = 6a\
5^n - 1 = 4b
$$
Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).
The binomial theorem gives
$$
7^n - 1 = (8-1)^n - 1\
= 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
$$
We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.
Then we have
$$
5^n - 1 = (4 + 1)^n - 1\
= 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
$$
and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.
So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.
$endgroup$
add a comment |
$begingroup$
Note that you have
$$
7^n - 1 = 6a\
5^n - 1 = 4b
$$
Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).
The binomial theorem gives
$$
7^n - 1 = (8-1)^n - 1\
= 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
$$
We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.
Then we have
$$
5^n - 1 = (4 + 1)^n - 1\
= 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
$$
and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.
So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.
$endgroup$
Note that you have
$$
7^n - 1 = 6a\
5^n - 1 = 4b
$$
Now we're interested in whether $a$ and $b$ are even or odd. Which is to say we want to know when $7^n - 1$ is divisible by $4$ (so that when you divide it by $6$ you get an even number), and when $5^n-1$ is divisible by $8$ (so that when you divide it by $4$, you get an even number).
The binomial theorem gives
$$
7^n - 1 = (8-1)^n - 1\
= 8^n - binom n18^n-1 + cdots + (-1)^n-1binomnn-18 + (-1)^n - 1
$$
We see that this is divisible by $4$ exactly when $(-1)^n - 1$ is, which is to say when $n$ is even.
Then we have
$$
5^n - 1 = (4 + 1)^n - 1\
= 4^n + binom n14^n-1 + cdots + binomnn-14 + 1 - 1
$$
and we see that this is divisible by $8$ precisely when $binomnn-1 = n$ is even.
So $a$ and $b$ are both even for even $n$, and both odd for odd $n$, proving that $a+b$ is always even, meaning $12(a+b)$ is divisible by $24$.
edited Mar 20 at 11:42
answered Mar 20 at 11:35
ArthurArthur
121k7122208
121k7122208
add a comment |
add a comment |
$begingroup$
You may split it up by calculating $mod 8$ and $mod 3$:
$mod 8$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
& equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
& stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
& equiv_8 & 0
endeqnarray*
$mod 3$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_3 & 2times 1^n + 3times (-1)^n +1 \
& equiv_3 & 3times (1 + (-1)^n)\
& equiv_3 & 0
endeqnarray*
$endgroup$
add a comment |
$begingroup$
You may split it up by calculating $mod 8$ and $mod 3$:
$mod 8$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
& equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
& stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
& equiv_8 & 0
endeqnarray*
$mod 3$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_3 & 2times 1^n + 3times (-1)^n +1 \
& equiv_3 & 3times (1 + (-1)^n)\
& equiv_3 & 0
endeqnarray*
$endgroup$
add a comment |
$begingroup$
You may split it up by calculating $mod 8$ and $mod 3$:
$mod 8$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
& equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
& stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
& equiv_8 & 0
endeqnarray*
$mod 3$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_3 & 2times 1^n + 3times (-1)^n +1 \
& equiv_3 & 3times (1 + (-1)^n)\
& equiv_3 & 0
endeqnarray*
$endgroup$
You may split it up by calculating $mod 8$ and $mod 3$:
$mod 8$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_8 & 2times (-1)^n + 3times (-3)^n +3 \
& equiv_8 & 2times (-1)^n + 3((-3)^n + 1)\
& stackrel3^2 equiv_8 1equiv_8& begincases 2+3times (1+1) & n = 2k \ -2 +3 (-3 + 1) & n= 2k+1endcases\
& equiv_8 & 0
endeqnarray*
$mod 3$:
begineqnarray* 2×7^n+3×5^n-5
& equiv_3 & 2times 1^n + 3times (-1)^n +1 \
& equiv_3 & 3times (1 + (-1)^n)\
& equiv_3 & 0
endeqnarray*
answered Mar 20 at 12:06
trancelocationtrancelocation
13.5k1827
13.5k1827
add a comment |
add a comment |
$begingroup$
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a + 3×4b\
12(color#c00a+b) $$
but it is not enough [to prove divisibility by $24$]
Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$
$endgroup$
add a comment |
$begingroup$
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a + 3×4b\
12(color#c00a+b) $$
but it is not enough [to prove divisibility by $24$]
Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$
$endgroup$
add a comment |
$begingroup$
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a + 3×4b\
12(color#c00a+b) $$
but it is not enough [to prove divisibility by $24$]
Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$
$endgroup$
$$2×7^n-2+3×5^n-3\
2(7^n-1)+3(5^n-1)\
2×6a + 3×4b\
12(color#c00a+b) $$
but it is not enough [to prove divisibility by $24$]
Finish simply with $ 2mid color#c00a+b, =, dfrac7^large n!-17-1 + dfrac5^large n!-15-1, =, overbrace7^large n-1!+5^large n-1^rm even +cdots + overbrace7+5^rm even, +, overbrace1+1^rm even$
edited Mar 21 at 2:46
answered Mar 21 at 2:40
Bill DubuqueBill Dubuque
213k29196654
213k29196654
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%2f3155303%2fprove-without-induction-that-2%25c3%25977n3%25c3%25975n-5-is-divisible-by-24%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
$begingroup$
If you want to use modular arithmetic to do it, perhaps it's useful to note that $7^2 equiv 5^2 equiv 1 (textmod 24)$.
$endgroup$
– AlephNull
Mar 20 at 11:27