Skip to main content
Back to Binomial Theorem
JEE Main 2021
Binomial Theorem
Binomial Theorem
Easy

Question

25190191908190+219025^{190}-19^{190}-8^{190}+2^{190} is divisible by :

Options

Solution

Key Concepts and Formulas Used

The solution to this problem relies on fundamental principles of number theory and divisibility:

  1. Divisibility Rule for anbna^n - b^n: For any integers aa and bb, and any positive integer nn, the expression anbna^n - b^n is always divisible by aba-b.
    • Extension (when nn is even): If nn is an even positive integer, then anbna^n - b^n is also divisible by a+ba+b.
  2. Modular Arithmetic: This is a system of arithmetic for integers, which considers the remainder of a number when it is divided by a fixed positive integer (called the modulus). We write ab(modm)a \equiv b \pmod{m} if aa and bb have the same remainder when divided by mm, or equivalently, if aba-b is divisible by mm.
  3. Fermat's Little Theorem: If pp is a prime number, then for any integer aa not divisible by pp, we have ap11(modp)a^{p-1} \equiv 1 \pmod{p}. This is useful for simplifying large exponents in modular arithmetic.

Step-by-Step Solution

We are asked to determine the divisibility of the expression E=25190191908190+2190E = 25^{190}-19^{190}-8^{190}+2^{190} by 14 and 34.

To check divisibility by composite numbers, we must check divisibility by their prime factors:

  • Divisibility by 14    14 \implies Divisibility by 2 AND Divisibility by 7.
  • Divisibility by 34    34 \implies Divisibility by 2 AND Divisibility by 17.

1. Check Divisibility by 2

  • Reasoning: An integer is divisible by 2 if it is an even number. We can determine the parity (odd or even) of each term.
  • 2519025^{190}: The base 25 is odd. An odd number raised to any positive integer power is always odd. So, 2519025^{190} is Odd.
  • 1919019^{190}: The base 19 is odd. An odd number raised to any positive integer power is always odd. So, 1919019^{190} is Odd.
  • 81908^{190}: The base 8 is even. An even number raised to any positive integer power (greater than 0) is always even. So, 81908^{190} is Even.
  • 21902^{190}: The base 2 is even. An even number raised to any positive integer power is always even. So, 21902^{190} is Even.

Now, substitute these parities into the expression: E=OddOddEven+EvenE = \text{Odd} - \text{Odd} - \text{Even} + \text{Even} We know that:

  • OddOdd=Even\text{Odd} - \text{Odd} = \text{Even}

  • EvenEven=Even\text{Even} - \text{Even} = \text{Even}

  • Therefore, E=EvenEven=EvenE = \text{Even} - \text{Even} = \text{Even}.

  • Conclusion: The expression EE is an even number, and thus divisible by 2.


2. Check Divisibility by 17

  • Reasoning: We will use the divisibility rule anbna^n - b^n is divisible by aba-b. We will strategically group the terms to utilize this property with ab=17a-b=17.
  • Rearrange the terms of the expression EE as follows: E=(251908190)(191902190)E = (25^{190} - 8^{190}) - (19^{190} - 2^{190})
  • First Group: Consider the term 25190819025^{190} - 8^{190}.
    • This is in the form anbna^n - b^n with a=25a=25, b=8b=8, and n=190n=190.
    • The difference ab=258=17a-b = 25-8 = 17.
    • According to the divisibility rule, 25190819025^{190} - 8^{190} is divisible by 1717.
  • Second Group: Consider the term 19190219019^{190} - 2^{190}.
    • This is in the form anbna^n - b^n with a=19a=19, b=2b=2, and n=190n=190.
    • The difference ab=192=17a-b = 19-2 = 17.
    • According to the divisibility rule, 19190219019^{190} - 2^{190} is divisible by 1717.
  • Combining Results: Since both (251908190)(25^{190} - 8^{190}) and (191902190)(19^{190} - 2^{190}) are divisible by 17, their difference must also be divisible by 17. E=(Multiple of 17)(Multiple of 17)=Multiple of 17E = (\text{Multiple of } 17) - (\text{Multiple of } 17) = \text{Multiple of } 17
  • Conclusion: The expression EE is divisible by 17.

3. Check Divisibility by 7

  • Reasoning: We will use modular arithmetic to find the remainder when EE is divided by 7. If the remainder is 0, it's divisible by 7; otherwise, it's not.
  • First, find the remainder of each base when divided by 7:
    • 254(mod7)25 \equiv 4 \pmod{7}
    • 195(mod7)19 \equiv 5 \pmod{7}
    • 81(mod7)8 \equiv 1 \pmod{7}
    • 22(mod7)2 \equiv 2 \pmod{7}
  • Substitute these congruences into the original expression EE: E419051901190+2190(mod7)E \equiv 4^{190} - 5^{190} - 1^{190} + 2^{190} \pmod{7}
  • Simplify terms:
    • 1190=11^{190} = 1.
    • Notice that 52(mod7)5 \equiv -2 \pmod{7}. Since the exponent 190 is an even number, (2)190=2190(-2)^{190} = 2^{190}. So, 5190(2)1902190(mod7)5^{190} \equiv (-2)^{190} \equiv 2^{190} \pmod{7}.
  • Substitute these simplifications back into the congruence for EE: E419021901+2190(mod7)E \equiv 4^{190} - 2^{190} - 1 + 2^{190} \pmod{7} E41901(mod7)E \equiv 4^{190} - 1 \pmod{7}
  • Now, we need to evaluate 4190(mod7)4^{190} \pmod{7}. Let's find the cycle of powers of 4(mod7)4 \pmod{7}:
    • 414(mod7)4^1 \equiv 4 \pmod{7}
    • 42162(mod7)4^2 \equiv 16 \equiv 2 \pmod{7}
    • 434×281(mod7)4^3 \equiv 4 \times 2 \equiv 8 \equiv 1 \pmod{7} The cycle length for powers of 4(mod7)4 \pmod{7} is 3, as 431(mod7)4^3 \equiv 1 \pmod{7}.
  • Divide the exponent 190 by the cycle length 3:
    • 190=3×63+1190 = 3 \times 63 + 1
  • Therefore, 4190=43×63+1=(43)63×414^{190} = 4^{3 \times 63 + 1} = (4^3)^{63} \times 4^1.
  • Applying modular arithmetic: 4190(1)63×41×44(mod7)4^{190} \equiv (1)^{63} \times 4 \equiv 1 \times 4 \equiv 4 \pmod{7}.
  • Substitute this result back into the congruence for EE: E41(mod7)E \equiv 4 - 1 \pmod{7} E3(mod7)E \equiv 3 \pmod{7}
  • Conclusion: Since the remainder is 3 (not 0), the expression EE is not divisible by 7.

4. Final Determination of Divisibility by 14 and 34

Based on our detailed analysis:

  • Divisibility by 14: For EE to be divisible by 14, it must be divisible by both 2 and 7.

    • We found EE is divisible by 2.
    • We found EE is NOT divisible by 7.
    • Therefore, EE is not divisible by 14.
  • Divisibility by 34: For EE to be divisible by 34, it must be divisible by both 2 and 17.

    • We found EE is divisible by 2.
    • We found EE is divisible by 17.
    • Therefore, EE is divisible by 34.

Combining these results, the expression 25190191908190+219025^{190}-19^{190}-8^{190}+2^{190} is divisible by 34 but not by 14. This corresponds to option (D).


Tips and Common Mistakes to Avoid

  • Decomposition for Composite Divisors: Always break down composite divisors (like 14 and 34) into their prime factors (2, 7, and 2, 17, respectively) and check divisibility by each prime factor individually. A number must be divisible by all prime factors to be divisible by the composite number.
  • Strategic Grouping: For expressions involving multiple terms with powers, look for ways to group terms to apply divisibility rules like an±bna^n \pm b^n by a±ba \pm b.
  • Modular Arithmetic for Large Exponents: When dealing with large exponents, modular arithmetic is indispensable. Remember to find the cycle length of powers modulo a number (e.g., ak1(modm)a^k \equiv 1 \pmod{m}) to simplify calculations. Fermat's Little Theorem is a powerful shortcut for prime moduli.
  • Parity in Modular Arithmetic: Be mindful of negative bases in modular arithmetic. For an even exponent nn, (x)n=xn(-x)^n = x^n. For an odd exponent nn, (x)n=xn(-x)^n = -x^n.

Summary and Key Takeaway

This problem elegantly combines divisibility rules and modular arithmetic. The key takeaway is to systematically break down the problem into checking divisibility by prime factors (2, 7, and 17) and applying the appropriate techniques: parity checks for 2, the anbna^n - b^n rule for 17, and modular exponentiation for 7. Careful calculation with modular arithmetic, especially with large exponents, is crucial to arriving at the correct conclusion. Based on our calculations, the expression is divisible by 34 but not by 14.

Practice More Binomial Theorem Questions

View All Questions