해석 · 무한급수 · Euler 1734Analysis · Infinite Series · Euler 1734

바젤 문제The Basel Problem

1, 1/4, 1/9, 1/16 … 제곱수의 역수를 끝없이 더하면 얼마가 될까요? 답은 놀랍게도 원과는 아무 상관 없어 보이는 이 합에서 원주율 π가, 그것도 제곱으로 튀어나옵니다. 1, 1/4, 1/9, 1/16 … what do you get if you add the reciprocals of the squares forever? Astonishingly, out of a sum with no circle in sight, π appears: and squared.

1 + 1/4 + 1/9 + 1/16 + ⋯ = Σ 1/n² = π²/6
오일러Euler 등대 증명Lighthouse proof 역제곱 법칙Inverse-square law

90년을 버틴 난제A puzzle that held out for 90 years

이 합이 어떤 유한한 값으로 수렴한다는 건 쉽게 알 수 있었습니다(1보다 조금 큰 1.64 언저리). 문제는 정확히 얼마냐는 것. 이탈리아 볼로냐에서 처음 제기된 뒤 라이프니츠, 베르누이 형제 같은 당대 최고의 수학자들이 달려들었지만 90년 가까이 아무도 정확한 값을 찾지 못했습니다.

That the sum converges to some finite value was easy to see (a bit above 1, around 1.64). The hard part was exactly what value. First posed in Bologna, Italy, it was attacked by the greatest mathematicians of the age (Leibniz, the Bernoullis) yet for nearly 90 years no one found the exact answer.

1734년, 스물여덟의 레온하르트 오일러가 마침내 답이 π²/6임을 밝혀냈습니다. 이 문제를 푼 덕에 그는 단숨에 유럽 수학계의 스타가 되었죠. 아래에서 이 합이 실제로 π²/6으로 기어가는 모습을 직접 보세요.

In 1734, a 28-year-old Leonhard Euler finally showed the answer is π²/6. Solving it made him an overnight star of European mathematics. See the sum actually crawl toward π²/6 for yourself below.

📈 항을 더할수록 π²/6으로📈 Toward π²/6, term by term

항의 개수 N을 늘리거나 ▶ 자동으로 쌓아보세요Increase N, or press ▶ to accumulate automatically
더한 항 수Terms added
부분합Partial sum
목표 π²/6Target π²/6
1.644934
남은 오차Remaining error
각 항 1/n²Each term 1/n² 누적 부분합Running partial sum π²/6 (참값)π²/6 (true value)

등대로 푸는 기하학적 증명The geometric lighthouse proof

오일러의 원래 풀이는 미적분과 무한곱을 쓴 대수적 마법에 가까웠습니다. 하지만 왜 하필 π²인지를 눈으로 보여주는 아름다운 기하 증명이 있습니다(요한 베스틀룬드, 3Blue1Brown이 널리 알림). 열쇠는 딱 두 가지입니다.

Euler's original solution was near-algebraic magic with calculus and infinite products. But there's a beautiful geometric proof that shows you why π²: due to Johan Wästlund, popularized by 3Blue1Brown. It rests on just two keys.

이제 관측자를 한 명 세우고, 관측자가 있는 원 위에 등대를 놓습니다. 그리고 원의 지름을 계속 2배로 키우며 역 피타고라스로 등대를 쪼개 나갑니다. 아래에서 직접 원을 2배씩 키워보세요.

Now place an observer, put a lighthouse on the circle the observer stands on, then keep doubling the circle's diameter, splitting each lighthouse via the inverse Pythagorean theorem. Double the circle yourself below.

크레딧 & 리스펙 🙇, 이 등대 증명은 수학자 요한 베스틀룬드(Johan Wästlund)의 논문 "Summing inverse squares by euclidean geometry"에서 비롯되었고, 그랜트 샌더슨(Grant Sanderson)의 유튜브 채널 3Blue1Brown"Why is pi here? And why is it squared? A geometric answer to the Basel problem"(2018) 영상으로 세상에 널리 알렸습니다. 이 페이지의 시뮬레이션은 그 통찰을 직접 만져볼 수 있게 재구성한 것으로, 원저자들의 아름다운 아이디어에 경의를 표합니다. Credit & respect 🙇, this lighthouse proof originates in mathematician Johan Wästlund's paper "Summing inverse squares by euclidean geometry," and was brought to a wide audience by Grant Sanderson's YouTube channel 3Blue1Brown in the video "Why is pi here? And why is it squared? A geometric answer to the Basel problem" (2018). The simulations here reconstruct that insight so you can touch it directly, with deep respect for the original authors' beautiful idea.

🗼 원을 2배로: 등대는 수직선 위로🗼 Double the circle: lighthouses onto the number line

지름을 2배로 키울 때마다 총 밝기는 그대로, 등대는 홀수 자리로 모여갑니다Each doubling keeps total brightness fixed while lighthouses settle onto the odd integers
2배 횟수 kDoublings k
1
등대 수 (2ᵏ)Lighthouses (2ᵏ)
2
총 밝기 (양쪽)Total brightness (both sides)
가장 가까운 등대Nearest lighthouse
관측자 (0)Observer (0) 등대Lighthouse 밝기 광선Brightness rays

π²/8에서 π²/6으로From π²/8 to π²/6

위 실험의 핵심은 지름을 몇 번을 2배로 키우든 총 밝기가 변하지 않는다는 것입니다(역 피타고라스가 밝기를 보존하니까). 그리고 무한히 반복하면 관측자 근처의 원호는 곧은 수직선이 되고, 등대들은 정확히 홀수 정수 자리(±1, ±3, ±5, …)에 내려앉습니다. 관측자에서 각 등대까지 거리가 곧 그 홀수이므로:

The key point above is that no matter how many times you double the diameter, total brightness never changes (the inverse Pythagorean theorem preserves it). Repeat infinitely and the arc near the observer becomes a straight number line, with lighthouses landing exactly on the odd integers (±1, ±3, ±5, …). Since each distance is that odd number:

⋯ + 1/5² + 1/3² + 1/1² + 1/1² + 1/3² + 1/5² + ⋯ = π²/4

양쪽이 대칭이라 한쪽만 더하면 홀수 제곱의 역수 합은 π²/8이 됩니다:

By symmetry, summing just one side gives the reciprocals of odd squares as π²/8:

1/1² + 1/3² + 1/5² + ⋯ = π²/8
마지막 한 걸음. 우리가 원하는 건 모든 자연수의 제곱 역수 합 S = Σ 1/n²입니다. 이를 홀수 부분짝수 부분으로 나누면, 짝수 부분 Σ 1/(2m)² = (1/4)·Σ 1/m² = S/4 입니다. 따라서
S = (홀수합) + S/4 = π²/8 + S/4 ⟹ (3/4)S = π²/8 ⟹ S = π²/6
제곱수의 역수를 모두 더하면 π²/6. 등대의 밝기와 직각삼각형 하나로, 원과 상관없어 보이던 합에서 π²가 걸어 나온 것입니다.
One last step. What we actually want is the sum over all naturals, S = Σ 1/n². Split it into odd and even parts: the even part is Σ 1/(2m)² = (1/4)·Σ 1/m² = S/4. Therefore
S = (odd sum) + S/4 = π²/8 + S/4 ⟹ (3/4)S = π²/8 ⟹ S = π²/6
Add up the reciprocals of all the squares and you get π²/6. From nothing but a lighthouse's brightness and a single right triangle, π² walks right out of a sum that seemed to have nothing to do with circles.

이 문제는 훗날 리만 제타 함수 ζ(s) = Σ 1/nˢ의 특별한 값 ζ(2) = π²/6으로 자리 잡아, 소수의 분포를 파고드는 정수론의 심장부로 이어집니다.

This problem later became the special value ζ(2) = π²/6 of the Riemann zeta function ζ(s) = Σ 1/nˢ, a gateway into the number theory of how primes are distributed.