z karmaşık sayısı z=cos6+isin6 olsun. O takdirde z15=cos90+isin90=i olur.
z2=cos12+isin12=2cos26−1+2isin6.cos6=2cos6(cos6+isin6)−1
z2=2cos6.z−1⇒cos6=z2+12z Benzer düşünüşle sin12=z4−12iz2,sin24=z8−12iz4,sin48=z16−12iz8 olur.Bulunan bu değerler soruda verilen eşitlikte yerlerine yazılırsa,
2zz2+1=2iz2z4−1−2iz4z8−1−2iz8z16−1
1z2+1−izz4−1=iz3z8−1−iz7z16−1
z2−1−izz4−1=iz3(z8−1)−iz7z16−1=iz11−iz3−iz7z16−1
z2−1−izz4−1=−iz3z8+1+z7i.z−1
(z2−1−iz)(iz−1)=(−iz7+iz3)(z8+1+z7) Buradan parantezler açılırsa gerken işlemler yapılırsa, 1=−i2 eşitliği çıkar ki bu da ispatı bitirir.