Question

Difficulty: Very hardNumber Properties and Integer Constraints in Data Sufficiency

If aa and bb are positive real numbers such that abab is an integer, is aa an integer?

(1) a+ba + b is an integer.
(2) aba - b is an integer.

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

Answer

BOTH statements TOGETHER are sufficient, but NEITHER statement ALONE is sufficient.
Combining both statements shows that 2a2a and 2b2b are integers. This restricts aa to being either a whole integer or a half-integer. Evaluating the product of two half-integers reveals that their product has a denominator of 4 and can never be an integer. Since the question stem specifies that abab is an integer, aa must be an integer.

Step-by-Step Solution

1
Analyze the question stem and given constraints
aa and bb are positive real numbers and ab=Nab = N, where NN is an integer. We must determine whether aa is guaranteed to be an integer.
The variables are defined as real numbers, so we cannot assume they are integers unless forced by the mathematical statements.
2
Evaluate Statement (1): a+ba + b is an integer
Statement (1) is NOT sufficient.
Let a=2+3a = 2 + \sqrt{3} and b=23b = 2 - \sqrt{3}. Both are positive real numbers. Here a+b=4a + b = 4 (an integer) and ab=(2+3)(23)=1ab = (2+\sqrt{3})(2-\sqrt{3}) = 1 (an integer). However, a=2+3a = 2 + \sqrt{3} is not an integer. Conversely, if a=3a = 3 and b=1b = 1, then a+b=4a + b = 4 and ab=3ab = 3, and aa is an integer. Thus, Statement (1) alone does not uniquely determine if aa is an integer.
3
Evaluate Statement (2): aba - b is an integer
Statement (2) is NOT sufficient.
Let a=1+52a = \frac{1 + \sqrt{5}}{2} and b=1+52b = \frac{-1 + \sqrt{5}}{2}. Both are positive real numbers. Here ab=1a - b = 1 (an integer) and ab=(5+1)(51)4=1ab = \frac{(\sqrt{5}+1)(\sqrt{5}-1)}{4} = 1 (an integer). However, aa is not an integer. Conversely, if a=4a = 4 and b=1b = 1, then ab=3a - b = 3 and ab=4ab = 4, and aa is an integer. Thus, Statement (2) alone is not sufficient.
4
Evaluate Statement (1) and Statement (2) combined
Both statements together are SUFFICIENT.
Let a+b=ka + b = k and ab=ma - b = m, where kk and mm are integers. Adding the two equations gives 2a=k+m    a=k+m22a = k + m \implies a = \frac{k+m}{2}. Subtracting gives 2b=km    b=km22b = k - m \implies b = \frac{k-m}{2}. Since kk and mm are integers, k+mk+m and kmk-m are integers with the same parity. If k+mk+m is even, both aa and bb are integers. If k+mk+m is odd, a=p2a = \frac{p}{2} and b=q2b = \frac{q}{2} for odd integers pp and qq. But then ab=pq4ab = \frac{pq}{4}, which cannot be an integer because the product of two odd integers is odd and thus not divisible by 4. This contradicts the stem constraint that abab is an integer. Therefore, k+mk+m must be even, forcing aa to be an integer.

Key Concept

Real number vs. integer constraints and parity properties in quadratic system equations
Rate this question