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.
logical reads on global temp table, but not on session-level temp table
Why doesn't Shulchan Aruch include the laws of destroying fruit trees?
Is it okay to majorly distort historical facts while writing a fiction story?
Gauss' Posthumous Publications?
Find the majority element, which appears more than half the time
How to compactly explain secondary and tertiary characters without resorting to stereotypes?
Avoiding the "not like other girls" trope?
Why was Sir Cadogan fired?
Upgrading From a 9 Speed Sora Derailleur?
Man transported from Alternate World into ours by a Neutrino Detector
How to pronounce fünf in 45
Would a grinding machine be a simple and workable propulsion system for an interplanetary spacecraft?
Does Germany produce more waste than the US?
Is it possible to make a 9x9 table fit within the default margins?
How seriously should I take size and weight limits of hand luggage?
Traveling with my 5 year old daughter (as the father) without the mother from Germany to Mexico
Calculate the Mean mean of two numbers
Can I cast Thunderwave and be at the center of its bottom face, but not be affected by it?
Could you use a laser beam as a modulated carrier wave for radio signal?
How to coordinate airplane tickets?
MT "will strike" & LXX "will watch carefully" (Gen 3:15)?
Is it reasonable to ask other researchers to send me their previous grant applications?
Is this a new Fibonacci Identity?
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?
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