1. 개요
에르미트 항등식은 임의의 실수 x와 자연수 n에 대해 성립하는 수학적 항등식으로, 여러 가지 방법으로 증명될 수 있다. 주요 증명 방법으로는 대수적 증명, 정수적 증명, 함수를 이용한 증명, 그리고 정수 부분과 소수 부분을 이용한 증명 등이 있다. 이 항등식은 바닥 함수를 포함하며, 관련된 증명 과정은 주기 함수의 성질과 부등식을 활용한다.
2. 증명
에르미트 항등식은 여러 가지 방법으로 증명할 수 있다.
;대수적 증명
:라고 가정한다.
:그러므로, 임을 증명하면 된다.
:를 대입해 주면,
:
:
:
:가 된다.
:즉, 은 주기가 인 주기함수가 된다.
:(추가로 일 때 는 주기가 인 함수이다.)
:그러므로 인 에 대하여 임을 증명하면 되는 것이다.
:
:
:.
:.
:.
:
:
:위의 식을 다 더하면 .
:따라서 에르미트 항등식은 성립한다.
;정수적 증명 (바닥함수의 정의 이용)
:라고 가정한다. (단, 은 정수, 이다.)
:임을 알 수 있다.
:이때, ,
:이 성립한다고 가정하면,
:가 성립한다. (는 자연수)
:또한, 두 부등식 , 을 연립하여 정리하면,
: