...a question related to combinatorcs and number theory...
\(\Large p | \left(\begin{matrix}p \\ k\end{matrix}\right)\) "p" is prime and k=1,2,3,...,p-1
prove...
Notice \(p \not | ~k\) as \(k\) is an integer less than \(p\)
i've got some idea... \[\left(\begin{matrix}p \\ k\end{matrix}\right) = p \frac{ (p-1)! }{ k! (p-k)! }\] so we should only prove that (p-1)! / k! (p-k)! is natural.
rearranging that formula gives \[k!\binom{p}{k} = p(p-1)(p-2)\cdots (p-k+1)\]
@ganeshie8 wait...please wait
okay
i think i got it let me continue...
so, \[ p|k! \left(\begin{matrix}p \\ k\end{matrix}\right)\] and as k is less than p so, k! is not divisble to p so, \[p | \left(\begin{matrix}p \\ k\end{matrix}\right)\]
Yes!
Thank you so much ;)
\[k!\binom{p}{k} = p(p-1)(p-2)\cdots (p-k+1)\] that means \(p | k!\) or \(p | \binom{p}{k}\) we figured out before that \(p \not | ~k\) so \( p \not|~k!\) as well consequently \(p | \binom{p}{k}\)
yes that results from Euclid's lemma
right, are you doing number theory ?
yes
which textbook are u following
we can use this result to prove fermat's little thm
Fermat's little thm if \(p\) is a prime, then below holds for all integers \(a\) : \[a^p \equiv a\pmod{p}\] this can be proved inductively using the earlier result about binomial coefficients give it a try when free, it is fun :)
you may know Maryam Mirzakhani,iranian person who won the field's prize...she had published a book , Number theory and i use it...\(\Large a^{\{\phi(m)\}} \equiv a\pmod{p}\)
and that theorem comes from it becuase phi(p) = p-1
yes proof of euler's generalization is bit more involved.. fermat's little thm is a subcase of euler's thm and the proof is bit easy compared to that
sry it was 1 and (mod m) ;) i copied it and forgot to correct it ;)
\[a^{\phi(n)} \equiv 1\pmod{n}\]
what topic are you studying now ?
now...i'm just solving some questions about prime numbers then i'll go to study Modular arithmetic ...after that i will study reduced residue system
number theory is too hard ... some questions are really frustrating...
ikr :) tag me in all your future posts, i love these problems
sure :) thank you for this problem...
Join our real-time social learning platform and learn together with your friends!