practice problems pending 1,2,4,7
Homework(proofs): Q1. S1. n = 1 => (2k+1)^(2^1) = 4k^2 + 4k + 1 = 4k(k+1) + 1 = 8p + 1 = 1 mod 2^3(since k(k+1) is even) So works for n = 1 Assume (2k+1)^(2^n) = 1 mod 2^(2^(n+2)) _____[1] and using this prove for n+1: (2k+1)^(2^(n+1)) = 1 mod 2^(2^(n+3)) LHS = (2k+1)^(2^n.2^1) = [(2k+1)^(2^n)]^2 = [2^(n+2).m + 1]^2 using [1] = 1 + 2.m.2^(n+2) + m^2.[2^(n+2)]^2 = 1 + m.2^(n+3) + m^2.2^(2n+4) If you take mod 2^(n+3), it's clearly 1. H.P. Q2. Call a natural number n convenient, if n^2 + 1 is divisible by 1000001 . Prove that among the numbers 1,2,…,1000000, there are evenly many "convenient" numbers. S2. So essentially we need to find some sort of complement for each 'n' satisfying this. If we can show that for each 'n' satisfying this, there is another number satisfying this, we are done. Simplest 'complement' here is -n but that's negative. So let's think circular and try N-n where N = 1000,001 (N-n)^2 +1 = N^2 + n^2 - 2N.n + 1 = n^2...