ωi=cis(2πi/7)\omega^i=\operatorname{cis}(2\pi i/7)ωi=cis(2πi/7) なので実部の式は表示した和そのものである。iii と 7−i7-i7−i を組にすると、6項は最初の3項の2倍になる。