三角関数の直交性

三角関数の直交性の公式です。
大学で習うフーリエ解析でよく使いますが、公式の導出は高校数学の知識だけで可能であり、大学入試問題でテーマになることもあります。