Označimo
S=cos6∘−cos2∘cos3∘+⋯+cos(4n+2)∘−cos2∘cos(2n+1)∘+⋯+cos178∘−cos2∘cos89∘.
Pomnožimo cijeli izraz za S sa sin1∘, dobivamo
sin1∘⋅S=cos6∘−cos2∘cos3∘sin1∘+⋯+cos(4n+2)∘−cos2∘cos(2n+1)∘sin1∘+⋯+cos178∘−cos2∘cos89∘sin1∘.
Opći član sume u izrazu za sin1∘⋅S je oblika cos(4n+2)∘−cos2∘cos(2n+1)∘sin1∘.
Primjenom formule pretvorbe za razliku kosinusa nazivnik možemo zapisati kao
cos(4n+2)∘−cos2∘=−2sin(2n+2)∘sin(2n)∘.
Primjenom formule pretvorbe za produkt sinusa i kosinusa, brojnik možemo zapisati kao
cos(2n+1)∘sin1∘=21(sin(2n+2)∘−sin(2n)∘).
Ovime opći član u sumi možemo zapisati kao
cos(4n+2)∘−cos2∘cos(2n+1)∘sin1∘=−4sin(2n+2)∘sin(2n)∘sin(2n+2)∘−sin(2n)∘=41(sin(2n+2)∘1−sin(2n)∘1).
Uvrštavanjem u izraz za sin1∘⋅S redom imamo
sin1∘⋅S=cos6∘−cos2∘cos3∘sin1∘+cos10∘−cos2∘cos5∘sin1∘+⋯+cos178∘−cos2∘cos89∘sin1∘=41(sin4∘1−sin2∘1+sin6∘1−sin4∘1+⋯+sin90∘1−sin88∘1)=41(1−sin2∘1).
Konačno slijedi da je S=4sin1∘⋅sin2∘sin2∘−1, što je trebalo dokazati.