00:01
Okay, so recall that we say that a is equivalent to b mod 5, if there's an integer k, such that a difference of a and b, a minus b, is a multiple of 5, so 5 times k, where k is an integer.
00:14
So we want to go through some numbers and show that they're equivalent mod 5.
00:18
So firstly, we want to show 7 is equal to 7 mod 5.
00:23
Well, 7 minus 7 is 0, which is 0, or let's write it as 5 times 0.
00:31
So in this case, the integer k is zero.
00:33
For part two, seven is equal to two mod five.
00:37
So seven minus two.
00:39
This is five.
00:39
So this is five times one.
00:42
So in this case, the integer k would be one.
00:44
For part three, two is equal to seven, mod five.
00:48
Well, two minus seven is minus five, which is five times minus one.
00:55
So in this case, the integer k is minus one.
00:57
So it's an integer.
00:58
We're like integers.
00:59
So we're like negative numbers also.
01:01
So, part 4, 12 is equal to 7, mod 5.
01:06
So 12 minus 7 is 5, which again is 5 times 1.
01:10
So the integer k is 1.
01:12
Part 5, 12 is equal to 2 mod 5.
01:16
So 12 minus 2 is 10, which is 5 times 2.
01:21
So in this case, k would be 2.
01:23
Okay, so this is part a done.
01:26
Part b, you want to show that congruence modulo 5 is reflexive.
01:31
So every integer is equivalent to itself, mod 5.
01:36
So we want to show that x is equal to x mod 5 for all x, for all integers x.
01:43
What if we just do x minus x, we get 0, which is equal to 5 times 0? so x minus x is an integer is a multiple of 5, and therefore it's equivalent to itself mod 5.
01:57
So therefore congruence, modular 5 is reflexive.
02:01
Part c show that it's symmetric.
02:03
So if x is equal to y mod 5, then y is equal to x mod 5.
02:08
So let's suppose that x is equal to y mod 5, then there exists an integer.
02:17
By definition, there's an integer k, such that x minus y equals 5k.
02:24
But then if we look at y minus x, this is minus x minus x, which is minus 5k.
02:33
Which we can write as 5 times minus k.
02:38
So if we define a new integer, let's say m...