Tuesday, 1 January 2019

induction - Prove 4n1 is divisible by 3 for all ngeq1




I'm doing some homework and cant seem to get my head around this inductive proof.



So far I have got:




Atom case:
411=3, so proved for basic case.



Closure:



Assume 4k1 is divisible by 3, Show that 4k+11 is divisible by 3.



So: 4k1=4k41 but this is where I get stuck, unsure where to go from here.



Any help much appreciated!




Thanks


Answer



Hint To induct multiply the first two congruences below (by the Congruence Product Rule)



mod3:  414n1   i.e.  P(n)multiply 4n+11   i.e.  P(n+1)




Remark   The proof is a special case of the inductive proof of the Congruence Power Rule, which is the straightforward induction extension of the Product Rule.



If congruences are unfamiliar then you can instead use the Product Rule in Divisibility form:



mod m:Aa,Bb    ABabCongruence Product RulemAa, BbmABabDivisibility Product RuleProof(Aa)B+a(Bb)=ABab



Then the original proof becomes  341Aa,4n1Bb344n11ABab=4n+11


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...