Gelfand: Chunk 18 - Polynomial Interpolation - Subtleties

March 14, 2017

Let’s move through the rest of section 38, one problem at a time, pulling out those problems which have a trick to teach us.

Problem 165

In this problem we have three points of a second-degree polynomial, . How so? Notice

We also have three roots, and this is only possible for a second-degree polynomial if because otherwise we would have too many roots.It would need to be a third-degree polynomial for three roots to be permitted.

For we would have to have .

Trick Arising - Spot the Polynomial, Spot the Degree, Note the Rules

The whole trick is in the title to be honest. But note how the polymonial was hiding in Problem 165. Spot that, and then you can bring your knowledge to bear.

Problem 167

Part (a) was already solved by/for us in Problem 163. Problem 162 and it’s solution is also worth re-visiting.

There Gelfand states

Any polynomial such that has the form where is some polynomial.

He goes on

If we also know that has a degree not exceding then must be a number (otherwise the degree of will be too big.

In light of this, let’s state our answer to (a)

Now we move to (b). Can we solve it in a similar way? Yup.

We know that here

So substituting in

So our answer to (b) is

Next is (c). Can we do the same? Yes.

We know that here , so therefore

So our answer to (c) is

Now we must pause. We can’t use the same trick for (d). ButAs always. there is a reason why this is a worked example; we’re about to get schooled in another technique. Can we see how it works?

Let’s take stock first. We have three polynomials, each of the second degree. Now let’s look and see if anything about (d) looks familiar…

It does! It looks like a mash-up of the non-zero-result bits of (a)-(c). Can we use this to our advantage? We can.

We saw in the previous chunk that we could subtract one polynomial form itself, giving us a third polynomial for which . That felt a lot like basic maths.As we noted. Here it seems as if we’re going to do the reverse. We’re going to add together three polynomials, each in the same single variable ,A key point and worth highlighting and in each case, the areas where they equal have no effect.

With this in mind, let’s add the results of (a) - (c) together to see how it feels

Just like Gelfand. That feels very clever, but also simple, and repeatable.

Tricks Arising

Check You Didn’t Already Solve It

Gelfand gives the game away on this one, and you see it happening all the time when you read Durham too. Sometimes you’ve been given an explicit leg-up earlier on by being made to solve a sub-set of the problem, or a simpler version.

That means, if something looks (or feels) familiar, then perhaps it is. Feel free to flick back.

Note, this is also another reason why skipping ahead, even over simple things, is generally a bad idea and will cause you to come unstuck later on. That’s not to say you shouldn’t read ahead. That’s different, and will help build a general knowledge framework ahead of time.

Addition and Subtraction is for Everyone

It turns out you can keep addition and subtraction in your kit-bag for more than just the simplest of situations. I’ll bet there are circumstances when you need to be careful, but it seems very powerful.

Find Complex Polynomials by Splitting Into Simpler Ones and Then Adding Them Up

Problem 168 simply wants you to follow the steps we took above from Problem 167, but with you making up your own (a), (b) and (c)You’re supposed to have noticed there is a more general trick in there.

If you want to see it, Durham has the workings for the solution.

Problem 170

This problem, while it doesnt add anything new specifically to our arsenal, is worth stepping through slowly as it requires we use what tools we have gathered so far in a slightly different way. We’re again going to follow Durham closely, but going even more slowly as usual.

First up, we need to have twigged we’re talking about polynomials againThis is just like the Problem 165 starting point remember? and again in this case a second-degree one. That means we need to load the pattern into our level-one brain-pattern-matching cache.

With that done, we can bring in a statement that we know to be true:

That could be what we have here. However, we must also be careful because

This bullet is key, and its something I’m not sure has been highlighted before now. There may not be a polynomial which can get you the answers you need.

What we can guarantee however is that we can have three separate second-degree polynomials, just like we had in problem 167, such that each one of them can attain one of the values, and the other two values are zero. E.g.

Now we have these, we can see that they need no more than two roots each, and so have degrees no greater than two. And taking it that they do not, then we can combine them back to make our required polynomial, as shown

This polynomial will therefore also be of a degree no greater than two (because we are adding the various and pieces of and - look back at the solution to Problem 167 if you want reassurance) and will be able to produce .

Finally we can conclude that numbers and do exist such that the required results can be satisfied. We can state this because they will be the co-efficients of .

We’ll stop here - in fact Gelfand has told us not to go further in our workings. It all feels a little magical again, and I’d not discourage you if you wanted to fill in the final blanks of this to get to the actual solution to check.I might work it out in secret later myself.

Problem 171

Gelfand’s terse solution wasn’t enough for me (yet again). I needed to work this out a in a slightly more step-wise fashion.

First we know that there are 10 roots - which means the minimal degree of our polynomial is 10.

We also know that the highest co-efficient of is 1. This caught me off-guard a little. This is the first explicit mention of a co-efficient in all this from Gelfand.We brought them in in the solution above, but that was courtesy of Durham.

I’ll be honest, I had to Google things at this point. Some not-very-successful reading later, I realised that “highest” also meant “not greater than” which also meant “might disappear if written out simply”. That, plus looking back to Problems 162 and 163, meant me realise I could factor things like this

So therefore

Which is the answer we need.

Conclusion - Please Check Your Understanding

I’ve another confession to make. The first time round I thought I had all this chunked and nicely embedded. I hadn’t. Then there was a second time, and that still helped. My conclusion? Factoring and the myriad inter-linked concepts are hard. These concepts, all tightly related and mutually-reinforcing need to be solidly understood if you are to make good progress beyond this point.

To that end, I’d recommend you go quickly back over this and the previous two posts.And perhaps even do some other problems. Maybe even blog about it.

When you’re done I’ll see you in the next post.Perhaps I’ll go back and re-read these myself first.

Gelfand: Chunk 18 - Polynomial Interpolation - Subtleties - March 14, 2017 - {"name"=>"Andrew Harmel-Law", "github"=>"andrewharmellaw", "twitter"=>"al94781"}