Question

Difficulty: MediumNumber Properties and Integer Constraints in Data Sufficiency

If xx and yy are positive integers, is x+yx + y divisible by 3?

(1) x2+y2x^2 + y^2 is divisible by 3.
(2) x2y2x^2 - y^2 is divisible by 3.

  1. Statement (1) ALONE is sufficient, but statement (2) alone is not sufficient.Answer
  2. B
    Statement (2) ALONE is sufficient, but statement (1) alone is not sufficient.
  3. C
    BOTH statements TOGETHER are sufficient, but NEITHER statement ALONE is sufficient.
  4. D
    EACH statement ALONE is sufficient.
  5. E
    Statements (1) and (2) TOGETHER are NOT sufficient.

Answer

Statement (1) ALONE is sufficient, but statement (2) alone is not sufficient.
Statement (1) alone is sufficient because the square of any integer leaves a remainder of 0 or 1 when divided by 3. The only way for x2+y2x^2 + y^2 to be a multiple of 3 is if both x2x^2 and y2y^2 leave remainders of 0, meaning both xx and yy are multiples of 3. Therefore, x+yx + y must be a multiple of 3. Statement (2) alone is not sufficient because x2y2=(xy)(x+y)x^2 - y^2 = (x - y)(x + y) being divisible by 3 allows x+yx + y to be divisible by 3 (e.g., x=2,y=1x = 2, y = 1) or not divisible by 3 (e.g., x=4,y=1x = 4, y = 1).

Step-by-Step Solution

1
Analyze remainder properties of perfect squares modulo 3.
For any integer zz, z20(mod3)z^2 \equiv 0 \pmod 3 if zz is a multiple of 3, and z21(mod3)z^2 \equiv 1 \pmod 3 if zz is not a multiple of 3.
Establishing the possible values of perfect squares modulo 3 simplifies the evaluation of both statements.
2
Evaluate Statement (1): x2+y2x^2 + y^2 is divisible by 3.
Since x2(mod3){0,1}x^2 \pmod 3 \in \{0, 1\} and y2(mod3){0,1}y^2 \pmod 3 \in \{0, 1\}, the sum x2+y20(mod3)x^2 + y^2 \equiv 0 \pmod 3 can only occur if x20(mod3)x^2 \equiv 0 \pmod 3 and y20(mod3)y^2 \equiv 0 \pmod 3. This implies both xx and yy are divisible by 3, so x+yx + y must also be divisible by 3.
Statement (1) yields a definitive 'Yes' answer, making it sufficient.
3
Evaluate Statement (2): x2y2x^2 - y^2 is divisible by 3.
Factor as (xy)(x+y)(x - y)(x + y). If x=2x = 2 and y=1y = 1, x2y2=3x^2 - y^2 = 3 (divisible by 3) and x+y=3x + y = 3 (divisible by 3, answer Yes). If x=4x = 4 and y=1y = 1, x2y2=15x^2 - y^2 = 15 (divisible by 3) and x+y=5x + y = 5 (not divisible by 3, answer No).
Since statement (2) yields both 'Yes' and 'No' outcomes, it is not sufficient.

Key Concept

Quadratic Remainder Constraints in Data Sufficiency
Rate this question