파스칼 삼각형의 새로운 수직 합 관계

본 논문은 파스칼 삼각형에서 잘 알려진 여러 합 공식들을 출발점으로 삼아, 기존 연구에서는 거의 다루어지지 않았던 “수직선”을 따라 선택한 이항계수들의 합에 대한 새로운 항등식을 제시한다. 먼저 저자는 파스칼 삼각형의 기본 구조와 대표적인 합 공식들을 정리한다. 가로줄 전체 합은 ∑₀ⁿ C(n,i)=2ⁿ이라는 식(1)으로, 이는 이항정리의 직접적인 결과이다. 이어서 k번째 대각선(왼쪽 위에서 오른쪽 아래로 내려가는 대각선)까지의 합이 다음 대각선 원소 C(n+1,k+1)와 동일함을 식(2)로 제시한다. 이는 이항계수의 재귀적 정의를 이용한 간단한 변형이다. 또한 기울기 1/3인 대각선, 즉 C(n,0)+C(n‑1,1)+C(n‑2,2)+… 형태의 합이 피보나치 수 uₙ과 일치한다는 사실을 식(3)·(4)로 언급한다. 이러한 배경은 파스칼 삼각형 내부에서 다양한 “경로”를 따라 합을 취했을 때, 서로 다른 수열(2ⁿ, 이항계수, 피보나치 등)과 연결될 수 있음을 보여준다. 본 논문의 핵심은 다음과 같은 새로운 합 정의이다. S(n,k)=C(n,k)+C(n‑2,k‑1)+C(n‑4,k‑2)+⋯ 여기서 각 항은 행 번호를 2씩 감소시키고, 열 번호를 1씩 감소시킨다. 즉, (n,k)→(n‑2,k‑1)→(n‑4,k‑2)…이라는 “수직” 경로를 따라가며, 더 이상 유효한 항이 없을 때까지 합을 진행한다. 이때 마지막 항은 n‑2m≥0, k‑m≥0을 만족하는 최대 m에 해당한다. 저자는 이 합 S(n,k)를 기존의 대각선 합과 연결시키는 식(6)을 제시한다. 구체적으로, S(n,k)=C(n+1,k+1)−C(n,k+2)+C(n‑1,k+3)−C(n‑2,k+4)+⋯+δ 이다. 여기서 오른쪽에 나오는 무한 교대합은 “다음 대각선(기울기 1/3)상의 교대합”이며, 각 항의 부호는 교대로 바뀐다. 마지막에 더해지는 δ는 n‑2k의 6에 대한 나머지에 따라 0, +1, −1 중 하나가 선택된다. 구체적인 경우 구분은 다음과 같다. - n‑2k≤0이면 δ=0. - n‑2k>0이고 n‑2k≡0,3 (mod 6)이면 δ=−1. - n‑2k>0이고 n‑2k≡1,2 (mod 6)이면 δ=+1. - n‑2k>0이고 n‑2k≡4,5 (mod 6)이면 δ=0. 이 식은 두 측면이 파스칼 삼각형의 기본 재귀식 C(n,k)=C(n‑1,k)+C(n‑1,k‑1)를 동일하게 만족한다는 점에 기반한다. 저자는 LHS(n,k)=S(n,k)와 RHS(n,k)=위의 교대합을 각각 LHS(n‑1,k)+LHS(n‑1,k‑1)와 RHS(n‑1,k)+RHS(n‑1,k‑1) 형태로 전이시킬 수 있음을 보인다. 다만, “수직선”이 n‑2k=0이라는 경계선을 통과할 때는 양쪽에 1을 추가해야 함을 강조한다. 이 경계조건이 바로 δ가 필요하게 되는 이유이며, δ의 부호와 크기는 n‑2k를 6으로 나눈 나머지에 따라 달라진다. 증명은 크게 두 단계로 나뉜다. 첫 번째는 기본 재귀식이 양쪽에 동일하게 적용된다는 것을 확인하는 것으로, 이는 파스칼 삼각형의 구조적 특성에서 바로 도출된다. 두 번째는 경계선 n‑2k=0을 지날 때 발생하는 “추가 1”을 정확히 계산하여 δ의 값을 결정하는 과정이다. 저자는 이 과정을 “큰 어려움 없이” 수행할 수 있다고 주장하지만, 실제로는 경우에 따라 복잡한 모듈러 연산과 부호 관리가 필요하다. 이 새로운 항등식은 기존의 합 공식들과는 다른 차원을 제공한다. 가로합은 행 전체를, 대각합은 한 방향의 연속된 원소를, 피보나치 관계는 특정 기울기의 대각선을 이용한다면, 현재의 수직합은 행을 건너뛰면서 열을 동시에 감소시키는 “Z‑형” 경로를 따라가며, 그 결과를 대각선의 교대합과 연결한다. 이는 파스칼 삼각형 내부의 대칭성과 재귀 구조를 새로운 방식으로 활용한 사례라 할 수 있다. 또한 δ의 경우 구분이 6주기성을 보이는 점은 파스칼 삼각형의 모듈러 성질과 연관될 가능성을 시사한다. 6이라는 주기는 이항계수의 짝·홀 패턴, 중앙값의 짝수성, 그리고 삼각형의 대칭성 등과 연관될 수 있다. 이러한 관찰은 조합론적 모듈러 이론이나 이항계수의 주기성 연구에 응용될 여지를 제공한다. 논문의 한계점으로는 증명의 상세 전개가 생략되어 있어, 독자가 직접 경계조건을 포함한 전체 귀납 증명을 수행해야 한다는 점이다. 또한 S(n,k)의 정의가 n‑2k가 음수일 때는 합을 멈추는 방식이므로, k가 n/2를 초과하는 경우는 정의되지 않아 적용 범위가 제한된다. 이러한 제한에도 불구하고, 저자는 새로운 관계를 제시함으로써 파스칼 삼각형에 대한 이해를 확장하고, 향후 연구에서 이 관계를 일반화하거나 다른 기울기의 대각선과 결합한 다중합 공식 등을 탐구할 수 있는 출발점을 제공한다. 결론적으로, 본 논문은 파스칼 삼각형의 “수직 합”이라는 새로운 관점을 도입하고, 이를 기존의 대각선 교대합과 모듈러 보정항(δ)으로 연결함으로써 조합론적 구조에 대한 새로운 통찰을 제공한다. 향후 연구에서는 이 항등식을 보다 일반적인 형태로 확장하거나, 관련된 수열(예: Lucas 수, Tribonacci 등)과의 연결 고리를 찾는 것이 흥미로운 과제가 될 것이다.