チェビシェフ多項式
formula_12 と定義し、チェビシェフ多項式の三角関数定義を使うと、次が得られる。