偶数乗は非負なので、正弦の項を引くと余弦の項以下になる。
nnn 偶数では sinnx≥0\sin^n x\ge0sinnx≥0、∣cosx∣≤1|\cos x|\le1∣cosx∣≤1 なので cosnx−sinnx≤1\cos^n x-\sin^n x\le1cosnx−sinnx≤1。等号には sinnx=0\sin^n x=0sinnx=0 と cosnx=1\cos^n x=1cosnx=1 が必要で、sinx=0\sin x=0sinx=0、∣cosx∣=1|\cos x|=1∣cosx∣=1 となる。