케플러의 와인 배럴 문제: 표면적과 대각선이 정해졌을 때 최대 부피 계산

같은 길이의 막대로 측정한 포도주 통이라면 언제나 같은 양의 와인이 들어 있을까요? 원기둥만 생각해도 답은 아니요입니다. 폭이 좁고 긴 통과 폭이 넓고 낮은 통은 특정 대각선 길이가 같아도 부피가 다를 수 있습니다. 17세기 초 요하네스 케플러는 포도주 상인이 통에 막대를 비스듬히 넣어 용량을 정하는 모습을 보고 이 문제를 수학적으로 조사했습니다.

케플러의 와인 배럴 문제는 오늘날 미분의 대표적인 극댓값 예제로 다뤄집니다. 조건을 방정식으로 만들고, 부피를 변수 하나의 함수로 바꾼 뒤, 도함수가 0이 되는 지점을 찾는 문제입니다. 역사적인 문제에서는 측정 막대의 길이를 고정합니다. 여기에 ‘주어진 재료로 닫힌 원기둥을 만들 때’라는 표면적 고정 문제를 함께 풀면, 제한 조건에 따라 최적 비율이 어떻게 달라지는지도 확인할 수 있습니다.

케플러가 포도주 통을 연구한 이유

케플러는 1613년 오스트리아 린츠에서 새 가정을 위해 포도주를 구입하던 중 당시의 통 측정법에 관심을 가졌습니다. 상인은 통 옆면 중앙의 마개 구멍으로 막대를 넣어 반대쪽 바닥 가장자리까지 닿게 한 뒤, 막대에 표시된 눈금으로 통의 용량과 가격을 정했습니다. 측정은 빠르지만 막대 길이 하나만으로 모양이 다른 모든 통의 부피가 유일하게 정해지는 것은 아닙니다.

이 문제를 조사한 결과는 1615년 라틴어 저서 《Nova stereometria doliorum vinariorum》, 즉 ‘포도주 통의 새로운 입체기하학’으로 출판됐습니다. ETH 취리히 도서관과 튀빙겐대학교 도서관에는 1615년 판의 디지털 사본과 서지 정보가 공개되어 있습니다. 책은 포도주 통뿐 아니라 여러 회전체의 부피와 통의 실용적인 측정법을 다룹니다.

케플러는 뉴턴과 라이프니츠가 미적분학을 체계화하기 전의 인물입니다. 따라서 현대 교과서처럼 도함수 기호를 사용해 문제를 풀지는 않았습니다. 그는 기하학적 논증과 수치 비교, 무한소적인 발상을 이용했습니다. 아래 풀이는 케플러의 문제를 오늘날의 미분 표기법으로 다시 계산한 것입니다. 역사적 해법과 현대적인 표현을 구분할 필요가 있습니다.

실제 와인 배럴을 원기둥으로 단순화하기

전통적인 나무 배럴은 가운데가 불룩하고 양 끝이 좁습니다. 정확한 부피를 계산하려면 높이에 따라 달라지는 단면 반지름을 알아야 합니다. 케플러의 최적화 원리를 간단히 보려면 먼저 통을 반지름 r, 전체 높이 h인 곧은 원기둥으로 근사합니다. 원기둥 부피는 다음과 같습니다.

원기둥 부피 V = πr²h

역사적인 측정 막대의 길이를 L이라고 하겠습니다. 막대는 통 옆면 중앙의 마개 구멍에서 반대편 원형 바닥의 가장자리까지 이어집니다. 원기둥의 축을 포함하는 단면에서 보면 가로 길이는 지름 2r이고 세로 길이는 전체 높이의 절반 h/2입니다. 두 길이는 직각을 이루므로 피타고라스 정리를 적용할 수 있습니다.

L² = (2r)² + (h/2)²

여기서 중요한 점은 L이 원기둥 전체를 관통하는 단면 대각선이 아니라는 사실입니다. 출발점이 통의 한쪽 끝이 아니라 높이의 중앙에 있는 마개 구멍이므로 세로 성분이 h가 아니라 h/2입니다. 이 차이를 놓치면 최적 높이와 지름의 비율이 반대로 계산됩니다.

막대 길이가 고정된 케플러 문제의 함수 만들기

L을 고정하고 h를 바꾼다고 생각해 보겠습니다. 피타고라스 식에서 r²을 구하면 다음과 같습니다.

4r² = L² - h²/4

r² = L²/4 - h²/16

이 값을 원기둥 부피식 V=πr²h에 넣으면 반지름이 사라지고 높이 h만 남습니다. 막대 길이 L은 이미 정해진 상수입니다.

V(h) = π(L²/4 - h²/16)h = πL²h/4 - πh³/16

가능한 높이의 범위는 0<h<2L입니다. h가 0에 가까우면 납작한 통이 되고 부피는 0에 가까워집니다. h가 2L에 가까우면 식에서 반지름이 0에 가까워져 역시 부피가 0으로 갑니다. 따라서 그 사이에 부피가 가장 큰 지점이 존재합니다.

미분으로 최대 부피가 되는 높이 찾기

부피함수를 h에 대해 미분합니다. L과 π는 상수이므로 첫째 항은 πL²/4가 되고, h³을 미분하면 3h²이 됩니다.

V′(h) = πL²/4 - 3πh²/16

극값 후보에서는 V′(h)=0입니다. 양변에 16/π를 곱해 정리하면 `4L²-3h²=0`이고, 높이는 양수이므로 양의 해를 선택합니다.

3h² = 4L² → h = 2L/√3 ≈ 1.1547L

이 지점이 최댓값인지 확인하려면 한 번 더 미분합니다. 이계도함수는 `V″(h)=-3πh/8`입니다. 가능한 범위에서 h는 양수이므로 V″(h)는 음수입니다. 그래프가 아래로 굽는 지점이기 때문에 극댓값입니다. 양 끝에서도 부피가 0이므로 이 값은 가능한 범위 전체의 최대 부피입니다.

최적 반지름과 지름의 비율

최적 높이 h=2L/√3을 제약식에 다시 넣으면 반지름을 구할 수 있습니다. h²=4L²/3이므로 다음과 같이 정리됩니다.

r² = L²/4 - (4L²/3)/16 = L²/6

r = L/√6, 지름 2r = L√(2/3)

높이를 지름으로 나누면 `(2L/√3)÷(L√(2/3))=√2`입니다. 따라서 역사적인 측정 막대 조건에서는 높이가 지름의 √2배일 때 원기둥 부피가 가장 큽니다. 반대로 쓰면 지름은 높이의 1/√2배입니다.

케플러 측정 막대 L이 고정될 때: 높이÷지름 = √2

√2는 약 1.4142입니다. 종이를 반으로 나누어도 닮은꼴이 유지되는 A4 용지의 1:√2 비율에서도 같은 수가 등장하지만, 생겨난 조건은 다릅니다. A4에서는 절반으로 나눈 직사각형의 닮음이 원인이고, 이 문제에서는 원기둥 부피와 피타고라스 제약을 함께 최적화한 결과입니다.

막대가 1m일 때 실제 수치 계산

측정 막대 L이 1m라고 가정하겠습니다. 최대 부피가 되는 높이는 `2/√3≈1.1547m`이고, 반지름은 `1/√6≈0.4082m`입니다. 지름은 약 0.8165m입니다.

1m³는 1,000L이므로 이상적인 원기둥 부피 0.6046m³는 약 604.6L입니다. 이는 완전한 원기둥이라는 수학 모형의 결과입니다. 실제 나무통의 가운데 팽창, 판재 두께, 바닥 구조와 내부 빈 공간을 반영한 실측 용량은 이 단순 계산과 달라질 수 있습니다.

최댓값 근처에서는 모양이 조금 달라도 부피 변화가 작다

케플러 문제에서 중요한 관찰은 최적 비율 자체만이 아닙니다. 함수가 최대점에 도달하면 일차 변화율 V′가 0이 됩니다. 그래서 높이가 최적값에서 조금 벗어났을 때 부피 손실은 처음부터 높이 변화에 비례해 크게 나타나지 않고, 작은 변화의 제곱 규모로 나타납니다. 이것이 최대점 부근의 그래프가 비교적 평평해 보이는 이유입니다.

표는 막대 길이 L을 그대로 유지하면서 높이만 최적 높이의 일정 비율만큼 바꾸고, 제약식에 맞춰 반지름을 다시 계산한 결과입니다. 높이가 최적값에서 10% 차이 나도 부피 손실은 약 1.5%입니다. 오스트리아식 배럴이 최적 비율에 가까웠다면 막대 길이 하나로 용량을 추정하는 방법이 모양의 작은 제작 오차에 비교적 둔감했을 것이라는 설명과 연결됩니다.

전체 단면 대각선을 고정하면 결과가 달라진다

‘대각선이 고정된 원기둥’이라는 말만 보고 원기둥의 전체 높이와 지름으로 만든 직사각형 대각선을 떠올릴 수 있습니다. 이 대각선을 D라고 하면 제약식은 `D²=h²+(2r)²`입니다. 역사적인 측정 막대 식의 h/2가 여기서는 h로 바뀝니다.

전체 단면 대각선 D: D² = h² + (2r)²

지름을 x=2r라고 놓으면 부피는 `V=πx²h/4`이고, 제약식에서 x²=D²-h²입니다. 따라서 `V(h)=π(D²-h²)h/4`입니다. 미분하면 `V′(h)=π(D²-3h²)/4`이므로 최대점은 h=D/√3입니다. 이때 지름은 D√(2/3)이며 지름÷높이=√2입니다.

두 답이 서로 반대처럼 보이는 이유는 제한 조건이 다르기 때문입니다. 같은 ‘대각선’이라는 단어를 쓰더라도 어디서 어디까지 잰 길이인지 먼저 정해야 합니다. 수학적 최적화에서는 목적함수만큼 제약식의 정의가 중요합니다.

표면적이 고정된 닫힌 원기둥의 최대 부피

이번에는 역사적인 측정 막대가 아니라 사용할 재료의 넓이가 정해졌다고 가정하겠습니다. 위아래 원판이 모두 있는 닫힌 원기둥의 전체 표면적 S는 두 원의 넓이와 옆면 넓이의 합입니다.

S = 2πr² + 2πrh

표면적 식을 h에 대해 풀면 `h=S/(2πr)-r`입니다. 이를 부피 V=πr²h에 넣으면 r만의 함수가 됩니다.

V(r) = πr²[S/(2πr)-r] = Sr/2 - πr³

r에 대해 미분하면 `V′(r)=S/2-3πr²`입니다. V′(r)=0을 풀면 `r²=S/(6π)`입니다. 이 값을 표면적 식에 다시 넣으면 높이는 2r가 됩니다. 이계도함수 `V″(r)=-6πr`은 r>0에서 음수이므로 최대 부피입니다.

닫힌 원기둥의 전체 표면적이 고정될 때: h=2r, 즉 높이=지름

최적 반지름은 `√[S/(6π)]`이고 최대 부피는 `S^(3/2)/(6√(6π))`로 정리할 수 있습니다. 예를 들어 S=6πm²라면 r=1m, h=2m이며 부피는 2πm³입니다. 같은 표면적을 지나치게 넓고 낮거나 좁고 높게 배분하면 내부 부피가 줄어듭니다.

표면적 조건에서도 무엇을 포함하는지 확인해야 한다

표면적이 고정됐다는 말만으로는 문제가 완성되지 않습니다. 위아래가 모두 막힌 원기둥인지, 윗면이 열린 용기인지, 옆면만 계산하는지에 따라 식과 답이 달라집니다. 닫힌 원기둥에서는 h=2r이지만 윗면이 열린 원기둥은 바닥 원판 하나만 포함하므로 `S=πr²+2πrh`가 됩니다. 같은 과정을 거치면 최대 부피일 때 h=r입니다.

옆면 넓이 A만 고정하면 h=A/(2πr)이고 부피는 `V=Ar/2`입니다. 반지름 r을 키울수록 부피가 계속 증가하므로 양의 r 전체에서는 유한한 최대값이 없습니다. 높이는 0에 가까워지고 반지름은 끝없이 커지는 퇴화한 모양으로 가기 때문입니다. 실제 제작에는 지름, 높이, 강도 같은 추가 제한이 있으므로 현실에서는 이런 무한 확대가 불가능합니다.

대각선 조건과 표면적 조건의 답이 다른 이유

최적화의 답은 ‘원기둥’이라는 모양만으로 정해지지 않습니다. 무엇을 일정하게 유지하는지가 답을 결정합니다. 케플러식 막대 길이를 고정하면 높이가 지름의 √2배이고, 닫힌 원기둥의 전체 표면적을 고정하면 높이와 지름이 같습니다. 전체 단면 대각선을 고정하면 지름이 높이의 √2배입니다.

이 원리는 다른 최적화 문제에도 그대로 적용됩니다. 신발 끈 길이와 연결 패턴을 비교하는 기하학적 최적화에서도 무엇을 고정하고 무엇을 최소화하는지 먼저 정해야 합니다. 제한 조건이 바뀌면 같은 대상에서도 다른 최적해가 나옵니다.

실제 배럴은 왜 원기둥 공식과 정확히 맞지 않는가

실제 포도주 통은 가운데 지름이 양 끝의 지름보다 큽니다. 옆면도 직선이 아니라 곡선입니다. 따라서 반지름 r 하나로 모든 단면을 나타내는 원기둥 공식은 근사 모형입니다. 정확한 용량을 구하려면 높이 방향의 위치 x에 따른 내부 반지름 f(x)를 측정하고 원판 단면의 넓이 πf(x)²를 적분해야 합니다.

회전체로 본 실제 통의 부피 V = π∫[f(x)]²dx

통의 곡선을 어떤 함수로 근사하는지에 따라 계산식도 달라집니다. 나무 판재의 두께와 바닥판이 차지하는 공간까지 생각하면 외부 치수만으로 내부 용량을 정확히 결정할 수 없습니다. 케플러의 저서는 이런 회전체의 부피와 실용적인 통 측정 문제를 폭넓게 다뤘지만, 현대 교과서의 원기둥 문제는 핵심 극값 구조를 보여 주기 위해 형태를 단순화한 것입니다.

미분 극값 문제를 푸는 일반적인 순서

1. 최대로 만들 목적량을 정합니다. 여기서는 부피 V입니다.
2. 고정되는 조건을 정확히 씁니다. 막대 길이, 전체 대각선 또는 표면적처럼 측정 구간까지 밝혀야 합니다.
3. 제약식을 이용해 변수 하나를 없애고 목적함수를 한 변수로 만듭니다.
4. 변수가 가질 수 있는 범위를 확인합니다. 길이와 반지름은 음수가 될 수 없습니다.
5. 도함수가 0이거나 존재하지 않는 지점과 범위의 양 끝을 비교합니다.
6. 이계도함수의 부호 또는 함수값 비교로 최대인지 확인합니다.
7. 구한 해를 원래 제약식에 넣어 모든 길이와 단위를 계산합니다.

도함수가 0이라는 사실만으로 언제나 최대값이라고 결론 내릴 수는 없습니다. 최소값이나 수평 변곡점일 수도 있습니다. 케플러식 원기둥 문제에서는 이계도함수가 음수이고 범위의 양 끝에서 부피가 0이라는 두 사실을 함께 확인할 수 있어 전체 최대값임을 알 수 있습니다.

케플러의 와인 배럴에 관한 자주 묻는 질문

케플러가 미분으로 이 문제를 풀었나요?

현대적인 도함수 표기법으로 풀지는 않았습니다. 1615년은 뉴턴과 라이프니츠가 미적분학을 체계화하기 전입니다. 케플러는 기하학, 수치 비교와 무한소적인 발상을 사용했습니다. 오늘날의 풀이는 같은 극값 문제를 미분 공식으로 간결하게 다시 표현한 것입니다.

케플러식 측정 막대가 같으면 부피도 같은가요?

일반적으로 같지 않습니다. `L²=(2r)²+(h/2)²`를 만족하는 반지름과 높이의 조합은 여러 개이며, 각각의 부피 πr²h는 다릅니다. 다만 통의 비율이 최대점 근처에 모여 있다면 모양이 조금 달라도 부피 변화가 작아 막대값을 이용한 근사가 비교적 안정적일 수 있습니다.

최대 부피일 때 높이와 지름의 비율은 무엇인가요?

어떤 조건인지에 따라 다릅니다. 역사적인 마개 구멍 측정 막대를 고정하면 높이÷지름=√2입니다. 원기둥 축 단면의 전체 대각선을 고정하면 지름÷높이=√2입니다. 닫힌 원기둥의 전체 표면적을 고정하면 높이=지름입니다.

표면적이 같으면 왜 높이와 지름이 같을 때 가장 큰가요?

닫힌 원기둥에서 반지름을 너무 크게 만들면 두 원형 뚜껑이 많은 재료를 차지해 높이가 낮아집니다. 반지름을 너무 작게 만들면 옆면을 길게 만들 수 있지만 밑면 넓이 πr²이 작아집니다. `S=2πr²+2πrh`라는 제한 아래 두 손실이 균형을 이루는 지점이 h=2r, 즉 높이=지름입니다.

실제 와인 배럴 용량에도 이 결과를 바로 적용할 수 있나요?

정확한 실측 공식으로 바로 적용할 수는 없습니다. 실제 배럴은 가운데가 불룩하고 내부 치수가 외부 치수와 다르며 제작 방식도 다양합니다. 원기둥 해는 이상화된 모형에서 최적화의 원리를 보여 주는 결과입니다. 실제 용량은 내부 단면 변화나 검정된 용량 측정법을 사용해야 합니다.

케플러 와인 배럴 문제 핵심 정리

케플러의 역사적인 문제에서는 원기둥 옆면 중앙의 마개 구멍에서 반대편 바닥 가장자리까지의 측정 막대 L을 고정합니다. 제약식은 `L²=(2r)²+(h/2)²`이고, 부피함수는 `V(h)=πL²h/4-πh³/16`입니다. 이를 미분하면 최대 부피 높이는 h=2L/√3, 반지름은 r=L/√6이 됩니다. 따라서 높이는 지름의 √2배이고 최대 부피는 πL³/(3√3)입니다.

닫힌 원기둥의 전체 표면적 S를 고정하는 문제는 다른 제약을 사용합니다. `S=2πr²+2πrh`를 부피식과 결합해 미분하면 h=2r, 즉 높이와 지름이 같을 때 부피가 가장 큽니다. 전체 단면 대각선을 고정하는 경우에는 다시 결과가 달라져 지름이 높이의 √2배가 됩니다.

이 문제의 핵심은 공식을 외우는 데 있지 않습니다. 무엇을 고정했는지 정확히 정의하고, 제약식으로 목적함수를 한 변수로 만든 뒤, 미분과 경계값으로 최대임을 확인하는 과정이 핵심입니다. 같은 원기둥도 측정 막대, 전체 대각선, 표면적 가운데 무엇을 고정하느냐에 따라 최적 모양이 달라집니다.

참고 자료

• ETH-Bibliothek, Johannes Kepler의 Nova stereometria doliorum vinariorum 1615년 판
• Universität Tübingen, Nova Stereometria Doliorum Vinariorum 디지털 원문
• Mathematical Association of America, Kepler: The Volume of a Wine Barrel
• MacTutor History of Mathematics, Johannes Kepler 자료
• Matematicas Visuales, Kepler: The volume of a wine barrel