Proof by mathematical induction that, for all non-negative integers $n$, $7^{2n+1} + 5^{n+3}$ is divisible by...
$begingroup$
I have been trying to solve this problem, but I have not been able to figure it out using any simple techniques. Would someone give me the ropes please?
Prove for $n=1$
$7^3 + 5^4 = 968 = 44(22)$
Assume $F(k)$ is true and try $F(k+1)+-F(k)$
$F(k) = 7^{2k+1} + 5^{k+3}$
$F(k+1) = 7^{2k+3} + 5^{k+4}$
$49*7^{2k+1} + 5*5^{k+3} +- [7^{2k+1} + 5^{k+3}]$
Neither addition nor subtraction gives us a chance to take $44$ in front of the bracket, the best approach it has come to my mind is to subtract $F(k)$ which gives us:
$4[12*7^{2k+1} + 5^{5+3}]$
And now we need to prove that the inside is divisible by $11$. I have not been able to do so.
induction
$endgroup$
add a comment |
$begingroup$
I have been trying to solve this problem, but I have not been able to figure it out using any simple techniques. Would someone give me the ropes please?
Prove for $n=1$
$7^3 + 5^4 = 968 = 44(22)$
Assume $F(k)$ is true and try $F(k+1)+-F(k)$
$F(k) = 7^{2k+1} + 5^{k+3}$
$F(k+1) = 7^{2k+3} + 5^{k+4}$
$49*7^{2k+1} + 5*5^{k+3} +- [7^{2k+1} + 5^{k+3}]$
Neither addition nor subtraction gives us a chance to take $44$ in front of the bracket, the best approach it has come to my mind is to subtract $F(k)$ which gives us:
$4[12*7^{2k+1} + 5^{5+3}]$
And now we need to prove that the inside is divisible by $11$. I have not been able to do so.
induction
$endgroup$
$begingroup$
See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
$endgroup$
– lab bhattacharjee
Dec 16 '18 at 8:50
add a comment |
$begingroup$
I have been trying to solve this problem, but I have not been able to figure it out using any simple techniques. Would someone give me the ropes please?
Prove for $n=1$
$7^3 + 5^4 = 968 = 44(22)$
Assume $F(k)$ is true and try $F(k+1)+-F(k)$
$F(k) = 7^{2k+1} + 5^{k+3}$
$F(k+1) = 7^{2k+3} + 5^{k+4}$
$49*7^{2k+1} + 5*5^{k+3} +- [7^{2k+1} + 5^{k+3}]$
Neither addition nor subtraction gives us a chance to take $44$ in front of the bracket, the best approach it has come to my mind is to subtract $F(k)$ which gives us:
$4[12*7^{2k+1} + 5^{5+3}]$
And now we need to prove that the inside is divisible by $11$. I have not been able to do so.
induction
$endgroup$
I have been trying to solve this problem, but I have not been able to figure it out using any simple techniques. Would someone give me the ropes please?
Prove for $n=1$
$7^3 + 5^4 = 968 = 44(22)$
Assume $F(k)$ is true and try $F(k+1)+-F(k)$
$F(k) = 7^{2k+1} + 5^{k+3}$
$F(k+1) = 7^{2k+3} + 5^{k+4}$
$49*7^{2k+1} + 5*5^{k+3} +- [7^{2k+1} + 5^{k+3}]$
Neither addition nor subtraction gives us a chance to take $44$ in front of the bracket, the best approach it has come to my mind is to subtract $F(k)$ which gives us:
$4[12*7^{2k+1} + 5^{5+3}]$
And now we need to prove that the inside is divisible by $11$. I have not been able to do so.
induction
induction
edited Dec 16 '18 at 8:46
Luca Carai
31119
31119
asked Dec 16 '18 at 8:23
Adam PáltikAdam Páltik
1149
1149
$begingroup$
See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
$endgroup$
– lab bhattacharjee
Dec 16 '18 at 8:50
add a comment |
$begingroup$
See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
$endgroup$
– lab bhattacharjee
Dec 16 '18 at 8:50
$begingroup$
See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
$endgroup$
– lab bhattacharjee
Dec 16 '18 at 8:50
$begingroup$
See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
$endgroup$
– lab bhattacharjee
Dec 16 '18 at 8:50
add a comment |
6 Answers
6
active
oldest
votes
$begingroup$
Basis
Satisfies for $n=0$($44Big|132$)
Induction hypothesis
$exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$
Inductive step
$$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$
$$=49(44m-5^{k+3})+5(5^{k+3})$$
$$=44(49m-5^{k+3})$$
which is clearly divisible by $44$.
Hope it helps:)
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
You're welcome.
$endgroup$
– Martund
Dec 16 '18 at 8:56
$begingroup$
@AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
$endgroup$
– Bill Dubuque
Dec 16 '18 at 20:57
add a comment |
$begingroup$
Base case : n=1✓
Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.
Step $n+1$:
$7^{2(n+1)+1}+ 5^{(n+1)+1}=$
$7^{2n+1}7^2+ 5^{n+1}5=$
$7^{2n+1}(44+5)+5^{n+1}5=$
$(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$
First term divisible by $44$, so is the second term by hypothesis.
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:55
$begingroup$
Adam Paltik.Welcome :)
$endgroup$
– Peter Szilas
Dec 16 '18 at 8:56
add a comment |
$begingroup$
A simple direct proof (without induction)
$$
7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
$$
$endgroup$
add a comment |
$begingroup$
The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule
$$begin{align}!!!!!bmod 44!:qquadquad
7^{large 2} &equiv, 5\[.2em]
times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
hline
Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
end{align}qquad!! $$
Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below
$$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
{bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$
Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.
You can find further discussion in many prior posts.
$endgroup$
add a comment |
$begingroup$
For $n=1$ is true.
Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$
$7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
add a comment |
$begingroup$
Here is another take.
Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
$$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$
The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.
$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%2f3042363%2fproof-by-mathematical-induction-that-for-all-non-negative-integers-n-72n%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$
Basis
Satisfies for $n=0$($44Big|132$)
Induction hypothesis
$exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$
Inductive step
$$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$
$$=49(44m-5^{k+3})+5(5^{k+3})$$
$$=44(49m-5^{k+3})$$
which is clearly divisible by $44$.
Hope it helps:)
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
You're welcome.
$endgroup$
– Martund
Dec 16 '18 at 8:56
$begingroup$
@AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
$endgroup$
– Bill Dubuque
Dec 16 '18 at 20:57
add a comment |
$begingroup$
Basis
Satisfies for $n=0$($44Big|132$)
Induction hypothesis
$exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$
Inductive step
$$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$
$$=49(44m-5^{k+3})+5(5^{k+3})$$
$$=44(49m-5^{k+3})$$
which is clearly divisible by $44$.
Hope it helps:)
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
You're welcome.
$endgroup$
– Martund
Dec 16 '18 at 8:56
$begingroup$
@AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
$endgroup$
– Bill Dubuque
Dec 16 '18 at 20:57
add a comment |
$begingroup$
Basis
Satisfies for $n=0$($44Big|132$)
Induction hypothesis
$exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$
Inductive step
$$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$
$$=49(44m-5^{k+3})+5(5^{k+3})$$
$$=44(49m-5^{k+3})$$
which is clearly divisible by $44$.
Hope it helps:)
$endgroup$
Basis
Satisfies for $n=0$($44Big|132$)
Induction hypothesis
$exists min mathbb N $ such that $7^{2k+1}+5^{k+3}=44m$
Inductive step
$$7^{2k+3}+5^{k+4} =49(7^{2k+1})+5(5^{k+3})$$
$$=49(44m-5^{k+3})+5(5^{k+3})$$
$$=44(49m-5^{k+3})$$
which is clearly divisible by $44$.
Hope it helps:)
answered Dec 16 '18 at 8:49
MartundMartund
1,655213
1,655213
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
You're welcome.
$endgroup$
– Martund
Dec 16 '18 at 8:56
$begingroup$
@AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
$endgroup$
– Bill Dubuque
Dec 16 '18 at 20:57
add a comment |
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
You're welcome.
$endgroup$
– Martund
Dec 16 '18 at 8:56
$begingroup$
@AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
$endgroup$
– Bill Dubuque
Dec 16 '18 at 20:57
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
You're welcome.
$endgroup$
– Martund
Dec 16 '18 at 8:56
$begingroup$
You're welcome.
$endgroup$
– Martund
Dec 16 '18 at 8:56
$begingroup$
@AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
$endgroup$
– Bill Dubuque
Dec 16 '18 at 20:57
$begingroup$
@AdamPáltik I explain the arithmetical essence of the above inductive proof in my answer.
$endgroup$
– Bill Dubuque
Dec 16 '18 at 20:57
add a comment |
$begingroup$
Base case : n=1✓
Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.
Step $n+1$:
$7^{2(n+1)+1}+ 5^{(n+1)+1}=$
$7^{2n+1}7^2+ 5^{n+1}5=$
$7^{2n+1}(44+5)+5^{n+1}5=$
$(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$
First term divisible by $44$, so is the second term by hypothesis.
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:55
$begingroup$
Adam Paltik.Welcome :)
$endgroup$
– Peter Szilas
Dec 16 '18 at 8:56
add a comment |
$begingroup$
Base case : n=1✓
Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.
Step $n+1$:
$7^{2(n+1)+1}+ 5^{(n+1)+1}=$
$7^{2n+1}7^2+ 5^{n+1}5=$
$7^{2n+1}(44+5)+5^{n+1}5=$
$(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$
First term divisible by $44$, so is the second term by hypothesis.
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:55
$begingroup$
Adam Paltik.Welcome :)
$endgroup$
– Peter Szilas
Dec 16 '18 at 8:56
add a comment |
$begingroup$
Base case : n=1✓
Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.
Step $n+1$:
$7^{2(n+1)+1}+ 5^{(n+1)+1}=$
$7^{2n+1}7^2+ 5^{n+1}5=$
$7^{2n+1}(44+5)+5^{n+1}5=$
$(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$
First term divisible by $44$, so is the second term by hypothesis.
$endgroup$
Base case : n=1✓
Hypothesis : $44$ divides $7^{2n+1} +5^{n+3}$.
Step $n+1$:
$7^{2(n+1)+1}+ 5^{(n+1)+1}=$
$7^{2n+1}7^2+ 5^{n+1}5=$
$7^{2n+1}(44+5)+5^{n+1}5=$
$(44)7^{2n+1} +5(7^{2n+1}+5^{n+1}).$
First term divisible by $44$, so is the second term by hypothesis.
edited Dec 16 '18 at 8:52
answered Dec 16 '18 at 8:40
Peter SzilasPeter Szilas
11.4k2822
11.4k2822
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:55
$begingroup$
Adam Paltik.Welcome :)
$endgroup$
– Peter Szilas
Dec 16 '18 at 8:56
add a comment |
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:55
$begingroup$
Adam Paltik.Welcome :)
$endgroup$
– Peter Szilas
Dec 16 '18 at 8:56
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:55
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:55
$begingroup$
Adam Paltik.Welcome :)
$endgroup$
– Peter Szilas
Dec 16 '18 at 8:56
$begingroup$
Adam Paltik.Welcome :)
$endgroup$
– Peter Szilas
Dec 16 '18 at 8:56
add a comment |
$begingroup$
A simple direct proof (without induction)
$$
7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
$$
$endgroup$
add a comment |
$begingroup$
A simple direct proof (without induction)
$$
7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
$$
$endgroup$
add a comment |
$begingroup$
A simple direct proof (without induction)
$$
7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
$$
$endgroup$
A simple direct proof (without induction)
$$
7times(44+5)^n+125times 5^n = ktimes 44 + 7times 5^n+125times 5^n = ktimes 44 + 44times 3times 5^nequiv 0 mod 44
$$
answered Dec 16 '18 at 9:48
CesareoCesareo
9,2413517
9,2413517
add a comment |
add a comment |
$begingroup$
The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule
$$begin{align}!!!!!bmod 44!:qquadquad
7^{large 2} &equiv, 5\[.2em]
times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
hline
Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
end{align}qquad!! $$
Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below
$$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
{bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$
Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.
You can find further discussion in many prior posts.
$endgroup$
add a comment |
$begingroup$
The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule
$$begin{align}!!!!!bmod 44!:qquadquad
7^{large 2} &equiv, 5\[.2em]
times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
hline
Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
end{align}qquad!! $$
Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below
$$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
{bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$
Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.
You can find further discussion in many prior posts.
$endgroup$
add a comment |
$begingroup$
The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule
$$begin{align}!!!!!bmod 44!:qquadquad
7^{large 2} &equiv, 5\[.2em]
times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
hline
Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
end{align}qquad!! $$
Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below
$$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
{bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$
Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.
You can find further discussion in many prior posts.
$endgroup$
The arithmetical essence is clarified if we use modular arithmetic as below, which reveals that the inductive step boils down to scaling $,P(n),$ by $,7^2equiv 5,$ using the Congruence Product Rule
$$begin{align}!!!!!bmod 44!:qquadquad
7^{large 2} &equiv, 5\[.2em]
times 7^{large 2n+1}&equiv, -5^{large n+3}quad {rm i.e.} P(n)_{phantom{I_{I_I}}}\[.2em]
hline
Rightarrow 7^{large 2n+3}&equiv -5^{large n+4} quad {rm i.e.} P(n+1)phantom{I^{I^{I^I}}}
end{align}qquad!! $$
Remark $ $ Even if you don't know congruences you can still take advantage of these arithmetical simplifications by using a version of the Product Rule in divisibility form as below
$$begin{align} bmod m!:, Aequiv a,, Bequiv b& ,Longrightarrow, ABequiv abqquadtext{Congruence Product Rule}\[3pt]
mmid color{#0a0}{A-a, B-b}&,Rightarrow, mmid AB-abqquadtext{Divisibility Product Rule}\[4pt]
{bf Proof}qquad (color{#0a0}{A-a})B+a(color{#0a0}B&color{#0a0}{-b}) = AB-abend{align}$$
Notice that $,m,$ divides the $rmcolor{#0a0}{green}$ terms by hypothesis.
You can find further discussion in many prior posts.
answered Dec 16 '18 at 20:56
Bill DubuqueBill Dubuque
212k29195650
212k29195650
add a comment |
add a comment |
$begingroup$
For $n=1$ is true.
Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$
$7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
add a comment |
$begingroup$
For $n=1$ is true.
Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$
$7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$
$endgroup$
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
add a comment |
$begingroup$
For $n=1$ is true.
Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$
$7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$
$endgroup$
For $n=1$ is true.
Now, assume that is true for $kgeq1$ and let's see what is true for $k+1$. Our hypothesis is that $7^{2k+1}+5^{k+3}equiv0mod 44$
$7^{2k+3}+5^{k+4}=49.7^{2k+1}+5.5^{k+3}equiv 5.7^{2k+1}+5.5^{k+3}=5(7^{2k+1}+5^{k+3})equiv0mod 44$
answered Dec 16 '18 at 8:50
Martín Vacas VignoloMartín Vacas Vignolo
3,816623
3,816623
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
add a comment |
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
$begingroup$
Thank you very much!
$endgroup$
– Adam Páltik
Dec 16 '18 at 8:53
add a comment |
$begingroup$
Here is another take.
Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
$$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$
The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.
$endgroup$
add a comment |
$begingroup$
Here is another take.
Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
$$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$
The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.
$endgroup$
add a comment |
$begingroup$
Here is another take.
Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
$$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$
The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.
$endgroup$
Here is another take.
Write $x_n=7^{2n+1} + 5^{n+3}= 7 cdot 49^n + 125 cdot 5^n$.
Thus, $x_n$ is a linear combination of two geometric sequences and so satisfies a second-order recurrence:
$$x_{n+2} = (49+5) x_{n+1} - (49cdot 5) x_{n} = 54 x_{n+1} - 245 x_{n}$$
The results follows at once by induction, since $x_0=3cdot 44$ and $x_1=22cdot 44$.
answered Dec 16 '18 at 9:51
lhflhf
166k10171396
166k10171396
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%2f3042363%2fproof-by-mathematical-induction-that-for-all-non-negative-integers-n-72n%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$
See math.stackexchange.com/questions/3037704/… or math.stackexchange.com/questions/2897908/…
$endgroup$
– lab bhattacharjee
Dec 16 '18 at 8:50