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
A function, defined for all numbers, is an association which to each number associates another number. If we denote the function by , the association is written
and is called the value of the function at , or the image of under .
The association is a function, called the square. The association is another. Their values are read off by substituting:
Thinking of the value given to as an input and the corresponding value of the function as an output, we may read as “the function which, when we input a value for , gives as output the value “.
Using as the symbol for a function, we write for a function of and for a function of , so the two associations above may equally be written and . To represent the value when we write . So for ,
Both and vary, but may be given any value while the value of depends on it. So is called the independent variable and the dependent variable.
The association which to each number associates the number is the constant function with value . More generally, for a given number , the association
is the constant function with value .
Remark (A warning about language).
It is convenient, and slightly incorrect, to write a sentence like “let be such and such a function”. The trouble is that is not quantified: what is meant is the function whose value at a number 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 and be functions defined on the same set . Their sum is the function whose value at an element of is
Associativity of addition for numbers gives associativity for functions at once: for any , , defined on ,
and commutativity for numbers gives in the same way.
There is a zero function, whose value at every in is , and which we also denote by . For every defined on ,
If is defined on then minus , written , is the function whose value at is .
If then , so , and
the zero function.
So functions satisfy the same basic rules for addition as numbers do, and the same holds for multiplication. The product of two functions defined on is the function whose value at is
and this product is commutative and associative for the same reason as before. If denotes the constant function with value for all in , then
Multiplication distributes over addition. Reading the definitions off one after another,
and since the two sides agree at every in ,
Functions of numbers occur in physical life whenever one quantity is described in terms of another.
Let and , both defined for all numbers.
- Give the values of , and .
- Write down formulas for and .
- Show that and have the same value at every .
Find , , and for each of the following.
- ;
- ;
- .
Polynomials
If every term of a function has the form , where is a constant and is a non-negative integer, the function is a polynomial. The highest power of occurring in it is its degree.
The functions , , and are polynomials; , and are not, since their exponents are not non-negative integers (Definition 1.29 gives the meaning of , and it is not a whole power).
The polynomial has degree .
Fractional Functions
A fractional function is one of the form
with and 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 may be written as a whole number plus a proper fraction,
and an improper algebraic fraction splits the same way. The fraction is improper, its numerator and denominator having equal degree, and
State the degree of each polynomial, and say which of the following fractional functions are proper and which improper.
- ;
- ;
- .
Partial Fractions
Two fractions with different denominators may be combined into one. Starting from
putting both over a common denominator gives
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 into partial fractions.
The factors are linear, so we look for constants and with
The denominators are identical, so the numerators must be as well:
and this holds for every value of . Substituting kills the term and gives , so . Substituting kills the term and gives , so . Therefore
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 in partial fractions.
The second factor is quadratic, so we look for
each numerator chosen so that its fraction is proper. Clearing denominators,
Substituting gives , so . There is no value of making zero, so cannot be eliminated the same way, and the remaining constants come from comparing coefficients. On the left the coefficient of is ; on the right it is . Hence . Substituting in gives , so . Therefore
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 in partial fractions.
Since is a repeated factor we might think of writing over it. That is not the simplest form. Putting ,
so a repeated linear factor is better written as two fractions. We therefore look for
that is, . Substituting gives , so . Substituting gives , so . Comparing the coefficients of gives , so . Therefore
In general a repeated factor in a denominator gives rise to two partial fractions,
and a factor gives rise to three, with denominators , and .
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 in partial fractions.
The numerator and the denominator both have degree , so the fraction is improper. Since ,
and the remaining fraction is proper. Writing
and substituting gives , so ; substituting gives , so . Therefore
Express each of the following in partial fractions.
- ;
- ;
- .
Quadratic Equations
Definition 2.11 (Quadratic Equation).
An equation of the form
with 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.
Solve .
The left-hand side factorises, so the equation becomes
from which either , giving , or , giving .
Losing a Solution
Solutions can be lost if a step is taken carelessly. Consider and two ways of handling it.
Dividing through by gives , so .
Factorising instead gives , so either or , giving or .
The first route lost the solution , and it lost it because the equation was divided by the common factor . 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.
Solve each equation, taking care not to lose a solution.
- ;
- ;
- .
Completing the Square
Not every quadratic factorises over the rationals, and one that does not can still be rearranged into a square.
Solve .
Dividing by gives
Half the coefficient of is , so adding to both sides makes the left-hand side a perfect square:
Taking square roots,
Since to four significant figures, or .
The Quadratic Formula
Completing the square on the general equation gives a formula for the roots once and for all.
Let be real with . The solutions of are
provided is positive or zero. If 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 , and dividing by makes this
To complete the square on the left we want , so . Adding to both sides gives
If 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 is positive or zero we may take the square root, and
which rearranges into the formula.
Remark.
The formula is worth committing to memory. Read it aloud like a line of verse: ” equals minus , plus or minus the square root of squared minus four , all over two .”
The Discriminant
The quantity under the root decides how many roots there are.
Definition 2.14 (Discriminant).
For the equation the number is called the discriminant.
If the discriminant is positive, 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 : the equation has one repeated root, also called equal roots. If it is negative, has no real value and the equation has no real roots. To summarise,
- has two real distinct roots if ;
- has equal roots if ;
- has no real roots if .
Example 2.15 (Determining the nature of the roots).
- For the discriminant is , so there are two distinct real roots.
- For the discriminant is , which is negative for every , so there are no real roots; when the discriminant is and the equation has the repeated root .
- For the discriminant is , which is positive unless and are both zero, so there are two distinct real roots.
Find the value of for which has equal roots.
Equal roots means the discriminant vanishes, so , that is and .
Determine the nature of the roots of the following, without solving them.
- ;
- ;
- , for a real constant .
Show that the roots of are real for all values of and , and find a relationship between and for which the roots of are equal.
The Sum and the Product of the Roots
The roots of a quadratic can be described without being found.
Let and be the roots of . Then has the same solutions, and expanding it gives
Dividing the original equation by gives
Both are quadratics in which the coefficient of is and which are satisfied by exactly and , so the remaining coefficients agree:
An equation may therefore be written as
The roots of have sum and product . Conversely, a quadratic whose roots have sum and product may be written .
Example 2.18 (Building a new equation from an old one).
The roots of are and . Find and , and write down the equation whose roots are and .
From the equation, and . Expressing the first quantity in terms of these,
The required equation has roots summing to and multiplying to , so it is
Remark.
This method works only when each new root depends in the same way on each old one. It applies to roots and , or and ; it does not apply to roots and .
If and are the roots of , find and , and write down the equation whose roots are and .
Here and . Expanding and rearranging,
and . So the required equation is , that is
Find the range of values of for which has real roots. If the roots differ by one, find .
Real roots require , and gives .
If the roots differ by one, write them as and . Their sum is , so . Their product is , so and .
The roots of are and . Without solving the equation, write down and simplify the equation whose roots are
- and ;
- and ;
- and .
Logarithms
A logarithm is another word for an index, read backwards. Since , we may say that is the power to which the base must be raised to obtain , or that is the logarithm which, with base , gives . This is written
Let with , and let . The logarithm of to base , written , is the number for which
The powers here are those of Definition 1.29.
Since , the number is the logarithm which with base gives , so . Since , we have .
The base may be any admissible number. Common logarithms have base , and it is usual to omit the base and write for them, so that
these saying respectively that , that and that . Any base other than must be stated.
The Laws of Logarithms
Three rules carry all the manipulation, and each is a rule for indices in disguise.
Let and , so that and .
For the first rule, , so , that is
For the second, , so , that is
For the third, put , so that , whence , that is
The identities , and are the three laws of logarithms. Written with a single symbol for the base they read
Using the laws, an expression may be broken into pieces:
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:
Express each of the following in terms of , and .
- ;
- ;
- .
Changing the Base
Tables and calculators supply logarithms to base , so a logarithm to another base has to be converted before it can be evaluated. Take and call it . Then , and taking common logarithms of both sides,
The same argument in general changes base to base . If then , and taking logarithms to base gives , that is
Taking in this identity, and using , gives the special case
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.
Solve .
Taking common logarithms of both sides and using the third law,
to three significant figures.
Taking logarithms is no help when the unknown appears in a sum of powers, since cannot be simplified. What works instead is a substitution which turns the equation into a quadratic.
Solve .
Since , putting makes the equation
so or . There is no real with , since a power of is positive. From we get , which is the only solution.
Solve the simultaneous equations and .
By the second and third laws the second equation is , so and . Substituting into the first,
Solve .
By the special case of the change-of-base identity, , so the equation becomes
Putting and multiplying through by gives , that is , so or . Hence
Solve the following.
- ;
- ;
- the simultaneous equations and .
Polynomials and Division
The polynomials of the first chapter deserve a closer look. A function defined for all numbers is a polynomial if there are numbers such that for all
The function with is a polynomial, and . The function with is a polynomial, and
Coefficients and Degree
When a polynomial can be written as in we say it is of degree at most , and if we should like to say it has degree . Some care is needed before we may. Could the same function also be written
with a different top power? Could it happen, say, that
for every number ? 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 or . The answer is no, and we come to it below by way of the roots.
Let be a polynomial. A number with is called a root of .
Let . Then , so is a root, and , so is a root as well.
Let with . If the polynomial has the single root , and if it has the two distinct roots
These are the quadratic equations of the previous chapter, said in the language of roots.
Taking Out a Root
Let be a polynomial of degree at most and let be a root of it. Then there is a polynomial of degree at most with
We show this by rewriting in powers of rather than powers of . Write and substitute
for throughout. Each -th power expands into a sum of powers of multiplied by numbers, so there are numbers with
for all . Setting makes every term after the first vanish, and , so . We may therefore take the factor out of what is left:
and is the polynomial wanted.
Remark (The leading coefficient survives).
Look more closely at that . Expanding produces one term and others involving lower powers of , so the highest power of to appear anywhere is the -th, and it comes only from , carrying the coefficient . Hence , and has the form
How Many Roots There Can Be
Let be a polynomial and let be numbers with such that for all . Then has at most roots.
We show this by taking the roots out one at a time. Let be distinct roots of and suppose . Write with of degree at most . Then
and , so : that is, is a root of . The same argument applies to , giving with and of degree at most . Continuing in this way until what is left is constant,
for all , and by the remark above . So if is not one of then no factor vanishes and . There is therefore no room for a further root.
The Coefficients Are Determined
Suppose a polynomial can be written both as
Then for every .
We show this by subtracting. The polynomial
takes the value at every number. Put and suppose some is non-zero; let be the largest index for which this happens, so that
for all , with . A polynomial written this way has at most roots, and this one has every number for a root. That is impossible, so every is zero.
So there is only one way of writing a polynomial in the form : the numbers are determined by the function. They are called the coefficients of , the number is the leading coefficient when , and is the constant term. The worry raised above is settled, and a polynomial with may safely be said to have degree .
Let . Its coefficients are
where we have written down the coefficient of every power up to the fifth, those of and being zero. The leading coefficient is and the constant term is , so has degree .
Remark (Vanishing at a point, and vanishing everywhere).
It often happens that for some , that is, that has a root. This does not make the zero polynomial. We call the zero polynomial, or say it is identically zero, only when for all numbers , which happens exactly when all of its coefficients are . 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 . For higher degrees it is much harder. Formulas using radicals exist for degrees and , and it is a classical result that no such formula can exist in general from degree 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.
Let . Its discriminant is , so by the formula its roots are
and taking each root out in turn factors into two factors of degree :
The general case runs the same way. If with and , then has two distinct roots and and
Let . Then , so is a root and must be a factor:
for some polynomial . Multiplying out and watching the terms cancel in pairs identifies .
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 by . Set out as at school,
1 9
----------
17 ) 3 2 7
1 7
-----
1 5 7
1 5 3
-----
4which tells us that , and is the remainder. The first digit was chosen as the largest integer whose product with is at most ; multiplying, subtracting and bringing down the left ; then was chosen as the largest integer whose product with is at most , and subtracting left . Since we stop.
In general, for positive integers and there are an integer and an integer with such that . 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 and there are polynomials and , the degree of being smaller than the degree of , such that
The polynomial is the remainder.
Example 2.35 (Dividing polynomials).
Let and . Laid out as for integers,
4x - 3
------------------------
x² + 1 ) 4x³ - 3x² + x + 2
4x³ + 4x
------------------------
- 3x² - 3x + 2
- 3x² - 3
------------------------
- 3x + 5so that and , and
Each step goes as follows. We take first because is the term of highest degree in ; multiplying by gives , which we write underneath with matching powers aligned, and subtracting leaves . We then take , because is the term of highest degree in what is left; multiplying gives , and subtracting leaves . This has degree , smaller than the degree of , so the computation is finished.
The reason the procedure works is visible in the steps. Writing , the multiplier was chosen so that has degree , the term cancelling; call the result . The multiplier was then chosen so that has degree , the term cancelling. Putting the two together,
which is exactly .
Let and . 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 + 22so and .
Remark.
Long division gives a second route to the factor taken out earlier. Dividing by ,
where has degree smaller than and so is a constant, say . Evaluating both sides at gives , so : the remainder vanishes and 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 is a polynomial which, on division by , gives quotient and remainder , then
and substituting for makes the first term vanish and gives
So when is divided by the remainder is .
Divide by . Long division gives quotient and remainder , that is
Substituting in this identity kills the quotient and leaves , as the rule promises.
The remainder when is divided by is
The remainder when is divided by is .
Remark.
This gives the remainder only. If the quotient is wanted, the long division must still be carried out.
Recognising a Factor
If is a factor of there is no remainder, so and ; and conversely, as we saw, a root produces a factor. So
This is what makes polynomials of degree greater than tractable by hand.
Example 2.39 (Factorising a quartic).
Factorise completely.
Put . The constant term is , whose divisors are , so those are the only whole numbers worth trying. Now
so is not a factor, while
so is a factor. Taking it out, by inspection or by long division,
Now put . Since , the factor does not repeat; since , the factor appears, and
The discriminant of is , so it has no real roots and no linear factors. Therefore
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
Read as a polynomial in , the expression vanishes when , so is a factor of it; and vanishes when , so is a factor of that. Carrying out the division gives
as multiplying out confirms.
Determine whether each linear function is a factor of the polynomial beside it.
- and ;
- and ;
- and .
Factorise as far as possible.
- ;
- ;
- .
If leaves remainder on division by , find . If is a factor of , find .
Binomial Expansions
A binomial is the sum, or difference, of two terms. So , and are binomials.
Expanding a power of a binomial by repeated multiplication is quick enough for a square,
and tedious from the cube upwards. There is a much faster route.
Pascal’s Triangle
Set out the first few powers of :
Each expansion is the one above it multiplied by , 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 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.
Row five of the triangle therefore gives
Expanding a Power
Once the coefficients are known, any binomial power follows by substitution.
Expand .
From the triangle, . Replacing by ,
Expand .
From the triangle, . Writing
and replacing by gives
Three things are worth noticing in that expansion.
- The powers of and in each term add up to .
- As the powers of decrease, the powers of increase.
- The numerical coefficients are those of .
With these, an expansion may be written straight down from the triangle. Row six gives
Expand .
Using with and ,
Expand each of the following.
- ;
- ;
- .
By expanding , evaluate exactly without a calculator. Then evaluate the same way.
Exercises
Find the stated values.
- : find and .
- : for which numbers does this formula define a function, and what is ?
- : for which numbers does this formula define a function, and what is ?
Write , the positive square root, so that is when is positive or zero and when is negative.
- Find , and .
- Let . Find , and , and describe in a sentence what does to a number.
A function defined for all numbers is even if for every , and odd if for every . Determine which of the following are even, which are odd, and which are neither.
- ;
- ;
- ;
- for , with .
Show that any function defined for all numbers can be written as the sum of an even function and an odd function, by considering
Let and , both defined for all numbers.
- Write down formulas for and .
- Find and .
- Show that has a root which also has, and factorise to display it.
Express each of the following in partial fractions.
- ;
- ;
- .
Solve each equation, giving surds in exact form.
- ;
- ;
- .
Determine the nature of the roots of each equation without solving it, and in the last case find the values of .
- ;
- ;
- has equal roots.
The roots of are and . Without solving the equation, find
- and ;
- ;
- the equation whose roots are and .
Express in terms of , and .
- ;
- ;
- .
Solve the following.
- , to three significant figures;
- ;
- .
Show that , and use a change of base to evaluate to three significant figures.
Let .
- Find the remainder when is divided by .
- Show that is a factor of , and factorise completely.
- Write down all the roots of .
Carry out the long division of by , giving the quotient and the remainder.
- and ;
- and .
Factorise as far as possible, using the factors of where they help.
- ;
- ;
- .
Expand the following.
- ;
- ;
- , simplifying each term.
Use Pascal’s triangle to write down the expansion of , and simplify it to the form with and whole numbers. Do the same for , 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.
Let . What is ?
What is the degree of the polynomial ?
Which of these fractional functions is proper?
In the decomposition , what is ?
How many partial fractions does a repeated factor in a denominator give rise to?
What is the discriminant of ?
The equation has
The roots of are and . What is ?
Which equation has roots whose sum is and whose product is ?
What is ?
Written as a single logarithm, is
What is the remainder when is divided by ?
For which value of is a factor of ?
At most how many roots can a polynomial of degree have?
What is the coefficient of in the expansion of ?
In the expansion of , what is the coefficient of ?