
Andy C. answered 04/01/18
Tutor
4.9
(27)
Math/Physics Tutor
I use the tilda symbol ~ to denote the relationship.
The proof goes something like this:
REFLEXIVE:
Given x~x
then x and x have the same remainder when divided by 3.
so x = 3d + r for some integer d and integer remainder r.
x~x
SYMMETRIC:
Given x~y
then x and y have the same remainder when divided by 3.
then for some integer remainder r
x = 3*D + r for some integer D
y = 3* _d + r for some integer _d
So y and x have the same remainder when divided by 3.
y~x
TRANSITIVE:
Given: X~y and y~z
Then
x and y have the same remainder when divided by 3.
y and z have the same remainder when divided by 3.
Then for some integer remainder r:
x = 3*D + r for some integer D
y = 3d + r for some integer d , different from D
z = 3 _d + r for some integer _D
So x and z have the same remainder r when divided by 3
So x~z
REFLEXIVE:
Given x~x
then x and x have the same remainder when divided by 3.
so x = 3d + r for some integer d and integer remainder r.
x~x
SYMMETRIC:
Given x~y
then x and y have the same remainder when divided by 3.
then for some integer remainder r
x = 3*D + r for some integer D
y = 3* _d + r for some integer _d
So y and x have the same remainder when divided by 3.
y~x
TRANSITIVE:
Given: X~y and y~z
Then
x and y have the same remainder when divided by 3.
y and z have the same remainder when divided by 3.
Then for some integer remainder r:
x = 3*D + r for some integer D
y = 3d + r for some integer d , different from D
z = 3 _d + r for some integer _D
So x and z have the same remainder r when divided by 3
So x~z