한 줄의 계산이 다음 줄을 낳으면 일반 증명이 될까?

기하 그림 없이 거듭제곱을 계산 대상으로 다룰 수 있을까?

알카라지는 10세기 후반에서 11세기 초 사이에 살았다고 전하며 바그다드에서 주요 수학 저술을 썼다. 생몰년과 출생지 표기는 자료마다 조금씩 다르므로 정확한 연대를 확정하지 않는다. 비교적 분명한 점은 『알파크리』를 비롯한 저술에서 미지수의 여러 거듭제곱과 그 역수를 계산 대상으로 조직했다는 사실이다.[1][4]

앞선 대수학이 방정식 풀이를 기하 도형과 함께 설명한 경우가 많았다면 알카라지의 작업은 x, x², x³에 해당하는 양들을 더하고 빼고 곱하는 계산 규칙 쪽으로 무게를 옮겼다. 여기서 x 표기는 현대 독자를 위한 번역이며 당시 문헌이 오늘날의 지수 기호를 그대로 쓴 것은 아니다.[1][3]

이 변화를 대수가 기하에서 완전히 해방된 순간이라고 단정하면 지나치다. 음수, 0차항, 일반 기호의 사용 범위는 오늘의 다항식 대수와 달랐다. 성과를 현대 체계의 완성으로 소급하기보다 무엇을 실제로 계산할 수 있었는지 묻는 편이 안전하다.[1]

그림 1은 인물과 저술, 전승, 현대 연구를 네 층으로 나눈다. 한 저자의 생각이 책 한 권에 완전한 모습으로 보존되어 곧바로 오늘에 도착한 것이 아니라는 점이 이 글의 출발점이다.

사라진 책의 정리를 누구의 문장으로 읽어야 할까?

알카라지에게 돌리는 이항계수 배열과 단계적 논증 가운데 일부는 그의 현존 저술만으로 온전히 읽히지 않는다. 알사마왈이 12세기 중엽 『알바히르』에서 앞선 결과를 전하고 확장한 대목이 중요한 증언이 된다. 따라서 ‘알카라지가 썼다’와 ‘알사마왈이 알카라지에게 돌려 전했다’는 서로 다른 증거 문장이다.[2][1]

프랑스어 비판판과 수학사 연구는 두 저자의 문장을 함께 분석해 반복 절차의 구조를 복원했다. 1972년 라시드의 논문 제목 자체가 알카라지와 알사마왈을 나란히 놓고 수학적 귀납을 다룬다. 논문 제목과 서지 정보가 곧 모든 해석의 합의를 뜻하지는 않는다.[2][3]

이 글은 필사본의 정확한 쪽이나 행을 새로 판독했다고 주장하지 않는다. 실제 확인 범위는 라시드 논문의 서지·쪽수와 후속 수학사 요약, 세인트앤드루스대학 전기, 홍콩이공대 강의 자료다. 원문 전체를 확인하지 못한 대목에서는 ‘전한다’, ‘현대 연구가 재구성한다’고 표시한다.[2][1][4]

확인 질문 1. 후대 책에 ‘앞선 학자의 방법’이라고 적혀 있으면 그 앞선 학자의 원문을 직접 읽었다고 말할 수 있을까? 해설: 아니다. 후대 증언은 중요한 역사 자료지만 인용·요약·변형 가능성을 가진 별도의 전승 층이다.

이웃한 두 수를 더하면 왜 다음 차수의 계수가 될까?

(a+b)²의 계수는 1, 2, 1이고 (a+b)³의 계수는 1, 3, 3, 1이다. 다음 줄의 양끝을 1로 놓고 가운데 수를 바로 위 이웃 두 수의 합으로 만들면 1, 4, 6, 4, 1이 된다. 실제로 (a+b)⁴을 전개한 계수와 같다.

현대 표기로 C(n+1,k)=C(n,k−1)+C(n,k)라고 쓸 수 있다. (a+b)·(a+b)ⁿ에서 a를 고르는 경우와 b를 고르는 경우가 두 부모 칸으로 갈라지기 때문이다. 이 설명은 현대 조합론의 언어이며 중세 원문 표현을 재현한 것은 아니다.

그림 2의 화살표는 4차 줄의 가운데 6만 추적한다. 위의 3과 3을 더해 6을 얻는다. 왼쪽 4는 1+3, 오른쪽 4는 3+1이다. 한 칸의 규칙이 줄 전체에서 반복되므로 다음 줄을 기계적으로 만들 수 있다.

하지만 표를 여러 줄 만든 사실만으로 모든 차수의 정리가 증명되지는 않는다. 첫 줄이 맞고 임의의 한 줄이 맞을 때 같은 규칙으로 다음 줄이 맞는다는 이유까지 제시해야 일반 명제로 넘어갈 수 있다.

세제곱의 합이 왜 삼각수의 제곱과 같을까?

알카라지의 이름과 함께 자주 소개되는 결과는 1³+2³+···+n³=[n(n+1)/2]²이다. 오른쪽의 n(n+1)/2는 1부터 n까지의 합, 곧 삼각수다. 세제곱의 합이 자연수 합의 제곱과 같다는 뜻이다.[1][4]

n=4를 넣으면 왼쪽은 1+8+27+64=100이고 오른쪽은 (4·5÷2)²=10²=100이다. 그림 3은 두 계산 경로를 나란히 둔다. 색 띠와 10×10 격자는 등식의 수치를 보여 주는 현대적 설명 그림이지 역사적 증명 도판이 아니다.

n=10에서는 왼쪽 세제곱의 합이 3025이고 오른쪽은 (10·11÷2)²=55²=3025다. 홍콩이공대 강의 자료는 알카라지의 설명을 10까지 진행되는 이른 귀납적 증명으로 소개하면서 현대의 일반 기호 n을 사용한 형식과는 구별한다.[4]

여러 값이 맞는다는 검산은 오류를 찾는 데 중요하지만 그 자체가 일반 증명은 아니다. 1부터 10까지 맞고 11에서 실패하는 식도 만들 수 있다. 모든 자연수에서 성립한다고 말하려면 다음 단계가 항상 이어지는 까닭이 필요하다.

n번째 식에서 다음 식을 만드는 한 단계는 어떻게 검산할까?

현대 수학적 귀납법으로 이 공식을 쓰면 먼저 n=1을 확인한다. 이어 어떤 자연수 n까지 Sₙ=1³+···+n³=[n(n+1)/2]²라고 가정하고 양쪽에 다음 항 (n+1)³을 더한다.

그러면 Sₙ₊₁=[n(n+1)/2]²+(n+1)³이다. 공통인 (n+1)²을 묶으면 (n+1)²[n²/4+n+1]이고 대괄호 안은 (n+2)²/4와 같다. 따라서 Sₙ₊₁=[(n+1)(n+2)/2]²가 된다.

마지막 식은 원래 공식에서 n을 n+1로 바꾼 꼴이다. n까지 맞으면 n+1까지도 맞다는 단계가 완성된다. 기초 사례와 이 단계가 함께 있을 때 모든 자연수에 대한 결론으로 이어진다.

그림 4의 네 칸은 오늘날 교과서식 분해다. 중세 저자가 Sₙ이나 괄호, 지수 기호를 같은 방식으로 썼다는 뜻이 아니다. 역사적 절차의 논리적 뼈대를 현대 독자가 검산하도록 번역한 것이다.

확인 질문 2. n=4와 n=5에서 식이 맞는 것을 확인하면 귀납 단계가 필요 없을까? 해설: 필요하다. 두 값의 일치는 두 사례의 검산일 뿐이다. 임의의 n에서 다음 값으로 가는 등식 변형이 항상 성립해야 한다.

‘수학적 귀납’이라는 이름을 어디까지 붙일 수 있을까?

현대 정의에서는 기초 사례, 임의의 n에 대한 가정, n에서 n+1로의 단계가 명시되어야 한다. 중세 계산에는 이와 기능이 닮은 요소가 있지만 자연수 전체를 현대 기호로 양화하거나 귀납 원리를 독립 원리로 말하지는 않았다.[2][4]

그래서 ‘알카라지가 수학적 귀납법을 최초로 발명했다’는 단정은 조심해야 한다. 무엇을 최초로 셀지는 정의에 달려 있고 다른 문화권의 반복 논증과도 비교해야 한다. 더 안전한 표현은 두 저자의 작업에서 한 사례에서 다음 사례로 나아가는 귀납적 구조가 확인된다는 것이다.[2][3]

라시드의 연구는 이 구조를 귀납의 역사 속에 적극적으로 배치했다. 세인트앤드루스대학 전기와 대학 강의 자료도 이를 이른 형태의 수학적 귀납으로 소개한다. 이 글은 그 해석을 따르되 현존 자료의 층과 현대 형식 사이의 차이를 함께 표시한다.[2][1][4]

증명의 역사는 완성된 현대 개념을 과거에서 찾는 보물찾기가 아니다. 당시 계산이 어떤 문제를 해결했고 후대 저자가 무엇을 보존했으며 현대 연구자가 어떤 구조를 다시 이름 붙였는지를 차례로 묻는 작업이다.

사례 확인과 단계 증명을 구별해 보기

답을 먼저 보지 말고 각 문장이 한 값의 검산, 재귀 규칙, 일반 증명 가운데 무엇인지 적어 보자. 같은 숫자 배열도 어떤 범위를 보증하는지에 따라 논증의 힘이 달라진다.

확인 질문 3. 1부터 10까지 모두 맞는 식과, n에서 n+1로 가는 단계가 맞지만 n=1이 틀린 식 가운데 어느 쪽이 일반 증명에 더 가까울까? 해설: 둘 다 아직 완성되지 않았다. 앞쪽은 단계가 없고 뒤쪽은 출발점이 없다.

기록 질문: 오늘 본 주장 하나를 골라 직접 확인한 사례, 다음 단계로 가는 규칙, 그 규칙이 보증하는 범위를 세 줄로 나누어 적어 보자. 어느 줄이 비어 있으면 결론을 얼마나 약하게 고쳐야 할까?