加法定理から、任意の実数 x,h について cos(x−h)−cos(x+h)=2sinxsinh,sin(x+h)−sin(x−h)=2cosxsinh が成り立つ。ここで h=β/2 とする。仮定より sinh=0 なので、割り算ができる。
まず x=α+kβ とした第1式から sin(α+kβ)=2sin(β/2)cos(α+(k−21)β)−cos(α+(k+21)β). これを k=0,1,…,n−1 について加えると中間項が相殺し、 k=0∑n−1sin(α+kβ)=2sin(β/2)cos(α−β/2)−cos(α+(n−21)β). cosA−cosB=2sin2A+Bsin2B−A を用い、 A=α−β/2, B=α+(n−21)β とおけば cosA−cosB=2sin(α+2(n−1)β)sin2nβ. よって k=0∑n−1sin(α+kβ)=sin(β/2)sin(nβ/2)sin(α+(n−1)β/2).
次に第2式から cos(α+kβ)=2sin(β/2)sin(α+(k+21)β)−sin(α+(k−21)β). 同様に和をとれば k=0∑n−1cos(α+kβ)=2sin(β/2)sin(α+(n−21)β)−sin(α−β/2). ここで sinB−sinA=2cos2A+Bsin2B−A に A=α−β/2, B=α+(n−21)β を代入すると、分子は 2cos(α+2(n−1)β)sin2nβ となる。したがって k=0∑n−1cos(α+kβ)=sin(β/2)sin(nβ/2)cos(α+(n−1)β/2). 以上で両式が示された。