Continuing from the previous post from here.
Another memory lane of theorem I want to prove/try!
Book Reffered: David Burton, Elementary Number Theory
Problem 1: p_n<2^{2^{n-1}}
Proof: Note that p_{n+1}\le p_1p_2\dots p_n+1\le 2\cdot \dots 2^{2^{n-1}}=2^{2^{n-1}}
Problem 2: If the n>2 terms of the arithmetic progression
p,p+d, p+2d,\dots,p+(n-1)d
are all primes then the common difference d is divisible by every prime q<n.
Proof: If not then there exists a q such that (d,q)=1, q<n. But then we can get a r such that p\equiv -rd\mod q.
Problem 3: Let p_n denote the n th prime. For n>3 show that p_n<p_1+p_2+\dots p_{n-1}.
Proof: Use induction and Bertrand's postulate.
We get that p_{n+1}<2p_n<p_1+p_2+\dots p_{n-1}+p_n.
I should try to prove FLT and Wilson on my own too! But lemme state them in problems format. Anyways..
Problem4: If n=a^2+b^2=c^2+d^2 then n=\frac{(ac+bd)(ac-bd)}{(a+d)(a-d)}
Proof: Note that \frac{(ac+bd)(ac-bd)}{(a+d)(a-d)}=\frac{a^2c^2-b^2d^2}{a^2-d^2}
=\frac{a^2c^2+b^2c^2-b^2c^2-b^2d^2}{a^2-d^2}= \frac{a^{2}(c^{2} - b^{2})}{a^{2} - d^{2}} + b^{2}=n
Problem5: If p is a prime and p\nmid a then a^{p-1}\equiv 1\mod p.
Proof: Note that \{a,2a,\dots, (p-1)a\}\equiv \{1,2,\dots,p-1\}.
Then a^{p-1}\cdot (p-1)!\equiv (p-1)!\mod p\implies a^{p-1}\equiv 1\pmod p.
Problem6: If p is a prime, then (p-1)!\equiv -1\pmod p
Proof: Note inverse of a is unique \pmod p and a^2\equiv 1 \pmod p has two solutions 1,p-1.
So 2\cdot 3\cdot \dots (p-2)\equiv 1\pmod p\implies (p-1)!\equiv -1\pmod p
Problem7: The quadratic congruence x^2+1\equiv 0\pmod p where p is an odd prime, has a solution if and only if p\equiv 1\pmod 4.
Proof: Since x^2\equiv -1\pmod p.
Now x^{p}\equiv -1^{p-1/2}\pmod p\implies 2|\frac{p-1}{2}\implies 4|p-1.
Note that \left(\frac{p-1}{2}! \right)^2=(p-1)!.
Problem8: If f is a multiplicative function and F is defined by F(n)=\sum_{d|n}f(d)
then F is also a multiplicative function.
Proof: Let (m,n)=1.
F(mn)=\sum_{d|mn}f(d)=\sum_{d_1|m,d_2|n}f(d_1d_2)
=\sum_{d_1|m}f(d_1)\sum_{d_2|n}f(d_2)
=F(m)\cdot F(n)
Define: For a positive integer n, define \mu by the rules,
\mu(n)= 1 if n=1, 0 if p^2|n, (-1)^r if n=p_1p_2\dots p_r
It's called the mobius inversion function. Btw it's multiplicative.
Problem9: Prove that \mu is multiplicative.
Proof: We just have to show that \mu(mn)=\mu(m)\mu(n) with \gcd(m,n)=1.
If p^2|m\implies \mu(m)=0,\mu(mn)=0. ( as p^2|mn)
If \mu(m)=(-1)^r,\mu(n)=(-1)^s. As \gcd(m,n)=1\implies \mu(mn)=(-1)^{r+s}.
Problem 10: Prove that for each integer n>1
F(d)=\sum_{d|n}\mu(d)=0 \forall n >1
Proof: It's enough to show F(p^k)=0 for all prime p.
But F(p^k)=\sum_{d|p^k}\mu(d)=\mu(1)+\mu(p)+\mu(p^2)+\dots+\mu(p^k)=0
Last problem which is again mobius inversion formula.. Which was so confusing :pleading:
Problem 11: F(n)=\sum_{d|n} f(d) \implies f(n)=\sum_{d|n}\mu(d)F(n/d)
Proof: \sum_{d|n}\mu(d)F(n/d)=\sum_{d|n}\mu(d)\sum_{c|n/d} f(c)
=\sum_{d|n}\sum_{c|n/d} \mu(d)f(c)
Note that c|n, d|n/c.
=\sum_{d|n/c}\sum_{c|n} \mu(d)f(c) = \sum_{c|n}\sum_{d|n/c}\mu(d)f(c)=f(n)
As \sum_{d|n/c}\mu(d)=0\forall n > 1.
Next is primitive roots and heavy NT!
See you soon!
Sunaina💜
https://drive.google.com/file/d/1J9xKBYAk3HZvr2NiJg7fcmjXdwxSXY26/view?usp=drivesdk
ReplyDeleteThis book contains some nice non-typical proof of FLT and Wilson's theorem.I think you will enjoy them
:O! Thanks a lot!!!
DeleteFound your blog through AoPS. Nice proof, but have you seen Combinatorial proof for Wilson theorem? See the comment here : https://math.stackexchange.com/questions/1077290/a-combinatorial-proof-of-wilsons-theorem
ReplyDeleteIt is one of the best proofs I have seen for an NT theorem using combinatorial arguments.
Also I am not Even Chan I am Even Chan hopefully you do not confused me.
DeleteHeyy!! Thanks for visting this blog! That's pretty interesting :O
Delete