フーリエ変換について exp(ikx) の直交性は重要である。ここでは連続変数 k で与えられた exp(ikx) 同士の直交性を証明する。よく知られているように離散的な場合はクロネッカーのデルタであるが、連続変数の場合はデルタ関数になる。