Simon's Favorite Factoring Trick
The General Statement For Nerds
Simon's Favorite Factoring Trick (SFFT) is often used in a Diophantine(Positive) equation where factoring is needed. The most common form it appears is when there is a constant on one side of the equation and a product of variables with each of those variables in a linear term on the other side. A extortive example would be: where is the constant term, is the product of the variables, and are the variables in linear terms.
Let's put it in general terms. We have an equation , where , , and are integral constants. According to Simon's Favourite Factoring Trick, this equation can be transformed into: Using the previous example, is the same as:
If this is confusing or you would like to know the thought process behind SFFT, see this eight-minute video by Richard Rusczyk from AoPS: https://www.youtube.com/watch?v=0nN3H7w2LnI. For the thought process, start from https://youtu.be/0nN3H7w2LnI?t=366
This factorization frequently shows up on contest problems, especially those heavy on algebraic manipulation. Usually and are variables and are known constants. Also, it is typically necessary to add the term to both sides to perform the factorization.
Fun Practice Problems
- Two different prime numbers between and are chosen. When their sum is subtracted from their product, which of the following numbers could be obtained?
- If has a remainder of when divided by , and has a remainder of when divided by , find the value of the remainder of when is divided by .
We have solution . Note that can be factored into using . Now, look at n. Then, since the problem tells us that has a remainder of when divided by 5, we see that the factor in the expression has a remainder of when divided by 5. Now, the must have a remainder of when divided by as well (because then the main expression has a remainder of when divided by ). Therefore, since 54 has a remainder of when divided by , must have a remainder of , our answer, so that the entire factor has a remainder of when divided by .
- are integers such that . Find .
- The integer is positive. There are exactly 2005 ordered pairs of positive integers satisfying:
Prove that is a perfect square.
Source: (British Mathematical Olympiad Round 3, 2005)