4.3 Quadratics
4.3.1 Introduction
A quadratic is an equation in the form
One example quadratic is
We can find the value of this at different points - for example, when , then , when then and when then .
We can also plot them on a graph. For example, the quadratic looks like
4.3.2 Factorising
The really key idea of factorising is this very useful rule, which is that
this is known as \saydistributivity (which is not really an important word to know). We can consider some examples with mathematical structures which are familiar us to help build some intuition, for example
but it is also equal to
Of course, this is not a proof (and proving that this is definitely true is possible, but involves too much maths to write here).
Example 4.3.1
This is quite useful when doing simple arithmetic, for example if we want to calculate , we could do this by applying the distributive property and noting that , so therefore
(4.13) | |||||
Because of distributivity | (4.14) | ||||
(4.15) | |||||
(4.16) | |||||
(4.17) |
Of course, we can apply this when we do algebra (i.e. to unknown variables) not just to specific numbers. One thing that most people thing is good is to \saysimplify things, which makes them easier to understand. One way we can do this is to express things in terms of \sayirreducible parts - i.e. things which cannot be simplified further.
Example 4.3.2
Let us consider the expression
and try to write it in terms of irreducible components.
We can apply the distributive law here. We take the identity from Equation 4.10 and apply it by setting (confusing, I know), and , from which we deduce that
(4.19) |
A useful factorising identity
This shows up in a number of places, especially in linear algebra.
Example 4.3.3
Factorise
We start with an excellent German word, which unfortunately doesn’t seem to have a direct English translation, called an \sayAnsatz. Technically the noun shouldn’t be capitalised (in English), but I have enough problems remembering to spell nouns with capital letters in German that I don’t want to create any more for myself.
The word means something like an educated guess, or a hypothesis; essentially we guess that the answer has some kind of form, and then try to use our guess to end up with the desired result.
In our case, our "guess" will be that we can factorise this into three brackets. Why three? Well, if we have two brackets, then we will get four terms (expand by hand if you’re not convinced that this is true), and four is (we guess that the four terms won’t split apart to give the desired number) too few. Let’s expand the expression (it makes it easier, at least in my view), to obtain this
Then if we want to make three brackets, we can start by writing out our expected result as
Then, to get the term, we can try
Then, to get the term, we can try something like
Why and rather than and ? Because we do have some negative terms later, and we’d be stuck if everything is positive! We can continue along these lines, and to fit the term we need
By expanding the brackets, we can check that this means
4.3.3 Difference of two squares
Theorem 4.3.1
Let , in which case
I have also seen this referred to as the \saythird binomial law, but I believe this terminology is non-standard in English-speaking countries.
Proof: we use the standard method for proving identities (see Section 6.2).
(4.28) | ||||
(4.29) | ||||
(4.30) |
This shows up often, and if you don’t spot it (as I have done a few times) it often makes life very painful.
4.3.4 Comparing coefficients
Would you like to know why this section went here? (I’m sure you wouldn’t, but I shall provide some context anyway). It goes here because it is useful for solving lots of problems that will occur later.
Example 4.3.4
Let us suppose that we have these two polynomials
(4.31) | |||
(4.32) |
And we know that . How would you find and ?
This is not the hardest problem in the metaphorical book (far from it), but it’s also not a bad place to start. Intuitively we know that and .
The general principle here is that two polynomial functions are equal if and only if their coefficients are equal22 2 This seems obvious, but sometimes when we consider structures other than the real numbers two polynomials can be equal, but their functions different. This is very confusing because when we are initially taught polynomials we are told that they are functions, but really it is better to think of a polynomial of a list of coefficients, which can be interpreted as a function.. In non-mathematics speak, this means that we look at the values in front of the numbers and check if they are the same.
TODO: some examples
4.3.5 Completing the square
One core idea is that we can write any quadratic in the form
This is very important, because it allows us to find given a value for , e.g. if , then
(4.34) | ||||
(4.35) | ||||
(4.36) | ||||
(4.37) |
How do we write a quadratic in this form? There are a lot of ways to do this, and this is not the simplest approach, but I found it was the one which best allowed me to understand the general idea and this method can be applied to other problems. We start by working backwards - i.e. we will expand , which allows us to deduce that
From here, we can \saycompare coefficients (see Section 4.3.4).
Example 4.3.5
Write this quadratic in completed-square form.
We start by comparing the coefficients of this quadratic with those of the polynomial in Equation 4.38. From this we can deduce that
(4.40) |
We can solve this by first substituting in the second equation, i.e. we have that
From which we have that . We can then substitute the value into , which gives that
And thus that . Therefore,
Example 4.3.6
Solve the equation
We use the completed-square form of the quadratic (which we found in the previous example). This means that the values of we are interested in are those which satisfy
We then add to both sides, which gets us the equivalent result
Then we divide by , which gives
(4.47) | ||||
(4.48) |
Therefore,
(4.49) |
Common mistake 4.3.1
Don’t forget the ! The expression refers only to the positive square root of ! However, the negative one solves the equation just as well.
Thus the values of which solve the equation are
4.3.6 The quadratic formula
The quadratic formula 33 3 This is the result of completing the square for and using it solve the equation for states that for a quadratic ,
The gives quite a bit of information away. It’s called the "discriminant", and sometimes written as .
If then we have exactly two solutions to the quadratic.
If (which also means that ), then there will only be one solution (because adding zero does nothing 44 4 This is often handy for algebraic manipulation. - see the equation directly below for details).
If then there are no real solutions to the quadratic.