1sin(nx).sin[(n+1)x]=1sinx(cot[(n+1)x]−cot(nx)).........(∗) olduğunu ispatlamak kolaydır.
Ayrıca dönüşüm formüllerinden:
cosx−cos3x=−2sin2x.sin(−x)=2sin2x.sinx4
cosx−cos5x=−2sin3x.sin(−2x)=2sin3x.sin2x
cosx−cos7x=−2sin4x.sin(−3x)=2sin4x.sin3x
⋮
cosx−cos405x=−2sin203x.sin(−202x)=2sin203x.sin202x olduklarını biliyoruz. Bu değerler verilen eşitlikte yerine yazılırsa,
12sin2x.sinx+12sin3x.sin2x+12sin4x.sin3x+...+12sin203x.sin202x=11−cos2x Olur. Şimdi (∗) eşitliğinde n=1,2,3,...,202 için elde edilen sonuçların taraf tarafa toplanması ile,
12sinx(cot2x−cotx+cot3x−cot2x+cot4x−cot3x+...+cot203x−cot202x)=11−cos2x
12sinx(cot203x−cotx)=11−cos2x
12sinx(cot203x−cotx)=11−1+2sin2x
1sinx(cot203x−cotx)=1sin2x
1sinx(cos203xsin203x−cosxsinx)=1sin2x
1sinx(cos203x.sinx−sin203x.cosxsinx.sin203x)=1sin2x
1sinx(sin202xsinx.sin203x)=1sin2x
sin2x.sin202x=sin203x.sin2x⇒sin2x(sin203x−sin202x)=0
sin2x=0sin203x−sin202x=0 olur.
x=0+2πk,x=π+2πk,k∈Z ve sin203x=sin202x⇒405x=π+2πk⇒x=(2k+1)π405 olacaktır.