Re: [HM] congruence of numbers

Ken Pledger (Ken.Pledger@MCS.VUW.AC.NZ)
Thu, 2 Jul 1998 09:03:55 +1200

>Friends:
>
>I like the notation of Gauss of three parallel horizontal lines between the
>numbers a and b to state that a is congruent to b (mod c) to mean that c
>measures the difference between a and b (or leaves the same remainder when
>it measures both a and b), but I am not so sure that I like the word
>*congruence*. Since it is so well established, I certainly do not want to
>change it, but I am not sure why it was chosen in the first place. The
>word seems to fit so much better figures that are superimposable. No?
>
>Best wishes from Annapolis,
>
>Sam Kutler

Gauss's thorough knowledge of languages would make him likely to
take care in choosing such a technical term. "Congruent" comes from the
verb "congruo," for which a small Latin dictionary gives the meanings "to
run together, coincide, correspond, agree, be consistent with." For
"modulus" it gives "a small measure." So "a is congruent with b modulo
c" could be taken to mean "a corresponds/agrees with b, with respect to
the small measure c." That seems to capture the idea pretty well.

The geometrical use of "congruent" was probably due to Leibniz. I
sent Jeff Miller the details which
http://members.aol.com/jeff570/mathword.html now has.

Ken Pledger.