AMC 12

Search & glossary

Every rule and concept in AMC 12, with its definition and a link to the lesson that teaches it. Search by term, by idea, or by lesson title.

Glossary (55)

Advanced counting and probability
Inclusion–exclusion for nn sets; derangements Dn≈n!eD_n \approx \tfrac{n!}{e}; Catalan 1n+1(2nn)\tfrac{1}{n+1}\binom{2n}{n}; Vandermonde ∑(ak)(bn−k)=(a+bn)\sum\binom ak\binom{b}{n-k} = \binom{a+b}{n}; hockey stick ∑i=kn(ik)=(n+1k+1)\sum_{i=k}^n\binom ik = \binom{n+1}{k+1}.
Formulas & Methods › Geometry, Counting & Probability
AM–GM inequality
For nonnegative reals, a1+⋯+ann≥a1⋯ann\dfrac{a_1+\cdots+a_n}{n}\ge\sqrt[n]{a_1\cdots a_n}, equality when all equal.
Advanced Algebra › Inequalities and Functions
Angle bisectors as an equidistance locus
The bisectors of the angles between A1x+B1y+C1=0A_1x + B_1y + C_1 = 0 and A2x+B2y+C2=0A_2x + B_2y + C_2 = 0 satisfy A1x+B1y+C1A12+B12=±A2x+B2y+C2A22+B22\dfrac{A_1x + B_1y + C_1}{\sqrt{A_1^2+B_1^2}} = \pm\dfrac{A_2x + B_2y + C_2}{\sqrt{A_2^2+B_2^2}} — two perpendicular lines, one per sign.
Circles & Lines › The Bisector Between Two Lines
Arithmetic and geometric series
Arithmetic: Sn=n2(a1+an)S_n = \tfrac n2(a_1+a_n).
Sequences, Series & Recursion › Standard Sums
Change of base — and telescoping logs
log⁡ab=ln⁡bln⁡a\log_a b = \dfrac{\ln b}{\ln a}, so products of logarithms telescope: log⁡ab⋅log⁡bc=log⁡ac\log_a b \cdot \log_b c = \log_a c.
Logs & Complex Numbers › Two Powerful Toolkits
Change of base and the reciprocal identity
log⁡ba=ln⁡aln⁡b=1log⁡ab\log_b a = \dfrac{\ln a}{\ln b} = \dfrac{1}{\log_a b}, and log⁡ba⋅log⁡cb=log⁡ca\log_b a \cdot \log_c b = \log_c a.
Logs & Complex Numbers › Logarithm Problems That Look Impossible
Complex numbers
∣z∣2=zzˉ|z|^2 = z\bar z; z=reiθz = re^{i\theta}; de Moivre (reiθ)n=rneinθ(re^{i\theta})^n = r^ne^{in\theta}; nnth roots of unity sum to 00 and are equally spaced; xn−1=∏(x−ωk)x^n - 1 = \prod(x - \omega^k); ∣z−a∣|z - a| is a distance; multiplication rotates by arg⁡\arg.
Formulas & Methods › Trigonometry & Complex Numbers
Complex numbers as geometry
Multiplication rotates and scales; ∣z−a∣|z - a| is a distance; roots of zn=rnz^n = r^n form a regular nn-gon of circumradius rr (the roots of z6=64z^6 = 64 enclose area 636\sqrt3).
Complete Syllabus & Gap Fillers › Gap Fillers
Compute terms until the sequence repeats
For a nonlinear recursion, compute the first several terms and look for a repeat.
Sequences, Series & Recursion › Recursions That Repeat
Conics and coordinates
Circle (x−h)2+(y−k)2=r2(x-h)^2 + (y-k)^2 = r^2; parabola y2=4pxy^2 = 4px (focus (p,0)(p, 0)); ellipse x2a2+y2b2=1\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = 1, c2=a2−b2c^2 = a^2 - b^2; hyperbola c2=a2+b2c^2 = a^2 + b^2, asymptotes y=±baxy = \pm\tfrac bax.
Formulas & Methods › Geometry, Counting & Probability
Conics on the AMC 12
Ellipse x2a2+y2b2=1\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = 1 with c2=a2−b2c^2 = a^2 - b^2 (foci), hyperbola with c2=a2+b2c^2 = a^2 + b^2, parabola y2=4pxy^2 = 4px with focus (p,0)(p, 0).
Complete Syllabus & Gap Fillers › Gap Fillers
De Moivre's theorem
(cos⁡θ+isin⁡θ)n=cos⁡nθ+isin⁡nθ\left(\cos\theta + i\sin\theta\right)^n = \cos n\theta + i\sin n\theta; in polar form (reiθ)n=rneinθ\left(re^{i\theta}\right)^n = r^ne^{in\theta}.
Trigonometry & Complex Numbers › De Moivre, Roots of Unity and Rotation
De Moivre's theorem
(cos⁡θ+isin⁡θ)n=cos⁡nθ+isin⁡nθ(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta — powers of a unit complex number just multiply the angle.
Logs & Complex Numbers › Two Powerful Toolkits
Derivation of change of base
From x=blog⁡bxx = b^{\log_b x}, take log⁡c\log_c of both sides and pull the exponent down (power rule): log⁡cx=log⁡bx⋅log⁡cb\log_c x = \log_b x \cdot \log_c b.
Proofs and Derivations › The Log Rules, Derived
Derivation of the Law of Cosines
Place the triangle with CC at the origin and side aa along the xx-axis: B=(a,0)B = (a, 0) and A=(bcos⁡C,bsin⁡C)A = (b\cos C, b\sin C).
Proofs and Derivations › The Trig Identities, Derived
Derivation of the Law of Sines
The area of a triangle is 12absin⁡C\tfrac12 ab\sin C — computed from ANY vertex.
Proofs and Derivations › The Trig Identities, Derived
Derivation: the formula for cos⁡\cos of a sum, from rotation
cos⁡(α+β)=cos⁡αcos⁡β−sin⁡αsin⁡β\cos(\alpha+\beta) = \cos\alpha\cos\beta - \sin\alpha\sin\beta.
Proofs and Derivations › Two Derivations the AMC 12 Rewards
Derivation: the sum and product of roots for any degree
Vieta's relations follow from expanding the factored form.
Proofs and Derivations › Two Derivations the AMC 12 Rewards
Double angle from the addition formula
Set β=α\beta = \alpha in sin⁡(α+β)=sin⁡αcos⁡β+cos⁡αsin⁡β\sin(\alpha + \beta) = \sin\alpha\cos\beta + \cos\alpha\sin\beta to get sin⁡2α=2sin⁡αcos⁡α\sin 2\alpha = 2\sin\alpha\cos\alpha; the same move on cosine gives cos⁡2α=cos⁡2α−sin⁡2α\cos 2\alpha = \cos^2\alpha - \sin^2\alpha.
Proofs and Derivations › The Trig Identities, Derived
Focal definitions do the work
Ellipse: the sum of distances to the two foci is 2a2a.
Circles & Lines › Conics on the AMC 12
Focus and directrix
The parabola x2=4pyx^2 = 4py has focus (0,p)(0, p) and directrix y=−py = -p; every point is equidistant from the two.
Circles & Lines › Circles Meet Parabolas
Geometric probability
Probability == favorable area ÷\div total area.
Complete Syllabus & Gap Fillers › Gap Fillers
Geometric series, finite and infinite
∑k=0n−1ark=a1−rn1−r\sum_{k=0}^{n-1} ar^k = a\dfrac{1-r^n}{1-r}, and for ∣r∣<1|r| < 1, ∑k=0∞ark=a1−r\sum_{k=0}^{\infty} ar^k = \dfrac{a}{1-r}.
Sequences, Series & Recursion › Telescoping and Infinite Series
Identities
sin⁡2+cos⁡2=1\sin^2 + \cos^2 = 1; sin⁡(a±b)\sin(a \pm b), cos⁡(a±b)\cos(a \pm b), tan⁡(a±b)\tan(a \pm b); double angle sin⁡2a=2sin⁡acos⁡a\sin 2a = 2\sin a\cos a, cos⁡2a=2cos⁡2a−1=1−2sin⁡2a\cos 2a = 2\cos^2a - 1 = 1 - 2\sin^2a; half angle; product-to-sum 2sin⁡acos⁡b=sin⁡(a+b)+sin⁡(a−b)2\sin a\cos b = \sin(a+b) + \sin(a-b); sum-to-product.
Formulas & Methods › Trigonometry & Complex Numbers
Intersecting a circle with a conic
Substitute the parabola into the circle and solve the resulting equation in u=x2u = x^2 (or yy): each POSITIVE root uu contributes two points (x=±ux = \pm\sqrt u), u=0u = 0 one point, and negative roots none.
Circles & Lines › Circles Meet Parabolas
Logarithm laws
log⁡b(xy)=log⁡bx+log⁡by\log_b(xy) = \log_b x+\log_b y, log⁡b(xn)=nlog⁡bx\log_b(x^n) = n\log_b x, and log⁡bx=log⁡xlog⁡b\log_b x = \dfrac{\log x}{\log b}.
Advanced Algebra › Logarithms
Logs and exponentials
All log rules; log⁡ab⋅log⁡bc=log⁡ac\log_ab\cdot\log_bc = \log_ac; alog⁡ax=xa^{\log_ax} = x; xlog⁡by=ylog⁡bxx^{\log_by} = y^{\log_bx}.
Formulas & Methods › Algebra & Polynomials
Nearest point of a circle to a line
If the center is at distance d>rd > r from a line, the circle's nearest point to the line is at distance d−rd - r and the farthest at d+rd + r — both along the perpendicular from the center.
Circles & Lines › Circles: Chords, Tangents, Power
Polar form and de Moivre
Write z=r(cos⁡θ+isin⁡θ)=reiθz = r(\cos\theta+i\sin\theta) = re^{i\theta}; then zn=rn(cos⁡nθ+isin⁡nθ)z^n = r^n(\cos n\theta + i\sin n\theta).
Trigonometry & Complex Numbers › Complex Numbers
Polynomials in depth
Vieta for any degree; Newton's sums pk=e1pk−1−e2pk−2+⋯p_k = e_1p_{k-1} - e_2p_{k-2} + \cdots; remainder theorem P(a)P(a); factor theorem; conjugate root theorem; rational root theorem; roots-of-unity filter for coefficient sums; Descartes' rule for sign counts.
Formulas & Methods › Algebra & Polynomials
Product and power rules from exponent laws
Let m=log⁡bxm = \log_b x, n=log⁡byn = \log_b y, so x=bmx = b^m, y=bny = b^n.
Proofs and Derivations › The Log Rules, Derived
Proof by counting committees
Expanding (1+x)n(1 + x)^n means choosing, from each of the nn factors, either the 11 or the xx.
Proofs and Derivations › The Binomial Theorem, Proved
Proof: sin⁡2θ+cos⁡2θ=1\sin^2\theta + \cos^2\theta = 1
The unit-circle point (cos⁡θ,sin⁡θ)(\cos\theta, \sin\theta) lies at distance 11 from the origin, and the distance formula squares to cos⁡2θ+sin⁡2θ=1\cos^2\theta + \sin^2\theta = 1 — the Pythagorean theorem wearing trig notation.
Proofs and Derivations › The Trig Identities, Derived
Roots of unity
The solutions of zn=1z^n=1 are e2πik/ne^{2\pi ik/n}, equally spaced on the unit circle, and for n>1n>1 they sum to 00.
Trigonometry & Complex Numbers › Complex Numbers
Roots of unity sum to zero
The nn solutions of zn=1z^n = 1 are evenly spaced on the unit circle, and their sum is 00 for n≥2n \ge 2.
Logs & Complex Numbers › Two Powerful Toolkits
Sequences, series, recursion
Characteristic equation for linear recurrences; generating functions ∑anxn\sum a_nx^n turn recurrences into algebra; ∑nxn=x(1−x)2\sum nx^n = \tfrac{x}{(1-x)^2}; telescoping products; periodic recurrences (compute a cycle).
Formulas & Methods › Algebra & Polynomials
Substitution is the whole method
Feed the equation values that simplify it: x=0x = 0, x=1x = 1, y=xy = x, y=−xy = -x, or the value that makes an inner expression collapse.
Advanced Algebra › Functional Equations and Clever Substitution
Symmetry and invariance
If f(a−x)=f(x)f(a - x) = f(x) the graph is symmetric about x=a2x = \tfrac a2; if f(x+p)=f(x)f(x+p) = f(x) it is periodic with period pp.
Advanced Algebra › Functional Equations and Clever Substitution
Symmetry shortcut
If swapping x↔yx \leftrightarrow y (or another visible reflection) exchanges the two lines, then the mirror line of that reflection is automatically one of the bisectors.
Circles & Lines › The Bisector Between Two Lines
Tangency is a distance statement
A line is tangent to a circle exactly when the center's distance to the line EQUALS the radius; it misses when the distance exceeds the radius, and cuts a chord when it is smaller.
Circles & Lines › Distance: Point to Line
Telescoping
If each term is f(k)−f(k+1)f(k) - f(k+1), the sum collapses to f(1)−f(n+1)f(1) - f(n+1).
Sequences, Series & Recursion › Standard Sums
Telescoping sums
Write each term as a difference: if tk=uk−uk+1t_k = u_k - u_{k+1} then ∑k=1ntk=u1−un+1\sum_{k=1}^n t_k = u_1 - u_{n+1}.
Sequences, Series & Recursion › Telescoping and Infinite Series
The alog⁡ax=xa^{\log_a x} = x family
alog⁡ax=xa^{\log_a x} = x, log⁡a(ax)=x\log_a(a^x) = x, and xlog⁡ay=ylog⁡axx^{\log_a y} = y^{\log_a x}.
Logs & Complex Numbers › Logarithm Problems That Look Impossible
The checklist
Everything on the AMC 10, plus: trigonometry (identities, sum/product formulas, law of sines/cosines, trig equations); logarithms and exponential equations; complex numbers (de Moivre, roots of unity, modulus geometry); polynomials in depth (Vieta for cubic…
Complete Syllabus & Gap Fillers › What the AMC 12 Tests
The identities you cannot do without
Pythagorean: sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1.
Trigonometry & Complex Numbers › Trigonometric Identities
The identity, and what it looks like in Pascal's triangle
Claim.
Identities and Techniques, Proved › The Hockey Stick Identity
The one move behind every identity in this topic
Almost every binomial identity a contest asks for is proved the same way: find a set of objects, count it one way, count it another way, and set the two answers equal.
Identities and Techniques, Proved › Counting the Same Thing Twice
The point-to-line distance formula
The distance from (x0,y0)(x_0, y_0) to the line Ax+By+C=0Ax + By + C = 0 is d=∣Ax0+By0+C∣A2+B2d = \dfrac{|Ax_0 + By_0 + C|}{\sqrt{A^2 + B^2}}; parallel lines Ax+By=C1Ax+By=C_1, Ax+By=C2Ax+By=C_2 sit ∣C1−C2∣A2+B2\dfrac{|C_1 - C_2|}{\sqrt{A^2+B^2}} apart.
Circles & Lines › Distance: Point to Line
The three conics in standard form
Ellipse (x−h)2a2+(y−k)2b2=1\dfrac{(x-h)^2}{a^2} + \dfrac{(y-k)^2}{b^2} = 1 with c2=a2−b2c^2 = a^2 - b^2; hyperbola with a minus sign and c2=a2+b2c^2 = a^2 + b^2; parabola (x−h)2=4p(y−k)(x-h)^2 = 4p(y-k) with focus pp from the vertex.
Circles & Lines › Conics on the AMC 12
The three right-triangle facts
Chord at distance dd from the center: length 2r2−d22\sqrt{r^2 - d^2}.
Circles & Lines › Circles: Chords, Tangents, Power
The universal problem-solving loop
Read twice.
Formulas & Methods › Geometry, Counting & Probability
Triangles
Law of sines asin⁡A=2R\tfrac{a}{\sin A} = 2R; law of cosines; area 12absin⁡C\tfrac12ab\sin C; Area=abc4R=rs\text{Area} = \tfrac{abc}{4R} = rs.
Formulas & Methods › Trigonometry & Complex Numbers
Two facts do almost everything
If ω=e2πi/n\omega = e^{2\pi i/n}, then (1) 1+ω+ω2+⋯+ωn−1=01 + \omega + \omega^2 + \cdots + \omega^{n-1} = 0, and (2) xn−1=(x−1)(x−ω)(x−ω2)⋯(x−ωn−1)x^n - 1 = (x - 1)(x - \omega)(x - \omega^2)\cdots(x - \omega^{n-1}), so ∏k=1n−1(x−ωk)=1+x+⋯+xn−1\displaystyle\prod_{k=1}^{n-1}(x - \omega^k) = 1 + x + \cdots + x^{n-1}.
Logs & Complex Numbers › Roots of Unity at Work
Two identities that fall out immediately
Set x=1x = 1: ∑k(nk)=2n\sum_k \binom{n}{k} = 2^n (every subset picks in or out).
Proofs and Derivations › The Binomial Theorem, Proved
Why the squares are the interesting case
The hockey stick adds binomial coefficients.
Identities and Techniques, Proved › Sums of Squares and Cubes, from Binomial Coefficients