For m,n,p belong to Z, suppose that 5 divides m^2+n^2+p^2. Prove that 5 divides at least one of {m,n,p}. (i.e. Prove if m^2+n^2+p^2 is congruent to 0 mod 5, then m is congruent to 0 mod 5, n is congruent to 0 mod 5 or p is congruent to 0 mod 5.)

Printable View

- Apr 27th 2012, 12:33 PMallstar2Prove that 5 divides at least one of {m,n,p}.
For m,n,p belong to Z, suppose that 5 divides m^2+n^2+p^2. Prove that 5 divides at least one of {m,n,p}. (i.e. Prove if m^2+n^2+p^2 is congruent to 0 mod 5, then m is congruent to 0 mod 5, n is congruent to 0 mod 5 or p is congruent to 0 mod 5.)

- Apr 27th 2012, 02:05 PMemakarovRe: Prove that 5 divides at least one of {m,n,p}.
Find all possible nonzero squares modulo 5 and see if three of them can add up to 0.

- Jul 27th 2012, 09:09 AMMagisterManRe: Prove that 5 divides at least one of {m,n,p}.
I don't really get how this would help with the proof.

I did like this:

Assume none of {m,n,p} is divisible by 5. This implies that none of {m^2,n^2,p^2} is divisible by 5, i.e.

m^2 ≢ 0 mod 5

n^2 ≢ 0 mod 5

p^2 ≢ 0 mod 5

m^2 + n^2 + p^2 ≢ 0 mod 5 which leads to a contradiction => one of {m,n,p} must be divisible by 5.

Is this a valid proof? - Jul 27th 2012, 10:30 AMemakarovRe: Prove that 5 divides at least one of {m,n,p}.
My browser does not show any symbol between "m^2" and "0 mod 5". I assume you mean m^2 is not congruent to 0 modulo 5. It is not clear why you conclude that m^2 + n^2 + p^2 is not congruent to 0. For example, if m^2 = 3 and n^2 = p^2 = 1 mod 5, then m^2 + n^2 + p^2 = 0 mod 5. The problem is that m^2 can't be 3 mod 5.

I also suggested proving this fact by contradiction and finding all possible values of m^2 mod 5. Then see if three such values can add up to zero. - Jul 27th 2012, 11:01 AMrichard1234Re: Prove that 5 divides at least one of {m,n,p}.