Binomial Theorem and Modular Arithmetic Proof Check

[Hotsuma]

Homework Statement

\mbox{Prove or give a counterexample: If p is a prime integer, then for all integers x and y, } (x+p)^p \equiv_p x^p+y^p.

Homework Equations

\equiv_p \mbox{just means (mod p).<br /> <br /> Can you please check and see if this proof is well-formed?}

The Attempt at a Solution

\mbox{Pf: Assume p is prime. Then} (x+y)^p=<br /> \left(\begin{array}{l c}<br /> p\\<br /> 0\\<br /> \end{array}\right)<br /> <br /> x^p+<br /> <br /> \left(\begin{array}{l c}<br /> p\\<br /> 1\\<br /> \end{array}\right)<br /> <br /> x^{p-1}y+<br /> <br /> \left(\begin{array}{l c}<br /> p\\<br /> 2\\<br /> \end{array}\right)<br /> <br /> x^{p-2}y^2+ ... + <br /> \left(\begin{array}{c c}<br /> p\\<br /> p-1\\<br /> \end{array}\right)<br /> <br /> xy^{p-1}+<br /> <br /> \left(\begin{array}{l c}<br /> p\\<br /> p\\<br /> \end{array}\right)<br /> y^p = x^p + \sum^{p-1}_{k=1}x^ky^{p-k}+y^p.

\mbox{Notice that} \sum^{p-1}_{k=1}x^ky^{p-k} = \frac{p!}{k!(p-k)!}\mbox{, which, by a previously proven theorem, we know that } p\left| \frac{p!}{k!(p-k)!} \right..

\mbox{ So, by the definition of (mod p) we know that} \sum^{p-1}_{k=1}x^ky^{p-k}+y^p \equiv_p 0 \mbox{ and therefore }(x+p)^p \equiv_p x^p+y^p ~~~~\hspace{1.0cm}_\blacksquare

 

[Dick]

It's not well formed. \sum^{p-1}_{k=1}x^ky^{p-k} = \frac{p!}{k!(p-k)!} is completely false. You are summing over k. There can't be a k in the answer. The point is that each individual binomial coefficient C(p,k) is divisible by p for 1<=k<=p-1.

 

[Hotsuma]

I discovered my error. Give me a minute.

 

[Hotsuma]

<br /> \mbox{Pf: Assume p is prime. Then} (x+y)^p=<br /> \left(\begin{array}{l c}<br /> p\\<br /> 0\\<br /> \end{array}\right)<br /> <br /> x^p+<br /> <br /> \left(\begin{array}{l c}<br /> p\\<br /> 1\\<br /> \end{array}\right)<br /> <br /> x^{p-1}y+<br /> <br /> \left(\begin{array}{l c}<br /> p\\<br /> 2\\<br /> \end{array}\right)<br /> <br /> x^{p-2}y^2+ ... + <br /> \left(\begin{array}{c c}<br /> p\\<br /> p-1\\<br /> \end{array}\right)<br /> <br /> xy^{p-1}+<br /> <br /> \left(\begin{array}{l c}<br /> p\\<br /> p\\<br /> \end{array}\right)<br /> y^p
= x^p + \sum^{p-1}_{k=1}\left(\begin{array}{l c}<br /> p\\<br /> k\\<br /> \end{array}\right)x^ky^{p-k}+y^p. <br />

<br /> \mbox{Notice that} \sum^{p-1}_{k=1}\left(\begin{array}{l c}<br /> p\\<br /> k\\<br /> \end{array}\right)x^ky^{p-k} = \sum^{p-1}_{k=1}\left[\left(\frac{p!}{k!(p-k)!}\right) x^ky^{p-k}\right]\mbox{, which, by a previously proven theorem, we know that } p\left| \frac{p!}{k!(p-k)!} \right..<br />

<br /> \mbox{ So, by the definition of (mod p) we know that} \sum^{p-1}_{k=1}\left(\begin{array}{l c}<br /> p\\<br /> k\\<br /> \end{array}\right)x^ky^{p-k}+y^p \equiv_p 0 \mbox{ and therefore }(x+y)^p \equiv_p x^p+y^p ~~~~\hspace{1.0cm}_\blacksquare<br />

 

[Hotsuma]

Alright. How does that look?

 

[Dick]

The third line is still completely garbled. The second line would say you can ignore the k=1 to k=p-1 terms because they are all divisible by p. Say the the previous theorem you are citing is for 1<=k<=p-1. On the last line (x+p)^p? Come on.