Question

Difficulty: HardOdd and Even Integers (Parity)

If xx, yy, and zz are integers such that x+y+z=0x + y + z = 0 and x3yzx^3 y - z is an odd integer, which of the following expressions MUST be an even integer?

  1. xyzx y zAnswer
  2. B
    x+yx + y
  3. C
    y+zy + z
  4. D
    xyx - y
  5. E
    x+zx + z

Answer

The expression representing the product of the three integers, xyzx y z, must always be an even integer.
The correct answer is the product of the three variables because logical parity analysis reveals that it is impossible for all three integers to be even, but in all valid cases at least one of the three variables must be an even integer (or zero). A product containing at least one even factor is always even.

Step-by-Step Solution

1
Express zz in terms of xx and yy using the given sum equality.
z=(x+y)z = -(x + y).
Since x+y+z=0x + y + z = 0, substituting z=(x+y)z = -(x + y) allows evaluation of the given parity condition in terms of xx and yy only.
2
Substitute z=(x+y)z = -(x + y) into the given expression x3yzx^3 y - z and analyze its parity.
x3yz=x3y+x+yx^3 y - z = x^3 y + x + y. Since x3x^3 and xx have the same parity for any integer xx, x3y+x+yx^3 y + x + y has the same parity as xy+x+yx y + x + y.
The parity of an integer raised to a positive integer power is identical to the parity of the base integer.
3
Evaluate the four possible parity combinations for (x,y)(x, y).
If both xx and yy are even, then xy+x+y=even+even+even=evenx y + x + y = \text{even} + \text{even} + \text{even} = \text{even}, which contradicts the condition that x3yzx^3 y - z is odd. Thus, xx and yy cannot both be even.
Eliminating the case where both xx and yy are even implies that at least one of xx or yy must be odd.
4
Determine the parity of xyzx y z in all remaining valid cases.
In Case 1 (xx odd, yy odd), z=(x+y)=(odd+odd)=evenz = -(x + y) = -(\text{odd} + \text{odd}) = \text{even}, so zz is even and xyzx y z is even. In Case 2 (xx even, yy odd), xx is even so xyzx y z is even. In Case 3 (xx odd, yy even), yy is even so xyzx y z is even. Therefore, xyzx y z is even in every valid case.
The product of integers is even whenever at least one factor in the product is an even integer (including zero).

Key Concept

Parity rules of addition, multiplication, exponentiation, and the property that zero is an even integer.
Estimated Time:2m 0s
Rate this question