The Koch snowflake has finite area, but infinite perimeter, right?
So if we make this snowflake have some thickness (like a cake or something), then it appears that you can fill it with paint like this (finite area×thickness=finite volume), but on the other hand, you can’t paint its sides (infinite perimeter×thickness=infinite surface area)… Is there something I am getting wrong? Is there a clever trick to it, or am I just misunderstanding something?
My teacher (I’m in middle school) told me that this is some higher-level maths I won’t understand now.
What you’ve found is a fundamental property (or perhaps it would be better to say lack of property) of arc length in two dimensions — or going up one dimension, surface area in three dimensions: it’s not ‘continuous’ with respect to small changes in shape.
You don’t even need a Koch snowflake or similar fractal curve to see this; give me any shape — for instance, a circle — and give me an arbitrarily small box that its boundary passes through, and I can give you a shape that looks exactly the same outside the box but that has arbitrarily large arc length. For an example of this, imagine starting with the curve y=sin2(πx) between x=0 and x=1. Then the exact arc length of this curve is hard to compute, but we can put a lower bound on it: the curve goes from y=0 to y=1, then from y=1 to y=0 again, so it must have total length at least 2. (∗)
But now consider the curve y=sin2(2πx) between x=0 and x=1. This is two copies of the sine curve placed next to each other, and its y values take the ‘path’ mentioned above twice, so it must have total length at least 4. And more generally, y=sin2(nπx) has arc length at least 2n between x=0 and x=1. But the curve is always within the rectangle 0≤x≤1π, 0≤y≤1. So imagine that you tell me you want to get a continuous curve with minimum arc length ℓ that fits into a box of size (side length) d. Then I know that if I create a curve with arc length ℓ/d within a 1×1 box, I can scale it by a factor of d and get a curve of arc length ℓ within the d×d box. But I also know that I can create a curve with arc length at least ℓ/d in the 1×1 box by using the curve y=sin2(2πℓx/d) (for 0≤x≤1). So I can just “paste” this curve in wherever you tell me; I’ve only modified things within the d×d box, but I’ve made the arclength arbitrarily large.
As for what this has to do with ‘painting’ the snowflake, consider the thickness of the paint you’re using to try and paint the sides of it. If you want your paint layer to have a finite thickness τ, then we’re not necessarily talking about the Koch snowflake itself, but just a curve that lies within a distance τ of it everywhere; since the paint ‘hides’ anything smaller than τ, we can’t tell the difference between the two anyway. But for any τ there are curves that stay within distance τ of the snowflake but have finite length! So we only need a finite amount of paint to do the painting here. And as your paint gets thinner and thinner, the length that you need to cover will increase — but that’s all right, because your paint will spread farther and farther. In the limit, you’re talking about ‘painting’ the infinite length of the snowflake itself — but now your paint layer is infinitely thin, so it shouldn’t be too surprising that you can make it stretch as far as you need to. (This is very much analagous to taking a one-square-unit ‘bucket’ of 2d paint and noting that you can paint a 1 unit ×1 unit square with it, or a 2 unit ×1/2 unit rectangle, or a 1000 unit ×0.001 unit rectangle, or…)
Meanwhile, I can’t do the same thing with area (or in the 3d case, volume); it’s clear to see that any modifications that are made within a d×d box can only change the area of the figure (one way or the other) by at most d2. (∗) So if you tell me that you want to increase the area bounded by your shape by a thousand square units but only give me a 1/10×1/10 unit box to do it in, I can fairly tell you that that’s impossible.
Incidnetally, this same lack of continuity for arc length is at play in another very similar ‘paradox’: The staircase paradox, or why π≠4 . The fundamental explanation is the same: the fact that two curves are arbitrarily close to each other along their entire spans tells you nothing about how close their arc lengths are.
(∗) Note that I haven’t given you proofs of these assertions! You should be skeptical here, because you’ve already seen that behavior doesn’t necessarily match what you might expect where these things are concerned. Fortunately, these assertions are true, but proving them would require going pretty far afield.