l_ivin_it_up wrote:
I'm not sure if this is correct, can someone please verify:
For Statement (2), we have:
y = 12Z
X = 8 x 12Z + 12 (substituting back into the given equation)
X = 12 (8Z + 1) --> Therefore, X is even
x = 12 x ODD
Given Y = 12Z
Is Z odd?
8 x 12Z = X -12 (using our substituted equation)
12 Z = (X - 12) / 8
Therefore Z = (X - 12) / 96 --> Even / Even = E (Since we know X is even) [1]
Hence Z is even. X and Y therefore don't share other common factors (one is Even --> Z and the other Odd) [2]. So 12 is the GCD.
Are you sure
[1] and
[2] are correct?
[1]: 6/2 != EVEN
[2]: 12*3 and 12*6 have GCD 12*3
Am I missing something?
Anyhow, I think, the right thought process for this problem is to substitute the statements' given info into original given info.
Hence, according to Stmt (2),
y = 12z
x = 12 (8z + 1)
Now what? Can we factor anything out of z and 8z+1 to make the GCD 12+ in some way?
Here is the kicker: If A is a number with p1 as "smallest" prime factor, then the "next" number after A (on the increasing number line) that has at-least one factor (other than 1) common to A will be A + p1 away. Eg. 20 has smaller prime factor as 2, so 20+2 is the next number that has a common factor with 20. Note 20+1 will not have any factor common with 21.
Let's get back to the problem. We were at finding common factors b/w z and 8z+1. Smallest prime factor of 8z is 2. Hence, 8z+1 will NOT have any common factor 8z. Since 2 is the smallest PRIME number in-general it can be said that 8z+1 and z will NOT have any common factor. Thus, x and y (above) will ONLY have 12 as GCD. QED!
PS: NOTE:
If we had,
y=12z
x=12 (2z+3)
Then statement (2) would have been insufficient.
Why?
z=1 => GCD=12
z=3 => GCD=36
However, with
y=12z
x=12 (2z+3)
Given z is not a multiple of 3,
It's sufficient.
You can try to imagine more such cases, and doing so should help you exercise your brain along the lines of factors b/w 2 numbers in general.