Precalculus

The algebra and trigonometry that calculus takes for granted. Test a simplification against numbers before you trust it, see why a square root can't split a sum, reflect an exponential into a logarithm, walk around the unit circle, turn inverse trig functions into triangles, and watch a sequence settle into a band of width ε.

Follows R. G. Brown, M. P. Dolciani, R. H. Sorgenfrey and R. B. Kane, Algebra and Trigonometry: Structure and Method, Book 2 (McDougal Littell, 2000): Chapters 1, 4–6, 10–14. Section numbers refer to that book. The questions and examples are written for this page, several of them drawn from a college calculus course's review problems. The rigorous versions of the limits here are in Real Analysis. For how this subject connects to the others, see the roadmap.

InteractiveBrown et al., §§1-2–1-6, 4-2, 5-2

What you may and may not do

Simplifying is not guessing what “looks right”. Every step has to be an instance of a rule that is true for all values of the letters. Most algebra mistakes come from applying a rule for products to a sum.

The idea

The rules you may use are few. Letters stand for real numbers, and any step must stay true whatever numbers they are.

The rules for sums and products (§1-3). Order and grouping don't matter: a+b=b+a, ab=ba, (a+b)+c=a+(b+c), (ab)c=a(bc). And the one rule that connects them, the distributive law:
a(b+c)=ab+ac.
It is the only rule that splits a sum apart. Everything else that “distributes” over a sum is a mistake.
Laws of exponents (§4-2, §5-2). For a,b≠0 and integers m,n:
aman=am+n,aman=am−n,(am)n=amn,(ab)n=anbn,a0=1,a−n=1an.
Each comes from counting factors: a3a2=(aaa)(aa)=a5.

The traps. Powers, roots, reciprocals and logarithms behave well on products, and badly on sums:

true for productsfalse for sumswhat is true instead (ab)2=a2b2(a+b)2≠a2+b2(a+b)2=a2+2ab+b2 ab=aba+b≠a+bnothing simpler 1ab=1a⋅1b1a+b≠1a+1b1a+1b=a+bab ln⁡(ab)=ln⁡a+ln⁡bln⁡(a+b)≠ln⁡a+ln⁡bnothing simpler

How to check a step yourself. Plug in numbers. One pair of values where the two sides differ proves the step wrong: (1+1)2=4 but 12+12=2. Agreement at a few random values doesn't prove a step right, but a wrong step almost never survives it. The checker below does exactly this.

Explore: is this step legal?

Worked example

Simplify (2x3y)24xy−1, assuming x,y≠0.

  1. Expand the numerator.

    (2x3y)2=22(x3)2y2=4x6y2, using (ab)n=anbn and (am)n=amn.

  2. Divide, one letter at a time.

    44=1, x6x=x5, y2y−1=y2−(−1)=y3.

  3. Answer, and check it with a number.

    x5y3. At x=y=1: the original is 44=1 and the answer is 1. At x=2,y=1: (16)28=32=25.

Check your understanding

(x+3)2 equals:

  1. x2+9Try x=1: 16≠10. Squaring doesn't split a sum.
  2. x2+6x+9
(x+3)2=(x+3)(x+3), and the distributive law gives x2+3x+3x+9. The middle term 6x is exactly what the trap forgets.

Which is true for all x and y?

  1. 2x+y=2x⋅2y
  2. 2x+y=2x+2yAt x=y=1: 4 versus 4, fine, but at x=y=2: 16 versus 8.
  3. 2xy=2x⋅2yThat multiplies exponents where it should add them.
Adding exponents means multiplying powers: aman=am+n. Note that one lucky agreement (x=y=1) proves nothing; it takes only one disagreement to disprove.

x−2 means:

  1. 1x2
  2. −x2A negative exponent means a reciprocal, not a negative number.
a−n=1/an is the only definition that keeps aman=am+n true: x−2x2 must be x0=1.

Practice

Find the errorA counterexample, then a fix

A student simplifies x2+9x+3=x+3. Show the step is wrong, and say what can actually be done.

Outline
  1. It fails at x=1.
    Why?

    Left side 104=2.5, right side 4.

  2. The student treated x2+9 as (x+3)2.
    Why?

    Cancelling x+3 needs x+3 to be a factor of the numerator, and (x+3)2=x2+6x+9≠x2+9.

  3. x2+9 has no real factors, so the fraction doesn't simplify.
    Why?

    x2+9≥9>0 for every real x, so it has no real roots, hence no factor x−r.

When does squaring split?A small inequality

Show that (a+b)2≥a2+b2 when a and b have the same sign, and find when equality holds.

Outline
  1. (a+b)2−(a2+b2)=2ab.
    Why?

    Expand: (a+b)2=a2+2ab+b2.

  2. 2ab≥0 when a,b have the same sign.
    Why?

    A product of two numbers of the same sign is nonnegative.

  3. Equality holds exactly when a=0 or b=0.
    Why?

    2ab=0 iff one factor is zero. So the trap (a+b)2=a2+b2 is true only in this trivial case.

InteractiveBrown et al., §§6-1–6-5

Radicals

A square root splits over a product, 2x=2x, and never over a sum, x+y≠x+y. A right triangle shows why at a glance.

The idea

Square root (§6-1). For a≥0, a is the nonnegative number whose square is a. So 9=3, not ±3: the equation x2=9 has two solutions, x=±9, but the symbol 9 means just one number.
Product and quotient rules (§6-2). For a,b≥0 (and b>0 in the quotient),
ab=ab,ab=ab.
So 2x=2x for x≥0, and 18=92=32.
Show the computation

Both ab and ab are nonnegative, and both square to ab: (ab)2=(a)2(b)2=ab. A nonnegative number is determined by its square, so they are equal.

Careful with letters. x2=|x|, not x: at x=−3, (−3)2=9=3. This matters whenever a variable could be negative.

Sums don't split. 9+16=25=5, but 9+16=7. In fact always a+b≤a+b, with equality only if a or b is 0. The figure shows why: a right triangle with legs a and b has hypotenuse a+b (Pythagoras), and the straight side is shorter than the two legs together.

Rationalizing (§6-4). To clear a root from a denominator, multiply top and bottom by what removes it: 12=22, and for a sum use the conjugate, since (a+b)(a−b)=a2−b.

Equations with radicals (§6-5). Squaring both sides can create false solutions, because u=v and u=−v both square to u2=v2. Always check answers in the original equation.

Explore

Legs a and b; by Pythagoras the hypotenuse is a+b. a+b, the straight path, against a+b, the path along the legs.

Worked example

Solve x+3=x−3.

  1. Square both sides and solve.

    x+3=x2−6x+9, so x2−7x+6=0=(x−1)(x−6): x=1 or x=6.

  2. Check both in the original equation.

    x=6: 9=3=6−3. ✓. x=1: 4=2 but 1−3=−2. ✗.

  3. Where did the false solution come from?

    x=1 solves x+3=−(x−3), which squares to the same equation. A square root is never negative, so the right side must satisfy x−3≥0 anyway. The only solution is x=6.

Check your understanding

For every real x, x2 equals:

  1. xOnly when x≥0. Try x=−5.
  2. |x|
  3. ±x  means one number, the nonnegative one.
x2 is the nonnegative number whose square is x2, and that is |x|.

50 simplifies to:

  1. 52
  2. 25225=5, not 25.
  3. 25+25=10That splits a sum, 25+25; the rule is for products, 25⋅2.
50=25⋅2, so 50=252=52. Look for the largest perfect-square factor.

Is x2+16=x+4?

  1. Yes, by the product rule.x2+16 is a sum, not a product.
  2. No: at x=3, the left is 5 and the right is 7.
The left side is the hypotenuse of a right triangle with legs |x| and 4; the right side is the sum of the legs. They agree only at x=0.

Practice

RationalizeThe conjugate

Write 25−1 with no root in the denominator.

Outline
  1. Multiply top and bottom by the conjugate 5+1.
    Why?

    Multiplying by 5+15+1=1 doesn't change the value, and (5−1)(5+1)=5−1=4 has no root.

  2. The result is 5+12.
    Why?

    2(5+1)4=5+12≈1.618, the golden ratio.

Prove the triangle pictureWithout the triangle

Prove a+b≤a+b for a,b≥0, with equality only if a=0 or b=0.

Outline
  1. Both sides are nonnegative, so it is enough to compare their squares.
    Why?

    For u,v≥0, u≤v exactly when u2≤v2, because squaring is increasing on [0,∞).

  2. (a+b)2=a+b+2ab≥a+b.
    Why?

    Expand, and note ab≥0.

  3. Equality needs ab=0.
    Why?

    That is ab=0: one of them is zero.

InteractiveBrown et al., §§5-4–5-7

Fractions and rational expressions

You may cancel a factor that the whole top and the whole bottom share. You may not cancel a term. This one rule, and the common denominator, are most of what calculus asks of fractions.

The idea

Cancelling (§5-4). acbc=ab when c≠0: a common factor of the entire numerator and the entire denominator. So
x2−4x−2=(x−2)(x+2)x−2=x+2(x≠2),
but x+2x does not become 2: x is a term of the numerator, not a factor of it.

The excluded value. x2−4x−2 is undefined at x=2, while x+2 is defined there. The two expressions agree everywhere else, which is exactly the situation of a limit in calculus: limx→2x2−4x−2=4.

Adding (§5-6). Use a common denominator:
ab+cd=ad+bcbd,so1x+1y=x+yxy≠1x+y.
Complex fractions (§5-7). A fraction of fractions simplifies by multiplying its top and bottom by the least common denominator of all the small fractions.

Explore: is this step legal?

Worked example

Simplify 1x−12x−2 (for x≠0,2). This exact expression appears when you compute the derivative of 1/x at 2 from the definition.

  1. Combine the top into one fraction.

    1x−12=2−x2x.

  2. Divide by x−2.

    2−x2x⋅1x−2=−(x−2)2x(x−2). Now x−2 is a common factor.

  3. Cancel, and read off the limit as x→2.

    −12x, which tends to −14: the slope of 1/x at x=2.

Check your understanding

x+55 simplifies to:

  1. x5 is a term on top, not a factor. Try x=5: 105=2≠5.
  2. x5+1, and nothing shorter.
Dividing a sum divides each term: x+55=x5+55. That is the distributive law, and it is the only way a denominator splits.

12+13 equals:

  1. 15That adds the denominators. A half plus a third is more than a half.
  2. 56
36+26=56. The same goes for letters: 1x+1y=x+yxy.

Are x2−1x−1 and x+1 the same function?

  1. Yes, since one simplifies to the other.They differ at one point.
  2. Almost: they agree for every x≠1, but the first is undefined at x=1.
Cancelling x−1 assumes x−1≠0. The limit as x→1 is 2 even though the first expression has no value there: that is the whole idea of a limit.

Practice

A difference quotientThe step before every derivative

Simplify (x+h)2−x2h for h≠0, and find its limit as h→0.

Outline
  1. The top is 2xh+h2.
    Why?

    (x+h)2=x2+2xh+h2; the x2 cancels.

  2. h is a factor of the top, so the quotient is 2x+h.
    Why?

    2xh+h2=h(2x+h), and h≠0.

  3. As h→0 it tends to 2x: the derivative of x2.
    Why?

    2x+h is defined at h=0 and continuous in h.

Splitting a fractionPartial fractions in reverse

Show that 1x(x+1)=1x−1x+1, and use it to add 11⋅2+12⋅3+⋯+19⋅10.

Outline
  1. Combine the right side over x(x+1).
    Why?

    1x−1x+1=(x+1)−xx(x+1)=1x(x+1).

  2. The sum telescopes to 1−110=910.
    Why?

    (1−12)+(12−13)+⋯+(19−110): every middle term cancels with the next.

InteractiveBrown et al., §§10-1–10-8

Exponential and logarithmic functions

A logarithm answers one question: to what power must the base be raised to get this number? Every law of logarithms is a law of exponents read backwards.

The idea

Rational exponents (§10-1). For a>0, a1/n=an and am/n=(an)m. So 82/3=(83)2=4 and x1/2=x. These definitions are the only ones that keep (am)n=amn true.
Inverse functions (§10-3). If f is one-to-one, its inverse f−1 undoes it: f−1(f(x))=x. Its graph is the graph of f reflected in the line y=x.
Logarithm (§10-4). For b>0, b≠1, and x>0:
logb⁡x=y⟺by=x.
logb is the inverse of x↦bx. So log2⁡8=3, log10⁡0.01=−2, logb⁡1=0, logb⁡b=1. The natural logarithm ln is loge, with e≈2.718 (§10-8).
Laws of logarithms (§10-5). For x,y>0 and any real r:
logb⁡(xy)=logb⁡x+logb⁡y,logb⁡xy=logb⁡x−logb⁡y,logb⁡(xr)=rlogb⁡x,logb⁡x=ln⁡xln⁡b.
Show the computation

Write x=bu and y=bv, so u=logb⁡x, v=logb⁡y. Then xy=bubv=bu+v, so logb⁡(xy)=u+v. Likewise x/y=bu−v and xr=bru. For the change of base, take ln of bu=x: uln⁡b=ln⁡x.

And the trap: there is no law for logb⁡(x+y). It is not logb⁡x+logb⁡y (that is logb⁡(xy)).

Solving equations (§10-6). If the unknown is in an exponent, take logarithms; if it is inside a logarithm, exponentiate.

Explore

y=bx y=logb⁡x y=x. The point (x,bx) and its mirror image (bx,x): the logarithm swaps input and output.

Worked example

Three standard tasks.

  1. Expand ln(x3y(1+x)2) for x,y>0.

    ln⁡(x3)+ln⁡(y1/2)−ln⁡((1+x)2)=3ln⁡x+12ln⁡y−2ln⁡(1+x). The ln⁡(1+x) stays as it is: it is the log of a sum.

  2. Solve 32x−1=7 exactly.

    Take ln: (2x−1)ln⁡3=ln⁡7, so x=12(1+ln⁡7ln⁡3)≈1.39.

  3. Solve ln⁡(2x−1)=3.

    Exponentiate: 2x−1=e3, so x=e3+12≈10.54. Check: 2x−1=e3>0, so the log is defined.

Check your understanding

ln⁡(x+y) equals:

  1. ln⁡x+ln⁡yThat is ln⁡(xy).
  2. ln⁡x⋅ln⁡yTry x=y=1: ln⁡2≈0.69 against 0.
  3. Nothing simpler, in general.
Logarithms turn products into sums, not sums into anything nicer. If you meet ln⁡(x+y), leave it, or factor the inside first: ln⁡(x+xy)=ln⁡x+ln⁡(1+y).

Condense 2ln⁡(x+1)−12ln⁡x+ln⁡5 into a single logarithm.

  1. ln⁡5(x+1)2x
  2. ln⁡(2(x+1)−12x+5)Coefficients become exponents, and sums become products.
2ln⁡(x+1)=ln⁡(x+1)2, 12ln⁡x=ln⁡x; then add the logs of the factors on top and subtract the log of the bottom.

log3⁡19 equals:

  1. −2
  2. 13Ask: 3 to what power is 19?
3−2=19. Logs of numbers between 0 and 1 are negative (for base b>1).

Practice

Half-lifeGrowth and decay

A substance decays as A(t)=A0e−kt. Its half-life is 5 years. Find k, and how long until 10% remains.

Outline
  1. k=ln⁡25≈0.139 per year.
    Why?

    e−5k=12; take ln: −5k=−ln⁡2.

  2. 10% remains after ln⁡10k=5log2⁡10≈16.6 years.
    Why?

    e−kt=0.1 gives t=ln⁡10k=5ln⁡10ln⁡2.

Derivatives that need log lawsA calculus warm-up

Using ddxln⁡x=1x and ddxex=ex, find the derivatives of log3⁡x and 52x−1.

Outline
  1. ddxlog3⁡x=1xln⁡3.
    Why?

    Change of base: log3⁡x=ln⁡xln⁡3, and ln⁡3 is a constant.

  2. ddx52x−1=2ln⁡5⋅52x−1.
    Why?

    52x−1=e(2x−1)ln⁡5; by the chain rule the derivative is e(2x−1)ln⁡5⋅2ln⁡5.

InteractiveBrown et al., §§12-1–12-4, 13-1–13-4

Radians and the unit circle

Sine and cosine are coordinates: walk a distance θ around the circle of radius 1, and you arrive at the point (cos⁡θ,sin⁡θ). Every value, sign and symmetry follows from that picture.

The idea

Radians (§13-1). An angle of θ radians cuts off an arc of length θ on the unit circle. A full turn is the whole circumference, 2π, so 360∘=2π, 180∘=π, and 1∘=π180. Calculus uses radians because then ddxsin⁡x=cos⁡x with no extra constant.
Circular functions (§13-2). The point at angle θ on the unit circle is (cos⁡θ,sin⁡θ); also tan⁡θ=sin⁡θcos⁡θ. For an acute angle in a right triangle with hypotenuse 1, these are the familiar “opposite over hypotenuse” and “adjacent over hypotenuse” (§12-2).

Exact values (§12-4). Two triangles give everything: half a square (angles 45∘,45∘, sides 1,1,2) and half an equilateral triangle (angles 30∘,60∘, sides 1,3,2). Scaled to hypotenuse 1:

θ0π6π4π3π2 sin⁡θ01222321 cos⁡θ13222120

Every other angle (§12-3). Find the reference angle (the acute angle to the x-axis), take its value from the table, and attach the sign of the quadrant: x (cosine) is negative on the left, y (sine) is negative below.

Periodicity and symmetry (§13-3). sin⁡(θ+2π)=sin⁡θ, cos⁡(θ+2π)=cos⁡θ; sin⁡(−θ)=−sin⁡θ, cos⁡(−θ)=cos⁡θ; sin⁡(π−θ)=sin⁡θ, cos⁡(π−θ)=−cos⁡θ. Each is a reflection or a full turn of the circle.

Explore

Angle
Drag the point around the circle. cos⁡θ, its x-coordinate; sin⁡θ, its y-coordinate; the gold arc has length θ.
The same two numbers as θ goes once around: sin and cos.

Worked example

Find sin⁡5π6, cos⁡4π3 and tan⁡(−π4) exactly.

  1. sin⁡5π6.

    5π6=π−π6: second quadrant, reference angle π6, and sine is positive above the axis. So sin⁡5π6=sin⁡π6=12.

  2. cos⁡4π3.

    4π3=π+π3: third quadrant, reference angle π3, and cosine is negative on the left. So −cos⁡π3=−12.

  3. tan⁡(−π4).

    The point is (22,−22), so tan=−2/22/2=−1.

Check your understanding

135∘ in radians is:

  1. 3π4
  2. 3π2That is 270∘.
Multiply by π180: 135⋅π180=3π4.

sin⁡7π6 equals:

  1. 12Right size, wrong sign: 7π6 is below the axis.
  2. −12
  3. −32That is the cosine.
7π6=π+π6: third quadrant, reference angle π6, and sine is negative there.

Which is always true?

  1. cos⁡(−θ)=cos⁡θ
  2. sin⁡(−θ)=sin⁡θReflecting in the x-axis flips the y-coordinate.
The angle −θ is the reflection of θ in the x-axis: same x-coordinate, opposite y-coordinate. Cosine is even, sine is odd.

Practice

Where 32 comes fromHalf an equilateral triangle

Show that sin⁡π3=32 and cos⁡π3=12.

Outline
  1. Cut an equilateral triangle of side 1 in half.
    Why?

    Its angles are all π3; the altitude bisects the base, giving a right triangle with hypotenuse 1, short side 12, and angle π3 opposite the long leg.

  2. The long leg is 32.
    Why?

    Pythagoras: 1−14=34=32.

  3. Read off sine and cosine.
    Why?

    Opposite over hypotenuse =32; adjacent over hypotenuse =12.

A reference angleFourth quadrant

Find sin⁡11π6 and cos⁡11π6.

Outline
  1. 11π6=2π−π6: fourth quadrant, reference angle π6.
    Why?

    It is π6 short of a full turn, below the positive x-axis.

  2. sin=−12, cos=32.
    Why?

    Below the axis y<0, right of it x>0; the sizes come from π6.

InteractiveBrown et al., §§13-6–13-9

Trigonometric identities

Almost everything follows from two facts: the point (cos⁡θ,sin⁡θ) is on the unit circle, and the addition formulas. The traps are the same as in algebra: sin of a sum is not the sum of the sines.

The idea

The Pythagorean identity (§13-6). sin2⁡θ+cos2⁡θ=1, because (cos⁡θ,sin⁡θ) lies on x2+y2=1. Dividing by cos2⁡θ or sin2⁡θ:
1+tan2⁡θ=sec2⁡θ,1+cot2⁡θ=csc2⁡θ.
(Notation: sin2⁡θ means (sin⁡θ)2, not sin⁡(θ2).)
Addition formulas (§13-7).
sin⁡(α±β)=sin⁡αcos⁡β±cos⁡αsin⁡β,cos⁡(α±β)=cos⁡αcos⁡β∓sin⁡αsin⁡β.
Double and half angles (§13-8). Put β=α:
sin⁡2θ=2sin⁡θcos⁡θ,cos⁡2θ=cos2⁡θ−sin2⁡θ=1−2sin2⁡θ=2cos2⁡θ−1.
Solving the last two for the squares gives the forms calculus uses to integrate sin2 and cos2:
sin2⁡θ=1−cos⁡2θ2,cos2⁡θ=1+cos⁡2θ2.

How to prove an identity. Work on one side only, usually the more complicated one, rewriting with the facts above until it becomes the other side. Writing everything in sines and cosines is a good default. To disprove one, a single angle is enough; the checker below tries many.

Explore: is this identity true?

Worked example

Prove 1−cos⁡2xsin⁡2x=tan⁡x (where both sides are defined).

  1. Rewrite the top with a double-angle formula.

    1−cos⁡2x=1−(1−2sin2⁡x)=2sin2⁡x.

  2. Rewrite the bottom.

    sin⁡2x=2sin⁡xcos⁡x.

  3. Cancel.

    2sin2⁡x2sin⁡xcos⁡x=sin⁡xcos⁡x=tan⁡x, cancelling the common factor 2sin⁡x≠0.

Check your understanding

sin⁡2x equals:

  1. 2sin⁡xAt x=π2: sin⁡π=0 but 2sin⁡π2=2.
  2. 2sin⁡xcos⁡x
The 2 is inside the function; it can't be pulled out. The addition formula with α=β=x gives the right answer.

sec2⁡θ−tan2⁡θ equals:

  1. 1
  2. 0They differ by exactly 1: sec2=1+tan2.
Divide sin2+cos2=1 by cos2. This is the identity behind the substitution x=tan⁡θ for integrals with 1+x2.

Is sin⁡(α+β)=sin⁡α+sin⁡β?

  1. Yes, since sine is a function.Being a function says nothing about sums.
  2. No: α=β=π2 gives 0 on the left and 2 on the right.
The correct formula has four factors: sin⁡αcos⁡β+cos⁡αsin⁡β.

Practice

A product of squaresFor integration later

Write sin2⁡xcos2⁡x using cos⁡4x and no powers.

Outline
  1. sin2⁡xcos2⁡x=14sin2⁡2x.
    Why?

    sin⁡xcos⁡x=12sin⁡2x; square it.

  2. sin2⁡2x=1−cos⁡4x2.
    Why?

    The half-angle formula sin2⁡θ=1−cos⁡2θ2 with θ=2x.

  3. So sin2⁡xcos2⁡x=1−cos⁡4x8.
    Why?

    Multiply: 14⋅1−cos⁡4x2. Check at x=π4: 12⋅12=14 and 1−cos⁡π8=28. ✓

The tangent of a sumFrom the addition formulas

Show tan⁡(α+β)=tan⁡α+tan⁡β1−tan⁡αtan⁡β.

Outline
  1. Write tan⁡(α+β)=sin⁡(α+β)cos⁡(α+β) and expand both.
    Why?

    sin⁡αcos⁡β+cos⁡αsin⁡βcos⁡αcos⁡β−sin⁡αsin⁡β.

  2. Divide top and bottom by cos⁡αcos⁡β.
    Why?

    Each sincos becomes a tangent: the top becomes tan⁡α+tan⁡β and the bottom 1−tan⁡αtan⁡β.

InteractiveBrown et al., §§14-6–14-7

Inverse trigonometric functions

arcsin⁡x is an angle: the one whose sine is x. Because many angles share a sine, each inverse function picks one, from a fixed range. To simplify tan⁡(arccos⁡u) and its relatives, draw the angle as a triangle.

The idea

The three inverse functions (§§14-6, 14-7). Each inverts the function on a range where it is one-to-one:
  • arcsin⁡x (also written sin−1⁡x): for x∈[−1,1], the angle in [−π2,π2] whose sine is x.
  • arccos⁡x: for x∈[−1,1], the angle in [0,π] whose cosine is x.
  • arctan⁡x: for every real x, the angle in (−π2,π2) whose tangent is x.
Note sin−1⁡x is not 1sin⁡x (that is csc⁡x).

Undoing works one way. sin⁡(arcsin⁡x)=x for every x∈[−1,1]. But arcsin⁡(sin⁡θ)=θ only when θ is in the range [−π2,π2]: arcsin⁡(sin⁡3π4)=arcsin⁡22=π4.

The triangle method. To simplify f(arccos⁡u), call the angle θ=arccos⁡u, so cos⁡θ=u=u1. Draw a right triangle with adjacent side u and hypotenuse 1; Pythagoras gives the opposite side 1−u2. Then read off any function of θ:
sin⁡(arccos⁡u)=1−u2,tan⁡(arccos⁡u)=1−u2u,cos⁡(arcsin⁡u)=1−u2,sin⁡(arctan⁡u)=u1+u2.
The signs are right for every allowed u, because each range was chosen to make the root nonnegative where it appears.

These are exactly the simplifications needed after a trigonometric substitution in an integral.

Explore

Outer function
Inner function
The angle θ from the inner function, drawn as a right triangle. The side the inner function fixes is in gold; the side found by Pythagoras is in blue.

Worked example

Simplify tan(arccos⁡x+12) and sin⁡(arctan⁡(x−4)).

  1. For the first, set up the triangle.

    θ=arccos⁡x+12, so cos⁡θ=x+12: adjacent x+1, hypotenuse 2. Opposite: 4−(x+1)2=3−2x−x2.

  2. Read off the tangent.

    tan⁡θ=3−2x−x2x+1, for −3≤x≤1, x≠−1.

  3. For the second, θ=arctan⁡(x−4).

    tan⁡θ=x−41: opposite x−4, adjacent 1, hypotenuse 1+(x−4)2. So sin⁡θ=x−41+(x−4)2, for every real x.

Check your understanding

arcsin(sin⁡3π4) equals:

  1. 3π43π4 is outside arcsin's range [−π2,π2].
  2. π4
sin⁡3π4=22, and the angle in [−π2,π2] with that sine is π4.

cos⁡(arcsin⁡u) for u∈[−1,1] equals:

  1. 1−u2
  2. ±1−u2arcsin⁡u is in [−π2,π2], where cosine is never negative.
The range of arcsin was chosen in the right half of the circle, so the cosine is ≥0 and only the positive root appears.

sin−1⁡x means:

  1. arcsin⁡x, an angle.
  2. 1sin⁡xThat is csc⁡x, written (sin⁡x)−1.
An unfortunate notation: sin2⁡x means (sin⁡x)2, but sin−1⁡x means the inverse function. Writing arcsin avoids the confusion.

Practice

Cosine of an arctangentThe triangle method

Show cos⁡(arctan⁡x)=11+x2 for every real x.

Outline
  1. Triangle: opposite x, adjacent 1, hypotenuse 1+x2.
    Why?

    tan⁡θ=x1 with θ=arctan⁡x; Pythagoras gives the hypotenuse.

  2. So cos⁡θ=11+x2, positive.
    Why?

    Adjacent over hypotenuse; and θ∈(−π2,π2), where cosine is positive, so no sign is lost.

Two inverse functions at onceAn addition formula

Show arcsin⁡x+arccos⁡x=π2 for x∈[−1,1].

Outline
  1. Let θ=arcsin⁡x. Then π2−θ∈[0,π].
    Why?

    θ∈[−π2,π2].

  2. cos⁡(π2−θ)=sin⁡θ=x.
    Why?

    The addition formula: cos⁡(π2−θ)=cos⁡π2cos⁡θ+sin⁡π2sin⁡θ=sin⁡θ.

  3. So π2−θ=arccos⁡x.
    Why?

    It is the angle in [0,π] whose cosine is x, which is the definition of arccos⁡x.

InteractiveBrown et al., §§11-1–11-6

Sequences and their limits

A sequence has limit L if its terms eventually stay as close to L as anyone could ask. Making “as close as anyone could ask” precise is the first step from algebra into calculus.

The idea

Sequences (§§11-1–11-3). A sequence is an infinite list a1,a2,a3,…, usually given by a formula for an. Arithmetic: add the same d each time, an=a1+(n−1)d. Geometric: multiply by the same r, an=a1rn−1.

The idea of a limit. an=1n gets closer and closer to 0. But “closer and closer” isn't enough: 1+1n also gets closer and closer to 0 at every step, and its limit is 1. What we mean is that the terms get and stay within any tolerance of L.

Limit of a sequence. limn→∞an=L means: for every tolerance ε>0, there is a point N such that every term after it is within ε of L:
|an−L|<εfor all n>N.
Picture a band of half-width ε around L. However narrow the band, from some point on the whole tail of the sequence lies inside it. A smaller ε usually needs a larger N.

Working out limits.

  • Basic limits: 1n→0; rn→0 if |r|<1; rn grows without bound if r>1, and has no limit if r≤−1.
  • Limits respect sums, products and quotients (if the bottom's limit isn't 0).
  • Dominant terms: divide top and bottom by the highest power of n in the denominator. 3n2+1n2−5=3+1/n21−5/n2→3.
  • Squeeze: if bn≤an≤cn and bn,cn→L, then an→L. For example −1n≤(−1)nn≤1n, so (−1)nn→0.
Infinite geometric series (§11-6). The partial sums Sn=a+ar+⋯+arn−1=a1−rn1−r form a sequence, and if |r|<1 then rn→0, so
a+ar+ar2+⋯=limn→∞Sn=a1−r.
For example 0.999…=910+9100+⋯=9/101−1/10=1.

The same definition, written for functions, is the ε–δ definition of continuity in Real Analysis, and its sequences module takes this one further.

Explore

Sequence
The terms an (dots), the band L±ε (gold), and the point N after which every term stays inside (dashed). Terms outside the band are red.

Worked example

Show that an=2n+1n+3 has limit 2, and find N for ε=0.1.

  1. Guess the limit with dominant terms.

    2n+1n+3=2+1/n1+3/n→21=2.

  2. Measure the distance to 2 exactly.

    an−2=2n+1−2(n+3)n+3=−5n+3, so |an−2|=5n+3.

  3. When is that less than ε?

    5n+3<ε⟺n>5ε−3. For ε=0.1: n>47, so N=47 works. For any ε, N=5ε works: that proves the limit.

Check your understanding

A sequence has its odd-numbered terms all positive and its even-numbered terms all negative. Must it diverge?

  1. Yes: it keeps jumping across zero.The jumps can shrink.
  2. No: (−1)n+1n alternates in sign and has limit 0.
Alternating signs only force divergence if the terms stay away from 0. If they shrink to 0, the sequence converges to 0, as the squeeze argument shows.

|an|→1. Does an have a limit?

  1. Yes, 1 or −1.It could switch between them forever.
  2. Not necessarily: (−1)n has |an|=1 but no limit.
For the limit 0 it is different: an→0 exactly when |an|→0, because |an−0|=||an|−0|. The special role of 0 is the point.

0.999… (nines forever) equals:

  1. 1
  2. Slightly less than 1.There is no positive gap: any gap would be bigger than 10−n for some n, but the difference after n nines is exactly 10−n.
It is the infinite geometric series with a=0.9, r=0.1, whose sum is 0.90.9=1: the limit of 0.9,0.99,0.999,….

Practice

Squeeze to infinityA lower bound is enough

Show that an=n2(2+sin2⁡n)n+100 grows without bound.

Outline
  1. an≥2n2n+100.
    Why?

    sin2⁡n≥0, so 2+sin2⁡n≥2.

  2. 2n2n+100≥n once n≥100.
    Why?

    2n2≥n(n+100)⟺n2≥100n⟺n≥100.

  3. So an≥n for n≥100, and an→∞.
    Why?

    A sequence that stays above one that grows without bound does too: for any M, an>M once n>max(M,100).

A repeating decimalGeometric series

Write 0.27―=0.272727… as a fraction.

Outline
  1. It is a geometric series with a=27100, r=1100.
    Why?

    0.27+0.0027+0.000027+⋯: each block is the previous one divided by 100.

  2. Its sum is 27/10099/100=2799=311.
    Why?

    a1−r, valid since |r|<1. Check: 3÷11=0.2727…