The expression is equal to the fraction in which and are positive integers whose greatest common divisor is . What is
- A)
- B)
- C)
- D)
- E)
Answer
E
Key insight
Over a common denominator the top becomes 2021 squared minus 2020 squared, which factors as (1)(4041). Nothing cancels, so p is 4041.
Solution
1. Common denominator. To subtract fractions, give them the same bottom, :
2. Simplify the top without big multiplication. The top is a difference of two squares, and :
3. Check for cancelling. The fraction is now . Could share a factor with ?
- Notice .
- If some number divided both and , it would also divide their difference, .
- But and are next to each other, and two numbers next to each other share no factor bigger than .
- The same argument shows and share no factor.
4. So nothing cancels, and .
The answer is .
Why this works
For any two numbers, . When and are next to each other, , and the top is just . Whenever you see a square minus a square, factor it instead of multiplying out.
Alternative approach
Split each fraction into plus a little bit:
Subtracting, the s cancel and you get
The trap
Grinding out 2021 squared and 2020 squared by hand and slipping, or assuming the fraction must simplify further.
Concise solution
Put the two fractions over the common denominator :
The numerator is a difference of squares:
Is the fraction already in lowest terms? Since , any common factor of and would also divide , but consecutive integers and are coprime. The same argument works for and . So .
The answer is .
Review in the AoPS books
- Introduction to Algebra, Chapter 11: Special Factorizations (§11.2, §11.3, §11.5)
- Introduction to Number Theory, Chapter 3: Multiples and Divisors (§3.3, §3.4, §3.7)
- Introduction to Algebra, Chapter 22: Special Manipulations
- Introduction to Number Theory, Chapter 4: Prime Factorization (§4.7)
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta