A Theorem on Squares and Congruences

[middleCmusic]

Hey guys --

I was wondering whether the following theorem was already established, or if it was something novel. I couldn't find it in my abstract algebra textbook and a Google search was not productive ("a list of congruence theorems" just turns up elementary geometry theorems on triangle congruences.)

Thm For any n in ℕ, if a+b=n, then a² ≡ b² (mod n).

Proof: Let a+b=n. Then a=b-n.

a² = (b-n)² = b² - 2bn + n² = b² - n*(2b)+n) ≡ b² (mod n)

 

[DonAntonio]

Hey guys --

I was wondering whether the following theorem was already established, or if it was something novel. I couldn't find it in my abstract algebra textbook and a Google search was not productive ("a list of congruence theorems" just turns up elementary geometry theorems on triangle congruences.)

Thm For any n in ℕ, if a+b=n, then a² ≡ b² (mod n).

Proof: Let a+b=n. Then a=b-n.

a² = (b-n)² = b² - 2bn + n² = b² - n*(2b)+n) ≡ b² (mod n)

Well, this is a trivial statement. Observe (and this also serves as a proof) that

$$a^2=b^2\pmod n\Longleftrightarrow (a-b)(a+b)=0\pmod n$$

so if \,a+b=0\pmod n\, then we can go leftwards in the above and get the result.

DonAntonio

 

[middleCmusic]

Thanks DonAntonio for your explanation.

I agree that it is a rather trivial result, but I thought it was "nice" in a way. Just curious if it's already been proven/noticed. (Perhaps no one thought to write it down because it is so trivial and it's relegated instead to the Exercises section of some introductory textbook.) Please forgive me if I'm writing the equivalent of "Hey guys, I discovered that the sky is blue!" but I'm only an undergraduate and my breadth of knowledge is still pretty thin.

 

[A. Bahat]

Yes, this has certainly been proven before. However, it's great that you're discovering little results like this own your own--keep it up!

 

[middleCmusic]

Yes, this has certainly been proven before. However, it's great that you're discovering little results like this own your own--keep it up!

Thanks for the encouragement!