Skip to content

Formula sheet

Every theorem, concept and fact card (142 in all), collected automatically and grouped by unit.

Combinatorics

1. Permutations

Definition 1.2.1 · Factorials

A factorial is the product of all positive integers less than or equal to a given positive integer. In other words,

n!=n×(n−1)×(n−2)×⋯×1.n! = n \times (n-1) \times (n-2) \times \cdots \times 1.
Theorem 1.2.4

The number of ways of arranging nn distinct objects is just

n!=n×(n−1)×(n−2)×⋯×1.n! = n \times (n-1) \times (n-2) \times \cdots \times 1.
Theorem 1.3.1 · Permutations Formula

The number of ways to order kk objects out of nn total objects is

nPk=n!(n−k)!=n×(n−1)×(n−2)×⋯×(n−(k−1)).{}^{n}P_{k} = \frac{n!}{(n-k)!} = n \times (n-1) \times (n-2) \times \cdots \times (n-(k-1)).
Theorem 1.5.1 · Circular Arrangements

The number of ways of arranging nn objects in a circle, where rotations of the same arrangement aren't considered distinct, is

(n−1)!(n-1)!

If reflections (mirror images) of the same arrangement aren't considered distinct either, it is

(n−1)!2.\frac{(n-1)!}{2}.

2. Combinations

Definition 2.1.1

A combination is a collection of items where the order of the items does not matter.

Theorem 2.1.3 · Combinations Formula

The number of ways to choose kk objects out of a total of nn objects is

(nk)=n!k! (n−k)!=n(n−1)(n−2)⋯(n−k+1)k!.\binom{n}{k} = \frac{n!}{k!\,(n-k)!} = \frac{n(n-1)(n-2)\cdots(n-k+1)}{k!}.
Theorem 2.2.1 · Binomial Identity

The binomial identity states that

(n0)+(n1)+⋯+(nn)=2n.\binom{n}{0} + \binom{n}{1} + \cdots + \binom{n}{n} = 2^n.

3. Word Rearrangements

Theorem 3.1.2 · Word Rearrangements

The number of ways to order a word is

n!d1!×d2!×d3!×⋯\frac{n!}{d_1! \times d_2! \times d_3! \times \cdots}

where nn is the number of letters and d1,d2,d3,…d_1, d_2, d_3, \ldots are the number of times each of the duplicate letters that appear in the word.

4. Probability

Theorem 4.1.2 · Probability
probability=Total number of desired outcomesTotal number of possible outcomes\text{probability} = \frac{\text{Total number of desired outcomes}}{\text{Total number of possible outcomes}}

This works when every outcome is equally likely, like the faces of a fair die.

Concept 4.3.1 · Casework in Probability

Often, when a problem asks for the probability of an event, you may have to do casework to find the number of successful outcomes. Then divide by the total number of outcomes, which is usually easy to find.

5. Casework

Concept 5.1.1 · Casework

Casework is solving counting or probability problems by considering the different cases and adding them together. Many counting or probability problems can be solved by dividing a problem into several cases and calculating arrangements and probabilities for each case before summing them together.

You should try casework when there are no other obvious approaches, as it is one of the most common techniques on the AMC 8.

Good cases are disjoint (no outcome is in two cases) and complete (every outcome is in some case). Then the case sizes add up to the answer.

7. Principle of Inclusion Exclusion (PIE)

Definition 7.2.1 · Union Symbol

∣A∪B∣|A \cup B| is the union of elements in both AA and BB (i.e. all elements that are in set AA or set BB, but duplicates are only written once).

Definition 7.2.2 · Intersection Symbol

∣A∩B∣|A \cap B| is the intersection of elements in both AA and BB (i.e. only those elements which are in both sets).

Theorem 7.2.3 · Principle of Inclusion Exclusion for 2 Sets

Given two sets, ∣A1∣|A_1| and ∣A2∣|A_2|,

∣A1∪A2∣=∣A1∣+∣A2∣−∣A1∩A2∣.|A_1 \cup A_2| = |A_1| + |A_2| - |A_1 \cap A_2|.

Basically, we count the number of possibilities in 2 "things" and subtract the duplicates.

Theorem 7.3.1 · Principle of Inclusion Exclusion for 3 Sets

Given three sets, ∣A1∣,∣A2∣,∣A3∣|A_1|, |A_2|, |A_3|,

∣A1∪A2∪A3∣=∣A1∣+∣A2∣+∣A3∣−∣A1∩A2∣−∣A1∩A3∣−∣A2∩A3∣+∣A1∩A2∩A3∣.\begin{aligned}|A_1 \cup A_2 \cup A_3| = {} & |A_1| + |A_2| + |A_3| \\ & - |A_1 \cap A_2| - |A_1 \cap A_3| - |A_2 \cap A_3| \\ & + |A_1 \cap A_2 \cap A_3|.\end{aligned}

In this formula, we count the number of possibilities in 3 "things", subtract the possibilities that are duplicates in all 3 pairs of sets, and add back the number of duplicates that are in all 3 sets.

Concept 7.4.1 · PIE Generalization

The same principle applies when counting more than 3 events. For any nn events, to find the total number of ways such that any of the events occur:

  1. Find the number of ways each individual event occurs in.
  2. For every pair of 2 events, subtract the number of ways where both of them occur.
  3. For every triplet of 3 events, add back the number of ways where all 3 of them occur.
  4. For every quadruplet of 4 events, subtract the number of ways where all 4 occur …
  5. For all nn events, add (if nn is odd) or subtract (if nn is even) the number of ways where all of them occur.

Alternate between adding the number of ways and subtracting the number of ways until you reach the case where all nn events occur. Whether you add or subtract the number of ways where all nn events occur depends on whether nn is odd, since we alternate between adding and subtracting.

Theorem 7.4.2 · Principle of Inclusion Exclusion Generalized Formula

Stated more formally, if (Ai)1≤i≤n(A_i)_{1 \le i \le n} are finite sets, then:

∣⋃i=1nAi∣=∑i=1n∣Ai∣−∑i<j∣Ai∩Aj∣+∑i<j<k∣Ai∩Aj∩Ak∣−⋯+(−1)n−1∣A1∩⋯∩An∣.\left|\bigcup_{i=1}^{n} A_i\right| = \sum_{i=1}^{n} |A_i| - \sum_{i<j} |A_i \cap A_j| + \sum_{i<j<k} |A_i \cap A_j \cap A_k| - \cdots + (-1)^{n-1} |A_1 \cap \cdots \cap A_n|.

8. Stars and Bars

Theorem 8.1.1 · Stars and Bars

The number of ways to place nn indistinguishable objects into kk distinguishable bins is

(n+k−1n).\binom{n+k-1}{n}.
Concept 8.2.1 · Give One First

Stars and bars is extremely useful and can often be adapted to the situation. For example, if each bin has to have at least 1 object in it, give each bin 1 object to start with. Then apply the formula with n−kn-k objects and kk distinguishable bins:

((n−k)+k−1k−1)=(n−1k−1).\binom{(n-k)+k-1}{k-1} = \binom{n-1}{k-1}.

9. Geometric Counting

Theorem 9.2.1 · Squares in a Grid

The number of squares in a n×nn \times n grid of squares is

12+22+⋯+n2=n(n+1)(2n+1)6.1^2 + 2^2 + \cdots + n^2 = \frac{n(n+1)(2n+1)}{6}.
Theorem 9.3.1 · Rectangles in a Grid

The general formula for the number of rectangles of all sizes in a rectangular grid of size m×nm \times n is

(m+12)×(n+12).\binom{m+1}{2} \times \binom{n+1}{2}.
Theorem 9.4.1 · Lattice Paths

The number of ways to get from (0,0)(0,0) to a point (m,n)(m,n) moving only up and right is

(m+nm).\binom{m+n}{m}.

10. Recursion

Concept 10.2.1 · Solving with Recursion

To solve a problem with recursion, follow these steps:

  1. Solve the problem for a few smaller base cases by hand.
  2. In general, you need as many base cases as the number of terms on the right-hand side of your recursion.
  3. For a given f(n)f(n), find a recursive equation in terms of earlier values of the function. Think about the different ways to get to that point.
  4. Calculate the values of f(n)f(n) one by one until you reach the number you want.
Concept 10.3.1 · Probability Recursions

For probability recursions, it can be a good idea to simply make a table and find the probability of being at each location after every time step. Remember: the total probability after each hop must always be 11.

Algebra

11. Ratios and Percentages

Theorem 11.2.1 · Work, Rate and Time
Work=Rate×Time\text{Work} = \text{Rate} \times \text{Time}

Equivalently,

Rate=WorkTimeTime=WorkRate\text{Rate} = \frac{\text{Work}}{\text{Time}} \qquad \text{Time} = \frac{\text{Work}}{\text{Rate}}
Theorem 11.2.2 · Working Together

If one person can do something in aa amount of time, and someone else can do it in bb amount of time, together they can do it in

aba+b\frac{ab}{a+b}

time.

12. Algebraic Manipulations and Equations

Concept 12.1.1 · Factoring a Quadratic

If we have a quadratic of the form x2+bx+cx^2 + bx + c, it can be factored into (x+p)(x+q)(x + p)(x + q) such that p+q=bp + q = b and pq=cpq = c. We can generally do this by guess and check.

Then, we just solve the linear equations of the form x+r=0x + r = 0.

Concept 12.1.2 · Vieta's Formulas

If we have a quadratic of the form x2+bx+cx^2 + bx + c with 2 roots rr and ss, then r+s=−br + s = -b and rs=crs = c. Sometimes, you may not need to calculate the roots and just find expression in terms of the roots.

Theorem 12.1.3 · Quadratic Formula

The solutions to the quadratic equation

ax2+bx+c=0ax^2 + bx + c = 0

are

x=−b±b2−4ac2a.x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}.
Concept 12.2.1 · Solving General Systems of Equations

Once you've found the system of equations in your word problem and/or the problem itself gives you a system of equation, you should consider one or more of the following methods for solving them.

  1. Using Symmetry
  2. Substituting Variables
  3. Elimination
  4. Adding/Subtracting/Multiplying Equations
  5. Difference of Squares: x2−y2=(x−y)(x+y)x^2 - y^2 = (x - y)(x + y)
  6. Binomial Expansions: (x+y)2=x2+2xy+y2(x + y)^2 = x^2 + 2xy + y^2 and (x−y)2=x2−2xy+y2(x - y)^2 = x^2 - 2xy + y^2
  7. Other common factorization tricks (see algebraic number theory chapter for more)
  8. Squaring equations if you have square roots
  9. Introducing new variables and substituting
  10. Graphing equation (Recommend graph paper)
Concept 12.3.1 · System of Equations Word Problems

This is one of the most common topics on the AMC 8. The trick to solving these types of problems is to just assign variables to the unknowns in the problem and solve them.

13. Speed, Distance, Time

Theorem 13.1.1 · Distance, Speed, and Time
Distance=Speed×Time\text{Distance} = \text{Speed} \times \text{Time}

Equivalently,

Speed=DistanceTimeTime=DistanceSpeed\text{Speed} = \frac{\text{Distance}}{\text{Time}} \qquad \text{Time} = \frac{\text{Distance}}{\text{Speed}}
Theorem 13.1.2 · Average Speed
Average Speed=Total DistanceTotal Time\text{Average Speed} = \frac{\text{Total Distance}}{\text{Total Time}}

14. Sequences and Series

Definition 14.1.3 · Arithmetic Sequence Notation

In general, the terms of an arithmetic sequence can be represented as:

a1,a2,a3,a4,…,ana_1, a_2, a_3, a_4, \ldots, a_n

where

  • dd is the common difference between consecutive terms
  • nn is the number of terms
Theorem 14.1.4 · nth term in an Arithmetic Sequence
an=a1+(n−1)da_n = a_1 + (n-1)d

which basically means the nnth term of an arithmetic sequence is equal to

first term+(number of terms−1)(common difference)\text{first term} + (\text{number of terms} - 1)(\text{common difference})

We also have that

an=am+(n−m)da_n = a_m + (n-m)d

which means

the nth term=mth term+(number of terms−m)(common difference)\text{the } n\text{th term} = m\text{th term} + (\text{number of terms} - m)(\text{common difference})
Theorem 14.1.5 · Number of Terms in an Arithmetic Sequence
n=an−a1d+1n = \frac{a_n - a_1}{d} + 1

Essentially,

Number of Terms=Last Term−First TermCommon Difference+1\text{Number of Terms} = \frac{\text{Last Term} - \text{First Term}}{\text{Common Difference}} + 1
Theorem 14.1.6 · Average of Terms in an Arithmetic Sequence
Average of Terms=a1+an2\text{Average of Terms} = \frac{a_1 + a_n}{2}
Average of Terms=a1+a2+⋯+ann\text{Average of Terms} = \frac{a_1 + a_2 + \cdots + a_n}{n}

which essentially means

Average of Terms=First Term+Last Term2\text{Average of Terms} = \frac{\text{First Term} + \text{Last Term}}{2}
Average of Terms=Sum of all TermsNumber of Terms\text{Average of Terms} = \frac{\text{Sum of all Terms}}{\text{Number of Terms}}

If the number of terms is even, the average xx = the average of the middle 2 terms.

If the number of terms is odd, the average xx = the middle term.

Theorem 14.1.7 · Sum of all Terms in an Arithmetic Sequence
Sn=a1+an2×nS_n = \frac{a_1 + a_n}{2} \times n

which essentially means

Sum of All Terms=Average of Terms×Number of Terms\text{Sum of All Terms} = \text{Average of Terms} \times \text{Number of Terms}

We can also substitute an=a1+(n−1)da_n = a_1 + (n-1)d to get

Sn=2a1+(n−1)d2×nS_n = \frac{2a_1 + (n-1)d}{2} \times n
Theorem 14.2.1 · Sum of Numbers Formula
1+2+3+⋯+n=(n)(n+1)21 + 2 + 3 + \cdots + n = \frac{(n)(n+1)}{2}
Theorem 14.2.2 · Sum of Odd Numbers Formula
1+3+5+⋯+(2n−1)=n21 + 3 + 5 + \cdots + (2n-1) = n^2

In simple terms, the

Sum of first n odd numbers=n2\text{Sum of first } n \text{ odd numbers} = n^2
Theorem 14.2.3 · Sum of Even Numbers Formula
2+4+6+⋯+2n=n(n+1)2 + 4 + 6 + \cdots + 2n = n(n+1)

To intuitively think about it, just take 22 common from each term:

2(1+2+3+⋯+n)=2 (n)(n+1)2=n(n+1)2(1 + 2 + 3 + \cdots + n) = 2\,\frac{(n)(n+1)}{2} = n(n+1)

In simple terms, the

Sum of first n even numbers=2×sum of first n numbers\text{Sum of first } n \text{ even numbers} = 2 \times \text{sum of first } n \text{ numbers}
Theorem 14.2.4 · Sum of Squares Formula
12+22+⋯+n2=(n)(n+1)(2n+1)61^2 + 2^2 + \cdots + n^2 = \frac{(n)(n+1)(2n+1)}{6}
Theorem 14.2.5 · Sum of Cubes Formula
13+23+⋯+n3=((n)(n+1)2)21^3 + 2^3 + \cdots + n^3 = \left(\frac{(n)(n+1)}{2}\right)^2
Definition 14.3.2 · Geometric Sequence Notation

In general, the terms of a geometric sequence can be represented as:

g1,g2,g3,g4,…,gng_1, g_2, g_3, g_4, \ldots, g_n

where

  • rr is the common ratio between consecutive terms
  • nn is the number of terms
Theorem 14.3.4 · nth term in a Geometric Sequence
gn=g1⋅rn−1g_n = g_1 \cdot r^{n-1}

which basically means

the nth term of a geometric sequence=first term×(common ratio)number of terms−1\text{the } n\text{th term of a geometric sequence} = \text{first term} \times (\text{common ratio})^{\text{number of terms} - 1}

A general form for calculating the nnth term:

gn=gm⋅r(n−m)g_n = g_m \cdot r^{(n-m)}

which basically means

the nth term=mth term×common ratio(n−m)\text{the } n\text{th term} = m\text{th term} \times \text{common ratio}^{(n-m)}
Theorem 14.3.5 · Number of Terms in a Finite Geometric Sequence
n=log⁡r(gng1)+1n = \log_r\left(\frac{g_n}{g_1}\right) + 1

Essentially,

Number of Terms = 11 more than the number of times we needed to multiply rr by g1g_1 to get gng_n.

Theorem 14.3.6 · Sum of all Terms in a Finite Geometric Sequence
Sn=g1 (1−rn)1−rS_n = g_1\,\frac{(1 - r^n)}{1 - r}

which essentially means

Sum of All Terms=First Term×1−common ration1−common ratio\text{Sum of All Terms} = \text{First Term} \times \frac{1 - \text{common ratio}^n}{1 - \text{common ratio}}
Theorem 14.3.7 · Sum of all Terms in an Infinite Geometric Sequence

For −1<r<1-1 < r < 1,

S∞=g11−rS_\infty = \frac{g_1}{1 - r}
Concept 14.4.1

The strategy for these problems is just to break the sequence into multiple geometric sequences. Another strategy is to let the expression be SS. Then, divide SS by some number such that when you subtract it from SS, most of the terms cancel. This strategy is faster, but harder to figure out.

15. Mean, Median, Mode

Definition 15.1.1 · Mean/Average
Mean=average of all terms=sum of all termsnumber of terms\text{Mean} = \text{average of all terms} = \frac{\text{sum of all terms}}{\text{number of terms}}
Definition 15.1.3 · Mode
Mode=Most common term(s)\text{Mode} = \text{Most common term(s)}
Definition 15.1.5 · Median

After arranging the numbers in increasing or decreasing order:

If the number of terms is odd,

Median=middle number\text{Median} = \text{middle number}

If the number of terms is even,

Median=average of middle two numbers\text{Median} = \text{average of middle two numbers}
Definition 15.1.6 · Range
Range=Largest number−Smallest Number\text{Range} = \text{Largest number} - \text{Smallest Number}

16. Telescoping

Concept 16.2.1 · Telescoping

Expand the first few and last few terms, and cancel out any terms you see.

Number Theory

17. Primes and Divisibility

Definition 17.1.1 · Primes

Primes are numbers that have exactly two factors: 11 and the number itself.

Example: 2,3,5,7,11,13,17,19,232, 3, 5, 7, 11, 13, 17, 19, 23 are all primes.

Note: 11 is not a prime (it has only one factor), and 22 is the only even prime.

Concept 17.2.1 · Divisibility Rules
Divisor Rule
2 Last digit is even
3 Sum of digits is divisible by 3
4 Last 2 digits divisible by 4
5 Last digit is 0 or 5
6 Divisible by 2 and 3
7 Take out multiples of 7 until you reach a small number that is either divisible or not divisible by 7
8 Last 3 digits are divisible by 8
9 Sum of digits is divisible by 9
10 Last digit is 0
11 Add the digits in odd positions (OO) and in even positions (EE). If ∣O−E∣\lvert O - E \rvert is divisible by 11, so is the number
12 Divisible by 3 and 4
15 Divisible by 3 and 5
Theorem 17.4.1 · Legendre's Theorem

The number of factors of a prime pp in n!n! is

vp(n!)=⌊np⌋+⌊np2⌋+⌊np3⌋+⋯v_p(n!) = \left\lfloor \frac{n}{p} \right\rfloor + \left\lfloor \frac{n}{p^2} \right\rfloor + \left\lfloor \frac{n}{p^3} \right\rfloor + \cdots

Here ⌊x⌋\lfloor x \rfloor means "round xx down to a whole number".

18. Factors

Theorem 18.1.1 · Number of Factors of a Number

If the prime factorization of the number is expressed as:

p1e1×p2e2×⋯×pkekp_1^{e_1} \times p_2^{e_2} \times \cdots \times p_k^{e_k}

then the number of factors of this number is

(e1+1)(e2+1)⋯(ek+1)(e_1 + 1)(e_2 + 1) \cdots (e_k + 1)
Concept 18.1.2

Basically, in order to find the number of factors of a number:

  1. Find the prime factorization of the number
  2. Add 1 to all of the exponents
  3. Multiply them together
Concept 18.1.3

Here is a logical way to think about this formula: for each prime pkp_k, the exponent can be anything from 00 to eke_k. Therefore, there are ek+1e_k + 1 choices. Therefore, the total number of factors is just the product of all such ek+1e_k + 1 terms.

For example, in 112=24×7112 = 2^4 \times 7, in the factor, the power of 22 can be 202^0, 212^1, 222^2, 232^3, or 242^4. The power of 77 can be 707^0 or 717^1.

Therefore, in total there would be 5×2=105 \times 2 = 10 ways just as we calculated in the previous problem. This logic will be useful when other conditions are imposed.

Theorem 18.2.1 · Sum of Factors of a Number

If the prime factorization of the number is expressed as:

p1e1×p2e2×⋯×pkekp_1^{e_1} \times p_2^{e_2} \times \cdots \times p_k^{e_k}

then the sum of factors of this number is

(1+p11+p12+⋯+p1e1−1+p1e1)(1+p21+p22+⋯+p2e2−1+p2e2)⋯(1+pk1+pk2+⋯+pkek−1+pkek)(1 + p_1^1 + p_1^2 + \cdots + p_1^{e_1 - 1} + p_1^{e_1})(1 + p_2^1 + p_2^2 + \cdots + p_2^{e_2 - 1} + p_2^{e_2}) \cdots (1 + p_k^1 + p_k^2 + \cdots + p_k^{e_k - 1} + p_k^{e_k})
Concept 18.2.2 · Sum of Factors of a Number

Essentially, for a prime pp in the prime factorization, first find the sum of pkp^k for all possible exponents kk in the prime factorization. Then, we will multiply all such sums for all of the primes to get the sum of all the factors of the number. This may seem complicated, but it will make more sense with an example.

Theorem 18.3.1 · Product of Factors of a Number

The product of factors of a number nn where it has ff factors (this can be calculated using the number of factors formula) is

nf2n^{\frac{f}{2}}

19. GCD and LCM

Definition 19.1.1 · Greatest Common Divisor

The Greatest Common Divisor (GCD) of two or more integers (which are not all zero) is the largest positive integer that divides each of the integers.

Note: This is also known as GCF (Greatest Common Factor), and the terms GCF and GCD are often used interchangeably.

Definition 19.1.2 · Least Common Multiple

The Least Common Multiple (LCM) of two or more integers (which are not all zero) is the smallest positive integer that is divisible by both the numbers.

Concept 19.1.3

Greatest common divisor of mm and nn =gcd⁡(m,n)= \gcd(m, n) can be found by taking the lowest prime exponents from the prime factorizations of mm and nn.

Least common multiple of mm and nn =lcm⁡(m,n)= \operatorname{lcm}(m, n) can be found by taking the highest prime exponents from the prime factorizations of mm and nn.

Theorem 19.2.1

The product of GCD and LCM of two numbers is equal to the product of the two numbers:

gcd⁡(m,n)×lcm⁡(m,n)=m×n\gcd(m, n) \times \operatorname{lcm}(m, n) = m \times n
Theorem 19.3.1
gcd⁡(ac,bc)=c⋅gcd⁡(a,b)\gcd(ac, bc) = c \cdot \gcd(a, b)
Theorem 19.3.2
lcm⁡(ac,bc)=c⋅lcm⁡(a,b)\operatorname{lcm}(ac, bc) = c \cdot \operatorname{lcm}(a, b)
Theorem 19.3.3

If a number is divisible by two numbers aa and bb, it will also be divisible by lcm⁡(a,b)\operatorname{lcm}(a, b).

Theorem 19.4.1 · Euclidean Algorithm

The Euclidean algorithm states that

gcd⁡(x,y)=gcd⁡(x−ky,y)\gcd(x, y) = \gcd(x - ky, y)

where x>yx > y and kk is a positive integer.

20. Modular Arithmetic

Definition 20.1.1 · Congruence
n≡a(modb)n \equiv a \pmod{b}

means the number nn leaves the same remainder as aa when divided by bb.

Theorem 20.2.1 · Product Rule

If a≡x(modn)a \equiv x \pmod{n} and b≡y(modn)b \equiv y \pmod{n}, then

ab≡xy(modn)ab \equiv xy \pmod{n}
Theorem 20.3.1 · Exponent Rule

If a≡x(modn)a \equiv x \pmod{n}, then

am≡xm(modn)a^m \equiv x^m \pmod{n}
Concept 20.4.1 · Combining Mods

We can generally combine different mods together. For example, if x≡1(mod5)x \equiv 1 \pmod{5} and x≡1(mod7)x \equiv 1 \pmod{7}, then x≡1(mod35)x \equiv 1 \pmod{35}.

Concept 20.5.1 · Digit Cycles

To calculate large digit(s) of a number aba^b, a strategy that may work is to just look for a pattern by computing the first few values of aba^b and then seeing that the pattern will repeat for large values of bb.

21. Diophantine Equations

Concept 21.0.2

With algebraic equations, if you have nn variables to solve for, you need nn equations. But for Diophantine equations this isn't true, since we have one added condition: every variable is an integer. This condition is the key that lets us solve Diophantine equations.

Theorem 21.1.1 · Difference of Squares
x2−y2=(x−y)(x+y)x^2 - y^2 = (x - y)(x + y)
Theorem 21.1.2 · Binomial Square Expansions
(x+y)2=x2+2xy+y2=(x−y)2+4xy(x + y)^2 = x^2 + 2xy + y^2 = (x - y)^2 + 4xy
(x−y)2=x2−2xy+y2=(x+y)2−4xy(x - y)^2 = x^2 - 2xy + y^2 = (x + y)^2 - 4xy
(x+y)2+(x−y)2=2(x2+y2)(x + y)^2 + (x - y)^2 = 2(x^2 + y^2)
(x+y)2−(x−y)2=4xy(x + y)^2 - (x - y)^2 = 4xy
(x+y+z)2=x2+y2+z2+2(xy+yz+xz)(x + y + z)^2 = x^2 + y^2 + z^2 + 2(xy + yz + xz)
Theorem 21.2.1 · Simon’s Favorite Factoring Trick
xy+kx+jy+jk=(x+j)(y+k)xy + kx + jy + jk = (x + j)(y + k)
Theorem 21.4.1 · Difference of Cubes
x3−y3=(x−y)(x2+xy+y2)x^3 - y^3 = (x - y)(x^2 + xy + y^2)
Theorem 21.4.2 · Sum of Cubes
x3+y3=(x+y)(x2−xy+y2)x^3 + y^3 = (x + y)(x^2 - xy + y^2)
Theorem 21.4.3 · Binomial Cube Expansions
(x+y)3=x3+3xy(x+y)+y3(x + y)^3 = x^3 + 3xy(x + y) + y^3
(x+y)3=x3+3x2y+3xy2+y3(x + y)^3 = x^3 + 3x^2y + 3xy^2 + y^3
(x−y)3=x3−3xy(x−y)−y3(x - y)^3 = x^3 - 3xy(x - y) - y^3
(x−y)3=x3−3x2y+3xy2−y3(x - y)^3 = x^3 - 3x^2y + 3xy^2 - y^3

22. Misc Number Theory

Definition 22.1.1 · Palindrome

A palindrome is a number that reads the same forward and backward.

For example, 77, 4444, 383383 and 1232112321 are palindromes, but 123123 is not.

Theorem 22.4.1 · Chicken McNugget Theorem

The maximum value that cannot be expressed as the sum of non-negative multiples of aa and bb is

ab−a−bab - a - b

if aa and bb are relatively prime.

For relatively prime positive integers a,ba, b, there are exactly

(a−1)(b−1)2\frac{(a-1)(b-1)}{2}

positive integers which cannot be expressed in the form ma+nbma + nb where mm and nn are non-negative integers.

Geometry

23. Angle Chasing

Concept 23.1.1 · Angle Chasing Tricks
  • Sum of Angles in Triangle is 180∘180^\circ
  • A triangle with 2 angles equal will have their corresponding sides equal and a triangle with 2 sides equal will have their corresponding angles equal (isosceles triangle)
  • Opposite angles in intersecting lines are equal
  • Corresponding angles in parallel lines are equal
  • The angle made by the arc at the center of the circle is double the angle made by the arc at the boundary of the circle
Concept 23.1.2 · Complementary Angle

Complementary angles are a pair of angles with the sum of 90 degrees:

a+b=90∘a + b = 90^\circ
Concept 23.1.3 · Supplementary Angle

Supplementary angles are a pair of angles with the sum of 180 degrees:

a+b=180∘a + b = 180^\circ
Concept 23.1.4 · Intersecting lines

When two lines intersect, the vertical angles are equal. Vertical angles are each of the pairs of opposite angles made by two intersecting lines. "Vertical" in this case means they share the same Vertex (corner point), not the usual meaning of up-down.

Concept 23.1.5 · Parallel Lines

Corresponding angles equal: when a line crosses two parallel lines, the angles in matching positions at the two crossings are the same.

Theorem 23.2.1 · Inscribed Arc Theorem

The angle formed by an arc in the center or the arc angle is double of the angle formed on the edge.

∠AOB=2 ∠APB\angle AOB = 2\,\angle APB

Every angle on the edge that looks at the same arc is equal.

Corollary 23.2.4 · Inscribed Right Triangle

Inscribed triangle with diameter as one side is always a right triangle. The diameter cuts off an arc of 180∘180^\circ, so the angle opposite it is 180∘2=90∘\frac{180^\circ}{2} = 90^\circ.

Theorem 23.3.1
Sum of interior angle of a polygon=(n−2)⋅180\text{Sum of interior angle of a polygon} = (n-2)\cdot 180
Interior angle of a regular polygon=(n−2)n⋅180\text{Interior angle of a regular polygon} = \frac{(n-2)}{n}\cdot 180
Exterior angle of a regular polygon=360n\text{Exterior angle of a regular polygon} = \frac{360}{n}
Fact 23.3.2 · Important Interior Angles
Number of sides in regular polygon Interior Angle of regular polygon
3 60
4 90
5 108
6 120
8 135
9 140
10 144
Theorem 23.4.2

The perpendicular bisector of any chord passes through the center. In the figure, the perpendicular bisectors of ABAB and CDCD intersect at the center OO.

Corollary 23.4.3
  • Congruent chords are equidistant from the center of a circle.
  • If two chords in a circle are congruent, then their intercepted arcs are congruent.
  • If two chords in a circle are congruent, then they determine two central angles that are congruent.
Theorem 23.4.4

The angle marked in the diagram is half of the difference of the 2 red arcs.

∠APC=BD⌢−AC⌢2\angle APC = \frac{\overset{\frown}{BD} - \overset{\frown}{AC}}{2}
Theorem 23.4.5

If two chords ABAB and CDCD intersect at PP, then the ∠BPC\angle BPC and ∠APD\angle APD are equal to the average of the two arcs.

∠BPC=∠APD=BC⌢+AD⌢2\angle BPC = \angle APD = \frac{\overset{\frown}{BC} + \overset{\frown}{AD}}{2}
Theorem 23.4.6

If a tangent RR intersects the circle at QQ, and a chord QPQP is drawn, then the ∠RQP\angle RQP is equal to half the arc angle.

∠RQP=QP⌢2\angle RQP = \frac{\overset{\frown}{QP}}{2}
Theorem 23.4.7

Equal chords mark out equal arcs.

This basically means that if you have 2 chords of the same length, the sector of the circle they mark out will be equal.

Theorem 23.4.9 · Right Angle Tangency Point

If you connect the center of a circle to the point where the circle and a line are tangent, they will form a right angle.

24. Triangles

Theorem 24.1.1 · Using base and height

A triangle with base bb and height hh has an area of

12⋅b⋅h\frac{1}{2}\cdot b\cdot h

The height is the perpendicular from the top vertex down to the line of the base.

Theorem 24.1.2 · Heron's Formula

A triangle with sides a,b,ca, b, c and semiperimeter ss has an area of

s(s−a)(s−b)(s−c)\sqrt{s(s-a)(s-b)(s-c)}

The semiperimeter is half the perimeter: s=a+b+c2s = \frac{a+b+c}{2}.

Theorem 24.1.5 · Area of a triangle using inradius

A triangle with inradius rr (the radius of the circle that can be inscribed in a triangle) and semiperimeter ss has an area of:

inradius⋅semiperimeter=rs\text{inradius}\cdot\text{semiperimeter} = rs
Theorem 24.1.7

Inradius rr of a right triangle:

r=12(a+b−c)r = \frac{1}{2}(a+b-c)

where aa and bb are the legs of the triangle, and cc is the hypotenuse.

Theorem 24.1.10 · Area of a triangle using circumradius

A triangle with circumradius RR (the radius of the circle that the triangle can be inscribed in) and sides a,b,ca, b, c has an area of

abc4R\frac{abc}{4R}
Theorem 24.2.1 · Equilateral Triangle

If the side length of an equilateral triangle is aa:

Height of the triangle=32a\text{Height of the triangle} = \frac{\sqrt{3}}{2}a

This follows directly from the 30−60−9030-60-90 triangle.

Area of the triangle=34a2\text{Area of the triangle} = \frac{\sqrt{3}}{4}a^2
Theorem 24.2.2 · 45-45-90 Triangle

If the side length of a 45-45-90 triangle is aa:

hypotenuse of the triangle=2×side length=2a\text{hypotenuse of the triangle} = \sqrt{2}\times\text{side length} = \sqrt{2}a
Area of the triangle=12×side length2=12a2\text{Area of the triangle} = \frac{1}{2}\times\text{side length}^2 = \frac{1}{2}a^2
Theorem 24.2.3 · 30-60-90 Triangle

If the short leg length of a 30-60-90 triangle is aa:

Long Leg of the triangle=3×short leg=3a\text{Long Leg of the triangle} = \sqrt{3}\times\text{short leg} = \sqrt{3}a
hypotenuse of the triangle=2×short leg=2a\text{hypotenuse of the triangle} = 2\times\text{short leg} = 2a
Area=32×short leg2=32a2\text{Area} = \frac{\sqrt{3}}{2}\times\text{short leg}^2 = \frac{\sqrt{3}}{2}a^2
Theorem 24.2.4 · 13-14-15 Triangle

If the three sides of a triangle are 13, 14, and 15, it can be divided into two right triangles with side lengths: 5,12,135, 12, 13 and 9,12,159, 12, 15.

Area of this triangle =12×14×12=84= \frac{1}{2}\times 14\times 12 = 84

Theorem 24.3.1 · Pythagorean Theorem

A right triangle with legs aa and bb and hypotenuse cc satisfies the following relation:

c2=a2+b2c^2 = a^2 + b^2
Fact 24.3.2 · Important Pythagorean Triples

Important Pythagorean Triples

3,4,53, 4, 5 · 5,12,135, 12, 13 · 7,24,257, 24, 25 · 8,15,178, 15, 17 · 9,40,419, 40, 41 · 20,21,2920, 21, 29

If all numbers in a Pythagorean triple are multiplied by a constant, the resulting numbers still form a Pythagorean triple. For example, these are all Pythagorean triples: 3,4,53, 4, 5 · 6,8,106, 8, 10 · 9,12,159, 12, 15 · 12,16,2012, 16, 20 · 15,20,2515, 20, 25.

Theorem 24.3.3 · Special Properties of right triangles

In a right triangle ABCABC where BB is the right angle, let DD be the foot of the perpendicular from BB to ACAC. The following triangles are similar:

△ABC∼△ADB∼△BDC\triangle ABC \sim \triangle ADB \sim \triangle BDC

Length of the perpendicular to the hypotenuse: BD=AB⋅BCACBD = \frac{AB\cdot BC}{AC}.

Also note that:

AD⋅CD=BD2AD⋅AC=AB2CD⋅CA=CB2AD\cdot CD = BD^2 \qquad AD\cdot AC = AB^2 \qquad CD\cdot CA = CB^2
Theorem 24.4.4

The centroid of a triangle is on the median and it is 23\frac{2}{3} of the way from one of the vertices to the midpoint of the opposite side.

Theorem 24.4.5 · Median in a Right Triangle

In a right triangle ABCABC, let the median from point BB intersect ACAC at a point PP. Then

AP=BP=CP.AP = BP = CP.

Basically, in a right triangle ACAC is the diameter of the circumcircle, and PCPC, PAPA, and PBPB are radii of the circumcircle.

Theorem 24.5.1 · Angle Bisector Theorem

If the line ADAD bisects angle AA, then

ABBD=ACCD\frac{AB}{BD} = \frac{AC}{CD}

25. Quadrilaterals

Theorem 25.1.1 · Area of a Square

Any square with side length ss has an area of

s2s^2

and a perimeter of

4s4s
Theorem 25.2.1 · Area of a Rectangle

Any rectangle with base bb and height hh has an area of

bhbh

and a perimeter of

2b+2h2b + 2h
Theorem 25.3.1 · Area of a Rhombus

A rhombus with diagonals d1d_1 and d2d_2 has an area of

12d1d2\frac{1}{2}d_1 d_2

and a perimeter of

2×d12+d222 \times \sqrt{d_1^2 + d_2^2}
Theorem 25.4.1 · Area of a Parallelogram

A parallelogram with base bb and height hh has an area of

bhbh
Theorem 25.5.1 · Area of a Trapezoid

A trapezoid with 2 bases b1b_1 and b2b_2 and a height hh has an area of

b1+b22⋅h\frac{b_1 + b_2}{2} \cdot h

26. Circles

Theorem 26.1.1 · Area and Circumference

A circle with radius rr has

Area=πr2\text{Area} = \pi r^2
Circumference=2πr\text{Circumference} = 2\pi r
Theorem 26.1.2 · Arcs of a circle

An arc of a circle with radius rr and angle a∘a^\circ:

Area of a sector=πr2×a∘360\text{Area of a sector} = \pi r^2 \times \frac{a^\circ}{360}

that is, π×radius2×\pi \times \text{radius}^2 \times (fraction of circle in sector).

Length of the arc=2πr×a∘360\text{Length of the arc} = 2\pi r \times \frac{a^\circ}{360}

that is, 2π×radius×2\pi \times \text{radius} \times (fraction of circle in sector).

27. Similar Triangles

Theorem 27.1.1

For congruent triangles:

  1. All the angles of the triangles are same
  2. All corresponding sides are equal
  3. Area, perimeter, inradius, circumradius, etc. are equal
Concept 27.1.2 · Congruence Test

Two triangles are congruent if the three angles and sides in the triangle are the same. In other words, the triangles are the same (not necessarily same orientation). In general, triangles are congruent if:

  • AAS congruence: Two angles of the triangles are same and the 1 side next to the 2 angles are equal
  • SAS Congruence (Side Angle Side): Two sides are equal and the angle between the sides are equal
  • SSS congruence (Side Side Side): All three sides are congruent
  • HL congruence (Hypotenuse Leg): In a right triangle, hypotenuse and leg are equal
  • LL congruence (LL Leg): In a right triangle, the two legs are equal

Warning: SSA is not a valid triangle congruence: if 2 corresponding sides are congruent and the angle which is not between the 2 congruent sides is equal, then the triangles are not necessarily congruent

Concept 27.2.1 · Similarity Test

Two triangles are similar if the three angles in the triangle are the same. In other words, the triangles are the same shape multiplied by a scale factor.

In general, triangles are similar if:

  • AA similarity: Two angles of the triangles are same, which basically means that the third angle will be equal)
  • SAS similarity (Side Angle Side): Two sides are proportional and the angle between the sides is equal
  • SSS similarity (Side Side Side): All three sides are proportional
  • HL similarity (Hypotenuse Leg): In a right triangle, the hypotenuse and leg are proportional
  • LL similarity (LL Leg): In a right triangle, the two legs are proportional

Warning: SSA does not mean triangles are similar

An easy way to detect similar triangles is if bases of triangles are parallel and the sides of the triangles are collinear (see the hourglass figure below).

Theorem 27.2.2

For similar triangles:

  1. All the angles of the triangles are same
  2. All corresponding sides have same ratio
  3. Area ratio is the square of side length ratio

28. Area and Length of Complex Shapes

Theorem 28.1.1 · Regular Hexagon

Sum of interior angle of a regular hexagon =(6−2)⋅180=720= (6-2)\cdot 180 = 720

Interior angle of a regular hexagon =(6−2)6⋅180=120= \dfrac{(6-2)}{6}\cdot 180 = 120

Exterior angle of a regular hexagon =3606=60= \dfrac{360}{6} = 60

Area of a regular hexagon =6⋅34s2= 6\cdot\dfrac{\sqrt3}{4}s^2

Length of the diagonal of a regular hexagon =2s= 2s

Theorem 28.2.1 · Regular Octagon

Sum of interior angle of a regular octagon =(8−2)⋅180=1080= (8-2)\cdot 180 = 1080

Interior angle of a regular octagon =(8−2)8⋅180=135= \dfrac{(8-2)}{8}\cdot 180 = 135

Exterior angle of a regular octagon =3608=45= \dfrac{360}{8} = 45

Area of a regular octagon =2(1+2)s2= 2(1+\sqrt2)s^2

Concept 28.3.1 · Tricks to finding the area of complex shapes
  • Divide the shape into “nicer” areas which are easier to calculate
  • Extend Lines
    • You generally want to extend lines when they form nicer shapes/areas to work with, such as triangles
  • Break up areas
    • A common way to do so is to drop altitudes as doing so generally allows you to form right triangles
Concept 28.4.1 · Finding Length of Complex Shapes
  • Having equal angles means equal lengths and vice versa
  • Be on the lookout for 90 degree angles, as you can use Pythagorean theorem
  • Split the length into multiple components by using some of these techniques
    • Drawing extra lines
    • Dropping Altitudes
    • Extending lines to create similar triangles, special triangles, etc. and then subtracting the extra length

29. 3D Geometry

Theorem 29.1.1 · Volume and Surface Area of a cube
Volume of a cube=(side length)3=a3\text{Volume of a cube} = (\text{side length})^3 = a^3
Surface area of a cube=6×(side length)2=6a2\text{Surface area of a cube} = 6 \times (\text{side length})^2 = 6a^2
Length of space diagonal of a cube=3×side length=3a\text{Length of space diagonal of a cube} = \sqrt{3} \times \text{side length} = \sqrt{3}a

Along the way, a face diagonal has length 2a\sqrt{2}a.

Theorem 29.2.1 · Volume and Surface Area of a rectangular prism
Volume of a rectangular prism=l×b×h=product of all three dimensions\text{Volume of a rectangular prism} = l \times b \times h = \text{product of all three dimensions}
Surface area of a rectangular prism=2(lb+bh+lh)\text{Surface area of a rectangular prism} = 2(lb + bh + lh)
Length of space diagonal of a rectangular prism=l2+b2+h2\text{Length of space diagonal of a rectangular prism} = \sqrt{l^2 + b^2 + h^2}
Theorem 29.2.2 · Volume of a Prism
Volume of a Prism=base area⋅height\text{Volume of a Prism} = \text{base area} \cdot \text{height}
Theorem 29.2.3 · Surface Area of a Prism
Surface Area of a Prism=2⋅base area+base perimeter×height\text{Surface Area of a Prism} = 2 \cdot \text{base area} + \text{base perimeter} \times \text{height}

Unfold the prism: the two bases, plus one long strip whose width is the base perimeter.

Theorem 29.3.1 · Volume of a Pyramid
Volume of any pyramid=13⋅base area⋅height\text{Volume of any pyramid} = \frac{1}{3} \cdot \text{base area} \cdot \text{height}

The height hh is measured straight down from the apex to the base.

Theorem 29.3.2 · Volume of a Regular Square Pyramid (all sides equal)

When the pyramid has a square base, and all the sides are equal

Volume of a regular pyramid=26s3\text{Volume of a regular pyramid} = \frac{\sqrt{2}}{6}s^3
Theorem 29.3.3 · Volume of a Regular Tetrahedron (all sides equal)
Volume of a regular tetrahedron=212s3\text{Volume of a regular tetrahedron} = \frac{\sqrt{2}}{12}s^3
Theorem 29.4.1 · Volume and Surface Area of a cylinder
Volume of a cylinder=πr2h\text{Volume of a cylinder} = \pi r^2 h
Surface area of a cylinder=2πr2+2πrh=2πr(r+h)\text{Surface area of a cylinder} = 2\pi r^2 + 2\pi r h = 2\pi r(r + h)

The two circles give 2πr22\pi r^2. The side unrolls into a rectangle 2πr2\pi r wide and hh tall.

Theorem 29.5.1 · Volume and Surface Area of a cone
Volume of a cone=13πr2h\text{Volume of a cone} = \frac{1}{3}\pi r^2 h

which basically means

Volume of a Cone=13π⋅radius2⋅height\text{Volume of a Cone} = \frac{1}{3}\pi \cdot \text{radius}^2 \cdot \text{height}
Surface area of a cone=πr2+πrs=πr(r+s)\text{Surface area of a cone} = \pi r^2 + \pi r s = \pi r(r + s)

where ss is the lateral or slant height, which can also be written as

π⋅radius2+π⋅radius×slant height\pi \cdot \text{radius}^2 + \pi \cdot \text{radius} \times \text{slant height}
Concept 29.5.3 · Cone Unfolding

The sides of a cone can be unfolded to form a sector a circle as well. The circumference of the base of the cone is equal to the length of the arc of the sector and the slant height of the cone is equal to the radius of the sector.

So the sector's angle is 2πr2πs×360∘=rs×360∘\dfrac{2\pi r}{2\pi s} \times 360^\circ = \dfrac{r}{s} \times 360^\circ.

Theorem 29.6.1 · Volume and Surface Area of a sphere
Volume of a sphere=43πr3\text{Volume of a sphere} = \frac{4}{3}\pi r^3
Surface area of a sphere=4πr2\text{Surface area of a sphere} = 4\pi r^2