1729는 두 양의 세제곱수의 합으로 서로 다른 두 가지 방식으로 표현되는 가장 작은 자연수입니다. 정확한 계산은 1729=1³+12³=9³+10³입니다. 이 수가 ‘하디–라마누잔 수’로 널리 알려진 데에는 수학자 고드프리 해럴드 하디가 병원에 있던 스리니바사 라마누잔을 찾아간 일화가 있습니다. 재미있는 이야기에 그치지 않고, 세제곱수 방정식과 택시수라는 정수론 개념으로 이어지는 수입니다.
1729의 두 표현을 직접 계산하기
1³+12³ = 1+1,728 = 1,729
9³+10³ = 729+1,000 = 1,729
두 표현에서 사용하는 양의 정수 쌍은 (1,12)와 (9,10)으로 서로 다릅니다. 덧셈 순서만 바꾼 (12,1)은 새로운 표현으로 세지 않습니다. 따라서 1729에는 순서를 무시했을 때 정확히 두 개의 양의 세제곱 합 표현이 있습니다.
택시수 Taxicab(2)의 정의
택시수 Ta(n)은 두 양의 정수의 세제곱 합으로 n가지 서로 다른 방식으로 표현되는 가장 작은 양의 정수입니다. 이 정의에서 두 항은 양수이고, 순서를 바꾼 표현은 같은 것으로 봅니다. Ta(1)=2입니다. 2=1³+1³이고 양의 세제곱 합으로 표현되는 가장 작은 수이기 때문입니다. Ta(2)=1729가 바로 하디–라마누잔 수입니다.
| 기호 | 값 | 뜻 |
|---|---|---|
| Ta(1) | 2 | 양의 세제곱수 두 개의 합으로 1가지 방식 |
| Ta(2) | 1,729 | 양의 세제곱수 두 개의 합으로 2가지 방식 |
| Ta(3) | 87,539,319 | 양의 세제곱수 두 개의 합으로 3가지 방식 |
‘두 가지 이상’이라고만 정의하면 세 번째와 네 번째 표현을 가진 수까지 포함되므로, 표준적인 택시수 정의는 적어도 n가지가 아니라 n가지 방식으로 표현되는 가장 작은 수라는 식으로 다룹니다. 알려진 값의 계산과 표기에서는 자료마다 문구가 조금씩 다를 수 있으므로 양의 정수 조건과 순서 처리 방식을 확인해야 합니다.
하디와 라마누잔의 택시 일화
하디가 1940년에 쓴 라마누잔에 관한 글에 따르면, 그는 영국 퍼트니에서 병중인 라마누잔을 찾아가며 택시 번호 1729를 보았습니다. 하디는 그 수가 다소 따분해 보이고 불길한 징조가 아니기를 바란다고 말했습니다. 라마누잔은 즉시 아주 흥미로운 수라며, 두 세제곱수의 합으로 두 가지 방식으로 나타낼 수 있는 가장 작은 수라고 답했습니다.
이 일화는 흔히 라마누잔이 그 자리에서 처음 발견한 결과처럼 전해지지만 그렇게 단정할 근거는 없습니다. 1729의 성질은 그보다 앞선 수학 문헌에도 나타납니다. 일화가 보여 주는 것은 라마누잔이 수의 성질을 빠르게 알아보았다는 점이며, 최초 발견자를 정하는 기록과는 구분해야 합니다.
왜 1729보다 작은 수에는 두 표현이 없을까
1729보다 작은 양의 세제곱 합이라면 큰 항은 12³보다 작거나 같아야 합니다. 13³=2197이 이미 1729를 넘기 때문입니다. 따라서 1³부터 12³까지의 값을 짝지어 합을 비교하면 됩니다. 세제곱은 1, 8, 27, 64, 125, 216, 343, 512, 729, 1000, 1331, 1728입니다.
각 큰 수 b를 고정하고 1≤a≤b인 a³+b³을 정렬해 중복을 찾을 수 있습니다. 1729에 도달하기 전까지 같은 합이 두 번 나오지 않고, 1³+12³과 9³+10³이 처음으로 일치합니다. 이는 유한한 78개 쌍을 조사하는 문제입니다. 단순히 두 식이 같음을 보이는 것만으로는 최소성이 증명되지 않으며, 더 작은 후보에 중복이 없다는 확인까지 필요합니다.
방정식으로 보는 두 세제곱 합
1729의 성질은 a³+b³=c³+d³이라는 정수 방정식의 해로 쓸 수 있습니다. 여기서는 (a,b,c,d)=(1,12,9,10)이 한 해입니다. 인수분해 x³+y³=(x+y)(x²−xy+y²)를 사용하면 두 표현의 약수 구조를 살펴볼 수 있습니다.
1³+12³ = (1+12)(1²−1·12+12²) = 13×133 = 1,729
9³+10³ = (9+10)(9²−9·10+10²) = 19×91 = 1,729
따라서 1729는 13×133이면서 19×91이고, 완전히 소인수분해하면 7×13×19입니다. 이 인수분해가 두 세제곱 표현을 자동으로 만들어 주는 것은 아니지만, 같은 수에 서로 다른 합의 인수 구조가 만나는 모습을 보여 줍니다.
양의 정수 조건이 중요한 이유
택시수는 두 양의 세제곱수의 합을 사용합니다. 0이나 음수를 허용하면 가장 작은 값과 표현 수가 달라집니다. 음의 세제곱을 허용해 정수의 세제곱 합으로 여러 방식 표현되는 가장 작은 양의 수를 찾는 관련 수열은 ‘Cabtaxi 수’라고 불립니다. 예를 들어 부호가 다른 항을 허용하면 큰 세제곱에서 다른 세제곱을 빼는 표현도 후보가 됩니다.
따라서 ‘두 세제곱수의 합으로 두 번 표현되는 최소 수’라는 문장에는 범위를 붙여야 정확합니다. 1729는 두 양의 정수의 세제곱 합이라는 조건에서 최소입니다. 정수 전체를 허용하거나 0을 포함하거나 순서까지 다른 표현으로 세면 다른 문제가 됩니다.
세제곱수는 얼마나 빨리 커질까
자연수 n의 세제곱 n³은 n이 1 늘 때 일정한 양만큼 증가하지 않습니다. 연속한 세제곱의 차이는 (n+1)³−n³=3n²+3n+1이어서 n이 커질수록 간격이 넓어집니다. 그럼에도 두 세제곱을 더한 값들 사이에는 드물게 충돌이 생깁니다. 1729는 그 첫 충돌입니다.
| n | n³ | 다음 세제곱과의 차이 |
|---|---|---|
| 8 | 512 | 217 |
| 9 | 729 | 271 |
| 10 | 1,000 | 331 |
| 11 | 1,331 | 397 |
| 12 | 1,728 | 469 |
택시수 탐색을 프로그램으로 하는 방법
상한 B까지 조사한다면 1≤a≤b≤B인 모든 쌍에 대해 a³+b³을 계산하고, 합을 키로 하여 해당 쌍을 저장할 수 있습니다. 같은 키에 서로 다른 쌍이 두 개 모이면 두 표현을 찾은 것입니다. 쌍의 개수는 B(B+1)/2이므로 단순한 생성은 O(B²)개의 합을 다룹니다. 합을 정렬하거나 해시 테이블로 묶으면 중복을 확인할 수 있습니다.
아주 큰 택시수를 찾을 때는 모든 합을 메모리에 그대로 보관하기 어렵습니다. 우선순위 큐로 정렬된 합을 순차 생성하거나 범위를 나누고, 대칭인 (a,b)와 (b,a)를 한 번만 계산하는 방식이 쓰입니다. 발견된 후보는 큰 정수 연산으로 각 세제곱 합을 다시 계산해 검증할 수 있습니다.
페르마의 마지막 정리와는 다른 문제
a³+b³=c³이라는 식은 양의 정수에서 해가 없다는 페르마의 마지막 정리 n=3 경우에 속합니다. 그러나 택시수는 a³+b³=c³+d³을 다룹니다. 오른쪽에도 두 세제곱이 있으므로 1729 같은 해가 존재해도 페르마의 마지막 정리와 모순되지 않습니다. ‘세제곱의 합이 또 다른 세제곱 하나’인 문제와 ‘두 세제곱 합이 다른 두 세제곱 합과 같음’은 서로 다른 방정식입니다.
1729에 함께 붙는 다른 성질
1729=7×13×19이고 세 소수는 각각 6만큼 차이 납니다. 또 1729는 1+7+2+9=19이며 1729÷19=91이므로 자릿수 합으로 나누어떨어지는 하샤드 수입니다. 이런 성질은 모두 직접 계산할 수 있지만, 하디–라마누잔 일화의 핵심은 두 양의 세제곱 합 표현과 그 최소성입니다. 우연히 함께 만족하는 성질을 택시수 정의와 섞지 않아야 합니다.
1729보다 큰 다음 사례
두 가지 표현을 가진 수는 1729 뒤에도 이어집니다. 예를 들어 4104=2³+16³=9³+15³입니다. 13832=2³+24³=18³+20³도 두 표현을 가집니다. 하지만 Ta(2)는 두 방식으로 표현되는 수 가운데 가장 작은 하나만 가리키므로 1729입니다. 두 방식 표현 수 전체와 택시수 Ta(2)는 같은 개념이 아닙니다.
자주 생기는 계산 오류
- 1729의 표현은 13+123 같은 자릿수 덧셈이 아니라 1³+12³입니다.
- 두 번째 표현은 9³+10³이며, 9³=729와 10³=1000입니다.
- (1,12)와 (12,1)은 덧셈 순서만 달라 같은 표현입니다.
- 1729의 최소성은 두 등식만 확인해서는 부족하며 더 작은 양의 세제곱 합의 중복이 없음을 확인해야 합니다.
- 음의 정수를 허용하는 Cabtaxi 수와 양의 정수만 쓰는 Taxicab 수를 구분해야 합니다.
하디–라마누잔 수 핵심 정리
1³+12³=1+1728=1729이고 9³+10³=729+1000=1729입니다. 1부터 12까지의 양의 세제곱을 두 개씩 더했을 때 이보다 작은 중복 합은 없습니다. 따라서 1729는 두 양의 세제곱수의 합으로 두 가지 방식으로 표현되는 가장 작은 자연수, 즉 Ta(2)입니다.
하디의 회고에 담긴 택시 일화 덕분에 이 수는 라마누잔의 이름과 함께 유명해졌습니다. 수학적으로는 a³+b³=c³+d³ 형태의 디오판토스 방정식, 세제곱 합의 충돌과 계산 탐색을 보여 주는 첫 사례입니다. 정확한 식과 양의 정수라는 조건을 함께 기억하면 1729의 특별함을 오해 없이 이해할 수 있습니다.