Suppose a is an integer. Prove that if 32 ∤ ((a^2 + 3)(a^2 + 7)), then a is even.
Let me take a stab at this. So I'm thinking to prove the contrapositive. If a is odd, then 32|((a^2+3)(a^2+7)). Let a=2k+1 since a is odd for some integer k. Now 32|((a^2+3)(a^2+7)) =>there is some integer m such that 32m=(a^2+3)(a^2+7) Now remember we let a=2k+1 So we have \[32m=((2k+1)^2+3)((2k+1)^2+7)\] \[32m=(4k^2+4k+1+3)(4k+4k+1+7)\] .... This is what I'm thinking so far Still working
\[32m=(4k^2+4k+1+3)(4k^2+4k+1+7)\] type-o above
\[32m=(4k^2+4k+4)(4k^2+4k+8)\]
\[32m=16k^4+16k^3+32k^2+16k^3+16k^2+32k+16k^2+16k+32\] \[32m=16k^4+k^3(16+16)+k^2(32+16+16)+k(32+16)+32\] \[32m=16k^4+32k^3+64k^2+48k+32\] \[2m=k^4+2k^3+4k^2+3k+2\] Thinking...
So somehow we need to show \[k^4+2k^3+4k^2+3k+2\] is even for any integer
We could try induction!
32m=(4k^2+4k+4)(4k^2+4k+8) 32m=16(k^2+k+1)(k^2+k+2)
since one of (k^2+k+1) or (k^2+k+2) is even, thus 16(k^2+k+1)(k^2+k+2) divides 32m
you are right pizza! :)
great job!
Thanks! :)
np, myininaya did most of the work
:)
pizza i seen we had the same idea to do contrapositive lol
and you deleted
i don't think i could see a way to prove the statement as is
didn't know where to go with it, but the numbers looked too nice when you got to the 32m part
i was winging it
sometimes i don't know when i will run into a dead end
i just have to try
Anyways, Happy Birthday, XD
thanks :)
Join our real-time social learning platform and learn together with your friends!