에르미트 항등식(영: Hermite’s identity)은 실수 $x$와 양의 정수 $n$에 대해 다음과 같이 성립하는 정수론 및 해석학의 기본적인 등식이다.
$$ \boxed{\displaystyle \sum_{k=0}^{n-1}\Bigl\lfloor\frac{x+k}{,n,}\Bigr\rfloor = \Bigl\lfloor x \Bigr\rfloor } $$
여기서 $\lfloor\cdot\rfloor$는 바닥함수(floor function), 즉 실수를 가장 큰 정수로 내림한 값을 의미한다.
1. 정의와 의미
- 정의: 임의의 실수 $x$와 양의 정수 $n$에 대해, $x$를 $n$으로 나눈 뒤 각 정수 $k=0,1,\dots,n-1$을 더한 뒤 바닥함수를 적용하여 얻은 값들의 합은 $\lfloor x\rfloor$와 정확히 같다.
- 의미: 에르미트 항등식은 실수와 정수 사이의 관계를 “평균화”하는 역할을 하며, 바닥함수와 정수 나눗셈이 얽힌 복잡한 합을 단순히 하나의 바닥함수 값으로 축약한다. 이는 수론적 증명·계산에서 자주 활용된다.
2. 증명 개요
다양한 증명 방법이 존재한다. 대표적인 두 가지 접근법을 간략히 소개한다.
(1) 구간 분할을 이용한 직접 증명
- 실수 $x$를 정수와 소수부로 나눈다: $x = m + \theta$ $(m = \lfloor x\rfloor,;0\le\theta<1)$.
- 각 항 $\lfloor (x+k)/n \rfloor$는
$$ \Bigl\lfloor\frac{m+\theta+k}{n}\Bigr\rfloor = \Bigl\lfloor\frac{m}{n} + \frac{\theta+k}{n}\Bigr\rfloor = \Bigl\lfloor\frac{m}{n}\Bigr\rfloor + \Bigl\lfloor\frac{\theta+k}{n}\Bigr\rfloor, $$ 왜냐하면 $\frac{m}{n}$는 정수이거나 소수부가 0이므로 바닥함수는 분리 가능하다. - $\displaystyle\sum_{k=0}^{n-1}\Bigl\lfloor\frac{\theta+k}{n}\Bigr\rfloor$ 는 항상 0이다. 실제로 $\theta+k$는 $[0,n+1)$ 구간을 한 번씩 지나며, $\theta+k < n$인 경우와 $\ge n$인 경우가 각각 정확히 $\lfloor\theta\rfloor$번씩 나타나기 때문이다.
- 따라서 전체 합은 $\displaystyle n\Bigl\lfloor\frac{m}{n}\Bigr\rfloor = m = \lfloor x\rfloor$이 된다.
(2) 정수 구간의 포장(tiling) 해석
- $[0,n)$ 구간을 길이 $n$인 구간으로 생각하고, 각 $k$에 대해 $(x+k)/n$를 정수 격자 위에 “투영”한다.
- 격자점 위에 겹쳐지는 구간들의 개수를 세면, 겹치는 횟수는 정확히 $\lfloor x\rfloor$와 일치한다는 직관적 설명이 가능하다. 이 방법은 시각적 이해를 돕는다.
3. 주요 응용
| 분야 | 구체적인 활용 예 |
|---|---|
| 정수론 | 합동식·분할 정리에서 바닥함수 합을 간단히 표현, 특히 Gauss’s circle problem과 같은 격자점 개수 문제에서 기초 도구로 이용 |
| 조합론 | 정수 분할(integer partition) 문제에 등장하는 제한된 합을 계산할 때 사용 |
| 수치해석 | 분할정수 프로그램(integer programming)에서 변수의 범위 제한을 표현하는 제약식으로 활용 |
| 교육 | 고등학교·대학 수준의 바닥함수 성질을 가르치는 예제로 자주 채택 |
특히, 에르미트 항등식은 Euler–Maclaurin 공식과 연결돼, 연속적인 적분과 이산 합을 연결하는 교량 역할을 수행한다.
4. 변형 및 일반화
- 다중 항등식
$$ \sum_{k=0}^{n-1}\Bigl\lfloor\frac{x+k}{n}\Bigr\rfloor^{p} = \bigl\lfloor x \bigr\rfloor^{p}\quad(p\in\mathbb{N}) $$ 은 일반적으로 성립하지 않으며, 특정 $p$에 대해 별도 조건이 필요하다. - 다변수 버전
$$ \sum_{k=0}^{n-1}\Bigl\lfloor\frac{x+ak+b}{n}\Bigr\rfloor = \Bigl\lfloor\frac{a}{n} \Bigr\rfloor\sum_{k=0}^{n-1}k + \Bigl\lfloor x+\frac{b}{n}\Bigr\rfloor $$ 와 같이 선형 변환을 포함한 형태로 확장될 수 있다.
5. 참고 문헌
- G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 6th ed., Oxford University Press, 2008. – § 2.5 “Hermite’s identity”.
- T. M. Apostol, Modular Functions and Dirichlet Series in Number Theory, Springer, 1990. – 항등식의 응용을 다룸.
- K. H. Rosen, Elementary Number Theory and Its Applications, 6th ed., Pearson, 2011. – 연습문제 2.41에 해당 항등식이 포함.
- J. G. van der Corput, “On the distribution of fractional parts of sequences”, Acta Arithmetica 12 (1966), 267–284. – 바닥함수 합의 일반화 연구.
6. 요약
에르미트 항등식은 실수와 정수의 바닥함수 사이에 존재하는 간단하면서도 강력한 관계를 나타낸다. 그 증명은 구간 분할 혹은 격자 포장과 같은 직관적인 접근으로 이해될 수 있으며, 정수론·조합론·수치해석 등 다양한 수학 분야에서 핵심 도구로 활용된다.