# Building the Taylor Series: Convergence and Failure > Sine is not a polynomial, so every calculator that reports a sine is really evaluating one. This lecture builds that polynomial from nothing: match the value at zero, then the slope, then the bend, and read off the coefficients that forces. Each new term is then watched correcting the curve before it, one hump further out. Then the harder half. Taylor's theorem is an equality, function equals polynomial plus remainder, and everything true about a series is a statement about that remainder. We bound it for sine and watch it die everywhere; we meet a smooth bounded function whose series stops converging past a wall on the real line, which is where the radius of convergence gets its name; and we meet a smooth function whose series converges beautifully, with infinite radius, to something that is not the function it came from. - Canonical watch page: [Building the Taylor Series: Convergence and Failure](https://academa.ai/lectures/taylor-sine-convergence-failures) - Publisher: [Academa, Inc.](https://academa.ai) - Subject: Mathematics - Published: 2026-08-28T22:51:43.000Z - Updated: 2026-08-28T22:51:43.000Z - Duration: PT979S (16 minutes 19 seconds) - Chapters: 5 - Views: 0 - Language: en-US - Access: Free - Video stream: [HLS content](https://academa.ai/media/l/01M14TZH5WP4FCKCDDNKB7CV0C/0/dark/master.m3u8) - Audiovisual record: [Semantic JSON](https://academa.ai/media/l/01M14TZH5WP4FCKCDDNKB7CV0C/0/semantic.json) - Thumbnail: [Image](https://academa.ai/media/l/01M14TZH5WP4FCKCDDNKB7CV0C/0/dark/poster.jpg) ## Description Build the Taylor polynomial of sine term by term, then see why the remainder, not the series, makes the equals sign true. ## Chapters - [00:00–05:3.716 · Building the Polynomial](https://academa.ai/lectures/taylor-sine-convergence-failures?t=0) - [05:3.716–08:38.104 · How Wrong Is It?](https://academa.ai/lectures/taylor-sine-convergence-failures?t=303.7164791666667) - [08:38.104–10:59.379 · Where the Series Stops Converging](https://academa.ai/lectures/taylor-sine-convergence-failures?t=518.1036458333334) - [10:59.379–14:11.068 · Converging to the Wrong Thing](https://academa.ai/lectures/taylor-sine-convergence-failures?t=659.3789791666668) - [14:11.068–16:19 · What the Theorem Actually Says](https://academa.ai/lectures/taylor-sine-convergence-failures?t=851.0681875000001) ## Transcript ### [00:00 · Building the Polynomial](https://academa.ai/lectures/taylor-sine-convergence-failures?t=0) Every function a machine can actually compute is built out of adding and multiplying. That is what a polynomial is. Sine is not one, so when your calculator reports a sine it is not doing trigonometry at all. It is evaluating a polynomial, and this lecture is about which one, and how far you can trust it. So here is the question. Sine is not a polynomial. Can we build one that behaves like it near zero, and how close can we actually get? I will tell you the destination first, because the destination is not the hard part. This is it. Sine of x equals x, minus x cubed over three factorial, plus x to the fifth over five factorial, and on forever. Every hard question in this lecture is hiding in that equals sign. So where do those numbers come from? Nowhere clever. Suppose I want a polynomial that behaves like f near zero, and the only tool I have is that I can force the two of them to agree at a single point: same value, same slope, same bend. So write the polynomial down with its coefficients still unknown. a nought, plus a one x, plus a two x squared, and so on. Now set x to zero. Every term carrying an x dies, and all that is left is a nought. Now differentiate. The constant vanishes, a one is standing there on its own, and everything after it still carries an x. Set x to zero again, and out falls a one. Differentiate once more. The square brings a two down in front, so a two ends up doubled, and setting x to zero leaves a two as the second derivative at zero, over two. And you can see the pattern. Each derivative strips one more coefficient bare, and the number it picks up in front is a factorial. So the k-th coefficient is the k-th derivative of f at zero, divided by k factorial. Stack them up and that is the Taylor polynomial of f about zero. Every coefficient is one derivative at one point. Nothing else about the function is used anywhere. Now aim it at sine. The derivatives of sine go round in a circle. Differentiate and you get cosine, then minus sine, then minus cosine, and then you are back where you started. Evaluate all of them at zero. Sine of zero is nothing. Cosine of zero is one. Minus sine of zero is nothing again, and minus cosine of zero is minus one. Look what that does. Every even coefficient has a zero on top, so every even power of x is wiped out. What survives is the odd powers, one, three, five, seven, with the signs flipping each time. So here is the machine running, against the curve itself. The crudest match uses one term, a nought, which is sine of zero, which is nothing. That polynomial is the constant zero, and on this picture it is the horizontal axis. It agrees with sine at exactly one point and nowhere else. Take one more term. The next coefficient is cosine of zero, which is one, so the first polynomial is simply x. That is the tangent line at the origin, and close in it is genuinely good. But watch it leave. By x equals two the line is still climbing and sine has already turned over. So add the next term, minus x cubed over six, and look what it does. It bends the line down, exactly where the line was going wrong. That is the whole idea in one picture. Every new term is a correction. Near zero it is negligible, because a high power of a small number is tiny. It only speaks up once you are far enough out for the previous curve to have failed. Add the fifth power term and the same thing happens one hump further out. Add the seventh and it happens again. Each polynomial tracks sine a little longer before it gives up and shoots off. Let me put a dot on sine and a dot on the seventh degree polynomial and walk them out. Near zero you cannot tell them apart. Past three they are still on top of each other. And then, quite suddenly, they are not. Which raises the only question worth asking about any of this. How wrong is the polynomial at a given x, and does taking more terms really drive that wrongness to zero? That gap has a name, and it is the real content of Taylor's theorem. ### [05:3.716 · How Wrong Is It?](https://academa.ai/lectures/taylor-sine-convergence-failures?t=303.7164791666667) So let us look at that gap directly. Here is sine again, and here is the cubic we built, x minus x cubed over six. Same picture as before, except that now I want to measure the distance between the two curves. Call that distance the remainder. R three of x is sine of x minus P three of x, and it is nothing more than the vertical gap between the blue curve and the green one at whichever x you are standing at. Walk in toward zero and it closes so fast you cannot see it happen. At a half the two curves differ by about two ten-thousandths. On this picture that is thinner than the line itself. Now walk out. At two the gap is already obvious. At three it is enormous. Sine is up near a seventh and the cubic has dived past minus one and a half. Same polynomial, same degree. All that changed is how far we walked. Raising the degree buys you distance, not safety. Here is the seventh degree polynomial on the same picture. It holds on out past four, which is much better, and then it does exactly the same thing. Every fixed polynomial eventually leaves. So here is what Taylor's theorem actually says, and notice how little of it is the series. The function equals the polynomial, plus a remainder. That is an exact statement with no approximation anywhere in it. The whole question is what the remainder is. And Lagrange gives that remainder to us in closed form. It is the n plus first derivative of f, taken at some point c between zero and x, times x to the n plus one, over n plus one factorial. Hold it next to the terms we were adding. It is exactly the shape of the next term of the series, except for one thing. The derivative is taken at c, somewhere in the middle, rather than at zero. And the theorem never tells you where c is. Now watch what that buys us for sine. Every derivative of sine is plus or minus a sine or a cosine. So whatever c turns out to be, that derivative is at most one in size, and we never need to know c at all. So the remainder is trapped below x to the n plus one, over n plus one factorial. Pure arithmetic, with no trigonometry left in it. And now look at what that quantity does as n grows. Take x equal to ten, a long way from the centre. With five terms the bound is over eight hundred, which is useless. With ten it is worse, nearly three thousand. The powers of ten are still beating the factorial. But factorials win in the end. By fifteen the bound has turned over. By twenty it is forty. By thirty it is four thousandths, and by forty it is a hundred-millionth. And ten is not special. Fix any x you like, however enormous, and x to the m over m factorial goes to zero as m grows, because eventually the factorial is multiplying by numbers larger than x at every single step. Which is the sentence we were actually after. The remainder for sine dies, everywhere. So the series really does add up to sine, at every real number. Not nearly. Exactly. And it was the remainder that proved it, not the terms. ### [08:38.104 · Where the Series Stops Converging](https://academa.ai/lectures/taylor-sine-convergence-failures?t=518.1036458333334) Sine was the happy case. Here is a function that is not. g of x is one over one plus x squared. Smooth everywhere, bounded, no corners, no blow-ups. There is nothing wrong with it anywhere on the real line. Its Taylor series about zero is easy to get, because you have already seen it. A geometric series sums to one over one minus r, whenever r is smaller than one in size. Now put r equal to minus x squared. Out comes one, minus x squared, plus x to the fourth, minus x to the sixth, and onward. Every even power, with the signs alternating. That is the Taylor series of g about zero. Now draw two of its partial sums. Here is one minus x squared. Here is the one that runs out to the sixth power. And here are the two walls, at minus one and at plus one. Inside those walls the partial sums close in on the curve, and taking more terms makes them better. Outside them, look what happens. The sixth power sum has already dived past minus one, while the function it came from sits calmly at four tenths. And adding more terms out there does not help. It makes things worse. Past x equals one the powers of x stop shrinking, so the series has nothing to converge to at all. It is not a bad approximation. It is not an approximation. That number one has a name, and it is the thing this lecture assumed you had not met. It is the radius of convergence. Inside it the series converges. Outside it the series diverges, and there is no argument about a remainder to be had. And here is the strange part. Nothing on the real line explains why the wall sits at one. The function is perfectly happy there. The explanation lives off the real line entirely, and it is a story for another course. So that is failure number one. The series simply stops converging past a certain distance. It is a nuisance, but it is honest, because it tells you it has given up. The second failure is far worse, because it tells you nothing at all. ### [10:59.379 · Converging to the Wrong Thing](https://academa.ai/lectures/taylor-sine-convergence-failures?t=659.3789791666668) Here is the function that ends this story. For x away from zero, f of x is e to the minus one over x squared, and at zero we define it to be zero. It is a perfectly ordinary looking curve. It rises from nothing on the left, flattens right out at the origin, and rises again. And it is smooth. Infinitely differentiable, everywhere, including at zero. That takes a little work to prove, but it is true. So Taylor's recipe applies to it with no complaint whatsoever. But look how hard it presses itself against the axis near the origin. At one it is about zero point three seven. At a half it is down to eighteen thousandths. At a fifth it is ten to the minus eleven, and at a tenth, ten to the minus forty four. That is not merely small. That is flatter than any polynomial can manage. x to the tenth, at a tenth, is ten to the minus ten, and f is already thirty orders of magnitude below that. The exponential crushes every power. Now differentiate it. Away from zero the derivative is two over x cubed, times the same exponential. The two over x cubed blows up as x approaches the origin, but the exponential goes to zero faster than any power can blow up. So the limit is zero. Differentiate again and you get another rational function of one over x, times that same exponential, and the same thing happens. Every single derivative at zero comes out zero. Not small. Zero. So feed those into the recipe. Every coefficient is a derivative at zero over a factorial, and every one of those derivatives is zero. So every coefficient is zero, and the Taylor series of this function is the zero function. Draw it. There it is, in red, lying flat along the axis. And now ask the question we have been asking all along. How wrong is it? Put a dot on the function and a dot on its series, and walk them out. They come apart immediately. Out at two point four the gap is nearly the whole height of the picture. Walk back in and it shrinks, but it never actually closes until you are standing at the origin itself. And here is the thing that should bother you. Adding more terms does nothing at all, because every term is zero. The remainder is the whole function, at every degree, forever. So this series converges. It converges on the entire real line, beautifully, instantly, with infinite radius of convergence. And it converges to the wrong thing. It agrees with the function it came from at exactly one point, the point we built it at, and nowhere else. Which kills the comfortable picture of what a Taylor series is. It is not a decomposition of a function. It is a list of derivatives at one point, and derivatives at one point can be completely blind to what the function does anywhere else. ### [14:11.068 · What the Theorem Actually Says](https://academa.ai/lectures/taylor-sine-convergence-failures?t=851.0681875000001) So put the two cases next to each other. For sine we could bound the remainder, and the bound went to zero for every x. That is precisely why we are allowed to write an equals sign between the function and its series. For the flat function, the series was the zero function and the remainder was the whole of f, at every degree. It never went anywhere. So there is no equals sign to be had, except at the single point x equals zero. And notice what did the deciding in both cases. Not the terms. Not how fast the coefficients shrink. Not even whether the series converges. It was the remainder that settled it, both times, and nothing else in the argument mattered at all. So, three things to carry away. First, Taylor's theorem is not an approximation. It is an equality. The function is the polynomial plus the remainder, exactly, for every x and every n. There is nothing to be wrong about until you throw the remainder away. Second, the series represents the function only where the remainder tends to zero. That is a limit statement, and it has to be proved. For sine we proved it, with the factorial. For the flat function it is plainly false. And third, the one that catches people. A series converging is not the same thing as a series converging to the right answer. Our last example converged everywhere on the line and was wrong everywhere except one point. So here is the statement, whole. Sine of x is the sum from k equals zero to infinity of minus one to the k, times x to the two k plus one, over two k plus one factorial. And that equals sign is not notation. It is a theorem, and the thing holding it up is a bound on the remainder that goes to zero for every x. The series is the part you can see. The remainder is the part that decides. ## About Academa, Inc. Academa makes technical knowledge easier to understand through visual lectures and lets learners request new lecture videos on the topics they need. ## Complete audiovisual record Immutable source: [semantic.json](https://academa.ai/media/l/01M14TZH5WP4FCKCDDNKB7CV0C/0/semantic.json) Record version: 1. Render attempt: 0. ### How to read this timeline Each scene owns its object identifiers. A beat's board is the complete board when listed, empty when marked empty, and unchanged from the nearest earlier listed board in the same scene when marked unchanged. Action times are absolute positions in the published video. ### Scene 1: [Building the Polynomial](https://academa.ai/lectures/taylor-sine-convergence-failures?t=0) Span: 00:00–05:3.716 (0s–303.7164791666667s). #### Objects - axes: an Axes (x\_range=(-5.2, 5.2), y\_range=(-2.8, 2.8), x\_ticks\_every=1.0) - build: a Derivation \[text\] that says "$P\_1(x) &= x \\ P\_3(x) &= P\_1(x) - frac(x^3, 3!) \\ P\_5(x) &= P\_3(x) + frac(x^5, 5!) \\ P\_7(x) &= P\_5(x) - frac(x^7, 7!)$" - card: a Title that says "Introductory Calculus — Building the Taylor Series: Convergence and Failure" - cycle: a Table \[text\] that says "$k$ $f^((k))(x)$ $f^((k))(0)$ $0$ $sin x$ $0$ $1$ $cos x$ $1$ $2$ $- sin x$ $0$ $3$ $- cos x$ $-1$ $4$ $sin x$ $0$" (rows=(('$k$', '$f^((k))(x)$', '$f^((k))(0)$'), ('$0$', '$sin x$', '$…, header=True) - dot\_p7: a PlotPoint \[red\] drawn in axes (target='p7\_plot', x=\, marker\_radius=0.08) - dot\_sine: a PlotPoint \[blue\] drawn in axes (target='sine\_plot', x=\, marker\_radius=0.08) - goal: a Math \[text\] that says "$sin x = x - frac(x^3, 3!) + frac(x^5, 5!) - frac(x^7, 7!) + dots$" - head\_build: a Heading that says "One Term at a Time" - head\_cycle: a Heading that says "Sine's Derivatives at Zero" - head\_match: a Heading that says "Matching at a Point" - maclaurin: a Math \[text\] that says "$P\_n(x) = sum\_(k = 0)^n frac(f^((k))(0), k!) x^k$" - odd\_note: a Tex \[text\] that says "Only the odd powers survive, and the signs alternate." - p1\_plot: a FunctionPlot \[yellow\] labelled "P\_1" drawn in axes (function=\, x\_range=(-2.7, 2.7)) - p3\_plot: a FunctionPlot \[green\] labelled "P\_3" drawn in axes (function=\, x\_range=(-3.3, 3.3)) - p5\_plot: a FunctionPlot \[magenta\] labelled "P\_5" drawn in axes (function=\, x\_range=(-4.2, 4.2)) - p7\_plot: a FunctionPlot \[red\] labelled "P\_7" drawn in axes (function=\, x\_range=(-4.4, 4.4)) - probe: a VariableNumber (initial\_value=0.4) - question: a Panel that says "Sine is not a polynomial. Can we build one that behaves like it near $x = 0$, and how close can we get?" - sine\_plot: a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-5.2, 5.2)) - work: a Derivation \[text\] that says "$P(x) &= a\_0 + a\_1 x + a\_2 x^2 + a\_3 x^3 + dots \\ a\_0 &= P(0) \\ P'(x) &= a\_1 + 2 a\_2 x + 3 a\_3 x^2 + dots \\ a\_1 &= P'(0) \\ a\_2 &= frac(P''(0), 2) \\ a\_k &= frac(f^((k))(0), k!)$" - zero\_line: a Line \[gray\] labelled "P\_0 = 0" drawn in axes (start=(-2.7, 0.0), end=(2.7, 0.0)) #### Beats ##### [00:00](https://academa.ai/lectures/taylor-sine-convergence-failures?t=0) Narration: Every function a machine can actually compute is built out of adding and multiplying. That is what a polynomial is. Sine is not one, so when your calculator reports a sine it is not doing trigonometry at all. It is evaluating a polynomial, and this lecture is about which one, and how far you can trust it. Board: Empty. Actions: - [00:00](https://academa.ai/lectures/taylor-sine-convergence-failures?t=0): card is shown on the screen, written out. - [00:1.5](https://academa.ai/lectures/taylor-sine-convergence-failures?t=1.5): card: enter:write-left-to-right. - [00:21.224](https://academa.ai/lectures/taylor-sine-convergence-failures?t=21.2235): card is hidden from the screen — left the board. ##### [00:22.424](https://academa.ai/lectures/taylor-sine-convergence-failures?t=22.4235) Narration: So here is the question. Sine is not a polynomial. Can we build one that behaves like it near zero, and how close can we actually get? Board: Unchanged from the preceding beat in this scene. Actions: - [00:23.422](https://academa.ai/lectures/taylor-sine-convergence-failures?t=23.421999999999997): question is shown on the screen, written out. - [00:32.106](https://academa.ai/lectures/taylor-sine-convergence-failures?t=32.106): question moves to a new place on the board. ##### [00:33.306](https://academa.ai/lectures/taylor-sine-convergence-failures?t=33.306) Narration: I will tell you the destination first, because the destination is not the hard part. This is it. Sine of x equals x, minus x cubed over three factorial, plus x to the fifth over five factorial, and on forever. Every hard question in this lecture is hiding in that equals sign. Board: question — a Panel that says "Sine is not a polynomial. Can we build one that behaves like it near $x = 0$, and how close can we get?" Actions: - [00:38.751](https://academa.ai/lectures/taylor-sine-convergence-failures?t=38.751): goal is shown on the screen, written out. - [00:53.983](https://academa.ai/lectures/taylor-sine-convergence-failures?t=53.983): goal (the "=" part) is indicated — a transient flash. - [00:54.819](https://academa.ai/lectures/taylor-sine-convergence-failures?t=54.8185): goal is hidden from the screen — left the board. - [00:54.819](https://academa.ai/lectures/taylor-sine-convergence-failures?t=54.8185): question is hidden from the screen — left the board. ##### [00:56.018](https://academa.ai/lectures/taylor-sine-convergence-failures?t=56.018499999999996) Narration: So where do those numbers come from? Nowhere clever. Suppose I want a polynomial that behaves like f near zero, and the only tool I have is that I can force the two of them to agree at a single point: same value, same slope, same bend. So write the polynomial down with its coefficients still unknown. Board: Empty. Actions: - [00:56.018](https://academa.ai/lectures/taylor-sine-convergence-failures?t=56.018499999999996): head\_match is shown on the screen, written out. - [01:13.364](https://academa.ai/lectures/taylor-sine-convergence-failures?t=73.364): work is shown on the screen, written out. ##### [01:17.825](https://academa.ai/lectures/taylor-sine-convergence-failures?t=77.8245) Narration: a nought, plus a one x, plus a two x squared, and so on. Now set x to zero. Every term carrying an x dies, and all that is left is a nought. Board: head\_match — a Heading that says "Matching at a Point" Actions: - [01:27.978](https://academa.ai/lectures/taylor-sine-convergence-failures?t=87.97800000000001): work is shown on the screen, written out. ##### [01:29.906](https://academa.ai/lectures/taylor-sine-convergence-failures?t=89.9065) Narration: Now differentiate. The constant vanishes, a one is standing there on its own, and everything after it still carries an x. Set x to zero again, and out falls a one. Board: Unchanged from the preceding beat in this scene. Actions: - [01:30.54](https://academa.ai/lectures/taylor-sine-convergence-failures?t=90.54): work is shown on the screen, written out. - [01:40.965](https://academa.ai/lectures/taylor-sine-convergence-failures?t=100.965): work is shown on the screen, written out. ##### [01:42.738](https://academa.ai/lectures/taylor-sine-convergence-failures?t=102.738) Narration: Differentiate once more. The square brings a two down in front, so a two ends up doubled, and setting x to zero leaves a two as the second derivative at zero, over two. Board: Unchanged from the preceding beat in this scene. Actions: - [01:54.185](https://academa.ai/lectures/taylor-sine-convergence-failures?t=114.185): work is shown on the screen, written out. ##### [01:55.853](https://academa.ai/lectures/taylor-sine-convergence-failures?t=115.8535) Narration: And you can see the pattern. Each derivative strips one more coefficient bare, and the number it picks up in front is a factorial. So the k-th coefficient is the k-th derivative of f at zero, divided by k factorial. Board: Unchanged from the preceding beat in this scene. Actions: - [02:9.634](https://academa.ai/lectures/taylor-sine-convergence-failures?t=129.63400000000001): work is shown on the screen, written out. ##### [02:12.208](https://academa.ai/lectures/taylor-sine-convergence-failures?t=132.208) Narration: Stack them up and that is the Taylor polynomial of f about zero. Every coefficient is one derivative at one point. Nothing else about the function is used anywhere. Board: Unchanged from the preceding beat in this scene. Actions: - [02:12.556](https://academa.ai/lectures/taylor-sine-convergence-failures?t=132.55599999999998): maclaurin is shown on the screen, written out. - [02:23.528](https://academa.ai/lectures/taylor-sine-convergence-failures?t=143.528): maclaurin moves to a new place on the board. - [02:23.528](https://academa.ai/lectures/taylor-sine-convergence-failures?t=143.528): head\_match is hidden from the screen — left the board. - [02:23.528](https://academa.ai/lectures/taylor-sine-convergence-failures?t=143.528): work is hidden from the screen — left the board. - [02:23.528](https://academa.ai/lectures/taylor-sine-convergence-failures?t=143.528): cycle is shown on the screen, written out. ##### [02:24.128](https://academa.ai/lectures/taylor-sine-convergence-failures?t=144.128) Narration: Now aim it at sine. The derivatives of sine go round in a circle. Differentiate and you get cosine, then minus sine, then minus cosine, and then you are back where you started. Board: maclaurin — a Math \[text\] that says "$P\_n(x) = sum\_(k = 0)^n frac(f^((k))(0), k!) x^k$" Actions: - [02:28.575](https://academa.ai/lectures/taylor-sine-convergence-failures?t=148.575): cycle is shown on the screen, written out. - [02:31.059](https://academa.ai/lectures/taylor-sine-convergence-failures?t=151.059): cycle is shown on the screen, written out. - [02:32.534](https://academa.ai/lectures/taylor-sine-convergence-failures?t=152.534): cycle is shown on the screen, written out. - [02:34.124](https://academa.ai/lectures/taylor-sine-convergence-failures?t=154.124): cycle is shown on the screen, written out. - [02:36.168](https://academa.ai/lectures/taylor-sine-convergence-failures?t=156.168): cycle is shown on the screen, written out. ##### [02:38.231](https://academa.ai/lectures/taylor-sine-convergence-failures?t=158.231) Narration: Evaluate all of them at zero. Sine of zero is nothing. Cosine of zero is one. Minus sine of zero is nothing again, and minus cosine of zero is minus one. Board: Unchanged from the preceding beat in this scene. Actions: - [02:38.579](https://academa.ai/lectures/taylor-sine-convergence-failures?t=158.57899999999998): cycle (the "column=3" part) is emphasized. - [02:51.426](https://academa.ai/lectures/taylor-sine-convergence-failures?t=171.426): cycle (the "column=3" part) is no longer emphasized. ##### [02:52.026](https://academa.ai/lectures/taylor-sine-convergence-failures?t=172.02599999999998) Narration: Look what that does. Every even coefficient has a zero on top, so every even power of x is wiped out. What survives is the odd powers, one, three, five, seven, with the signs flipping each time. Board: Unchanged from the preceding beat in this scene. Actions: - [02:59.729](https://academa.ai/lectures/taylor-sine-convergence-failures?t=179.72899999999998): odd\_note is shown on the screen, written out. - [03:7.171](https://academa.ai/lectures/taylor-sine-convergence-failures?t=187.171): cycle is hidden from the screen — left the board. - [03:7.171](https://academa.ai/lectures/taylor-sine-convergence-failures?t=187.171): maclaurin is hidden from the screen — left the board. - [03:7.171](https://academa.ai/lectures/taylor-sine-convergence-failures?t=187.171): odd\_note is hidden from the screen — left the board. - [03:7.171](https://academa.ai/lectures/taylor-sine-convergence-failures?t=187.171): axes is shown on the screen, written out. - [03:7.171](https://academa.ai/lectures/taylor-sine-convergence-failures?t=187.171): sine\_plot is shown on the screen, drawn. ##### [03:8.371](https://academa.ai/lectures/taylor-sine-convergence-failures?t=188.37099999999998) Narration: So here is the machine running, against the curve itself. The crudest match uses one term, a nought, which is sine of zero, which is nothing. That polynomial is the constant zero, and on this picture it is the horizontal axis. It agrees with sine at exactly one point and nowhere else. Board: axes — an Axes (x\_range=(-5.2, 5.2), y\_range=(-2.8, 2.8), x\_ticks\_every=1.0); sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-5.2, 5.2)) Actions: - [03:8.371](https://academa.ai/lectures/taylor-sine-convergence-failures?t=188.37099999999998): head\_build is shown on the screen, written out. - [03:20.352](https://academa.ai/lectures/taylor-sine-convergence-failures?t=200.352): zero\_line is shown on the screen, written out. ##### [03:29.706](https://academa.ai/lectures/taylor-sine-convergence-failures?t=209.706) Narration: Take one more term. The next coefficient is cosine of zero, which is one, so the first polynomial is simply x. That is the tangent line at the origin, and close in it is genuinely good. Board: axes — an Axes (x\_range=(-5.2, 5.2), y\_range=(-2.8, 2.8), x\_ticks\_every=1.0); head\_build — a Heading that says "One Term at a Time"; sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-5.2, 5.2)); zero\_line — a Line \[gray\] labelled "P\_0 = 0" drawn in axes (start=(-2.7, 0.0), end=(2.7, 0.0)) Actions: - [03:37.078](https://academa.ai/lectures/taylor-sine-convergence-failures?t=217.07799999999997): build is shown on the screen, written out. - [03:39.144](https://academa.ai/lectures/taylor-sine-convergence-failures?t=219.14399999999998): zero\_line is hidden from the screen. - [03:39.144](https://academa.ai/lectures/taylor-sine-convergence-failures?t=219.14399999999998): p1\_plot is shown on the screen, drawn. ##### [03:43.97](https://academa.ai/lectures/taylor-sine-convergence-failures?t=223.9705) Narration: But watch it leave. By x equals two the line is still climbing and sine has already turned over. So add the next term, minus x cubed over six, and look what it does. It bends the line down, exactly where the line was going wrong. Board: axes — an Axes (x\_range=(-5.2, 5.2), y\_range=(-2.8, 2.8), x\_ticks\_every=1.0); head\_build — a Heading that says "One Term at a Time"; sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-5.2, 5.2)); p1\_plot — a FunctionPlot \[yellow\] labelled "P\_1" drawn in axes (function=\, x\_range=(-2.7, 2.7)) Actions: - [03:51.169](https://academa.ai/lectures/taylor-sine-convergence-failures?t=231.16899999999998): build is shown on the screen, written out. - [03:56.951](https://academa.ai/lectures/taylor-sine-convergence-failures?t=236.951): p3\_plot is shown on the screen, drawn. ##### [04:1.567](https://academa.ai/lectures/taylor-sine-convergence-failures?t=241.5675) Narration: That is the whole idea in one picture. Every new term is a correction. Near zero it is negligible, because a high power of a small number is tiny. It only speaks up once you are far enough out for the previous curve to have failed. Board: axes — an Axes (x\_range=(-5.2, 5.2), y\_range=(-2.8, 2.8), x\_ticks\_every=1.0); head\_build — a Heading that says "One Term at a Time"; sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-5.2, 5.2)); p1\_plot — a FunctionPlot \[yellow\] labelled "P\_1" drawn in axes (function=\, x\_range=(-2.7, 2.7)); p3\_plot — a FunctionPlot \[green\] labelled "P\_3" drawn in axes (function=\, x\_range=(-3.3, 3.3)) Actions: - [04:5.887](https://academa.ai/lectures/taylor-sine-convergence-failures?t=245.887): build (the "frac(x^3, 3!)" part) is indicated — a transient flash. ##### [04:17.725](https://academa.ai/lectures/taylor-sine-convergence-failures?t=257.725) Narration: Add the fifth power term and the same thing happens one hump further out. Add the seventh and it happens again. Each polynomial tracks sine a little longer before it gives up and shoots off. Board: Unchanged from the preceding beat in this scene. Actions: - [04:18.677](https://academa.ai/lectures/taylor-sine-convergence-failures?t=258.677): build is shown on the screen, written out. - [04:19.077](https://academa.ai/lectures/taylor-sine-convergence-failures?t=259.077): p5\_plot is shown on the screen, drawn. - [04:23.681](https://academa.ai/lectures/taylor-sine-convergence-failures?t=263.68100000000004): build is shown on the screen, written out. - [04:24.081](https://academa.ai/lectures/taylor-sine-convergence-failures?t=264.081): p7\_plot is shown on the screen, drawn. ##### [04:31.189](https://academa.ai/lectures/taylor-sine-convergence-failures?t=271.189) Narration: Let me put a dot on sine and a dot on the seventh degree polynomial and walk them out. Near zero you cannot tell them apart. Past three they are still on top of each other. And then, quite suddenly, they are not. Board: axes — an Axes (x\_range=(-5.2, 5.2), y\_range=(-2.8, 2.8), x\_ticks\_every=1.0); head\_build — a Heading that says "One Term at a Time"; sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-5.2, 5.2)); p1\_plot — a FunctionPlot \[yellow\] labelled "P\_1" drawn in axes (function=\, x\_range=(-2.7, 2.7)); p3\_plot — a FunctionPlot \[green\] labelled "P\_3" drawn in axes (function=\, x\_range=(-3.3, 3.3)); p5\_plot — a FunctionPlot \[magenta\] labelled "P\_5" drawn in axes (function=\, x\_range=(-4.2, 4.2)); p7\_plot — a FunctionPlot \[red\] labelled "P\_7" drawn in axes (function=\, x\_range=(-4.4, 4.4)) Actions: - [04:32.048](https://academa.ai/lectures/taylor-sine-convergence-failures?t=272.048): dot\_sine is shown on the screen, written out. - [04:32.048](https://academa.ai/lectures/taylor-sine-convergence-failures?t=272.048): dot\_p7 is shown on the screen, written out. - [04:35.427](https://academa.ai/lectures/taylor-sine-convergence-failures?t=275.427): dot\_sine is redrawn as the numbers it depends on change. - [04:35.427](https://academa.ai/lectures/taylor-sine-convergence-failures?t=275.427): dot\_p7 is redrawn as the numbers it depends on change. - [04:35.427](https://academa.ai/lectures/taylor-sine-convergence-failures?t=275.427): probe ticks to 2.0. - [04:39.745](https://academa.ai/lectures/taylor-sine-convergence-failures?t=279.74500000000006): dot\_sine is redrawn as the numbers it depends on change. - [04:39.745](https://academa.ai/lectures/taylor-sine-convergence-failures?t=279.74500000000006): dot\_p7 is redrawn as the numbers it depends on change. - [04:39.745](https://academa.ai/lectures/taylor-sine-convergence-failures?t=279.74500000000006): probe ticks to 3.4. - [04:43.774](https://academa.ai/lectures/taylor-sine-convergence-failures?t=283.77400000000006): dot\_sine is redrawn as the numbers it depends on change. - [04:43.774](https://academa.ai/lectures/taylor-sine-convergence-failures?t=283.77400000000006): dot\_p7 is redrawn as the numbers it depends on change. - [04:43.774](https://academa.ai/lectures/taylor-sine-convergence-failures?t=283.77400000000006): probe ticks to 4.4. ##### [04:46.441](https://academa.ai/lectures/taylor-sine-convergence-failures?t=286.44100000000003) Narration: Which raises the only question worth asking about any of this. How wrong is the polynomial at a given x, and does taking more terms really drive that wrongness to zero? That gap has a name, and it is the real content of Taylor's theorem. Board: axes — an Axes (x\_range=(-5.2, 5.2), y\_range=(-2.8, 2.8), x\_ticks\_every=1.0); head\_build — a Heading that says "One Term at a Time"; sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-5.2, 5.2)); p1\_plot — a FunctionPlot \[yellow\] labelled "P\_1" drawn in axes (function=\, x\_range=(-2.7, 2.7)); p3\_plot — a FunctionPlot \[green\] labelled "P\_3" drawn in axes (function=\, x\_range=(-3.3, 3.3)); p5\_plot — a FunctionPlot \[magenta\] labelled "P\_5" drawn in axes (function=\, x\_range=(-4.2, 4.2)); p7\_plot — a FunctionPlot \[red\] labelled "P\_7" drawn in axes (function=\, x\_range=(-4.4, 4.4)); dot\_sine — a PlotPoint \[blue\] drawn in axes (target='sine\_plot', x=\, marker\_radius=0.08); dot\_p7 — a PlotPoint \[red\] drawn in axes (target='p7\_plot', x=\, marker\_radius=0.08) Actions: - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): axes is hidden from the screen — left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): sine\_plot is hidden from the screen — axes left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): p1\_plot is hidden from the screen — axes left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): p3\_plot is hidden from the screen — axes left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): p5\_plot is hidden from the screen — axes left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): p7\_plot is hidden from the screen — axes left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): dot\_sine is hidden from the screen — axes left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): dot\_p7 is hidden from the screen — axes left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): build is hidden from the screen — left the board. - [05:2.675](https://academa.ai/lectures/taylor-sine-convergence-failures?t=302.67481250000003): head\_build is hidden from the screen — left the board. ### Scene 2: [How Wrong Is It?](https://academa.ai/lectures/taylor-sine-convergence-failures?t=303.7164791666667) Span: 05:3.716–08:38.104 (303.7164791666667s–518.1036458333334s). #### Objects - axes: an Axes (x\_range=(-1.0, 6.6), y\_range=(-2.6, 2.6), x\_ticks\_every=1.0) - bound: a Derivation \[text\] that says "$\|f^((n + 1))(c)\| &\<= 1 \\ \|R\_n(x)\| &\<= frac(\|x\|^(n + 1), (n + 1)!)$" - conclusion: a Math \[text\] that says "$lim\_(n -\> oo) R\_n(x) = 0$" - conclusion\_note: a Tex \[text\] that says "for every real $x$, however far from the centre." - dot\_f: a PlotPoint \[blue\] drawn in axes (target='sine\_plot', x=\, marker\_radius=0.08) - dot\_p: a PlotPoint \[green\] drawn in axes (target='p3\_plot', x=\, marker\_radius=0.08) - err\_def: a Math \[text\] that says "$R\_3(x) = sin x - P\_3(x)$" - gap: a Line \[red\] labelled "R\_3(x)" drawn in axes (start=(\, sin(probe)), end=(\, (probe - ((probe \*\* 3.0) / 6.0)))) - head\_bound: a Heading that says "Bounding the Remainder" - head\_gap: a Heading that says "How Wrong Is It?" - head\_thm: a Heading that says "Taylor's Theorem" - lagrange: a Math \[text\] that says "$R\_n(x) = frac(f^((n + 1))(c), (n + 1)!) x^(n + 1)$" - obs: a Tex \[text\] that says "Fix the degree, and the error grows without limit as $x$ leaves zero." - p3\_plot: a FunctionPlot \[green\] labelled "P\_3" drawn in axes (function=\, x\_range=(-1.0, 3.2)) - p7\_plot: a FunctionPlot \[red\] labelled "P\_7" drawn in axes (function=\, x\_range=(-1.0, 4.4)) - probe: a VariableNumber (initial\_value=1.0) - sine\_plot: a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-1.0, 6.6)) - table: a Table \[text\] that says "$n + 1$ bound at $x = 10$ $5$ $833$ $10$ $2756$ $15$ $765$ $20$ $41.1$ $30$ $0.0038$ $40$ $1.2 times 10^(-8)$" (rows=(('$n + 1$', 'bound at $x = 10$'), ('$5$', '$833$'), ('$10$', '…, header=True) - thm: a Math \[text\] that says "$f(x) = P\_n(x) + R\_n(x)$" - thm\_note: a Panel that says "for some $c$ between $0$ and $x$. The theorem does not say which $c$. It says one exists." #### Beats ##### [05:3.716](https://academa.ai/lectures/taylor-sine-convergence-failures?t=303.7164791666667) Narration: So let us look at that gap directly. Here is sine again, and here is the cubic we built, x minus x cubed over six. Same picture as before, except that now I want to measure the distance between the two curves. Board: Empty. Actions: - [05:3.716](https://academa.ai/lectures/taylor-sine-convergence-failures?t=303.7164791666667): head\_gap is shown on the screen, written out. - [05:3.716](https://academa.ai/lectures/taylor-sine-convergence-failures?t=303.7164791666667): axes is shown on the screen, written out. - [05:3.716](https://academa.ai/lectures/taylor-sine-convergence-failures?t=303.7164791666667): sine\_plot is shown on the screen, drawn. - [05:8.418](https://academa.ai/lectures/taylor-sine-convergence-failures?t=308.4184791666667): p3\_plot is shown on the screen, drawn. ##### [05:18.829](https://academa.ai/lectures/taylor-sine-convergence-failures?t=318.8289791666667) Narration: Call that distance the remainder. R three of x is sine of x minus P three of x, and it is nothing more than the vertical gap between the blue curve and the green one at whichever x you are standing at. Board: axes — an Axes (x\_range=(-1.0, 6.6), y\_range=(-2.6, 2.6), x\_ticks\_every=1.0); head\_gap — a Heading that says "How Wrong Is It?"; sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-1.0, 6.6)); p3\_plot — a FunctionPlot \[green\] labelled "P\_3" drawn in axes (function=\, x\_range=(-1.0, 3.2)) Actions: - [05:20.198](https://academa.ai/lectures/taylor-sine-convergence-failures?t=320.19847916666674): axes moves to a new place on the board. - [05:20.198](https://academa.ai/lectures/taylor-sine-convergence-failures?t=320.19847916666674): err\_def is shown on the screen, written out. - [05:26.746](https://academa.ai/lectures/taylor-sine-convergence-failures?t=326.74647916666675): dot\_f is shown on the screen, written out. - [05:26.746](https://academa.ai/lectures/taylor-sine-convergence-failures?t=326.74647916666675): dot\_p is shown on the screen, written out. - [05:26.746](https://academa.ai/lectures/taylor-sine-convergence-failures?t=326.74647916666675): gap is shown on the screen, written out. ##### [05:32.582](https://academa.ai/lectures/taylor-sine-convergence-failures?t=332.5824791666667) Narration: Walk in toward zero and it closes so fast you cannot see it happen. At a half the two curves differ by about two ten-thousandths. On this picture that is thinner than the line itself. Board: err\_def — a Math \[text\] that says "$R\_3(x) = sin x - P\_3(x)$"; axes — an Axes (x\_range=(-1.0, 6.6), y\_range=(-2.6, 2.6), x\_ticks\_every=1.0); head\_gap — a Heading that says "How Wrong Is It?"; sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-1.0, 6.6)); p3\_plot — a FunctionPlot \[green\] labelled "P\_3" drawn in axes (function=\, x\_range=(-1.0, 3.2)); dot\_f — a PlotPoint \[blue\] drawn in axes (target='sine\_plot', x=\, marker\_radius=0.08); dot\_p — a PlotPoint \[green\] drawn in axes (target='p3\_plot', x=\, marker\_radius=0.08); gap — a Line \[red\] labelled "R\_3(x)" drawn in axes (start=(\, sin(probe)), end=(\, (probe - ((probe \*\* 3.0) / 6.0)))) Actions: - [05:33.058](https://academa.ai/lectures/taylor-sine-convergence-failures?t=333.0584791666667): dot\_f is redrawn as the numbers it depends on change. - [05:33.058](https://academa.ai/lectures/taylor-sine-convergence-failures?t=333.0584791666667): dot\_p is redrawn as the numbers it depends on change. - [05:33.058](https://academa.ai/lectures/taylor-sine-convergence-failures?t=333.0584791666667): gap is redrawn as the numbers it depends on change. - [05:33.058](https://academa.ai/lectures/taylor-sine-convergence-failures?t=333.0584791666667): probe ticks to 0.5. ##### [05:45.408](https://academa.ai/lectures/taylor-sine-convergence-failures?t=345.40797916666673) Narration: Now walk out. At two the gap is already obvious. At three it is enormous. Sine is up near a seventh and the cubic has dived past minus one and a half. Same polynomial, same degree. All that changed is how far we walked. Board: Unchanged from the preceding beat in this scene. Actions: - [05:47.857](https://academa.ai/lectures/taylor-sine-convergence-failures?t=347.85747916666674): dot\_f is redrawn as the numbers it depends on change. - [05:47.857](https://academa.ai/lectures/taylor-sine-convergence-failures?t=347.85747916666674): dot\_p is redrawn as the numbers it depends on change. - [05:47.857](https://academa.ai/lectures/taylor-sine-convergence-failures?t=347.85747916666674): gap is redrawn as the numbers it depends on change. - [05:47.857](https://academa.ai/lectures/taylor-sine-convergence-failures?t=347.85747916666674): probe ticks to 2.0. - [05:50.806](https://academa.ai/lectures/taylor-sine-convergence-failures?t=350.8064791666667): dot\_f is redrawn as the numbers it depends on change. - [05:50.806](https://academa.ai/lectures/taylor-sine-convergence-failures?t=350.8064791666667): dot\_p is redrawn as the numbers it depends on change. - [05:50.806](https://academa.ai/lectures/taylor-sine-convergence-failures?t=350.8064791666667): gap is redrawn as the numbers it depends on change. - [05:50.806](https://academa.ai/lectures/taylor-sine-convergence-failures?t=350.8064791666667): probe ticks to 3.0. - [06:1.151](https://academa.ai/lectures/taylor-sine-convergence-failures?t=361.1514791666667): obs is shown on the screen, written out. ##### [06:4.026](https://academa.ai/lectures/taylor-sine-convergence-failures?t=364.0264791666667) Narration: Raising the degree buys you distance, not safety. Here is the seventh degree polynomial on the same picture. It holds on out past four, which is much better, and then it does exactly the same thing. Every fixed polynomial eventually leaves. Board: err\_def — a Math \[text\] that says "$R\_3(x) = sin x - P\_3(x)$"; obs — a Tex \[text\] that says "Fix the degree, and the error grows without limit as $x$ leaves zero."; axes — an Axes (x\_range=(-1.0, 6.6), y\_range=(-2.6, 2.6), x\_ticks\_every=1.0); head\_gap — a Heading that says "How Wrong Is It?"; sine\_plot — a FunctionPlot \[blue\] labelled "sin x" drawn in axes (function=\, x\_range=(-1.0, 6.6)); p3\_plot — a FunctionPlot \[green\] labelled "P\_3" drawn in axes (function=\, x\_range=(-1.0, 3.2)); dot\_f — a PlotPoint \[blue\] drawn in axes (target='sine\_plot', x=\, marker\_radius=0.08); dot\_p — a PlotPoint \[green\] drawn in axes (target='p3\_plot', x=\, marker\_radius=0.08); gap — a Line \[red\] labelled "R\_3(x)" drawn in axes (start=(\, sin(probe)), end=(\, (probe - ((probe \*\* 3.0) / 6.0)))) Actions: - [06:6.929](https://academa.ai/lectures/taylor-sine-convergence-failures?t=366.92947916666674): gap is hidden from the screen. - [06:6.929](https://academa.ai/lectures/taylor-sine-convergence-failures?t=366.92947916666674): dot\_p is hidden from the screen. - [06:6.929](https://academa.ai/lectures/taylor-sine-convergence-failures?t=366.92947916666674): dot\_f is hidden from the screen. - [06:8.763](https://academa.ai/lectures/taylor-sine-convergence-failures?t=368.76347916666674): p7\_plot is shown on the screen, drawn. - [06:19.294](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.2939791666667): axes is hidden from the screen — left the board. - [06:19.294](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.2939791666667): sine\_plot is hidden from the screen — axes left the board. - [06:19.294](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.2939791666667): p3\_plot is hidden from the screen — axes left the board. - [06:19.294](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.2939791666667): p7\_plot is hidden from the screen — axes left the board. - [06:19.294](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.2939791666667): err\_def is hidden from the screen — left the board. - [06:19.294](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.2939791666667): head\_gap is hidden from the screen — left the board. - [06:19.294](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.2939791666667): obs is hidden from the screen — left the board. ##### [06:19.894](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.8939791666667) Narration: So here is what Taylor's theorem actually says, and notice how little of it is the series. The function equals the polynomial, plus a remainder. That is an exact statement with no approximation anywhere in it. The whole question is what the remainder is. Board: Empty. Actions: - [06:19.894](https://academa.ai/lectures/taylor-sine-convergence-failures?t=379.8939791666667): head\_thm is shown on the screen, written out. - [06:25.535](https://academa.ai/lectures/taylor-sine-convergence-failures?t=385.53547916666673): thm is shown on the screen, written out. - [06:29.692](https://academa.ai/lectures/taylor-sine-convergence-failures?t=389.6924791666667): thm (the "R\_n(x)" part) is emphasized. ##### [06:36.643](https://academa.ai/lectures/taylor-sine-convergence-failures?t=396.6429791666667) Narration: And Lagrange gives that remainder to us in closed form. It is the n plus first derivative of f, taken at some point c between zero and x, times x to the n plus one, over n plus one factorial. Board: thm — a Math \[text\] that says "$f(x) = P\_n(x) + R\_n(x)$"; head\_thm — a Heading that says "Taylor's Theorem" Actions: - [06:36.643](https://academa.ai/lectures/taylor-sine-convergence-failures?t=396.6429791666667): thm (the "R\_n(x)" part) is no longer emphasized. - [06:38.93](https://academa.ai/lectures/taylor-sine-convergence-failures?t=398.9304791666667): lagrange is shown on the screen, written out. ##### [06:52.069](https://academa.ai/lectures/taylor-sine-convergence-failures?t=412.06897916666674) Narration: Hold it next to the terms we were adding. It is exactly the shape of the next term of the series, except for one thing. The derivative is taken at c, somewhere in the middle, rather than at zero. And the theorem never tells you where c is. Board: thm — a Math \[text\] that says "$f(x) = P\_n(x) + R\_n(x)$"; lagrange — a Math \[text\] that says "$R\_n(x) = frac(f^((n + 1))(c), (n + 1)!) x^(n + 1)$"; head\_thm — a Heading that says "Taylor's Theorem" Actions: - [07:0.254](https://academa.ai/lectures/taylor-sine-convergence-failures?t=420.2544791666667): lagrange (the "f^((n + 1))(c)" part) is emphasized. - [07:2.61](https://academa.ai/lectures/taylor-sine-convergence-failures?t=422.6104791666667): thm\_note is shown on the screen, written out. - [07:5.873](https://academa.ai/lectures/taylor-sine-convergence-failures?t=425.8734791666667): lagrange (the "f^((n + 1))(c)" part) is no longer emphasized. - [07:7.614](https://academa.ai/lectures/taylor-sine-convergence-failures?t=427.61447916666674): head\_thm is hidden from the screen — left the board. - [07:7.614](https://academa.ai/lectures/taylor-sine-convergence-failures?t=427.61447916666674): lagrange is hidden from the screen — left the board. - [07:7.614](https://academa.ai/lectures/taylor-sine-convergence-failures?t=427.61447916666674): thm is hidden from the screen — left the board. - [07:7.614](https://academa.ai/lectures/taylor-sine-convergence-failures?t=427.61447916666674): thm\_note is hidden from the screen — left the board. ##### [07:8.814](https://academa.ai/lectures/taylor-sine-convergence-failures?t=428.81447916666673) Narration: Now watch what that buys us for sine. Every derivative of sine is plus or minus a sine or a cosine. So whatever c turns out to be, that derivative is at most one in size, and we never need to know c at all. Board: Empty. Actions: - [07:8.814](https://academa.ai/lectures/taylor-sine-convergence-failures?t=428.81447916666673): head\_bound is shown on the screen, written out. - [07:19.449](https://academa.ai/lectures/taylor-sine-convergence-failures?t=439.4494791666668): bound is shown on the screen, written out. ##### [07:23.718](https://academa.ai/lectures/taylor-sine-convergence-failures?t=443.71797916666674) Narration: So the remainder is trapped below x to the n plus one, over n plus one factorial. Pure arithmetic, with no trigonometry left in it. And now look at what that quantity does as n grows. Board: head\_bound — a Heading that says "Bounding the Remainder" Actions: - [07:24.785](https://academa.ai/lectures/taylor-sine-convergence-failures?t=444.78547916666673): bound is shown on the screen, written out. - [07:34.944](https://academa.ai/lectures/taylor-sine-convergence-failures?t=454.9444791666667): table is shown on the screen, written out. ##### [07:37.739](https://academa.ai/lectures/taylor-sine-convergence-failures?t=457.7389791666667) Narration: Take x equal to ten, a long way from the centre. With five terms the bound is over eight hundred, which is useless. With ten it is worse, nearly three thousand. The powers of ten are still beating the factorial. Board: Unchanged from the preceding beat in this scene. Actions: - [07:42.057](https://academa.ai/lectures/taylor-sine-convergence-failures?t=462.0574791666667): table is shown on the screen, written out. - [07:46.47](https://academa.ai/lectures/taylor-sine-convergence-failures?t=466.4704791666667): table is shown on the screen, written out. ##### [07:51.662](https://academa.ai/lectures/taylor-sine-convergence-failures?t=471.6619791666667) Narration: But factorials win in the end. By fifteen the bound has turned over. By twenty it is forty. By thirty it is four thousandths, and by forty it is a hundred-millionth. Board: Unchanged from the preceding beat in this scene. Actions: - [07:54.152](https://academa.ai/lectures/taylor-sine-convergence-failures?t=474.1524791666667): table is shown on the screen, written out. - [07:56.462](https://academa.ai/lectures/taylor-sine-convergence-failures?t=476.46247916666675): table is shown on the screen, written out. - [07:58.378](https://academa.ai/lectures/taylor-sine-convergence-failures?t=478.3784791666667): table is shown on the screen, written out. - [08:0.839](https://academa.ai/lectures/taylor-sine-convergence-failures?t=480.8394791666667): table is shown on the screen, written out. ##### [08:3.401](https://academa.ai/lectures/taylor-sine-convergence-failures?t=483.40097916666673) Narration: And ten is not special. Fix any x you like, however enormous, and x to the m over m factorial goes to zero as m grows, because eventually the factorial is multiplying by numbers larger than x at every single step. Board: Unchanged from the preceding beat in this scene. Actions: - [08:4.399](https://academa.ai/lectures/taylor-sine-convergence-failures?t=484.39947916666677): table (the "column=2" part) is indicated — a transient flash. - [08:12.062](https://academa.ai/lectures/taylor-sine-convergence-failures?t=492.0624791666668): conclusion is shown on the screen, written out. - [08:12.662](https://academa.ai/lectures/taylor-sine-convergence-failures?t=492.66247916666674): conclusion\_note is shown on the screen, written out. ##### [08:20.336](https://academa.ai/lectures/taylor-sine-convergence-failures?t=500.3364791666667) Narration: Which is the sentence we were actually after. The remainder for sine dies, everywhere. So the series really does add up to sine, at every real number. Not nearly. Exactly. And it was the remainder that proved it, not the terms. Board: conclusion — a Math \[text\] that says "$lim\_(n -\> oo) R\_n(x) = 0$"; conclusion\_note — a Tex \[text\] that says "for every real $x$, however far from the centre."; head\_bound — a Heading that says "Bounding the Remainder" Actions: - [08:32.689](https://academa.ai/lectures/taylor-sine-convergence-failures?t=512.6894791666667): A box is drawn around conclusion. - [08:37.062](https://academa.ai/lectures/taylor-sine-convergence-failures?t=517.0619791666668): bound is hidden from the screen — left the board. - [08:37.062](https://academa.ai/lectures/taylor-sine-convergence-failures?t=517.0619791666668): conclusion is hidden from the screen — left the board. - [08:37.062](https://academa.ai/lectures/taylor-sine-convergence-failures?t=517.0619791666668): conclusion\_note is hidden from the screen — left the board. - [08:37.062](https://academa.ai/lectures/taylor-sine-convergence-failures?t=517.0619791666668): head\_bound is hidden from the screen — left the board. - [08:37.062](https://academa.ai/lectures/taylor-sine-convergence-failures?t=517.0619791666668): table is hidden from the screen — left the board. ### Scene 3: [Where the Series Stops Converging](https://academa.ai/lectures/taylor-sine-convergence-failures?t=518.1036458333334) Span: 08:38.104–10:59.379 (518.1036458333334s–659.3789791666668s). #### Objects - axes: an Axes (x\_range=(-2.2, 2.2), y\_range=(-1.4, 1.4), x\_ticks\_every=1.0) - bell\_plot: a FunctionPlot \[blue\] labelled "frac(1, 1 + x^2)" drawn in axes (function=\, x\_range=(-2.2, 2.2)) - g\_def: a Math \[text\] that says "$g(x) = frac(1, 1 + x^2)$" - g\_series: a Math \[text\] that says "$g(x) = 1 - x^2 + x^4 - x^6 + dots$" - geo: a Math \[text\] that says "$1 + r + r^2 + dots = frac(1, 1 - r)$" - head\_name: a Heading that says "The Radius of Convergence" - head\_radius: a Heading that says "Where the Series Stops Converging" - point: a Point \[yellow\] drawn in axes (location=(1.2, 0.41)) - radius\_note: a Panel that says "Every power series has a radius $R$. It converges for $\|x\| \< R$ and diverges for $\|x\| \> R$. For this one, $R = 1$." - s2\_plot: a FunctionPlot \[yellow\] labelled "S\_2" drawn in axes (function=\, x\_range=(-1.5, 1.5)) - s6\_plot: a FunctionPlot \[red\] labelled "S\_6" drawn in axes (function=\, x\_range=(-1.2, 1.2)) - sub: a Math \[text\] that says "$r = - x^2, quad \|r\| \< 1 arrow.r.double \|x\| \< 1$" - wall\_l: a Line \[gray\] drawn in axes (start=(-1.0, -1.3), end=(-1.0, 1.3), dashed=True) - wall\_r: a Line \[gray\] drawn in axes (start=(1.0, -1.3), end=(1.0, 1.3), dashed=True) #### Beats ##### [08:38.104](https://academa.ai/lectures/taylor-sine-convergence-failures?t=518.1036458333334) Narration: Sine was the happy case. Here is a function that is not. g of x is one over one plus x squared. Smooth everywhere, bounded, no corners, no blow-ups. There is nothing wrong with it anywhere on the real line. Board: Empty. Actions: - [08:38.104](https://academa.ai/lectures/taylor-sine-convergence-failures?t=518.1036458333334): head\_radius is shown on the screen, written out. - [08:38.104](https://academa.ai/lectures/taylor-sine-convergence-failures?t=518.1036458333334): axes is shown on the screen, written out. - [08:38.104](https://academa.ai/lectures/taylor-sine-convergence-failures?t=518.1036458333334): bell\_plot is shown on the screen, drawn. - [08:45.685](https://academa.ai/lectures/taylor-sine-convergence-failures?t=525.6846458333334): axes moves to a new place on the board. - [08:45.685](https://academa.ai/lectures/taylor-sine-convergence-failures?t=525.6846458333334): g\_def is shown on the screen, written out. ##### [08:54.853](https://academa.ai/lectures/taylor-sine-convergence-failures?t=534.8531458333334) Narration: Its Taylor series about zero is easy to get, because you have already seen it. A geometric series sums to one over one minus r, whenever r is smaller than one in size. Now put r equal to minus x squared. Board: g\_def — a Math \[text\] that says "$g(x) = frac(1, 1 + x^2)$"; axes — an Axes (x\_range=(-2.2, 2.2), y\_range=(-1.4, 1.4), x\_ticks\_every=1.0); head\_radius — a Heading that says "Where the Series Stops Converging"; bell\_plot — a FunctionPlot \[blue\] labelled "frac(1, 1 + x^2)" drawn in axes (function=\, x\_range=(-2.2, 2.2)) Actions: - [09:0.566](https://academa.ai/lectures/taylor-sine-convergence-failures?t=540.5656458333334): geo is shown on the screen, written out. - [09:6.777](https://academa.ai/lectures/taylor-sine-convergence-failures?t=546.7766458333334): sub is shown on the screen, written out. ##### [09:10.14](https://academa.ai/lectures/taylor-sine-convergence-failures?t=550.1401458333335) Narration: Out comes one, minus x squared, plus x to the fourth, minus x to the sixth, and onward. Every even power, with the signs alternating. That is the Taylor series of g about zero. Board: g\_def — a Math \[text\] that says "$g(x) = frac(1, 1 + x^2)$"; geo — a Math \[text\] that says "$1 + r + r^2 + dots = frac(1, 1 - r)$"; sub — a Math \[text\] that says "$r = - x^2, quad \|r\| \< 1 arrow.r.double \|x\| \< 1$"; axes — an Axes (x\_range=(-2.2, 2.2), y\_range=(-1.4, 1.4), x\_ticks\_every=1.0); head\_radius — a Heading that says "Where the Series Stops Converging"; bell\_plot — a FunctionPlot \[blue\] labelled "frac(1, 1 + x^2)" drawn in axes (function=\, x\_range=(-2.2, 2.2)) Actions: - [09:10.628](https://academa.ai/lectures/taylor-sine-convergence-failures?t=550.6276458333334): g\_series is shown on the screen, written out. ##### [09:25.113](https://academa.ai/lectures/taylor-sine-convergence-failures?t=565.1131458333334) Narration: Now draw two of its partial sums. Here is one minus x squared. Here is the one that runs out to the sixth power. And here are the two walls, at minus one and at plus one. Board: g\_def — a Math \[text\] that says "$g(x) = frac(1, 1 + x^2)$"; geo — a Math \[text\] that says "$1 + r + r^2 + dots = frac(1, 1 - r)$"; sub — a Math \[text\] that says "$r = - x^2, quad \|r\| \< 1 arrow.r.double \|x\| \< 1$"; g\_series — a Math \[text\] that says "$g(x) = 1 - x^2 + x^4 - x^6 + dots$"; axes — an Axes (x\_range=(-2.2, 2.2), y\_range=(-1.4, 1.4), x\_ticks\_every=1.0); head\_radius — a Heading that says "Where the Series Stops Converging"; bell\_plot — a FunctionPlot \[blue\] labelled "frac(1, 1 + x^2)" drawn in axes (function=\, x\_range=(-2.2, 2.2)) Actions: - [09:28.19](https://academa.ai/lectures/taylor-sine-convergence-failures?t=568.1896458333334): s2\_plot is shown on the screen, drawn. - [09:31.708](https://academa.ai/lectures/taylor-sine-convergence-failures?t=571.7076458333335): s6\_plot is shown on the screen, drawn. - [09:35.086](https://academa.ai/lectures/taylor-sine-convergence-failures?t=575.0856458333334): wall\_l is shown on the screen, written out. - [09:35.086](https://academa.ai/lectures/taylor-sine-convergence-failures?t=575.0856458333334): wall\_r is shown on the screen, written out. ##### [09:39.181](https://academa.ai/lectures/taylor-sine-convergence-failures?t=579.1806458333334) Narration: Inside those walls the partial sums close in on the curve, and taking more terms makes them better. Outside them, look what happens. The sixth power sum has already dived past minus one, while the function it came from sits calmly at four tenths. Board: g\_def — a Math \[text\] that says "$g(x) = frac(1, 1 + x^2)$"; geo — a Math \[text\] that says "$1 + r + r^2 + dots = frac(1, 1 - r)$"; sub — a Math \[text\] that says "$r = - x^2, quad \|r\| \< 1 arrow.r.double \|x\| \< 1$"; g\_series — a Math \[text\] that says "$g(x) = 1 - x^2 + x^4 - x^6 + dots$"; axes — an Axes (x\_range=(-2.2, 2.2), y\_range=(-1.4, 1.4), x\_ticks\_every=1.0); head\_radius — a Heading that says "Where the Series Stops Converging"; bell\_plot — a FunctionPlot \[blue\] labelled "frac(1, 1 + x^2)" drawn in axes (function=\, x\_range=(-2.2, 2.2)); s2\_plot — a FunctionPlot \[yellow\] labelled "S\_2" drawn in axes (function=\, x\_range=(-1.5, 1.5)); s6\_plot — a FunctionPlot \[red\] labelled "S\_6" drawn in axes (function=\, x\_range=(-1.2, 1.2)); wall\_l — a Line \[gray\] drawn in axes (start=(-1.0, -1.3), end=(-1.0, 1.3), dashed=True); wall\_r — a Line \[gray\] drawn in axes (start=(1.0, -1.3), end=(1.0, 1.3), dashed=True) Actions: - [09:54.668](https://academa.ai/lectures/taylor-sine-convergence-failures?t=594.6676458333334): point is shown on the screen, grown. ##### [09:56.266](https://academa.ai/lectures/taylor-sine-convergence-failures?t=596.2656458333335) Narration: And adding more terms out there does not help. It makes things worse. Past x equals one the powers of x stop shrinking, so the series has nothing to converge to at all. It is not a bad approximation. It is not an approximation. Board: g\_def — a Math \[text\] that says "$g(x) = frac(1, 1 + x^2)$"; geo — a Math \[text\] that says "$1 + r + r^2 + dots = frac(1, 1 - r)$"; sub — a Math \[text\] that says "$r = - x^2, quad \|r\| \< 1 arrow.r.double \|x\| \< 1$"; g\_series — a Math \[text\] that says "$g(x) = 1 - x^2 + x^4 - x^6 + dots$"; axes — an Axes (x\_range=(-2.2, 2.2), y\_range=(-1.4, 1.4), x\_ticks\_every=1.0); head\_radius — a Heading that says "Where the Series Stops Converging"; bell\_plot — a FunctionPlot \[blue\] labelled "frac(1, 1 + x^2)" drawn in axes (function=\, x\_range=(-2.2, 2.2)); s2\_plot — a FunctionPlot \[yellow\] labelled "S\_2" drawn in axes (function=\, x\_range=(-1.5, 1.5)); s6\_plot — a FunctionPlot \[red\] labelled "S\_6" drawn in axes (function=\, x\_range=(-1.2, 1.2)); wall\_l — a Line \[gray\] drawn in axes (start=(-1.0, -1.3), end=(-1.0, 1.3), dashed=True); wall\_r — a Line \[gray\] drawn in axes (start=(1.0, -1.3), end=(1.0, 1.3), dashed=True); point — a Point \[yellow\] drawn in axes (location=(1.2, 0.41)) Actions: - [09:56.668](https://academa.ai/lectures/taylor-sine-convergence-failures?t=596.6676458333334): point is hidden from the screen. - [10:0.133](https://academa.ai/lectures/taylor-sine-convergence-failures?t=600.1326458333334): s6\_plot is indicated — a transient flash. - [10:12.625](https://academa.ai/lectures/taylor-sine-convergence-failures?t=612.6246458333335): g\_series moves to a new place on the board. - [10:12.625](https://academa.ai/lectures/taylor-sine-convergence-failures?t=612.6246458333335): g\_def is hidden from the screen — left the board. - [10:12.625](https://academa.ai/lectures/taylor-sine-convergence-failures?t=612.6246458333335): geo is hidden from the screen — left the board. - [10:12.625](https://academa.ai/lectures/taylor-sine-convergence-failures?t=612.6246458333335): head\_radius is hidden from the screen — left the board. - [10:12.625](https://academa.ai/lectures/taylor-sine-convergence-failures?t=612.6246458333335): sub is hidden from the screen — left the board. ##### [10:13.225](https://academa.ai/lectures/taylor-sine-convergence-failures?t=613.2246458333334) Narration: That number one has a name, and it is the thing this lecture assumed you had not met. It is the radius of convergence. Inside it the series converges. Outside it the series diverges, and there is no argument about a remainder to be had. Board: g\_series — a Math \[text\] that says "$g(x) = 1 - x^2 + x^4 - x^6 + dots$"; axes — an Axes (x\_range=(-2.2, 2.2), y\_range=(-1.4, 1.4), x\_ticks\_every=1.0); bell\_plot — a FunctionPlot \[blue\] labelled "frac(1, 1 + x^2)" drawn in axes (function=\, x\_range=(-2.2, 2.2)); s2\_plot — a FunctionPlot \[yellow\] labelled "S\_2" drawn in axes (function=\, x\_range=(-1.5, 1.5)); s6\_plot — a FunctionPlot \[red\] labelled "S\_6" drawn in axes (function=\, x\_range=(-1.2, 1.2)); wall\_l — a Line \[gray\] drawn in axes (start=(-1.0, -1.3), end=(-1.0, 1.3), dashed=True); wall\_r — a Line \[gray\] drawn in axes (start=(1.0, -1.3), end=(1.0, 1.3), dashed=True) Actions: - [10:13.225](https://academa.ai/lectures/taylor-sine-convergence-failures?t=613.2246458333334): head\_name is shown on the screen, written out. - [10:19.088](https://academa.ai/lectures/taylor-sine-convergence-failures?t=619.0876458333335): radius\_note is shown on the screen, written out. - [10:23.709](https://academa.ai/lectures/taylor-sine-convergence-failures?t=623.7086458333334): wall\_l is indicated — a transient flash. - [10:23.709](https://academa.ai/lectures/taylor-sine-convergence-failures?t=623.7086458333334): wall\_r is indicated — a transient flash. ##### [10:29.277](https://academa.ai/lectures/taylor-sine-convergence-failures?t=629.2771458333334) Narration: And here is the strange part. Nothing on the real line explains why the wall sits at one. The function is perfectly happy there. The explanation lives off the real line entirely, and it is a story for another course. Board: g\_series — a Math \[text\] that says "$g(x) = 1 - x^2 + x^4 - x^6 + dots$"; axes — an Axes (x\_range=(-2.2, 2.2), y\_range=(-1.4, 1.4), x\_ticks\_every=1.0); bell\_plot — a FunctionPlot \[blue\] labelled "frac(1, 1 + x^2)" drawn in axes (function=\, x\_range=(-2.2, 2.2)); s2\_plot — a FunctionPlot \[yellow\] labelled "S\_2" drawn in axes (function=\, x\_range=(-1.5, 1.5)); s6\_plot — a FunctionPlot \[red\] labelled "S\_6" drawn in axes (function=\, x\_range=(-1.2, 1.2)); wall\_l — a Line \[gray\] drawn in axes (start=(-1.0, -1.3), end=(-1.0, 1.3), dashed=True); wall\_r — a Line \[gray\] drawn in axes (start=(1.0, -1.3), end=(1.0, 1.3), dashed=True); radius\_note — a Panel that says "Every power series has a radius $R$. It converges for $\|x\| \< R$ and diverges for $\|x\| \> R$. For this one, $R = 1$."; head\_name — a Heading that says "The Radius of Convergence" Actions: - None. ##### [10:43.589](https://academa.ai/lectures/taylor-sine-convergence-failures?t=643.5891458333334) Narration: So that is failure number one. The series simply stops converging past a certain distance. It is a nuisance, but it is honest, because it tells you it has given up. The second failure is far worse, because it tells you nothing at all. Board: Unchanged from the preceding beat in this scene. Actions: - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): axes is hidden from the screen — left the board. - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): bell\_plot is hidden from the screen — axes left the board. - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): s2\_plot is hidden from the screen — axes left the board. - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): s6\_plot is hidden from the screen — axes left the board. - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): wall\_l is hidden from the screen — axes left the board. - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): wall\_r is hidden from the screen — axes left the board. - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): g\_series is hidden from the screen — left the board. - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): head\_name is hidden from the screen — left the board. - [10:58.337](https://academa.ai/lectures/taylor-sine-convergence-failures?t=658.3373125): radius\_note is hidden from the screen — left the board. ### Scene 4: [Converging to the Wrong Thing](https://academa.ai/lectures/taylor-sine-convergence-failures?t=659.3789791666668) Span: 10:59.379–14:11.068 (659.3789791666668s–851.0681875000001s). #### Objects - axes: an Axes (x\_range=(-2.6, 2.6), y\_range=(-0.3, 1.15), x\_ticks\_every=1.0) - derivs: a Derivation \[text\] that says "$f'(x) &= frac(2, x^3) e^(-frac(1, x^2)) \\ lim\_(x -\> 0) f'(x) &= 0 \\ f^((k))(0) &= 0$" - dot\_f: a PlotPoint \[blue\] drawn in axes (target='f\_plot', x=\, marker\_radius=0.08) - dot\_t: a PlotPoint \[red\] drawn in axes (target='t\_plot', x=\, marker\_radius=0.08) - f\_def: a Math \[text\] that says "$f(x) = e^(-frac(1, x^2)), quad f(0) = 0$" - f\_plot: a FunctionPlot \[blue\] labelled "f(x)" drawn in axes (function=\, x\_range=(-2.6, 2.6)) - head\_flat: a Heading that says "A Function That Hides" - head\_moral: a Heading that says "Converging to the Wrong Thing" - head\_zero: a Heading that says "Every Coefficient Vanishes" - moral: a Text \[text\] that says "The series converges everywhere, with infinite radius. It just converges to the wrong function." - point: a Point \[yellow\] drawn in axes (location=(0.5, 0.018)) - point\_2: a Point \[yellow\] drawn in axes - probe: a VariableNumber (initial\_value=1.2) - remainder\_eq: a Math \[text\] that says "$R\_n(x) = f(x) - 0 = f(x)$" - t\_plot: a FunctionPlot \[red\] labelled "T(x) = 0" drawn in axes (function=\, x\_range=(-2.6, 2.6)) - table: a Table \[text\] that says "$x$ $f(x)$ $1$ $0.368$ $0.5$ $0.018$ $0.2$ $1.4 times 10^(-11)$ $0.1$ $3.7 times 10^(-44)$" (rows=(('$x$', '$f(x)$'), ('$1$', '$0.368$'), ('$0.5$', '$0.018$'), (…, header=True) - zero\_series: a Math \[text\] that says "$T(x) = 0 + 0 x + 0 x^2 + dots = 0$" #### Beats ##### [10:59.379](https://academa.ai/lectures/taylor-sine-convergence-failures?t=659.3789791666668) Narration: Here is the function that ends this story. For x away from zero, f of x is e to the minus one over x squared, and at zero we define it to be zero. It is a perfectly ordinary looking curve. It rises from nothing on the left, flattens right out at the origin, and rises again. Board: Empty. Actions: - [10:59.379](https://academa.ai/lectures/taylor-sine-convergence-failures?t=659.3789791666668): head\_flat is shown on the screen, written out. - [10:59.379](https://academa.ai/lectures/taylor-sine-convergence-failures?t=659.3789791666668): axes is shown on the screen, written out. - [10:59.379](https://academa.ai/lectures/taylor-sine-convergence-failures?t=659.3789791666668): f\_plot is shown on the screen, drawn. - [11:7.483](https://academa.ai/lectures/taylor-sine-convergence-failures?t=667.4829791666668): axes moves to a new place on the board. - [11:7.483](https://academa.ai/lectures/taylor-sine-convergence-failures?t=667.4829791666668): f\_def is shown on the screen, written out. ##### [11:20.343](https://academa.ai/lectures/taylor-sine-convergence-failures?t=680.3429791666669) Narration: And it is smooth. Infinitely differentiable, everywhere, including at zero. That takes a little work to prove, but it is true. So Taylor's recipe applies to it with no complaint whatsoever. Board: f\_def — a Math \[text\] that says "$f(x) = e^(-frac(1, x^2)), quad f(0) = 0$"; axes — an Axes (x\_range=(-2.6, 2.6), y\_range=(-0.3, 1.15), x\_ticks\_every=1.0); head\_flat — a Heading that says "A Function That Hides"; f\_plot — a FunctionPlot \[blue\] labelled "f(x)" drawn in axes (function=\, x\_range=(-2.6, 2.6)) Actions: - [11:21.202](https://academa.ai/lectures/taylor-sine-convergence-failures?t=681.2019791666668): f\_plot is indicated — a transient flash. ##### [11:33.702](https://academa.ai/lectures/taylor-sine-convergence-failures?t=693.7019791666668) Narration: But look how hard it presses itself against the axis near the origin. At one it is about zero point three seven. At a half it is down to eighteen thousandths. At a fifth it is ten to the minus eleven, and at a tenth, ten to the minus forty four. Board: Unchanged from the preceding beat in this scene. Actions: - [11:34.225](https://academa.ai/lectures/taylor-sine-convergence-failures?t=694.2249791666668): table is shown on the screen, written out. - [11:40.03](https://academa.ai/lectures/taylor-sine-convergence-failures?t=700.0299791666667): table is shown on the screen, written out. - [11:42.805](https://academa.ai/lectures/taylor-sine-convergence-failures?t=702.8049791666668): table is shown on the screen, written out. - [11:45.974](https://academa.ai/lectures/taylor-sine-convergence-failures?t=705.9739791666668): table is shown on the screen, written out. - [11:48.865](https://academa.ai/lectures/taylor-sine-convergence-failures?t=708.8649791666668): table is shown on the screen, written out. ##### [11:50.347](https://academa.ai/lectures/taylor-sine-convergence-failures?t=710.3469791666668) Narration: That is not merely small. That is flatter than any polynomial can manage. x to the tenth, at a tenth, is ten to the minus ten, and f is already thirty orders of magnitude below that. The exponential crushes every power. Board: Unchanged from the preceding beat in this scene. Actions: - [11:52.901](https://academa.ai/lectures/taylor-sine-convergence-failures?t=712.9009791666668): point is shown on the screen, grown. - [11:54.901](https://academa.ai/lectures/taylor-sine-convergence-failures?t=714.9009791666668): point is hidden from the screen. - [12:5.741](https://academa.ai/lectures/taylor-sine-convergence-failures?t=725.7414791666667): f\_def is hidden from the screen — left the board. - [12:5.741](https://academa.ai/lectures/taylor-sine-convergence-failures?t=725.7414791666667): head\_flat is hidden from the screen — left the board. - [12:5.741](https://academa.ai/lectures/taylor-sine-convergence-failures?t=725.7414791666667): table is hidden from the screen — left the board. ##### [12:6.341](https://academa.ai/lectures/taylor-sine-convergence-failures?t=726.3414791666668) Narration: Now differentiate it. Away from zero the derivative is two over x cubed, times the same exponential. The two over x cubed blows up as x approaches the origin, but the exponential goes to zero faster than any power can blow up. So the limit is zero. Board: axes — an Axes (x\_range=(-2.6, 2.6), y\_range=(-0.3, 1.15), x\_ticks\_every=1.0); f\_plot — a FunctionPlot \[blue\] labelled "f(x)" drawn in axes (function=\, x\_range=(-2.6, 2.6)) Actions: - [12:6.341](https://academa.ai/lectures/taylor-sine-convergence-failures?t=726.3414791666668): head\_zero is shown on the screen, written out. - [12:11.403](https://academa.ai/lectures/taylor-sine-convergence-failures?t=731.4029791666668): derivs is shown on the screen, written out. - [12:23.431](https://academa.ai/lectures/taylor-sine-convergence-failures?t=743.4309791666668): derivs is shown on the screen, written out. ##### [12:25.401](https://academa.ai/lectures/taylor-sine-convergence-failures?t=745.4009791666668) Narration: Differentiate again and you get another rational function of one over x, times that same exponential, and the same thing happens. Every single derivative at zero comes out zero. Not small. Zero. Board: axes — an Axes (x\_range=(-2.6, 2.6), y\_range=(-0.3, 1.15), x\_ticks\_every=1.0); f\_plot — a FunctionPlot \[blue\] labelled "f(x)" drawn in axes (function=\, x\_range=(-2.6, 2.6)); head\_zero — a Heading that says "Every Coefficient Vanishes" Actions: - [12:34.457](https://academa.ai/lectures/taylor-sine-convergence-failures?t=754.4569791666668): derivs is shown on the screen, written out. - [12:35.676](https://academa.ai/lectures/taylor-sine-convergence-failures?t=755.6759791666668): derivs (the "0#2" part) is emphasized. ##### [12:40.827](https://academa.ai/lectures/taylor-sine-convergence-failures?t=760.8269791666668) Narration: So feed those into the recipe. Every coefficient is a derivative at zero over a factorial, and every one of those derivatives is zero. So every coefficient is zero, and the Taylor series of this function is the zero function. Board: Unchanged from the preceding beat in this scene. Actions: - [12:40.827](https://academa.ai/lectures/taylor-sine-convergence-failures?t=760.8269791666668): derivs (the "0#2" part) is no longer emphasized. - [12:52.391](https://academa.ai/lectures/taylor-sine-convergence-failures?t=772.3909791666667): zero\_series is shown on the screen, written out. - [12:55.27](https://academa.ai/lectures/taylor-sine-convergence-failures?t=775.2704791666667): zero\_series moves to a new place on the board. - [12:55.27](https://academa.ai/lectures/taylor-sine-convergence-failures?t=775.2704791666667): derivs is hidden from the screen — left the board. - [12:55.27](https://academa.ai/lectures/taylor-sine-convergence-failures?t=775.2704791666667): head\_zero is hidden from the screen — left the board. ##### [12:55.87](https://academa.ai/lectures/taylor-sine-convergence-failures?t=775.8704791666668) Narration: Draw it. There it is, in red, lying flat along the axis. And now ask the question we have been asking all along. How wrong is it? Put a dot on the function and a dot on its series, and walk them out. Board: axes — an Axes (x\_range=(-2.6, 2.6), y\_range=(-0.3, 1.15), x\_ticks\_every=1.0); f\_plot — a FunctionPlot \[blue\] labelled "f(x)" drawn in axes (function=\, x\_range=(-2.6, 2.6)); zero\_series — a Math \[text\] that says "$T(x) = 0 + 0 x + 0 x^2 + dots = 0$" Actions: - [12:55.87](https://academa.ai/lectures/taylor-sine-convergence-failures?t=775.8704791666668): head\_moral is shown on the screen, written out. - [12:58.692](https://academa.ai/lectures/taylor-sine-convergence-failures?t=778.6919791666668): t\_plot is shown on the screen, written out. - [13:7.806](https://academa.ai/lectures/taylor-sine-convergence-failures?t=787.8059791666668): dot\_f is shown on the screen, written out. - [13:7.806](https://academa.ai/lectures/taylor-sine-convergence-failures?t=787.8059791666668): dot\_t is shown on the screen, written out. ##### [13:12.178](https://academa.ai/lectures/taylor-sine-convergence-failures?t=792.1784791666668) Narration: They come apart immediately. Out at two point four the gap is nearly the whole height of the picture. Walk back in and it shrinks, but it never actually closes until you are standing at the origin itself. Board: axes — an Axes (x\_range=(-2.6, 2.6), y\_range=(-0.3, 1.15), x\_ticks\_every=1.0); f\_plot — a FunctionPlot \[blue\] labelled "f(x)" drawn in axes (function=\, x\_range=(-2.6, 2.6)); zero\_series — a Math \[text\] that says "$T(x) = 0 + 0 x + 0 x^2 + dots = 0$"; head\_moral — a Heading that says "Converging to the Wrong Thing"; t\_plot — a FunctionPlot \[red\] labelled "T(x) = 0" drawn in axes (function=\, x\_range=(-2.6, 2.6)); dot\_f — a PlotPoint \[blue\] drawn in axes (target='f\_plot', x=\, marker\_radius=0.08); dot\_t — a PlotPoint \[red\] drawn in axes (target='t\_plot', x=\, marker\_radius=0.08) Actions: - [13:14.884](https://academa.ai/lectures/taylor-sine-convergence-failures?t=794.8839791666668): dot\_f is redrawn as the numbers it depends on change. - [13:14.884](https://academa.ai/lectures/taylor-sine-convergence-failures?t=794.8839791666668): dot\_t is redrawn as the numbers it depends on change. - [13:14.884](https://academa.ai/lectures/taylor-sine-convergence-failures?t=794.8839791666668): probe ticks to 2.4. - [13:19.308](https://academa.ai/lectures/taylor-sine-convergence-failures?t=799.3079791666669): dot\_f is redrawn as the numbers it depends on change. - [13:19.308](https://academa.ai/lectures/taylor-sine-convergence-failures?t=799.3079791666669): dot\_t is redrawn as the numbers it depends on change. - [13:19.308](https://academa.ai/lectures/taylor-sine-convergence-failures?t=799.3079791666669): probe ticks to 0.6. ##### [13:25.329](https://academa.ai/lectures/taylor-sine-convergence-failures?t=805.3294791666668) Narration: And here is the thing that should bother you. Adding more terms does nothing at all, because every term is zero. The remainder is the whole function, at every degree, forever. Board: Unchanged from the preceding beat in this scene. Actions: - [13:32.772](https://academa.ai/lectures/taylor-sine-convergence-failures?t=812.7719791666668): remainder\_eq is shown on the screen, written out. ##### [13:36.982](https://academa.ai/lectures/taylor-sine-convergence-failures?t=816.9824791666667) Narration: So this series converges. It converges on the entire real line, beautifully, instantly, with infinite radius of convergence. And it converges to the wrong thing. It agrees with the function it came from at exactly one point, the point we built it at, and nowhere else. Board: axes — an Axes (x\_range=(-2.6, 2.6), y\_range=(-0.3, 1.15), x\_ticks\_every=1.0); f\_plot — a FunctionPlot \[blue\] labelled "f(x)" drawn in axes (function=\, x\_range=(-2.6, 2.6)); zero\_series — a Math \[text\] that says "$T(x) = 0 + 0 x + 0 x^2 + dots = 0$"; remainder\_eq — a Math \[text\] that says "$R\_n(x) = f(x) - 0 = f(x)$"; head\_moral — a Heading that says "Converging to the Wrong Thing"; t\_plot — a FunctionPlot \[red\] labelled "T(x) = 0" drawn in axes (function=\, x\_range=(-2.6, 2.6)); dot\_f — a PlotPoint \[blue\] drawn in axes (target='f\_plot', x=\, marker\_radius=0.08); dot\_t — a PlotPoint \[red\] drawn in axes (target='t\_plot', x=\, marker\_radius=0.08) Actions: - [13:48](https://academa.ai/lectures/taylor-sine-convergence-failures?t=827.9999791666668): moral is shown on the screen, written out. - [13:51.077](https://academa.ai/lectures/taylor-sine-convergence-failures?t=831.0769791666668): point\_2 is shown on the screen, grown. - [13:53.077](https://academa.ai/lectures/taylor-sine-convergence-failures?t=833.0769791666668): point\_2 is hidden from the screen. ##### [13:55.885](https://academa.ai/lectures/taylor-sine-convergence-failures?t=835.8854791666668) Narration: Which kills the comfortable picture of what a Taylor series is. It is not a decomposition of a function. It is a list of derivatives at one point, and derivatives at one point can be completely blind to what the function does anywhere else. Board: axes — an Axes (x\_range=(-2.6, 2.6), y\_range=(-0.3, 1.15), x\_ticks\_every=1.0); f\_plot — a FunctionPlot \[blue\] labelled "f(x)" drawn in axes (function=\, x\_range=(-2.6, 2.6)); zero\_series — a Math \[text\] that says "$T(x) = 0 + 0 x + 0 x^2 + dots = 0$"; remainder\_eq — a Math \[text\] that says "$R\_n(x) = f(x) - 0 = f(x)$"; moral — a Text \[text\] that says "The series converges everywhere, with infinite radius. It just converges to the wrong function."; head\_moral — a Heading that says "Converging to the Wrong Thing"; t\_plot — a FunctionPlot \[red\] labelled "T(x) = 0" drawn in axes (function=\, x\_range=(-2.6, 2.6)); dot\_f — a PlotPoint \[blue\] drawn in axes (target='f\_plot', x=\, marker\_radius=0.08); dot\_t — a PlotPoint \[red\] drawn in axes (target='t\_plot', x=\, marker\_radius=0.08) Actions: - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): axes is hidden from the screen — left the board. - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): f\_plot is hidden from the screen — axes left the board. - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): t\_plot is hidden from the screen — axes left the board. - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): dot\_f is hidden from the screen — axes left the board. - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): dot\_t is hidden from the screen — axes left the board. - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): head\_moral is hidden from the screen — left the board. - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): moral is hidden from the screen — left the board. - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): remainder\_eq is hidden from the screen — left the board. - [14:10.027](https://academa.ai/lectures/taylor-sine-convergence-failures?t=850.0265208333335): zero\_series is hidden from the screen — left the board. ### Scene 5: [What the Theorem Actually Says](https://academa.ai/lectures/taylor-sine-convergence-failures?t=851.0681875000001) Span: 14:11.068–16:18.601 (851.0681875000001s–978.6010000000001s). #### Objects - final: a Math \[text\] that says "$sin x = sum\_(k = 0)^oo frac((-1)^k, (2 k + 1)!) x^(2 k + 1)$" - final\_note: a Text \[text\] that says "and this holds for every real $x$, because the remainder is squeezed below $\|x\|^(n+1)$ over $(n+1)!$, which tends to zero." - flat\_a: a Math \[text\] that says "$T(x) = 0$" - flat\_b: a Math \[text\] that says "$R\_n(x) = f(x) eq.not 0$" - head\_last: a Heading that says "What the Theorem Actually Says" - head\_two: a Heading that says "Two Series, Two Fates" - item\_1: a Text \[text\] that says "1. Taylor's theorem is an equality, not an approximation: $f(x) = P\_n(x) + R\_n(x)$." - item\_2: a Text \[text\] that says "2. The series represents $f$ only where $R\_n(x) -\> 0$. That is a claim about the remainder, and it has to be proved." - item\_3: a Text \[text\] that says "3. A series can converge, with infinite radius, and still converge to something other than the function it came from." - label\_flat: a Tex \[text\] that says "$e^(-frac(1, x^2))$: the remainder does not" (underline=True) - label\_sine: a Tex \[text\] that says "$sin x$: the remainder dies" (underline=True) - sine\_a: a Math \[text\] that says "$\|R\_n(x)\| \<= frac(\|x\|^(n + 1), (n + 1)!)$" - sine\_b: a Math \[text\] that says "$R\_n(x) -\> 0$" #### Beats ##### [14:11.068](https://academa.ai/lectures/taylor-sine-convergence-failures?t=851.0681875000001) Narration: So put the two cases next to each other. For sine we could bound the remainder, and the bound went to zero for every x. That is precisely why we are allowed to write an equals sign between the function and its series. Board: Empty. Actions: - [14:11.068](https://academa.ai/lectures/taylor-sine-convergence-failures?t=851.0681875000001): head\_two is shown on the screen, written out. - [14:13.947](https://academa.ai/lectures/taylor-sine-convergence-failures?t=853.9471875000002): label\_sine is shown on the screen, written out. - [14:15.05](https://academa.ai/lectures/taylor-sine-convergence-failures?t=855.0501875000001): sine\_a is shown on the screen, written out. - [14:17.117](https://academa.ai/lectures/taylor-sine-convergence-failures?t=857.1171875000001): sine\_b is shown on the screen, written out. ##### [14:25.078](https://academa.ai/lectures/taylor-sine-convergence-failures?t=865.0776875000001) Narration: For the flat function, the series was the zero function and the remainder was the whole of f, at every degree. It never went anywhere. So there is no equals sign to be had, except at the single point x equals zero. Board: label\_sine — a Tex \[text\] that says "$sin x$: the remainder dies" (underline=True); sine\_a — a Math \[text\] that says "$\|R\_n(x)\| \<= frac(\|x\|^(n + 1), (n + 1)!)$"; sine\_b — a Math \[text\] that says "$R\_n(x) -\> 0$"; head\_two — a Heading that says "Two Series, Two Fates" Actions: - [14:25.797](https://academa.ai/lectures/taylor-sine-convergence-failures?t=865.7971875000002): label\_flat is shown on the screen, written out. - [14:27.817](https://academa.ai/lectures/taylor-sine-convergence-failures?t=867.8171875000002): flat\_a is shown on the screen, written out. - [14:31.474](https://academa.ai/lectures/taylor-sine-convergence-failures?t=871.4741875000001): flat\_b is shown on the screen, written out. ##### [14:40.248](https://academa.ai/lectures/taylor-sine-convergence-failures?t=880.2476875000001) Narration: And notice what did the deciding in both cases. Not the terms. Not how fast the coefficients shrink. Not even whether the series converges. It was the remainder that settled it, both times, and nothing else in the argument mattered at all. Board: label\_sine — a Tex \[text\] that says "$sin x$: the remainder dies" (underline=True); sine\_a — a Math \[text\] that says "$\|R\_n(x)\| \<= frac(\|x\|^(n + 1), (n + 1)!)$"; sine\_b — a Math \[text\] that says "$R\_n(x) -\> 0$"; label\_flat — a Tex \[text\] that says "$e^(-frac(1, x^2))$: the remainder does not" (underline=True); flat\_a — a Math \[text\] that says "$T(x) = 0$"; flat\_b — a Math \[text\] that says "$R\_n(x) = f(x) eq.not 0$"; head\_two — a Heading that says "Two Series, Two Fates" Actions: - [14:51.753](https://academa.ai/lectures/taylor-sine-convergence-failures?t=891.7531875000001): sine\_b (the "R\_n(x)" part) is emphasized. - [14:51.753](https://academa.ai/lectures/taylor-sine-convergence-failures?t=891.7531875000001): flat\_b (the "R\_n(x)" part) is emphasized. - [14:55.619](https://academa.ai/lectures/taylor-sine-convergence-failures?t=895.6191875000002): sine\_b (the "R\_n(x)" part) is no longer emphasized. - [14:55.619](https://academa.ai/lectures/taylor-sine-convergence-failures?t=895.6191875000002): flat\_b (the "R\_n(x)" part) is no longer emphasized. - [14:56.757](https://academa.ai/lectures/taylor-sine-convergence-failures?t=896.7571875000001): flat\_a is hidden from the screen — left the board. - [14:56.757](https://academa.ai/lectures/taylor-sine-convergence-failures?t=896.7571875000001): flat\_b is hidden from the screen — left the board. - [14:56.757](https://academa.ai/lectures/taylor-sine-convergence-failures?t=896.7571875000001): head\_two is hidden from the screen — left the board. - [14:56.757](https://academa.ai/lectures/taylor-sine-convergence-failures?t=896.7571875000001): label\_flat is hidden from the screen — left the board. - [14:56.757](https://academa.ai/lectures/taylor-sine-convergence-failures?t=896.7571875000001): label\_sine is hidden from the screen — left the board. - [14:56.757](https://academa.ai/lectures/taylor-sine-convergence-failures?t=896.7571875000001): sine\_a is hidden from the screen — left the board. - [14:56.757](https://academa.ai/lectures/taylor-sine-convergence-failures?t=896.7571875000001): sine\_b is hidden from the screen — left the board. ##### [14:57.357](https://academa.ai/lectures/taylor-sine-convergence-failures?t=897.3571875000001) Narration: So, three things to carry away. First, Taylor's theorem is not an approximation. It is an equality. The function is the polynomial plus the remainder, exactly, for every x and every n. There is nothing to be wrong about until you throw the remainder away. Board: Empty. Actions: - [14:57.357](https://academa.ai/lectures/taylor-sine-convergence-failures?t=897.3571875000001): head\_last is shown on the screen, written out. - [15:0.758](https://academa.ai/lectures/taylor-sine-convergence-failures?t=900.7581875000001): item\_1 is shown on the screen, written out. ##### [15:17.183](https://academa.ai/lectures/taylor-sine-convergence-failures?t=917.1831875000001) Narration: Second, the series represents the function only where the remainder tends to zero. That is a limit statement, and it has to be proved. For sine we proved it, with the factorial. For the flat function it is plainly false. Board: item\_1 — a Text \[text\] that says "1. Taylor's theorem is an equality, not an approximation: $f(x) = P\_n(x) + R\_n(x)$."; head\_last — a Heading that says "What the Theorem Actually Says" Actions: - [15:17.531](https://academa.ai/lectures/taylor-sine-convergence-failures?t=917.5311875000001): item\_2 is shown on the screen, written out. ##### [15:34.061](https://academa.ai/lectures/taylor-sine-convergence-failures?t=934.0606875000001) Narration: And third, the one that catches people. A series converging is not the same thing as a series converging to the right answer. Our last example converged everywhere on the line and was wrong everywhere except one point. Board: item\_1 — a Text \[text\] that says "1. Taylor's theorem is an equality, not an approximation: $f(x) = P\_n(x) + R\_n(x)$."; item\_2 — a Text \[text\] that says "2. The series represents $f$ only where $R\_n(x) -\> 0$. That is a claim about the remainder, and it has to be proved."; head\_last — a Heading that says "What the Theorem Actually Says" Actions: - [15:34.699](https://academa.ai/lectures/taylor-sine-convergence-failures?t=934.6991875000001): item\_3 is shown on the screen, written out. - [15:47.982](https://academa.ai/lectures/taylor-sine-convergence-failures?t=947.9816875000001): item\_1 is hidden from the screen — left the board. - [15:47.982](https://academa.ai/lectures/taylor-sine-convergence-failures?t=947.9816875000001): item\_2 is hidden from the screen — left the board. - [15:47.982](https://academa.ai/lectures/taylor-sine-convergence-failures?t=947.9816875000001): item\_3 is hidden from the screen — left the board. ##### [15:48.582](https://academa.ai/lectures/taylor-sine-convergence-failures?t=948.5816875000002) Narration: So here is the statement, whole. Sine of x is the sum from k equals zero to infinity of minus one to the k, times x to the two k plus one, over two k plus one factorial. Board: head\_last — a Heading that says "What the Theorem Actually Says" Actions: - [15:49.545](https://academa.ai/lectures/taylor-sine-convergence-failures?t=949.5451875000001): final is shown on the screen, written out. - [16:1.573](https://academa.ai/lectures/taylor-sine-convergence-failures?t=961.5731875000001): final\_note is shown on the screen, written out. ##### [16:3.241](https://academa.ai/lectures/taylor-sine-convergence-failures?t=963.2411875000001) Narration: And that equals sign is not notation. It is a theorem, and the thing holding it up is a bound on the remainder that goes to zero for every x. The series is the part you can see. The remainder is the part that decides. Board: head\_last — a Heading that says "What the Theorem Actually Says"; final — a Math \[text\] that says "$sin x = sum\_(k = 0)^oo frac((-1)^k, (2 k + 1)!) x^(2 k + 1)$"; final\_note — a Text \[text\] that says "and this holds for every real $x$, because the remainder is squeezed below $\|x\|^(n+1)$ over $(n+1)!$, which tends to zero." Actions: - [16:6.817](https://academa.ai/lectures/taylor-sine-convergence-failures?t=966.8171875000002): A box is drawn around final. - [16:17.559](https://academa.ai/lectures/taylor-sine-convergence-failures?t=977.5593333333335): final is hidden from the screen — left the board. - [16:17.559](https://academa.ai/lectures/taylor-sine-convergence-failures?t=977.5593333333335): final\_note is hidden from the screen — left the board. - [16:17.559](https://academa.ai/lectures/taylor-sine-convergence-failures?t=977.5593333333335): head\_last is hidden from the screen — left the board.