Skip to content

Formula sheet

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

Combinatorics

1. Permutations and Combinations

Definition 1.1.1 · Factorial

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.2 · Number of Orderings of Objects

The number of ways of arranging nn objects in a line is n!n!.

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)!.

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

(n−1)!2.\frac{(n-1)!}{2}.
Theorem 1.2.4 · Permutations Formula

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

nPk=n!(n−k)!.{}^{n}P_{k} = \frac{n!}{(n-k)!}.
Theorem 1.4.1 · 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 letter that occurs more than once appears in the word.

Theorem 1.5.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−k+1)k!.\binom{n}{k} = \frac{n!}{k!\,(n-k)!} = \frac{n(n-1)\cdots(n-k+1)}{k!}.

This is usually read "nn choose kk".

Theorem 1.6.1 · Number of Subsets

The number of subsets of a set of size nn is 2n2^n.

2. Probability

Theorem 2.1.2 · Probability

When all outcomes are equally likely,

probability=Total number of Desired OutcomesTotal Outcomes.\text{probability} = \frac{\text{Total number of Desired Outcomes}}{\text{Total Outcomes}}.

3. Casework

Concept 3.1.1 · Keep the Cases Few

Many counting and probability problems can be solved by splitting them into several cases, counting each case, and adding.

When doing casework, always try to minimize the number of cases you have to deal with.

Concept 3.2.1 · Conditional Probability

If a problem asks for the probability that an event AA happens given that another event BB has happened, only the outcomes in BB are still possible:

P(A∣B)=number of ways A and B happennumber of ways B happens.P(A \mid B) = \frac{\text{number of ways } A \text{ and } B \text{ happen}}{\text{number of ways } B \text{ happens}}.

When the outcomes are not equally likely, work with probabilities instead:

P(A∣B)=P(A and B)P(B).P(A \mid B) = \frac{P(A \text{ and } B)}{P(B)}.

4. Principle of Inclusion and Exclusion

Definition 4.0.1 · Principle of Inclusion and Exclusion

The principle of inclusion and exclusion (PIE) is a counting technique that computes the number of elements that satisfy at least one of several properties, while making sure that elements satisfying more than one property are not counted twice.

Definition 4.0.2 · Union Symbol

∣A∪B∣|A \cup B| is the number of elements of the union of AA and BB: everything that is in AA or in BB (or both). Duplicates are only written once.

Definition 4.0.3 · Intersection Symbol

∣A∩B∣|A \cap B| is the number of elements of the intersection of AA and BB: only the elements that are in both sets.

Theorem 4.0.4 · Principle of Inclusion Exclusion for 2 Sets

Given two sets A1A_1 and A2A_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 possibilities in the 2 "things" and subtract the duplicates.

Theorem 4.0.6 · Principle of Inclusion Exclusion for 3 Sets

Given three sets A1A_1, A2A_2, A3A_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}

Count the possibilities in the 3 "things", subtract the duplicates in all 3 pairs of sets, then add back the elements that are in all 3 sets.

Theorem 4.0.7 · Principle of Inclusion Exclusion Generalized

If A1,A2,…,AnA_1, A_2, \ldots, A_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|.

Add the singles, subtract the pairs, add the triples, and keep alternating.

5. Stars & Bars

Theorem 5.1.1 · Stars and Bars

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

(n+k−1n).\binom{n+k-1}{n}.
Concept 5.2.1 · Give the Minimums First

Stars and bars is extremely useful, and can often be adapted based on situations. For example, if each bin has to have at least 1 object in it, we assign each bin 1 object to start off with and apply our 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}.

6. Combinatorial Identities

Theorem 6.1.1 · Symmetry
(nk)=(nn−k)\binom{n}{k} = \binom{n}{n-k}
Theorem 6.1.2 · Binomial Identity
(n0)+(n1)+⋯+(nn)=2n\binom{n}{0} + \binom{n}{1} + \cdots + \binom{n}{n} = 2^n
Theorem 6.1.3 · Choosing Odd Even Identity

For n≥1n \ge 1,

∑k=0n(−1)k(nk)=0.\sum_{k=0}^{n} (-1)^k \binom{n}{k} = 0.

That is, (n0)+(n2)+⋯=(n1)+(n3)+⋯\binom{n}{0} + \binom{n}{2} + \cdots = \binom{n}{1} + \binom{n}{3} + \cdots

Theorem 6.2.1 · Vandermonde's Identity
(n0)(mr)+(n1)(mr−1)+⋯+(nr)(m0)=(m+nr)\binom{n}{0}\binom{m}{r} + \binom{n}{1}\binom{m}{r-1} + \cdots + \binom{n}{r}\binom{m}{0} = \binom{m+n}{r}
Theorem 6.2.3 · Special Case of Vandermonde's Identity
∑i=0k(ki)2=(2kk)\sum_{i=0}^{k} \binom{k}{i}^2 = \binom{2k}{k}
Concept 6.3.1 · Pascal's Triangle

Pascal's Triangle is a triangular array of binomial coefficients. It contains many patterns that make complex calculations much easier.

Row nn (counting the top row as row 0) holds (n0),(n1),…,(nn)\binom{n}{0}, \binom{n}{1}, \ldots, \binom{n}{n}. Below, the first rows are written as binomial coefficients; Show me gives rows 0 to 10 as numbers.

Theorem 6.3.2 · Pascal's Identity
(nr)+(nr+1)=(n+1r+1)\binom{n}{r} + \binom{n}{r+1} = \binom{n+1}{r+1}
Theorem 6.3.3 · Hockey Stick Identity
(kk)+(k+1k)+⋯+(nk)=(n+1k+1)\binom{k}{k} + \binom{k+1}{k} + \cdots + \binom{n}{k} = \binom{n+1}{k+1}
Theorem 6.3.4 · Hockey Stick Identity Generalization
(jk)+(j+1k)+⋯+(nk)=(n+1k+1)−(jk+1)\binom{j}{k} + \binom{j+1}{k} + \cdots + \binom{n}{k} = \binom{n+1}{k+1} - \binom{j}{k+1}

7. Geometric Counting

Theorem 7.2.1 · Rectangles in a Grid

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 7.3.1 · Squares in a Grid

The number of squares in an 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 7.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}.
Concept 7.5.1 · Counting Edges Twice

In a polyhedron, if you add up the number of sides on every face, you get 2 times the number of edges of the polyhedron. This is because each edge is part of 2 faces.

If you add up the number of edges connected to every vertex, you also get 2 times the number of edges, since each edge is counted at 2 different vertices.

For example, a cube has 4 sides per face and 6 faces, so it has 4×62=12\frac{4 \times 6}{2} = 12 edges. Also, there are 3 edges per vertex and 8 vertices, so there are 3×82=12\frac{3 \times 8}{2} = 12 edges.

Theorem 7.5.2 · Euler's Polyhedron Formula
Edges=Faces+Vertices−2\text{Edges} = \text{Faces} + \text{Vertices} - 2
E=F+V−2E = F + V - 2

8. Geometric Probability

Definition 8.0.1 · Geometric Probability

Geometric probability is a way to calculate probability by measuring the number of outcomes geometrically, in terms of length, area, or volume. The key to solving geometric probability is

  1. Try a few examples for the different cases, and always mark the extreme cases.
  2. Figure out the region the shape maps out.
  3. Use geometry to find the area of this region.
P=size of the good regionsize of the whole sample spaceP = \frac{\text{size of the good region}}{\text{size of the whole sample space}}

9. Expected Value

Definition 9.0.1 · Expected Value

Expected value is the weighted average of the outcomes: each outcome counts in proportion to how likely it is.

Theorem 9.0.2 · Expected Value

The expected value of a random quantity XX is

E(X)=∑xi⋅P(xi),E(X) = \sum x_i \cdot P(x_i),

where the xix_i are the possible values of XX and P(xi)P(x_i) is the probability that each one happens.

In words: multiply each value by its probability, then add.

Theorem 9.0.4 · Linearity of Expectation

For any random quantities x1,x2,…,xnx_1, x_2, \dots, x_n, independent or dependent,

E(x1+x2+⋯+xn)=E(x1)+E(x2)+⋯+E(xn).E(x_1 + x_2 + \cdots + x_n) = E(x_1) + E(x_2) + \cdots + E(x_n).

The expected value of a total is the sum of the expected values of its parts.

10. Recursion

Definition 10.1.1 · Recursion

Recursion is the process of finding smaller values and using them to calculate larger values.

Concept 10.2.1 · The recursion method

Solving a problem with recursion is a multi-step process:

  1. Solve the problem for a few smaller base cases by hand.
  2. In general, you need as many base cases as there are terms on the right-hand side of your recursion.
  3. For a general f(n)f(n), find a recursive equation in terms of earlier values by looking at the different ways to get to that point.
  4. Calculate f(n)f(n) step by step until you reach the number you want.
Concept 10.4.1 · Two recursive functions

Often it is simpler to define two recursive functions, say a(n)a(n) and b(n)b(n), where the actual answer is some combination of the two (for example a(n)+b(n)a(n) + b(n)).

11. Probability States

Concept 11.0.1 · States

We use states when we want the probability of “a win” from different positions or turns. For a states problem, follow three steps:

  1. Assign a variable to the probability of winning from each position.
  2. Write an equation for the probability of winning from each position, in terms of the other states.
  3. Solve the system of equations.
Concept 11.0.2 · Symmetry in States

Always look out for symmetry in states problems: positions you have an equal probability of winning from can share one variable. That makes the equations much simpler.

Concept 11.1.1 · State Tables

For states recursions, it is often a good idea to simply make a table of the probability of being at each location at every time step. Remember: the total probability at each step must always be 11.

Concept 11.2.1 · Expected Value States

Expected value states work almost exactly like probability states. The only difference: in every equation, we add 1. For example,

expected moves from A=expected moves from B+1.\text{expected moves from } A = \text{expected moves from } B + 1.

We add 11 because it takes 11 move to go from AA to BB.

Algebra

12. Algebraic Manipulations

Theorem 12.0.1 · Exponent Rules

For any nonzero xx:

x−a=1xax^{-a} = \frac{1}{x^{a}}
xa×xb=xa+bx^{a} \times x^{b} = x^{a+b}
xa÷xb=xa−bx^{a} \div x^{b} = x^{a-b}
(xa)b=xab\left(x^{a}\right)^{b} = x^{ab}
Theorem 12.1.1 · 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\left(x^2 + y^2\right)
(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 12.1.2 · 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
x3+y3+z3−3xyz=(x+y+z)(x2+y2+z2−xy−xz−yz)x^3 + y^3 + z^3 - 3xyz = (x + y + z)\left(x^2 + y^2 + z^2 - xy - xz - yz\right)
Theorem 12.1.3

If

x+1x=ax + \frac{1}{x} = a

then

x2+1x2=a2−2x^2 + \frac{1}{x^2} = a^2 - 2
x3+1x3=a3−3ax^3 + \frac{1}{x^3} = a^3 - 3a
x4+1x4=(a2−2)2−2x^4 + \frac{1}{x^4} = \left(a^2 - 2\right)^2 - 2
Theorem 12.2.1 · Difference of Squares
x2−y2=(x−y)(x+y)x^2 - y^2 = (x - y)(x + y)
Theorem 12.3.1 · Difference of Cubes
x3−y3=(x−y)(x2+xy+y2)x^3 - y^3 = (x - y)\left(x^2 + xy + y^2\right)
Theorem 12.3.2 · Sum of Cubes
x3+y3=(x+y)(x2−xy+y2)x^3 + y^3 = (x + y)\left(x^2 - xy + y^2\right)
Theorem 12.4.1 · nth Power Factorizations

Sum of odd powers:

x2n+1+y2n+1=(x+y)(x2n−x2n−1y+x2n−2y2−⋯−xy2n−1+y2n)x^{2n+1} + y^{2n+1} = (x + y)\left(x^{2n} - x^{2n-1}y + x^{2n-2}y^2 - \cdots - xy^{2n-1} + y^{2n}\right)

The signs in the second factor alternate between positive and negative.

Difference of powers:

xn−yn=(x−y)(xn−1+xn−2y+xn−3y2+⋯+xyn−2+yn−1)x^{n} - y^{n} = (x - y)\left(x^{n-1} + x^{n-2}y + x^{n-3}y^2 + \cdots + xy^{n-2} + y^{n-1}\right)

The signs in the second factor are all positive.

Theorem 12.4.2 · Simon's Favorite Factoring Trick
xy+kx+jy+jk=(x+j)(y+k)xy + kx + jy + jk = (x + j)(y + k)
Concept 12.5.1 · Algebraic Equations Techniques
  1. Substitution
  2. Elimination
  3. Adding/Subtracting/Multiplying Equations
  4. Group terms together
  5. Find common denominator
  6. Don't always have to find every variable
  7. Use symmetry between variables
  8. Make smart substitutions that can simplify your expression
  9. Look for common factorizations

13. Vieta's Formulas for Polynomials

Theorem 13.1.1 · 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 13.1.2 · Discriminant

In the quadratic formula,

b2−4acb^2 - 4ac

(the part inside the square root) is the discriminant of the quadratic.

  1. If the discriminant b2−4acb^2 - 4ac is 00, then the quadratic has a double (repeated) root.
  2. If the discriminant b2−4acb^2 - 4ac is positive, the quadratic has 2 different real roots.
  3. If the discriminant b2−4acb^2 - 4ac is negative, the quadratic has no real roots.
Theorem 13.1.3 · Vieta's Formula For Quadratics

In a quadratic equation

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

the sum of its roots is

−ba-\frac{b}{a}

and the product of its roots is

ca.\frac{c}{a}.
Theorem 13.1.4 · Vieta's Formula For Higher Degree Polynomials

In a polynomial

anxn+an−1xn−1+⋯+a1x+a0=0a_n x^n + a_{n-1}x^{n-1} + \dots + a_1 x + a_0 = 0

with roots r1,r2,r3,…,rnr_1, r_2, r_3, \dots, r_n, the following holds:

r1+r2+r3+⋯+rn=−an−1an(the sum of all terms)r_1 + r_2 + r_3 + \dots + r_n = -\frac{a_{n-1}}{a_n} \quad \text{(the sum of all terms)}
r1r2+r1r3+⋯+rn−1rn=an−2an(the sum of all products of 2 terms)r_1r_2 + r_1r_3 + \dots + r_{n-1}r_n = \frac{a_{n-2}}{a_n} \quad \text{(the sum of all products of 2 terms)}
r1r2r3+r1r2r4+⋯+rn−2rn−1rn=−an−3an(the sum of all products of 3 terms)r_1r_2r_3 + r_1r_2r_4 + \dots + r_{n-2}r_{n-1}r_n = -\frac{a_{n-3}}{a_n} \quad \text{(the sum of all products of 3 terms)}
⋮\vdots
r1r2r3⋯rn=(−1)na0an(the product of all n terms)r_1r_2r_3\cdots r_n = (-1)^n\frac{a_0}{a_n} \quad \text{(the product of all } n \text{ terms)}

The signs alternate: a sum of products of an odd number of roots gets a minus sign, an even number gets a plus sign.

14. Polynomial Roots

Theorem 14.1.1 · Representation of a Polynomial in Terms of Its Roots

A polynomial

P(x)=anxn+an−1xn−1+⋯+a1x+a0P(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0

can be written as

an(x−r1)(x−r2)(x−r3)⋯(x−rn),a_n(x - r_1)(x - r_2)(x - r_3)\cdots(x - r_n),

where r1,r2,r3,…,rnr_1, r_2, r_3, \ldots, r_n are the nn roots of the polynomial.

Corollary 14.1.2 · Representation of a Monic Polynomial in Terms of Its Roots

A polynomial

P(x)=xn+an−1xn−1+⋯+a1x+a0P(x) = x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0

(the leading coefficient is 11) can be written as

(x−r1)(x−r2)(x−r3)⋯(x−rn),(x - r_1)(x - r_2)(x - r_3)\cdots(x - r_n),

where r1,r2,r3,…,rnr_1, r_2, r_3, \ldots, r_n are the nn roots of the polynomial.

Concept 14.1.3 · Evaluating a Product of Differences

When a problem asks for an expression like (k−r)(k−s)(k−t)(k - r)(k - s)(k - t), where rr, ss and tt are the roots of a monic polynomial PP, it is just P(k)P(k), by the representation above. The same works for a polynomial that is not monic, except the product is

P(k)an,\frac{P(k)}{a_n},

where ana_n is the coefficient of the xnx^n term.

Theorem 14.1.4 · Fundamental Theorem of Algebra

A polynomial of degree nn (its largest term has power nn) has nn complex roots, counted with multiplicity. For example, a double root counts as 22 roots.

Theorem 14.1.5 · Remainder Theorem

The remainder when a polynomial P(x)P(x) is divided by x−rx - r is P(r)P(r).

Corollary 14.1.6 · Factor Theorem

x−rx - r divides a polynomial P(x)P(x) if P(r)=0P(r) = 0. This is a direct consequence of the Remainder Theorem.

Definition 14.2.1 · Symmetric Polynomials

A polynomial

P(x)=anxn+an−1xn−1+⋯+a1x+a0P(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0

is symmetric if

an=a0,an−1=a1,an−2=a2,an−3=a3, …a_n = a_0,\quad a_{n-1} = a_1,\quad a_{n-2} = a_2,\quad a_{n-3} = a_3,\ \ldots

Basically, opposite coefficients are equal.

Concept 14.2.2 · Solving Symmetric Polynomials of Even Degree

To solve a symmetric polynomial P(x)=a0xn+a1xn−1+⋯+a1x+a0P(x) = a_0 x^n + a_1 x^{n-1} + \cdots + a_1 x + a_0 of even degree:

  • Divide by xn/2x^{n/2}.
  • Group the xkx^k and 1xk\frac{1}{x^k} terms together.
  • Make the substitution
y=x+1xy = x + \frac{1}{x}

and write every term in your expression with yy.

  • Solve the reduced polynomial.
Concept 14.3.1 · Reciprocal Roots

If

P(x)=anxn+an−1xn−1+⋯+a1x+a0P(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0

has roots r1,r2,r3,…,rnr_1, r_2, r_3, \ldots, r_n, then

Q(x)=a0xn+a1xn−1+⋯+an−1x+anQ(x) = a_0 x^n + a_1 x^{n-1} + \cdots + a_{n-1}x + a_n

has roots

1r1,1r2,…,1rn.\frac{1}{r_1}, \frac{1}{r_2}, \ldots, \frac{1}{r_n}.

Flip the coefficients of a polynomial and its roots become the reciprocals of the original roots.

Concept 14.3.2 · Roots That Are More or Less

If

P(x)=anxn+an−1xn−1+⋯+a1x+a0P(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0

has roots r1,r2,r3,…,rnr_1, r_2, r_3, \ldots, r_n, then

Q(x)=an(x−k)n+an−1(x−k)n−1+⋯+a1(x−k)+a0Q(x) = a_n (x - k)^n + a_{n-1}(x - k)^{n-1} + \cdots + a_1(x - k) + a_0

has roots

r1+k,r2+k,r3+k,…,rn+k.r_1 + k, r_2 + k, r_3 + k, \ldots, r_n + k.
Theorem 14.3.5 · Newton Sums

Let P(x)=anxn+an−1xn−1+⋯+a1x+a0P(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0 have roots r1,r2,…,rnr_1, r_2, \ldots, r_n, and let

Sk=r1k+r2k+⋯+rnk.S_k = r_1^k + r_2^k + \cdots + r_n^k.

Then

anS1+an−1=0anS2+an−1S1+2an−2=0anS3+an−1S2+an−2S1+3an−3=0\begin{aligned} a_n S_1 + a_{n-1} &= 0 \\ a_n S_2 + a_{n-1}S_1 + 2a_{n-2} &= 0 \\ a_n S_3 + a_{n-1}S_2 + a_{n-2}S_1 + 3a_{n-3} &= 0 \end{aligned}

and so on. Here aj=0a_j = 0 whenever jj is negative (that can show up once k>nk > n).

In words:

  1. Multiply SkS_k by the leading coefficient ana_n.
  2. Multiply Sk−1S_{k-1} by the next coefficient an−1a_{n-1}, then Sk−2S_{k-2} by an−2a_{n-2}, and so on, adding the products.
  3. Stop when you reach S0S_0: instead of S0S_0, multiply that last coefficient by kk. (If the coefficients run out first, just stop.)
  4. Set the sum equal to 00.

15. Arithmetic Sequences

Theorem 15.0.4 · $n$th Term in an Arithmetic Sequence
an=a1+(n−1)da_n = a_1 + (n - 1)d
an=am+(n−m)da_n = a_m + (n - m)d
Theorem 15.0.5 · Number of Terms in an Arithmetic Sequence
n=an−a1d+1n = \frac{a_n - a_1}{d} + 1

In words:

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 15.0.6 · Average of Terms in an Arithmetic Sequence
Average of Terms=a1+an2\text{Average of Terms} = \frac{a_1 + a_n}{2}
Theorem 15.0.7 · Sum of All Terms in an Arithmetic Sequence
Sn=a1+an2×nS_n = \frac{a_1 + a_n}{2} \times n

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

16. Geometric Sequences

Definition 16.0.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 16.0.4 · nth Term in a Geometric Sequence
gn=g1⋅rn−1g_n = g_1 \cdot r^{n-1}
gn=gm⋅rn−mg_n = g_m \cdot r^{n-m}
Theorem 16.0.5 · Sum of All Terms in a Finite Geometric Sequence

For r≠1r \ne 1,

Sn=g1⋅rn−1r−1S_n = g_1 \cdot \frac{r^n - 1}{r - 1}
Theorem 16.0.6 · 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}

17. Special Sequences

Theorem 17.0.1 · Sum of numbers formula
1+2+3+⋯+n=n(n+1)21 + 2 + 3 + \cdots + n = \frac{n(n+1)}{2}
Theorem 17.0.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 the first nn odd numbers is n2n^2.

Theorem 17.0.3 · Sum of even numbers formula
2+4+6+⋯+2n=n(n+1)2 + 4 + 6 + \cdots + 2n = n(n+1)

To think about it intuitively, just take 22 out of each term:

2(1+2+3+⋯+n)=2⋅n(n+1)2=n(n+1).2(1 + 2 + 3 + \cdots + n) = 2 \cdot \frac{n(n+1)}{2} = n(n+1).
Theorem 17.0.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 17.0.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
Concept 17.1.1 · Telescoping

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

18. Mean, Median, Mode

Definition 18.0.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}}

Turned around: sum=mean×number of terms\text{sum} = \text{mean} \times \text{number of terms}. Most mean problems are really sum problems.

Definition 18.0.2 · Median

After arranging the numbers in increasing or decreasing order:

  • If the number of terms is odd, the median is the middle number.
  • If the number of terms is even, the median is the average of the middle two numbers.
Definition 18.0.3 · Mode
Mode=most common term(s)\text{Mode} = \text{most common term(s)}
Definition 18.0.5 · Geometric Mean

The geometric mean of the positive numbers a1,a2,a3,…,ana_1, a_2, a_3, \ldots, a_n is

a1×a2×a3×⋯×ann\sqrt[n]{a_1 \times a_2 \times a_3 \times \cdots \times a_n}
Definition 18.0.6 · Harmonic Mean

The harmonic mean of the positive numbers a1,a2,a3,…,ana_1, a_2, a_3, \ldots, a_n is

11a1+1a2+⋯+1ann=n1a1+1a2+⋯+1an\frac{1}{\dfrac{\frac{1}{a_1} + \frac{1}{a_2} + \cdots + \frac{1}{a_n}}{n}} = \frac{n}{\frac{1}{a_1} + \frac{1}{a_2} + \cdots + \frac{1}{a_n}}

In words: the reciprocal of the average of the reciprocals.

Definition 18.0.7 · Quadratic Mean

The quadratic mean (root mean square) of a1,a2,a3,…,ana_1, a_2, a_3, \ldots, a_n is

a12+a22+a32+⋯+an2n\sqrt{\frac{a_1^2 + a_2^2 + a_3^2 + \cdots + a_n^2}{n}}

For positive numbers, QM≥AM≥GM≥HM\text{QM} \ge \text{AM} \ge \text{GM} \ge \text{HM}, with equality exactly when all the numbers are equal (Chapter 40 proves it).

19. System of Equations

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

Equivalently,

Rate=WorkTime,Time=WorkRate.\text{Rate} = \frac{\text{Work}}{\text{Time}}, \qquad \text{Time} = \frac{\text{Work}}{\text{Rate}}.
Theorem 19.1.2 · Working Together

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

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

time.

20. Speed, Distance, and Time

Theorem 20.0.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}}

Keep the units matched: miles per hour goes with time in hours. Convert minutes first.

Theorem 20.0.2 · Average Speed
Average Speed=Total DistanceTotal Time\text{Average Speed} = \frac{\text{Total Distance}}{\text{Total Time}}

Number Theory

21. Primes and Factors

Definition 21.0.1 · Primes

Primes are numbers that have exactly two factors: 11 and the number itself. For example, 2,3,5,7,11,13,17,19,23,…2, 3, 5, 7, 11, 13, 17, 19, 23, \ldots are all primes.

Concept 21.0.3 · Prime Factorization

Prime factorization writes a number as a product of primes.

Example: the prime factorization of 6060 is 22×3×52^2 \times 3 \times 5.

Theorem 21.0.4 · Number of Factors of a Number

If the prime factorization of a number is

p1e1×p2e2×⋯×pkek,p_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).
Theorem 21.1.1 · Sum of Factors of a Number

If the prime factorization of a number is

p1e1×p2e2×⋯×pkek,p_1^{e_1} \times p_2^{e_2} \times \cdots \times p_k^{e_k},

then the sum of the factors of this number is

(1+p1+p12+⋯+p1e1)(1+p2+p22+⋯+p2e2)⋯(1+pk+pk2+⋯+pkek).(1 + p_1 + p_1^2 + \cdots + p_1^{e_1})(1 + p_2 + p_2^2 + \cdots + p_2^{e_2})\cdots(1 + p_k + p_k^2 + \cdots + p_k^{e_k}).
Concept 21.1.2 · Sum of Factors of a Number

For each prime pp in the prime factorization, first find the sum of pkp^k over all the possible exponents kk (from 00 up to the exponent of pp). Then multiply these sums over all of the primes to get the sum of all the factors of the number.

Theorem 21.2.1 · Product of Factors of a Number

If a number nn has ff factors (count them with the number-of-factors formula), then the product of the factors of nn is

nf/2.n^{f/2}.

22. Divisibility & Legendre's Formula

Concept 22.0.1 · Divisibility Rules
Divisor Rule
22 Last digit is even
33 Sum of digits is divisible by 33
44 Last 22 digits divisible by 44
55 Last digit is 00 or 55
66 Divisible by 22 and 33
77 Take out multiples of 77 until you reach a small number that is either divisible or not divisible by 77
88 Last 33 digits are divisible by 88
99 Sum of digits is divisible by 99
1010 Last digit is 00
1111 Add the digits in the odd positions (OO) and the digits in the even positions (EE). If ∣O−E∣\lvert O - E \rvert is divisible by 1111, then the number is also divisible by 1111
1212 Divisible by 33 and 44
1515 Divisible by 33 and 55
Theorem 22.0.2 · Legendre's Theorem

For a prime pp, the number of factors of 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

The sum stops once pk>np^k > n, because every later term is 00.

23. GCD & LCM

Definition 23.0.1 · Greatest Common Divisor

The Greatest Common Divisor (GCD) of two or more nonzero integers is the largest positive integer that divides each of them.

It is also called the GCF (Greatest Common Factor). The two names mean the same thing.

Definition 23.0.2 · Least Common Multiple

The Least Common Multiple (LCM) of two or more nonzero integers is the smallest positive integer that is divisible by each of them.

Concept 23.0.3 · GCD and LCM from prime factorizations

gcd⁡(m,n)\gcd(m, n) takes the lowest exponent of each prime in the prime factorizations of mm and nn.

lcm⁡(m,n)\operatorname{lcm}(m, n) takes the highest exponent of each prime.

For example, 24=23⋅324 = 2^{3} \cdot 3 and 36=22⋅3236 = 2^{2} \cdot 3^{2}, so gcd⁡(24,36)=22⋅3=12\gcd(24, 36) = 2^{2} \cdot 3 = 12 and lcm⁡(24,36)=23⋅32=72\operatorname{lcm}(24, 36) = 2^{3} \cdot 3^{2} = 72.

Theorem 23.0.4 · GCD × LCM

The product of the GCD and the LCM of two numbers equals the product of the two numbers:

gcd⁡(m,n)⋅lcm⁡(m,n)=m⋅n.\gcd(m, n) \cdot \operatorname{lcm}(m, n) = m \cdot n.
Theorem 23.0.5 · Pulling out a common factor

If two numbers have a common factor cc, then

gcd⁡(ac,bc)=c⋅gcd⁡(a,b).\gcd(ac, bc) = c \cdot \gcd(a, b).
Theorem 23.0.6 · Euclidean Algorithm
gcd⁡(x,y)=gcd⁡(x−ky, y)\gcd(x, y) = \gcd(x - ky,\ y)

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

Theorem 23.0.8 · Bézout's Identity

The equation

ax+by=cax + by = c

has integer solutions x,yx, y if and only if gcd⁡(a,b)\gcd(a, b) divides cc.

24. Modular Arithmetic

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

means that the number nn leaves the same remainder as aa when divided by bb. Equivalently, bb divides n−an - a. Read it as “nn is congruent to aa mod bb”.

Theorem 24.0.2 · Multiplying Congruences

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}.

(The book prints the first congruence as “a=x(modn)a = x \pmod n”; it means ≡\equiv.)

Theorem 24.0.3 · Powers of Congruences

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

am≡xm(modn)a^m \equiv x^m \pmod{n}

for every positive integer mm.

Concept 24.0.4 · Digit Cycles

To find the last digit(s) of a huge power aba^b, compute the first few values of aba^b and look for a pattern. The remainders must eventually repeat, so the pattern carries over to large bb.

Theorem 24.0.5 · Euler's Totient Function

If nn has the prime factorization p1e1p2e2⋯pkekp_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}, then

φ(n)=n(1−1p1)(1−1p2)⋯(1−1pk),\varphi(n) = n\left(1 - \frac{1}{p_1}\right)\left(1 - \frac{1}{p_2}\right)\cdots\left(1 - \frac{1}{p_k}\right),

where φ(n)\varphi(n) is the number of positive integers ≤n\le n that are relatively prime to nn.

Steps: 1. Find the prime factorization of nn. 2. For each prime pip_i, form 1−1pi1 - \frac{1}{p_i} and multiply them. 3. Multiply that product by nn.

Theorem 24.0.6 · Euler's Totient Theorem

For n>1n > 1,

aφ(n)≡1(modn)a^{\varphi(n)} \equiv 1 \pmod{n}

if and only if gcd⁡(a,n)=1\gcd(a, n) = 1.

Corollary 24.0.7 · Fermat's Little Theorem

If pp is a prime and p∤ap \nmid a, then

ap−1≡1(modp).a^{p-1} \equiv 1 \pmod{p}.

(The book says “if and only if pp is a prime and gcd⁡(a,n)=1\gcd(a, n) = 1”. The converse is false: 561=3⋅11⋅17561 = 3 \cdot 11 \cdot 17 is not prime, yet a560≡1(mod561)a^{560} \equiv 1 \pmod{561} for every aa coprime to 561561.)

Concept 24.0.8 · Modular Inverses

If ab≡1(modn)ab \equiv 1 \pmod{n}, then aa is the modular inverse of bb (mod nn), and bb is the inverse of aa. We write

a−1≡b(modn).a^{-1} \equiv b \pmod{n}.

An inverse of aa exists exactly when gcd⁡(a,n)=1\gcd(a, n) = 1.

Theorem 24.0.9 · Wilson's Theorem

For a prime pp,

(p−1)!≡p−1≡−1(modp).(p-1)! \equiv p - 1 \equiv -1 \pmod{p}.
Theorem 24.0.10 · Binomial Theorem

For non-negative nn,

(x+y)n=(n0)xny0+(n1)xn−1y+(n2)xn−2y2+⋯+(nn)x0yn.(x+y)^n = \binom{n}{0}x^n y^0 + \binom{n}{1}x^{n-1}y + \binom{n}{2}x^{n-2}y^2 + \cdots + \binom{n}{n}x^0 y^n.

In modular arithmetic, write a big base as “small number + multiple of 10”: in (1+10)n(1 + 10)^{n} every term from 10310^3 on vanishes mod 10001000, so (1+10)n≡1+10n+100(n2)(mod1000)(1 + 10)^n \equiv 1 + 10n + 100\binom{n}{2} \pmod{1000}.

Theorem 24.0.11 · Chinese Remainder Theorem

If a positive number xx satisfies

x≡a1(modn1),x≡a2(modn2),…,x≡ak(modnk),x \equiv a_1 \pmod{n_1},\quad x \equiv a_2 \pmod{n_2},\quad \dots,\quad x \equiv a_k \pmod{n_k},

where the nin_i are pairwise relatively prime, then xx has a unique solution modulo n1n2⋯nkn_1 n_2 \cdots n_k.

Concept 24.0.13 · Solving Linear Congruences

To solve a pair of congruences you can either guess and check until a number satisfies both, or use the algebraic method:

  1. Start with n≡r1(modm1)n \equiv r_1 \pmod{m_1} and n≡r2(modm2)n \equiv r_2 \pmod{m_2}, with m1m_1 and m2m_2 relatively prime.
  2. Rewrite the first algebraically: n=km1+r1n = k m_1 + r_1.
  3. Put it into the second: km1+r1≡r2(modm2)k m_1 + r_1 \equiv r_2 \pmod{m_2}, so k≡(r2−r1)⋅m1−1(modm2)k \equiv (r_2 - r_1)\cdot m_1^{-1} \pmod{m_2}.
  4. Find m1−1(modm2)m_1^{-1} \pmod{m_2} by guess and check.
  5. Now you know k≡k0(modm2)k \equiv k_0 \pmod{m_2}; write k=m2t+k0k = m_2 t + k_0.
  6. Substitute back into n=km1+r1n = k m_1 + r_1.
  7. Read off the final congruence n≡k0m1+r1(modm1m2)n \equiv k_0 m_1 + r_1 \pmod{m_1 m_2}.

(The book's step 3 reads “m1≡(r2−r1)⋅k−1m_1 \equiv (r_2 - r_1)\cdot k^{-1}”, and step 5 uses undefined letters b,db, d; fixed here.)

Concept 24.0.14 · The Two-Congruence Formula

For relatively prime m1,m2m_1, m_2, the solution of n≡r1(modm1)n \equiv r_1 \pmod{m_1} and n≡r2(modm2)n \equiv r_2 \pmod{m_2} is

n≡r1+m1(r2−r1)⋅i(modm1m2),where i≡m1−1(modm2).n \equiv r_1 + m_1 (r_2 - r_1)\cdot i \pmod{m_1 m_2}, \qquad \text{where } i \equiv m_1^{-1} \pmod{m_2}.

(The book leaves out the final modulus m1m2m_1 m_2.)

25. Algebraic Number Theory

Concept 25.0.1 · Algebraic Number Theory Techniques
  1. Make substitutions to convert numbers to variables
  2. Group terms
  3. Look for factorizations
  4. Sometimes use modular arithmetic, divisibility, or other number theory techniques
Theorem 25.5.1 · Sophie Germain's Identity
x4+4y4=(x2−2xy+2y2)(x2+2xy+2y2)x^{4} + 4y^{4} = \left(x^{2} - 2xy + 2y^{2}\right)\left(x^{2} + 2xy + 2y^{2}\right)

26. Diophantine Equations

Definition 26.0.1 · Diophantine Equation

A Diophantine equation is a polynomial equation where we only look for integer solutions (every variable must be an integer).

Concept 26.0.2 · Strategies to Solve Diophantine Equations

Here are some ideas for solving Diophantine equations.

  • Take mods of different numbers. This is useful when you want to
    1. show there are no solutions, or
    2. show the solutions must be of a specific type.
  • Bound the possible values of different terms. This helps when there are only finitely many solutions.
  • Factor, using the factorizations from the algebra chapters (SFFT, difference of squares, sums and differences of cubes), to find all the solutions.
  • Substitute to simplify the equation.
  • Look for what must be a multiple or divisor of your variables, and rewrite the equation with that. For example, if aa is a multiple of 66, substitute a=6ka = 6k.

27. Bases

Concept 27.0.2 · Place Value in Base $n$

A number in base nn with digits am,am−1,…,a2,a1,a0a_m, a_{m-1}, \ldots, a_2, a_1, a_0 can be written as

(amam−1…a2a1a0)n.\left(a_m a_{m-1} \ldots a_2 a_1 a_0\right)_n.

This number can be evaluated as

amnm+am−1nm−1+⋯+a2n2+a1n1+a0n0.a_m n^m + a_{m-1} n^{m-1} + \cdots + a_2 n^2 + a_1 n^1 + a_0 n^0.
Concept 27.0.3 · Base-$n$ Fractions

We can also have bases with decimals, both repeating and terminating.

A number in base nn with digits am,am−1,…,a1,a0a_m, a_{m-1}, \ldots, a_1, a_0 before the point and digits a−1,a−2,…,a−qa_{-1}, a_{-2}, \ldots, a_{-q} after the point can be written as

(amam−1…a1a0 . a−1a−2…a−q)n.\left(a_m a_{m-1} \ldots a_1 a_0 \,.\, a_{-1} a_{-2} \ldots a_{-q}\right)_n.

This number can be evaluated as

amnm+am−1nm−1+⋯+a1n1+a0n0+a−1n−1+a−2n−2+⋯+a−qn−q.a_m n^m + a_{m-1} n^{m-1} + \cdots + a_1 n^1 + a_0 n^0 + a_{-1} n^{-1} + a_{-2} n^{-2} + \cdots + a_{-q} n^{-q}.

28. Miscellaneous Number Theory

Definition 28.1.1 · Palindrome

A palindrome is a number that reads the same forward and backward, such as 777777, 383383 or 1595115951.

Theorem 28.2.1 · Chicken McNugget Theorem

If aa and bb are relatively prime positive integers, the largest number that cannot be written as a sum of non-negative multiples of aa and bb is

ab−a−b.ab - a - b.

Moreover, exactly

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

positive integers cannot be written in the form ma+nbma + nb with mm and nn non-negative integers.

Geometry

29. Angle Chasing

Concept 29.1.1 · Complementary Angles

Complementary angles are a pair of angles with a sum of 90∘90^\circ.

Concept 29.1.2 · Supplementary Angles

Supplementary angles are a pair of angles with a sum of 180∘180^\circ.

Concept 29.1.3 · 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" here means they share the same vertex (corner point), not the usual meaning of up-down.

Concept 29.1.4 · Parallel Lines

When a line crosses two parallel lines, corresponding angles are equal. So every angle at the crossings is either aa or bb, with a+b=180∘a + b = 180^\circ.

Theorem 29.1.5

For a polygon with nn sides:

Sum of interior angles=(n−2)⋅180∘\text{Sum of interior angles} = (n-2)\cdot 180^\circ
Interior angle of a regular polygon=(n−2)n⋅180∘\text{Interior angle of a regular polygon} = \frac{(n-2)}{n}\cdot 180^\circ
Exterior angle of a regular polygon=360∘n\text{Exterior angle of a regular polygon} = \frac{360^\circ}{n}
Fact 29.1.6 · Important Interior Angles

Important interior angles of regular polygons:

Number of sides Interior angle
3 60∘60^\circ
4 90∘90^\circ
5 108∘108^\circ
6 120∘120^\circ
8 135∘135^\circ
9 140∘140^\circ
10 144∘144^\circ
Theorem 29.1.7 · Inscribed Arc Theorem

The angle an arc makes at the center (the arc's angle) is double the angle it makes at any point on the edge of the circle.

central angle=2×inscribed angle\text{central angle} = 2 \times \text{inscribed angle}
Corollary 29.1.8 · Inscribed Right Triangle

An inscribed triangle with a diameter as one side is always a right triangle.

Theorem 29.1.10

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 29.1.11
  • 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 29.1.12

Two secants from an outside point PP cut the circle at A,BA, B and C,DC, D. The angle at PP is half the difference of the two arcs it cuts off:

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

If two chords ABAB and CDCD intersect at PP, then ∠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 29.1.14

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

Theorem 29.1.17

Equal chords mark out equal arcs. This means that if you have 2 chords of the same length, the arcs (and sectors) of the circle they mark out are equal.

Theorem 29.1.19 · Right Angle Tangency Point

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

Theorem 29.1.21 · Properties of a Cyclic Quadrilateral

In a cyclic quadrilateral (all four corners on one circle), the sum of opposite angles is 180∘180^\circ: p+q=180∘p + q = 180^\circ and r+s=180∘r + s = 180^\circ.

30. Triangle Area and Length

Theorem 30.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.
Theorem 30.1.2 · Heron's Formula

A triangle with sides aa, bb, cc and semiperimeter s=a+b+c2s = \frac{a+b+c}{2} has an area of

s(s−a)(s−b)(s−c).\sqrt{s(s-a)(s-b)(s-c)}.
Theorem 30.1.5 · Inradius of a right triangle

The inradius rr of a right triangle is

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 30.1.6 · Using inradius

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

Area=inradius⋅semiperimeter,A=rs.\text{Area} = \text{inradius} \cdot \text{semiperimeter}, \qquad A = rs.
Theorem 30.1.10 · Using circumradius

A triangle with circumradius RR (the radius of the circle that the triangle can be inscribed in) and sides aa, bb, cc has an area of

A=abc4R.A = \frac{abc}{4R}.
Theorem 30.1.12 · Shoelace Theorem using coordinates

Suppose the polygon PP has vertices (a1,b1),(a2,b2),…,(an,bn)(a_1, b_1), (a_2, b_2), \ldots, (a_n, b_n), listed in clockwise order. Then the area AA of PP is

A=12∣(a1b2+a2b3+⋯+anb1)−(b1a2+b2a3+⋯+bna1)∣.A = \frac{1}{2}\left|(a_1 b_2 + a_2 b_3 + \cdots + a_n b_1) - (b_1 a_2 + b_2 a_3 + \cdots + b_n a_1)\right|.

You can also go in counterclockwise order, as long as you take the absolute value of the answer. \nThe Shoelace Theorem gets its name from the picture you get when you list the coordinates in a column, repeat the first pair at the bottom, and mark the pairs of coordinates to be multiplied: the criss-cross lines look like the laces of a shoe.

Theorem 30.1.14 · Pick's Theorem

If a polygon has vertices with integer coordinates (lattice points), then the area of the polygon is

i+b2−1,i + \frac{b}{2} - 1,

where ii is the number of lattice points inside the polygon and bb is the number of lattice points on the boundary of the polygon.

Theorem 30.2.2 · Median in a Right Triangle

In a right triangle ABCABC with the right angle at CC, let the median from CC meet ABAB at the point MM. Then

AM=BM=CM.AM = BM = CM.

In a right triangle, ABAB is a diameter of the circumcircle, and MAMA, MBMB and MCMC are radii of the circumcircle.

Theorem 30.2.4 · Centroid splits each median 2 : 1

The centroid of a triangle lies on each median, 23\frac{2}{3} of the way from the vertex to the midpoint of the opposite side.

Theorem 30.2.6 · Stewart's Theorem

Given a triangle ABCABC with sides of length aa, bb, cc opposite the vertices AA, BB, CC respectively. If the cevian ADAD is drawn so that BD=mBD = m, DC=nDC = n and AD=dAD = d, then

man+dad=bmb+cnc.man + dad = bmb + cnc.
Corollary 30.2.8 · Stewart's for Angle Bisector

If ADAD is an angle bisector, then

d2+mn=bc.d^2 + mn = bc.

This follows from Stewart's Theorem and the Angle Bisector Theorem.

Corollary 30.2.9 · Stewart's Theorem for Medians

If ADAD is a median, then

d2=12(b2+c2)−14a2.d^2 = \frac{1}{2}(b^2 + c^2) - \frac{1}{4}a^2.

31. Special Triangles

Theorem 31.1.1 · Equilateral Triangle

If the side length of an equilateral triangle is aa, then

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

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

Area of the equilateral triangle=34a2.\text{Area of the equilateral triangle} = \frac{\sqrt{3}}{4}a^2.
Theorem 31.2.1 · Pythagorean Theorem

A right triangle with legs aa and bb and hypotenuse cc satisfies

c2=a2+b2.c^2 = a^2 + b^2.
Fact 31.2.2 · Important Pythagorean Triples
3,4,55,12,137,24,253, 4, 5 \qquad 5, 12, 13 \qquad 7, 24, 25
8,15,179,40,4120,21,298, 15, 17 \qquad 9, 40, 41 \qquad 20, 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 31.2.3 · 45-45-90 Triangle

If the side length (each leg) of a 45-45-90 triangle is aa, then

hypotenuse=2×side length=2 a\text{hypotenuse} = \sqrt{2} \times \text{side length} = \sqrt{2}\,a
Area=12×side length2=12a2.\text{Area} = \frac12 \times \text{side length}^2 = \frac12 a^2.
Theorem 31.2.4 · 30-60-90 Triangle

If the short leg of a 30-60-90 triangle is aa, then

long leg=3×short leg=3 a\text{long leg} = \sqrt{3} \times \text{short leg} = \sqrt{3}\,a
hypotenuse=2×short leg=2a\text{hypotenuse} = 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 31.2.5 · 13-14-15 Triangle

If the three sides of a triangle are 1313, 1414 and 1515, it can be divided into two right triangles with side lengths

5,12,13and9,12,15.5, 12, 13 \quad\text{and}\quad 9, 12, 15.
Area of this triangle=12×14×12=84.\text{Area of this triangle} = \frac12 \times 14 \times 12 = 84.

32. Similar Triangles

Theorem 32.0.1 · Similar Triangles

For similar triangles:

  1. All the angles of the triangles are the same.
  2. All corresponding sides have the same ratio.
  3. The ratio of the areas is the square of the side length ratio.
Concept 32.0.2 · Similarity Test

Two triangles are similar if the three angles in the triangles 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 the same (so the third angle is equal too).
  • SAS similarity (Side Angle Side): two sides are proportional and the angle between those sides is equal.
  • SSS similarity (Side Side Side): all three sides are proportional.
  • HL similarity (Hypotenuse Leg): in a right triangle, the hypotenuse and a leg are proportional.
  • LL similarity (Leg Leg): in a right triangle, the two legs are proportional.

Warning: SSA does not mean the triangles are similar.

An easy way to spot similar triangles: the bases of the triangles are parallel and their sides lie on the same lines (an hourglass, or one triangle sitting inside another).

Theorem 32.0.3 · Special Properties of Right Triangles

In a right triangle ABCABC where BB is the right angle and BDBD is the altitude to the hypotenuse, the following triangles are similar:

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

The length of the perpendicular to the hypotenuse is

BD=AB⋅BCAC.BD = \frac{AB \cdot BC}{AC}.

Also:

AD⋅CD=BD2,AD⋅AC=AB2,CD⋅CA=CB2.AD \cdot CD = BD^2, \qquad AD \cdot AC = AB^2, \qquad CD \cdot CA = CB^2.
Theorem 32.1.1 · Angle Bisector Theorem

If the line ADAD bisects angle AA of triangle ABCABC (with DD on BCBC), then

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

Equivalently, BD:DC=AB:ACBD : DC = AB : AC: the longer side gets the longer piece.

33. Quadrilaterals

Theorem 33.1.1 · Area of a Square

Any square with side length ss has an area of

s2s^2

and a perimeter of

4s.4s.
Theorem 33.2.1 · Area of a Rectangle

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

bhbh

and a perimeter of

2b+2h.2b + 2h.
Theorem 33.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

2d12+d22.2\sqrt{d_1^2 + d_2^2}.
Concept 33.3.2 · Rhombus
  1. All sides equal
  2. Opposite angles congruent
  3. Diagonals are perpendicular bisectors
Theorem 33.4.1 · Area of a Parallelogram

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

bh.bh.

A parallelogram with diagonals d1d_1 and d2d_2 has an area of

12d1d2sin⁡θ,\frac{1}{2}d_1 d_2 \sin\theta,

where θ\theta is the angle between the diagonals (the book calls it the central angle of the parallelogram).

Concept 33.4.2 · Parallelogram Properties
  1. Diagonals bisect each other
  2. Opposite sides congruent
  3. Opposite angles congruent
  4. Base angles supplementary
Theorem 33.5.1 · Area of a Trapezoid

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

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

34. Circles

Theorem 34.1.1 · Area and Circumference

A circle with radius rr has

Area=πr2,Circumference=2πr.\text{Area} = \pi r^2, \qquad \text{Circumference} = 2\pi r.
Theorem 34.1.2 · Arcs of a circle

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

Area of a sector=πr2×a∘360∘=π×radius2×fraction of the circle in the sector\text{Area of a sector} = \pi r^2 \times \frac{a^\circ}{360^\circ} = \pi \times \text{radius}^2 \times \text{fraction of the circle in the sector}
Length of the arc=2πr×a∘360∘=2π×radius×fraction of the circle in the sector\text{Length of the arc} = 2\pi r \times \frac{a^\circ}{360^\circ} = 2\pi \times \text{radius} \times \text{fraction of the circle in the sector}
Concept 34.2.1

In geometry problems with circles, always try to draw all the important radii (that is, connect the center to every important point on the circle).

Theorem 34.3.1 · Power of a Point for 2 tangents

From a point PP outside a circle, the two tangents to the circle are equal:

PS=PT.PS = PT.
Theorem 34.3.2 · Power of a Point inside the circle

If chords ABAB and CDCD of a circle with center OO and radius rr intersect at a point PP inside the circle, then

PA⋅PB=PC⋅PD=r2−OP2.PA \cdot PB = PC \cdot PD = r^2 - OP^2.
Theorem 34.3.3 · Power of a Point outside the circle

If secants ABAB and CDCD of a circle with center OO intersect at a point PP outside the circle, then

PA⋅PB=PC⋅PD=OP2−r2,PA \cdot PB = PC \cdot PD = OP^2 - r^2,

where rr is the radius of the circle.

Theorem 34.4.1 · Properties of a cyclic quadrilateral

In a cyclic quadrilateral,

sum of opposite angles=180∘.\text{sum of opposite angles} = 180^\circ.

You can draw a circle around the quadrilateral and use angle-chasing properties of circles, like the inscribed angle theorem. (This is Theorem 29.1.21 again.)

Concept 34.4.2

Sometimes a quadrilateral is not said to be inscribed in a circle. If its opposite angles add to 180∘180^\circ, or its angles satisfy the inscribed angle theorem (for example, two equal angles looking at the same side), then it is cyclic. Then you can use every property of cyclic quadrilaterals, and of circles, because the quadrilateral can be inscribed in a circle.

Theorem 34.4.3 · Ptolemy's Theorem

In a cyclic quadrilateral ABCDABCD, the product of the diagonals equals the sum of the products of the two pairs of opposite sides:

AC⋅BD=AB⋅CD+AD⋅BC.AC \cdot BD = AB \cdot CD + AD \cdot BC.
Theorem 34.4.4 · Brahmagupta's Formula

A cyclic quadrilateral with side lengths a,b,c,da, b, c, d has area

A=(s−a)(s−b)(s−c)(s−d),A = \sqrt{(s-a)(s-b)(s-c)(s-d)},

where s=a+b+c+d2s = \dfrac{a+b+c+d}{2} is the semiperimeter.

To find the area of a cyclic quadrilateral:

  1. Find the perimeter and divide by 2.
  2. Subtract each side length from it to get 4 values.
  3. Multiply your 4 values.
  4. Take the square root of the product.

35. Polygons

Fact 35.0.2 · Important Interior Angles

Interior angles of the regular polygons you meet most:

Number of sides Interior angle
3 60∘60^\circ
4 90∘90^\circ
5 108∘108^\circ
6 120∘120^\circ
8 135∘135^\circ
9 140∘140^\circ
10 144∘144^\circ
Theorem 35.1.1 · Regular Hexagon

For a regular hexagon with side ss:

Sum of interior angles=(6−2)⋅180∘=720∘\text{Sum of interior angles} = (6-2)\cdot 180^\circ = 720^\circ
Interior angle=(6−2)6⋅180∘=120∘\text{Interior angle} = \frac{(6-2)}{6}\cdot 180^\circ = 120^\circ
Exterior angle=360∘6=60∘\text{Exterior angle} = \frac{360^\circ}{6} = 60^\circ
Area=6⋅34s2\text{Area} = 6\cdot\frac{\sqrt{3}}{4}s^2
Long diagonal=2s\text{Long diagonal} = 2s
Theorem 35.2.1 · Regular Octagon

For a regular octagon with side ss:

Sum of interior angles=(8−2)⋅180∘=1080∘\text{Sum of interior angles} = (8-2)\cdot 180^\circ = 1080^\circ
Interior angle=(8−2)8⋅180∘=135∘\text{Interior angle} = \frac{(8-2)}{8}\cdot 180^\circ = 135^\circ
Exterior angle=360∘8=45∘\text{Exterior angle} = \frac{360^\circ}{8} = 45^\circ
Area=2(1+2)s2\text{Area} = 2(1+\sqrt{2})s^2

36. 3-D Geometry

Theorem 36.1.1 · Volume and Surface Area of a Cube

For a cube with side length aa:

Volume=a3,Surface area=6a2,\text{Volume} = a^3, \qquad \text{Surface area} = 6a^2,

and the space diagonal (from a corner to the opposite corner, through the inside) has length

3 a.\sqrt{3}\,a.
Theorem 36.2.1 · Volume and Surface Area of a Rectangular Prism

For a box with length ll, width bb and height hh:

V=lbh,S=2(lb+bh+lh),V = lbh, \qquad S = 2(lb + bh + lh),

and its space diagonal has length

l2+b2+h2.\sqrt{l^2 + b^2 + h^2}.
Theorem 36.3.1 · Volume and Surface Area of a Cylinder

For a cylinder with radius rr and height hh:

V=πr2h,S=2πr2+2πrh=2πr(r+h).V = \pi r^2 h, \qquad S = 2\pi r^2 + 2\pi r h = 2\pi r(r + h).

The two discs give 2πr22\pi r^2; the side unrolls into a rectangle 2πr2\pi r by hh.

Theorem 36.4.1 · Volume and Surface Area of a Cone

For a cone with radius rr, height hh and slant height ss:

V=13πr2h,S=πr2+πrs=πr(r+s).V = \frac13 \pi r^2 h, \qquad S = \pi r^2 + \pi r s = \pi r(r + s).

In words: one third of π⋅radius2⋅height\pi \cdot \text{radius}^2 \cdot \text{height}, and the base πr2\pi r^2 plus the side π⋅radius⋅slant height\pi \cdot \text{radius} \cdot \text{slant height}.

Theorem 36.5.1 · Volume and Surface Area of a Sphere

For a sphere with radius rr:

V=43πr3,S=4πr2.V = \frac43 \pi r^3, \qquad S = 4\pi r^2.
Theorem 36.6.1 · Volume of a Tetrahedron

For any tetrahedron:

V=13⋅base area⋅height,V = \frac13 \cdot \text{base area} \cdot \text{height},

where the height is the distance from the fourth vertex to the plane of the base.

Theorem 36.6.2 · Volume of a Regular Tetrahedron

A regular tetrahedron (all six edges equal to ss) has volume

V=212s3.V = \frac{\sqrt2}{12} s^3.
Theorem 36.7.1 · Volume of a Pyramid

For any pyramid:

V=13⋅base area⋅height.V = \frac13 \cdot \text{base area} \cdot \text{height}.

A pyramid fills exactly one third of the prism with the same base and height.

Theorem 36.7.2 · Volume of a Regular Square Pyramid

When the pyramid has a square base and all eight edges are equal to ss:

V=26s3.V = \frac{\sqrt2}{6} s^3.

37. Area and Length of Complex Shapes

Concept 37.1.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 to work with, such as triangles.
  • Break up areas. A common way to do so is to drop altitudes: they usually form right triangles.
Concept 37.2.1 · Finding length of complex shapes
  • Equal angles mean equal lengths, and vice versa.
  • Be on the lookout for 90∘90^\circ angles: then you can use the Pythagorean theorem.
  • Split the length into several pieces, by drawing extra lines or dropping altitudes.
  • Extend lines to create similar triangles, special triangles, etc., and then subtract the extra length.

38. Coordinate Geometry

Definition 38.1.1 · Equation of a Line

The equation of a line is

ax+by+c=0.ax + by + c = 0.
Definition 38.1.2 · Slope-Intercept Form

An equation of a line in slope-intercept form is

y=mx+b,y = mx + b,

where mm is the slope and bb is the yy-intercept.

Theorem 38.1.3 · Slope of a line through 2 points

The slope of a line passing through 2 points (x1,y1)(x_1, y_1) and (x2,y2)(x_2, y_2) is

y2−y1x2−x1.\frac{y_2 - y_1}{x_2 - x_1}.
Theorem 38.1.4 · Slope of a line through angle

The slope of a line with an angle of θ\theta above the xx-axis is

tan⁡θ.\tan\theta.
Theorem 38.1.5 · Distance between 2 points

The distance between 2 points (x1,y1)(x_1, y_1) and (x2,y2)(x_2, y_2) is

(x1−x2)2+(y1−y2)2.\sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2}.
Theorem 38.1.6 · Point to line formula

The distance between a point (x0,y0)(x_0, y_0) and a line ax+by+c=0ax + by + c = 0 is

∣ax0+by0+c∣a2+b2.\frac{|a x_0 + b y_0 + c|}{\sqrt{a^2 + b^2}}.
Theorem 38.2.1 · Equation of a Circle

A circle with center (a,b)(a, b) and radius rr has equation

(x−a)2+(y−b)2=r2.(x - a)^2 + (y - b)^2 = r^2.
Theorem 38.3.1 · Shoelace Theorem using coordinates

Suppose the polygon PP has vertices (a1,b1),(a2,b2),…,(an,bn)(a_1, b_1), (a_2, b_2), \ldots, (a_n, b_n), listed in clockwise order. Then the area AA of PP is

A=12∣(a1b2+a2b3+⋯+anb1)−(b1a2+b2a3+⋯+bna1)∣.A = \frac{1}{2}\left|(a_1 b_2 + a_2 b_3 + \cdots + a_n b_1) - (b_1 a_2 + b_2 a_3 + \cdots + b_n a_1)\right|.

You can also go in counterclockwise order, as long as you take the absolute value of the answer.

The Shoelace Theorem gets its name from the picture you get when you list the coordinates in a column, repeat the first pair at the bottom, and mark the pairs of coordinates to be multiplied: the criss-cross lines look like the laces of a shoe. (This is Theorem 30.1.12 again.)

Theorem 38.4.1 · Pick's Theorem

If a polygon has vertices with integer coordinates (lattice points), then the area of the polygon is

i+b2−1,i + \frac{b}{2} - 1,

where ii is the number of lattice points inside the polygon and bb is the number of lattice points on the boundary of the polygon. (This is Theorem 30.1.14 again.)

Advanced Topics

39. Floor and Ceiling Functions

Definition 39.0.1 · Floor, Ceiling, and Fractional Part Functions
⌊x⌋=greatest integer less than or equal to x\lfloor x \rfloor = \text{greatest integer less than or equal to } x
⌈x⌉=smallest integer greater than or equal to x\lceil x \rceil = \text{smallest integer greater than or equal to } x
{x}=fractional part of x (the value after the decimal point)\{x\} = \text{fractional part of } x \text{ (the value after the decimal point)}

For example, ⌊2.75⌋=2\lfloor 2.75 \rfloor = 2, ⌈2.75⌉=3\lceil 2.75 \rceil = 3 and {2.75}=0.75\{2.75\} = 0.75. Careful with negatives: ⌊−1.5⌋=−2\lfloor -1.5 \rfloor = -2 and {−1.5}=0.5\{-1.5\} = 0.5, because {x}=x−⌊x⌋\{x\} = x - \lfloor x \rfloor.

Concept 39.0.2 · Common Floor and Ceiling Problem Techniques

Most floor and ceiling problems can be solved using these techniques.

  1. Make the substitution x=⌊x⌋+{x}x = \lfloor x \rfloor + \{x\}.
  2. Use the floor or ceiling function to find an inequality. For example, if you know that y=⌊x⌋y = \lfloor x \rfloor, then y≤x<y+1y \le x < y + 1.
  3. Graph your equations and look for intersection points (we recommend using graph paper).

40. Inequalities

Theorem 40.1.1 · Trivial Inequality

For real xx,

x2≥0.x^2 \ge 0.

This means all perfect squares are 00 or more.

Corollary 40.1.2 · Completing the Square

In a quadratic Q(x)=ax2+bx+cQ(x) = ax^2 + bx + c,

  • If a>0a > 0, then the minimum value of Q(x)Q(x) is c−b24ac - \frac{b^2}{4a} and occurs when x=−b2ax = -\frac{b}{2a}.
  • If a<0a < 0, then the maximum value of Q(x)Q(x) is c−b24ac - \frac{b^2}{4a} and occurs when x=−b2ax = -\frac{b}{2a}.
Theorem 40.2.1 · AM-GM Inequality For 2 variables

For non-negative reals aa and bb,

a+b2≥ab.\frac{a+b}{2} \ge \sqrt{ab}.

Basically, this means the average of 2 non-negative numbers (arithmetic mean) is always at least as big as the square root of the product of the 2 numbers (the geometric mean).

Equality holds when a=ba = b.

Corollary 40.2.2

For x>0x > 0, the minimum value of x+1xx + \frac{1}{x} is 22 and occurs when x=1x = 1.

  • The minimum value of a+ba + b (if abab remains constant) occurs when a=ba = b.
  • The maximum value of abab (if a+ba + b remains constant) occurs when a=ba = b.
Theorem 40.2.3 · AM-GM Inequality For More Variables

For non-negative reals a1,a2,…,ana_1, a_2, \ldots, a_n,

a1+a2+⋯+ann≥a1⋅a2⋅a3⋯ann.\frac{a_1 + a_2 + \cdots + a_n}{n} \ge \sqrt[n]{a_1 \cdot a_2 \cdot a_3 \cdots a_n}.

Equality occurs when a1=a2=⋯=ana_1 = a_2 = \cdots = a_n (all the variables are equal).

Another way to say this is

Average of n numbers≥product of all n numbersn.\text{Average of } n \text{ numbers} \ge \sqrt[n]{\text{product of all } n \text{ numbers}}.
Theorem 40.2.6 · Weighted AM-GM Inequality

For non-negative reals aia_i, cic_i,

c1a1+c2a2+⋯+cnanc1+c2+⋯+cn≥a1c1⋅a2c2⋅a3c3⋯ancnc1+c2+⋯+cn.\frac{c_1 a_1 + c_2 a_2 + \cdots + c_n a_n}{c_1 + c_2 + \cdots + c_n} \ge \sqrt[c_1 + c_2 + \cdots + c_n]{a_1^{c_1} \cdot a_2^{c_2} \cdot a_3^{c_3} \cdots a_n^{c_n}}.
Theorem 40.3.1 · Cauchy-Schwarz

For reals aia_i and bib_i,

(a1b1+a2b2+⋯+anbn)2≤(a12+a22+⋯+an2)(b12+b22+⋯+bn2).(a_1 b_1 + a_2 b_2 + \cdots + a_n b_n)^2 \le \left(a_1^2 + a_2^2 + \cdots + a_n^2\right)\left(b_1^2 + b_2^2 + \cdots + b_n^2\right).

This means: (the sum of the products of all aka_k and bkb_k)2^2 ≤\le the product of the sums of squares of all aka_k and all bkb_k.

Equality holds when the ratio aibi\frac{a_i}{b_i} is the same for all ii.

Corollary 40.3.4 · Titu's Lemma

For reals aia_i and positive reals bib_i,

a12b1+a22b2+⋯+an2bn≥(a1+a2+⋯+an)2b1+b2+⋯+bn.\frac{a_1^2}{b_1} + \frac{a_2^2}{b_2} + \cdots + \frac{a_n^2}{b_n} \ge \frac{(a_1 + a_2 + \cdots + a_n)^2}{b_1 + b_2 + \cdots + b_n}.

Alternately (for non-negative aia_i),

a1b1+a2b2+⋯+anbn≥(a1+a2+⋯+an)2b1+b2+⋯+bn.\frac{a_1}{b_1} + \frac{a_2}{b_2} + \cdots + \frac{a_n}{b_n} \ge \frac{\left(\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n}\right)^2}{b_1 + b_2 + \cdots + b_n}.

This is a direct consequence of Cauchy-Schwarz.

Concept 40.3.5 · Techniques For Optimization Problems

Steps to find the maximum/minimum of expressions:

  1. Find another simple expression that is greater than or equal to the given expression (for a maximization) or less than or equal to it (for a minimization), using one (or possibly more) of these inequalities:
    • Trivial Inequality
    • AM-GM
    • Weighted AM-GM (AM-GM, weighted and unweighted, is useful for maximizing products and minimizing sums)
    • Cauchy-Schwarz (useful when dealing with sums of squares)
  2. Verify that the equality case of your inequality can hold under your problem's conditions.
  3. Simplify your equality case and solve for the answer.

41. Logarithms

Definition 41.1.1 · Logarithm

A logarithm is the power to which a number must be raised in order to get some other number.

Logarithms are written as

a=log⁡bna = \log_b n

where bb is the base and nn is the number.

Basically, we are asking how many times we need to multiply the base to get the number nn: what power do we need to raise the base to, to get nn?

Theorem 41.1.2 · Converting to Logarithm and Exponents
log⁡xy=a  ⟹  xa=y\log_x y = a \implies x^a = y

The arrow works both ways: xa=yx^a = y also means log⁡xy=a\log_x y = a.

Theorem 41.2.1 · Important Formulas
log⁡aar=r\log_a a^r = r
log⁡abc=log⁡ab+log⁡ac\log_a bc = \log_a b + \log_a c
log⁡abc=log⁡ab−log⁡ac\log_a \frac{b}{c} = \log_a b - \log_a c
log⁡abc=clog⁡ab\log_a b^c = c \log_a b
log⁡ab⋅log⁡bc=log⁡blog⁡a⋅log⁡clog⁡b=log⁡clog⁡a=log⁡ac\log_a b \cdot \log_b c = \frac{\log b}{\log a} \cdot \frac{\log c}{\log b} = \frac{\log c}{\log a} = \log_a c
log⁡ba=1log⁡ab\log_b a = \frac{1}{\log_a b}
log⁡ba=log⁡dalog⁡db\log_b a = \frac{\log_d a}{\log_d b}
Theorem 41.2.6 · Advanced Formulas
log⁡aman=nm\log_{a^m} a^n = \frac{n}{m}
log⁡a(1b)=−log⁡ab\log_a \left(\frac{1}{b}\right) = -\log_a b
log⁡1ab=−log⁡ab\log_{\frac{1}{a}} b = -\log_a b
Concept 41.2.8

When you take the logarithms of numbers that form a geometric progression, the logarithms of those numbers form an arithmetic progression.

42. Algebraic Trigonometry

Theorem 42.1.1 · Trigonometric Identities

In a right triangle with an acute angle aa:

Sine: sin⁡(a)=OppositeHypotenuse\text{Sine: } \sin(a) = \frac{\text{Opposite}}{\text{Hypotenuse}}
Cosine: cos⁡(a)=AdjacentHypotenuse\text{Cosine: } \cos(a) = \frac{\text{Adjacent}}{\text{Hypotenuse}}
Tangent: tan⁡(a)=OppositeAdjacent=sin⁡(a)cos⁡(a)\text{Tangent: } \tan(a) = \frac{\text{Opposite}}{\text{Adjacent}} = \frac{\sin(a)}{\cos(a)}
Theorem 42.2.1 · More Trigonometric Identities
Cosecant: csc⁡(a)=HypotenuseOpposite=1sin⁡(a)\text{Cosecant: } \csc(a) = \frac{\text{Hypotenuse}}{\text{Opposite}} = \frac{1}{\sin(a)}
Secant: sec⁡(a)=HypotenuseAdjacent=1cos⁡(a)\text{Secant: } \sec(a) = \frac{\text{Hypotenuse}}{\text{Adjacent}} = \frac{1}{\cos(a)}
Cotangent: cot⁡(a)=AdjacentOpposite=1tan⁡(a)=cos⁡(a)sin⁡(a)\text{Cotangent: } \cot(a) = \frac{\text{Adjacent}}{\text{Opposite}} = \frac{1}{\tan(a)} = \frac{\cos(a)}{\sin(a)}
Theorem 42.4.1 · Unit Circle Identities
sin⁡(−a)=−sin⁡(a)\sin(-a) = -\sin(a)
sin⁡(a)=sin⁡(180∘−a)\sin(a) = \sin(180^\circ - a)
cos⁡(a)=cos⁡(−a)\cos(a) = \cos(-a)
cos⁡(a)=−cos⁡(180∘−a)\cos(a) = -\cos(180^\circ - a)
tan⁡(a)=−tan⁡(180∘−a)\tan(a) = -\tan(180^\circ - a)
tan⁡(−a)=−tan⁡(a)\tan(-a) = -\tan(a)
Theorem 42.5.1 · Pythagorean Identities
sin⁡2(a)+cos⁡2(a)=1\sin^2(a) + \cos^2(a) = 1
tan⁡2(a)+1=sec⁡2(a)\tan^2(a) + 1 = \sec^2(a)
cot⁡2(a)+1=csc⁡2(a)\cot^2(a) + 1 = \csc^2(a)
Theorem 42.6.1 · Double Angle Identities
sin⁡(2a)=2sin⁡(a)cos⁡(a)\sin(2a) = 2\sin(a)\cos(a)
cos⁡(2a)=cos⁡2(a)−sin⁡2(a)=2cos⁡2(a)−1=1−2sin⁡2(a)\cos(2a) = \cos^2(a) - \sin^2(a) = 2\cos^2(a) - 1 = 1 - 2\sin^2(a)
tan⁡(2a)=2tan⁡(a)1−tan⁡2(a)\tan(2a) = \frac{2\tan(a)}{1 - \tan^2(a)}
Theorem 42.7.1 · Addition and Subtraction Identities
sin⁡(a+b)=sin⁡(a)cos⁡(b)+sin⁡(b)cos⁡(a)\sin(a + b) = \sin(a)\cos(b) + \sin(b)\cos(a)
sin⁡(a−b)=sin⁡(a)cos⁡(b)−sin⁡(b)cos⁡(a)\sin(a - b) = \sin(a)\cos(b) - \sin(b)\cos(a)
cos⁡(a+b)=cos⁡(a)cos⁡(b)−sin⁡(a)sin⁡(b)\cos(a + b) = \cos(a)\cos(b) - \sin(a)\sin(b)
cos⁡(a−b)=cos⁡(a)cos⁡(b)+sin⁡(a)sin⁡(b)\cos(a - b) = \cos(a)\cos(b) + \sin(a)\sin(b)
tan⁡(a+b)=tan⁡(a)+tan⁡(b)1−tan⁡atan⁡b\tan(a + b) = \frac{\tan(a) + \tan(b)}{1 - \tan a \tan b}
tan⁡(a−b)=tan⁡(a)−tan⁡(b)1+tan⁡atan⁡b\tan(a - b) = \frac{\tan(a) - \tan(b)}{1 + \tan a \tan b}
Theorem 42.8.1 · Half Angle Identities
sin⁡(a2)=±1−cos⁡(a)2\sin\left(\frac a2\right) = \pm\sqrt{\frac{1 - \cos(a)}{2}}
cos⁡(a2)=±1+cos⁡(a)2\cos\left(\frac a2\right) = \pm\sqrt{\frac{1 + \cos(a)}{2}}

The sign is the sign of sin⁡a2\sin\frac a2 (or cos⁡a2\cos\frac a2): look at the quadrant of a2\frac a2.

Theorem 42.9.1 · Sum to Product Identities
sin⁡(a)+sin⁡(b)=2sin⁡(a+b2)cos⁡(a−b2)\sin(a) + \sin(b) = 2\sin\left(\frac{a+b}{2}\right)\cos\left(\frac{a-b}{2}\right)
sin⁡(a)−sin⁡(b)=2sin⁡(a−b2)cos⁡(a+b2)\sin(a) - \sin(b) = 2\sin\left(\frac{a-b}{2}\right)\cos\left(\frac{a+b}{2}\right)
cos⁡(a)+cos⁡(b)=2cos⁡(a−b2)cos⁡(a+b2)\cos(a) + \cos(b) = 2\cos\left(\frac{a-b}{2}\right)\cos\left(\frac{a+b}{2}\right)
cos⁡(a)−cos⁡(b)=−2sin⁡(a−b2)sin⁡(a+b2)\cos(a) - \cos(b) = -2\sin\left(\frac{a-b}{2}\right)\sin\left(\frac{a+b}{2}\right)
Theorem 42.10.1 · Product to Sum Identities
sin⁡(a)sin⁡(b)=12(cos⁡(a−b)−cos⁡(a+b))\sin(a)\sin(b) = \frac12\left(\cos(a - b) - \cos(a + b)\right)
cos⁡(a)cos⁡(b)=12(cos⁡(a−b)+cos⁡(a+b))\cos(a)\cos(b) = \frac12\left(\cos(a - b) + \cos(a + b)\right)
sin⁡(a)cos⁡(b)=12(sin⁡(a+b)+sin⁡(a−b))\sin(a)\cos(b) = \frac12\left(\sin(a + b) + \sin(a - b)\right)
Definition 42.11.1 · Periodic function

A periodic function is a function that repeats a pattern of yy-values at regular intervals. One complete repetition of the pattern is called a cycle. The period of a function is the horizontal length of one complete cycle.

The period of sin⁡\sin and cos⁡\cos is 2π2\pi; the period of tan⁡\tan is π\pi.

Fixed from the book. The book says the period of tan⁡\tan is 2π2\pi. It repeats after only π\pi, because tan⁡(x+π)=−sin⁡x−cos⁡x=tan⁡x\tan(x + \pi) = \frac{-\sin x}{-\cos x} = \tan x. (The book also calls every periodic function "trigonometric"; periodic is the general word.)

Concept 42.12.1 · Sine Graph

The graph of y=sin⁡xy = \sin x is a wave between −1-1 and 11. It starts at (0,0)(0, 0), peaks at x=π2x = \frac\pi2, crosses zero at every multiple of π\pi, and repeats every 2π2\pi.

Concept 42.12.2 · Cosine Graph

The graph of y=cos⁡xy = \cos x is the sine wave shifted left by π2\frac\pi2: cos⁡x=sin⁡(x+π2)\cos x = \sin\left(x + \frac\pi2\right). It starts at its peak (0,1)(0, 1), crosses zero at odd multiples of π2\frac\pi2, and repeats every 2π2\pi.

Concept 42.12.3 · Tan Graph

The graph of y=tan⁡xy = \tan x crosses zero at every multiple of π\pi and shoots off to ±∞\pm\infty at the vertical asymptotes x=π2+kπx = \frac\pi2 + k\pi, where cos⁡x=0\cos x = 0. It repeats every π\pi.

43. Geometric Trigonometry

Theorem 43.1.1 · Area of a Triangle Using Trigonometry

In a triangle with side lengths aa, bb, cc, where the angle between sides aa and bb is denoted by CC,

Area of the triangle=12⋅ab⋅sin⁡C.\text{Area of the triangle} = \frac{1}{2} \cdot ab \cdot \sin C.
Theorem 43.2.1 · Law of Sines

In a triangle with sides aa, bb, cc and angles AA, BB, CC, where side aa is opposite angle AA, side bb is opposite angle BB, and side cc is opposite angle CC,

asin⁡A=bsin⁡B=csin⁡C=2R,\frac{a}{\sin A} = \frac{b}{\sin B} = \frac{c}{\sin C} = 2R,

where RR is the circumradius of the triangle.

Theorem 43.3.1 · Law of Cosines

In a triangle with side lengths aa, bb, cc, where the angle between sides aa and bb is denoted by CC,

c2=a2+b2−2ab⋅cos⁡C.c^2 = a^2 + b^2 - 2ab \cdot \cos C.

44. Complex Numbers

Definition 44.1.2
i=−1,i2=−1,i3=−i,i4=1i = \sqrt{-1},\quad i^2 = -1,\quad i^3 = -i,\quad i^4 = 1
Theorem 44.1.4 · Adding Complex Numbers
(a+bi)+(c+di)=(a+c)+(b+d)i(a + bi) + (c + di) = (a + c) + (b + d)i
Theorem 44.1.5 · Subtracting Complex Numbers
(a+bi)−(c+di)=(a−c)+(b−d)i(a + bi) - (c + di) = (a - c) + (b - d)i
Theorem 44.1.6 · Multiplying Complex Numbers
(a+bi)⋅(c+di)=(ac−bd)+(bc+ad)i(a + bi)\cdot(c + di) = (ac - bd) + (bc + ad)i
Theorem 44.1.10 · Finding Conjugates
zˉ=a+bi‾=a−bi\bar z = \overline{a + bi} = a - bi
Theorem 44.1.13 · Magnitude of a Complex Number
∣z∣=∣a+bi∣=a2+b2|z| = |a + bi| = \sqrt{a^2 + b^2}
Theorem 44.1.14 · Multiplying Complex Numbers with their Conjugates
(a+bi)(a−bi)=a2+b2(a + bi)(a - bi) = a^2 + b^2
Theorem 44.1.15

For a complex number zz,

z⋅zˉ=∣z∣2.z\cdot\bar z = |z|^2.
Theorem 44.1.18 · Argument of a Complex Number

The argument θ\theta of a complex number a+bia + bi satisfies

tan⁡θ=ba.\tan\theta = \frac{b}{a}.

Careful: tan⁡θ=ba\tan\theta = \frac ba does not pin down the quadrant. −1+i-1 + i and 1−i1 - i both have ba=−1\frac ba = -1, but their arguments are 135∘135^\circ and −45∘-45^\circ. Always check which quadrant the point (a,b)(a, b) is in.

Theorem 44.1.20 · Modulus of a Complex Number

The modulus rr of a complex number a+bia + bi is

r=∣a+bi∣=a2+b2.r = |a + bi| = \sqrt{a^2 + b^2}.
Theorem 44.1.22 · Polar Form
z=a+bi=r(cos⁡θ+isin⁡θ)=rcis⁡θz = a + bi = r(\cos\theta + i\sin\theta) = r\operatorname{cis}\theta
Theorem 44.1.26 · Euler's Formula

Euler's Formula says

cos⁡θ+isin⁡θ=eiθ,\cos\theta + i\sin\theta = e^{i\theta},

so

z=a+bi=r(cos⁡θ+isin⁡θ)=reiθ.z = a + bi = r(\cos\theta + i\sin\theta) = re^{i\theta}.

(Here θ\theta is in radians.)

Theorem 44.1.29 · Roots of Unity

The nnth roots of unity are

e2kπi/nfor k∈{0,1,2,…,n−1}.e^{2k\pi i/n}\quad\text{for } k \in \{0, 1, 2, \dots, n - 1\}.

They are the corners of a regular nn-gon inscribed in the unit circle, with one corner at 11.

Theorem 44.1.30 · Rotating a Point

To rotate a point θ\theta radians counterclockwise about the origin, convert it to its complex number and multiply by eiθe^{i\theta}. Converting back to an ordered pair gives the rotated point.

Theorem 44.1.31 · De Moivre's Theorem

For a complex number z=reiθz = re^{i\theta} and an integer nn,

zn=(reiθ)n=rn[cos⁡(nθ)+isin⁡(nθ)].z^n = (re^{i\theta})^n = r^n\left[\cos(n\theta) + i\sin(n\theta)\right].

(The book says “a real number nn”; for non-integer powers, znz^n has several values, so the formula needs integer nn.)

Concept 44.1.34 · Geometry with Complex Numbers

Complex numbers and their link to circles make many geometry problems easy, especially ones with polygons such as equilateral triangles or squares.

How to solve geometry problems with complex numbers:

  1. Assign a complex number to one or more of the points.
  2. To find the complex numbers for other points, multiply or divide by eiθe^{i\theta} (a rotation).
  3. Use the information you have to solve for what the problem asks.
Theorem 44.3.1 · Sin and Cos values in terms of complex numbers
sin⁡θ=eiθ−e−iθ2i,cos⁡θ=eiθ+e−iθ2,tan⁡θ=−i⋅eiθ−e−iθeiθ+e−iθ.\sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i},\qquad \cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2},\qquad \tan\theta = -i\cdot\frac{e^{i\theta} - e^{-i\theta}}{e^{i\theta} + e^{-i\theta}}.

Fixed from the book. The book writes ei(180−θ)e^{i(180-\theta)}, mixing degrees into a radian exponent; it means ei(π−θ)=−e−iθe^{i(\pi-\theta)} = -e^{-i\theta}. Its tangent formula also has the wrong sign: it gives −tan⁡θ-\tan\theta.