BACK Mascot image.
← MA0 0 · Math Prepa for University

Lesson 2

Functions, and Equations

Functions and their algebra, partial fractions, quadratic equations, logarithms, dividing polynomials, and the binomial expansion.

Taught

Everything here rests on the arithmetic and algebra of the first lesson: the rules of arithmetic, powers and roots, surds, and the difference between an equation and an identity. What is new is the idea of a function, and the algebra that idea makes possible.

Functions

Definition 2.1 (Function).

A function, defined for all numbers, is an association which to each number associates another number. If we denote the function by ff, the association is written

f:xf(x),f : x \mapsto f(x),

and f(x)f(x) is called the value of the function at xx, or the image of xx under ff.

Example 2.2.

The association f:xx2f : x \mapsto x^2 is a function, called the square. The association g:xx+1g : x \mapsto x + 1 is another. Their values are read off by substituting:

f(2)=4,f(3)=9,f(1)=1,f(2)=4,g(1)=2,g(2)=3,g(50)=51.f(2) = 4, \quad f(3) = 9, \quad f(-1) = 1, \quad f(-2) = 4, \qquad g(1) = 2, \quad g(2) = 3, \quad g(50) = 51 .

Thinking of the value given to xx as an input and the corresponding value of the function as an output, we may read f:r2r+1f : r \mapsto 2r + 1 as “the function which, when we input a value for rr, gives as output the value 2r+12r + 1“.

fxf(x)inputoutputone output for each input
Figure 2.1. A function as a rule turning an input into an output. What makes it a function is that each input has exactly one output.

Using ff as the symbol for a function, we write f(x)f(x) for a function of xx and f(r)f(r) for a function of rr, so the two associations above may equally be written f(x)=(x+2)2f(x) = (x+2)^2 and f(r)=2r+1f(r) = 2r + 1. To represent the value when x=1x = 1 we write f(1)f(1). So for f:x(x+2)2f : x \mapsto (x+2)^2,

f(1)=(1+2)2=9,f(3)=(3+2)2=25,f(2)=(2+2)2=0.f(1) = (1+2)^2 = 9, \qquad f(3) = (3+2)^2 = 25, \qquad f(-2) = (-2+2)^2 = 0 .

Both xx and f(x)f(x) vary, but xx may be given any value while the value of f(x)f(x) depends on it. So xx is called the independent variable and f(x)f(x) the dependent variable.

Example 2.3.

The association which to each number xx associates the number 44 is the constant function with value 44. More generally, for a given number cc, the association

xcfor all numbers xx \mapsto c \quad \text{for all numbers } x

is the constant function with value cc.

Remark (A warning about language).

It is convenient, and slightly incorrect, to write a sentence like “let f(x)f(x) be such and such a function”. The trouble is that xx is not quantified: what is meant is the function whose value at a number xx is such and such. We shall try to avoid the loose phrasing at least while the idea is new.

The examples so far have been given by formulas. Functions may be defined quite arbitrarily, and no formula is required: to describe a function amounts to giving its values at all numbers for which it is defined.

Remark (What the values are).

We have adopted the convention that the values of a function are numbers. It is not a universal convention, and it is a useful one here.

The Algebra of Functions

Functions defined on the same set can be added and multiplied, and when they are they obey the rules of arithmetic from the first lesson.

Let ff and gg be functions defined on the same set SS. Their sum f+gf + g is the function whose value at an element xx of SS is

(f+g)(x)=f(x)+g(x).(f+g)(x) = f(x) + g(x).

Associativity of addition for numbers gives associativity for functions at once: for any ff, gg, hh defined on SS,

(f+g)+h=f+(g+h),(f + g) + h = f + (g + h),

and commutativity for numbers gives f+g=g+ff + g = g + f in the same way.

There is a zero function, whose value at every xx in SS is 00, and which we also denote by 00. For every ff defined on SS,

f+0=0+f=f.f + 0 = 0 + f = f .

If ff is defined on SS then minus ff, written f-f, is the function whose value at xx is f(x)-f(x).

Example 2.4.

If f(x)=x2f(x) = x^2 then (f)(x)=x2(-f)(x) = -x^2, so (f)(5)=25(-f)(5) = -25, and

f+(f)=0,f + (-f) = 0,

the zero function.

So functions satisfy the same basic rules for addition as numbers do, and the same holds for multiplication. The product fgfg of two functions defined on SS is the function whose value at xx is

(fg)(x)=f(x)g(x),(fg)(x) = f(x)\,g(x),

and this product is commutative and associative for the same reason as before. If 11 denotes the constant function with value 11 for all xx in SS, then

1f=fand0f=0.1f = f \qquad\text{and}\qquad 0f = 0 .

Multiplication distributes over addition. Reading the definitions off one after another,

((f+g)h)(x)=(f+g)(x)h(x)=(f(x)+g(x))h(x)=f(x)h(x)+g(x)h(x)=(fh)(x)+(gh)(x)=(fh+gh)(x),\begin{aligned} \bigl((f+g)h\bigr)(x) &= (f+g)(x) \cdot h(x) \\ &= \bigl(f(x) + g(x)\bigr)h(x) \\ &= f(x)h(x) + g(x)h(x) \\ &= (fh)(x) + (gh)(x) \\ &= (fh + gh)(x), \end{aligned}

and since the two sides agree at every xx in SS,

(f+g)h=fh+gh.(f+g)h = fh + gh .

Functions of numbers occur in physical life whenever one quantity is described in terms of another.

Problem 2.1.

Let f(x)=x2f(x) = x^2 and g(x)=x+1g(x) = x + 1, both defined for all numbers.

  1. Give the values of (f+g)(3)(f+g)(3), (fg)(3)(fg)(3) and (f)(3)(-f)(3).
  2. Write down formulas for (f+g)(x)(f+g)(x) and (fg)(x)(fg)(x).
  3. Show that fgfg and gfgf have the same value at every xx.

Problem 2.2.

Find f(0)f(0), f(1)f(1), f(2)f(-2) and f(5)f(5) for each of the following.

  1. f:xx23xf : x \mapsto x^2 - 3x;
  2. f:x(x7)(x+2)f : x \mapsto (x-7)(x+2);
  3. f:x1x2+1f : x \mapsto \dfrac{1}{x^2 + 1}.

Polynomials

Definition 2.5 (Polynomial).

If every term of a function has the form axnax^n, where aa is a constant and nn is a non-negative integer, the function is a polynomial. The highest power of xx occurring in it is its degree.

Example 2.6.

The functions x2x^2, 2x2x, 3x57x+63x^5 - 7x + 6 and (x4)2(x-4)^2 are polynomials; x\sqrt{x}, x2\sqrt{x-2} and 1/x1/x are not, since their exponents are not non-negative integers (Definition 1.29 gives the meaning of x1/2x^{1/2}, and it is not a whole power).

The polynomial 5x67x3+6x5x^6 - 7x^3 + 6x has degree 66.

Fractional Functions

A fractional function is one of the form

p(x)q(x)\frac{p(x)}{q(x)}

with pp and qq polynomials. It is called proper if the degree of the numerator is less than the degree of the denominator, and improper if the degree of the numerator is greater than or equal to that of the denominator.

An improper numerical fraction such as 97\tfrac{9}{7} may be written as a whole number plus a proper fraction,

97=7+27=1+27,\frac{9}{7} = \frac{7+2}{7} = 1 + \frac{2}{7},

and an improper algebraic fraction splits the same way. The fraction x21x2+1\dfrac{x^2-1}{x^2+1} is improper, its numerator and denominator having equal degree, and

x21x2+1=(x2+1)2x2+1=12x2+1.\frac{x^2 - 1}{x^2 + 1} = \frac{(x^2 + 1) - 2}{x^2 + 1} = 1 - \frac{2}{x^2+1}.

Problem 2.3.

State the degree of each polynomial, and say which of the following fractional functions are proper and which improper.

  1. x+3(x2)(x+4)\dfrac{x+3}{(x-2)(x+4)};
  2. x3x21\dfrac{x^3}{x^2 - 1};
  3. 2x21x2+x+1\dfrac{2x^2 - 1}{x^2 + x + 1}.

Partial Fractions

Two fractions with different denominators may be combined into one. Starting from

f(x)=2x+1+xx2+1,f(x) = \frac{2}{x+1} + \frac{x}{x^2+1},

putting both over a common denominator gives

f(x)=2(x2+1)+x(x+1)(x+1)(x2+1)=3x2+x+2(x+1)(x2+1).f(x) = \frac{2(x^2+1) + x(x+1)}{(x+1)(x^2+1)} = \frac{3x^2 + x + 2}{(x+1)(x^2+1)} .

It is often useful to run this backwards: to take a fractional function and write it as a sum of separate fractions with simpler denominators. This is called decomposing the function into partial fractions. If the original fraction is proper then the partial fractions are proper too.

The shape of the decomposition is fixed by the factors of the denominator, and the constants in it are found by substitution or by comparing coefficients.

Linear Factors

A linear denominator carries a single constant on top.

Example 2.7 (A proper fraction with linear factors).

Decompose x+3(x2)(x+4)\dfrac{x+3}{(x-2)(x+4)} into partial fractions.

The factors are linear, so we look for constants AA and BB with

x+3(x2)(x+4)=Ax2+Bx+4=A(x+4)+B(x2)(x2)(x+4).\frac{x+3}{(x-2)(x+4)} = \frac{A}{x-2} + \frac{B}{x+4} = \frac{A(x+4) + B(x-2)}{(x-2)(x+4)} .

The denominators are identical, so the numerators must be as well:

x+3=A(x+4)+B(x2),x + 3 = A(x+4) + B(x-2),

and this holds for every value of xx. Substituting x=2x = 2 kills the BB term and gives 5=6A5 = 6A, so A=56A = \tfrac{5}{6}. Substituting x=4x = -4 kills the AA term and gives 1=6B-1 = -6B, so B=16B = \tfrac{1}{6}. Therefore

x+3(x2)(x+4)=56(x2)+16(x+4).\frac{x+3}{(x-2)(x+4)} = \frac{5}{6(x-2)} + \frac{1}{6(x+4)} .

A Quadratic Factor

A quadratic denominator that does not factorise carries a linear numerator, so that the partial fraction is still proper.

Example 2.8 (A quadratic factor in the denominator).

Express x3(x1)(x2+1)\dfrac{x-3}{(x-1)(x^2+1)} in partial fractions.

The second factor is quadratic, so we look for

x3(x1)(x2+1)=Ax1+Bx+Cx2+1,\frac{x-3}{(x-1)(x^2+1)} = \frac{A}{x-1} + \frac{Bx+C}{x^2+1},

each numerator chosen so that its fraction is proper. Clearing denominators,

x3=A(x2+1)+(Bx+C)(x1).()x - 3 = A(x^2+1) + (Bx+C)(x-1). \tag{$*$}

Substituting x=1x = 1 gives 2=2A-2 = 2A, so A=1A = -1. There is no value of xx making x2+1x^2 + 1 zero, so AA cannot be eliminated the same way, and the remaining constants come from comparing coefficients. On the left the coefficient of x2x^2 is 00; on the right it is A+BA + B. Hence B=A=1B = -A = 1. Substituting x=0x = 0 in ()(*) gives 3=AC=1C-3 = A - C = -1 - C, so C=2C = 2. Therefore

x3(x1)(x2+1)=1x1+x+2x2+1.\frac{x-3}{(x-1)(x^2+1)} = \frac{-1}{x-1} + \frac{x+2}{x^2+1} .

Either route reaches the constants: substituting values chosen to eliminate terms, or comparing the coefficients of each power. In practice a mixture of the two is quickest.

Repeated Factors

Example 2.9 (A repeated factor).

Express x1(x+1)(x2)2\dfrac{x-1}{(x+1)(x-2)^2} in partial fractions.

Since (x2)2(x-2)^2 is a repeated factor we might think of writing Bx+C(x2)2\dfrac{Bx+C}{(x-2)^2} over it. That is not the simplest form. Putting C=2B+DC = -2B + D,

Bx+C(x2)2=Bx2B+D(x2)2=B(x2)+D(x2)2=Bx2+D(x2)2,\frac{Bx + C}{(x-2)^2} = \frac{Bx - 2B + D}{(x-2)^2} = \frac{B(x-2) + D}{(x-2)^2} = \frac{B}{x-2} + \frac{D}{(x-2)^2},

so a repeated linear factor is better written as two fractions. We therefore look for

x1(x+1)(x2)2=Ax+1+Bx2+D(x2)2,\frac{x-1}{(x+1)(x-2)^2} = \frac{A}{x+1} + \frac{B}{x-2} + \frac{D}{(x-2)^2},

that is, x1=A(x2)2+B(x+1)(x2)+D(x+1)x - 1 = A(x-2)^2 + B(x+1)(x-2) + D(x+1). Substituting x=2x = 2 gives 1=3D1 = 3D, so D=13D = \tfrac13. Substituting x=1x = -1 gives 2=9A-2 = 9A, so A=29A = -\tfrac29. Comparing the coefficients of x2x^2 gives 0=A+B0 = A + B, so B=29B = \tfrac29. Therefore

x1(x+1)(x2)2=29(x+1)+29(x2)+13(x2)2.\frac{x-1}{(x+1)(x-2)^2} = -\frac{2}{9(x+1)} + \frac{2}{9(x-2)} + \frac{1}{3(x-2)^2} .

In general a repeated factor (ax+b)2(ax+b)^2 in a denominator gives rise to two partial fractions,

Aax+bandB(ax+b)2,\frac{A}{ax+b} \qquad\text{and}\qquad \frac{B}{(ax+b)^2},

and a factor (ax+b)3(ax+b)^3 gives rise to three, with denominators ax+bax+b, (ax+b)2(ax+b)^2 and (ax+b)3(ax+b)^3.

Improper Fractions

An improper fraction has to be divided out first, leaving a whole part and a proper remainder.

Example 2.10 (An improper fraction).

Express x2+1(x+1)(x3)\dfrac{x^2+1}{(x+1)(x-3)} in partial fractions.

The numerator and the denominator both have degree 22, so the fraction is improper. Since (x+1)(x3)=x22x3(x+1)(x-3) = x^2 - 2x - 3,

x2+1x22x3=(x22x3)+(2x+4)x22x3=1+2x+4(x+1)(x3),\frac{x^2+1}{x^2-2x-3} = \frac{(x^2 - 2x - 3) + (2x + 4)}{x^2 - 2x - 3} = 1 + \frac{2x+4}{(x+1)(x-3)},

and the remaining fraction is proper. Writing

2x+4(x+1)(x3)=Ax+1+Bx3,that is2x+4=A(x3)+B(x+1),\frac{2x+4}{(x+1)(x-3)} = \frac{A}{x+1} + \frac{B}{x-3}, \qquad\text{that is}\qquad 2x + 4 = A(x-3) + B(x+1),

and substituting x=1x = -1 gives 2=4A2 = -4A, so A=12A = -\tfrac12; substituting x=3x = 3 gives 10=4B10 = 4B, so B=52B = \tfrac52. Therefore

x2+1(x+1)(x3)=112(x+1)+52(x3).\frac{x^2+1}{(x+1)(x-3)} = 1 - \frac{1}{2(x+1)} + \frac{5}{2(x-3)} .

Problem 2.4.

Express each of the following in partial fractions.

  1. 5(x1)(x+4)\dfrac{5}{(x-1)(x+4)};
  2. x(x1)(x+1)2\dfrac{x}{(x-1)(x+1)^2};
  3. x2(x1)(x2)\dfrac{x^2}{(x-1)(x-2)}.

Quadratic Equations

Definition 2.11 (Quadratic Equation).

An equation of the form

ax2+bx+c=0,a0,ax^2 + bx + c = 0, \qquad a \neq 0,

with a,b,ca, b, c real numbers, is a quadratic equation. Its solutions are called its roots.

Solving by Factorising

If the left-hand side factorises, the equation is solved by setting each factor to zero, since a product of two numbers is zero only when one of them is.

Example 2.12.

Solve 2x27x+3=02x^2 - 7x + 3 = 0.

The left-hand side factorises, so the equation becomes

(2x1)(x3)=0,(2x-1)(x-3) = 0,

from which either 2x1=02x - 1 = 0, giving x=12x = \tfrac12, or x3=0x - 3 = 0, giving x=3x = 3.

Losing a Solution

Solutions can be lost if a step is taken carelessly. Consider 2x214x=02x^2 - 14x = 0 and two ways of handling it.

Dividing through by 2x2x gives x7=0x - 7 = 0, so x=7x = 7.

Factorising instead gives 2x(x7)=02x(x-7) = 0, so either 2x=02x = 0 or x7=0x - 7 = 0, giving x=0x = 0 or x=7x = 7.

The first route lost the solution x=0x = 0, and it lost it because the equation was divided by the common factor xx. Dividing by a constant factor is correct and desirable; dividing by a factor containing the unknown throws away every solution that makes the factor zero. This is worth remembering when solving any equation, quadratic or otherwise.

Problem 2.5.

Solve each equation, taking care not to lose a solution.

  1. x2+5x6=0x^2 + 5x - 6 = 0;
  2. x(x3)=6x(x-3) = 6;
  3. x(1x)=x(2x1)x(1-x) = x(2x-1).

Completing the Square

Not every quadratic factorises over the rationals, and one that does not can still be rearranged into a square.

Example 2.13.

Solve 2x25x+1=02x^2 - 5x + 1 = 0.

Dividing by 22 gives

x252x+12=0,that isx252x=12.x^2 - \tfrac52 x + \tfrac12 = 0, \qquad\text{that is}\qquad x^2 - \tfrac52 x = -\tfrac12 .

Half the coefficient of xx is 54-\tfrac54, so adding (54)2=2516\left(\tfrac54\right)^2 = \tfrac{25}{16} to both sides makes the left-hand side a perfect square:

(x54)2=251612=1716.\left(x - \tfrac54\right)^2 = \tfrac{25}{16} - \tfrac12 = \tfrac{17}{16} .

Taking square roots,

x54=±174,sox=5±174.x - \tfrac54 = \pm\tfrac{\sqrt{17}}{4}, \qquad\text{so}\qquad x = \frac{5 \pm \sqrt{17}}{4} .

Since 17=4.123\sqrt{17} = 4.123 to four significant figures, x=2.28x = 2.28 or x=0.22x = 0.22.

The Quadratic Formula

Completing the square on the general equation gives a formula for the roots once and for all.

Let a,b,ca, b, c be real with a0a \neq 0. The solutions of ax2+bx+c=0ax^2 + bx + c = 0 are

x=b±b24ac2a,x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a},

provided b24acb^2 - 4ac is positive or zero. If b24acb^2 - 4ac is negative the equation has no solution in the real numbers.

We obtain this by completing the square as in the example. Solving the equation amounts to solving ax2+bx=cax^2 + bx = -c, and dividing by aa makes this

x2+bax=ca.x^2 + \frac{b}{a}x = -\frac{c}{a} .

To complete the square on the left we want x2+bax=x2+2sxx^2 + \frac{b}{a}x = x^2 + 2sx, so s=b2as = \dfrac{b}{2a}. Adding s2=b24a2s^2 = \dfrac{b^2}{4a^2} to both sides gives

(x+b2a)2=b24a2ca=b24ac4a2.\left(x + \frac{b}{2a}\right)^2 = \frac{b^2}{4a^2} - \frac{c}{a} = \frac{b^2 - 4ac}{4a^2} .

If b24acb^2 - 4ac is negative the right-hand side is negative and cannot be the square of a real number, so the equation has no real solution. If b24acb^2 - 4ac is positive or zero we may take the square root, and

x+b2a=±b24ac2a,x + \frac{b}{2a} = \pm\frac{\sqrt{b^2-4ac}}{2a},

which rearranges into the formula.

Remark.

The formula is worth committing to memory. Read it aloud like a line of verse: ”xx equals minus bb, plus or minus the square root of bb squared minus four acac, all over two aa.”

The Discriminant

The quantity under the root decides how many roots there are.

Definition 2.14 (Discriminant).

For the equation ax2+bx+c=0ax^2 + bx + c = 0 the number b24acb^2 - 4ac is called the discriminant.

If the discriminant is positive, b24ac\sqrt{b^2-4ac} can be evaluated and the two signs give two different values: the equation has two real distinct roots. If it is zero, both signs give the same value x=b2ax = -\tfrac{b}{2a}: the equation has one repeated root, also called equal roots. If it is negative, b24ac\sqrt{b^2-4ac} has no real value and the equation has no real roots. To summarise, ax2+bx+c=0ax^2 + bx + c = 0

  1. has two real distinct roots if b24ac>0b^2 - 4ac > 0;
  2. has equal roots if b24ac=0b^2 - 4ac = 0;
  3. has no real roots if b24ac<0b^2 - 4ac < 0.
b² − 4ac > 0b² − 4ac = 0b² − 4ac < 0two rootsone repeated rootno real roots
Figure 2.2. The three cases. The roots are the points where the curve meets the horizontal axis, and the discriminant records how many such points there are.

Example 2.15 (Determining the nature of the roots).

  1. For 4x27x+3=04x^2 - 7x + 3 = 0 the discriminant is (7)24(4)(3)=4948=1>0(-7)^2 - 4(4)(3) = 49 - 48 = 1 > 0, so there are two distinct real roots.
  2. For x2+ax+a2=0x^2 + ax + a^2 = 0 the discriminant is a24a2=3a2a^2 - 4a^2 = -3a^2, which is negative for every a0a \neq 0, so there are no real roots; when a=0a = 0 the discriminant is 00 and the equation x2=0x^2 = 0 has the repeated root x=0x = 0.
  3. For x2pxq2=0x^2 - px - q^2 = 0 the discriminant is (p)24(1)(q2)=p2+4q2(-p)^2 - 4(1)(-q^2) = p^2 + 4q^2, which is positive unless pp and qq are both zero, so there are two distinct real roots.

Example 2.16.

Find the value of kk for which 2x2kx+8=02x^2 - kx + 8 = 0 has equal roots.

Equal roots means the discriminant vanishes, so (k)24(2)(8)=0(-k)^2 - 4(2)(8) = 0, that is k2=64k^2 = 64 and k=±8k = \pm 8.

Problem 2.6.

Determine the nature of the roots of the following, without solving them.

  1. x26x+9=0x^2 - 6x + 9 = 0;
  2. 3x2+4x+2=03x^2 + 4x + 2 = 0;
  3. x2+kx1=0x^2 + kx - 1 = 0, for a real constant kk.

Problem 2.7.

Show that the roots of ax2+(a+b)x+b=0ax^2 + (a+b)x + b = 0 are real for all values of aa and bb, and find a relationship between pp and qq for which the roots of px2+qx+1=0px^2 + qx + 1 = 0 are equal.

The Sum and the Product of the Roots

The roots of a quadratic can be described without being found.

Let α\alpha and β\beta be the roots of ax2+bx+c=0ax^2 + bx + c = 0. Then (xα)(xβ)=0(x-\alpha)(x-\beta) = 0 has the same solutions, and expanding it gives

x2(α+β)x+αβ=0.x^2 - (\alpha + \beta)x + \alpha\beta = 0 .

Dividing the original equation by aa gives

x2+bax+ca=0.x^2 + \frac{b}{a}x + \frac{c}{a} = 0 .

Both are quadratics in which the coefficient of x2x^2 is 11 and which are satisfied by exactly α\alpha and β\beta, so the remaining coefficients agree:

α+β=ba,αβ=ca.\alpha + \beta = -\frac{b}{a}, \qquad \alpha\beta = \frac{c}{a} .

An equation may therefore be written as

x2(sum of roots)x+(product of roots)=0.x^2 - (\text{sum of roots})\,x + (\text{product of roots}) = 0 .

Example 2.17.

The roots of 2x23x+6=02x^2 - 3x + 6 = 0 have sum (32)=32-\left(-\tfrac32\right) = \tfrac32 and product 62=3\tfrac62 = 3. Conversely, a quadratic whose roots have sum 77 and product 1010 may be written x27x+10=0x^2 - 7x + 10 = 0.

Example 2.18 (Building a new equation from an old one).

The roots of 2x27x+4=02x^2 - 7x + 4 = 0 are α\alpha and β\beta. Find 1α+1β\dfrac1\alpha + \dfrac1\beta and 1αβ\dfrac{1}{\alpha\beta}, and write down the equation whose roots are 1α\dfrac1\alpha and 1β\dfrac1\beta.

From the equation, α+β=72\alpha + \beta = \tfrac72 and αβ=2\alpha\beta = 2. Expressing the first quantity in terms of these,

1α+1β=α+βαβ=7/22=74,1αβ=12.\frac1\alpha + \frac1\beta = \frac{\alpha+\beta}{\alpha\beta} = \frac{7/2}{2} = \frac74, \qquad \frac{1}{\alpha\beta} = \frac12 .

The required equation has roots summing to 74\tfrac74 and multiplying to 12\tfrac12, so it is

x274x+12=0,that is4x27x+2=0.x^2 - \tfrac74 x + \tfrac12 = 0, \qquad\text{that is}\qquad 4x^2 - 7x + 2 = 0 .

Remark.

This method works only when each new root depends in the same way on each old one. It applies to roots α2\alpha^2 and β2\beta^2, or 1α\tfrac1\alpha and 1β\tfrac1\beta; it does not apply to roots α+β\alpha + \beta and αβ\alpha - \beta.

Example 2.19.

If α\alpha and β\beta are the roots of x2+3x2=0x^2 + 3x - 2 = 0, find α3+β3\alpha^3 + \beta^3 and α3β3\alpha^3\beta^3, and write down the equation whose roots are α3\alpha^3 and β3\beta^3.

Here α+β=3\alpha + \beta = -3 and αβ=2\alpha\beta = -2. Expanding (α+β)3=α3+3α2β+3αβ2+β3=α3+β3+3αβ(α+β)(\alpha+\beta)^3 = \alpha^3 + 3\alpha^2\beta + 3\alpha\beta^2 + \beta^3 = \alpha^3 + \beta^3 + 3\alpha\beta(\alpha+\beta) and rearranging,

α3+β3=(α+β)33αβ(α+β)=(3)33(2)(3)=2718=45,\alpha^3 + \beta^3 = (\alpha+\beta)^3 - 3\alpha\beta(\alpha+\beta) = (-3)^3 - 3(-2)(-3) = -27 - 18 = -45,

and α3β3=(αβ)3=(2)3=8\alpha^3\beta^3 = (\alpha\beta)^3 = (-2)^3 = -8. So the required equation is x2(45)x+(8)=0x^2 - (-45)x + (-8) = 0, that is

x2+45x8=0.x^2 + 45x - 8 = 0 .

Example 2.20.

Find the range of values of kk for which x22xk=0x^2 - 2x - k = 0 has real roots. If the roots differ by one, find kk.

Real roots require b24ac0b^2 - 4ac \geqslant 0, and (2)24(1)(k)=4+4k0(-2)^2 - 4(1)(-k) = 4 + 4k \geqslant 0 gives k1k \geqslant -1.

If the roots differ by one, write them as α\alpha and α+1\alpha + 1. Their sum is 2α+1=(2)=22\alpha + 1 = -(-2) = 2, so α=12\alpha = \tfrac12. Their product is α(α+1)=k\alpha(\alpha+1) = -k, so k=1232=34-k = \tfrac12 \cdot \tfrac32 = \tfrac34 and k=34k = -\tfrac34.

Problem 2.8.

The roots of 3x2+2x1=03x^2 + 2x - 1 = 0 are α\alpha and β\beta. Without solving the equation, write down and simplify the equation whose roots are

  1. 1α\dfrac1\alpha and 1β\dfrac1\beta;
  2. 2α2\alpha and 2β2\beta;
  3. α2\alpha^2 and β2\beta^2.

Logarithms

A logarithm is another word for an index, read backwards. Since 23=82^3 = 8, we may say that 33 is the power to which the base 22 must be raised to obtain 88, or that 33 is the logarithm which, with base 22, gives 88. This is written

3=log28.3 = \log_2 8 .

Definition 2.21 (Logarithm).

Let a>0a > 0 with a1a \neq 1, and let b>0b > 0. The logarithm of bb to base aa, written logab\log_a b, is the number xx for which

ax=b.a^x = b .

The powers here are those of Definition 1.29.

Example 2.22.

Since 32=93^2 = 9, the number 22 is the logarithm which with base 33 gives 99, so log39=2\log_3 9 = 2. Since (15)2=25\left(\tfrac15\right)^{-2} = 25, we have log1/525=2\log_{1/5} 25 = -2.

The base may be any admissible number. Common logarithms have base 1010, and it is usual to omit the base and write lg\lg for them, so that

lg5=0.6990,lg100=2,lg0.01=2,\lg 5 = 0.6990, \qquad \lg 100 = 2, \qquad \lg 0.01 = -2,

these saying respectively that 100.6990=510^{0.6990} = 5, that 102=10010^2 = 100 and that 102=0.0110^{-2} = 0.01. Any base other than 1010 must be stated.

The Laws of Logarithms

Three rules carry all the manipulation, and each is a rule for indices in disguise.

Let logab=x\log_a b = x and logac=y\log_a c = y, so that ax=ba^x = b and ay=ca^y = c.

For the first rule, bc=axay=ax+ybc = a^x a^y = a^{x+y}, so x+y=logabcx + y = \log_a bc, that is

logab+logac=logabc.(1)\log_a b + \log_a c = \log_a bc . \tag{1}

For the second, bc=axay=axy\dfrac{b}{c} = \dfrac{a^x}{a^y} = a^{x-y}, so xy=logabcx - y = \log_a \dfrac{b}{c}, that is

logablogac=logabc.(2)\log_a b - \log_a c = \log_a \frac{b}{c} . \tag{2}

For the third, put z=logabnz = \log_a b^{\,n}, so that az=bn=(ax)n=anxa^z = b^{\,n} = (a^x)^n = a^{nx}, whence z=nxz = nx, that is

nlogab=logabn.(3)n \log_a b = \log_a b^{\,n} . \tag{3}

The identities (1)(1), (2)(2) and (3)(3) are the three laws of logarithms. Written with a single symbol for the base they read

logxy=logx+logy,logxy=logxlogy,logxy=ylogx.\log xy = \log x + \log y, \qquad \log \frac{x}{y} = \log x - \log y, \qquad \log x^{\,y} = y \log x .

Example 2.23.

Using the laws, an expression may be broken into pieces:

loga2b3=loga2logb3=2loga3logb.\log \frac{a^2}{b^3} = \log a^2 - \log b^3 = 2\log a - 3\log b .

The base is not specified here; it may be anything, provided it is the same in every term.

Conversely, several logarithms may be gathered into one:

log1002log50=log100log502=log1002500=log125.\log 100 - 2\log 50 = \log 100 - \log 50^2 = \log \frac{100}{2500} = \log \frac{1}{25} .

Problem 2.9.

Express each of the following in terms of loga\log a, logb\log b and logc\log c.

  1. logabc\log abc;
  2. logabc\log \dfrac{ab}{c};
  3. loga3bc\log \dfrac{a^3}{\sqrt{bc}}.

Changing the Base

Tables and calculators supply logarithms to base 1010, so a logarithm to another base has to be converted before it can be evaluated. Take log72\log_7 2 and call it xx. Then 7x=27^x = 2, and taking common logarithms of both sides,

xlg7=lg2,sox=lg2lg7=0.30100.8451=0.3562.x \lg 7 = \lg 2, \qquad\text{so}\qquad x = \frac{\lg 2}{\lg 7} = \frac{0.3010}{0.8451} = 0.3562 .

The same argument in general changes base aa to base bb. If logac=x\log_a c = x then ax=ca^x = c, and taking logarithms to base bb gives xlogba=logbcx \log_b a = \log_b c, that is

logac=logbclogba.\log_a c = \frac{\log_b c}{\log_b a} .

Taking c=bc = b in this identity, and using logbb=1\log_b b = 1, gives the special case

logab=1logba.\log_a b = \frac{1}{\log_b a} .

Exponential Equations

An exponential equation is one in which the unknown appears as an index. The third law brings the index down where it can be reached.

Example 2.24.

Solve 5x=105^x = 10.

Taking common logarithms of both sides and using the third law,

xlg5=lg10,sox=lg10lg5=10.6990=1.43x \lg 5 = \lg 10, \qquad\text{so}\qquad x = \frac{\lg 10}{\lg 5} = \frac{1}{0.6990} = 1.43

to three significant figures.

Taking logarithms is no help when the unknown appears in a sum of powers, since log(22x+32x)\log\bigl(2^{2x} + 3 \cdot 2^x\bigr) cannot be simplified. What works instead is a substitution which turns the equation into a quadratic.

Example 2.25.

Solve 22x+3(2x)4=02^{2x} + 3\left(2^x\right) - 4 = 0.

Since 22x=(2x)22^{2x} = \left(2^x\right)^2, putting y=2xy = 2^x makes the equation

y2+3y4=0,that is(y+4)(y1)=0,y^2 + 3y - 4 = 0, \qquad\text{that is}\qquad (y+4)(y-1) = 0,

so y=4y = -4 or y=1y = 1. There is no real xx with 2x=42^x = -4, since a power of 22 is positive. From 2x=12^x = 1 we get x=0x = 0, which is the only solution.

Example 2.26.

Solve the simultaneous equations xy=80xy = 80 and lgx2lgy=1\lg x - 2\lg y = 1.

By the second and third laws the second equation is lgxy2=1\lg \dfrac{x}{y^2} = 1, so xy2=10\dfrac{x}{y^2} = 10 and x=10y2x = 10y^2. Substituting into the first,

10y3=80,soy3=8,y=2,x=40.10y^3 = 80, \qquad\text{so}\qquad y^3 = 8, \quad y = 2, \quad x = 40 .

Example 2.27.

Solve log3x4logx3+3=0\log_3 x - 4\log_x 3 + 3 = 0.

By the special case of the change-of-base identity, logx3=1log3x\log_x 3 = \dfrac{1}{\log_3 x}, so the equation becomes

log3x4log3x+3=0.\log_3 x - \frac{4}{\log_3 x} + 3 = 0 .

Putting y=log3xy = \log_3 x and multiplying through by yy gives y2+3y4=0y^2 + 3y - 4 = 0, that is (y+4)(y1)=0(y+4)(y-1) = 0, so y=4y = -4 or y=1y = 1. Hence

x=34=181orx=3.x = 3^{-4} = \tfrac{1}{81} \qquad\text{or}\qquad x = 3 .

Problem 2.10.

Solve the following.

  1. 2x=52^x = 5;
  2. 32x4(3x)+3=03^{2x} - 4\left(3^x\right) + 3 = 0;
  3. the simultaneous equations log2y=2\log_2 y = 2 and xy=8xy = 8.

Polynomials and Division

The polynomials of the first chapter deserve a closer look. A function ff defined for all numbers is a polynomial if there are numbers a0,a1,,ana_0, a_1, \ldots, a_n such that for all xx

f(x)=anxn+an1xn1++a1x+a0.(1)f(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0 . \tag{1}

Example 2.28.

The function ff with f(x)=3x52x+1f(x) = 3x^5 - 2x + 1 is a polynomial, and f(1)=32+1=2f(1) = 3 - 2 + 1 = 2. The function gg with g(x)=12x4+3x2x+5g(x) = \tfrac12 x^4 + 3x^2 - x + 5 is a polynomial, and

g(2)=1224+3222+5=8+122+5=23.g(2) = \tfrac12 \cdot 2^4 + 3 \cdot 2^2 - 2 + 5 = 8 + 12 - 2 + 5 = 23 .

Coefficients and Degree

When a polynomial can be written as in (1)(1) we say it is of degree at most nn, and if an0a_n \neq 0 we should like to say it has degree nn. Some care is needed before we may. Could the same function also be written

f(x)=bmxm++b0f(x) = b_m x^m + \cdots + b_0

with a different top power? Could it happen, say, that

7x55x4+2x+1=x617x3+x+17x^5 - 5x^4 + 2x + 1 = x^6 - 17x^3 + x + 1

for every number xx? Looking at the two sides settles nothing, and with large coefficients there is no easy test. If the answer were yes then the degree could not be defined at all, since in the example we would not know whether to call it 55 or 66. The answer is no, and we come to it below by way of the roots.

Definition 2.29 (Root).

Let ff be a polynomial. A number cc with f(c)=0f(c) = 0 is called a root of ff.

Example 2.30.

Let f(x)=x23x+2f(x) = x^2 - 3x + 2. Then f(1)=0f(1) = 0, so 11 is a root, and f(2)=0f(2) = 0, so 22 is a root as well.

Let f(x)=ax2+bx+cf(x) = ax^2 + bx + c with a0a \neq 0. If b24ac=0b^2 - 4ac = 0 the polynomial has the single root b2a-\dfrac{b}{2a}, and if b24ac>0b^2 - 4ac > 0 it has the two distinct roots

b+b24ac2aandbb24ac2a.\frac{-b + \sqrt{b^2-4ac}}{2a} \qquad\text{and}\qquad \frac{-b - \sqrt{b^2-4ac}}{2a} .

These are the quadratic equations of the previous chapter, said in the language of roots.

Taking Out a Root

Let ff be a polynomial of degree at most nn and let cc be a root of it. Then there is a polynomial gg of degree at most n1n-1 with

f(x)=(xc)g(x)for all x.f(x) = (x-c)\,g(x) \qquad \text{for all } x .

We show this by rewriting ff in powers of xcx - c rather than powers of xx. Write f(x)=a0+a1x+a2x2++anxnf(x) = a_0 + a_1x + a_2x^2 + \cdots + a_nx^n and substitute

x=(xc)+cx = (x-c) + c

for xx throughout. Each kk-th power ((xc)+c)k\bigl((x-c)+c\bigr)^k expands into a sum of powers of (xc)(x-c) multiplied by numbers, so there are numbers b0,b1,,bnb_0, b_1, \ldots, b_n with

f(x)=b0+b1(xc)+b2(xc)2++bn(xc)nf(x) = b_0 + b_1(x-c) + b_2(x-c)^2 + \cdots + b_n(x-c)^n

for all xx. Setting x=cx = c makes every term after the first vanish, and f(c)=0f(c) = 0, so b0=0b_0 = 0. We may therefore take the factor (xc)(x-c) out of what is left:

f(x)=(xc)(b1+b2(xc)++bn(xc)n1),f(x) = (x-c)\Bigl(b_1 + b_2(x-c) + \cdots + b_n(x-c)^{n-1}\Bigr),

and g(x)=b1+b2(xc)++bn(xc)n1g(x) = b_1 + b_2(x-c) + \cdots + b_n(x-c)^{n-1} is the polynomial wanted.

Remark (The leading coefficient survives).

Look more closely at that gg. Expanding ((xc)+c)k\bigl((x-c)+c\bigr)^k produces one term (xc)k(x-c)^k and others involving lower powers of xcx-c, so the highest power of xcx-c to appear anywhere is the nn-th, and it comes only from ((xc)+c)n\bigl((x-c)+c\bigr)^n, carrying the coefficient ana_n. Hence bn=anb_n = a_n, and gg has the form

g(x)=anxn1+lower terms.g(x) = a_n x^{n-1} + \text{lower terms} .

How Many Roots There Can Be

Let ff be a polynomial and let a0,,ana_0, \ldots, a_n be numbers with an0a_n \neq 0 such that f(x)=anxn+an1xn1++a0f(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_0 for all xx. Then ff has at most nn roots.

We show this by taking the roots out one at a time. Let c1,c2,,crc_1, c_2, \ldots, c_r be distinct roots of ff and suppose rnr \geqslant n. Write f(x)=(xc1)g1(x)f(x) = (x-c_1)g_1(x) with g1g_1 of degree at most n1n-1. Then

0=f(c2)=(c2c1)g1(c2),0 = f(c_2) = (c_2 - c_1)\,g_1(c_2),

and c2c1c_2 \neq c_1, so g1(c2)=0g_1(c_2) = 0: that is, c2c_2 is a root of g1g_1. The same argument applies to g1g_1, giving g1(x)=(xc2)g2(x)g_1(x) = (x-c_2)g_2(x) with g2(c3)=0g_2(c_3) = 0 and g2g_2 of degree at most n2n-2. Continuing in this way until what is left is constant,

f(x)=(xc1)(xc2)(xcn)cf(x) = (x-c_1)(x-c_2)\cdots(x-c_n)\,c

for all xx, and by the remark above c=an0c = a_n \neq 0. So if xx is not one of c1,,cnc_1, \ldots, c_n then no factor vanishes and f(x)0f(x) \neq 0. There is therefore no room for a further root.

The Coefficients Are Determined

Suppose a polynomial ff can be written both as

f(x)=anxn+an1xn1++a0andf(x)=bnxn+bn1xn1++b0.f(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_0 \qquad\text{and}\qquad f(x) = b_nx^n + b_{n-1}x^{n-1} + \cdots + b_0 .

Then ai=bia_i = b_i for every ii.

We show this by subtracting. The polynomial

0=f(x)f(x)=(anbn)xn+(an1bn1)xn1++(a0b0)0 = f(x) - f(x) = (a_n - b_n)x^n + (a_{n-1}-b_{n-1})x^{n-1} + \cdots + (a_0 - b_0)

takes the value 00 at every number. Put di=aibid_i = a_i - b_i and suppose some did_i is non-zero; let mm be the largest index for which this happens, so that

0=dmxm++d00 = d_mx^m + \cdots + d_0

for all xx, with dm0d_m \neq 0. A polynomial written this way has at most mm roots, and this one has every number for a root. That is impossible, so every did_i is zero.

So there is only one way of writing a polynomial in the form (1)(1): the numbers an,,a0a_n, \ldots, a_0 are determined by the function. They are called the coefficients of ff, the number ana_n is the leading coefficient when an0a_n \neq 0, and a0a_0 is the constant term. The worry raised above is settled, and a polynomial with an0a_n \neq 0 may safely be said to have degree nn.

Example 2.31.

Let f(x)=4x57x3+x20f(x) = 4x^5 - 7x^3 + x - 20. Its coefficients are

4,0,7,0,1,20,4, \quad 0, \quad -7, \quad 0, \quad 1, \quad -20,

where we have written down the coefficient of every power up to the fifth, those of x4x^4 and x2x^2 being zero. The leading coefficient is 44 and the constant term is 20-20, so ff has degree 55.

Remark (Vanishing at a point, and vanishing everywhere).

It often happens that f(x)=0f(x) = 0 for some xx, that is, that ff has a root. This does not make ff the zero polynomial. We call ff the zero polynomial, or say it is identically zero, only when f(x)=0f(x) = 0 for all numbers xx, which happens exactly when all of its coefficients are 00. A polynomial with even one non-zero coefficient is not the zero polynomial, however many roots it may have.

Factorising

The previous chapter determines all the roots of a polynomial of degree 22. For higher degrees it is much harder. Formulas using radicals exist for degrees 33 and 44, and it is a classical result that no such formula can exist in general from degree 55 upwards.

For a polynomial with integer coefficients one may look for the rational roots, and a great deal of time is often spent factoring to find them. It is unusual for a polynomial to factorise so obligingly, and in the quadratic case the systematic answer is the formula rather than a search for factors. Two cases of factorising are worth having.

Example 2.32.

Let f(x)=3x25x+1f(x) = 3x^2 - 5x + 1. Its discriminant is 2512=1325 - 12 = 13, so by the formula its roots are

c1=5+136,c2=5136,c_1 = \frac{5 + \sqrt{13}}{6}, \qquad c_2 = \frac{5 - \sqrt{13}}{6},

and taking each root out in turn factors ff into two factors of degree 11:

f(x)=3(xc1)(xc2).f(x) = 3(x - c_1)(x - c_2) .

The general case runs the same way. If f(x)=ax2+bx+cf(x) = ax^2 + bx + c with a0a \neq 0 and b24ac>0b^2 - 4ac > 0, then ff has two distinct roots c1c_1 and c2c_2 and

f(x)=a(xc1)(xc2).f(x) = a(x-c_1)(x-c_2) .

Example 2.33.

Let f(x)=xn1f(x) = x^n - 1. Then f(1)=1n1=0f(1) = 1^n - 1 = 0, so 11 is a root and x1x - 1 must be a factor:

xn1=(x1)g(x)x^n - 1 = (x-1)\,g(x)

for some polynomial gg. Multiplying out (x1)(xn1+xn2++x+1)(x-1)(x^{n-1} + x^{n-2} + \cdots + x + 1) and watching the terms cancel in pairs identifies gg.

Long Division

Dividing one polynomial by another is the exact analogue of dividing one positive integer by another with a remainder, so we recall that first.

Example 2.34 (Dividing integers).

Divide 327327 by 1717. Set out as at school,

        1 9
    ----------
 17 ) 3 2 7
      1 7
      -----
      1 5 7
      1 5 3
      -----
            4

which tells us that 327=1917+4327 = 19 \cdot 17 + 4, and 44 is the remainder. The first digit 11 was chosen as the largest integer whose product with 1717 is at most 3232; multiplying, subtracting and bringing down the 77 left 157157; then 99 was chosen as the largest integer whose product with 1717 is at most 157157, and subtracting 153153 left 44. Since 4<174 < 17 we stop.

In general, for positive integers nn and dd there are an integer q0q \geqslant 0 and an integer rr with 0r<d0 \leqslant r < d such that n=qd+rn = qd + r. Note that although the procedure is called long division, it uses only multiplication and subtraction.

The same procedure works for polynomials, and is called the Euclidean algorithm: for non-zero polynomials ff and gg there are polynomials qq and rr, the degree of rr being smaller than the degree of gg, such that

f(x)=q(x)g(x)+r(x).f(x) = q(x)\,g(x) + r(x) .

The polynomial rr is the remainder.

Example 2.35 (Dividing polynomials).

Let f(x)=4x33x2+x+2f(x) = 4x^3 - 3x^2 + x + 2 and g(x)=x2+1g(x) = x^2 + 1. Laid out as for integers,

              4x -  3
          ------------------------
 x² + 1 ) 4x³ - 3x² +  x + 2
          4x³       + 4x
          ------------------------
              - 3x² - 3x + 2
              - 3x²      - 3
          ------------------------
                    - 3x + 5

so that q(x)=4x3q(x) = 4x - 3 and r(x)=3x+5r(x) = -3x + 5, and

4x33x2+x+2=(4x3)(x2+1)+(3x+5).4x^3 - 3x^2 + x + 2 = (4x-3)(x^2+1) + (-3x+5) .

Each step goes as follows. We take 4x4x first because 4xx24x \cdot x^2 is the term of highest degree in ff; multiplying 4x4x by x2+1x^2 + 1 gives 4x3+4x4x^3 + 4x, which we write underneath with matching powers aligned, and subtracting leaves 3x23x+2-3x^2 - 3x + 2. We then take 3-3, because (3)x2(-3) \cdot x^2 is the term of highest degree in what is left; multiplying gives 3x23-3x^2 - 3, and subtracting leaves 3x+5-3x + 5. This has degree 11, smaller than the degree of gg, so the computation is finished.

The reason the procedure works is visible in the steps. Writing f3=ff_3 = f, the multiplier 4x4x was chosen so that f3(x)4x(x2+1)f_3(x) - 4x(x^2+1) has degree 22, the term 4x34x^3 cancelling; call the result f2f_2. The multiplier 3-3 was then chosen so that f2(x)(3)(x2+1)f_2(x) - (-3)(x^2+1) has degree 11, the term 3x2-3x^2 cancelling. Putting the two together,

f3(x)(4x3)g(x)=3x+5,f_3(x) - (4x-3)\,g(x) = -3x + 5,

which is exactly f=qg+rf = qg + r.

Example 2.36.

Let f(x)=2x43x2+1f(x) = 2x^4 - 3x^2 + 1 and g(x)=x2x+3g(x) = x^2 - x + 3. The same pattern gives

                 2x² + 2x -  7
          ---------------------------------
 x² - x + 3 ) 2x⁴       - 3x²      + 1
              2x⁴ - 2x³ + 6x²
          ---------------------------------
                  + 2x³ - 9x²      + 1
                    2x³ - 2x² + 6x
          ---------------------------------
                        - 7x² - 6x + 1
                        - 7x² + 7x - 21
          ---------------------------------
                              - 13x + 22

so q(x)=2x2+2x7q(x) = 2x^2 + 2x - 7 and r(x)=13x+22r(x) = -13x + 22.

Remark.

Long division gives a second route to the factor taken out earlier. Dividing ff by xcx - c,

f(x)=q(x)(xc)+r(x)f(x) = q(x)(x-c) + r(x)

where rr has degree smaller than 11 and so is a constant, say aa. Evaluating both sides at x=cx = c gives 0=0+a0 = 0 + a, so a=0a = 0: the remainder vanishes and xcx - c is a factor.

The Remainder on Division

That last observation is worth stating on its own, since it evaluates a remainder without any division at all.

If ff is a polynomial which, on division by xax - a, gives quotient Q(x)Q(x) and remainder RR, then

f(x)=(xa)Q(x)+R,f(x) = (x-a)\,Q(x) + R,

and substituting aa for xx makes the first term vanish and gives

R=f(a).R = f(a) .

So when f(x)f(x) is divided by xax - a the remainder is f(a)f(a).

Example 2.37.

Divide f(x)=x37x2+6x2f(x) = x^3 - 7x^2 + 6x - 2 by x2x - 2. Long division gives quotient x25x4x^2 - 5x - 4 and remainder 10-10, that is

x37x2+6x2=(x2)(x25x4)10.x^3 - 7x^2 + 6x - 2 = (x-2)(x^2 - 5x - 4) - 10 .

Substituting x=2x = 2 in this identity kills the quotient and leaves f(2)=10f(2) = -10, as the rule promises.

Example 2.38.

The remainder when x32x2+6x^3 - 2x^2 + 6 is divided by x+3x + 3 is

f(3)=(3)32(3)2+6=2718+6=39.f(-3) = (-3)^3 - 2(-3)^2 + 6 = -27 - 18 + 6 = -39 .

The remainder when 6x27x+26x^2 - 7x + 2 is divided by 2x12x - 1 is f(12)=6472+2=0f\left(\tfrac12\right) = \tfrac64 - \tfrac72 + 2 = 0.

Remark.

This gives the remainder only. If the quotient is wanted, the long division must still be carried out.

Recognising a Factor

If xax - a is a factor of f(x)f(x) there is no remainder, so R=0R = 0 and f(a)=0f(a) = 0; and conversely, as we saw, a root produces a factor. So

xa is a factor of f(x)exactly whenf(a)=0.x - a \text{ is a factor of } f(x) \qquad\text{exactly when}\qquad f(a) = 0 .

This is what makes polynomials of degree greater than 22 tractable by hand.

Example 2.39 (Factorising a quartic).

Factorise x43x3+4x28x^4 - 3x^3 + 4x^2 - 8 completely.

Put f(x)=x43x3+4x28f(x) = x^4 - 3x^3 + 4x^2 - 8. The constant term is 8-8, whose divisors are ±1,±2,±4,±8\pm1, \pm2, \pm4, \pm8, so those are the only whole numbers worth trying. Now

f(1)=13+48=60,f(1) = 1 - 3 + 4 - 8 = -6 \neq 0,

so x1x - 1 is not a factor, while

f(1)=1+3+48=0,f(-1) = 1 + 3 + 4 - 8 = 0,

so x+1x + 1 is a factor. Taking it out, by inspection or by long division,

x43x3+4x28=(x+1)(x34x2+8x8).x^4 - 3x^3 + 4x^2 - 8 = (x+1)\bigl(x^3 - 4x^2 + 8x - 8\bigr) .

Now put g(x)=x34x2+8x8g(x) = x^3 - 4x^2 + 8x - 8. Since g(1)=14880g(-1) = -1 - 4 - 8 - 8 \neq 0, the factor x+1x+1 does not repeat; since g(2)=816+168=0g(2) = 8 - 16 + 16 - 8 = 0, the factor x2x - 2 appears, and

x34x2+8x8=(x2)(x22x+4).x^3 - 4x^2 + 8x - 8 = (x-2)\bigl(x^2 - 2x + 4\bigr) .

The discriminant of x22x+4x^2 - 2x + 4 is 416=12<04 - 16 = -12 < 0, so it has no real roots and no linear factors. Therefore

x43x3+4x28=(x+1)(x2)(x22x+4).x^4 - 3x^3 + 4x^2 - 8 = (x+1)(x-2)\bigl(x^2 - 2x + 4\bigr) .

Note that after the first factor has been taken out it must be tried again on what remains, since repeated factors are common.

The Factors of a3±b3a^3 \pm b^3

Read as a polynomial in aa, the expression a3b3a^3 - b^3 vanishes when a=ba = b, so aba - b is a factor of it; and a3+b3a^3 + b^3 vanishes when a=ba = -b, so a+ba + b is a factor of that. Carrying out the division gives

a3b3=(ab)(a2+ab+b2),a3+b3=(a+b)(a2ab+b2),a^3 - b^3 = (a-b)\bigl(a^2 + ab + b^2\bigr), \qquad a^3 + b^3 = (a+b)\bigl(a^2 - ab + b^2\bigr),

as multiplying out confirms.

Problem 2.11.

Determine whether each linear function is a factor of the polynomial beside it.

  1. x1x - 1 and x37x+6x^3 - 7x + 6;
  2. x2x - 2 and x36x2+6x2x^3 - 6x^2 + 6x - 2;
  3. x+ax + a and x3+ax2axa2x^3 + ax^2 - ax - a^2.

Problem 2.12.

Factorise as far as possible.

  1. x3+2x2x2x^3 + 2x^2 - x - 2;
  2. 27x3127x^3 - 1;
  3. x3+a3x^3 + a^3.

Problem 2.13.

If x27x+ax^2 - 7x + a leaves remainder 11 on division by x+1x + 1, find aa. If x2x - 2 is a factor of ax312x+4ax^3 - 12x + 4, find aa.

Binomial Expansions

Definition 2.40 (Binomial).

A binomial is the sum, or difference, of two terms. So a+ba+b, 2x+3y2x+3y and prp - r are binomials.

Expanding a power of a binomial by repeated multiplication is quick enough for a square,

(x+y)3=(x+y)(x+y)2=(x2+2xy+y2)(x+y)=x3+3x2y+3xy2+y3,(x+y)^3 = (x+y)(x+y)^2 = (x^2 + 2xy + y^2)(x+y) = x^3 + 3x^2y + 3xy^2 + y^3,

and tedious from the cube upwards. There is a much faster route.

Pascal’s Triangle

Set out the first few powers of 1+x1+x:

(1+x)0=1,(1+x)1=1+x,(1+x)2=1+2x+x2,(1+x)3=1+3x+3x2+x3,(1+x)4=1+4x+6x2+4x3+x4.\begin{aligned} (1+x)^0 &= 1, \\ (1+x)^1 &= 1 + x, \\ (1+x)^2 &= 1 + 2x + x^2, \\ (1+x)^3 &= 1 + 3x + 3x^2 + x^3, \\ (1+x)^4 &= 1 + 4x + 6x^2 + 4x^3 + x^4 . \end{aligned}

Each expansion is the one above it multiplied by (1+x)(1+x), which is to say the one above it added to the one above it shifted up a power. So the coefficient of any power of xx is the sum of the coefficients of the same power and the preceding power in the line before. Writing the coefficients alone as a triangular array, and continuing the rule as far as we please, gives Pascal’s triangle.

111121133114641151010511615201561172135352171
Figure 2.3. Pascal’s triangle. Each entry is the sum of the two above it, as the arrows show for 10+10=2010 + 10 = 20.

Row five of the triangle therefore gives

(1+x)5=1+5x+10x2+10x3+5x4+x5.(1+x)^5 = 1 + 5x + 10x^2 + 10x^3 + 5x^4 + x^5 .

Expanding a Power

Once the coefficients are known, any binomial power follows by substitution.

Example 2.41.

Expand (1+3y)3(1+3y)^3.

From the triangle, (1+x)3=1+3x+3x2+x3(1+x)^3 = 1 + 3x + 3x^2 + x^3. Replacing xx by 3y3y,

(1+3y)3=1+3(3y)+3(3y)2+(3y)3=1+9y+27y2+27y3.(1+3y)^3 = 1 + 3(3y) + 3(3y)^2 + (3y)^3 = 1 + 9y + 27y^2 + 27y^3 .

Example 2.42.

Expand (a+b)4(a+b)^4.

From the triangle, (1+x)4=1+4x+6x2+4x3+x4(1+x)^4 = 1 + 4x + 6x^2 + 4x^3 + x^4. Writing

(a+b)4=a4(1+ba)4(a+b)^4 = a^4\left(1 + \frac{b}{a}\right)^4

and replacing xx by ba\dfrac{b}{a} gives

(a+b)4=a4(1+4ba+6b2a2+4b3a3+b4a4)=a4+4a3b+6a2b2+4ab3+b4.(a+b)^4 = a^4\left(1 + 4\frac{b}{a} + 6\frac{b^2}{a^2} + 4\frac{b^3}{a^3} + \frac{b^4}{a^4}\right) = a^4 + 4a^3b + 6a^2b^2 + 4ab^3 + b^4 .

Three things are worth noticing in that expansion.

  1. The powers of aa and bb in each term add up to 44.
  2. As the powers of aa decrease, the powers of bb increase.
  3. The numerical coefficients are those of (1+x)4(1+x)^4.

With these, an expansion may be written straight down from the triangle. Row six gives

(a+b)6=a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6.(a+b)^6 = a^6 + 6a^5b + 15a^4b^2 + 20a^3b^3 + 15a^2b^4 + 6ab^5 + b^6 .

Example 2.43.

Expand (2x3y)3(2x-3y)^3.

Using (a+b)3=a3+3a2b+3ab2+b3(a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3 with a=2xa = 2x and b=3yb = -3y,

(2x3y)3=(2x)3+3(2x)2(3y)+3(2x)(3y)2+(3y)3=8x336x2y+54xy227y3.(2x-3y)^3 = (2x)^3 + 3(2x)^2(-3y) + 3(2x)(-3y)^2 + (-3y)^3 = 8x^3 - 36x^2y + 54xy^2 - 27y^3 .

Problem 2.14.

Expand each of the following.

  1. (1+2x)4(1+2x)^4;
  2. (1y)5(1-y)^5;
  3. (2x1)3(2x - 1)^3.

Problem 2.15.

By expanding (1+0.01)3(1+0.01)^3, evaluate (1.01)3(1.01)^3 exactly without a calculator. Then evaluate (2.1)3(2.1)^3 the same way.

Exercises

Exercise 2.1.

Find the stated values.

  1. f(x)=2x+x25f(x) = 2x + x^2 - 5: find f(1)f(1) and f(1)f(-1).
  2. f(x)=x4f(x) = \sqrt[4]{x}: for which numbers does this formula define a function, and what is f(16)f(16)?
  3. f(x)=1x2f(x) = \dfrac{1}{x-2}: for which numbers does this formula define a function, and what is f(0)f(0)?

Exercise 2.2.

Write x=x2|x| = \sqrt{x^2}, the positive square root, so that x|x| is xx when xx is positive or zero and x-x when xx is negative.

  1. Find 1|1|, 3|-3| and 23\left|-\tfrac23\right|.
  2. Let g(x)=x+xg(x) = x + |x|. Find g(2)g(2), g(4)g(-4) and g(5)g(-5), and describe in a sentence what gg does to a number.

Exercise 2.3.

A function defined for all numbers is even if f(x)=f(x)f(x) = f(-x) for every xx, and odd if f(x)=f(x)f(x) = -f(-x) for every xx. Determine which of the following are even, which are odd, and which are neither.

  1. f(x)=xf(x) = x;
  2. f(x)=x2f(x) = x^2;
  3. f(x)=x3f(x) = x^3;
  4. f(x)=1/xf(x) = 1/x for x0x \neq 0, with f(0)=0f(0) = 0.

Exercise 2.4.

Show that any function ff defined for all numbers can be written as the sum of an even function and an odd function, by considering

f(x)+f(x)2andf(x)f(x)2.\frac{f(x) + f(-x)}{2} \qquad\text{and}\qquad \frac{f(x) - f(-x)}{2} .

Exercise 2.5.

Let f(x)=x21f(x) = x^2 - 1 and g(x)=x+1g(x) = x + 1, both defined for all numbers.

  1. Write down formulas for (f+g)(x)(f+g)(x) and (fg)(x)(fg)(x).
  2. Find (f+g)(2)(f + g)(2) and (fg)(1)(fg)(-1).
  3. Show that ff has a root which gg also has, and factorise ff to display it.

Exercise 2.6.

Express each of the following in partial fractions.

  1. 7(x3)(x+4)\dfrac{7}{(x-3)(x+4)};
  2. 2x+1(x1)2\dfrac{2x+1}{(x-1)^2};
  3. x2+x(x+2)(x1)\dfrac{x^2 + x}{(x+2)(x-1)}.

Exercise 2.7.

Solve each equation, giving surds in exact form.

  1. 3x27x+2=03x^2 - 7x + 2 = 0;
  2. x24x+1=0x^2 - 4x + 1 = 0;
  3. x(x+2)=3x+6x(x+2) = 3x + 6.

Exercise 2.8.

Determine the nature of the roots of each equation without solving it, and in the last case find the values of kk.

  1. 5x22x+1=05x^2 - 2x + 1 = 0;
  2. x2+23x+3=0x^2 + 2\sqrt{3}\,x + 3 = 0;
  3. kx2+4x+k=0kx^2 + 4x + k = 0 has equal roots.

Exercise 2.9.

The roots of x25x+2=0x^2 - 5x + 2 = 0 are α\alpha and β\beta. Without solving the equation, find

  1. α+β\alpha + \beta and αβ\alpha\beta;
  2. α2+β2\alpha^2 + \beta^2;
  3. the equation whose roots are α+1\alpha + 1 and β+1\beta + 1.

Exercise 2.10.

Express in terms of loga\log a, logb\log b and logc\log c.

  1. loga2bc\log \dfrac{a^2b}{c};
  2. logab\log \sqrt{ab};
  3. log1a3\log \dfrac{1}{a^3}.

Exercise 2.11.

Solve the following.

  1. 3x=203^x = 20, to three significant figures;
  2. 4x5(2x)+4=04^x - 5\left(2^x\right) + 4 = 0;
  3. log2x+log2(x2)=3\log_2 x + \log_2 (x-2) = 3.

Exercise 2.12.

Show that logab×logba=1\log_a b \times \log_b a = 1, and use a change of base to evaluate log512\log_5 12 to three significant figures.

Exercise 2.13.

Let f(x)=2x3x25x2f(x) = 2x^3 - x^2 - 5x - 2.

  1. Find the remainder when f(x)f(x) is divided by x1x - 1.
  2. Show that x+1x + 1 is a factor of f(x)f(x), and factorise f(x)f(x) completely.
  3. Write down all the roots of ff.

Exercise 2.14.

Carry out the long division of ff by gg, giving the quotient and the remainder.

  1. f(x)=x3+2x2x+5f(x) = x^3 + 2x^2 - x + 5 and g(x)=x+3g(x) = x + 3;
  2. f(x)=3x4x2+2f(x) = 3x^4 - x^2 + 2 and g(x)=x2+x1g(x) = x^2 + x - 1.

Exercise 2.15.

Factorise as far as possible, using the factors of a3±b3a^3 \pm b^3 where they help.

  1. 8x3278x^3 - 27;
  2. x3+64x^3 + 64;
  3. x416x^4 - 16.

Exercise 2.16.

Expand the following.

  1. (1+2x)4(1 + 2x)^4;
  2. (x2y)3(x - 2y)^3;
  3. (a+1a)4\left(a + \tfrac1a\right)^4, simplifying each term.

Exercise 2.17.

Use Pascal’s triangle to write down the expansion of (1+2)4(1+\sqrt{2})^4, and simplify it to the form p+q2p + q\sqrt{2} with pp and qq whole numbers. Do the same for (12)4(1-\sqrt{2})^4, and add your two answers.

Check Yourself

 

Fresh questions on the whole chapter — none of them is worked out above. Do each on paper first; the box only tells you whether you got there.

Answers are checked in your browser, as often as you like. Nothing is sent anywhere and nothing is kept but your own work. A formula may be written with the symbols themselves or with ~ & | -> <-> ^, and \and, \or, \to expand as you type.

Exercise 2.18.

Let f(x)=x24f(x) = x^2 - 4. What is f(3)f(-3)?

answer one of these

Exercise 2.19.

What is the degree of the polynomial 72x4+x7 - 2x^4 + x?

answer one of these

Exercise 2.20.

Which of these fractional functions is proper?

answer one of these

Exercise 2.21.

In the decomposition 1(x1)(x+1)=Ax1+Bx+1\dfrac{1}{(x-1)(x+1)} = \dfrac{A}{x-1} + \dfrac{B}{x+1}, what is AA?

answer one of these

Exercise 2.22.

How many partial fractions does a repeated factor (2x+1)3(2x+1)^3 in a denominator give rise to?

answer one of these

Exercise 2.23.

What is the discriminant of x26x+4x^2 - 6x + 4?

answer one of these

Exercise 2.24.

The equation x2+4x+4=0x^2 + 4x + 4 = 0 has

answer one of these

Exercise 2.25.

The roots of 2x2+6x5=02x^2 + 6x - 5 = 0 are α\alpha and β\beta. What is α+β\alpha + \beta?

answer one of these

Exercise 2.26.

Which equation has roots whose sum is 44 and whose product is 5-5?

answer one of these

Exercise 2.27.

What is log464\log_4 64?

answer one of these

Exercise 2.28.

Written as a single logarithm, 2logxlogy2\log x - \log y is

answer one of these

Exercise 2.29.

What is the remainder when x3+2x1x^3 + 2x - 1 is divided by x2x - 2?

answer one of these

Exercise 2.30.

For which value of aa is x3x - 3 a factor of x2ax+6x^2 - ax + 6?

answer one of these

Exercise 2.31.

At most how many roots can a polynomial of degree 44 have?

answer one of these

Exercise 2.32.

What is the coefficient of x2x^2 in the expansion of (1+x)6(1+x)^6?

answer one of these

Exercise 2.33.

In the expansion of (a+b)5(a+b)^5, what is the coefficient of a2b3a^2b^3?

answer one of these