Some of you may have seen in school that the surface area of a sphere is 4pi*R^2, a suspiciously

suggestive formula given that it’s an clean multiple of pi*R^2, the area of a circle with

the same radius. But have you ever wondered why is this true? And I don’t just mean

proving this 4pi*R^2 formula, I mean viscerally feeling a connection between this surface

area, and these four circles.

How lovely would it be if there was some shift in perspective that showed how you could nicely

and perfectly fit these four circles onto the sphere’s surface? Nothing can be quite

that simple, since the curvature of a sphere’s surface is different from the curvature of

a flat plane, which is why trying to fit paper around a sphere doesn’t really work. Nevertheless,

I’d like to show you two ways of thinking about this surface area connecting it in a

satisfying way to these circles. The first is a classic, one of the true gems of geometry

all students should experience. The second line of reasoning is something of my own which

draws a more direct line between the sphere and its shadow.

And lastly I’ll share why this four-fold relation is not unique to spheres, but is

instead one specific instance of a much more general fact for all convex shapes in 3d.

Starting with a birds eye view here, the idea for the first approach is to show that the

surface area of the sphere is the same as the area of a cylinder with the same radius

and the same height as the sphere. Or rather, a cylinder without its top and bottom, what

you might call the “label” of that cylinder. With that, we can unwrap that label to understand

it as a simple rectangle.

The width of this rectangle comes from the cylinder’s circumference, so it’s 2*pi*R,

and the height comes from the height of the sphere, which is 2R. This already gives the

formula, 4pi*R^2, but in the spirit of mathematical playfulness it’s nice to see how four circles

with radius R fit into this. The idea is that you can unwrap each circle into a triangle,

without changing its area, and fit these nicely onto our unfolded cylinder label. More on

that in a bit.

The more pressing question is why on earth the sphere can be related to the cylinder.

This animation is already suggestive of how this works. The idea is to approximate the

area of the sphere with many tiny rectangles covering it, and to show how if you project

those little rectangles directly outward, as if casting a shadow by little lights positioned

on the z-axis pointing parallel to the xy plane, the projection of each rectangle on

the cylinder, quite surprisingly, ends up having the same area as the original rectangle.

But why should that be? Well, there are two competing effects at play here. For one of

these rectangles, let’s call the side along the latitude lines its width, and the side

along the longitude lines its height. On the one hand, as this rectangle is projected outward,

its width will get scaled up. For rectangles towards the poles, that length is scaled quite

a bit, since they’re projected over a longer distance. For those closer to the equator,

less so

But on the other hand, because these rectangles are at a slant with respect to the z-direction,

during this projection the height of each such rectangle will get scaled down. Think

about holding some flat object and looking at its shadow. As you reorient that object,

the shadow looks more or less squished for some angles. Those rectangles towards the

poles are quite slanted in this way, so their height gets squished a lot. For those closer

to the equator, less so.

It will turn out that these two effects, of stretching the width and squishing the height,

cancel each other out perfectly.

Already as a rough sketch, wouldn’t you agree this is a very pretty way of reasoning?

Of course, the meat here comes from showing why these two competing effects on each rectangle

cancel out perfectly. In some ways, the details fleshing this out are just as pretty as the

zoomed out structure of the full argument.

Let me go ahead and cut away half the sphere so we get get a better look. For any mathematical

problem solving it never hurts to start by giving names to things. Let’s say the radius

of the sphere is R. Focus on one specific rectangle, and let’s call the distance between

our rectangle and the z-axis is d. You could complain that this distance d is a little

ambiguous depending on which point of the rectangle you’re going from, but for tinier

and tinier rectangles that ambiguity will be negligible. And tinier and tinier is when

this approximation-with-rectangles gets closer to the true surface area anyway. To choose

an arbitrary standard let’s say d is the distance from the bottom of the rectangle.

To think about projecting out to the cylinder, picture two similar triangles. This first

one shares its base with the base of the rectangle on the sphere, and has a tip at the same height

on the z-axis a distance d-away. The second is a scaled up version of this, scaled so

that it just barely reaches the cylinder, meaning its long side now has length R. So

the ratio of their bases, which is how much our rectangle’s width gets stretched out,

is R/d.

What about the height? How precisely does that get scaled down as we project? Again,

let’s slice a cross section here. In fact, why don’t we go ahead and completely focus

our view to this 2d cross section.

To think about the projection, let’s make a little right triangle like this, where what

was the height of our spherical rectangle is the hypotenuse, and its projection is one

of the legs. Pro tip, anytime you’re doing geometry with circles or spheres, keep at

the forefront of your mind that anything tangent to the circle is perpendicular to the radius

drawn to that point of tangency. It’s crazy how helpful that one little fact can be. Once

we draw that radial line, together with the distance d we have another right triangle.

Often in geometry, I like to imagine tweaking the parameters of a setup and imagining how

the relevant shapes change; this helps to make guesses about what relations there are.

In this case, you might predict that the two triangles I’ve drawn are similar to each

other, since their shapes change in concert with each other. This is indeed true, but

as always, don’t take my word for it, see if you can justify this for yourself.

Again, it never hurts to give more names to things. Maybe call this angle alpha and this

one beta. Since this is a right triangle, you know that alpha + beta + 90 degrees = 180

degrees. Now zoom in to our little triangle, and see if we can figure out its angles. You

have 90 degrees + beta + (some angle) forming a straight line. So that little angle must

be alpha. This lets us fill in a few more values, revealing that this little triangle

has the same angles, alpha and beta, as the big one. So they are indeed similar.

Deep in the weeds it’s sometimes easy to forget why we’re doing this. We want to

know how much the height of our sphere-rectangle gets squished during this projection, which

is the ratio of this hypotenuse to the leg on the right. By the similarity with the big

triangle, that ratio is R/d.

So indeed, as this rectangle gets projected outward onto the cylinder, the effect of stretching

out the width is perfectly canceled out by how much the height gets squished due to the

slant.

As a fun sidenote, you might notice that it looks like the projected rectangle is a 90

degree rotation of the original. This would not be true in general, but by a lovely coincidence,

the way I’m parametrizing the sphere results in rectangles where the ratio of the width

the the height starts out as d to R. So for this very specific case, rescaling the width

by R/d and the height by d/R actually does have the same effect as a 90 degree rotation.

This lends itself to a rather bizarre way to animate the relation, where instead of

projecting each rectangular piece, you rotate each one and rearrange them to make the cylinder.

Now, if you’re really thinking critically, you might still not be satisfied that this

shows that the surface area of the sphere equals the area of this cylinder label since

these little rectangles only approximate the relevant areas. Well, the idea is that this

approximation gets closer and closer to the true value for finer and finer coverings.

Since for any specific covering, the sphere rectangles have the same area as the cylinder

rectangles, whatever values each of these two series of approximations are approaching

must actually be the same.

I mean, as you get really aggressively philosophical about what we even mean by surface area, these

sorts of rectangular approximations and not just aids in our problem-solving toolbox,

they end up serving as a way of rigorously defining the area of smooth curved surfaces.

This kind of reasoning is essentially calculus, just stated without any of the jargon. In

fact, I think neat geometric arguments like this, which require no background in calculus

to understand, can serve as a great way to tee things up for new calculus students so

that they have the core ideas before seeing the definitions which make them precise, rather

than the other way around. Unfold circle

So as I said before, if you’re itching to see a direct connection to four circles, one

nice way is to unwrap these circles into triangles. If this is something you haven’t seen before,

I go into much more detail about why this works in the first video of the calculus series.

The basic idea is to relate thin concentric rings of the circle with horizontal slices

of this triangle. Because that circumference of each such ring increases linearly in proportion

to the radius, always 2pi times that radius, when you unwrap them all and line them up,

their ends will form a straight line, giving you a triangle with a base of 2pi*R, and a

height of R, as opposed to some other curved shape.

And four of these unwrapped circles fit into our rectangle, which is in some sense an unwrapped

version of the sphere’s surface. Second proof

Nevertheless, you might wonder if there’s a way than this to relate the sphere directly

to a circle with the same radius, rather than going through this intermediary of the cylinder.

I do have a proof for you to this effect, leveraging a little trigonometry, though I

have to admit I still think the comparison to the cylinder wins out on elegance.

I’m a big believer that the best way to really learn math is to do problems yourself,

which is a bit hypocritical coming from a channel essentially consisting of lectures.

So I’m going to try something a little different here and present the proof as a heavily guided

sequence of exercises. Yes, I know that’s less fun and it means you have to pull out

some paper to do some work, but I guarantee you’ll get more out of it this way.

The approach will be to cut the sphere into many rings parallel to the xy plane, and to

compare the area of these rings to the area of their shadows on the xy plane. All the

shadows of the rings from the northern hemisphere make up a circle with the same radius as the

sphere, right? The main idea will be to show a correspondence between these ring shadows,

and every other ring on the sphere. Challenge mode here is to pause now and see if you can

predict how that might go.

We’ll label each one of these rings based on the angle theta between a line from the

sphere’s center to the ring and the z-axis. So theta ranges from 0 to 180 degrees, which

is to say from 0 to pi radians. And let’s call the change in angle from one ring to

the next d-theta, which means the thickness of one of these rings with be the radius,

R, times d-theta.

Alright, structured exercise time. We’ll ease in with a warm-up

Question #1: What is the circumference of this ring at the inner edge, in terms of R

and theta? Go ahead and multiply your answer the thickness R*d-theta to get an approximation

for this ring’s area; and approximation that gets better and better as you chop up

the sphere more and more finely.

At this point, if you know your calculus, you could integrate. But our goal is not just

to find the answer, it’s to feel the connection between the sphere its shadow. So…

Question #2: What is the area of the shadow of one of these rings on the xy-plane? Again,

expressed in terms of R, theta and d-theta.

Question #3: Each of these ring shadows has precisely half the area of one of these rings

on the sphere. It’s not the one at angle theta straight above it, but another one.

Which one? (As a hint, you might want to reference some

trig identities) Question #4: I said in the outset there is

a correspondence between all the shadows from the northern hemisphere, which make up a circle

with radius R, and every other ring on the sphere. Use your answer to the last question

to spell out exactly what that correspondence is.

Question #5: Bring it on home, why does this imply that the area of the circle is exactly

¼ the surface area of the sphere, particularly as we consider thinner and thinner rings?

If you want answers or hints, I’m quite sure people in the comments and on reddit

will have them waiting for you.

And finally, I’d be remiss not to make a brief mention of the fact that the surface

area of a sphere is a specific instance of a much more general fact: If you take any

convex shape, and look at the average area of all its shadows, averaged over all possible

orientations in 3d space, the surface area of the solid will be precisely 4 times that

average shadow area.

As to why this is true, I’ll leave those details for another day.

Hey, given the time of year I thought I’d take a moment to let you know about some new

additions to the 3blue1brown store. Aside from the usual fare, like shirts, mugs and

posters, there are now some Fourier Series socks, which show certain periodic functions

graphed on a cylinder, the way all periodic functions wish they were graphed.

And, by popular demand, there are the plushie pi creatures, both ordinary and extra plushified.

I’ll admit that I was initially skeptical when people asked about them, because, you

know, what would you do with one, exactly? But after getting them, and seeing the pictures

people would send, what I realized is they basically serve the same function as a flag.

Just instead of representing loyalty to a country, or even to the channel per se, it’s

to math, and the idea that math has some personality to it, more so than it often gets credit for.