Where the Formulas Come From

Study Sheet

Where the Formulas Come From

The quadratic formula, series sums, and circle power — derived

The Quadratic Formula, Derived

Tip
Derivation by completing the square
xy

From ax2+bx+c=0ax^2 + bx + c = 0: divide by aa, move the constant, and complete the square: (x+b2a)2=b24ac4a2\left(x + \dfrac{b}{2a}\right)^2 = \dfrac{b^2 - 4ac}{4a^2}. Square-root both sides and solve: x=b±b24ac2ax = \dfrac{-b \pm \sqrt{b^2 - 4ac}}{2a}. \blacksquare

In plain terms. The formula is not magic — it is completing the square ONCE, in general, so you never have to do it again.

Example. x26x+5=0x^2 - 6x + 5 = 0: (x3)2=4(x-3)^2 = 4, so x=3±2x = 3 \pm 2 — the formula gives the same 55 and 11.

Tip
Proof of Vieta's formulas

If rr and ss are the roots, the quadratic factors as a(xr)(xs)=a(x2(r+s)x+rs)a(x - r)(x - s) = a\left(x^2 - (r+s)x + rs\right). Matching coefficients with ax2+bx+cax^2 + bx + c: r+s=bar + s = -\dfrac{b}{a} and rs=cars = \dfrac{c}{a}. \blacksquare

In plain terms. Multiply the factored form back out — the sum and product of the roots are sitting in the coefficients.

Example. x27x+12x^2 - 7x + 12: roots sum to 77 and multiply to 1212 (33 and 44), read off with no solving.

Reminder — Vieta's formulas:r1+r2=ba,r1r2=car_1+r_2=-\frac{b}{a},\qquad r_1 r_2=\frac{c}{a}
Concept
Why the discriminant decides everything

In the derivation, the only square root taken is b24ac\sqrt{b^2 - 4ac}. Positive: two real roots. Zero: the ±\pm collapses — one repeated root. Negative: no real square root — no real roots. The discriminant is simply WHAT SITS UNDER THE RADICAL. \blacksquare

In plain terms. One number tells you how many real answers exist before you solve anything.

Example. x2+x+1x^2 + x + 1: Δ=14=3<0\Delta = 1 - 4 = -3 < 0, so no real roots.

The Series Formulas, Derived

Tip
Arithmetic series: proof of Sn=n2(a1+an)S_n = \tfrac{n}{2}(a_1 + a_n)

Write the series forwards and backwards and add: each column gives a1+ana_1 + a_n (what one end gains, the other loses), so 2Sn=n(a1+an)2S_n = n(a_1 + a_n). \blacksquare

In plain terms. Same Gauss pairing as 1++1001 + \cdots + 100, just starting anywhere and stepping by anything.

Example. 5+8+11++355 + 8 + 11 + \cdots + 35 (1111 terms): S=112(5+35)=220S = \tfrac{11}{2}(5 + 35) = 220.

Tip
Geometric series: proof of Sn=a1rn1rS_n = a\,\dfrac{1 - r^n}{1 - r}

Multiply the sum by rr and subtract: SnrSn=aarnS_n - rS_n = a - ar^n — every middle term appears once in each copy and cancels. Divide by 1r1 - r. \blacksquare For r<1|r| < 1, rn0r^n \to 0 gives the infinite form S=a1rS = \dfrac{a}{1-r}.

In plain terms. Shifting the whole series one step and subtracting wipes out everything but the two ends.

Example. 1+12+14+=1112=21 + \tfrac12 + \tfrac14 + \cdots = \dfrac{1}{1 - \tfrac12} = 2.

Circle Power, Proved

Tip
Proof of the inscribed angle theorem
inscribed angle

First the case where one chord is a diameter: the triangle from the center is isosceles (two radii), so the central angle, an exterior angle of it, equals the sum of two equal base angles — twice the inscribed angle. Any other position splits (or subtracts) into two such cases. \blacksquare

In plain terms. An angle at the rim is always half the angle at the center over the same arc — proved with one isosceles triangle.

Example. An angle inscribed in a semicircle sits on a 180180^\circ arc, so it is 9090^\circ — Thales’ theorem for free.

Tip
Proof of Power of a Point (two chords)
chords meet at P

Chords ABAB and CDCD meet at PP. Angles PAC\angle PAC and PDB\angle PDB subtend the SAME arc, so they are equal; likewise PCA=PBD\angle PCA = \angle PBD. Hence PACPDB\triangle PAC \sim \triangle PDB, and matching sides gives PAPD=PCPB\dfrac{PA}{PD} = \dfrac{PC}{PB}, i.e. PAPB=PCPDPA \cdot PB = PC \cdot PD. \blacksquare

In plain terms. The inscribed angle theorem hands you two similar triangles, and the product formula is just their ratio cross-multiplied.

Example. Pieces 3,83, 8 and 4,x4, x: 38=4x3 \cdot 8 = 4x gives x=6x = 6.

AM–GM, Proved

Tip
Proof: a+b2ab\dfrac{a + b}{2} \ge \sqrt{ab} for a,b0a, b \ge 0

Squares are never negative: (ab)20\left(\sqrt a - \sqrt b\right)^2 \ge 0. Expand: a2ab+b0a - 2\sqrt{ab} + b \ge 0, i.e. a+b2aba + b \ge 2\sqrt{ab} — with equality exactly when a=b\sqrt a = \sqrt b, i.e. a=ba = b. \blacksquare

In plain terms. The whole inequality is one squared bracket refusing to be negative. Equality means the bracket was zero: the numbers were equal.

Example. For a+b=20a + b = 20, the product abab is largest at a=b=10a = b = 10: ab(202)2=100ab \le \left(\tfrac{20}{2}\right)^2 = 100.

Concept
Using the equality case on purpose

AM–GM problems are usually about WHERE equality happens: to optimize, arrange the terms so they can all be equal, then read off the extreme value.

In plain terms. The maximum or minimum almost always happens at "all parts equal."

Example. Minimize x+9xx + \dfrac{9}{x} for x>0x > 0: equality of xx and 9x\tfrac9x at x=3x = 3 gives minimum 66.