(1) 左辺を変形して右辺に等しくなることを示す。
sin4θ−cos4θ は (a2−b2) の形なので、因数分解できる。 sin4θ−cos4θ=(sin2θ+cos2θ)(sin2θ−cos2θ) ここで、sin2θ+cos2θ=1 なので、 sin4θ−cos4θ=sin2θ−cos2θ さらに、sin2θ=1−cos2θ なので、 sin4θ−cos4θ=(1−cos2θ)−cos2θ=1−2cos2θ したがって、sin4θ−cos4θ=1−2cos2θ が証明された。 (2) 左辺を変形して右辺に等しくなることを示す。
tan2θ+(1−tan4θ)cos2θ tanθ=cosθsinθ なので、 tan2θ+(1−tan4θ)cos2θ=cos2θsin2θ+(1−cos4θsin4θ)cos2θ =cos2θsin2θ+cos2θ−cos2θsin4θ =cos2θsin2θ−sin4θ+cos2θ =cos2θsin2θ(1−sin2θ)+cos2θ ここで、1−sin2θ=cos2θ なので、 cos2θsin2θ(1−sin2θ)+cos2θ=cos2θsin2θcos2θ+cos2θ =sin2θ+cos2θ=1 したがって、tan2θ+(1−tan4θ)cos2θ=1 が証明された。