Sol tarafa $s$ dersek ve örüntüsel olarak iç payı $1,3,5,7,9,11,13$ olacak sekilde toplarsak, $\cos\pi=-1$ ve $\cos(2\pi-a)=\cos a$ gereği $$2s-1=\sum_{i=1}^7\cos\left(\dfrac{2i-1}7\pi\right)=0$$ eşitliğini elde ederiz. Son eşitliği $x^7+1$'in kökler toplamına bakarak bulabiliriz.