베조의 대수적 분석과 혁신적 방법론

초록

본 논문은 18세기 프랑스 수학자 에티엔 베조(1730‑1783)의 대수적 분석 업적을 당시 그의 원본 방식대로 재조명하고, 특히 다항식 소거를 일차 선형 시스템으로 환원하는 기법, 존재와 개수만을 탐구하는 미정계수법, 다항식 곱의 합을 전체적으로 다루는 관점, 그리고 두 방정식의 결과식을 구하는 독자적 방법을 강조한다.

상세 분석

베조는 기존의 소거법이 고차 방정식에 대해 복잡한 연산을 요구한다는 점을 비판하고, 모든 차수의 시스템을 “일차 선형 시스템의 해 존재 조건”으로 전환하였다. 그는 미정계수를 도입하되 실제 값을 계산하지 않고, 계수들의 존재 여부와 그 개수만을 논증함으로써 계산량을 크게 줄였다. 이 접근은 현대의 행렬식(det)과 결과식(resultant) 개념의 전신이라 할 수 있다. 특히 그는 두 다항식의 곱의 합을 하나의 집합으로 보고, 그 집합 내에서 계수들의 선형 관계를 탐색함으로써 결과식을 도출하였다. 이러한 방법은 후에 Sylvester가 제시한 “Sylvester matrix”와 “resultant” 이론의 토대를 제공한다. 베조는 또한 “두 방정식의 결과식”을 구할 때, 각 방정식을 동일 형태의 미정계수 다항식으로 변형하고, 항별 비교를 통해 계수를 소거하는 절차를 제시했으며, 이는 오늘날의 “베조 행렬” 개념과 직접 연결된다. 그의 1762년, 1764년, 1765년 메모와 1766년 『대수학』, 1779년 『일반 방정식 이론』을 통해 제시된 사례들은 모두 이러한 원리를 실제 계산에 적용한 예시이며, 특히 차수가 n인 일반 방정식을 두 항만을 가진 형태로 환원하는 조건을 도출한 부분은 당시 유일무이한 성과였다. 베조는 또한 Euler와 Lagrange의 작업을 비판적으로 검토하면서, 자신의 방법이 보다 일반적이고 체계적임을 주장했으며, 이는 당시 프랑스 학계에서 “유한 대수 분석”이 미흡하다는 비판과도 맞물린다. 그의 미정계수법은 단순히 계수를 대입하는 것이 아니라, “계수들의 존재와 자유도”를 파악함으로써 해의 존재조건을 명시하는 데 초점을 맞추었으며, 이는 현대 대수기하학에서 “스키마 이론”이나 “모듈러 공간”의 개념과도 일맥상통한다. 전체적으로 베조의 접근은 계산적 효율성뿐 아니라, 문제 자체를 구조적으로 재해석하는 메타수학적 사고를 보여준다.